asech Mul Mul acosh sqrt x5 Add Mul x0 x0 Pow 4 x0 E 
Mul Mul E Mul acosh sqrt x5 Add Add x0 x0 Mul Pow 4 Add x0 -1 5.38629436111989 Pow Mul Mul Mul Mul acosh sqrt x5 Add Mul x0 x0 Pow 4 x0 E Mul Mul acosh sqrt x5 Add Mul x0 x0 Pow 4 x0 E sqrt Add 1 Mul -1 Pow Mul Mul Mul acosh sqrt x5 Add Mul x0 x0 Pow 4 x0 E Mul Mul acosh sqrt x5 Add Mul x0 x0 Pow 4 x0 E -1 -1 