exp acoth Add Pow Add cot x3 Mul x2 x0 exp Pow x6 5 acot cos x0 
Mul exp acoth Add Pow Add cot x3 Mul x2 x0 exp Pow x6 5 acot cos x0 Mul Add Mul Pow Add cot x3 Mul x2 x0 Add exp Pow x6 5 -1 Mul exp Pow x6 5 x2 Mul -1 Mul Mul -1 sin x0 Pow Add 1 Mul cos x0 cos x0 -1 Pow Add 1 Mul -1 Mul Add Pow Add cot x3 Mul x2 x0 exp Pow x6 5 acot cos x0 Add Pow Add cot x3 Mul x2 x0 exp Pow x6 5 acot cos x0 -1 