Mul x1 Pow cot cosh x0 Pow Mul -3 sin x0 Mul x0 Mul x0 3 
Mul x1 Mul Pow cot cosh x0 Add Pow Mul -3 sin x0 Mul x0 Mul x0 3 -1 Add Mul Pow Mul -3 sin x0 Mul x0 Mul x0 3 Mul Mul -1 Pow csc cosh x0 2 sinh x0 Mul Mul cot cosh x0 log cot cosh x0 Mul Pow Mul -3 sin x0 Add Mul x0 Mul x0 3 -1 Add Mul Mul x0 Mul x0 3 Mul -3 cos x0 Mul Mul Mul -3 sin x0 log Mul -3 sin x0 Add Mul x0 3 Mul x0 3 