Add cosh Pow sin x3 Pow Mul E x0 acoth Add x7 1 x4 
Mul sinh Pow sin x3 Pow Mul E x0 acoth Add x7 1 Mul Pow sin x3 Add Pow Mul E x0 acoth Add x7 1 -1 Mul Mul sin x3 log sin x3 Mul Pow Mul E x0 Add acoth Add x7 1 -1 Mul acoth Add x7 1 E 