Pow Mul cos x0 Add Mul atanh exp x6 Pow Add x0 x0 Add sinh Pow x1 acot x0 x1 x0 4 
Mul Pow Mul cos x0 Add Mul atanh exp x6 Pow Add x0 x0 Add sinh Pow x1 acot x0 x1 x0 3 Mul 4 Add Mul Add Mul atanh exp x6 Pow Add x0 x0 Add sinh Pow x1 acot x0 x1 x0 Mul -1 sin x0 Mul cos x0 Add Mul atanh exp x6 Mul Pow Add x0 x0 Add Add sinh Pow x1 acot x0 x1 -1 Add Mul Add sinh Pow x1 acot x0 x1 2 Mul Mul Add x0 x0 log Add x0 x0 Mul cosh Pow x1 acot x0 Mul Pow x1 Add acot x0 -1 Mul Mul x1 log x1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 