tan csc Mul x6 Mul acoth Mul x0 x3 Pow x1 log x4 
Mul Pow sec csc Mul x6 Mul acoth Mul x0 x3 Pow x1 log x4 2 Mul Mul Mul -1 cot Mul x6 Mul acoth Mul x0 x3 Pow x1 log x4 csc Mul x6 Mul acoth Mul x0 x3 Pow x1 log x4 Mul x6 Mul Pow x1 log x4 Mul x3 Pow Add 1 Mul -1 Mul Mul x0 x3 Mul x0 x3 -1 