acos Mul Mul Add x6 sec x0 x0 atan acosh x2 
Mul -1 Mul Mul atan acosh x2 Add Mul x0 Mul tan x0 sec x0 Add x6 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul Add x6 sec x0 x0 atan acosh x2 Mul Mul Add x6 sec x0 x0 atan acosh x2 -1 