Mul Mul Mul cot asec coth acos Mul x0 x0 4 x0 E 
Mul E Add Mul x0 Mul 4 Mul Mul -1 Pow csc asec coth acos Mul x0 x0 2 Mul Mul Mul -1 Pow csch acos Mul x0 x0 2 Mul -1 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth acos Mul x0 x0 coth acos Mul x0 x0 -1 coth acos Mul x0 x0 coth acos Mul x0 x0 -1 Mul cot asec coth acos Mul x0 x0 4 