Mul Pow acot acoth Mul Pow asech Add x0 E 4 x0 acoth x0 x1 
Mul x1 Mul Pow acot acoth Mul Pow asech Add x0 E 4 x0 Add acoth x0 -1 Add Mul acoth x0 Mul -1 Mul Mul Add Mul x0 Mul Pow asech Add x0 E 3 Mul 4 Pow Mul Mul Add x0 E Add x0 E sqrt Add 1 Mul -1 Pow Mul Add x0 E Add x0 E -1 -1 Pow asech Add x0 E 4 Pow Add 1 Mul -1 Mul Mul Pow asech Add x0 E 4 x0 Mul Pow asech Add x0 E 4 x0 -1 Pow Add 1 Mul acoth Mul Pow asech Add x0 E 4 x0 acoth Mul Pow asech Add x0 E 4 x0 -1 Mul Mul acot acoth Mul Pow asech Add x0 E 4 x0 log acot acoth Mul Pow asech Add x0 E 4 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 