Mul exp E acot Pow Mul sinh Pow x7 x3 -2 x0 
Mul exp E Mul -1 Mul Mul Pow Mul sinh Pow x7 x3 -2 Add x0 -1 Mul Mul sinh Pow x7 x3 -2 log Mul sinh Pow x7 x3 -2 Pow Add 1 Mul Pow Mul sinh Pow x7 x3 -2 x0 Pow Mul sinh Pow x7 x3 -2 x0 -1 