Mul -0.500000000000000 Add Mul Add acsch Add Mul x0 x4 x0 Add x0 Add Mul x7 x2 -1 asech x3 Add 2 x1 
Mul -0.500000000000000 Mul asech x3 Add Mul Mul -1 Add x4 1 Pow Mul Mul Add Mul x0 x4 x0 Add Mul x0 x4 x0 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 x4 x0 Add Mul x0 x4 x0 -1 -1 1 