tan Pow x0 asec Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 
Mul Pow sec Pow x0 asec Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 2 Mul Pow x0 Add asec Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 -1 Add asec Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 Mul Mul x0 log x0 Mul Mul Pow x1 Add acosh Mul Mul -1 x0 Pow x4 -4 -1 Mul Mul x1 log x1 Mul Mul Pow x4 -4 -1 Pow Mul sqrt Add Mul Mul -1 x0 Pow x4 -4 -1 sqrt Add 1 Mul Mul -1 x0 Pow x4 -4 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 -1 Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 Pow x1 acosh Mul Mul -1 x0 Pow x4 -4 -1 