Mul log Mul Pow sqrt x0 x0 Mul Pow Pow Mul x0 Mul -3 x0 cosh x0 Add tan x0 x1 pi x1 
Mul x1 Mul Add Mul Mul Pow Pow Mul x0 Mul -3 x0 cosh x0 Add tan x0 x1 pi Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Pow sqrt x0 x0 Mul pi Mul Pow Pow Mul x0 Mul -3 x0 cosh x0 Add Add tan x0 x1 -1 Add Mul Add tan x0 x1 Mul Pow Mul x0 Mul -3 x0 Add cosh x0 -1 Add Mul cosh x0 Add Mul -3 x0 Mul x0 -3 Mul Mul Mul x0 Mul -3 x0 log Mul x0 Mul -3 x0 sinh x0 Mul Mul Pow Mul x0 Mul -3 x0 cosh x0 log Pow Mul x0 Mul -3 x0 cosh x0 Pow sec x0 2 Pow Mul Pow sqrt x0 x0 Mul Pow Pow Mul x0 Mul -3 x0 cosh x0 Add tan x0 x1 pi -1 