Mul acot x0 sqrt Pow 9 Add tan x0 cosh cosh Mul -2 sin x7 
Add Mul sqrt Pow 9 Add tan x0 cosh cosh Mul -2 sin x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Mul 2 sqrt Pow 9 Add tan x0 cosh cosh Mul -2 sin x7 -1 Mul Pow 9 Add Add tan x0 cosh cosh Mul -2 sin x7 -1 Mul 11.1972245773362 Pow sec x0 2 