Add Mul E -1 Add sinh Add Pow sec acosh Mul x0 x0 x2 2 x0 
Add Mul cosh Add Pow sec acosh Mul x0 x0 x2 2 Mul Pow sec acosh Mul x0 x0 Add x2 -1 Mul x2 Mul Mul tan acosh Mul x0 x0 sec acosh Mul x0 x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 1 