Add 2 Mul x0 Mul Mul Mul Pow cos x0 acot Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 x0 3 x0 
Add Mul Mul Mul Pow cos x0 acot Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 x0 3 x0 Mul x0 Add Mul x0 Mul 3 Add Mul x0 Mul Pow cos x0 Add acot Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 -1 Add Mul acot Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul -1 Mul Mul Add Mul Mul E Mul x0 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Mul E Add x0 x0 Pow Add 1 Mul -1 Mul Mul Pow x5 x0 Mul E Mul x0 x0 Mul Pow x5 x0 Mul E Mul x0 x0 -1 Pow Add 1 Mul Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 -1 Pow cos x0 acot Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 Mul Mul Pow cos x0 acot Add atanh Mul Pow x5 x0 Mul E Mul x0 x0 Add x7 x1 x0 3 