Add -3 Mul acosh acot Add acos x2 Add x0 x7 Add 0.125000000000000 x0 
Add Mul Add 0.125000000000000 x0 Mul Mul -1 Pow Add 1 Mul Add acos x2 Add x0 x7 Add acos x2 Add x0 x7 -1 Pow Mul sqrt Add acot Add acos x2 Add x0 x7 -1 sqrt Add 1 acot Add acos x2 Add x0 x7 -1 acosh acot Add acos x2 Add x0 x7 