Pow Add 4 Mul acot Add x7 -1 sech Mul acos x6 Pow x0 4 Mul x0 acosh x7 
Mul Pow Add 4 Mul acot Add x7 -1 sech Mul acos x6 Pow x0 4 Add Mul x0 acosh x7 -1 Add Mul Mul x0 acosh x7 Mul acot Add x7 -1 Mul Mul tanh Mul acos x6 Pow x0 4 Mul -1 sech Mul acos x6 Pow x0 4 Mul acos x6 Mul Pow x0 3 4 Mul Mul Add 4 Mul acot Add x7 -1 sech Mul acos x6 Pow x0 4 log Add 4 Mul acot Add x7 -1 sech Mul acos x6 Pow x0 4 acosh x7 