Pow x3 Add Pow sec cbrt x0 acosh x0 Pow x1 x0 
Mul Pow x3 Add Add Pow sec cbrt x0 acosh x0 Pow x1 x0 -1 Mul Mul x3 log x3 Add Mul Pow sec cbrt x0 Add acosh x0 -1 Add Mul acosh x0 Mul Mul tan cbrt x0 sec cbrt x0 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Mul Mul sec cbrt x0 log sec cbrt x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x1 Add x0 -1 Mul x1 log x1 