1546854177.310 * [misc]progress: [Phase 1 of 3] Setting up. 1546854177.310 * * * [misc]progress: [1/2] Preparing points 1546854177.310 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546854177.387 * * * * [misc]points: Filtering points with unrepresentable outputs 1546854177.387 * * * * [misc]points: Sampling 105 additional inputs, on iter 1 have 151 / 256 1546854177.434 * * * * [misc]points: Filtering points with unrepresentable outputs 1546854177.435 * * * * [misc]points: Sampling 52 additional inputs, on iter 2 have 204 / 256 1546854177.477 * * * * [misc]points: Filtering points with unrepresentable outputs 1546854177.477 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1546854177.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1546854177.491 * * * * [misc]points: Sampling 5 additional inputs, on iter 4 have 251 / 256 1546854177.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1546854177.499 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1546854177.509 * * * * [misc]points: Filtering points with unrepresentable outputs 1546854177.509 * * * * [exit]points: Sampled 256 points with exact outputs 1546854177.510 * * * [misc]progress: [2/2] Setting up program. 1546854177.519 * [misc]progress: [Phase 2 of 3] Improving. 1546854177.520 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546854177.520 * [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)))))) 1546854177.520 * * [misc]simplify: iters left: 6 (28 enodes) 1546854177.533 * * [misc]simplify: iters left: 5 (75 enodes) 1546854177.550 * * [misc]simplify: iters left: 4 (261 enodes) 1546854177.895 * [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)))) 1546854177.895 * [misc]simplify: Simplified (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 PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1546854177.917 * * [misc]progress: iteration 1 / 4 1546854177.917 * * * [misc]progress: picking best candidate 1546854177.937 * * * * [misc]pick: Picked # 1546854177.938 * * * [misc]progress: localizing error 1546854177.989 * * * [misc]progress: generating rewritten candidates 1546854177.989 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 1) 1546854177.989 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 1 1 2) 1546854177.990 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546854177.990 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 3 1) 1546854177.991 * * * [misc]progress: generating series expansions 1546854177.991 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 1) 1546854177.991 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 1 1 2) 1546854177.991 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546854177.991 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 3 1) 1546854177.991 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854177.992 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546854177.992 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854177.992 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854177.992 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854177.992 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854177.992 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854177.992 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854177.992 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854177.992 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854177.992 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854177.992 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854177.992 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854177.992 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854177.992 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546854177.992 * [misc]backup-simplify: Simplify 0 into 0 1546854177.992 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546854177.992 * [misc]backup-simplify: Simplify 0 into 0 1546854177.993 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546854177.993 * [misc]backup-simplify: Simplify 0 into 0 1546854177.993 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546854177.993 * [misc]backup-simplify: Simplify 0 into 0 1546854177.994 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546854177.994 * [misc]backup-simplify: Simplify 0 into 0 1546854177.994 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546854177.994 * [misc]backup-simplify: Simplify 0 into 0 1546854177.994 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854177.994 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854177.994 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546854177.994 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854177.994 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854177.994 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854177.994 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854177.994 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854177.995 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854177.995 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854177.995 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854177.995 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854177.995 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854177.995 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854177.995 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854177.995 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546854177.995 * [misc]backup-simplify: Simplify 0 into 0 1546854177.995 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546854177.995 * [misc]backup-simplify: Simplify 0 into 0 1546854177.996 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546854177.996 * [misc]backup-simplify: Simplify 0 into 0 1546854177.997 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546854177.997 * [misc]backup-simplify: Simplify 0 into 0 1546854177.997 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546854177.997 * [misc]backup-simplify: Simplify 0 into 0 1546854177.998 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546854177.998 * [misc]backup-simplify: Simplify 0 into 0 1546854177.999 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546854177.999 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546854177.999 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546854177.999 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854177.999 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854177.999 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854177.999 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854177.999 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854177.999 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854177.999 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854177.999 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854177.999 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854177.999 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854177.999 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854177.999 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854178.000 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546854178.000 * [misc]backup-simplify: Simplify 0 into 0 1546854178.000 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546854178.000 * [misc]backup-simplify: Simplify 0 into 0 1546854178.001 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546854178.001 * [misc]backup-simplify: Simplify 0 into 0 1546854178.001 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546854178.001 * [misc]backup-simplify: Simplify 0 into 0 1546854178.002 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546854178.002 * [misc]backup-simplify: Simplify 0 into 0 1546854178.003 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546854178.003 * [misc]backup-simplify: Simplify 0 into 0 1546854178.003 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546854178.003 * * * [misc]progress: simplifying candidates 1546854178.003 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546854178.003 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546854178.004 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546854178.005 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1546854178.005 * * [misc]simplify: iters left: 2 (3 enodes) 1546854178.006 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1546854178.006 * [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))))) 1546854178.006 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546854178.006 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1546854178.006 * * [misc]simplify: iters left: 2 (3 enodes) 1546854178.007 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1546854178.007 * [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))))) 1546854178.007 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546854178.007 * [enter]simplify: Simplifying (sqrt PI) 1546854178.007 * * [misc]simplify: iters left: 1 (2 enodes) 1546854178.008 * [exit]simplify: Simplified to (sqrt PI) 1546854178.008 * [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))))) 1546854178.008 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546854178.008 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546854178.008 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546854178.008 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546854178.008 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546854178.009 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546854178.010 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546854178.011 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546854178.011 * * [misc]simplify: iters left: 2 (3 enodes) 1546854178.012 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546854178.012 * [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))))) 1546854178.012 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546854178.012 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546854178.012 * * [misc]simplify: iters left: 2 (3 enodes) 1546854178.013 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546854178.013 * [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))))) 1546854178.013 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546854178.013 * [enter]simplify: Simplifying (fabs x) 1546854178.013 * * [misc]simplify: iters left: 1 (2 enodes) 1546854178.014 * [exit]simplify: Simplified to (fabs x) 1546854178.014 * [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))))) 1546854178.014 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546854178.014 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546854178.015 * [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)))) 1546854178.015 * * [misc]simplify: iters left: 6 (24 enodes) 1546854178.023 * * [misc]simplify: iters left: 5 (51 enodes) 1546854178.038 * * [misc]simplify: iters left: 4 (120 enodes) 1546854178.084 * * [misc]simplify: iters left: 3 (376 enodes) 1546854178.405 * [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)))) 1546854178.406 * [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))))) 1546854178.406 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546854178.406 * [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)))) 1546854178.406 * * [misc]simplify: iters left: 6 (24 enodes) 1546854178.415 * * [misc]simplify: iters left: 5 (51 enodes) 1546854178.437 * * [misc]simplify: iters left: 4 (120 enodes) 1546854178.499 * * [misc]simplify: iters left: 3 (376 enodes) 1546854178.776 * [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)))) 1546854178.776 * [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))))) 1546854178.776 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546854178.777 * [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)))) 1546854178.777 * * [misc]simplify: iters left: 6 (24 enodes) 1546854178.785 * * [misc]simplify: iters left: 5 (51 enodes) 1546854178.802 * * [misc]simplify: iters left: 4 (120 enodes) 1546854178.834 * * [misc]simplify: iters left: 3 (376 enodes) 1546854179.047 * [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)))) 1546854179.047 * [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))))) 1546854179.047 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546854179.047 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854179.047 * * [misc]simplify: iters left: 3 (4 enodes) 1546854179.049 * * [misc]simplify: iters left: 2 (5 enodes) 1546854179.050 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854179.050 * [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))))) 1546854179.050 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546854179.050 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854179.050 * * [misc]simplify: iters left: 3 (4 enodes) 1546854179.052 * * [misc]simplify: iters left: 2 (5 enodes) 1546854179.053 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854179.053 * [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))))) 1546854179.053 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546854179.053 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854179.054 * * [misc]simplify: iters left: 3 (4 enodes) 1546854179.055 * * [misc]simplify: iters left: 2 (5 enodes) 1546854179.056 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854179.056 * [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))))) 1546854179.057 * * * [misc]progress: adding candidates to table 1546854179.981 * * [misc]progress: iteration 2 / 4 1546854179.981 * * * [misc]progress: picking best candidate 1546854180.032 * * * * [misc]pick: Picked # 1546854180.032 * * * [misc]progress: localizing error 1546854180.067 * * * [misc]progress: generating rewritten candidates 1546854180.067 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 2 2) 1546854180.067 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1546854180.067 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 3 1 2) 1546854180.068 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 3) 1546854180.071 * * * [misc]progress: generating series expansions 1546854180.071 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 2 2) 1546854180.071 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1546854180.071 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 3 1 2) 1546854180.071 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 3) 1546854180.072 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854180.072 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546854180.072 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854180.072 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854180.072 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854180.072 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854180.072 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854180.072 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854180.072 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854180.072 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854180.072 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854180.072 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854180.072 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854180.072 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854180.072 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546854180.073 * [misc]backup-simplify: Simplify 0 into 0 1546854180.073 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546854180.073 * [misc]backup-simplify: Simplify 0 into 0 1546854180.073 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546854180.073 * [misc]backup-simplify: Simplify 0 into 0 1546854180.074 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546854180.074 * [misc]backup-simplify: Simplify 0 into 0 1546854180.075 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546854180.075 * [misc]backup-simplify: Simplify 0 into 0 1546854180.076 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546854180.076 * [misc]backup-simplify: Simplify 0 into 0 1546854180.076 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854180.076 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854180.076 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546854180.076 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854180.076 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854180.077 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854180.077 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854180.077 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854180.077 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854180.077 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854180.077 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854180.077 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854180.077 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854180.077 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854180.077 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854180.077 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546854180.077 * [misc]backup-simplify: Simplify 0 into 0 1546854180.078 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546854180.078 * [misc]backup-simplify: Simplify 0 into 0 1546854180.078 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546854180.078 * [misc]backup-simplify: Simplify 0 into 0 1546854180.079 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546854180.079 * [misc]backup-simplify: Simplify 0 into 0 1546854180.080 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546854180.080 * [misc]backup-simplify: Simplify 0 into 0 1546854180.081 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546854180.081 * [misc]backup-simplify: Simplify 0 into 0 1546854180.081 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546854180.081 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546854180.081 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546854180.081 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854180.081 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854180.081 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854180.081 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854180.081 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854180.081 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854180.081 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854180.082 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854180.082 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854180.082 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854180.082 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854180.082 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854180.082 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546854180.082 * [misc]backup-simplify: Simplify 0 into 0 1546854180.082 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546854180.083 * [misc]backup-simplify: Simplify 0 into 0 1546854180.083 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546854180.083 * [misc]backup-simplify: Simplify 0 into 0 1546854180.084 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546854180.084 * [misc]backup-simplify: Simplify 0 into 0 1546854180.085 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546854180.085 * [misc]backup-simplify: Simplify 0 into 0 1546854180.086 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546854180.086 * [misc]backup-simplify: Simplify 0 into 0 1546854180.086 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546854180.086 * * * [misc]progress: simplifying candidates 1546854180.086 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546854180.086 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546854180.087 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546854180.088 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546854180.089 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546854180.089 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546854180.089 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1546854180.089 * * [misc]simplify: iters left: 2 (3 enodes) 1546854180.090 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1546854180.090 * [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))))) 1546854180.090 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546854180.090 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1546854180.090 * * [misc]simplify: iters left: 2 (3 enodes) 1546854180.091 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1546854180.091 * [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))))) 1546854180.091 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546854180.092 * [enter]simplify: Simplifying (sqrt PI) 1546854180.092 * * [misc]simplify: iters left: 1 (2 enodes) 1546854180.092 * [exit]simplify: Simplified to (sqrt PI) 1546854180.092 * [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))))) 1546854180.092 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546854180.092 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546854180.092 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546854180.093 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546854180.093 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546854180.093 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546854180.093 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546854180.093 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546854180.093 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546854180.093 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546854180.093 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546854180.093 * * [misc]simplify: iters left: 2 (3 enodes) 1546854180.094 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546854180.094 * [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))))) 1546854180.094 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546854180.095 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546854180.095 * * [misc]simplify: iters left: 2 (3 enodes) 1546854180.095 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546854180.095 * [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))))) 1546854180.096 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546854180.096 * [enter]simplify: Simplifying (fabs x) 1546854180.096 * * [misc]simplify: iters left: 1 (2 enodes) 1546854180.096 * [exit]simplify: Simplified to (fabs x) 1546854180.097 * [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))))) 1546854180.097 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546854180.097 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546854180.097 * [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)))) 1546854180.097 * * [misc]simplify: iters left: 6 (23 enodes) 1546854180.110 * * [misc]simplify: iters left: 5 (42 enodes) 1546854180.118 * * [misc]simplify: iters left: 4 (97 enodes) 1546854180.141 * * [misc]simplify: iters left: 3 (284 enodes) 1546854180.284 * [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))))) 1546854180.284 * [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)))))) 1546854180.284 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546854180.285 * [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)))) 1546854180.285 * * [misc]simplify: iters left: 6 (23 enodes) 1546854180.288 * * [misc]simplify: iters left: 5 (42 enodes) 1546854180.300 * * [misc]simplify: iters left: 4 (97 enodes) 1546854180.333 * * [misc]simplify: iters left: 3 (284 enodes) 1546854180.509 * [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))))) 1546854180.509 * [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)))))) 1546854180.509 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546854180.510 * [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)))) 1546854180.510 * * [misc]simplify: iters left: 6 (23 enodes) 1546854180.513 * * [misc]simplify: iters left: 5 (42 enodes) 1546854180.520 * * [misc]simplify: iters left: 4 (97 enodes) 1546854180.559 * * [misc]simplify: iters left: 3 (284 enodes) 1546854180.700 * [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))))) 1546854180.700 * [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)))))) 1546854180.700 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546854180.700 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854180.700 * * [misc]simplify: iters left: 3 (4 enodes) 1546854180.702 * * [misc]simplify: iters left: 2 (5 enodes) 1546854180.703 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854180.703 * [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))))) 1546854180.703 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546854180.704 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854180.704 * * [misc]simplify: iters left: 3 (4 enodes) 1546854180.705 * * [misc]simplify: iters left: 2 (5 enodes) 1546854180.706 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854180.707 * [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))))) 1546854180.707 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546854180.707 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854180.707 * * [misc]simplify: iters left: 3 (4 enodes) 1546854180.708 * * [misc]simplify: iters left: 2 (5 enodes) 1546854180.710 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854180.710 * [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))))) 1546854180.710 * * * [misc]progress: adding candidates to table 1546854181.558 * * [misc]progress: iteration 3 / 4 1546854181.558 * * * [misc]progress: picking best candidate 1546854181.574 * * * * [misc]pick: Picked # 1546854181.574 * * * [misc]progress: localizing error 1546854181.611 * * * [misc]progress: generating rewritten candidates 1546854181.611 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2) 1546854181.612 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 2 2) 1546854181.613 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546854181.613 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 3) 1546854181.616 * * * [misc]progress: generating series expansions 1546854181.616 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2) 1546854181.616 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 2 2) 1546854181.617 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546854181.617 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 3) 1546854181.617 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854181.617 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546854181.617 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854181.617 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854181.617 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854181.617 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854181.617 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854181.617 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854181.617 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854181.617 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854181.617 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854181.617 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854181.617 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854181.617 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854181.618 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546854181.618 * [misc]backup-simplify: Simplify 0 into 0 1546854181.618 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546854181.619 * [misc]backup-simplify: Simplify 0 into 0 1546854181.619 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546854181.619 * [misc]backup-simplify: Simplify 0 into 0 1546854181.620 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546854181.620 * [misc]backup-simplify: Simplify 0 into 0 1546854181.620 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546854181.620 * [misc]backup-simplify: Simplify 0 into 0 1546854181.621 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546854181.621 * [misc]backup-simplify: Simplify 0 into 0 1546854181.621 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854181.621 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854181.621 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546854181.621 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854181.621 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854181.621 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854181.621 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854181.621 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854181.621 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854181.621 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854181.621 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854181.621 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854181.621 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854181.621 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854181.621 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854181.621 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546854181.621 * [misc]backup-simplify: Simplify 0 into 0 1546854181.622 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546854181.622 * [misc]backup-simplify: Simplify 0 into 0 1546854181.622 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546854181.622 * [misc]backup-simplify: Simplify 0 into 0 1546854181.622 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546854181.622 * [misc]backup-simplify: Simplify 0 into 0 1546854181.623 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546854181.623 * [misc]backup-simplify: Simplify 0 into 0 1546854181.624 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546854181.624 * [misc]backup-simplify: Simplify 0 into 0 1546854181.624 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546854181.624 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546854181.624 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546854181.624 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854181.624 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854181.624 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854181.624 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854181.624 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854181.624 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854181.624 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854181.624 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854181.624 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854181.624 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854181.624 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854181.624 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854181.624 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546854181.624 * [misc]backup-simplify: Simplify 0 into 0 1546854181.625 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546854181.625 * [misc]backup-simplify: Simplify 0 into 0 1546854181.625 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546854181.625 * [misc]backup-simplify: Simplify 0 into 0 1546854181.625 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546854181.625 * [misc]backup-simplify: Simplify 0 into 0 1546854181.626 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546854181.626 * [misc]backup-simplify: Simplify 0 into 0 1546854181.626 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546854181.626 * [misc]backup-simplify: Simplify 0 into 0 1546854181.627 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546854181.627 * * * [misc]progress: simplifying candidates 1546854181.627 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546854181.627 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546854181.627 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1546854181.627 * * [misc]simplify: iters left: 2 (3 enodes) 1546854181.628 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1546854181.628 * [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))))))) 1546854181.628 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546854181.628 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1546854181.628 * * [misc]simplify: iters left: 2 (3 enodes) 1546854181.629 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1546854181.629 * [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))))))) 1546854181.629 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546854181.629 * [enter]simplify: Simplifying (sqrt PI) 1546854181.629 * * [misc]simplify: iters left: 1 (2 enodes) 1546854181.629 * [exit]simplify: Simplified to (sqrt PI) 1546854181.629 * [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)))))) 1546854181.629 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546854181.629 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546854181.629 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546854181.629 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546854181.630 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546854181.631 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546854181.631 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546854181.631 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546854181.631 * * [misc]simplify: iters left: 2 (3 enodes) 1546854181.631 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546854181.631 * [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)))))) 1546854181.631 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546854181.632 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546854181.632 * * [misc]simplify: iters left: 2 (3 enodes) 1546854181.632 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546854181.632 * [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)))))) 1546854181.632 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546854181.632 * [enter]simplify: Simplifying (fabs x) 1546854181.632 * * [misc]simplify: iters left: 1 (2 enodes) 1546854181.633 * [exit]simplify: Simplified to (fabs x) 1546854181.633 * [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)))))) 1546854181.633 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546854181.633 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546854181.633 * [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))))) 1546854181.633 * * [misc]simplify: iters left: 6 (23 enodes) 1546854181.638 * * [misc]simplify: iters left: 5 (43 enodes) 1546854181.646 * * [misc]simplify: iters left: 4 (80 enodes) 1546854181.664 * * [misc]simplify: iters left: 3 (187 enodes) 1546854181.752 * * [misc]simplify: iters left: 2 (476 enodes) 1546854182.090 * [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))))) 1546854182.090 * [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)))))) 1546854182.090 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546854182.090 * [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))))) 1546854182.090 * * [misc]simplify: iters left: 6 (23 enodes) 1546854182.099 * * [misc]simplify: iters left: 5 (43 enodes) 1546854182.113 * * [misc]simplify: iters left: 4 (80 enodes) 1546854182.145 * * [misc]simplify: iters left: 3 (187 enodes) 1546854182.239 * * [misc]simplify: iters left: 2 (476 enodes) 1546854182.649 * [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))))) 1546854182.649 * [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)))))) 1546854182.649 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546854182.649 * [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))))) 1546854182.650 * * [misc]simplify: iters left: 6 (23 enodes) 1546854182.658 * * [misc]simplify: iters left: 5 (43 enodes) 1546854182.671 * * [misc]simplify: iters left: 4 (80 enodes) 1546854182.704 * * [misc]simplify: iters left: 3 (187 enodes) 1546854182.807 * * [misc]simplify: iters left: 2 (476 enodes) 1546854183.238 * [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))))) 1546854183.238 * [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)))))) 1546854183.238 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546854183.238 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854183.238 * * [misc]simplify: iters left: 3 (4 enodes) 1546854183.239 * * [misc]simplify: iters left: 2 (5 enodes) 1546854183.240 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854183.240 * [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)))))) 1546854183.240 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546854183.240 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854183.240 * * [misc]simplify: iters left: 3 (4 enodes) 1546854183.240 * * [misc]simplify: iters left: 2 (5 enodes) 1546854183.241 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854183.241 * [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)))))) 1546854183.241 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546854183.241 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854183.241 * * [misc]simplify: iters left: 3 (4 enodes) 1546854183.242 * * [misc]simplify: iters left: 2 (5 enodes) 1546854183.243 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854183.243 * [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)))))) 1546854183.243 * * * [misc]progress: adding candidates to table 1546854184.249 * * [misc]progress: iteration 4 / 4 1546854184.249 * * * [misc]progress: picking best candidate 1546854184.277 * * * * [misc]pick: Picked # 1546854184.277 * * * [misc]progress: localizing error 1546854184.281 * * * [misc]progress: generating rewritten candidates 1546854184.281 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2) 1546854184.282 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 2 2) 1546854184.283 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546854184.283 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 3) 1546854184.286 * * * [misc]progress: generating series expansions 1546854184.286 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2) 1546854184.286 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 2 2) 1546854184.286 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546854184.286 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 3) 1546854184.286 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854184.286 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1546854184.286 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854184.286 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854184.286 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854184.286 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854184.286 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854184.286 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1546854184.286 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854184.286 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854184.286 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1546854184.287 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1546854184.287 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854184.287 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854184.287 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1546854184.287 * [misc]backup-simplify: Simplify 0 into 0 1546854184.288 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1546854184.288 * [misc]backup-simplify: Simplify 0 into 0 1546854184.288 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1546854184.288 * [misc]backup-simplify: Simplify 0 into 0 1546854184.289 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1546854184.289 * [misc]backup-simplify: Simplify 0 into 0 1546854184.290 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1546854184.290 * [misc]backup-simplify: Simplify 0 into 0 1546854184.291 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1546854184.291 * [misc]backup-simplify: Simplify 0 into 0 1546854184.291 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1546854184.291 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854184.291 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1546854184.291 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854184.291 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854184.291 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854184.291 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854184.291 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854184.291 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1546854184.291 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854184.291 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854184.291 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1546854184.291 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1546854184.291 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854184.291 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1546854184.292 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1546854184.292 * [misc]backup-simplify: Simplify 0 into 0 1546854184.292 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1546854184.292 * [misc]backup-simplify: Simplify 0 into 0 1546854184.293 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1546854184.293 * [misc]backup-simplify: Simplify 0 into 0 1546854184.293 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1546854184.293 * [misc]backup-simplify: Simplify 0 into 0 1546854184.294 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1546854184.294 * [misc]backup-simplify: Simplify 0 into 0 1546854184.295 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1546854184.295 * [misc]backup-simplify: Simplify 0 into 0 1546854184.295 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1546854184.295 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1546854184.295 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1546854184.295 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854184.296 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854184.296 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854184.296 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854184.296 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854184.296 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1546854184.296 * [misc]taylor: Taking taylor expansion of 2/3 in x 1546854184.296 * [misc]backup-simplify: Simplify 2/3 into 2/3 1546854184.296 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1546854184.296 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1546854184.296 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854184.296 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1546854184.296 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1546854184.296 * [misc]backup-simplify: Simplify 0 into 0 1546854184.297 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1546854184.297 * [misc]backup-simplify: Simplify 0 into 0 1546854184.297 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1546854184.297 * [misc]backup-simplify: Simplify 0 into 0 1546854184.298 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1546854184.298 * [misc]backup-simplify: Simplify 0 into 0 1546854184.299 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1546854184.299 * [misc]backup-simplify: Simplify 0 into 0 1546854184.300 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1546854184.300 * [misc]backup-simplify: Simplify 0 into 0 1546854184.300 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1546854184.300 * * * [misc]progress: simplifying candidates 1546854184.300 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1546854184.300 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1546854184.301 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1546854184.302 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1546854184.302 * * [misc]simplify: iters left: 2 (3 enodes) 1546854184.303 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1546854184.303 * [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))))))) 1546854184.303 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1546854184.303 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1546854184.303 * * [misc]simplify: iters left: 2 (3 enodes) 1546854184.304 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1546854184.304 * [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))))))) 1546854184.304 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1546854184.304 * [enter]simplify: Simplifying (sqrt PI) 1546854184.304 * * [misc]simplify: iters left: 1 (2 enodes) 1546854184.305 * [exit]simplify: Simplified to (sqrt PI) 1546854184.305 * [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)))))) 1546854184.305 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1546854184.305 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1546854184.305 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1546854184.305 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1546854184.305 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1546854184.305 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1546854184.306 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1546854184.307 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1546854184.307 * [enter]simplify: Simplifying (cbrt (fabs x)) 1546854184.308 * * [misc]simplify: iters left: 2 (3 enodes) 1546854184.308 * [exit]simplify: Simplified to (cbrt (fabs x)) 1546854184.308 * [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)))))) 1546854184.309 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1546854184.309 * [enter]simplify: Simplifying (sqrt (fabs x)) 1546854184.309 * * [misc]simplify: iters left: 2 (3 enodes) 1546854184.310 * [exit]simplify: Simplified to (sqrt (fabs x)) 1546854184.310 * [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)))))) 1546854184.310 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1546854184.310 * [enter]simplify: Simplifying (fabs x) 1546854184.310 * * [misc]simplify: iters left: 1 (2 enodes) 1546854184.311 * [exit]simplify: Simplified to (fabs x) 1546854184.311 * [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)))))) 1546854184.311 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1546854184.311 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1546854184.311 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854184.311 * * [misc]simplify: iters left: 3 (4 enodes) 1546854184.312 * * [misc]simplify: iters left: 2 (5 enodes) 1546854184.314 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854184.314 * [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)))))) 1546854184.314 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1546854184.314 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854184.314 * * [misc]simplify: iters left: 3 (4 enodes) 1546854184.316 * * [misc]simplify: iters left: 2 (5 enodes) 1546854184.317 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854184.317 * [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)))))) 1546854184.317 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1546854184.317 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854184.318 * * [misc]simplify: iters left: 3 (4 enodes) 1546854184.319 * * [misc]simplify: iters left: 2 (5 enodes) 1546854184.320 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854184.320 * [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)))))) 1546854184.320 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1546854184.321 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854184.321 * * [misc]simplify: iters left: 3 (4 enodes) 1546854184.322 * * [misc]simplify: iters left: 2 (5 enodes) 1546854184.323 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854184.323 * [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)))))) 1546854184.324 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1546854184.324 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854184.324 * * [misc]simplify: iters left: 3 (4 enodes) 1546854184.325 * * [misc]simplify: iters left: 2 (5 enodes) 1546854184.327 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854184.327 * [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)))))) 1546854184.327 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1546854184.327 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1546854184.327 * * [misc]simplify: iters left: 3 (4 enodes) 1546854184.328 * * [misc]simplify: iters left: 2 (5 enodes) 1546854184.330 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1546854184.330 * [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)))))) 1546854184.330 * * * [misc]progress: adding candidates to table 1546854185.278 * [misc]progress: [Phase 3 of 3] Extracting. 1546854185.278 * * [misc]regime: Finding splitpoints for: (# # # #) 1546854185.280 * * * [misc]regime-changes: Trying 5 branch expressions: (x (fabs x) (+ (+ (+ (* 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)))) (* (/ 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))))) (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))))))) 1546854185.280 * * * * [misc]regimes: Trying to branch on x from (# # # #) 1546854185.339 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # #) 1546854185.411 * * * * [misc]regimes: Trying to branch on (+ (+ (+ (* 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)))) from (# # # #) 1546854185.465 * * * * [misc]regimes: Trying to branch on (* (/ 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))))) from (# # # #) 1546854185.539 * * * * [misc]regimes: Trying to branch on (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)))))) from (# # # #) 1546854185.605 * * * [misc]regime: Found split indices: #