acos Mul x0 Mul Add x0 Add 3 acsch sec x7 Mul x0 x5 
Mul -1 Mul Add Mul Add x0 Add 3 acsch sec x7 Mul x0 x5 Mul x0 Add Mul x0 x5 Mul Add x0 Add 3 acsch sec x7 x5 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul Add x0 Add 3 acsch sec x7 Mul x0 x5 Mul x0 Mul Add x0 Add 3 acsch sec x7 Mul x0 x5 -1 