19.803 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.051 * [simplify]: Simplifying using # : (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 0.054 * * [simplify]: iteration 0 : 70 enodes (cost 42 ) 0.056 * * [simplify]: iteration 1 : 252 enodes (cost 42 ) 0.062 * * [simplify]: iteration 2 : 1059 enodes (cost 42 ) 0.088 * * [simplify]: iteration 3 : 4713 enodes (cost 42 ) 0.161 * * [simplify]: iteration 4 : 5001 enodes (cost 42 ) 0.162 * [simplify]: Simplified to: (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 0.162 * * [progress]: iteration 1 / 4 0.162 * * * [progress]: picking best candidate 0.166 * * * * [pick]: Picked # 0.166 * * * [progress]: localizing error 0.190 * * * [progress]: generating rewritten candidates 0.190 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.191 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.197 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.210 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 0.215 * * * [progress]: generating series expansions 0.215 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.215 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.216 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.216 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.216 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.216 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.216 * [taylor]: Taking taylor expansion of (fabs x) in x 0.216 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.216 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.216 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.216 * [taylor]: Taking taylor expansion of (fabs x) in x 0.231 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.231 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.231 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.231 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.231 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.231 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.231 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.231 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.231 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.249 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.250 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.250 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.264 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.265 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0 0.265 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.265 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.265 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.265 * [taylor]: Taking taylor expansion of (fabs x) in x 0.265 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.265 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.265 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.265 * [taylor]: Taking taylor expansion of (fabs x) in x 0.289 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0 0.289 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.289 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.289 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 0.289 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.289 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.289 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.289 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 0.289 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.313 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0 0.314 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.314 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.314 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.314 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.314 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.314 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.314 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.314 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.341 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 0.342 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.342 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.342 * [taylor]: Taking taylor expansion of (fabs x) in x 0.342 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.342 * [taylor]: Taking taylor expansion of (fabs x) in x 0.350 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.351 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.351 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.351 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.351 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.360 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.360 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.360 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.360 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.360 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.370 * * * [progress]: simplifying candidates 0.370 * [simplify]: Simplifying using # : (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (* (- 2.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 1 (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (fabs x) (fabs x))) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (- 1.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ 2 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.374 * * [simplify]: iteration 0 : 162 enodes (cost 196 ) 0.378 * * [simplify]: iteration 1 : 715 enodes (cost 174 ) 0.395 * * [simplify]: iteration 2 : 3458 enodes (cost 160 ) 0.456 * * [simplify]: iteration 3 : 5001 enodes (cost 156 ) 0.458 * [simplify]: Simplified to: (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (* (pow (fabs x) 3) (- 2.0)) (pow (fabs x) 3) (* (/ 1.0 21.0) (pow (fabs x) 6)) (* (/ 1.0 21.0) (pow (fabs x) 5)) (/ (* (pow (fabs x) 4) 1.0) 21.0) (/ (* 1.0 (pow (fabs x) 3)) 21.0) (* (/ 1.0 21.0) (* (fabs x) (fabs x))) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (* (/ 1.0 21.0) (fabs x)) (/ (pow (fabs x) 6) (/ 21.0 (fabs x))) (* (* 1.0 (fabs x)) (pow (fabs x) 6)) (* (- (* 1.0 (fabs x))) (pow (fabs x) 6)) (pow (fabs x) 7) 3 (pow (fabs x) 2) (pow (fabs x) 2) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.458 * * * [progress]: adding candidates to table 0.581 * * [progress]: iteration 2 / 4 0.581 * * * [progress]: picking best candidate 0.593 * * * * [pick]: Picked # 0.593 * * * [progress]: localizing error 0.621 * * * [progress]: generating rewritten candidates 0.621 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.622 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.627 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 0.631 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 0.636 * * * [progress]: generating series expansions 0.636 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.636 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.636 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.636 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.636 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.636 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.636 * [taylor]: Taking taylor expansion of (fabs x) in x 0.637 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.637 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.637 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.637 * [taylor]: Taking taylor expansion of (fabs x) in x 0.651 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.651 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.651 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.651 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.651 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.651 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.651 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.651 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.651 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.667 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.667 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.667 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.667 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.667 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.667 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.667 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.667 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.667 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.682 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 0.682 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.682 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.682 * [taylor]: Taking taylor expansion of (fabs x) in x 0.682 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.682 * [taylor]: Taking taylor expansion of (fabs x) in x 0.696 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.696 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.696 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.696 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.696 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.705 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.705 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.705 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.706 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.715 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 0.715 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.715 * [taylor]: Taking taylor expansion of (fabs x) in x 0.715 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.715 * [taylor]: Taking taylor expansion of (fabs x) in x 0.723 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.724 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.724 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.724 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.724 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.733 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.733 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.733 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.733 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.733 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.742 * * * [progress]: simplifying candidates 0.742 * [simplify]: Simplifying using # : (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (* (- 2.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 1 (* (* (fabs x) (fabs x)) (fabs x))) (+ 2 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (+ 2 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (pow (fabs x) 6) (/ 21.0 (fabs x))))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.745 * * [simplify]: iteration 0 : 109 enodes (cost 92 ) 0.748 * * [simplify]: iteration 1 : 471 enodes (cost 92 ) 0.760 * * [simplify]: iteration 2 : 2187 enodes (cost 92 ) 0.797 * * [simplify]: iteration 3 : 5001 enodes (cost 88 ) 0.798 * [simplify]: Simplified to: (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (* (pow (fabs x) 3) (- 2.0)) (pow (fabs x) 3) 3 (pow (fabs x) 2) (pow (fabs x) 2) 3 (pow (fabs x) 2) (pow (fabs x) 2) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (/ (pow (fabs x) 6) (/ 21.0 (fabs x))))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.798 * * * [progress]: adding candidates to table 0.884 * * [progress]: iteration 3 / 4 0.884 * * * [progress]: picking best candidate 0.892 * * * * [pick]: Picked # 0.892 * * * [progress]: localizing error 0.916 * * * [progress]: generating rewritten candidates 0.916 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.917 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.923 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1) 0.927 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 0.931 * * * [progress]: generating series expansions 0.931 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.931 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.932 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.932 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.932 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.932 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.932 * [taylor]: Taking taylor expansion of (fabs x) in x 0.932 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.932 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.932 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.932 * [taylor]: Taking taylor expansion of (fabs x) in x 0.947 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.947 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.947 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.947 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.947 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.947 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.947 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.947 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.947 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.965 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.965 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.965 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.965 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.965 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.965 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.966 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.966 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.966 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.980 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1) 0.981 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.981 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.981 * [taylor]: Taking taylor expansion of (fabs x) in x 0.981 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.981 * [taylor]: Taking taylor expansion of (fabs x) in x 0.989 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.989 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.989 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.999 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.999 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.999 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.999 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.999 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.008 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1.008 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.008 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.008 * [taylor]: Taking taylor expansion of (fabs x) in x 1.008 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.008 * [taylor]: Taking taylor expansion of (fabs x) in x 1.016 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.016 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.016 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.016 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.016 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.025 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.026 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.026 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.026 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.026 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.034 * * * [progress]: simplifying candidates 1.035 * [simplify]: Simplifying using # : (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (* (- 2.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 1 (* (* (fabs x) (fabs x)) (fabs x))) (+ 2 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (+ 2 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* 1.0 (pow (fabs x) 3)) 21.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.038 * * [simplify]: iteration 0 : 107 enodes (cost 98 ) 1.041 * * [simplify]: iteration 1 : 509 enodes (cost 98 ) 1.053 * * [simplify]: iteration 2 : 2714 enodes (cost 98 ) 1.103 * * [simplify]: iteration 3 : 5001 enodes (cost 94 ) 1.104 * [simplify]: Simplified to: (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (* (pow (fabs x) 3) (- 2.0)) (pow (fabs x) 3) 3 (pow (fabs x) 2) (pow (fabs x) 2) 3 (pow (fabs x) 2) (pow (fabs x) 2) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* 1.0 (pow (fabs x) 3)) 21.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.104 * * * [progress]: adding candidates to table 1.188 * * [progress]: iteration 4 / 4 1.188 * * * [progress]: picking best candidate 1.192 * * * * [pick]: Picked # 1.192 * * * [progress]: localizing error 1.216 * * * [progress]: generating rewritten candidates 1.216 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.217 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1.223 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1.227 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 1.231 * * * [progress]: generating series expansions 1.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.231 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1.232 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 1.232 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.232 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.232 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.232 * [taylor]: Taking taylor expansion of (fabs x) in x 1.232 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.232 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.232 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.232 * [taylor]: Taking taylor expansion of (fabs x) in x 1.250 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.250 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.251 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.251 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.251 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.266 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.266 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.266 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.266 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.266 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.266 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.266 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.266 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.266 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.281 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1.281 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.281 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.281 * [taylor]: Taking taylor expansion of (fabs x) in x 1.281 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.281 * [taylor]: Taking taylor expansion of (fabs x) in x 1.289 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.290 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.290 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.290 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.290 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.299 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.299 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.299 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.299 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.308 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 1.308 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.308 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.308 * [taylor]: Taking taylor expansion of (fabs x) in x 1.308 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.308 * [taylor]: Taking taylor expansion of (fabs x) in x 1.317 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.317 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.317 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.317 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.317 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.326 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.326 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.326 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.326 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.326 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.339 * * * [progress]: simplifying candidates 1.340 * [simplify]: Simplifying using # : (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (* (- 2.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 1 (* (* (fabs x) (fabs x)) (fabs x))) (+ 2 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (+ 2 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 5)) (* (fabs x) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.343 * * [simplify]: iteration 0 : 112 enodes (cost 94 ) 1.346 * * [simplify]: iteration 1 : 485 enodes (cost 94 ) 1.358 * * [simplify]: iteration 2 : 2316 enodes (cost 94 ) 1.401 * * [simplify]: iteration 3 : 5001 enodes (cost 90 ) 1.402 * [simplify]: Simplified to: (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (fabs x)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (* (pow (fabs x) 3) (- 2.0)) (pow (fabs x) 3) 3 (pow (fabs x) 2) (pow (fabs x) 2) 3 (pow (fabs x) 2) (pow (fabs x) 2) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 5)) (* (fabs x) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.402 * * * [progress]: adding candidates to table 1.484 * [progress]: [Phase 3 of 3] Extracting. 1.484 * * [regime]: Finding splitpoints for: (# # # #) 1.489 * * * [regime-changes]: Trying 5 branch expressions: ((fabs x) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) x) 1.489 * * * * [regimes]: Trying to branch on (fabs x) from (# # # #) 1.520 * * * * [regimes]: Trying to branch on (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) from (# # # #) 1.552 * * * * [regimes]: Trying to branch on (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) from (# # # #) 1.591 * * * * [regimes]: Trying to branch on (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) from (# # # #) 1.632 * * * * [regimes]: Trying to branch on x from (# # # #) 1.659 * * * [regime]: Found split indices: #