cosh Mul Pow sin x0 Add Mul -1 x0 Mul -3 Add x7 acoth Add x0 1 E 
Mul sinh Mul Pow sin x0 Add Mul -1 x0 Mul -3 Add x7 acoth Add x0 1 E Mul E Mul Pow sin x0 Add Add Mul -1 x0 Mul -3 Add x7 acoth Add x0 1 -1 Add Mul Add Mul -1 x0 Mul -3 Add x7 acoth Add x0 1 cos x0 Mul Mul sin x0 log sin x0 Add -1 Mul -3 Pow Add 1 Mul -1 Mul Add x0 1 Add x0 1 -1 