Pow x0 Pow Mul -3 x0 asec cbrt acosh x5 
Mul Pow x0 Add Pow Mul -3 x0 asec cbrt acosh x5 -1 Add Pow Mul -3 x0 asec cbrt acosh x5 Mul Mul x0 log x0 Mul Pow Mul -3 x0 Add asec cbrt acosh x5 -1 Mul asec cbrt acosh x5 -3 