Mul Mul Mul Pow x1 x0 x0 acosh Mul acsc Add x2 -3 x7 Mul x0 E 
Add Mul Mul x0 E Mul acosh Mul acsc Add x2 -3 x7 Add Mul x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow x1 x0 Mul Mul Mul Pow x1 x0 x0 acosh Mul acsc Add x2 -3 x7 E 