Mul Mul x0 Mul cbrt acoth x5 x2 Add Pow x0 x0 Mul 4 Add x0 625 
Add Mul Add Pow x0 x0 Mul 4 Add x0 625 Mul cbrt acoth x5 x2 Mul Mul x0 Mul cbrt acoth x5 x2 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 4 