Pow Mul x0 Add acos tan Mul acot Mul x2 2 Mul acoth Mul x0 x0 Mul x0 E Pow x4 x7 E 
Mul Pow Mul x0 Add acos tan Mul acot Mul x2 2 Mul acoth Mul x0 x0 Mul x0 E Pow x4 x7 Add E -1 Mul E Add Add acos tan Mul acot Mul x2 2 Mul acoth Mul x0 x0 Mul x0 E Pow x4 x7 Mul x0 Mul -1 Mul Mul Pow sec Mul acot Mul x2 2 Mul acoth Mul x0 x0 Mul x0 E 2 Mul acot Mul x2 2 Add Mul Mul x0 E Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul acoth Mul x0 x0 E Pow sqrt Add 1 Mul -1 Mul tan Mul acot Mul x2 2 Mul acoth Mul x0 x0 Mul x0 E tan Mul acot Mul x2 2 Mul acoth Mul x0 x0 Mul x0 E -1 