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