Add tan Add acosh x6 Pow Mul Pow x0 E E Mul x0 x4 -3 
Mul Pow sec Add acosh x6 Pow Mul Pow x0 E E Mul x0 x4 2 Mul Pow Mul Pow x0 E E Add Mul x0 x4 -1 Add Mul Mul x0 x4 Mul E Mul Pow x0 Add E -1 E Mul Mul Mul Pow x0 E E log Mul Pow x0 E E x4 