Mul acot x0 Pow Pow Mul Pow Add -1 x0 x0 log E Mul Add x0 x0 acosh Pow x5 x7 Add x0 x7 
Add Mul Pow Pow Mul Pow Add -1 x0 x0 log E Mul Add x0 x0 acosh Pow x5 x7 Add x0 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Pow Mul Pow Add -1 x0 x0 log E Mul Add x0 x0 acosh Pow x5 x7 Add Add x0 x7 -1 Add Mul Add x0 x7 Mul Pow Mul Pow Add -1 x0 x0 log E Add Mul Add x0 x0 acosh Pow x5 x7 -1 Add Mul Mul Add x0 x0 acosh Pow x5 x7 Mul log E Mul Pow Add -1 x0 Add x0 -1 Add x0 Mul Add -1 x0 log Add -1 x0 Mul Mul Mul Pow Add -1 x0 x0 log E log Mul Pow Add -1 x0 x0 log E Mul acosh Pow x5 x7 2 Mul Pow Mul Pow Add -1 x0 x0 log E Mul Add x0 x0 acosh Pow x5 x7 log Pow Mul Pow Add -1 x0 x0 log E Mul Add x0 x0 acosh Pow x5 x7 