Add Pow Mul E x0 Add Mul exp Mul Pow pi cosh x2 -4 tan x0 x0 3.76219569108363 
Mul Pow Mul E x0 Add Add Mul exp Mul Pow pi cosh x2 -4 tan x0 x0 -1 Add Mul Add Mul exp Mul Pow pi cosh x2 -4 tan x0 x0 E Mul Mul Mul E x0 log Mul E x0 Add Mul exp Mul Pow pi cosh x2 -4 Pow sec x0 2 1 