Add x7 Mul exp Add x0 atanh log acot Add 16 x0 Add x0 x1 
Add Mul Add x0 x1 Mul exp Add x0 atanh log acot Add 16 x0 Add 1 Mul Mul Mul -1 Pow Add 1 Mul Add 16 x0 Add 16 x0 -1 Pow acot Add 16 x0 -1 Pow Add 1 Mul -1 Mul log acot Add 16 x0 log acot Add 16 x0 -1 exp Add x0 atanh log acot Add 16 x0 