Pow Mul Add pi Mul Mul x0 x0 asin acsch x7 x3 x0 
Mul Pow Mul Add pi Mul Mul x0 x0 asin acsch x7 x3 Add x0 -1 Add Mul x0 Mul x3 Mul asin acsch x7 Add x0 x0 Mul Mul Add pi Mul Mul x0 x0 asin acsch x7 x3 log Mul Add pi Mul Mul x0 x0 asin acsch x7 x3 