Mul Add 3 acosh atan Add x5 0.252680255142079 acot Pow sqrt Add x0 -0.653643620863612 x6 
Mul Add 3 acosh atan Add x5 0.252680255142079 Mul -1 Mul Mul Pow sqrt Add x0 -0.653643620863612 Add x6 -1 Mul x6 Pow Mul 2 sqrt Add x0 -0.653643620863612 -1 Pow Add 1 Mul Pow sqrt Add x0 -0.653643620863612 x6 Pow sqrt Add x0 -0.653643620863612 x6 -1 