acosh Pow sec Pow x0 4 sec x0 
Mul Mul Pow sec Pow x0 4 Add sec x0 -1 Add Mul sec x0 Mul Mul tan Pow x0 4 sec Pow x0 4 Mul Pow x0 3 4 Mul Mul sec Pow x0 4 log sec Pow x0 4 Mul tan x0 sec x0 Pow Mul sqrt Add Pow sec Pow x0 4 sec x0 -1 sqrt Add 1 Pow sec Pow x0 4 sec x0 -1 