Add Mul x0 Mul Mul Add Mul x0 asin x0 x0 acsch x0 Mul x0 pi 3 
Add Mul Mul Add Mul x0 asin x0 x0 acsch x0 Mul x0 pi Mul x0 Add Mul Mul x0 pi Add Mul acsch x0 Add Add asin x0 Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add Mul x0 asin x0 x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Add Mul x0 asin x0 x0 acsch x0 pi 