Add Mul x0 2 Mul acos Pow pi acoth x0 sec atan x0 
Add 2 Add Mul sec atan x0 Mul -1 Mul Mul Pow pi Add acoth x0 -1 Mul Mul pi log pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow pi acoth x0 Pow pi acoth x0 -1 Mul acos Pow pi acoth x0 Mul Mul tan atan x0 sec atan x0 Pow Add 1 Mul x0 x0 -1 