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