Add -3 Mul x0 Add sec Add Mul x0 Pow Pow x0 x0 Pow acosh tanh E x0 x0 E 
Add Add sec Add Mul x0 Pow Pow x0 x0 Pow acosh tanh E x0 x0 E Mul x0 Mul Mul tan Add Mul x0 Pow Pow x0 x0 Pow acosh tanh E x0 x0 sec Add Mul x0 Pow Pow x0 x0 Pow acosh tanh E x0 x0 Add Add Pow Pow x0 x0 Pow acosh tanh E x0 Mul x0 Mul Pow Pow x0 x0 Add Pow acosh tanh E x0 -1 Add Mul Pow acosh tanh E x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Mul Pow acosh tanh E Add x0 -1 Mul acosh tanh E log acosh tanh E 1 