asinh Pow x1 atan Pow x0 pi 
Mul Mul Pow x1 Add atan Pow x0 pi -1 Mul Mul x1 log x1 Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow x0 pi Pow x0 pi -1 Pow sqrt Add 1 Mul Pow x1 atan Pow x0 pi Pow x1 atan Pow x0 pi -1 