Pow acosh Mul acosh Add x3 E Mul Pow asinh sqrt x5 x7 x0 -4 
Mul Pow acosh Mul acosh Add x3 E Mul Pow asinh sqrt x5 x7 x0 5 Mul -4 Mul Mul acosh Add x3 E Pow asinh sqrt x5 x7 Pow Mul sqrt Add Mul acosh Add x3 E Mul Pow asinh sqrt x5 x7 x0 -1 sqrt Add 1 Mul acosh Add x3 E Mul Pow asinh sqrt x5 x7 x0 -1 