Add asinh x3 Pow Add Add Mul x0 5 asin x0 Add Mul 5 atanh pi -3 Mul asinh x0 -3 
Mul Pow Add Add Mul x0 5 asin x0 Add Mul 5 atanh pi -3 Add Mul asinh x0 -3 -1 Add Mul Mul asinh x0 -3 Add 5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add Add Mul x0 5 asin x0 Add Mul 5 atanh pi -3 log Add Add Mul x0 5 asin x0 Add Mul 5 atanh pi -3 Mul -3 Pow sqrt Add 1 Mul x0 x0 -1 