acoth tanh Mul acoth Mul x5 x2 Add -5 x0 
Mul Mul Pow sech Mul acoth Mul x5 x2 Add -5 x0 2 acoth Mul x5 x2 Pow Add 1 Mul -1 Mul tanh Mul acoth Mul x5 x2 Add -5 x0 tanh Mul acoth Mul x5 x2 Add -5 x0 -1 