Mul Mul x3 sech exp acoth Add x0 Add x0 x0 x4 
Mul x4 Mul x3 Mul Mul tanh exp acoth Add x0 Add x0 x0 Mul -1 sech exp acoth Add x0 Add x0 x0 Mul exp acoth Add x0 Add x0 x0 Mul 3 Pow Add 1 Mul -1 Mul Add x0 Add x0 x0 Add x0 Add x0 x0 -1 