Mul x0 acoth Mul Add x0 1.31303528549933 Add x5 Add x0 x0 
Add acoth Mul Add x0 1.31303528549933 Add x5 Add x0 x0 Mul x0 Mul Add Add x5 Add x0 x0 Mul Add x0 1.31303528549933 2 Pow Add 1 Mul -1 Mul Mul Add x0 1.31303528549933 Add x5 Add x0 x0 Mul Add x0 1.31303528549933 Add x5 Add x0 x0 -1 