acosh Mul x0 Mul E Mul Pow x0 x1 sec x0 
Mul Add Mul E Mul Pow x0 x1 sec x0 Mul x0 Mul E Add Mul sec x0 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul tan x0 sec x0 Pow Mul sqrt Add Mul x0 Mul E Mul Pow x0 x1 sec x0 -1 sqrt Add 1 Mul x0 Mul E Mul Pow x0 x1 sec x0 -1 