Pow cosh Mul x0 acosh Add Add x0 x0 2 -2 
Mul Pow cosh Mul x0 acosh Add Add x0 x0 2 3 Mul -2 Mul sinh Mul x0 acosh Add Add x0 x0 2 Add acosh Add Add x0 x0 2 Mul x0 Mul 2 Pow Mul sqrt Add Add Add x0 x0 2 -1 sqrt Add 1 Add Add x0 x0 2 -1 