Pow Mul x0 Add Mul x1 Pow x0 Mul x0 2 -2 Add Add x0 Pow -1 x3 acsch pi 
Mul Pow Mul x0 Add Mul x1 Pow x0 Mul x0 2 -2 Add Add Add x0 Pow -1 x3 acsch pi -1 Add Mul Add Add x0 Pow -1 x3 acsch pi Add Add Mul x1 Pow x0 Mul x0 2 -2 Mul x0 Mul x1 Mul Pow x0 Add Mul x0 2 -1 Add Mul x0 2 Mul Mul x0 log x0 2 Mul Mul x0 Add Mul x1 Pow x0 Mul x0 2 -2 log Mul x0 Add Mul x1 Pow x0 Mul x0 2 -2 