Pow Add Add x0 atanh asec x4 x0 Add Mul exp x7 -0.457657554360286 Mul 3 x0 
Mul Pow Add Add x0 atanh asec x4 x0 Add Add Mul exp x7 -0.457657554360286 Mul 3 x0 -1 Add Mul Add Mul exp x7 -0.457657554360286 Mul 3 x0 2 Mul Mul Add Add x0 atanh asec x4 x0 log Add Add x0 atanh asec x4 x0 3 