atanh tan Mul x0 Mul x0 -0.457657554360286 
Mul Mul Pow sec Mul x0 Mul x0 -0.457657554360286 2 Add Mul x0 -0.457657554360286 Mul x0 -0.457657554360286 Pow Add 1 Mul -1 Mul tan Mul x0 Mul x0 -0.457657554360286 tan Mul x0 Mul x0 -0.457657554360286 -1 