Mul tan Mul x0 acosh pi sech acoth Mul x0 x1 
Add Mul sech acoth Mul x0 x1 Mul Pow sec Mul x0 acosh pi 2 acosh pi Mul tan Mul x0 acosh pi Mul Mul tanh acoth Mul x0 x1 Mul -1 sech acoth Mul x0 x1 Mul x1 Pow Add 1 Mul -1 Mul Mul x0 x1 Mul x0 x1 -1 