Add Pow exp x0 sech Add Pow Add x7 Mul x0 2 sqrt x0 Mul -3 acot Pow x0 sin x6 x0 
Add Mul Pow exp x0 Add sech Add Pow Add x7 Mul x0 2 sqrt x0 Mul -3 acot Pow x0 sin x6 -1 Add Mul sech Add Pow Add x7 Mul x0 2 sqrt x0 Mul -3 acot Pow x0 sin x6 exp x0 Mul Mul exp x0 log exp x0 Mul Mul tanh Add Pow Add x7 Mul x0 2 sqrt x0 Mul -3 acot Pow x0 sin x6 Mul -1 sech Add Pow Add x7 Mul x0 2 sqrt x0 Mul -3 acot Pow x0 sin x6 Add Mul Pow Add x7 Mul x0 2 Add sqrt x0 -1 Add Mul sqrt x0 2 Mul Mul Add x7 Mul x0 2 log Add x7 Mul x0 2 Pow Mul 2 sqrt x0 -1 Mul -3 Mul -1 Mul Mul Pow x0 Add sin x6 -1 sin x6 Pow Add 1 Mul Pow x0 sin x6 Pow x0 sin x6 -1 1 