Pow Add x0 x0 sech acot Add Mul tan x0 Mul Mul x0 Add E x0 x0 cosh x7 
Mul Pow Add x0 x0 Add sech acot Add Mul tan x0 Mul Mul x0 Add E x0 x0 cosh x7 -1 Add Mul sech acot Add Mul tan x0 Mul Mul x0 Add E x0 x0 cosh x7 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Mul tanh acot Add Mul tan x0 Mul Mul x0 Add E x0 x0 cosh x7 Mul -1 sech acot Add Mul tan x0 Mul Mul x0 Add E x0 x0 cosh x7 Mul -1 Mul Add Mul Mul Mul x0 Add E x0 x0 Pow sec x0 2 Mul tan x0 Add Mul x0 Add Add E x0 x0 Mul x0 Add E x0 Pow Add 1 Mul Add Mul tan x0 Mul Mul x0 Add E x0 x0 cosh x7 Add Mul tan x0 Mul Mul x0 Add E x0 x0 cosh x7 -1 