Add Pow 2.09471254726110 Mul x0 Pow cosh Mul cosh x3 sec tan x0 Add Mul E Pow pi x0 1 22026.4657948067 
Mul Pow 2.09471254726110 Add Mul x0 Pow cosh Mul cosh x3 sec tan x0 Add Mul E Pow pi x0 1 -1 Mul 2.83412888227661 Add Pow cosh Mul cosh x3 sec tan x0 Add Mul E Pow pi x0 1 Mul x0 Mul Pow cosh Mul cosh x3 sec tan x0 Add Add Mul E Pow pi x0 1 -1 Add Mul Add Mul E Pow pi x0 1 Mul sinh Mul cosh x3 sec tan x0 Mul cosh x3 Mul Mul tan tan x0 sec tan x0 Pow sec x0 2 Mul Mul cosh Mul cosh x3 sec tan x0 log cosh Mul cosh x3 sec tan x0 Mul E Mul Pow pi Add x0 -1 Mul pi log pi 