Mul -4 sin tan Add Mul acosh tanh x4 Mul x0 sec Pow x3 x0 8 
Mul -4 Mul cos tan Add Mul acosh tanh x4 Mul x0 sec Pow x3 x0 8 Mul Pow sec Add Mul acosh tanh x4 Mul x0 sec Pow x3 x0 8 2 Mul acosh tanh x4 Add sec Pow x3 x0 Mul x0 Mul Mul tan Pow x3 x0 sec Pow x3 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 