Mul x0 Mul x0 Pow Mul Mul x2 Mul x0 Mul x0 Mul tan x0 x7 x0 acosh acosh x0 
Add Mul x0 Pow Mul Mul x2 Mul x0 Mul x0 Mul tan x0 x7 x0 acosh acosh x0 Mul x0 Add Pow Mul Mul x2 Mul x0 Mul x0 Mul tan x0 x7 x0 acosh acosh x0 Mul x0 Mul Pow Mul Mul x2 Mul x0 Mul x0 Mul tan x0 x7 x0 Add acosh acosh x0 -1 Add Mul acosh acosh x0 Add Mul x0 Mul x2 Add Mul x0 Mul tan x0 x7 Mul x0 Add Mul tan x0 x7 Mul x0 Mul x7 Pow sec x0 2 Mul x2 Mul x0 Mul x0 Mul tan x0 x7 Mul Mul Mul Mul x2 Mul x0 Mul x0 Mul tan x0 x7 x0 log Mul Mul x2 Mul x0 Mul x0 Mul tan x0 x7 x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 