Add exp Add Pow sec x0 Add acot Add x4 Mul log x1 Mul 7 x0 Mul x0 25.3082328360165 2 x5 
Mul exp Add Pow sec x0 Add acot Add x4 Mul log x1 Mul 7 x0 Mul x0 25.3082328360165 2 Mul Pow sec x0 Add Add acot Add x4 Mul log x1 Mul 7 x0 Mul x0 25.3082328360165 -1 Add Mul Add acot Add x4 Mul log x1 Mul 7 x0 Mul x0 25.3082328360165 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add Mul -1 Mul Mul log x1 7 Pow Add 1 Mul Add x4 Mul log x1 Mul 7 x0 Add x4 Mul log x1 Mul 7 x0 -1 25.3082328360165 