exp acosh Mul Mul x0 Add x1 Pow asin x3 x0 Add E sec x0 
Mul exp acosh Mul Mul x0 Add x1 Pow asin x3 x0 Add E sec x0 Mul Add Mul Add E sec x0 Add Add x1 Pow asin x3 x0 Mul x0 Mul Pow asin x3 Add x0 -1 Mul asin x3 log asin x3 Mul Mul x0 Add x1 Pow asin x3 x0 Mul tan x0 sec x0 Pow Mul sqrt Add Mul Mul x0 Add x1 Pow asin x3 x0 Add E sec x0 -1 sqrt Add 1 Mul Mul x0 Add x1 Pow asin x3 x0 Add E sec x0 -1 