Mul acoth Add Pow x0 0.00800000000000000 Mul x0 x2 x6 
Mul x6 Mul Add Mul Pow x0 -0.992000000000000 0.00800000000000000 x2 Pow Add 1 Mul -1 Mul Add Pow x0 0.00800000000000000 Mul x0 x2 Add Pow x0 0.00800000000000000 Mul x0 x2 -1 