Pow acoth Pow Add x0 625 Add x0 x6 x1 
Mul Pow acoth Pow Add x0 625 Add x0 x6 Add x1 -1 Mul x1 Mul Mul Pow Add x0 625 Add Add x0 x6 -1 Add Add x0 x6 Mul Add x0 625 log Add x0 625 Pow Add 1 Mul -1 Mul Pow Add x0 625 Add x0 x6 Pow Add x0 625 Add x0 x6 -1 