Add Pow x0 2 Pow Pow Add 3 pi Add 4 Pow x0 x1 asinh x0 
Add Mul x0 2 Mul Pow Pow Add 3 pi Add 4 Pow x0 x1 Add asinh x0 -1 Add Mul asinh x0 Mul Pow Add 3 pi Add Add 4 Pow x0 x1 -1 Mul Mul Add 3 pi log Add 3 pi Mul Pow x0 Add x1 -1 x1 Mul Mul Pow Add 3 pi Add 4 Pow x0 x1 log Pow Add 3 pi Add 4 Pow x0 x1 Pow sqrt Add 1 Mul x0 x0 -1 