Mul x1 sec acoth Mul x0 sech Mul x0 E 
Mul x1 Mul Mul tan acoth Mul x0 sech Mul x0 E sec acoth Mul x0 sech Mul x0 E Mul Add sech Mul x0 E Mul x0 Mul Mul tanh Mul x0 E Mul -1 sech Mul x0 E E Pow Add 1 Mul -1 Mul Mul x0 sech Mul x0 E Mul x0 sech Mul x0 E -1 