Pow acos Mul x0 x7 Mul Mul Mul Add x0 acot x0 x5 sec x0 sqrt Mul x4 x0 
Mul Pow acos Mul x0 x7 Add Mul Mul Mul Add x0 acot x0 x5 sec x0 sqrt Mul x4 x0 -1 Add Mul Mul Mul Mul Add x0 acot x0 x5 sec x0 sqrt Mul x4 x0 Mul -1 Mul x7 Pow sqrt Add 1 Mul -1 Mul Mul x0 x7 Mul x0 x7 -1 Mul Mul acos Mul x0 x7 log acos Mul x0 x7 Add Mul sqrt Mul x4 x0 Add Mul sec x0 Mul x5 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add x0 acot x0 x5 Mul tan x0 sec x0 Mul Mul Mul Add x0 acot x0 x5 sec x0 Mul Pow Mul 2 sqrt Mul x4 x0 -1 x4 