Pow Add exp asinh Add x0 -4 Add x1 x0 acot sinh x3 
Mul Pow Add exp asinh Add x0 -4 Add x1 x0 Add acot sinh x3 -1 Mul acot sinh x3 Add Mul exp asinh Add x0 -4 Pow sqrt Add 1 Mul Add x0 -4 Add x0 -4 -1 1 