Add Pow x0 x3 Add cosh x6 Pow Mul Pow tan x0 tanh x0 x0 Pow x3 Mul x0 x0 
Add Mul Pow x0 Add x3 -1 x3 Mul Pow Mul Pow tan x0 tanh x0 x0 Add Pow x3 Mul x0 x0 -1 Add Mul Pow x3 Mul x0 x0 Add Mul x0 Mul Pow tan x0 Add tanh x0 -1 Add Mul tanh x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Pow sech x0 2 Pow tan x0 tanh x0 Mul Mul Mul Pow tan x0 tanh x0 x0 log Mul Pow tan x0 tanh x0 x0 Mul Pow x3 Add Mul x0 x0 -1 Mul Mul x3 log x3 Add x0 x0 