Pow Pow sqrt acosh Pow Add x0 -2 acot E x3 x7 
Mul Pow Pow sqrt acosh Pow Add x0 -2 acot E x3 Add x7 -1 Mul x7 Mul Pow sqrt acosh Pow Add x0 -2 acot E Add x3 -1 Mul x3 Mul Pow Mul 2 sqrt acosh Pow Add x0 -2 acot E -1 Mul Mul Pow Add x0 -2 Add acot E -1 acot E Pow Mul sqrt Add Pow Add x0 -2 acot E -1 sqrt Add 1 Pow Add x0 -2 acot E -1 