Pow x0 Add acsch x0 sqrt Mul Pow Add Add pi Mul x0 x0 asin x5 x1 x6 
Mul Pow x0 Add Add acsch x0 sqrt Mul Pow Add Add pi Mul x0 x0 asin x5 x1 x6 -1 Add Add acsch x0 sqrt Mul Pow Add Add pi Mul x0 x0 asin x5 x1 x6 Mul Mul x0 log x0 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Mul 2 sqrt Mul Pow Add Add pi Mul x0 x0 asin x5 x1 x6 -1 Mul x6 Mul Pow Add Add pi Mul x0 x0 asin x5 Add x1 -1 Mul x1 Add x0 x0 