Mul x0 Pow Mul x1 Mul x0 sec Add x6 asin Add x7 acsch pi x0 
Add Pow Mul x1 Mul x0 sec Add x6 asin Add x7 acsch pi x0 Mul x0 Mul Pow Mul x1 Mul x0 sec Add x6 asin Add x7 acsch pi Add x0 -1 Add Mul x0 Mul x1 sec Add x6 asin Add x7 acsch pi Mul Mul x1 Mul x0 sec Add x6 asin Add x7 acsch pi log Mul x1 Mul x0 sec Add x6 asin Add x7 acsch pi 