coth Pow Mul x0 Add sec x1 Mul x4 x0 csc x0 
Mul Mul -1 Pow csch Pow Mul x0 Add sec x1 Mul x4 x0 csc x0 2 Mul Pow Mul x0 Add sec x1 Mul x4 x0 Add csc x0 -1 Add Mul csc x0 Add Add sec x1 Mul x4 x0 Mul x0 x4 Mul Mul Mul x0 Add sec x1 Mul x4 x0 log Mul x0 Add sec x1 Mul x4 x0 Mul Mul -1 cot x0 csc x0 