Pow Add Mul x0 Pow x2 x6 E Add Mul Add Add acosh asech E x0 x2 E x0 
Mul Pow Add Mul x0 Pow x2 x6 E Add Add Mul Add Add acosh asech E x0 x2 E x0 -1 Add Mul Add Mul Add Add acosh asech E x0 x2 E x0 Pow x2 x6 Mul Mul Add Mul x0 Pow x2 x6 E log Add Mul x0 Pow x2 x6 E Add E 1 