Mul Pow x0 Add atan atan sec sin x0 cos acoth Mul x3 Mul csc x3 csc x0 log x0 
Add Mul log x0 Mul Pow x0 Add Add atan atan sec sin x0 cos acoth Mul x3 Mul csc x3 csc x0 -1 Add Add atan atan sec sin x0 cos acoth Mul x3 Mul csc x3 csc x0 Mul Mul x0 log x0 Add Mul Mul Mul Mul tan sin x0 sec sin x0 cos x0 Pow Add 1 Mul sec sin x0 sec sin x0 -1 Pow Add 1 Mul atan sec sin x0 atan sec sin x0 -1 Mul Mul -1 sin acoth Mul x3 Mul csc x3 csc x0 Mul Mul x3 Mul csc x3 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Mul x3 Mul csc x3 csc x0 Mul x3 Mul csc x3 csc x0 -1 Mul Pow x0 Add atan atan sec sin x0 cos acoth Mul x3 Mul csc x3 csc x0 Pow x0 -1 