1545215509.112 * [misc]progress: [Phase 1 of 3] Setting up. 1545215509.112 * * * [misc]progress: [1/2] Preparing points 1545215509.112 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545215509.322 * * * * [misc]points: Filtering points with unrepresentable outputs 1545215509.322 * * * * [misc]points: Sampling 129 additional inputs, on iter 1 have 127 / 256 1545215509.482 * * * * [misc]points: Filtering points with unrepresentable outputs 1545215509.482 * * * * [misc]points: Sampling 50 additional inputs, on iter 2 have 206 / 256 1545215509.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1545215509.515 * * * * [misc]points: Sampling 21 additional inputs, on iter 3 have 235 / 256 1545215509.533 * * * * [misc]points: Filtering points with unrepresentable outputs 1545215509.533 * * * * [misc]points: Sampling 7 additional inputs, on iter 4 have 249 / 256 1545215509.541 * * * * [misc]points: Filtering points with unrepresentable outputs 1545215509.541 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1545215509.547 * * * * [misc]points: Filtering points with unrepresentable outputs 1545215509.547 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1545215509.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1545215509.554 * * * * [exit]points: Sampled 256 points with exact outputs 1545215509.554 * * * [misc]progress: [2/2] Setting up program. 1545215509.605 * [misc]progress: [Phase 2 of 3] Improving. 1545215509.605 * [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)))))) 1545215509.605 * * [misc]simplify: iters left: 6 (28 enodes) 1545215509.621 * * [misc]simplify: iters left: 5 (75 enodes) 1545215509.649 * * [misc]simplify: iters left: 4 (261 enodes) 1545215510.294 * [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)))) 1545215510.328 * * [misc]progress: iteration 1 / 4 1545215510.328 * * * [misc]progress: picking best candidate 1545215510.343 * * * * [misc]pick: Picked # 1545215510.343 * * * [misc]progress: localizing error 1545215510.418 * * * [misc]progress: generating rewritten candidates 1545215510.418 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 1) 1545215510.421 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 1 1 2) 1545215510.421 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1545215510.422 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 3 1) 1545215510.425 * * * [misc]progress: generating series expansions 1545215510.425 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 1) 1545215510.425 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 1 1 2) 1545215510.425 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1545215510.425 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 3 1) 1545215510.425 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215510.425 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1545215510.425 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215510.425 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215510.425 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215510.425 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215510.425 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215510.425 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215510.425 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215510.425 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215510.425 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215510.425 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215510.425 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215510.425 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215510.426 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1545215510.426 * [misc]backup-simplify: Simplify 0 into 0 1545215510.426 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545215510.426 * [misc]backup-simplify: Simplify 0 into 0 1545215510.426 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545215510.426 * [misc]backup-simplify: Simplify 0 into 0 1545215510.427 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545215510.427 * [misc]backup-simplify: Simplify 0 into 0 1545215510.427 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545215510.427 * [misc]backup-simplify: Simplify 0 into 0 1545215510.428 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545215510.428 * [misc]backup-simplify: Simplify 0 into 0 1545215510.428 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215510.428 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215510.428 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1545215510.428 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215510.428 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215510.428 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215510.428 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215510.428 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215510.428 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215510.428 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215510.428 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215510.428 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215510.428 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215510.428 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215510.428 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215510.429 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1545215510.429 * [misc]backup-simplify: Simplify 0 into 0 1545215510.429 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545215510.429 * [misc]backup-simplify: Simplify 0 into 0 1545215510.429 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545215510.429 * [misc]backup-simplify: Simplify 0 into 0 1545215510.430 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545215510.430 * [misc]backup-simplify: Simplify 0 into 0 1545215510.430 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545215510.430 * [misc]backup-simplify: Simplify 0 into 0 1545215510.431 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545215510.431 * [misc]backup-simplify: Simplify 0 into 0 1545215510.431 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1545215510.431 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1545215510.431 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1545215510.431 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215510.431 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215510.431 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215510.431 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215510.431 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215510.431 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215510.431 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215510.431 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215510.431 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215510.431 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215510.431 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215510.431 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215510.431 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1545215510.431 * [misc]backup-simplify: Simplify 0 into 0 1545215510.432 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545215510.432 * [misc]backup-simplify: Simplify 0 into 0 1545215510.432 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545215510.432 * [misc]backup-simplify: Simplify 0 into 0 1545215510.432 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545215510.433 * [misc]backup-simplify: Simplify 0 into 0 1545215510.433 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545215510.433 * [misc]backup-simplify: Simplify 0 into 0 1545215510.434 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545215510.434 * [misc]backup-simplify: Simplify 0 into 0 1545215510.434 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1545215510.434 * * * [misc]progress: simplifying candidates 1545215510.434 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1545215510.434 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1545215510.434 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1545215510.435 * * [misc]simplify: iters left: 2 (3 enodes) 1545215510.435 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1545215510.435 * [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))))) 1545215510.435 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1545215510.435 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1545215510.435 * * [misc]simplify: iters left: 2 (3 enodes) 1545215510.436 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1545215510.436 * [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))))) 1545215510.436 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1545215510.436 * [enter]simplify: Simplifying (sqrt PI) 1545215510.436 * * [misc]simplify: iters left: 1 (2 enodes) 1545215510.437 * [exit]simplify: Simplified to (sqrt PI) 1545215510.437 * [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))))) 1545215510.437 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1545215510.437 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1545215510.438 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1545215510.438 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545215510.438 * * [misc]simplify: iters left: 2 (3 enodes) 1545215510.439 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545215510.439 * [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))))) 1545215510.439 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1545215510.439 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545215510.439 * * [misc]simplify: iters left: 2 (3 enodes) 1545215510.439 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545215510.439 * [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))))) 1545215510.439 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1545215510.440 * [enter]simplify: Simplifying (fabs x) 1545215510.440 * * [misc]simplify: iters left: 1 (2 enodes) 1545215510.440 * [exit]simplify: Simplified to (fabs x) 1545215510.440 * [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))))) 1545215510.440 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1545215510.440 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1545215510.440 * [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)))) 1545215510.440 * * [misc]simplify: iters left: 6 (24 enodes) 1545215510.444 * * [misc]simplify: iters left: 5 (51 enodes) 1545215510.453 * * [misc]simplify: iters left: 4 (120 enodes) 1545215510.490 * * [misc]simplify: iters left: 3 (376 enodes) 1545215510.693 * [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)))) 1545215510.694 * [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))))) 1545215510.694 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1545215510.694 * [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)))) 1545215510.694 * * [misc]simplify: iters left: 6 (24 enodes) 1545215510.702 * * [misc]simplify: iters left: 5 (51 enodes) 1545215510.720 * * [misc]simplify: iters left: 4 (120 enodes) 1545215510.769 * * [misc]simplify: iters left: 3 (376 enodes) 1545215511.037 * [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)))) 1545215511.037 * [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))))) 1545215511.037 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1545215511.038 * [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)))) 1545215511.038 * * [misc]simplify: iters left: 6 (24 enodes) 1545215511.042 * * [misc]simplify: iters left: 5 (51 enodes) 1545215511.051 * * [misc]simplify: iters left: 4 (120 enodes) 1545215511.098 * * [misc]simplify: iters left: 3 (376 enodes) 1545215511.404 * [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)))) 1545215511.404 * [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))))) 1545215511.404 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1545215511.404 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215511.404 * * [misc]simplify: iters left: 3 (4 enodes) 1545215511.405 * * [misc]simplify: iters left: 2 (5 enodes) 1545215511.407 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215511.407 * [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))))) 1545215511.407 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1545215511.407 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215511.407 * * [misc]simplify: iters left: 3 (4 enodes) 1545215511.408 * * [misc]simplify: iters left: 2 (5 enodes) 1545215511.409 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215511.409 * [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))))) 1545215511.409 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1545215511.409 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215511.409 * * [misc]simplify: iters left: 3 (4 enodes) 1545215511.410 * * [misc]simplify: iters left: 2 (5 enodes) 1545215511.410 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215511.410 * [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))))) 1545215511.410 * * * [misc]progress: adding candidates to table 1545215512.897 * * [misc]progress: iteration 2 / 4 1545215512.897 * * * [misc]progress: picking best candidate 1545215512.937 * * * * [misc]pick: Picked # 1545215512.937 * * * [misc]progress: localizing error 1545215512.971 * * * [misc]progress: generating rewritten candidates 1545215512.971 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 2 2) 1545215512.972 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1545215512.972 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 3 1 2) 1545215512.974 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 3) 1545215512.977 * * * [misc]progress: generating series expansions 1545215512.977 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 2 2) 1545215512.978 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1545215512.978 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 3 1 2) 1545215512.978 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 3) 1545215512.978 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215512.978 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1545215512.978 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215512.978 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215512.978 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215512.978 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215512.978 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215512.978 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215512.978 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215512.978 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215512.978 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215512.978 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215512.978 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215512.978 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215512.978 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1545215512.978 * [misc]backup-simplify: Simplify 0 into 0 1545215512.979 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545215512.979 * [misc]backup-simplify: Simplify 0 into 0 1545215512.979 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545215512.979 * [misc]backup-simplify: Simplify 0 into 0 1545215512.980 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545215512.980 * [misc]backup-simplify: Simplify 0 into 0 1545215512.980 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545215512.980 * [misc]backup-simplify: Simplify 0 into 0 1545215512.981 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545215512.981 * [misc]backup-simplify: Simplify 0 into 0 1545215512.981 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215512.981 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215512.981 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1545215512.981 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215512.981 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215512.981 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215512.981 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215512.981 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215512.981 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215512.981 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215512.981 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215512.981 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215512.981 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215512.981 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215512.981 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215512.981 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1545215512.981 * [misc]backup-simplify: Simplify 0 into 0 1545215512.982 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545215512.982 * [misc]backup-simplify: Simplify 0 into 0 1545215512.982 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545215512.982 * [misc]backup-simplify: Simplify 0 into 0 1545215512.982 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545215512.982 * [misc]backup-simplify: Simplify 0 into 0 1545215512.983 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545215512.983 * [misc]backup-simplify: Simplify 0 into 0 1545215512.983 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545215512.984 * [misc]backup-simplify: Simplify 0 into 0 1545215512.984 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1545215512.984 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1545215512.984 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1545215512.984 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215512.984 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215512.984 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215512.984 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215512.984 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215512.984 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215512.984 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215512.984 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215512.984 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215512.984 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215512.984 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215512.984 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215512.984 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1545215512.984 * [misc]backup-simplify: Simplify 0 into 0 1545215512.984 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545215512.985 * [misc]backup-simplify: Simplify 0 into 0 1545215512.985 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545215512.985 * [misc]backup-simplify: Simplify 0 into 0 1545215512.985 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545215512.985 * [misc]backup-simplify: Simplify 0 into 0 1545215512.986 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545215512.986 * [misc]backup-simplify: Simplify 0 into 0 1545215512.986 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545215512.986 * [misc]backup-simplify: Simplify 0 into 0 1545215512.986 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1545215512.986 * * * [misc]progress: simplifying candidates 1545215512.986 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1545215512.987 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1545215512.988 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1545215512.988 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1545215512.988 * * [misc]simplify: iters left: 2 (3 enodes) 1545215512.989 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1545215512.989 * [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))))) 1545215512.989 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1545215512.989 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1545215512.989 * * [misc]simplify: iters left: 2 (3 enodes) 1545215512.989 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1545215512.989 * [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))))) 1545215512.989 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1545215512.989 * [enter]simplify: Simplifying (sqrt PI) 1545215512.990 * * [misc]simplify: iters left: 1 (2 enodes) 1545215512.990 * [exit]simplify: Simplified to (sqrt PI) 1545215512.990 * [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))))) 1545215512.990 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1545215512.990 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1545215512.990 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545215512.990 * * [misc]simplify: iters left: 2 (3 enodes) 1545215512.991 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545215512.991 * [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))))) 1545215512.991 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1545215512.991 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545215512.991 * * [misc]simplify: iters left: 2 (3 enodes) 1545215512.992 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545215512.992 * [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))))) 1545215512.992 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1545215512.992 * [enter]simplify: Simplifying (fabs x) 1545215512.992 * * [misc]simplify: iters left: 1 (2 enodes) 1545215512.992 * [exit]simplify: Simplified to (fabs x) 1545215512.992 * [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))))) 1545215512.992 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1545215512.992 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1545215512.992 * [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)))) 1545215512.993 * * [misc]simplify: iters left: 6 (23 enodes) 1545215512.996 * * [misc]simplify: iters left: 5 (42 enodes) 1545215513.004 * * [misc]simplify: iters left: 4 (97 enodes) 1545215513.034 * * [misc]simplify: iters left: 3 (284 enodes) 1545215513.221 * [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))))) 1545215513.221 * [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)))))) 1545215513.221 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1545215513.222 * [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)))) 1545215513.222 * * [misc]simplify: iters left: 6 (23 enodes) 1545215513.226 * * [misc]simplify: iters left: 5 (42 enodes) 1545215513.236 * * [misc]simplify: iters left: 4 (97 enodes) 1545215513.269 * * [misc]simplify: iters left: 3 (284 enodes) 1545215513.468 * [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))))) 1545215513.468 * [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)))))) 1545215513.468 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1545215513.469 * [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)))) 1545215513.469 * * [misc]simplify: iters left: 6 (23 enodes) 1545215513.477 * * [misc]simplify: iters left: 5 (42 enodes) 1545215513.491 * * [misc]simplify: iters left: 4 (97 enodes) 1545215513.518 * * [misc]simplify: iters left: 3 (284 enodes) 1545215513.670 * [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))))) 1545215513.670 * [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)))))) 1545215513.670 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1545215513.671 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215513.671 * * [misc]simplify: iters left: 3 (4 enodes) 1545215513.671 * * [misc]simplify: iters left: 2 (5 enodes) 1545215513.672 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215513.672 * [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))))) 1545215513.672 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1545215513.672 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215513.672 * * [misc]simplify: iters left: 3 (4 enodes) 1545215513.673 * * [misc]simplify: iters left: 2 (5 enodes) 1545215513.674 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215513.674 * [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))))) 1545215513.674 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1545215513.674 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215513.674 * * [misc]simplify: iters left: 3 (4 enodes) 1545215513.675 * * [misc]simplify: iters left: 2 (5 enodes) 1545215513.675 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215513.675 * [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))))) 1545215513.676 * * * [misc]progress: adding candidates to table 1545215515.102 * * [misc]progress: iteration 3 / 4 1545215515.102 * * * [misc]progress: picking best candidate 1545215515.139 * * * * [misc]pick: Picked # 1545215515.139 * * * [misc]progress: localizing error 1545215515.186 * * * [misc]progress: generating rewritten candidates 1545215515.186 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2) 1545215515.191 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 2 2) 1545215515.192 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1545215515.192 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 3) 1545215515.203 * * * [misc]progress: generating series expansions 1545215515.203 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2) 1545215515.203 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 2 2) 1545215515.203 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1545215515.203 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 3) 1545215515.203 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215515.203 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1545215515.203 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215515.203 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215515.203 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215515.204 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215515.204 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215515.204 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215515.204 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215515.204 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215515.204 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215515.204 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215515.204 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215515.204 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215515.204 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1545215515.204 * [misc]backup-simplify: Simplify 0 into 0 1545215515.205 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545215515.205 * [misc]backup-simplify: Simplify 0 into 0 1545215515.205 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545215515.205 * [misc]backup-simplify: Simplify 0 into 0 1545215515.206 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545215515.206 * [misc]backup-simplify: Simplify 0 into 0 1545215515.207 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545215515.207 * [misc]backup-simplify: Simplify 0 into 0 1545215515.208 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545215515.208 * [misc]backup-simplify: Simplify 0 into 0 1545215515.208 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215515.208 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215515.208 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1545215515.208 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215515.208 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215515.208 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215515.208 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215515.208 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215515.208 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215515.208 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215515.208 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215515.208 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215515.208 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215515.208 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215515.208 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215515.208 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1545215515.208 * [misc]backup-simplify: Simplify 0 into 0 1545215515.208 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545215515.209 * [misc]backup-simplify: Simplify 0 into 0 1545215515.209 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545215515.209 * [misc]backup-simplify: Simplify 0 into 0 1545215515.209 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545215515.209 * [misc]backup-simplify: Simplify 0 into 0 1545215515.210 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545215515.210 * [misc]backup-simplify: Simplify 0 into 0 1545215515.210 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545215515.210 * [misc]backup-simplify: Simplify 0 into 0 1545215515.210 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1545215515.210 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1545215515.211 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1545215515.211 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215515.211 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215515.211 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215515.211 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215515.211 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215515.211 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215515.211 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215515.211 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215515.211 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215515.211 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215515.211 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215515.211 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215515.211 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1545215515.211 * [misc]backup-simplify: Simplify 0 into 0 1545215515.211 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545215515.211 * [misc]backup-simplify: Simplify 0 into 0 1545215515.212 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545215515.212 * [misc]backup-simplify: Simplify 0 into 0 1545215515.212 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545215515.212 * [misc]backup-simplify: Simplify 0 into 0 1545215515.213 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545215515.213 * [misc]backup-simplify: Simplify 0 into 0 1545215515.213 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545215515.213 * [misc]backup-simplify: Simplify 0 into 0 1545215515.213 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1545215515.213 * * * [misc]progress: simplifying candidates 1545215515.213 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1545215515.213 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1545215515.213 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1545215515.213 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1545215515.214 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1545215515.214 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1545215515.214 * * [misc]simplify: iters left: 2 (3 enodes) 1545215515.215 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1545215515.215 * [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))))))) 1545215515.215 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1545215515.215 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1545215515.215 * * [misc]simplify: iters left: 2 (3 enodes) 1545215515.215 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1545215515.215 * [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))))))) 1545215515.215 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1545215515.215 * [enter]simplify: Simplifying (sqrt PI) 1545215515.215 * * [misc]simplify: iters left: 1 (2 enodes) 1545215515.216 * [exit]simplify: Simplified to (sqrt PI) 1545215515.216 * [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)))))) 1545215515.216 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1545215515.216 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1545215515.217 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1545215515.217 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545215515.217 * * [misc]simplify: iters left: 2 (3 enodes) 1545215515.218 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545215515.218 * [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)))))) 1545215515.218 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1545215515.218 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545215515.218 * * [misc]simplify: iters left: 2 (3 enodes) 1545215515.218 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545215515.218 * [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)))))) 1545215515.218 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1545215515.218 * [enter]simplify: Simplifying (fabs x) 1545215515.218 * * [misc]simplify: iters left: 1 (2 enodes) 1545215515.219 * [exit]simplify: Simplified to (fabs x) 1545215515.219 * [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)))))) 1545215515.219 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1545215515.219 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1545215515.219 * [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))))) 1545215515.219 * * [misc]simplify: iters left: 6 (23 enodes) 1545215515.223 * * [misc]simplify: iters left: 5 (43 enodes) 1545215515.230 * * [misc]simplify: iters left: 4 (80 enodes) 1545215515.254 * * [misc]simplify: iters left: 3 (187 enodes) 1545215515.346 * * [misc]simplify: iters left: 2 (476 enodes) 1545215515.832 * [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))))) 1545215515.832 * [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)))))) 1545215515.832 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1545215515.832 * [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))))) 1545215515.832 * * [misc]simplify: iters left: 6 (23 enodes) 1545215515.837 * * [misc]simplify: iters left: 5 (43 enodes) 1545215515.844 * * [misc]simplify: iters left: 4 (80 enodes) 1545215515.873 * * [misc]simplify: iters left: 3 (187 enodes) 1545215515.955 * * [misc]simplify: iters left: 2 (476 enodes) 1545215516.370 * [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))))) 1545215516.370 * [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)))))) 1545215516.370 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1545215516.370 * [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))))) 1545215516.371 * * [misc]simplify: iters left: 6 (23 enodes) 1545215516.380 * * [misc]simplify: iters left: 5 (43 enodes) 1545215516.394 * * [misc]simplify: iters left: 4 (80 enodes) 1545215516.426 * * [misc]simplify: iters left: 3 (187 enodes) 1545215516.500 * * [misc]simplify: iters left: 2 (476 enodes) 1545215516.934 * [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))))) 1545215516.934 * [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)))))) 1545215516.935 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1545215516.935 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215516.935 * * [misc]simplify: iters left: 3 (4 enodes) 1545215516.935 * * [misc]simplify: iters left: 2 (5 enodes) 1545215516.936 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215516.936 * [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)))))) 1545215516.937 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1545215516.937 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215516.937 * * [misc]simplify: iters left: 3 (4 enodes) 1545215516.937 * * [misc]simplify: iters left: 2 (5 enodes) 1545215516.938 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215516.938 * [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)))))) 1545215516.938 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1545215516.938 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215516.938 * * [misc]simplify: iters left: 3 (4 enodes) 1545215516.939 * * [misc]simplify: iters left: 2 (5 enodes) 1545215516.940 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215516.940 * [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)))))) 1545215516.940 * * * [misc]progress: adding candidates to table 1545215518.346 * * [misc]progress: iteration 4 / 4 1545215518.346 * * * [misc]progress: picking best candidate 1545215518.408 * * * * [misc]pick: Picked # 1545215518.408 * * * [misc]progress: localizing error 1545215518.427 * * * [misc]progress: generating rewritten candidates 1545215518.427 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 2 2 2) 1545215518.427 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1545215518.428 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 3 1 2) 1545215518.432 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 3) 1545215518.435 * * * [misc]progress: generating series expansions 1545215518.435 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 2 2 2) 1545215518.435 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1545215518.435 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 3 1 2) 1545215518.435 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 3) 1545215518.435 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215518.435 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1545215518.435 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215518.435 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215518.435 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215518.435 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215518.435 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215518.435 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545215518.435 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215518.435 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215518.435 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545215518.435 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545215518.436 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215518.436 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215518.436 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1545215518.436 * [misc]backup-simplify: Simplify 0 into 0 1545215518.436 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545215518.436 * [misc]backup-simplify: Simplify 0 into 0 1545215518.437 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545215518.437 * [misc]backup-simplify: Simplify 0 into 0 1545215518.437 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545215518.437 * [misc]backup-simplify: Simplify 0 into 0 1545215518.437 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545215518.437 * [misc]backup-simplify: Simplify 0 into 0 1545215518.438 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545215518.438 * [misc]backup-simplify: Simplify 0 into 0 1545215518.438 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545215518.438 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215518.438 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1545215518.438 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215518.438 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215518.438 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215518.438 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215518.438 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215518.438 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545215518.438 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215518.438 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215518.438 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545215518.438 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545215518.439 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215518.439 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545215518.439 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1545215518.439 * [misc]backup-simplify: Simplify 0 into 0 1545215518.439 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545215518.439 * [misc]backup-simplify: Simplify 0 into 0 1545215518.439 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545215518.439 * [misc]backup-simplify: Simplify 0 into 0 1545215518.440 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545215518.440 * [misc]backup-simplify: Simplify 0 into 0 1545215518.440 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545215518.440 * [misc]backup-simplify: Simplify 0 into 0 1545215518.441 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545215518.441 * [misc]backup-simplify: Simplify 0 into 0 1545215518.441 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1545215518.441 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1545215518.441 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1545215518.441 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215518.441 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215518.441 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215518.441 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215518.441 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215518.441 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545215518.441 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545215518.441 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545215518.441 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545215518.441 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545215518.441 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215518.442 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545215518.442 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1545215518.442 * [misc]backup-simplify: Simplify 0 into 0 1545215518.442 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545215518.442 * [misc]backup-simplify: Simplify 0 into 0 1545215518.442 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545215518.442 * [misc]backup-simplify: Simplify 0 into 0 1545215518.443 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545215518.443 * [misc]backup-simplify: Simplify 0 into 0 1545215518.443 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545215518.443 * [misc]backup-simplify: Simplify 0 into 0 1545215518.444 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545215518.444 * [misc]backup-simplify: Simplify 0 into 0 1545215518.444 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1545215518.444 * * * [misc]progress: simplifying candidates 1545215518.444 * * * * [misc]progress: [ 1 / 55 ] simplifiying candidate # 1545215518.444 * * * * [misc]progress: [ 2 / 55 ] simplifiying candidate # 1545215518.444 * * * * [misc]progress: [ 3 / 55 ] simplifiying candidate # 1545215518.444 * * * * [misc]progress: [ 4 / 55 ] simplifiying candidate # 1545215518.444 * * * * [misc]progress: [ 5 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 6 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 7 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 8 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 9 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 10 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 11 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 12 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 13 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 14 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 15 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 16 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 17 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 18 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 19 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 20 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 21 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 22 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 23 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 24 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 25 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 26 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 27 / 55 ] simplifiying candidate # 1545215518.445 * * * * [misc]progress: [ 28 / 55 ] simplifiying candidate # 1545215518.446 * * * * [misc]progress: [ 29 / 55 ] simplifiying candidate # 1545215518.446 * * * * [misc]progress: [ 30 / 55 ] simplifiying candidate # 1545215518.446 * [enter]simplify: Simplifying (sqrt PI) 1545215518.446 * * [misc]simplify: iters left: 1 (2 enodes) 1545215518.446 * [exit]simplify: Simplified to (sqrt PI) 1545215518.446 * [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 PI))) (pow (fabs x) 5))))) 1545215518.446 * * * * [misc]progress: [ 31 / 55 ] simplifiying candidate # 1545215518.446 * [enter]simplify: Simplifying (cbrt (/ 1 (sqrt PI))) 1545215518.446 * * [misc]simplify: iters left: 4 (5 enodes) 1545215518.447 * * [misc]simplify: iters left: 3 (7 enodes) 1545215518.448 * [exit]simplify: Simplified to (cbrt (/ 1 (sqrt PI))) 1545215518.448 * [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 (/ 1 (sqrt PI))) (cbrt (/ 1 (sqrt PI))))) (cbrt (/ 1 (sqrt PI))))) (pow (fabs x) 5))))) 1545215518.448 * * * * [misc]progress: [ 32 / 55 ] simplifiying candidate # 1545215518.448 * [enter]simplify: Simplifying (sqrt (/ 1 (sqrt PI))) 1545215518.448 * * [misc]simplify: iters left: 4 (5 enodes) 1545215518.449 * * [misc]simplify: iters left: 3 (7 enodes) 1545215518.450 * [exit]simplify: Simplified to (sqrt (/ 1 (sqrt PI))) 1545215518.450 * [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 (/ 1 (sqrt PI)))) (sqrt (/ 1 (sqrt PI))))) (pow (fabs x) 5))))) 1545215518.450 * * * * [misc]progress: [ 33 / 55 ] simplifiying candidate # 1545215518.450 * [enter]simplify: Simplifying (/ 1 (sqrt PI)) 1545215518.450 * * [misc]simplify: iters left: 3 (4 enodes) 1545215518.451 * * [misc]simplify: iters left: 2 (6 enodes) 1545215518.452 * [exit]simplify: Simplified to (/ 1 (sqrt PI)) 1545215518.452 * [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) (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.452 * * * * [misc]progress: [ 34 / 55 ] simplifiying candidate # 1545215518.452 * [enter]simplify: Simplifying (/ 1 (sqrt PI)) 1545215518.452 * * [misc]simplify: iters left: 3 (4 enodes) 1545215518.453 * * [misc]simplify: iters left: 2 (6 enodes) 1545215518.453 * [exit]simplify: Simplified to (/ 1 (sqrt PI)) 1545215518.454 * [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) (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.454 * * * * [misc]progress: [ 35 / 55 ] simplifiying candidate # 1545215518.454 * [enter]simplify: Simplifying (sqrt PI) 1545215518.454 * * [misc]simplify: iters left: 1 (2 enodes) 1545215518.454 * [exit]simplify: Simplified to (sqrt PI) 1545215518.454 * [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))))) 1545215518.454 * * * * [misc]progress: [ 36 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 37 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 38 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 39 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 40 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 41 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 42 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 43 / 55 ] simplifiying candidate # 1545215518.454 * * * * [misc]progress: [ 44 / 55 ] simplifiying candidate # 1545215518.455 * * * * [misc]progress: [ 45 / 55 ] simplifiying candidate # 1545215518.455 * * * * [misc]progress: [ 46 / 55 ] simplifiying candidate # 1545215518.455 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545215518.455 * * [misc]simplify: iters left: 2 (3 enodes) 1545215518.455 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545215518.455 * [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 (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.455 * * * * [misc]progress: [ 47 / 55 ] simplifiying candidate # 1545215518.456 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545215518.456 * * [misc]simplify: iters left: 2 (3 enodes) 1545215518.457 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545215518.457 * [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 (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.457 * * * * [misc]progress: [ 48 / 55 ] simplifiying candidate # 1545215518.457 * [enter]simplify: Simplifying (fabs x) 1545215518.457 * * [misc]simplify: iters left: 1 (2 enodes) 1545215518.457 * [exit]simplify: Simplified to (fabs x) 1545215518.458 * [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 (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.458 * * * * [misc]progress: [ 49 / 55 ] simplifiying candidate # 1545215518.458 * * * * [misc]progress: [ 50 / 55 ] simplifiying candidate # 1545215518.458 * * * * [misc]progress: [ 51 / 55 ] simplifiying candidate # 1545215518.458 * * * * [misc]progress: [ 52 / 55 ] simplifiying candidate # 1545215518.458 * * * * [misc]progress: [ 53 / 55 ] simplifiying candidate # 1545215518.458 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215518.458 * * [misc]simplify: iters left: 3 (4 enodes) 1545215518.459 * * [misc]simplify: iters left: 2 (5 enodes) 1545215518.461 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215518.461 * [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 (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.461 * * * * [misc]progress: [ 54 / 55 ] simplifiying candidate # 1545215518.461 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215518.461 * * [misc]simplify: iters left: 3 (4 enodes) 1545215518.463 * * [misc]simplify: iters left: 2 (5 enodes) 1545215518.464 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215518.464 * [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 (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.464 * * * * [misc]progress: [ 55 / 55 ] simplifiying candidate # 1545215518.465 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545215518.465 * * [misc]simplify: iters left: 3 (4 enodes) 1545215518.466 * * [misc]simplify: iters left: 2 (5 enodes) 1545215518.467 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545215518.468 * [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 (/ 1 (sqrt PI)))) (pow (fabs x) 5))))) 1545215518.468 * * * [misc]progress: adding candidates to table 1545215519.791 * [misc]progress: [Phase 3 of 3] Extracting. 1545215519.791 * * [misc]regime: Finding splitpoints for: (# # # # #) 1545215519.795 * * * [misc]regime-changes: Trying 2 branch expressions: (x (fabs x)) 1545215519.795 * * * * [misc]regimes: Trying to branch on x from (# # # # #) 1545215519.866 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # # #) 1545215519.948 * * * [misc]regime: Found split indices: #