Add atanh x0 Mul asinh Add Add x0 x0 Mul x0 x2 Add acot sinh x2 -4 
Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add acot sinh x2 -4 Mul Add 2 x2 Pow sqrt Add 1 Mul Add Add x0 x0 Mul x0 x2 Add Add x0 x0 Mul x0 x2 -1 