asin Pow acsch Mul x3 Mul x1 acos E Add x7 x0 
Mul Mul Pow acsch Mul x3 Mul x1 acos E Add Add x7 x0 -1 Mul acsch Mul x3 Mul x1 acos E log acsch Mul x3 Mul x1 acos E Pow sqrt Add 1 Mul -1 Mul Pow acsch Mul x3 Mul x1 acos E Add x7 x0 Pow acsch Mul x3 Mul x1 acos E Add x7 x0 -1 