Mul acosh atan E Add pi Add atan x1 Mul Add 3 Add Mul -3 x0 acoth Mul x0 x0 x0 
Mul acosh atan E Add Mul x0 Add -3 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Add 3 Add Mul -3 x0 acoth Mul x0 x0 