Mul Pow E cot atanh Pow Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 Mul acosh x0 -4 5 
Mul 5 Mul Pow E Add cot atanh Pow Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 Mul acosh x0 -4 -1 Mul Mul E log E Mul Mul -1 Pow csc atanh Pow Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 Mul acosh x0 -4 2 Mul Mul Pow Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 Add Mul acosh x0 -4 -1 Add Mul Mul acosh x0 -4 Mul Pow Add x7 -2 Add Mul -3 Pow Pow x2 x0 Mul -2 x0 -1 Mul Mul Add x7 -2 log Add x7 -2 Mul -3 Mul Pow Pow x2 x0 Add Mul -2 x0 -1 Add Mul Mul -2 x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Mul Pow x2 x0 log Pow x2 x0 -2 Mul Mul Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 log Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 Mul -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Pow Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 Mul acosh x0 -4 Pow Pow Add x7 -2 Mul -3 Pow Pow x2 x0 Mul -2 x0 Mul acosh x0 -4 -1 