Mul Mul x0 Mul acsch pi Add acos x0 -4 Add x0 Mul asin x0 253711.243937749 
Add Mul Add x0 Mul asin x0 253711.243937749 Add Mul acsch pi Add acos x0 -4 Mul x0 Mul acsch pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 Mul acsch pi Add acos x0 -4 Add 1 Mul 253711.243937749 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 