Mul -0.678651291189098 Pow x3 Pow Mul -1 Add Mul acosh cosh x3 x0 tan x0 3.38051500624659 
Mul -0.678651291189098 Mul Pow x3 Add Pow Mul -1 Add Mul acosh cosh x3 x0 tan x0 3.38051500624659 -1 Mul Mul x3 log x3 Mul Pow Mul -1 Add Mul acosh cosh x3 x0 tan x0 2.38051500624659 Mul 3.38051500624659 Mul -1 Add acosh cosh x3 Pow sec x0 2 