Add x0 Pow Mul Mul cosh acot Pow x5 x0 cos x0 x4 x3 
Add 1 Mul Pow Mul Mul cosh acot Pow x5 x0 cos x0 x4 Add x3 -1 Mul x3 Mul x4 Add Mul cos x0 Mul sinh acot Pow x5 x0 Mul -1 Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul Pow x5 x0 Pow x5 x0 -1 Mul cosh acot Pow x5 x0 Mul -1 sin x0 