Mul Pow exp acoth Mul -4 Add 5 Add x0 x0 -1 tanh cbrt x4 
Mul tanh cbrt x4 Mul Pow exp acoth Mul -4 Add 5 Add x0 x0 2 Mul -1 Mul exp acoth Mul -4 Add 5 Add x0 x0 Mul 2 Pow Add 1 Mul -1 Mul Mul -4 Add 5 Add x0 x0 Mul -4 Add 5 Add x0 x0 -1 