Mul acsc Mul Mul Add atan exp Add x0 E Add x6 x6 3 acosh Mul 3 x2 E 
Mul E Mul -1 Mul Mul acosh Mul 3 x2 Mul 3 Mul exp Add x0 E Pow Add 1 Mul exp Add x0 E exp Add x0 E -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul Add atan exp Add x0 E Add x6 x6 3 acosh Mul 3 x2 Mul Mul Add atan exp Add x0 E Add x6 x6 3 acosh Mul 3 x2 -1 Mul Mul Add atan exp Add x0 E Add x6 x6 3 acosh Mul 3 x2 Mul Mul Add atan exp Add x0 E Add x6 x6 3 acosh Mul 3 x2 -1 