Pow x4 asec coth acoth sec sqrt x0 
Mul Pow x4 Add asec coth acoth sec sqrt x0 -1 Mul Mul x4 log x4 Mul Mul Mul -1 Pow csch acoth sec sqrt x0 2 Mul Mul Mul tan sqrt x0 sec sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sec sqrt x0 sec sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth acoth sec sqrt x0 coth acoth sec sqrt x0 -1 coth acoth sec sqrt x0 coth acoth sec sqrt x0 -1 