Add Mul Pow Add x0 Mul Pow x0 acoth Pow x0 Mul x0 sec sqrt x0 Pow pi x2 -5 Pow Pow x1 -3 x0 3 
Add Mul Pow Pow x1 -3 x0 Mul Pow Add x0 Mul Pow x0 acoth Pow x0 Mul x0 sec sqrt x0 Pow pi x2 6 Mul -5 Add 1 Mul Pow pi x2 Mul Pow x0 Add acoth Pow x0 Mul x0 sec sqrt x0 -1 Add acoth Pow x0 Mul x0 sec sqrt x0 Mul Mul x0 log x0 Mul Mul Pow x0 Add Mul x0 sec sqrt x0 -1 Add Mul x0 sec sqrt x0 Mul Mul x0 log x0 Add sec sqrt x0 Mul x0 Mul Mul tan sqrt x0 sec sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Pow x0 Mul x0 sec sqrt x0 Pow x0 Mul x0 sec sqrt x0 -1 Mul Pow Add x0 Mul Pow x0 acoth Pow x0 Mul x0 sec sqrt x0 Pow pi x2 -5 Mul Pow Pow x1 -3 Add x0 -1 Mul Pow x1 -3 log Pow x1 -3 