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