Pow acot Add x0 x0 asinh Add x0 x5 
Mul Pow acot Add x0 x0 Add asinh Add x0 x5 -1 Add Mul asinh Add x0 x5 Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul acot Add x0 x0 log acot Add x0 x0 Pow sqrt Add 1 Mul Add x0 x5 Add x0 x5 -1 