Mul acosh Pow Pow E x0 Pow 8 E atanh x0 
Add Mul atanh x0 Mul Mul Pow Pow E x0 Add Pow 8 E -1 Mul Pow 8 E Mul Pow E Add x0 -1 Mul E log E Pow Mul sqrt Add Pow Pow E x0 Pow 8 E -1 sqrt Add 1 Pow Pow E x0 Pow 8 E -1 Mul acosh Pow Pow E x0 Pow 8 E Pow Add 1 Mul -1 Mul x0 x0 -1 