Mul x5 Mul Mul Mul acsch Add Pow x0 2 E x1 pi Add x7 acosh sqrt x0 
Mul x5 Add Mul Add x7 acosh sqrt x0 Mul pi Mul x1 Mul Mul -1 Mul x0 2 Pow Mul Mul Add Pow x0 2 E Add Pow x0 2 E sqrt Add 1 Mul -1 Pow Mul Add Pow x0 2 E Add Pow x0 2 E -1 -1 Mul Mul Mul acsch Add Pow x0 2 E x1 pi Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 