Add 0.244978663126864 Mul Mul log x4 Pow atan x0 exp Mul x0 sinh tan x0 x1 
Mul x1 Mul log x4 Mul Pow atan x0 Add exp Mul x0 sinh tan x0 -1 Add Mul exp Mul x0 sinh tan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul exp Mul x0 sinh tan x0 Add sinh tan x0 Mul x0 Mul cosh tan x0 Pow sec x0 2 