Pow sqrt sec csc acoth E Add x0 Mul Mul -3 x0 Mul x0 2 
Mul Pow sqrt sec csc acoth E Add Add x0 Mul Mul -3 x0 Mul x0 2 -1 Mul Mul sqrt sec csc acoth E log sqrt sec csc acoth E Add 1 Add Mul Mul x0 2 -3 Mul Mul -3 x0 2 