Pow Mul x0 Pow x0 Mul x1 -2 cot cot Pow acot Mul acosh x6 -3 -3 
Mul Pow Mul x0 Pow x0 Mul x1 -2 Add cot cot Pow acot Mul acosh x6 -3 -3 -1 Mul cot cot Pow acot Mul acosh x6 -3 -3 Add Pow x0 Mul x1 -2 Mul x0 Mul Pow x0 Add Mul x1 -2 -1 Mul x1 -2 