my geometry software solving some questions from ncert class 9 mathematics textbook

draw quadrilateral
join BD
equation parallel_line AB CD
equation parallel_line AD BC
compute
compute

this geometry software is 2000 lines of code
it is deriving the properties of a parallelogram

follow me
i have made tic tac toe also

solving integration int((m+m)*dif(m))

aa=a^2, 1^-1=1, abb=ab^2, a^b+a^c=a^(b+c), (a^b)*a^(-1*b)=a, dif(a^p)=p*a^(p-1)*dif(a), dif(p)=0, dif(a+b)=dif(a)+dif(b), dif(cos(a))=-sin(a)dif(a), etc.

one can use any formula
if it means
solving your question
successfully