Pow acot Pow tan x5 4 Add asec Add atan cosh x6 Mul x0 sech Mul x0 x4 4 
Mul Pow acot Pow tan x5 4 Add Add asec Add atan cosh x6 Mul x0 sech Mul x0 x4 4 -1 Mul Mul acot Pow tan x5 4 log acot Pow tan x5 4 Mul Add sech Mul x0 x4 Mul x0 Mul Mul tanh Mul x0 x4 Mul -1 sech Mul x0 x4 x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add atan cosh x6 Mul x0 sech Mul x0 x4 Add atan cosh x6 Mul x0 sech Mul x0 x4 -1 Add atan cosh x6 Mul x0 sech Mul x0 x4 Add atan cosh x6 Mul x0 sech Mul x0 x4 -1 