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