Pow Add Mul x0 -0.761594155955765 acos Pow Mul sec x0 x7 asech Mul pi x0 -1 
Mul Pow Add Mul x0 -0.761594155955765 acos Pow Mul sec x0 x7 asech Mul pi x0 2 Mul -1 Add -0.761594155955765 Mul -1 Mul Mul Pow Mul sec x0 x7 Add asech Mul pi x0 -1 Add Mul asech Mul pi x0 Mul x7 Mul tan x0 sec x0 Mul Mul Mul sec x0 x7 log Mul sec x0 x7 Mul pi Pow Mul Mul Mul pi x0 Mul pi x0 sqrt Add 1 Mul -1 Pow Mul Mul pi x0 Mul pi x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul sec x0 x7 asech Mul pi x0 Pow Mul sec x0 x7 asech Mul pi x0 -1 