atanh tan Pow Add Mul exp x0 x0 -0.202732554054082 -3 
Mul Mul Pow sec Pow Add Mul exp x0 x0 -0.202732554054082 -3 2 Mul Pow Add Mul exp x0 x0 -0.202732554054082 4 Mul -3 Add Mul x0 exp x0 exp x0 Pow Add 1 Mul -1 Mul tan Pow Add Mul exp x0 x0 -0.202732554054082 -3 tan Pow Add Mul exp x0 x0 -0.202732554054082 -3 -1 