Mul x0 sech acoth Add Mul x0 Add acoth x3 x6 2 
Add sech acoth Add Mul x0 Add acoth x3 x6 2 Mul x0 Mul Mul tanh acoth Add Mul x0 Add acoth x3 x6 2 Mul -1 sech acoth Add Mul x0 Add acoth x3 x6 2 Mul Add acoth x3 x6 Pow Add 1 Mul -1 Mul Add Mul x0 Add acoth x3 x6 2 Add Mul x0 Add acoth x3 x6 2 -1 