acosh Mul Pow Add 4 Mul x5 E x0 sinh x0 
Mul Add Mul sinh x0 Mul Pow Add 4 Mul x5 E Add x0 -1 Mul Add 4 Mul x5 E log Add 4 Mul x5 E Mul Pow Add 4 Mul x5 E x0 cosh x0 Pow Mul sqrt Add Mul Pow Add 4 Mul x5 E x0 sinh x0 -1 sqrt Add 1 Mul Pow Add 4 Mul x5 E x0 sinh x0 -1 