cot Pow sqrt x7 Pow Mul 4 Mul tan Mul acoth Mul x2 x5 Mul x0 sin exp sqrt x7 x0 -2 
Mul Mul -1 Pow csc Pow sqrt x7 Pow Mul 4 Mul tan Mul acoth Mul x2 x5 Mul x0 sin exp sqrt x7 x0 -2 2 Mul Pow sqrt x7 Add Pow Mul 4 Mul tan Mul acoth Mul x2 x5 Mul x0 sin exp sqrt x7 x0 -2 -1 Mul Mul sqrt x7 log sqrt x7 Mul Pow Mul 4 Mul tan Mul acoth Mul x2 x5 Mul x0 sin exp sqrt x7 x0 3 Mul -2 Mul 4 Add Mul x0 Mul Pow sec Mul acoth Mul x2 x5 Mul x0 sin exp sqrt x7 2 Mul acoth Mul x2 x5 sin exp sqrt x7 tan Mul acoth Mul x2 x5 Mul x0 sin exp sqrt x7 