acosh Mul Pow Add E x0 Mul Mul Mul x0 x0 x0 E 6 
Mul Mul 6 Mul Pow Add E x0 Add Mul Mul Mul x0 x0 x0 E -1 Add Mul Mul Mul x0 x0 x0 E Mul Mul Add E x0 log Add E x0 Mul E Add Mul x0 Add x0 x0 Mul x0 x0 Pow Mul sqrt Add Mul Pow Add E x0 Mul Mul Mul x0 x0 x0 E 6 -1 sqrt Add 1 Mul Pow Add E x0 Mul Mul Mul x0 x0 x0 E 6 -1 