Pow acsch asin Mul x0 x4 x3 
Mul Pow acsch asin Mul x0 x4 Add x3 -1 Mul x3 Mul Mul -1 Mul x4 Pow sqrt Add 1 Mul -1 Mul Mul x0 x4 Mul x0 x4 -1 Pow Mul Mul asin Mul x0 x4 asin Mul x0 x4 sqrt Add 1 Mul -1 Pow Mul asin Mul x0 x4 asin Mul x0 x4 -1 -1 