Pow Mul acosh Pow Mul Add Mul x6 5 Pow acot x0 x0 -4 Mul atanh x1 Add x7 x0 Mul Pow x7 x0 x0 -2 
Mul Pow Mul acosh Pow Mul Add Mul x6 5 Pow acot x0 x0 -4 Mul atanh x1 Add x7 x0 Mul Pow x7 x0 x0 3 Mul -2 Add Mul Mul Pow x7 x0 x0 Mul Mul Pow Mul Add Mul x6 5 Pow acot x0 x0 -4 Add Mul atanh x1 Add x7 x0 -1 Add Mul Mul atanh x1 Add x7 x0 Mul -4 Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Mul Mul Mul Add Mul x6 5 Pow acot x0 x0 -4 log Mul Add Mul x6 5 Pow acot x0 x0 -4 atanh x1 Pow Mul sqrt Add Pow Mul Add Mul x6 5 Pow acot x0 x0 -4 Mul atanh x1 Add x7 x0 -1 sqrt Add 1 Pow Mul Add Mul x6 5 Pow acot x0 x0 -4 Mul atanh x1 Add x7 x0 -1 Mul acosh Pow Mul Add Mul x6 5 Pow acot x0 x0 -4 Mul atanh x1 Add x7 x0 Add Mul x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow x7 x0 