Mul asin Mul x0 Add Add x0 Add Mul acsch pi x0 Add -3 x0 Mul x2 x5 -0.202709410060873 
Mul -0.202709410060873 Mul Add Add Add x0 Add Mul acsch pi x0 Add -3 x0 Mul x2 x5 Mul x0 Add 1 Add acsch pi 1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add Add x0 Add Mul acsch pi x0 Add -3 x0 Mul x2 x5 Mul x0 Add Add x0 Add Mul acsch pi x0 Add -3 x0 Mul x2 x5 -1 