Mul x2 Mul sec x2 Add acsch Mul x2 0.481211825059603 Mul Pow Pow Pow 0.863691154450617 x0 tan x0 -4 x0 
Mul x2 Mul sec x2 Add Mul x0 Mul Pow Pow Pow 0.863691154450617 x0 tan x0 5 Mul -4 Mul Pow Pow 0.863691154450617 x0 Add tan x0 -1 Add Mul tan x0 Mul Pow 0.863691154450617 Add x0 -1 0.717151120241834 Mul Mul Pow 0.863691154450617 x0 log Pow 0.863691154450617 x0 Pow sec x0 2 Pow Pow Pow 0.863691154450617 x0 tan x0 -4 