Pow x1 Pow acosh x4 Pow Mul acot Pow x7 Mul x5 Mul x0 Mul x6 x0 x0 x0 
Mul Pow x1 Add Pow acosh x4 Pow Mul acot Pow x7 Mul x5 Mul x0 Mul x6 x0 x0 x0 -1 Mul Mul x1 log x1 Mul Pow acosh x4 Add Pow Mul acot Pow x7 Mul x5 Mul x0 Mul x6 x0 x0 x0 -1 Mul Mul acosh x4 log acosh x4 Mul Pow Mul acot Pow x7 Mul x5 Mul x0 Mul x6 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul -1 Mul Mul Pow x7 Add Mul x5 Mul x0 Mul x6 x0 -1 Mul Mul x7 log x7 Mul x5 Add Mul x6 x0 Mul x0 x6 Pow Add 1 Mul Pow x7 Mul x5 Mul x0 Mul x6 x0 Pow x7 Mul x5 Mul x0 Mul x6 x0 -1 acot Pow x7 Mul x5 Mul x0 Mul x6 x0 Mul Mul acot Pow x7 Mul x5 Mul x0 Mul x6 x0 x0 log Mul acot Pow x7 Mul x5 Mul x0 Mul x6 x0 x0 