Mul Pow Pow -1 x7 Pow x0 Pow x0 x3 csc acoth Mul x0 log Mul Pow x0 x2 cot sec x0 
Add Mul csc acoth Mul x0 log Mul Pow x0 x2 cot sec x0 Mul Pow Pow -1 x7 Add Pow x0 Pow x0 x3 -1 Mul Mul Pow -1 x7 log Pow -1 x7 Mul Pow x0 Add Pow x0 x3 -1 Add Pow x0 x3 Mul Mul x0 log x0 Mul Pow x0 Add x3 -1 x3 Mul Pow Pow -1 x7 Pow x0 Pow x0 x3 Mul Mul Mul -1 cot acoth Mul x0 log Mul Pow x0 x2 cot sec x0 csc acoth Mul x0 log Mul Pow x0 x2 cot sec x0 Mul Add log Mul Pow x0 x2 cot sec x0 Mul x0 Mul Add Mul cot sec x0 Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Mul Mul -1 Pow csc sec x0 2 Mul tan x0 sec x0 Pow Mul Pow x0 x2 cot sec x0 -1 Pow Add 1 Mul -1 Mul Mul x0 log Mul Pow x0 x2 cot sec x0 Mul x0 log Mul Pow x0 x2 cot sec x0 -1 