Mul asec Mul Pow log atan x0 acoth x1 2 -1 
Mul -1 Mul Mul 2 Mul Pow log atan x0 Add acoth x1 -1 Mul acoth x1 Mul Pow Add 1 Mul x0 x0 -1 Pow atan x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow log atan x0 acoth x1 2 Mul Pow log atan x0 acoth x1 2 -1 Mul Pow log atan x0 acoth x1 2 Mul Pow log atan x0 acoth x1 2 -1 