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