Mul Pow Add atanh x0 Mul x0 4 asinh x4 log Add 2 x0 
Add Mul log Add 2 x0 Mul Pow Add atanh x0 Mul x0 4 Add asinh x4 -1 Mul asinh x4 Add Pow Add 1 Mul -1 Mul x0 x0 -1 4 Mul Pow Add atanh x0 Mul x0 4 asinh x4 Pow Add 2 x0 -1 