Mul -2 acot sinh Add x7 Mul Pow E x0 tan Add x3 Pow exp x0 3 
Mul -2 Mul -1 Mul Mul cosh Add x7 Mul Pow E x0 tan Add x3 Pow exp x0 3 Add Mul tan Add x3 Pow exp x0 3 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 Mul Pow sec Add x3 Pow exp x0 3 2 Mul Pow exp x0 2 Mul 3 exp x0 Pow Add 1 Mul sinh Add x7 Mul Pow E x0 tan Add x3 Pow exp x0 3 sinh Add x7 Mul Pow E x0 tan Add x3 Pow exp x0 3 -1 