Mul Mul acosh acosh sinh Add x0 1 Add x0 asinh x0 x2 
Mul x2 Add Mul Add x0 asinh x0 Mul Mul cosh Add x0 1 Pow Mul sqrt Add sinh Add x0 1 -1 sqrt Add 1 sinh Add x0 1 -1 Pow Mul sqrt Add acosh sinh Add x0 1 -1 sqrt Add 1 acosh sinh Add x0 1 -1 Mul acosh acosh sinh Add x0 1 Add 1 Pow sqrt Add 1 Mul x0 x0 -1 