acsch Pow x0 sqrt Mul x0 atan pi 
Mul Mul -1 Mul Pow x0 Add sqrt Mul x0 atan pi -1 Add sqrt Mul x0 atan pi Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Mul x0 atan pi -1 atan pi Pow Mul Mul Pow x0 sqrt Mul x0 atan pi Pow x0 sqrt Mul x0 atan pi sqrt Add 1 Mul -1 Pow Mul Pow x0 sqrt Mul x0 atan pi Pow x0 sqrt Mul x0 atan pi -1 -1 