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