Mul Pow Add x0 x5 Mul sec Mul x0 Mul Mul log tan x0 x5 Mul Pow Mul x5 x0 E x0 x0 acosh x7 
Mul acosh x7 Mul Pow Add x0 x5 Add Mul sec Mul x0 Mul Mul log tan x0 x5 Mul Pow Mul x5 x0 E x0 x0 -1 Add Mul sec Mul x0 Mul Mul log tan x0 x5 Mul Pow Mul x5 x0 E x0 x0 Mul Mul Add x0 x5 log Add x0 x5 Add Mul x0 Mul Mul tan Mul x0 Mul Mul log tan x0 x5 Mul Pow Mul x5 x0 E x0 sec Mul x0 Mul Mul log tan x0 x5 Mul Pow Mul x5 x0 E x0 Add Mul Mul log tan x0 x5 Mul Pow Mul x5 x0 E x0 Mul x0 Add Mul Mul Pow Mul x5 x0 E x0 Mul x5 Mul Pow sec x0 2 Pow tan x0 -1 Mul Mul log tan x0 x5 Add Mul x0 Mul Pow Mul x5 x0 Add E -1 Mul E x5 Pow Mul x5 x0 E sec Mul x0 Mul Mul log tan x0 x5 Mul Pow Mul x5 x0 E x0 