Mul sech Mul x0 x5 Add atan acoth Add x0 x4 x0 
Add Mul Add atan acoth Add x0 x4 x0 Mul Mul tanh Mul x0 x5 Mul -1 sech Mul x0 x5 x5 Mul sech Mul x0 x5 Add Mul Pow Add 1 Mul -1 Mul Add x0 x4 Add x0 x4 -1 Pow Add 1 Mul acoth Add x0 x4 acoth Add x0 x4 -1 1 