cosh Mul cosh x0 Pow sinh sinh Pow Mul exp x4 -3 x0 tan tanh x0 
Mul sinh Mul cosh x0 Pow sinh sinh Pow Mul exp x4 -3 x0 tan tanh x0 Add Mul Pow sinh sinh Pow Mul exp x4 -3 x0 tan tanh x0 sinh x0 Mul cosh x0 Mul Pow sinh sinh Pow Mul exp x4 -3 x0 Add tan tanh x0 -1 Add Mul tan tanh x0 Mul cosh sinh Pow Mul exp x4 -3 x0 Mul cosh Pow Mul exp x4 -3 x0 Mul Pow Mul exp x4 -3 Add x0 -1 Mul Mul exp x4 -3 log Mul exp x4 -3 Mul Mul sinh sinh Pow Mul exp x4 -3 x0 log sinh sinh Pow Mul exp x4 -3 x0 Mul Pow sec tanh x0 2 Pow sech x0 2 