1546249690.463 * [misc]progress: [Phase 1 of 3] Setting up. 1546249690.463 * * * [misc]progress: [1/2] Preparing points 1546249690.463 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546249690.595 * * * * [misc]points: Filtering points with unrepresentable outputs 1546249690.595 * * * * [misc]points: Sampling 123 additional inputs, on iter 1 have 133 / 256 1546249690.728 * * * * [misc]points: Filtering points with unrepresentable outputs 1546249690.728 * * * * [misc]points: Sampling 49 additional inputs, on iter 2 have 207 / 256 1546249690.764 * * * * [misc]points: Filtering points with unrepresentable outputs 1546249690.764 * * * * [misc]points: Sampling 22 additional inputs, on iter 3 have 234 / 256 1546249690.785 * * * * [misc]points: Filtering points with unrepresentable outputs 1546249690.785 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1546249690.800 * * * * [misc]points: Filtering points with unrepresentable outputs 1546249690.800 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1546249690.811 * * * * [misc]points: Filtering points with unrepresentable outputs 1546249690.811 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1546249690.822 * * * * [misc]points: Filtering points with unrepresentable outputs 1546249690.822 * * * * [exit]points: Sampled 258 points with exact outputs 1546249690.822 * * * [misc]progress: [2/2] Setting up program. 1546249690.836 * [misc]progress: [Phase 2 of 3] Improving. 1546249690.836 * [enter]simplify: Simplifying (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 1546249690.836 * * [misc]simplify: iters left: 6 (28 enodes) 1546249690.849 * * [misc]simplify: iters left: 5 (75 enodes) 1546249690.893 * * [misc]simplify: iters left: 4 (261 enodes) 1546249691.273 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1546249691.289 * * [misc]progress: iteration 1 / 4 1546249691.289 * * * [misc]progress: picking best candidate 1546249691.307 * * * * [misc]pick: Picked # 1546249691.307 * * * [misc]progress: localizing error 1546249691.352 * * * [misc]progress: generating rewritten candidates 1546249691.352 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 1) 1546249691.352 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 1 1 2) 1546249691.352 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546249691.353 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 3 1) 1546249691.354 * * * [misc]progress: generating series expansions 1546249691.354 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 1) 1546249691.354 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 1 1 2) 1546249691.354 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546249691.354 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 3 1) 1546249691.354 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249691.354 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546249691.354 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249691.354 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249691.354 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249691.354 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249691.354 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249691.354 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249691.354 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249691.354 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249691.354 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249691.355 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249691.355 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249691.355 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249691.355 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546249691.355 * [misc]backup-simplify: Simplify 0 into 0 1546249691.355 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546249691.355 * [misc]backup-simplify: Simplify 0 into 0 1546249691.356 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546249691.356 * [misc]backup-simplify: Simplify 0 into 0 1546249691.356 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546249691.356 * [misc]backup-simplify: Simplify 0 into 0 1546249691.356 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546249691.356 * [misc]backup-simplify: Simplify 0 into 0 1546249691.357 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546249691.357 * [misc]backup-simplify: Simplify 0 into 0 1546249691.357 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249691.357 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249691.357 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546249691.357 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249691.357 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249691.357 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249691.357 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249691.357 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249691.357 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249691.357 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249691.357 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249691.357 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249691.357 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249691.357 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249691.358 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249691.358 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546249691.358 * [misc]backup-simplify: Simplify 0 into 0 1546249691.358 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546249691.358 * [misc]backup-simplify: Simplify 0 into 0 1546249691.367 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546249691.368 * [misc]backup-simplify: Simplify 0 into 0 1546249691.368 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546249691.368 * [misc]backup-simplify: Simplify 0 into 0 1546249691.369 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546249691.369 * [misc]backup-simplify: Simplify 0 into 0 1546249691.370 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546249691.370 * [misc]backup-simplify: Simplify 0 into 0 1546249691.370 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546249691.370 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546249691.370 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546249691.370 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249691.370 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249691.370 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249691.370 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249691.371 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249691.371 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249691.371 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249691.371 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249691.371 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249691.371 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249691.371 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249691.371 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249691.371 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546249691.371 * [misc]backup-simplify: Simplify 0 into 0 1546249691.372 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546249691.372 * [misc]backup-simplify: Simplify 0 into 0 1546249691.372 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546249691.372 * [misc]backup-simplify: Simplify 0 into 0 1546249691.372 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546249691.372 * [misc]backup-simplify: Simplify 0 into 0 1546249691.373 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546249691.373 * [misc]backup-simplify: Simplify 0 into 0 1546249691.373 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546249691.373 * [misc]backup-simplify: Simplify 0 into 0 1546249691.374 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546249691.374 * * * [misc]progress: simplifying candidates 1546249691.374 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546249691.374 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546249691.374 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1546249691.374 * * [misc]simplify: iters left: 2 (3 enodes) 1546249691.375 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1546249691.375 * [misc]simplify: Simplified (2 1 3 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ (/ 1/21 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (cbrt (sqrt PI))) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249691.375 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546249691.375 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1546249691.375 * * [misc]simplify: iters left: 2 (3 enodes) 1546249691.375 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1546249691.375 * [misc]simplify: Simplified (2 1 3 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ (/ 1/21 (sqrt (sqrt PI))) (sqrt (sqrt PI))) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249691.376 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546249691.376 * [enter]simplify: Simplifying (sqrt PI) 1546249691.376 * * [misc]simplify: iters left: 1 (2 enodes) 1546249691.376 * [exit]simplify: Simplified to (sqrt PI) 1546249691.376 * [misc]simplify: Simplified (2 1 3 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ (/ 1/21 1) (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249691.376 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546249691.376 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546249691.377 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546249691.377 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546249691.377 * * [misc]simplify: iters left: 2 (3 enodes) 1546249691.378 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546249691.378 * [misc]simplify: Simplified (2 1 2 3 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* (* 2/3 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249691.378 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546249691.378 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546249691.378 * * [misc]simplify: iters left: 2 (3 enodes) 1546249691.378 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546249691.379 * [misc]simplify: Simplified (2 1 2 3 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* (* 2/3 (sqrt (fabs x))) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249691.379 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546249691.379 * [enter]simplify: Simplifying (fabs x) 1546249691.379 * * [misc]simplify: iters left: 1 (2 enodes) 1546249691.379 * [exit]simplify: Simplified to (fabs x) 1546249691.379 * [misc]simplify: Simplified (2 1 2 3 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* (* 2/3 1) (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249691.379 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546249691.379 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546249691.379 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1546249691.379 * * [misc]simplify: iters left: 6 (24 enodes) 1546249691.384 * * [misc]simplify: iters left: 5 (51 enodes) 1546249691.392 * * [misc]simplify: iters left: 4 (120 enodes) 1546249691.435 * * [misc]simplify: iters left: 3 (376 enodes) 1546249691.672 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1546249691.672 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249691.672 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546249691.672 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1546249691.672 * * [misc]simplify: iters left: 6 (24 enodes) 1546249691.676 * * [misc]simplify: iters left: 5 (51 enodes) 1546249691.685 * * [misc]simplify: iters left: 4 (120 enodes) 1546249691.748 * * [misc]simplify: iters left: 3 (376 enodes) 1546249691.986 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1546249691.986 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249691.987 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546249691.988 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1546249691.988 * * [misc]simplify: iters left: 6 (24 enodes) 1546249691.992 * * [misc]simplify: iters left: 5 (51 enodes) 1546249692.008 * * [misc]simplify: iters left: 4 (120 enodes) 1546249692.080 * * [misc]simplify: iters left: 3 (376 enodes) 1546249692.376 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1546249692.376 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249692.376 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546249692.376 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249692.376 * * [misc]simplify: iters left: 3 (4 enodes) 1546249692.377 * * [misc]simplify: iters left: 2 (5 enodes) 1546249692.377 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249692.378 * [misc]simplify: Simplified (2 1 2 3 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249692.378 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546249692.378 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249692.378 * * [misc]simplify: iters left: 3 (4 enodes) 1546249692.378 * * [misc]simplify: iters left: 2 (5 enodes) 1546249692.379 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249692.379 * [misc]simplify: Simplified (2 1 2 3 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249692.379 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546249692.379 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249692.379 * * [misc]simplify: iters left: 3 (4 enodes) 1546249692.380 * * [misc]simplify: iters left: 2 (5 enodes) 1546249692.380 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249692.380 * [misc]simplify: Simplified (2 1 2 3 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546249692.381 * * * [misc]progress: adding candidates to table 1546249693.855 * * [misc]progress: iteration 2 / 4 1546249693.855 * * * [misc]progress: picking best candidate 1546249693.893 * * * * [misc]pick: Picked # 1546249693.893 * * * [misc]progress: localizing error 1546249693.924 * * * [misc]progress: generating rewritten candidates 1546249693.924 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 2 2) 1546249693.924 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1546249693.924 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 3 1 2) 1546249693.925 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 3) 1546249693.926 * * * [misc]progress: generating series expansions 1546249693.926 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 2 2) 1546249693.926 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1546249693.926 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 3 1 2) 1546249693.926 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 3) 1546249693.926 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249693.927 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546249693.927 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249693.927 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249693.927 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249693.927 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249693.927 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249693.927 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249693.927 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249693.927 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249693.927 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249693.927 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249693.927 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249693.927 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249693.927 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546249693.927 * [misc]backup-simplify: Simplify 0 into 0 1546249693.927 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546249693.927 * [misc]backup-simplify: Simplify 0 into 0 1546249693.928 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546249693.928 * [misc]backup-simplify: Simplify 0 into 0 1546249693.928 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546249693.928 * [misc]backup-simplify: Simplify 0 into 0 1546249693.929 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546249693.929 * [misc]backup-simplify: Simplify 0 into 0 1546249693.929 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546249693.929 * [misc]backup-simplify: Simplify 0 into 0 1546249693.929 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249693.929 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249693.929 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546249693.929 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249693.929 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249693.929 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249693.929 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249693.929 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249693.930 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249693.930 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249693.930 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249693.930 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249693.930 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249693.930 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249693.930 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249693.930 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546249693.930 * [misc]backup-simplify: Simplify 0 into 0 1546249693.930 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546249693.930 * [misc]backup-simplify: Simplify 0 into 0 1546249693.931 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546249693.931 * [misc]backup-simplify: Simplify 0 into 0 1546249693.931 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546249693.931 * [misc]backup-simplify: Simplify 0 into 0 1546249693.931 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546249693.931 * [misc]backup-simplify: Simplify 0 into 0 1546249693.932 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546249693.932 * [misc]backup-simplify: Simplify 0 into 0 1546249693.932 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546249693.932 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546249693.932 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546249693.932 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249693.932 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249693.932 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249693.932 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249693.932 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249693.932 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249693.932 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249693.932 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249693.932 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249693.932 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249693.933 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249693.933 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249693.933 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546249693.933 * [misc]backup-simplify: Simplify 0 into 0 1546249693.933 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546249693.933 * [misc]backup-simplify: Simplify 0 into 0 1546249693.933 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546249693.933 * [misc]backup-simplify: Simplify 0 into 0 1546249693.934 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546249693.934 * [misc]backup-simplify: Simplify 0 into 0 1546249693.934 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546249693.934 * [misc]backup-simplify: Simplify 0 into 0 1546249693.935 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546249693.935 * [misc]backup-simplify: Simplify 0 into 0 1546249693.935 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546249693.935 * * * [misc]progress: simplifying candidates 1546249693.935 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546249693.935 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546249693.936 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546249693.936 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1546249693.937 * * [misc]simplify: iters left: 2 (3 enodes) 1546249693.937 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1546249693.937 * [misc]simplify: Simplified (2 1 3 1 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ (/ 1/21 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (cbrt (sqrt PI)))) (pow (fabs x) 5))))) 1546249693.937 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546249693.937 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1546249693.937 * * [misc]simplify: iters left: 2 (3 enodes) 1546249693.938 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1546249693.938 * [misc]simplify: Simplified (2 1 3 1 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ (/ 1/21 (sqrt (sqrt PI))) (sqrt (sqrt PI)))) (pow (fabs x) 5))))) 1546249693.938 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546249693.938 * [enter]simplify: Simplifying (sqrt PI) 1546249693.938 * * [misc]simplify: iters left: 1 (2 enodes) 1546249693.938 * [exit]simplify: Simplified to (sqrt PI) 1546249693.938 * [misc]simplify: Simplified (2 1 3 1 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ (/ 1/21 1) (sqrt PI))) (pow (fabs x) 5))))) 1546249693.938 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546249693.938 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546249693.938 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546249693.938 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546249693.938 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546249693.938 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546249693.938 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546249693.938 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546249693.939 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546249693.939 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546249693.939 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546249693.939 * * [misc]simplify: iters left: 2 (3 enodes) 1546249693.939 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546249693.939 * [misc]simplify: Simplified (2 1 2 2 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* (* 2/3 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x)))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249693.939 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546249693.939 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546249693.939 * * [misc]simplify: iters left: 2 (3 enodes) 1546249693.940 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546249693.940 * [misc]simplify: Simplified (2 1 2 2 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* (* 2/3 (sqrt (fabs x))) (sqrt (fabs x)))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249693.940 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546249693.940 * [enter]simplify: Simplifying (fabs x) 1546249693.940 * * [misc]simplify: iters left: 1 (2 enodes) 1546249693.940 * [exit]simplify: Simplified to (fabs x) 1546249693.940 * [misc]simplify: Simplified (2 1 2 2 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* (* 2/3 1) (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249693.940 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546249693.940 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546249693.941 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1546249693.941 * * [misc]simplify: iters left: 6 (23 enodes) 1546249693.945 * * [misc]simplify: iters left: 5 (42 enodes) 1546249693.959 * * [misc]simplify: iters left: 4 (97 enodes) 1546249693.996 * * [misc]simplify: iters left: 3 (284 enodes) 1546249694.152 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1546249694.152 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249694.152 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546249694.152 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1546249694.152 * * [misc]simplify: iters left: 6 (23 enodes) 1546249694.160 * * [misc]simplify: iters left: 5 (42 enodes) 1546249694.173 * * [misc]simplify: iters left: 4 (97 enodes) 1546249694.224 * * [misc]simplify: iters left: 3 (284 enodes) 1546249694.401 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1546249694.401 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249694.401 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546249694.401 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1546249694.401 * * [misc]simplify: iters left: 6 (23 enodes) 1546249694.408 * * [misc]simplify: iters left: 5 (42 enodes) 1546249694.415 * * [misc]simplify: iters left: 4 (97 enodes) 1546249694.441 * * [misc]simplify: iters left: 3 (284 enodes) 1546249694.586 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1546249694.586 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249694.586 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546249694.586 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249694.586 * * [misc]simplify: iters left: 3 (4 enodes) 1546249694.587 * * [misc]simplify: iters left: 2 (5 enodes) 1546249694.587 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249694.587 * [misc]simplify: Simplified (2 1 2 2 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249694.587 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546249694.587 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249694.588 * * [misc]simplify: iters left: 3 (4 enodes) 1546249694.591 * * [misc]simplify: iters left: 2 (5 enodes) 1546249694.591 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249694.591 * [misc]simplify: Simplified (2 1 2 2 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249694.591 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546249694.592 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249694.592 * * [misc]simplify: iters left: 3 (4 enodes) 1546249694.592 * * [misc]simplify: iters left: 2 (5 enodes) 1546249694.593 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249694.593 * [misc]simplify: Simplified (2 1 2 2 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1546249694.593 * * * [misc]progress: adding candidates to table 1546249696.371 * * [misc]progress: iteration 3 / 4 1546249696.371 * * * [misc]progress: picking best candidate 1546249696.401 * * * * [misc]pick: Picked # 1546249696.402 * * * [misc]progress: localizing error 1546249696.428 * * * [misc]progress: generating rewritten candidates 1546249696.428 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2) 1546249696.428 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 2 2) 1546249696.428 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546249696.428 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 3) 1546249696.430 * * * [misc]progress: generating series expansions 1546249696.430 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2) 1546249696.430 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 2 2) 1546249696.430 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546249696.430 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 3) 1546249696.430 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249696.430 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546249696.430 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249696.430 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249696.430 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249696.430 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249696.430 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249696.430 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249696.430 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249696.430 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249696.430 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249696.431 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249696.431 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249696.431 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249696.431 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546249696.431 * [misc]backup-simplify: Simplify 0 into 0 1546249696.431 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546249696.431 * [misc]backup-simplify: Simplify 0 into 0 1546249696.432 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546249696.432 * [misc]backup-simplify: Simplify 0 into 0 1546249696.432 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546249696.432 * [misc]backup-simplify: Simplify 0 into 0 1546249696.433 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546249696.433 * [misc]backup-simplify: Simplify 0 into 0 1546249696.433 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546249696.433 * [misc]backup-simplify: Simplify 0 into 0 1546249696.433 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249696.434 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249696.434 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546249696.434 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249696.434 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249696.434 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249696.434 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249696.434 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249696.434 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249696.434 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249696.434 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249696.434 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249696.434 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249696.434 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249696.434 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249696.434 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546249696.434 * [misc]backup-simplify: Simplify 0 into 0 1546249696.435 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546249696.435 * [misc]backup-simplify: Simplify 0 into 0 1546249696.435 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546249696.435 * [misc]backup-simplify: Simplify 0 into 0 1546249696.436 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546249696.436 * [misc]backup-simplify: Simplify 0 into 0 1546249696.437 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546249696.437 * [misc]backup-simplify: Simplify 0 into 0 1546249696.438 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546249696.438 * [misc]backup-simplify: Simplify 0 into 0 1546249696.438 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546249696.438 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546249696.438 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546249696.438 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249696.438 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249696.438 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249696.438 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249696.438 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249696.438 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249696.438 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249696.438 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249696.438 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249696.439 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249696.439 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249696.439 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249696.439 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546249696.439 * [misc]backup-simplify: Simplify 0 into 0 1546249696.440 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546249696.440 * [misc]backup-simplify: Simplify 0 into 0 1546249696.440 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546249696.440 * [misc]backup-simplify: Simplify 0 into 0 1546249696.441 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546249696.441 * [misc]backup-simplify: Simplify 0 into 0 1546249696.442 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546249696.442 * [misc]backup-simplify: Simplify 0 into 0 1546249696.443 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546249696.443 * [misc]backup-simplify: Simplify 0 into 0 1546249696.443 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546249696.443 * * * [misc]progress: simplifying candidates 1546249696.443 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546249696.443 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546249696.444 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546249696.445 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1546249696.445 * * [misc]simplify: iters left: 2 (3 enodes) 1546249696.446 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1546249696.446 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ (/ 1/21 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (cbrt (sqrt PI))))))) 1546249696.446 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546249696.446 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1546249696.446 * * [misc]simplify: iters left: 2 (3 enodes) 1546249696.447 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1546249696.447 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ (/ 1/21 (sqrt (sqrt PI))) (sqrt (sqrt PI))))))) 1546249696.448 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546249696.448 * [enter]simplify: Simplifying (sqrt PI) 1546249696.448 * * [misc]simplify: iters left: 1 (2 enodes) 1546249696.449 * [exit]simplify: Simplified to (sqrt PI) 1546249696.449 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ (/ 1/21 1) (sqrt PI)))))) 1546249696.449 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546249696.449 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546249696.450 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546249696.451 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546249696.451 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546249696.451 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546249696.451 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546249696.451 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546249696.451 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546249696.451 * * [misc]simplify: iters left: 2 (3 enodes) 1546249696.452 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546249696.452 * [misc]simplify: Simplified (2 1 2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* (* 2/3 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249696.452 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546249696.453 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546249696.453 * * [misc]simplify: iters left: 2 (3 enodes) 1546249696.454 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546249696.454 * [misc]simplify: Simplified (2 1 2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* (* 2/3 (sqrt (fabs x))) (sqrt (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249696.454 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546249696.454 * [enter]simplify: Simplifying (fabs x) 1546249696.454 * * [misc]simplify: iters left: 1 (2 enodes) 1546249696.455 * [exit]simplify: Simplified to (fabs x) 1546249696.455 * [misc]simplify: Simplified (2 1 2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* (* 2/3 1) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249696.455 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546249696.455 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546249696.455 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1546249696.455 * * [misc]simplify: iters left: 6 (23 enodes) 1546249696.463 * * [misc]simplify: iters left: 5 (43 enodes) 1546249696.474 * * [misc]simplify: iters left: 4 (80 enodes) 1546249696.492 * * [misc]simplify: iters left: 3 (187 enodes) 1546249696.594 * * [misc]simplify: iters left: 2 (476 enodes) 1546249697.041 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI))))) 1546249697.042 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI)))))) 1546249697.042 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546249697.042 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1546249697.042 * * [misc]simplify: iters left: 6 (23 enodes) 1546249697.049 * * [misc]simplify: iters left: 5 (43 enodes) 1546249697.056 * * [misc]simplify: iters left: 4 (80 enodes) 1546249697.071 * * [misc]simplify: iters left: 3 (187 enodes) 1546249697.154 * * [misc]simplify: iters left: 2 (476 enodes) 1546249697.609 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI))))) 1546249697.609 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI)))))) 1546249697.609 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546249697.609 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1546249697.610 * * [misc]simplify: iters left: 6 (23 enodes) 1546249697.618 * * [misc]simplify: iters left: 5 (43 enodes) 1546249697.627 * * [misc]simplify: iters left: 4 (80 enodes) 1546249697.643 * * [misc]simplify: iters left: 3 (187 enodes) 1546249697.737 * * [misc]simplify: iters left: 2 (476 enodes) 1546249698.158 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI))))) 1546249698.158 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI)))))) 1546249698.158 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546249698.158 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249698.158 * * [misc]simplify: iters left: 3 (4 enodes) 1546249698.160 * * [misc]simplify: iters left: 2 (5 enodes) 1546249698.161 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249698.161 * [misc]simplify: Simplified (2 1 2 1 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249698.161 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546249698.162 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249698.162 * * [misc]simplify: iters left: 3 (4 enodes) 1546249698.163 * * [misc]simplify: iters left: 2 (5 enodes) 1546249698.164 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249698.164 * [misc]simplify: Simplified (2 1 2 1 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249698.164 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546249698.165 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249698.165 * * [misc]simplify: iters left: 3 (4 enodes) 1546249698.166 * * [misc]simplify: iters left: 2 (5 enodes) 1546249698.167 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249698.167 * [misc]simplify: Simplified (2 1 2 1 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249698.168 * * * [misc]progress: adding candidates to table 1546249699.595 * * [misc]progress: iteration 4 / 4 1546249699.595 * * * [misc]progress: picking best candidate 1546249699.637 * * * * [misc]pick: Picked # 1546249699.637 * * * [misc]progress: localizing error 1546249699.649 * * * [misc]progress: generating rewritten candidates 1546249699.650 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2 2 2) 1546249699.650 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1546249699.650 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 3 2) 1546249699.651 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 3) 1546249699.652 * * * [misc]progress: generating series expansions 1546249699.652 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2 2 2) 1546249699.653 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1546249699.653 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 3 2) 1546249699.653 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 3) 1546249699.653 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249699.653 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546249699.653 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249699.653 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249699.653 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249699.653 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249699.653 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249699.653 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546249699.653 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249699.653 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249699.653 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546249699.653 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546249699.653 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249699.653 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249699.653 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546249699.653 * [misc]backup-simplify: Simplify 0 into 0 1546249699.654 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546249699.654 * [misc]backup-simplify: Simplify 0 into 0 1546249699.654 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546249699.654 * [misc]backup-simplify: Simplify 0 into 0 1546249699.654 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546249699.654 * [misc]backup-simplify: Simplify 0 into 0 1546249699.655 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546249699.655 * [misc]backup-simplify: Simplify 0 into 0 1546249699.655 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546249699.656 * [misc]backup-simplify: Simplify 0 into 0 1546249699.656 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546249699.656 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249699.656 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546249699.656 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249699.656 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249699.656 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249699.656 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249699.656 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249699.656 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546249699.656 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249699.656 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249699.656 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546249699.656 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546249699.656 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249699.656 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546249699.656 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546249699.656 * [misc]backup-simplify: Simplify 0 into 0 1546249699.657 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546249699.657 * [misc]backup-simplify: Simplify 0 into 0 1546249699.657 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546249699.657 * [misc]backup-simplify: Simplify 0 into 0 1546249699.657 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546249699.657 * [misc]backup-simplify: Simplify 0 into 0 1546249699.658 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546249699.658 * [misc]backup-simplify: Simplify 0 into 0 1546249699.659 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546249699.659 * [misc]backup-simplify: Simplify 0 into 0 1546249699.659 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546249699.659 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546249699.659 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546249699.659 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249699.659 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249699.659 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249699.659 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249699.659 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249699.659 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546249699.659 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546249699.659 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546249699.659 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546249699.659 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546249699.659 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249699.659 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546249699.659 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546249699.659 * [misc]backup-simplify: Simplify 0 into 0 1546249699.660 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546249699.660 * [misc]backup-simplify: Simplify 0 into 0 1546249699.660 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546249699.660 * [misc]backup-simplify: Simplify 0 into 0 1546249699.660 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546249699.660 * [misc]backup-simplify: Simplify 0 into 0 1546249699.663 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546249699.663 * [misc]backup-simplify: Simplify 0 into 0 1546249699.664 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546249699.664 * [misc]backup-simplify: Simplify 0 into 0 1546249699.664 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546249699.664 * * * [misc]progress: simplifying candidates 1546249699.664 * * * * [misc]progress: [ 1 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 2 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 3 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 4 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 5 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 6 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 7 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 8 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 9 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 10 / 55 ] simplifiying candidate # 1546249699.664 * * * * [misc]progress: [ 11 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 12 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 13 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 14 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 15 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 16 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 17 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 18 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 19 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 20 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 21 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 22 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 23 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 24 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 25 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 26 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 27 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 28 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 29 / 55 ] simplifiying candidate # 1546249699.665 * * * * [misc]progress: [ 30 / 55 ] simplifiying candidate # 1546249699.665 * [enter]simplify: Simplifying (sqrt PI) 1546249699.665 * * [misc]simplify: iters left: 1 (2 enodes) 1546249699.666 * [exit]simplify: Simplified to (sqrt PI) 1546249699.666 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1546249699.666 * * * * [misc]progress: [ 31 / 55 ] simplifiying candidate # 1546249699.666 * [enter]simplify: Simplifying (cbrt (/ 1 (sqrt PI))) 1546249699.666 * * [misc]simplify: iters left: 4 (5 enodes) 1546249699.667 * * [misc]simplify: iters left: 3 (7 enodes) 1546249699.668 * [exit]simplify: Simplified to (cbrt (/ 1 (sqrt PI))) 1546249699.668 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* (* 1/21 (* (cbrt (/ 1 (sqrt PI))) (cbrt (/ 1 (sqrt PI))))) (cbrt (/ 1 (sqrt PI)))))))) 1546249699.668 * * * * [misc]progress: [ 32 / 55 ] simplifiying candidate # 1546249699.668 * [enter]simplify: Simplifying (sqrt (/ 1 (sqrt PI))) 1546249699.668 * * [misc]simplify: iters left: 4 (5 enodes) 1546249699.669 * * [misc]simplify: iters left: 3 (7 enodes) 1546249699.669 * [exit]simplify: Simplified to (sqrt (/ 1 (sqrt PI))) 1546249699.669 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* (* 1/21 (sqrt (/ 1 (sqrt PI)))) (sqrt (/ 1 (sqrt PI)))))))) 1546249699.670 * * * * [misc]progress: [ 33 / 55 ] simplifiying candidate # 1546249699.670 * [enter]simplify: Simplifying (/ 1 (sqrt PI)) 1546249699.670 * * [misc]simplify: iters left: 3 (4 enodes) 1546249699.670 * * [misc]simplify: iters left: 2 (6 enodes) 1546249699.671 * [exit]simplify: Simplified to (/ 1 (sqrt PI)) 1546249699.671 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* (* 1/21 1) (/ 1 (sqrt PI))))))) 1546249699.671 * * * * [misc]progress: [ 34 / 55 ] simplifiying candidate # 1546249699.671 * [enter]simplify: Simplifying (/ 1 (sqrt PI)) 1546249699.671 * * [misc]simplify: iters left: 3 (4 enodes) 1546249699.672 * * [misc]simplify: iters left: 2 (6 enodes) 1546249699.673 * [exit]simplify: Simplified to (/ 1 (sqrt PI)) 1546249699.673 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* (* 1/21 1) (/ 1 (sqrt PI))))))) 1546249699.673 * * * * [misc]progress: [ 35 / 55 ] simplifiying candidate # 1546249699.673 * [enter]simplify: Simplifying (sqrt PI) 1546249699.673 * * [misc]simplify: iters left: 1 (2 enodes) 1546249699.673 * [exit]simplify: Simplified to (sqrt PI) 1546249699.673 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ (* 1/21 1) (sqrt PI)))))) 1546249699.673 * * * * [misc]progress: [ 36 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 37 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 38 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 39 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 40 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 41 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 42 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 43 / 55 ] simplifiying candidate # 1546249699.673 * * * * [misc]progress: [ 44 / 55 ] simplifiying candidate # 1546249699.674 * * * * [misc]progress: [ 45 / 55 ] simplifiying candidate # 1546249699.674 * * * * [misc]progress: [ 46 / 55 ] simplifiying candidate # 1546249699.674 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546249699.674 * * [misc]simplify: iters left: 2 (3 enodes) 1546249699.674 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546249699.674 * [misc]simplify: Simplified (2 1 2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* (* 2/3 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* 1/21 (/ 1 (sqrt PI))))))) 1546249699.674 * * * * [misc]progress: [ 47 / 55 ] simplifiying candidate # 1546249699.674 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546249699.674 * * [misc]simplify: iters left: 2 (3 enodes) 1546249699.675 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546249699.675 * [misc]simplify: Simplified (2 1 2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* (* 2/3 (sqrt (fabs x))) (sqrt (fabs x)))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* 1/21 (/ 1 (sqrt PI))))))) 1546249699.675 * * * * [misc]progress: [ 48 / 55 ] simplifiying candidate # 1546249699.675 * [enter]simplify: Simplifying (fabs x) 1546249699.675 * * [misc]simplify: iters left: 1 (2 enodes) 1546249699.675 * [exit]simplify: Simplified to (fabs x) 1546249699.675 * [misc]simplify: Simplified (2 1 2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* (* 2/3 1) (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* 1/21 (/ 1 (sqrt PI))))))) 1546249699.675 * * * * [misc]progress: [ 49 / 55 ] simplifiying candidate # 1546249699.675 * * * * [misc]progress: [ 50 / 55 ] simplifiying candidate # 1546249699.675 * * * * [misc]progress: [ 51 / 55 ] simplifiying candidate # 1546249699.675 * * * * [misc]progress: [ 52 / 55 ] simplifiying candidate # 1546249699.676 * * * * [misc]progress: [ 53 / 55 ] simplifiying candidate # 1546249699.676 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249699.676 * * [misc]simplify: iters left: 3 (4 enodes) 1546249699.676 * * [misc]simplify: iters left: 2 (5 enodes) 1546249699.677 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249699.677 * [misc]simplify: Simplified (2 1 2 1 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* 1/21 (/ 1 (sqrt PI))))))) 1546249699.677 * * * * [misc]progress: [ 54 / 55 ] simplifiying candidate # 1546249699.677 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249699.677 * * [misc]simplify: iters left: 3 (4 enodes) 1546249699.678 * * [misc]simplify: iters left: 2 (5 enodes) 1546249699.678 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249699.678 * [misc]simplify: Simplified (2 1 2 1 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* 1/21 (/ 1 (sqrt PI))))))) 1546249699.678 * * * * [misc]progress: [ 55 / 55 ] simplifiying candidate # 1546249699.679 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546249699.679 * * [misc]simplify: iters left: 3 (4 enodes) 1546249699.679 * * [misc]simplify: iters left: 2 (5 enodes) 1546249699.680 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546249699.680 * [misc]simplify: Simplified (2 1 2 1 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (* 1/21 (/ 1 (sqrt PI))))))) 1546249699.680 * * * [misc]progress: adding candidates to table 1546249701.129 * [misc]progress: [Phase 3 of 3] Extracting. 1546249701.129 * * [misc]regime: Finding splitpoints for: (# # # # #) 1546249701.133 * * * [misc]regime-changes: Trying 2 branch expressions: (x (fabs x)) 1546249701.133 * * * * [misc]regimes: Trying to branch on x from (# # # # #) 1546249701.213 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # # #) 1546249701.281 * * * [misc]regime: Found split indices: #