1540367285.983 * [misc]progress: [Phase 1 of 3] Setting up. 1540367285.983 * * * [misc]progress: [1/2] Preparing points 1540367285.984 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540367285.984 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540367285.990 * * * * [misc]points: Setting MPFR precision to 64 1540367285.991 * * * * [misc]points: Setting MPFR precision to 320 1540367285.991 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540367285.999 * * * * [misc]points: Setting MPFR precision to 64 1540367286.000 * * * * [misc]points: Setting MPFR precision to 320 1540367286.007 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540367286.023 * * * * [misc]points: Setting MPFR precision to 64 1540367286.028 * * * * [misc]points: Setting MPFR precision to 320 1540367286.033 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540367286.047 * * * * [misc]points: Setting MPFR precision to 64 1540367286.055 * * * * [misc]points: Setting MPFR precision to 320 1540367286.064 * * * * [misc]points: Computing exacts for 256 points 1540367286.079 * * * * [misc]points: Setting MPFR precision to 64 1540367286.099 * * * * [misc]points: Setting MPFR precision to 320 1540367286.111 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367286.111 * * * * [misc]points: Sampling 107 additional inputs, on iter 1 have 149 / 256 1540367286.111 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1540367286.119 * * * * [misc]points: Setting MPFR precision to 64 1540367286.119 * * * * [misc]points: Setting MPFR precision to 320 1540367286.120 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1540367286.159 * * * * [misc]points: Setting MPFR precision to 64 1540367286.166 * * * * [misc]points: Setting MPFR precision to 320 1540367286.169 * * * * [misc]points: Computing exacts for 107 points 1540367286.184 * * * * [misc]points: Setting MPFR precision to 64 1540367286.194 * * * * [misc]points: Setting MPFR precision to 320 1540367286.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367286.205 * * * * [misc]points: Sampling 45 additional inputs, on iter 2 have 211 / 256 1540367286.205 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1540367286.220 * * * * [misc]points: Setting MPFR precision to 64 1540367286.222 * * * * [misc]points: Setting MPFR precision to 320 1540367286.223 * * * * [misc]points: Computing exacts for 45 points 1540367286.230 * * * * [misc]points: Setting MPFR precision to 64 1540367286.233 * * * * [misc]points: Setting MPFR precision to 320 1540367286.235 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367286.235 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1540367286.235 * * * * [misc]points: Computing exacts for 20 points 1540367286.243 * * * * [misc]points: Setting MPFR precision to 64 1540367286.244 * * * * [misc]points: Setting MPFR precision to 320 1540367286.245 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367286.245 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1540367286.245 * * * * [misc]points: Computing exacts for 11 points 1540367286.252 * * * * [misc]points: Setting MPFR precision to 64 1540367286.253 * * * * [misc]points: Setting MPFR precision to 320 1540367286.253 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367286.253 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1540367286.253 * * * * [misc]points: Computing exacts for 5 points 1540367286.273 * * * * [misc]points: Setting MPFR precision to 64 1540367286.273 * * * * [misc]points: Setting MPFR precision to 320 1540367286.274 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367286.274 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1540367286.274 * * * * [misc]points: Computing exacts for 4 points 1540367286.282 * * * * [misc]points: Setting MPFR precision to 64 1540367286.283 * * * * [misc]points: Setting MPFR precision to 320 1540367286.283 * * * * [misc]points: Filtering points with unrepresentable outputs 1540367286.283 * * * * [exit]points: Sampled 256 points with exact outputs 1540367286.283 * * * [misc]progress: [2/2] Setting up program. 1540367286.288 * [misc]progress: [Phase 2 of 3] Improving. 1540367286.288 * [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)))))) 1540367286.289 * * [misc]simplify: iters left: 6 (28 enodes) 1540367286.294 * * [misc]simplify: iters left: 5 (74 enodes) 1540367286.317 * * [misc]simplify: iters left: 4 (240 enodes) 1540367286.549 * [exit]simplify: Simplified to (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1540367286.570 * * [misc]progress: iteration 1 / 4 1540367286.570 * * * [misc]progress: picking best candidate 1540367286.588 * * * * [misc]pick: Picked # 1540367286.589 * * * [misc]progress: localizing error 1540367286.656 * * * [misc]progress: generating rewritten candidates 1540367286.656 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1540367286.657 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 2) 1540367286.860 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1540367286.896 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1540367286.920 * * * [misc]progress: generating series expansions 1540367286.920 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1540367286.920 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 2) 1540367286.920 * [misc]backup-simplify: Simplify (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) into (* 1/5 (pow (fabs x) 5)) 1540367286.920 * [misc]approximate: Taking taylor expansion of (* 1/5 (pow (fabs x) 5)) in (x) around 0 1540367286.920 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs x) 5)) in x 1540367286.920 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367286.920 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367286.920 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 5) in x 1540367286.920 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367286.922 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367286.922 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs x) 5)) in x 1540367286.922 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367286.922 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367286.922 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 5) in x 1540367286.922 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367286.922 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367286.922 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1540367286.922 * [misc]backup-simplify: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 1540367286.922 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5) 1540367286.922 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs x) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367286.922 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs x) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367286.923 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1540367286.923 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 1540367286.923 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0 1540367286.923 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (pow (fabs x) 5))) into 0 1540367286.923 * [misc]backup-simplify: Simplify 0 into 0 1540367286.923 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1540367286.923 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1540367286.924 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))) into 0 1540367286.924 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))) into 0 1540367286.924 * [misc]backup-simplify: Simplify 0 into 0 1540367286.924 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1540367286.925 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1540367286.925 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))) into 0 1540367286.925 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))) into 0 1540367286.925 * [misc]backup-simplify: Simplify 0 into 0 1540367286.926 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1540367286.926 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1540367286.926 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))) into 0 1540367286.927 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))) into 0 1540367286.927 * [misc]backup-simplify: Simplify 0 into 0 1540367286.927 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1540367286.927 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1540367286.928 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))))) into 0 1540367286.928 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))))) into 0 1540367286.928 * [misc]backup-simplify: Simplify 0 into 0 1540367286.929 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1540367286.929 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1540367286.930 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))))) into 0 1540367286.930 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))))) into 0 1540367286.930 * [misc]backup-simplify: Simplify 0 into 0 1540367286.930 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs x) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367286.931 * [misc]backup-simplify: Simplify (* (/ 1 5) (* (* (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 1/5 (pow (fabs (/ 1 x)) 5)) 1540367286.931 * [misc]approximate: Taking taylor expansion of (* 1/5 (pow (fabs (/ 1 x)) 5)) in (x) around 0 1540367286.931 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ 1 x)) 5)) in x 1540367286.931 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367286.931 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367286.931 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1540367286.931 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367286.931 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367286.931 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ 1 x)) 5)) in x 1540367286.931 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367286.931 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367286.931 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1540367286.931 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367286.931 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367286.931 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1540367286.931 * [misc]backup-simplify: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 1540367286.931 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5) 1540367286.931 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ 1 x)) 5)) into (* 1/5 (pow (fabs (/ 1 x)) 5)) 1540367286.932 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ 1 x)) 5)) into (* 1/5 (pow (fabs (/ 1 x)) 5)) 1540367286.932 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1540367286.932 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1540367286.932 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 1540367286.935 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (pow (fabs (/ 1 x)) 5))) into 0 1540367286.935 * [misc]backup-simplify: Simplify 0 into 0 1540367286.936 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1540367286.936 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1540367286.936 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))) into 0 1540367286.936 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))) into 0 1540367286.936 * [misc]backup-simplify: Simplify 0 into 0 1540367286.937 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1540367286.937 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1540367286.937 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))) into 0 1540367286.937 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))) into 0 1540367286.938 * [misc]backup-simplify: Simplify 0 into 0 1540367286.938 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1540367286.938 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1540367286.939 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))) into 0 1540367286.939 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))) into 0 1540367286.939 * [misc]backup-simplify: Simplify 0 into 0 1540367286.939 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1540367286.940 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1540367286.940 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))))) into 0 1540367286.941 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))))) into 0 1540367286.941 * [misc]backup-simplify: Simplify 0 into 0 1540367286.941 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1540367286.942 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540367286.942 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))))) into 0 1540367286.943 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))))) into 0 1540367286.943 * [misc]backup-simplify: Simplify 0 into 0 1540367286.943 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ 1 (/ 1 x))) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367286.943 * [misc]backup-simplify: Simplify (* (/ 1 5) (* (* (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 1/5 (pow (fabs (/ -1 x)) 5)) 1540367286.943 * [misc]approximate: Taking taylor expansion of (* 1/5 (pow (fabs (/ -1 x)) 5)) in (x) around 0 1540367286.943 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ -1 x)) 5)) in x 1540367286.943 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367286.943 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367286.943 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1540367286.944 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367286.944 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367286.944 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ -1 x)) 5)) in x 1540367286.944 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367286.944 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367286.944 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1540367286.944 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367286.944 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367286.944 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1540367286.944 * [misc]backup-simplify: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 1540367286.944 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5) 1540367286.944 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ -1 x)) 5)) into (* 1/5 (pow (fabs (/ -1 x)) 5)) 1540367286.944 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ -1 x)) 5)) into (* 1/5 (pow (fabs (/ -1 x)) 5)) 1540367286.944 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1540367286.944 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1540367286.945 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 1540367286.945 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (pow (fabs (/ -1 x)) 5))) into 0 1540367286.945 * [misc]backup-simplify: Simplify 0 into 0 1540367286.945 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1540367286.945 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1540367286.945 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))) into 0 1540367286.946 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))) into 0 1540367286.946 * [misc]backup-simplify: Simplify 0 into 0 1540367286.946 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1540367286.946 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1540367286.946 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))) into 0 1540367286.947 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))) into 0 1540367286.947 * [misc]backup-simplify: Simplify 0 into 0 1540367286.947 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1540367286.948 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1540367286.948 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))) into 0 1540367286.949 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))) into 0 1540367286.949 * [misc]backup-simplify: Simplify 0 into 0 1540367286.950 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1540367286.951 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1540367286.951 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))))) into 0 1540367286.952 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))))) into 0 1540367286.952 * [misc]backup-simplify: Simplify 0 into 0 1540367286.953 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1540367286.954 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540367286.955 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))))) into 0 1540367286.956 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))))) into 0 1540367286.956 * [misc]backup-simplify: Simplify 0 into 0 1540367286.956 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ -1 (/ 1 (- x)))) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367286.956 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 1540367286.956 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) into (* 2/3 (pow (fabs x) 3)) 1540367286.957 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in (x) around 0 1540367286.957 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 1540367286.957 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367286.957 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367286.957 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367286.957 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367286.957 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367286.957 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 1540367286.957 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367286.957 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367286.957 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367286.957 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367286.957 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367286.957 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1540367286.957 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1540367286.957 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367286.957 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367286.958 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1540367286.958 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1540367286.958 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs x) 3))) into 0 1540367286.958 * [misc]backup-simplify: Simplify 0 into 0 1540367286.958 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1540367286.959 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1540367286.959 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 1540367286.959 * [misc]backup-simplify: Simplify 0 into 0 1540367286.959 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1540367286.960 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1540367286.960 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 1540367286.960 * [misc]backup-simplify: Simplify 0 into 0 1540367286.961 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1540367286.961 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1540367286.962 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 1540367286.962 * [misc]backup-simplify: Simplify 0 into 0 1540367286.963 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1540367286.964 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1540367286.964 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 1540367286.964 * [misc]backup-simplify: Simplify 0 into 0 1540367286.965 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1540367286.966 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1540367286.967 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 1540367286.967 * [misc]backup-simplify: Simplify 0 into 0 1540367286.967 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367286.968 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1540367286.968 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1540367286.968 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 1540367286.968 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367286.968 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367286.968 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367286.968 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367286.968 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367286.968 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 1540367286.968 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367286.968 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367286.968 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367286.968 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367286.968 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367286.968 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1540367286.968 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1540367286.969 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1540367286.969 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1540367286.969 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1540367286.969 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1540367286.969 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 1540367286.969 * [misc]backup-simplify: Simplify 0 into 0 1540367286.970 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1540367286.970 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1540367286.970 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 1540367286.970 * [misc]backup-simplify: Simplify 0 into 0 1540367286.971 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1540367286.971 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1540367286.972 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 1540367286.972 * [misc]backup-simplify: Simplify 0 into 0 1540367286.973 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1540367286.973 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1540367286.974 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 1540367286.974 * [misc]backup-simplify: Simplify 0 into 0 1540367286.975 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1540367286.976 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1540367286.976 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 1540367286.977 * [misc]backup-simplify: Simplify 0 into 0 1540367286.977 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1540367286.978 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540367286.979 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 1540367286.979 * [misc]backup-simplify: Simplify 0 into 0 1540367286.979 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367286.980 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1540367286.980 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1540367286.980 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 1540367286.980 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367286.980 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367286.980 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367286.980 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367286.980 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367286.980 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 1540367286.980 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367286.980 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367286.980 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367286.980 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367286.980 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367286.981 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1540367286.981 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1540367286.981 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1540367286.981 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1540367286.981 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1540367286.981 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1540367286.982 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 1540367286.982 * [misc]backup-simplify: Simplify 0 into 0 1540367286.982 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1540367286.982 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1540367286.983 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 1540367286.983 * [misc]backup-simplify: Simplify 0 into 0 1540367286.983 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1540367286.984 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1540367286.984 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 1540367286.984 * [misc]backup-simplify: Simplify 0 into 0 1540367286.985 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1540367286.986 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1540367286.986 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 1540367286.986 * [misc]backup-simplify: Simplify 0 into 0 1540367286.987 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1540367286.988 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1540367286.988 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 1540367286.989 * [misc]backup-simplify: Simplify 0 into 0 1540367286.989 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1540367286.990 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540367286.991 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 1540367286.991 * [misc]backup-simplify: Simplify 0 into 0 1540367286.991 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367286.991 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1540367286.992 * [misc]backup-simplify: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 1540367286.992 * [misc]approximate: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1540367286.992 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367286.992 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367286.992 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367286.992 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367286.992 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367286.992 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367286.992 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1540367286.992 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1540367286.992 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1540367286.992 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1540367286.992 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1540367286.992 * [misc]backup-simplify: Simplify 0 into 0 1540367286.993 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1540367286.993 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1540367286.993 * [misc]backup-simplify: Simplify 0 into 0 1540367286.994 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1540367286.994 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1540367286.994 * [misc]backup-simplify: Simplify 0 into 0 1540367286.995 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1540367286.995 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1540367286.995 * [misc]backup-simplify: Simplify 0 into 0 1540367286.996 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1540367286.996 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1540367286.997 * [misc]backup-simplify: Simplify 0 into 0 1540367286.997 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1540367286.998 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1540367286.998 * [misc]backup-simplify: Simplify 0 into 0 1540367286.998 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1540367286.998 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 1540367286.999 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1540367286.999 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367286.999 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367286.999 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367286.999 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367286.999 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367286.999 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367286.999 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1540367286.999 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1540367286.999 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 1540367286.999 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1540367287.000 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1540367287.000 * [misc]backup-simplify: Simplify 0 into 0 1540367287.000 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1540367287.000 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1540367287.000 * [misc]backup-simplify: Simplify 0 into 0 1540367287.001 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1540367287.001 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1540367287.001 * [misc]backup-simplify: Simplify 0 into 0 1540367287.002 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1540367287.003 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1540367287.003 * [misc]backup-simplify: Simplify 0 into 0 1540367287.003 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1540367287.004 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1540367287.004 * [misc]backup-simplify: Simplify 0 into 0 1540367287.005 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1540367287.006 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540367287.006 * [misc]backup-simplify: Simplify 0 into 0 1540367287.006 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 1540367287.006 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 1540367287.006 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1540367287.006 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367287.006 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367287.006 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367287.006 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367287.006 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367287.007 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367287.007 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1540367287.007 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1540367287.007 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 1540367287.007 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1540367287.007 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1540367287.007 * [misc]backup-simplify: Simplify 0 into 0 1540367287.008 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1540367287.008 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1540367287.008 * [misc]backup-simplify: Simplify 0 into 0 1540367287.009 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1540367287.009 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1540367287.009 * [misc]backup-simplify: Simplify 0 into 0 1540367287.010 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1540367287.010 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1540367287.010 * [misc]backup-simplify: Simplify 0 into 0 1540367287.011 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1540367287.012 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1540367287.012 * [misc]backup-simplify: Simplify 0 into 0 1540367287.013 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1540367287.014 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540367287.014 * [misc]backup-simplify: Simplify 0 into 0 1540367287.014 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 1540367287.014 * * * [misc]progress: simplifying candidates 1540367287.014 * * * * [misc]progress: [ 1 / 95 ] simplifiying candidate # 1540367287.014 * * * * [misc]progress: [ 2 / 95 ] simplifiying candidate # 1540367287.014 * * * * [misc]progress: [ 3 / 95 ] simplifiying candidate # 1540367287.014 * * * * [misc]progress: [ 4 / 95 ] simplifiying candidate # 1540367287.014 * * * * [misc]progress: [ 5 / 95 ] simplifiying candidate # 1540367287.014 * * * * [misc]progress: [ 6 / 95 ] simplifiying candidate # 1540367287.014 * * * * [misc]progress: [ 7 / 95 ] simplifiying candidate # 1540367287.015 * * * * [misc]progress: [ 8 / 95 ] simplifiying candidate # 1540367287.015 * * * * [misc]progress: [ 9 / 95 ] simplifiying candidate # 1540367287.015 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367287.015 * * [misc]simplify: iters left: 6 (10 enodes) 1540367287.019 * * [misc]simplify: iters left: 5 (23 enodes) 1540367287.027 * * [misc]simplify: iters left: 4 (55 enodes) 1540367287.053 * * [misc]simplify: iters left: 3 (177 enodes) 1540367287.131 * * [misc]simplify: iters left: 2 (400 enodes) 1540367287.356 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367287.356 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367287.356 * * * * [misc]progress: [ 10 / 95 ] simplifiying candidate # 1540367287.356 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367287.356 * * [misc]simplify: iters left: 6 (10 enodes) 1540367287.359 * * [misc]simplify: iters left: 5 (23 enodes) 1540367287.365 * * [misc]simplify: iters left: 4 (55 enodes) 1540367287.393 * * [misc]simplify: iters left: 3 (177 enodes) 1540367287.457 * * [misc]simplify: iters left: 2 (400 enodes) 1540367287.690 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367287.690 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367287.690 * * * * [misc]progress: [ 11 / 95 ] simplifiying candidate # 1540367287.690 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367287.690 * * [misc]simplify: iters left: 6 (10 enodes) 1540367287.692 * * [misc]simplify: iters left: 5 (23 enodes) 1540367287.696 * * [misc]simplify: iters left: 4 (55 enodes) 1540367287.713 * * [misc]simplify: iters left: 3 (177 enodes) 1540367287.804 * * [misc]simplify: iters left: 2 (400 enodes) 1540367288.053 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367288.053 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367288.053 * * * * [misc]progress: [ 12 / 95 ] simplifiying candidate # 1540367288.053 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367288.053 * * [misc]simplify: iters left: 6 (10 enodes) 1540367288.056 * * [misc]simplify: iters left: 5 (23 enodes) 1540367288.060 * * [misc]simplify: iters left: 4 (55 enodes) 1540367288.075 * * [misc]simplify: iters left: 3 (177 enodes) 1540367288.150 * * [misc]simplify: iters left: 2 (400 enodes) 1540367288.425 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367288.425 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367288.425 * * * * [misc]progress: [ 13 / 95 ] simplifiying candidate # 1540367288.425 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367288.425 * * [misc]simplify: iters left: 6 (10 enodes) 1540367288.428 * * [misc]simplify: iters left: 5 (23 enodes) 1540367288.435 * * [misc]simplify: iters left: 4 (55 enodes) 1540367288.467 * * [misc]simplify: iters left: 3 (177 enodes) 1540367288.586 * * [misc]simplify: iters left: 2 (400 enodes) 1540367288.847 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367288.847 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367288.847 * * * * [misc]progress: [ 14 / 95 ] simplifiying candidate # 1540367288.848 * * * * [misc]progress: [ 15 / 95 ] simplifiying candidate # 1540367288.848 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) 1540367288.848 * * [misc]simplify: iters left: 6 (12 enodes) 1540367288.854 * * [misc]simplify: iters left: 5 (27 enodes) 1540367288.862 * * [misc]simplify: iters left: 4 (43 enodes) 1540367288.879 * * [misc]simplify: iters left: 3 (98 enodes) 1540367288.922 * * [misc]simplify: iters left: 2 (314 enodes) 1540367289.445 * [exit]simplify: Simplified to (+ (+ (log 1/5) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) 1540367289.445 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (+ (+ (log 1/5) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367289.445 * * * * [misc]progress: [ 16 / 95 ] simplifiying candidate # 1540367289.445 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) 1540367289.446 * * [misc]simplify: iters left: 6 (13 enodes) 1540367289.452 * * [misc]simplify: iters left: 5 (29 enodes) 1540367289.460 * * [misc]simplify: iters left: 4 (45 enodes) 1540367289.478 * * [misc]simplify: iters left: 3 (100 enodes) 1540367289.520 * * [misc]simplify: iters left: 2 (258 enodes) 1540367289.849 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log (fabs x))) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log 1/5) (log (fabs x))))) 1540367289.849 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (+ (+ (log (fabs x)) (log (fabs x))) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log 1/5) (log (fabs x))))))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367289.849 * * * * [misc]progress: [ 17 / 95 ] simplifiying candidate # 1540367289.850 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) 1540367289.850 * * [misc]simplify: iters left: 6 (13 enodes) 1540367289.853 * * [misc]simplify: iters left: 5 (30 enodes) 1540367289.857 * * [misc]simplify: iters left: 4 (46 enodes) 1540367289.865 * * [misc]simplify: iters left: 3 (95 enodes) 1540367289.905 * * [misc]simplify: iters left: 2 (278 enodes) 1540367290.205 * [exit]simplify: Simplified to (+ (* 4 (log (fabs x))) (+ (log 1/5) (log (fabs x)))) 1540367290.205 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (+ (* 4 (log (fabs x))) (+ (log 1/5) (log (fabs x)))))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367290.205 * * * * [misc]progress: [ 18 / 95 ] simplifiying candidate # 1540367290.205 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) 1540367290.205 * * [misc]simplify: iters left: 6 (13 enodes) 1540367290.211 * * [misc]simplify: iters left: 5 (29 enodes) 1540367290.220 * * [misc]simplify: iters left: 4 (47 enodes) 1540367290.235 * * [misc]simplify: iters left: 3 (87 enodes) 1540367290.266 * * [misc]simplify: iters left: 2 (270 enodes) 1540367290.554 * [exit]simplify: Simplified to (- (* 5 (log (fabs x))) (log 5)) 1540367290.554 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (- (* 5 (log (fabs x))) (log 5)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367290.554 * * * * [misc]progress: [ 19 / 95 ] simplifiying candidate # 1540367290.554 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 1540367290.555 * * [misc]simplify: iters left: 6 (12 enodes) 1540367290.558 * * [misc]simplify: iters left: 5 (28 enodes) 1540367290.562 * * [misc]simplify: iters left: 4 (42 enodes) 1540367290.573 * * [misc]simplify: iters left: 3 (79 enodes) 1540367290.602 * * [misc]simplify: iters left: 2 (205 enodes) 1540367290.801 * * [misc]simplify: iters left: 1 (478 enodes) 1540367290.923 * [exit]simplify: Simplified to (- (* 5 (log (fabs x))) (log 5)) 1540367290.923 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (- (* 5 (log (fabs x))) (log 5)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367290.923 * * * * [misc]progress: [ 20 / 95 ] simplifiying candidate # 1540367290.923 * * * * [misc]progress: [ 21 / 95 ] simplifiying candidate # 1540367290.923 * * * * [misc]progress: [ 22 / 95 ] simplifiying candidate # 1540367290.924 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367290.924 * * [misc]simplify: iters left: 6 (14 enodes) 1540367290.934 * * [misc]simplify: iters left: 5 (47 enodes) 1540367290.951 * * [misc]simplify: iters left: 4 (138 enodes) 1540367291.027 * * [misc]simplify: iters left: 3 (458 enodes) 1540367291.440 * [exit]simplify: Simplified to (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))) 1540367291.440 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367291.440 * * * * [misc]progress: [ 23 / 95 ] simplifiying candidate # 1540367291.441 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367291.441 * * [misc]simplify: iters left: 6 (15 enodes) 1540367291.446 * * [misc]simplify: iters left: 5 (52 enodes) 1540367291.456 * * [misc]simplify: iters left: 4 (147 enodes) 1540367291.541 * * [misc]simplify: iters left: 3 (475 enodes) 1540367292.079 * [exit]simplify: Simplified to (* (pow (pow (fabs x) 5) 3) 1/125) 1540367292.079 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (pow (pow (fabs x) 5) 3) 1/125))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367292.079 * * * * [misc]progress: [ 24 / 95 ] simplifiying candidate # 1540367292.079 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367292.080 * * [misc]simplify: iters left: 6 (14 enodes) 1540367292.085 * * [misc]simplify: iters left: 5 (47 enodes) 1540367292.094 * * [misc]simplify: iters left: 4 (138 enodes) 1540367292.163 * * [misc]simplify: iters left: 3 (458 enodes) 1540367292.572 * [exit]simplify: Simplified to (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))) 1540367292.572 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367292.572 * * * * [misc]progress: [ 25 / 95 ] simplifiying candidate # 1540367292.572 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367292.572 * * [misc]simplify: iters left: 6 (14 enodes) 1540367292.577 * * [misc]simplify: iters left: 5 (45 enodes) 1540367292.585 * * [misc]simplify: iters left: 4 (131 enodes) 1540367292.640 * * [misc]simplify: iters left: 3 (467 enodes) 1540367293.065 * [exit]simplify: Simplified to (* (* (pow (fabs x) 5) (pow (fabs x) 5)) (* (pow (fabs x) 5) 1/125)) 1540367293.065 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (pow (fabs x) 5) (pow (fabs x) 5)) (* (pow (fabs x) 5) 1/125)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367293.065 * * * * [misc]progress: [ 26 / 95 ] simplifiying candidate # 1540367293.065 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 1540367293.065 * * [misc]simplify: iters left: 6 (14 enodes) 1540367293.071 * * [misc]simplify: iters left: 5 (43 enodes) 1540367293.078 * * [misc]simplify: iters left: 4 (109 enodes) 1540367293.108 * * [misc]simplify: iters left: 3 (360 enodes) 1540367293.419 * [exit]simplify: Simplified to (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))) 1540367293.419 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367293.420 * * * * [misc]progress: [ 27 / 95 ] simplifiying candidate # 1540367293.420 * * * * [misc]progress: [ 28 / 95 ] simplifiying candidate # 1540367293.420 * * * * [misc]progress: [ 29 / 95 ] simplifiying candidate # 1540367293.420 * * * * [misc]progress: [ 30 / 95 ] simplifiying candidate # 1540367293.420 * * * * [misc]progress: [ 31 / 95 ] simplifiying candidate # 1540367293.420 * [enter]simplify: Simplifying (fabs x) 1540367293.420 * * [misc]simplify: iters left: 1 (2 enodes) 1540367293.420 * [exit]simplify: Simplified to (fabs x) 1540367293.420 * [misc]simplify: Simplified (2 1 2 1 2 2) to (λ (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))))))) 1540367293.420 * * * * [misc]progress: [ 32 / 95 ] simplifiying candidate # 1540367293.421 * [enter]simplify: Simplifying (* (cbrt (/ 1 5)) (cbrt (/ 1 5))) 1540367293.421 * * [misc]simplify: iters left: 5 (5 enodes) 1540367293.422 * * [misc]simplify: iters left: 4 (8 enodes) 1540367293.423 * [exit]simplify: Simplified to (* (cbrt 1/5) (cbrt 1/5)) 1540367293.423 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (cbrt 1/5) (cbrt 1/5)) (* (cbrt (/ 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))))))) 1540367293.423 * * * * [misc]progress: [ 33 / 95 ] simplifiying candidate # 1540367293.424 * [enter]simplify: Simplifying (sqrt (/ 1 5)) 1540367293.424 * * [misc]simplify: iters left: 3 (4 enodes) 1540367293.425 * * [misc]simplify: iters left: 2 (7 enodes) 1540367293.426 * [exit]simplify: Simplified to (sqrt 1/5) 1540367293.426 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (sqrt 1/5) (* (sqrt (/ 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))))))) 1540367293.426 * * * * [misc]progress: [ 34 / 95 ] simplifiying candidate # 1540367293.426 * * * * [misc]progress: [ 35 / 95 ] simplifiying candidate # 1540367293.426 * * * * [misc]progress: [ 36 / 95 ] simplifiying candidate # 1540367293.426 * [enter]simplify: Simplifying (* 1 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367293.426 * * [misc]simplify: iters left: 6 (8 enodes) 1540367293.427 * * [misc]simplify: iters left: 5 (18 enodes) 1540367293.431 * * [misc]simplify: iters left: 4 (37 enodes) 1540367293.437 * * [misc]simplify: iters left: 3 (73 enodes) 1540367293.452 * * [misc]simplify: iters left: 2 (88 enodes) 1540367293.465 * [exit]simplify: Simplified to (pow (fabs x) 5) 1540367293.465 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (/ (pow (fabs x) 5) 5)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367293.465 * * * * [misc]progress: [ 37 / 95 ] simplifiying candidate # 1540367293.465 * * * * [misc]progress: [ 38 / 95 ] simplifiying candidate # 1540367293.465 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1540367293.465 * * [misc]simplify: iters left: 6 (8 enodes) 1540367293.469 * * [misc]simplify: iters left: 5 (15 enodes) 1540367293.473 * * [misc]simplify: iters left: 4 (35 enodes) 1540367293.484 * * [misc]simplify: iters left: 3 (58 enodes) 1540367293.498 * * [misc]simplify: iters left: 2 (76 enodes) 1540367293.514 * * [misc]simplify: iters left: 1 (89 enodes) 1540367293.531 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1540367293.531 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 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))))))) 1540367293.531 * * * * [misc]progress: [ 39 / 95 ] simplifiying candidate # 1540367293.531 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1540367293.531 * * [misc]simplify: iters left: 6 (8 enodes) 1540367293.535 * * [misc]simplify: iters left: 5 (15 enodes) 1540367293.539 * * [misc]simplify: iters left: 4 (35 enodes) 1540367293.549 * * [misc]simplify: iters left: 3 (58 enodes) 1540367293.560 * * [misc]simplify: iters left: 2 (76 enodes) 1540367293.567 * * [misc]simplify: iters left: 1 (89 enodes) 1540367293.576 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1540367293.576 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 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))))))) 1540367293.576 * * * * [misc]progress: [ 40 / 95 ] simplifiying candidate # 1540367293.577 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1540367293.577 * * [misc]simplify: iters left: 6 (8 enodes) 1540367293.579 * * [misc]simplify: iters left: 5 (15 enodes) 1540367293.581 * * [misc]simplify: iters left: 4 (35 enodes) 1540367293.586 * * [misc]simplify: iters left: 3 (58 enodes) 1540367293.600 * * [misc]simplify: iters left: 2 (76 enodes) 1540367293.616 * * [misc]simplify: iters left: 1 (89 enodes) 1540367293.632 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1540367293.632 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 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))))))) 1540367293.632 * * * * [misc]progress: [ 41 / 95 ] simplifiying candidate # 1540367293.633 * * * * [misc]progress: [ 42 / 95 ] simplifiying candidate # 1540367293.633 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) 1540367293.633 * * [misc]simplify: iters left: 6 (10 enodes) 1540367293.638 * * [misc]simplify: iters left: 5 (18 enodes) 1540367293.644 * * [misc]simplify: iters left: 4 (33 enodes) 1540367293.657 * * [misc]simplify: iters left: 3 (70 enodes) 1540367293.682 * * [misc]simplify: iters left: 2 (119 enodes) 1540367293.730 * * [misc]simplify: iters left: 1 (201 enodes) 1540367293.823 * [exit]simplify: Simplified to (+ (+ (log 2/3) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) 1540367293.823 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (+ (log 2/3) (log (fabs x))) (+ (log (fabs x)) (log (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))))))) 1540367293.823 * * * * [misc]progress: [ 43 / 95 ] simplifiying candidate # 1540367293.823 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) 1540367293.824 * * [misc]simplify: iters left: 6 (11 enodes) 1540367293.831 * * [misc]simplify: iters left: 5 (20 enodes) 1540367293.838 * * [misc]simplify: iters left: 4 (35 enodes) 1540367293.850 * * [misc]simplify: iters left: 3 (72 enodes) 1540367293.876 * * [misc]simplify: iters left: 2 (125 enodes) 1540367293.932 * * [misc]simplify: iters left: 1 (193 enodes) 1540367294.002 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log 2/3)) (log (* (fabs x) (fabs x)))) 1540367294.002 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (+ (log (fabs x)) (log 2/3)) (log (* (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))))))) 1540367294.002 * * * * [misc]progress: [ 44 / 95 ] simplifiying candidate # 1540367294.002 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (log (* (* (fabs x) (fabs x)) (fabs x)))) 1540367294.003 * * [misc]simplify: iters left: 6 (10 enodes) 1540367294.007 * * [misc]simplify: iters left: 5 (19 enodes) 1540367294.014 * * [misc]simplify: iters left: 4 (32 enodes) 1540367294.025 * * [misc]simplify: iters left: 3 (62 enodes) 1540367294.043 * * [misc]simplify: iters left: 2 (112 enodes) 1540367294.066 * * [misc]simplify: iters left: 1 (171 enodes) 1540367294.106 * [exit]simplify: Simplified to (+ (log 2/3) (* 3 (log (fabs x)))) 1540367294.107 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (log 2/3) (* 3 (log (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))))))) 1540367294.107 * * * * [misc]progress: [ 45 / 95 ] simplifiying candidate # 1540367294.107 * * * * [misc]progress: [ 46 / 95 ] simplifiying candidate # 1540367294.107 * * * * [misc]progress: [ 47 / 95 ] simplifiying candidate # 1540367294.107 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367294.107 * * [misc]simplify: iters left: 6 (12 enodes) 1540367294.114 * * [misc]simplify: iters left: 5 (36 enodes) 1540367294.127 * * [misc]simplify: iters left: 4 (87 enodes) 1540367294.164 * * [misc]simplify: iters left: 3 (217 enodes) 1540367294.255 * * [misc]simplify: iters left: 2 (497 enodes) 1540367294.663 * [exit]simplify: Simplified to (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))) 1540367294.663 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))))) (* (/ 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))))))) 1540367294.664 * * * * [misc]progress: [ 48 / 95 ] simplifiying candidate # 1540367294.664 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367294.664 * * [misc]simplify: iters left: 6 (13 enodes) 1540367294.673 * * [misc]simplify: iters left: 5 (41 enodes) 1540367294.686 * * [misc]simplify: iters left: 4 (105 enodes) 1540367294.737 * * [misc]simplify: iters left: 3 (299 enodes) 1540367294.914 * [exit]simplify: Simplified to (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (* 8/27 (fabs x))) 1540367294.914 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (* 8/27 (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))))))) 1540367294.914 * * * * [misc]progress: [ 49 / 95 ] simplifiying candidate # 1540367294.914 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367294.914 * * [misc]simplify: iters left: 6 (12 enodes) 1540367294.919 * * [misc]simplify: iters left: 5 (36 enodes) 1540367294.925 * * [misc]simplify: iters left: 4 (87 enodes) 1540367294.954 * * [misc]simplify: iters left: 3 (217 enodes) 1540367295.091 * * [misc]simplify: iters left: 2 (497 enodes) 1540367295.453 * [exit]simplify: Simplified to (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))) 1540367295.453 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))))) (* (/ 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))))))) 1540367295.453 * * * * [misc]progress: [ 50 / 95 ] simplifiying candidate # 1540367295.453 * * * * [misc]progress: [ 51 / 95 ] simplifiying candidate # 1540367295.453 * * * * [misc]progress: [ 52 / 95 ] simplifiying candidate # 1540367295.453 * * * * [misc]progress: [ 53 / 95 ] simplifiying candidate # 1540367295.453 * * * * [misc]progress: [ 54 / 95 ] simplifiying candidate # 1540367295.453 * [enter]simplify: Simplifying (fabs x) 1540367295.453 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.454 * [exit]simplify: Simplified to (fabs x) 1540367295.454 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ (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))))))) 1540367295.454 * * * * [misc]progress: [ 55 / 95 ] simplifiying candidate # 1540367295.454 * [enter]simplify: Simplifying (* (cbrt (/ 2 3)) (cbrt (/ 2 3))) 1540367295.454 * * [misc]simplify: iters left: 5 (5 enodes) 1540367295.456 * * [misc]simplify: iters left: 4 (6 enodes) 1540367295.457 * [exit]simplify: Simplified to (* (cbrt 2/3) (cbrt 2/3)) 1540367295.457 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* (cbrt 2/3) (cbrt 2/3)) (* (cbrt (/ 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))))))) 1540367295.457 * * * * [misc]progress: [ 56 / 95 ] simplifiying candidate # 1540367295.457 * [enter]simplify: Simplifying (sqrt (/ 2 3)) 1540367295.457 * * [misc]simplify: iters left: 3 (4 enodes) 1540367295.458 * * [misc]simplify: iters left: 2 (5 enodes) 1540367295.459 * [exit]simplify: Simplified to (sqrt 2/3) 1540367295.459 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (sqrt 2/3) (* (sqrt (/ 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))))))) 1540367295.459 * * * * [misc]progress: [ 57 / 95 ] simplifiying candidate # 1540367295.459 * * * * [misc]progress: [ 58 / 95 ] simplifiying candidate # 1540367295.459 * * * * [misc]progress: [ 59 / 95 ] simplifiying candidate # 1540367295.459 * [enter]simplify: Simplifying (* 2 (* (* (fabs x) (fabs x)) (fabs x))) 1540367295.459 * * [misc]simplify: iters left: 6 (6 enodes) 1540367295.460 * * [misc]simplify: iters left: 5 (10 enodes) 1540367295.462 * * [misc]simplify: iters left: 4 (19 enodes) 1540367295.464 * * [misc]simplify: iters left: 3 (23 enodes) 1540367295.469 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2 (fabs x))) 1540367295.469 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (/ (* (* (fabs x) (fabs x)) (* 2 (fabs x))) 3)) (* (/ 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))))))) 1540367295.470 * * * * [misc]progress: [ 60 / 95 ] simplifiying candidate # 1540367295.470 * * * * [misc]progress: [ 61 / 95 ] simplifiying candidate # 1540367295.470 * [enter]simplify: Simplifying (fabs x) 1540367295.470 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.470 * [exit]simplify: Simplified to (fabs x) 1540367295.470 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.470 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367295.470 * * [misc]simplify: iters left: 4 (3 enodes) 1540367295.472 * * [misc]simplify: iters left: 3 (8 enodes) 1540367295.473 * [exit]simplify: Simplified to 3 1540367295.473 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.473 * * * * [misc]progress: [ 62 / 95 ] simplifiying candidate # 1540367295.473 * [enter]simplify: Simplifying (fabs x) 1540367295.473 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.473 * [exit]simplify: Simplified to (fabs x) 1540367295.473 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.473 * [enter]simplify: Simplifying (+ 2 1) 1540367295.473 * * [misc]simplify: iters left: 2 (3 enodes) 1540367295.474 * * [misc]simplify: iters left: 1 (7 enodes) 1540367295.475 * [exit]simplify: Simplified to 3 1540367295.475 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.475 * * * * [misc]progress: [ 63 / 95 ] simplifiying candidate # 1540367295.475 * [enter]simplify: Simplifying (fabs x) 1540367295.475 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.475 * [exit]simplify: Simplified to (fabs x) 1540367295.476 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.476 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367295.476 * * [misc]simplify: iters left: 4 (3 enodes) 1540367295.477 * * [misc]simplify: iters left: 3 (8 enodes) 1540367295.478 * [exit]simplify: Simplified to 3 1540367295.478 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.478 * * * * [misc]progress: [ 64 / 95 ] simplifiying candidate # 1540367295.478 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1540367295.478 * * [misc]simplify: iters left: 5 (4 enodes) 1540367295.478 * * [misc]simplify: iters left: 4 (5 enodes) 1540367295.479 * * [misc]simplify: iters left: 3 (7 enodes) 1540367295.481 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367295.481 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.481 * * * * [misc]progress: [ 65 / 95 ] simplifiying candidate # 1540367295.481 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1540367295.482 * * [misc]simplify: iters left: 5 (4 enodes) 1540367295.483 * * [misc]simplify: iters left: 4 (5 enodes) 1540367295.484 * * [misc]simplify: iters left: 3 (7 enodes) 1540367295.486 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367295.486 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.486 * * * * [misc]progress: [ 66 / 95 ] simplifiying candidate # 1540367295.486 * [enter]simplify: Simplifying (fabs x) 1540367295.486 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.487 * [exit]simplify: Simplified to (fabs x) 1540367295.487 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.487 * * * * [misc]progress: [ 67 / 95 ] simplifiying candidate # 1540367295.487 * [enter]simplify: Simplifying (fabs x) 1540367295.487 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.488 * [exit]simplify: Simplified to (fabs x) 1540367295.488 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.488 * * * * [misc]progress: [ 68 / 95 ] simplifiying candidate # 1540367295.488 * [enter]simplify: Simplifying (fabs x) 1540367295.488 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.489 * [exit]simplify: Simplified to (fabs x) 1540367295.489 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.489 * * * * [misc]progress: [ 69 / 95 ] simplifiying candidate # 1540367295.489 * [enter]simplify: Simplifying (fabs x) 1540367295.489 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.490 * [exit]simplify: Simplified to (fabs x) 1540367295.490 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.490 * * * * [misc]progress: [ 70 / 95 ] simplifiying candidate # 1540367295.490 * * * * [misc]progress: [ 71 / 95 ] simplifiying candidate # 1540367295.491 * [enter]simplify: Simplifying (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1540367295.491 * * [misc]simplify: iters left: 6 (5 enodes) 1540367295.492 * * [misc]simplify: iters left: 5 (6 enodes) 1540367295.494 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1540367295.494 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (exp (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.494 * * * * [misc]progress: [ 72 / 95 ] simplifiying candidate # 1540367295.494 * [enter]simplify: Simplifying (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1540367295.494 * * [misc]simplify: iters left: 6 (6 enodes) 1540367295.496 * * [misc]simplify: iters left: 5 (8 enodes) 1540367295.499 * [exit]simplify: Simplified to (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1540367295.499 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (exp (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.499 * * * * [misc]progress: [ 73 / 95 ] simplifiying candidate # 1540367295.499 * * * * [misc]progress: [ 74 / 95 ] simplifiying candidate # 1540367295.499 * * * * [misc]progress: [ 75 / 95 ] simplifiying candidate # 1540367295.499 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1540367295.499 * * [misc]simplify: iters left: 6 (6 enodes) 1540367295.502 * * [misc]simplify: iters left: 5 (14 enodes) 1540367295.506 * * [misc]simplify: iters left: 4 (31 enodes) 1540367295.517 * * [misc]simplify: iters left: 3 (53 enodes) 1540367295.532 * * [misc]simplify: iters left: 2 (61 enodes) 1540367295.546 * * [misc]simplify: iters left: 1 (64 enodes) 1540367295.558 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (pow (fabs x) 7)) 1540367295.558 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (cbrt (* (* (fabs x) (fabs x)) (pow (fabs x) 7))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.558 * * * * [misc]progress: [ 76 / 95 ] simplifiying candidate # 1540367295.558 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1540367295.558 * * [misc]simplify: iters left: 6 (7 enodes) 1540367295.561 * * [misc]simplify: iters left: 5 (18 enodes) 1540367295.568 * * [misc]simplify: iters left: 4 (45 enodes) 1540367295.585 * * [misc]simplify: iters left: 3 (64 enodes) 1540367295.598 * * [misc]simplify: iters left: 2 (69 enodes) 1540367295.611 * * [misc]simplify: iters left: 1 (72 enodes) 1540367295.622 * [exit]simplify: Simplified to (* (pow (fabs x) 7) (* (fabs x) (fabs x))) 1540367295.622 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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) (* (* (* (* (cbrt (* (pow (fabs x) 7) (* (fabs x) (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.622 * * * * [misc]progress: [ 77 / 95 ] simplifiying candidate # 1540367295.623 * * * * [misc]progress: [ 78 / 95 ] simplifiying candidate # 1540367295.623 * * * * [misc]progress: [ 79 / 95 ] simplifiying candidate # 1540367295.623 * * * * [misc]progress: [ 80 / 95 ] simplifiying candidate # 1540367295.623 * * * * [misc]progress: [ 81 / 95 ] simplifiying candidate # 1540367295.623 * [enter]simplify: Simplifying (cbrt (fabs x)) 1540367295.623 * * [misc]simplify: iters left: 2 (3 enodes) 1540367295.624 * [exit]simplify: Simplified to (cbrt (fabs x)) 1540367295.624 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (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)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.624 * * * * [misc]progress: [ 82 / 95 ] simplifiying candidate # 1540367295.624 * [enter]simplify: Simplifying (sqrt (fabs x)) 1540367295.624 * * [misc]simplify: iters left: 2 (3 enodes) 1540367295.625 * [exit]simplify: Simplified to (sqrt (fabs x)) 1540367295.625 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (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)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.625 * * * * [misc]progress: [ 83 / 95 ] simplifiying candidate # 1540367295.626 * [enter]simplify: Simplifying (fabs x) 1540367295.626 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.626 * [exit]simplify: Simplified to (fabs x) 1540367295.626 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (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)) 1) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.626 * * * * [misc]progress: [ 84 / 95 ] simplifiying candidate # 1540367295.627 * [enter]simplify: Simplifying (fabs x) 1540367295.627 * * [misc]simplify: iters left: 1 (2 enodes) 1540367295.627 * [exit]simplify: Simplified to (fabs x) 1540367295.627 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (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))))))) 1540367295.627 * * * * [misc]progress: [ 85 / 95 ] simplifiying candidate # 1540367295.627 * * * * [misc]progress: [ 86 / 95 ] simplifiying candidate # 1540367295.628 * [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)))))) 1540367295.628 * * [misc]simplify: iters left: 6 (28 enodes) 1540367295.639 * * [misc]simplify: iters left: 5 (74 enodes) 1540367295.667 * * [misc]simplify: iters left: 4 (240 enodes) 1540367295.863 * [exit]simplify: Simplified to (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1540367295.863 * [misc]simplify: Simplified (2) to (λ (x) (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))))) 1540367295.863 * * * * [misc]progress: [ 87 / 95 ] simplifiying candidate # 1540367295.864 * [enter]simplify: Simplifying (* 1/5 (pow (fabs x) 5)) 1540367295.864 * * [misc]simplify: iters left: 4 (6 enodes) 1540367295.864 * * [misc]simplify: iters left: 3 (7 enodes) 1540367295.865 * [exit]simplify: Simplified to (* (pow (fabs x) 5) 1/5) 1540367295.865 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 5) 1/5)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.865 * * * * [misc]progress: [ 88 / 95 ] simplifiying candidate # 1540367295.865 * [enter]simplify: Simplifying (* 1/5 (pow (fabs x) 5)) 1540367295.866 * * [misc]simplify: iters left: 4 (6 enodes) 1540367295.866 * * [misc]simplify: iters left: 3 (7 enodes) 1540367295.867 * [exit]simplify: Simplified to (* (pow (fabs x) 5) 1/5) 1540367295.867 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 5) 1/5)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.867 * * * * [misc]progress: [ 89 / 95 ] simplifiying candidate # 1540367295.867 * [enter]simplify: Simplifying (* 1/5 (pow (fabs x) 5)) 1540367295.867 * * [misc]simplify: iters left: 4 (6 enodes) 1540367295.868 * * [misc]simplify: iters left: 3 (7 enodes) 1540367295.869 * [exit]simplify: Simplified to (* (pow (fabs x) 5) 1/5) 1540367295.869 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 5) 1/5)) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.869 * * * * [misc]progress: [ 90 / 95 ] simplifiying candidate # 1540367295.869 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1540367295.870 * * [misc]simplify: iters left: 4 (6 enodes) 1540367295.870 * * [misc]simplify: iters left: 3 (10 enodes) 1540367295.872 * * [misc]simplify: iters left: 2 (18 enodes) 1540367295.874 * * [misc]simplify: iters left: 1 (22 enodes) 1540367295.877 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1540367295.877 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (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))))))) 1540367295.877 * * * * [misc]progress: [ 91 / 95 ] simplifiying candidate # 1540367295.877 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1540367295.877 * * [misc]simplify: iters left: 4 (6 enodes) 1540367295.878 * * [misc]simplify: iters left: 3 (10 enodes) 1540367295.880 * * [misc]simplify: iters left: 2 (18 enodes) 1540367295.882 * * [misc]simplify: iters left: 1 (22 enodes) 1540367295.885 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1540367295.885 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (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))))))) 1540367295.885 * * * * [misc]progress: [ 92 / 95 ] simplifiying candidate # 1540367295.885 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1540367295.885 * * [misc]simplify: iters left: 4 (6 enodes) 1540367295.886 * * [misc]simplify: iters left: 3 (10 enodes) 1540367295.887 * * [misc]simplify: iters left: 2 (18 enodes) 1540367295.890 * * [misc]simplify: iters left: 1 (22 enodes) 1540367295.893 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1540367295.893 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (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))))))) 1540367295.893 * * * * [misc]progress: [ 93 / 95 ] simplifiying candidate # 1540367295.894 * [enter]simplify: Simplifying (pow (fabs x) 3) 1540367295.894 * * [misc]simplify: iters left: 2 (4 enodes) 1540367295.895 * * [misc]simplify: iters left: 1 (7 enodes) 1540367295.897 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367295.897 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.897 * * * * [misc]progress: [ 94 / 95 ] simplifiying candidate # 1540367295.897 * [enter]simplify: Simplifying (pow (fabs x) 3) 1540367295.897 * * [misc]simplify: iters left: 2 (4 enodes) 1540367295.898 * * [misc]simplify: iters left: 1 (7 enodes) 1540367295.900 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367295.901 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.901 * * * * [misc]progress: [ 95 / 95 ] simplifiying candidate # 1540367295.901 * [enter]simplify: Simplifying (pow (fabs x) 3) 1540367295.901 * * [misc]simplify: iters left: 2 (4 enodes) 1540367295.902 * * [misc]simplify: iters left: 1 (7 enodes) 1540367295.904 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367295.904 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367295.904 * * * [misc]progress: adding candidates to table 1540367297.631 * * [misc]progress: iteration 2 / 4 1540367297.631 * * * [misc]progress: picking best candidate 1540367297.652 * * * * [misc]pick: Picked # 1540367297.652 * * * [misc]progress: localizing error 1540367297.708 * * * [misc]progress: generating rewritten candidates 1540367297.708 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1540367297.708 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 2) 1540367297.983 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1540367298.043 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1540367298.067 * * * [misc]progress: generating series expansions 1540367298.067 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1540367298.067 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 2) 1540367298.068 * [misc]backup-simplify: Simplify (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) into (* 1/5 (pow (fabs x) 5)) 1540367298.068 * [misc]approximate: Taking taylor expansion of (* 1/5 (pow (fabs x) 5)) in (x) around 0 1540367298.068 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs x) 5)) in x 1540367298.068 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367298.068 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367298.068 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 5) in x 1540367298.068 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367298.068 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367298.068 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs x) 5)) in x 1540367298.068 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367298.068 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367298.068 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 5) in x 1540367298.068 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367298.068 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367298.068 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1540367298.068 * [misc]backup-simplify: Simplify (* (pow (fabs x) 2) (pow (fabs x) 2)) into (pow (fabs x) 4) 1540367298.068 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 4)) into (pow (fabs x) 5) 1540367298.068 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs x) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367298.068 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs x) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367298.068 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1540367298.068 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (* 0 (pow (fabs x) 2))) into 0 1540367298.068 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 4))) into 0 1540367298.069 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (pow (fabs x) 5))) into 0 1540367298.069 * [misc]backup-simplify: Simplify 0 into 0 1540367298.069 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1540367298.069 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1540367298.069 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))) into 0 1540367298.069 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))) into 0 1540367298.070 * [misc]backup-simplify: Simplify 0 into 0 1540367298.070 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1540367298.070 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1540367298.070 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))) into 0 1540367298.071 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))) into 0 1540367298.071 * [misc]backup-simplify: Simplify 0 into 0 1540367298.071 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1540367298.071 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1540367298.072 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))) into 0 1540367298.072 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))) into 0 1540367298.072 * [misc]backup-simplify: Simplify 0 into 0 1540367298.072 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1540367298.073 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1540367298.073 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4))))))) into 0 1540367298.074 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5))))))) into 0 1540367298.074 * [misc]backup-simplify: Simplify 0 into 0 1540367298.074 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1540367298.075 * [misc]backup-simplify: Simplify (+ (* (pow (fabs x) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1540367298.075 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 4)))))))) into 0 1540367298.076 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 5)))))))) into 0 1540367298.076 * [misc]backup-simplify: Simplify 0 into 0 1540367298.076 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs x) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367298.076 * [misc]backup-simplify: Simplify (* (/ 1 5) (* (* (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 1/5 (pow (fabs (/ 1 x)) 5)) 1540367298.076 * [misc]approximate: Taking taylor expansion of (* 1/5 (pow (fabs (/ 1 x)) 5)) in (x) around 0 1540367298.076 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ 1 x)) 5)) in x 1540367298.076 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367298.076 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367298.076 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1540367298.076 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367298.076 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367298.076 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ 1 x)) 5)) in x 1540367298.076 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367298.076 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367298.077 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1540367298.077 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367298.077 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367298.077 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1540367298.077 * [misc]backup-simplify: Simplify (* (pow (fabs (/ 1 x)) 2) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 4) 1540367298.077 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 4)) into (pow (fabs (/ 1 x)) 5) 1540367298.077 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ 1 x)) 5)) into (* 1/5 (pow (fabs (/ 1 x)) 5)) 1540367298.077 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ 1 x)) 5)) into (* 1/5 (pow (fabs (/ 1 x)) 5)) 1540367298.077 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1540367298.077 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1540367298.077 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 4))) into 0 1540367298.077 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (pow (fabs (/ 1 x)) 5))) into 0 1540367298.078 * [misc]backup-simplify: Simplify 0 into 0 1540367298.078 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1540367298.078 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1540367298.078 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))) into 0 1540367298.078 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))) into 0 1540367298.078 * [misc]backup-simplify: Simplify 0 into 0 1540367298.079 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1540367298.079 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1540367298.079 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))) into 0 1540367298.080 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))) into 0 1540367298.080 * [misc]backup-simplify: Simplify 0 into 0 1540367298.080 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1540367298.080 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1540367298.081 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))) into 0 1540367298.081 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))) into 0 1540367298.081 * [misc]backup-simplify: Simplify 0 into 0 1540367298.082 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1540367298.082 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1540367298.082 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4))))))) into 0 1540367298.083 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5))))))) into 0 1540367298.083 * [misc]backup-simplify: Simplify 0 into 0 1540367298.083 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1540367298.084 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ 1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540367298.085 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 4)))))))) into 0 1540367298.085 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 5)))))))) into 0 1540367298.085 * [misc]backup-simplify: Simplify 0 into 0 1540367298.085 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ 1 (/ 1 x))) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367298.086 * [misc]backup-simplify: Simplify (* (/ 1 5) (* (* (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 1/5 (pow (fabs (/ -1 x)) 5)) 1540367298.086 * [misc]approximate: Taking taylor expansion of (* 1/5 (pow (fabs (/ -1 x)) 5)) in (x) around 0 1540367298.086 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ -1 x)) 5)) in x 1540367298.086 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367298.086 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367298.086 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1540367298.086 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367298.086 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367298.086 * [misc]taylor: Taking taylor expansion of (* 1/5 (pow (fabs (/ -1 x)) 5)) in x 1540367298.086 * [misc]taylor: Taking taylor expansion of 1/5 in x 1540367298.086 * [misc]backup-simplify: Simplify 1/5 into 1/5 1540367298.086 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1540367298.086 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367298.086 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367298.086 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1540367298.086 * [misc]backup-simplify: Simplify (* (pow (fabs (/ -1 x)) 2) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 4) 1540367298.086 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 4)) into (pow (fabs (/ -1 x)) 5) 1540367298.086 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ -1 x)) 5)) into (* 1/5 (pow (fabs (/ -1 x)) 5)) 1540367298.086 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ -1 x)) 5)) into (* 1/5 (pow (fabs (/ -1 x)) 5)) 1540367298.086 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1540367298.086 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1540367298.087 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 4))) into 0 1540367298.087 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (pow (fabs (/ -1 x)) 5))) into 0 1540367298.087 * [misc]backup-simplify: Simplify 0 into 0 1540367298.087 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1540367298.087 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1540367298.087 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))) into 0 1540367298.088 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))) into 0 1540367298.088 * [misc]backup-simplify: Simplify 0 into 0 1540367298.088 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1540367298.088 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1540367298.089 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))) into 0 1540367298.089 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))) into 0 1540367298.089 * [misc]backup-simplify: Simplify 0 into 0 1540367298.089 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1540367298.090 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1540367298.090 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))) into 0 1540367298.090 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))) into 0 1540367298.090 * [misc]backup-simplify: Simplify 0 into 0 1540367298.091 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1540367298.091 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1540367298.092 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4))))))) into 0 1540367298.092 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5))))))) into 0 1540367298.092 * [misc]backup-simplify: Simplify 0 into 0 1540367298.093 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1540367298.093 * [misc]backup-simplify: Simplify (+ (* (pow (fabs (/ -1 x)) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540367298.094 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 4)))))))) into 0 1540367298.094 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 5)))))))) into 0 1540367298.094 * [misc]backup-simplify: Simplify 0 into 0 1540367298.094 * [misc]backup-simplify: Simplify (* 1/5 (pow (fabs (/ -1 (/ 1 (- x)))) 5)) into (* 1/5 (pow (fabs x) 5)) 1540367298.094 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 1540367298.095 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) into (* 2/3 (pow (fabs x) 3)) 1540367298.095 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in (x) around 0 1540367298.095 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 1540367298.095 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367298.095 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367298.095 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367298.095 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367298.095 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367298.095 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 1540367298.095 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367298.095 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367298.095 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367298.095 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367298.095 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367298.095 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1540367298.095 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1540367298.095 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367298.095 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367298.095 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1540367298.095 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1540367298.096 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs x) 3))) into 0 1540367298.096 * [misc]backup-simplify: Simplify 0 into 0 1540367298.096 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1540367298.096 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1540367298.096 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 1540367298.096 * [misc]backup-simplify: Simplify 0 into 0 1540367298.096 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1540367298.097 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1540367298.097 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 1540367298.097 * [misc]backup-simplify: Simplify 0 into 0 1540367298.097 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1540367298.098 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1540367298.098 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 1540367298.098 * [misc]backup-simplify: Simplify 0 into 0 1540367298.099 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1540367298.099 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1540367298.099 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 1540367298.099 * [misc]backup-simplify: Simplify 0 into 0 1540367298.100 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1540367298.100 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1540367298.101 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 1540367298.101 * [misc]backup-simplify: Simplify 0 into 0 1540367298.101 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367298.101 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1540367298.101 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1540367298.101 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 1540367298.101 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367298.101 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367298.101 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367298.101 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367298.101 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367298.101 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 1540367298.101 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367298.101 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367298.102 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367298.102 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367298.102 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367298.102 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1540367298.102 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1540367298.102 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1540367298.102 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1540367298.102 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1540367298.102 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1540367298.102 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 1540367298.102 * [misc]backup-simplify: Simplify 0 into 0 1540367298.103 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1540367298.103 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1540367298.103 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 1540367298.103 * [misc]backup-simplify: Simplify 0 into 0 1540367298.103 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1540367298.104 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1540367298.104 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 1540367298.104 * [misc]backup-simplify: Simplify 0 into 0 1540367298.104 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1540367298.105 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1540367298.105 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 1540367298.105 * [misc]backup-simplify: Simplify 0 into 0 1540367298.106 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1540367298.106 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1540367298.107 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 1540367298.107 * [misc]backup-simplify: Simplify 0 into 0 1540367298.107 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1540367298.108 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540367298.108 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 1540367298.108 * [misc]backup-simplify: Simplify 0 into 0 1540367298.108 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367298.109 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1540367298.109 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1540367298.109 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 1540367298.109 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367298.109 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367298.109 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367298.109 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367298.109 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367298.109 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 1540367298.109 * [misc]taylor: Taking taylor expansion of 2/3 in x 1540367298.109 * [misc]backup-simplify: Simplify 2/3 into 2/3 1540367298.109 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367298.109 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367298.109 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367298.109 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1540367298.109 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1540367298.109 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1540367298.109 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1540367298.109 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1540367298.109 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1540367298.110 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 1540367298.110 * [misc]backup-simplify: Simplify 0 into 0 1540367298.110 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1540367298.110 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1540367298.110 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 1540367298.110 * [misc]backup-simplify: Simplify 0 into 0 1540367298.111 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1540367298.111 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1540367298.111 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 1540367298.111 * [misc]backup-simplify: Simplify 0 into 0 1540367298.112 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1540367298.113 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1540367298.113 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 1540367298.113 * [misc]backup-simplify: Simplify 0 into 0 1540367298.114 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1540367298.115 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1540367298.116 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 1540367298.116 * [misc]backup-simplify: Simplify 0 into 0 1540367298.117 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1540367298.117 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540367298.118 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 1540367298.119 * [misc]backup-simplify: Simplify 0 into 0 1540367298.119 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 2/3 (pow (fabs x) 3)) 1540367298.119 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1540367298.119 * [misc]backup-simplify: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 1540367298.119 * [misc]approximate: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1540367298.119 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367298.119 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367298.119 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367298.119 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1540367298.119 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540367298.119 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540367298.119 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1540367298.120 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1540367298.120 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1540367298.120 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1540367298.120 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1540367298.120 * [misc]backup-simplify: Simplify 0 into 0 1540367298.120 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1540367298.121 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1540367298.121 * [misc]backup-simplify: Simplify 0 into 0 1540367298.121 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1540367298.121 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1540367298.121 * [misc]backup-simplify: Simplify 0 into 0 1540367298.122 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1540367298.122 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1540367298.122 * [misc]backup-simplify: Simplify 0 into 0 1540367298.123 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1540367298.124 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1540367298.124 * [misc]backup-simplify: Simplify 0 into 0 1540367298.124 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1540367298.125 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1540367298.125 * [misc]backup-simplify: Simplify 0 into 0 1540367298.125 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1540367298.126 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 1540367298.126 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1540367298.126 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367298.126 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367298.126 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367298.126 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1540367298.126 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540367298.126 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540367298.126 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1540367298.126 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1540367298.126 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 1540367298.127 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1540367298.127 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1540367298.127 * [misc]backup-simplify: Simplify 0 into 0 1540367298.127 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1540367298.127 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1540367298.128 * [misc]backup-simplify: Simplify 0 into 0 1540367298.128 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1540367298.128 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1540367298.128 * [misc]backup-simplify: Simplify 0 into 0 1540367298.129 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1540367298.130 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1540367298.130 * [misc]backup-simplify: Simplify 0 into 0 1540367298.130 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1540367298.131 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1540367298.131 * [misc]backup-simplify: Simplify 0 into 0 1540367298.132 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1540367298.133 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540367298.133 * [misc]backup-simplify: Simplify 0 into 0 1540367298.133 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 1540367298.133 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 1540367298.133 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1540367298.133 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367298.133 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367298.134 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367298.134 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1540367298.134 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540367298.134 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540367298.134 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1540367298.134 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1540367298.134 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 1540367298.134 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1540367298.135 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1540367298.135 * [misc]backup-simplify: Simplify 0 into 0 1540367298.135 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1540367298.135 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1540367298.135 * [misc]backup-simplify: Simplify 0 into 0 1540367298.137 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1540367298.138 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1540367298.138 * [misc]backup-simplify: Simplify 0 into 0 1540367298.138 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1540367298.139 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1540367298.139 * [misc]backup-simplify: Simplify 0 into 0 1540367298.140 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1540367298.140 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1540367298.140 * [misc]backup-simplify: Simplify 0 into 0 1540367298.141 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1540367298.142 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540367298.142 * [misc]backup-simplify: Simplify 0 into 0 1540367298.142 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 1540367298.142 * * * [misc]progress: simplifying candidates 1540367298.142 * * * * [misc]progress: [ 1 / 95 ] simplifiying candidate # 1540367298.142 * * * * [misc]progress: [ 2 / 95 ] simplifiying candidate # 1540367298.143 * * * * [misc]progress: [ 3 / 95 ] simplifiying candidate # 1540367298.143 * * * * [misc]progress: [ 4 / 95 ] simplifiying candidate # 1540367298.143 * * * * [misc]progress: [ 5 / 95 ] simplifiying candidate # 1540367298.143 * * * * [misc]progress: [ 6 / 95 ] simplifiying candidate # 1540367298.143 * * * * [misc]progress: [ 7 / 95 ] simplifiying candidate # 1540367298.143 * * * * [misc]progress: [ 8 / 95 ] simplifiying candidate # 1540367298.143 * * * * [misc]progress: [ 9 / 95 ] simplifiying candidate # 1540367298.143 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367298.143 * * [misc]simplify: iters left: 6 (10 enodes) 1540367298.146 * * [misc]simplify: iters left: 5 (23 enodes) 1540367298.149 * * [misc]simplify: iters left: 4 (55 enodes) 1540367298.164 * * [misc]simplify: iters left: 3 (177 enodes) 1540367298.264 * * [misc]simplify: iters left: 2 (400 enodes) 1540367298.541 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367298.541 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367298.541 * * * * [misc]progress: [ 10 / 95 ] simplifiying candidate # 1540367298.542 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367298.542 * * [misc]simplify: iters left: 6 (10 enodes) 1540367298.544 * * [misc]simplify: iters left: 5 (23 enodes) 1540367298.547 * * [misc]simplify: iters left: 4 (55 enodes) 1540367298.563 * * [misc]simplify: iters left: 3 (177 enodes) 1540367298.650 * * [misc]simplify: iters left: 2 (400 enodes) 1540367298.923 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367298.923 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367298.924 * * * * [misc]progress: [ 11 / 95 ] simplifiying candidate # 1540367298.924 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367298.924 * * [misc]simplify: iters left: 6 (10 enodes) 1540367298.928 * * [misc]simplify: iters left: 5 (23 enodes) 1540367298.933 * * [misc]simplify: iters left: 4 (55 enodes) 1540367298.948 * * [misc]simplify: iters left: 3 (177 enodes) 1540367299.055 * * [misc]simplify: iters left: 2 (400 enodes) 1540367299.275 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367299.275 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367299.275 * * * * [misc]progress: [ 12 / 95 ] simplifiying candidate # 1540367299.275 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367299.276 * * [misc]simplify: iters left: 6 (10 enodes) 1540367299.280 * * [misc]simplify: iters left: 5 (23 enodes) 1540367299.287 * * [misc]simplify: iters left: 4 (55 enodes) 1540367299.316 * * [misc]simplify: iters left: 3 (177 enodes) 1540367299.396 * * [misc]simplify: iters left: 2 (400 enodes) 1540367299.636 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367299.636 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367299.637 * * * * [misc]progress: [ 13 / 95 ] simplifiying candidate # 1540367299.637 * [enter]simplify: Simplifying (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367299.637 * * [misc]simplify: iters left: 6 (10 enodes) 1540367299.641 * * [misc]simplify: iters left: 5 (23 enodes) 1540367299.648 * * [misc]simplify: iters left: 4 (55 enodes) 1540367299.676 * * [misc]simplify: iters left: 3 (177 enodes) 1540367299.759 * * [misc]simplify: iters left: 2 (400 enodes) 1540367299.972 * [exit]simplify: Simplified to (/ (pow (fabs x) 5) 5) 1540367299.972 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (/ (pow (fabs x) 5) 5) 1)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367299.972 * * * * [misc]progress: [ 14 / 95 ] simplifiying candidate # 1540367299.972 * * * * [misc]progress: [ 15 / 95 ] simplifiying candidate # 1540367299.972 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) 1540367299.972 * * [misc]simplify: iters left: 6 (12 enodes) 1540367299.976 * * [misc]simplify: iters left: 5 (27 enodes) 1540367299.983 * * [misc]simplify: iters left: 4 (43 enodes) 1540367300.000 * * [misc]simplify: iters left: 3 (98 enodes) 1540367300.029 * * [misc]simplify: iters left: 2 (314 enodes) 1540367300.473 * [exit]simplify: Simplified to (+ (+ (log 1/5) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) 1540367300.473 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (+ (+ (log 1/5) (+ (log (fabs x)) (log (fabs x)))) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367300.474 * * * * [misc]progress: [ 16 / 95 ] simplifiying candidate # 1540367300.474 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) 1540367300.474 * * [misc]simplify: iters left: 6 (13 enodes) 1540367300.480 * * [misc]simplify: iters left: 5 (29 enodes) 1540367300.488 * * [misc]simplify: iters left: 4 (45 enodes) 1540367300.506 * * [misc]simplify: iters left: 3 (100 enodes) 1540367300.544 * * [misc]simplify: iters left: 2 (258 enodes) 1540367300.787 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log (fabs x))) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log 1/5) (log (fabs x))))) 1540367300.787 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (+ (+ (log (fabs x)) (log (fabs x))) (+ (+ (log (fabs x)) (log (fabs x))) (+ (log 1/5) (log (fabs x))))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367300.787 * * * * [misc]progress: [ 17 / 95 ] simplifiying candidate # 1540367300.788 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) 1540367300.788 * * [misc]simplify: iters left: 6 (13 enodes) 1540367300.791 * * [misc]simplify: iters left: 5 (30 enodes) 1540367300.795 * * [misc]simplify: iters left: 4 (46 enodes) 1540367300.803 * * [misc]simplify: iters left: 3 (95 enodes) 1540367300.840 * * [misc]simplify: iters left: 2 (278 enodes) 1540367301.168 * [exit]simplify: Simplified to (+ (* 4 (log (fabs x))) (+ (log 1/5) (log (fabs x)))) 1540367301.168 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (+ (* 4 (log (fabs x))) (+ (log 1/5) (log (fabs x)))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367301.168 * * * * [misc]progress: [ 18 / 95 ] simplifiying candidate # 1540367301.169 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) 1540367301.169 * * [misc]simplify: iters left: 6 (13 enodes) 1540367301.172 * * [misc]simplify: iters left: 5 (29 enodes) 1540367301.176 * * [misc]simplify: iters left: 4 (47 enodes) 1540367301.183 * * [misc]simplify: iters left: 3 (87 enodes) 1540367301.201 * * [misc]simplify: iters left: 2 (270 enodes) 1540367301.489 * [exit]simplify: Simplified to (- (* 5 (log (fabs x))) (log 5)) 1540367301.489 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (- (* 5 (log (fabs x))) (log 5)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367301.489 * * * * [misc]progress: [ 19 / 95 ] simplifiying candidate # 1540367301.489 * [enter]simplify: Simplifying (+ (log (/ 1 5)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 1540367301.489 * * [misc]simplify: iters left: 6 (12 enodes) 1540367301.495 * * [misc]simplify: iters left: 5 (28 enodes) 1540367301.503 * * [misc]simplify: iters left: 4 (42 enodes) 1540367301.512 * * [misc]simplify: iters left: 3 (79 enodes) 1540367301.528 * * [misc]simplify: iters left: 2 (205 enodes) 1540367301.697 * * [misc]simplify: iters left: 1 (478 enodes) 1540367301.787 * [exit]simplify: Simplified to (- (* 5 (log (fabs x))) (log 5)) 1540367301.788 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (- (* 5 (log (fabs x))) (log 5)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367301.788 * * * * [misc]progress: [ 20 / 95 ] simplifiying candidate # 1540367301.788 * * * * [misc]progress: [ 21 / 95 ] simplifiying candidate # 1540367301.788 * * * * [misc]progress: [ 22 / 95 ] simplifiying candidate # 1540367301.788 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367301.788 * * [misc]simplify: iters left: 6 (14 enodes) 1540367301.798 * * [misc]simplify: iters left: 5 (47 enodes) 1540367301.816 * * [misc]simplify: iters left: 4 (138 enodes) 1540367301.876 * * [misc]simplify: iters left: 3 (458 enodes) 1540367302.365 * [exit]simplify: Simplified to (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))) 1540367302.365 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367302.365 * * * * [misc]progress: [ 23 / 95 ] simplifiying candidate # 1540367302.365 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367302.365 * * [misc]simplify: iters left: 6 (15 enodes) 1540367302.371 * * [misc]simplify: iters left: 5 (52 enodes) 1540367302.380 * * [misc]simplify: iters left: 4 (147 enodes) 1540367302.458 * * [misc]simplify: iters left: 3 (475 enodes) 1540367302.938 * [exit]simplify: Simplified to (* (pow (pow (fabs x) 5) 3) 1/125) 1540367302.938 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (pow (pow (fabs x) 5) 3) 1/125))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367302.938 * * * * [misc]progress: [ 24 / 95 ] simplifiying candidate # 1540367302.938 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367302.938 * * [misc]simplify: iters left: 6 (14 enodes) 1540367302.949 * * [misc]simplify: iters left: 5 (47 enodes) 1540367302.966 * * [misc]simplify: iters left: 4 (138 enodes) 1540367303.026 * * [misc]simplify: iters left: 3 (458 enodes) 1540367303.409 * [exit]simplify: Simplified to (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))) 1540367303.409 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367303.409 * * * * [misc]progress: [ 25 / 95 ] simplifiying candidate # 1540367303.410 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367303.410 * * [misc]simplify: iters left: 6 (14 enodes) 1540367303.415 * * [misc]simplify: iters left: 5 (45 enodes) 1540367303.423 * * [misc]simplify: iters left: 4 (131 enodes) 1540367303.499 * * [misc]simplify: iters left: 3 (467 enodes) 1540367304.033 * [exit]simplify: Simplified to (* (* (pow (fabs x) 5) (pow (fabs x) 5)) (* (pow (fabs x) 5) 1/125)) 1540367304.033 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (pow (fabs x) 5) (pow (fabs x) 5)) (* (pow (fabs x) 5) 1/125)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.033 * * * * [misc]progress: [ 26 / 95 ] simplifiying candidate # 1540367304.034 * [enter]simplify: Simplifying (* (* (* (/ 1 5) (/ 1 5)) (/ 1 5)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 1540367304.034 * * [misc]simplify: iters left: 6 (14 enodes) 1540367304.043 * * [misc]simplify: iters left: 5 (43 enodes) 1540367304.058 * * [misc]simplify: iters left: 4 (109 enodes) 1540367304.124 * * [misc]simplify: iters left: 3 (360 enodes) 1540367304.425 * [exit]simplify: Simplified to (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))) 1540367304.425 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* 1/125 (pow (fabs x) 5)) (* (pow (fabs x) 5) (pow (fabs x) 5))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.425 * * * * [misc]progress: [ 27 / 95 ] simplifiying candidate # 1540367304.425 * * * * [misc]progress: [ 28 / 95 ] simplifiying candidate # 1540367304.426 * * * * [misc]progress: [ 29 / 95 ] simplifiying candidate # 1540367304.426 * * * * [misc]progress: [ 30 / 95 ] simplifiying candidate # 1540367304.426 * * * * [misc]progress: [ 31 / 95 ] simplifiying candidate # 1540367304.426 * [enter]simplify: Simplifying (fabs x) 1540367304.426 * * [misc]simplify: iters left: 1 (2 enodes) 1540367304.427 * [exit]simplify: Simplified to (fabs x) 1540367304.427 * [misc]simplify: Simplified (2 1 2 1 2 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.427 * * * * [misc]progress: [ 32 / 95 ] simplifiying candidate # 1540367304.427 * [enter]simplify: Simplifying (* (cbrt (/ 1 5)) (cbrt (/ 1 5))) 1540367304.427 * * [misc]simplify: iters left: 5 (5 enodes) 1540367304.430 * * [misc]simplify: iters left: 4 (8 enodes) 1540367304.432 * [exit]simplify: Simplified to (* (cbrt 1/5) (cbrt 1/5)) 1540367304.432 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (cbrt 1/5) (cbrt 1/5)) (* (cbrt (/ 1 5)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.432 * * * * [misc]progress: [ 33 / 95 ] simplifiying candidate # 1540367304.433 * [enter]simplify: Simplifying (sqrt (/ 1 5)) 1540367304.433 * * [misc]simplify: iters left: 3 (4 enodes) 1540367304.440 * * [misc]simplify: iters left: 2 (7 enodes) 1540367304.442 * [exit]simplify: Simplified to (sqrt 1/5) 1540367304.442 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (sqrt 1/5) (* (sqrt (/ 1 5)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.442 * * * * [misc]progress: [ 34 / 95 ] simplifiying candidate # 1540367304.442 * * * * [misc]progress: [ 35 / 95 ] simplifiying candidate # 1540367304.442 * * * * [misc]progress: [ 36 / 95 ] simplifiying candidate # 1540367304.442 * [enter]simplify: Simplifying (* 1 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 1540367304.442 * * [misc]simplify: iters left: 6 (8 enodes) 1540367304.445 * * [misc]simplify: iters left: 5 (18 enodes) 1540367304.452 * * [misc]simplify: iters left: 4 (37 enodes) 1540367304.464 * * [misc]simplify: iters left: 3 (73 enodes) 1540367304.494 * * [misc]simplify: iters left: 2 (88 enodes) 1540367304.503 * [exit]simplify: Simplified to (pow (fabs x) 5) 1540367304.503 * [misc]simplify: Simplified (2 1 2 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (/ (pow (fabs x) 5) 5)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.503 * * * * [misc]progress: [ 37 / 95 ] simplifiying candidate # 1540367304.504 * * * * [misc]progress: [ 38 / 95 ] simplifiying candidate # 1540367304.504 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1540367304.504 * * [misc]simplify: iters left: 6 (8 enodes) 1540367304.505 * * [misc]simplify: iters left: 5 (15 enodes) 1540367304.508 * * [misc]simplify: iters left: 4 (35 enodes) 1540367304.513 * * [misc]simplify: iters left: 3 (58 enodes) 1540367304.520 * * [misc]simplify: iters left: 2 (76 enodes) 1540367304.528 * * [misc]simplify: iters left: 1 (89 enodes) 1540367304.541 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1540367304.541 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.541 * * * * [misc]progress: [ 39 / 95 ] simplifiying candidate # 1540367304.542 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1540367304.542 * * [misc]simplify: iters left: 6 (8 enodes) 1540367304.545 * * [misc]simplify: iters left: 5 (15 enodes) 1540367304.549 * * [misc]simplify: iters left: 4 (35 enodes) 1540367304.555 * * [misc]simplify: iters left: 3 (58 enodes) 1540367304.563 * * [misc]simplify: iters left: 2 (76 enodes) 1540367304.570 * * [misc]simplify: iters left: 1 (89 enodes) 1540367304.582 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1540367304.582 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.582 * * * * [misc]progress: [ 40 / 95 ] simplifiying candidate # 1540367304.583 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1540367304.583 * * [misc]simplify: iters left: 6 (8 enodes) 1540367304.586 * * [misc]simplify: iters left: 5 (15 enodes) 1540367304.591 * * [misc]simplify: iters left: 4 (35 enodes) 1540367304.602 * * [misc]simplify: iters left: 3 (58 enodes) 1540367304.616 * * [misc]simplify: iters left: 2 (76 enodes) 1540367304.632 * * [misc]simplify: iters left: 1 (89 enodes) 1540367304.649 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1540367304.649 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.649 * * * * [misc]progress: [ 41 / 95 ] simplifiying candidate # 1540367304.649 * * * * [misc]progress: [ 42 / 95 ] simplifiying candidate # 1540367304.650 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) 1540367304.650 * * [misc]simplify: iters left: 6 (10 enodes) 1540367304.655 * * [misc]simplify: iters left: 5 (18 enodes) 1540367304.664 * * [misc]simplify: iters left: 4 (33 enodes) 1540367304.675 * * [misc]simplify: iters left: 3 (70 enodes) 1540367304.700 * * [misc]simplify: iters left: 2 (119 enodes) 1540367304.747 * * [misc]simplify: iters left: 1 (201 enodes) 1540367304.803 * [exit]simplify: Simplified to (+ (+ (log 2/3) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) 1540367304.803 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (+ (log 2/3) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.803 * * * * [misc]progress: [ 43 / 95 ] simplifiying candidate # 1540367304.804 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) 1540367304.804 * * [misc]simplify: iters left: 6 (11 enodes) 1540367304.806 * * [misc]simplify: iters left: 5 (20 enodes) 1540367304.810 * * [misc]simplify: iters left: 4 (35 enodes) 1540367304.816 * * [misc]simplify: iters left: 3 (72 enodes) 1540367304.841 * * [misc]simplify: iters left: 2 (125 enodes) 1540367304.890 * * [misc]simplify: iters left: 1 (193 enodes) 1540367304.969 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log 2/3)) (log (* (fabs x) (fabs x)))) 1540367304.969 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (+ (log (fabs x)) (log 2/3)) (log (* (fabs x) (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367304.969 * * * * [misc]progress: [ 44 / 95 ] simplifiying candidate # 1540367304.969 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (log (* (* (fabs x) (fabs x)) (fabs x)))) 1540367304.969 * * [misc]simplify: iters left: 6 (10 enodes) 1540367304.974 * * [misc]simplify: iters left: 5 (19 enodes) 1540367304.980 * * [misc]simplify: iters left: 4 (32 enodes) 1540367304.995 * * [misc]simplify: iters left: 3 (62 enodes) 1540367305.008 * * [misc]simplify: iters left: 2 (112 enodes) 1540367305.039 * * [misc]simplify: iters left: 1 (171 enodes) 1540367305.090 * [exit]simplify: Simplified to (+ (log 2/3) (* 3 (log (fabs x)))) 1540367305.090 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (log 2/3) (* 3 (log (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367305.090 * * * * [misc]progress: [ 45 / 95 ] simplifiying candidate # 1540367305.091 * * * * [misc]progress: [ 46 / 95 ] simplifiying candidate # 1540367305.091 * * * * [misc]progress: [ 47 / 95 ] simplifiying candidate # 1540367305.091 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367305.091 * * [misc]simplify: iters left: 6 (12 enodes) 1540367305.095 * * [misc]simplify: iters left: 5 (36 enodes) 1540367305.102 * * [misc]simplify: iters left: 4 (87 enodes) 1540367305.119 * * [misc]simplify: iters left: 3 (217 enodes) 1540367305.252 * * [misc]simplify: iters left: 2 (497 enodes) 1540367305.609 * [exit]simplify: Simplified to (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))) 1540367305.609 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367305.609 * * * * [misc]progress: [ 48 / 95 ] simplifiying candidate # 1540367305.610 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367305.610 * * [misc]simplify: iters left: 6 (13 enodes) 1540367305.619 * * [misc]simplify: iters left: 5 (41 enodes) 1540367305.632 * * [misc]simplify: iters left: 4 (105 enodes) 1540367305.682 * * [misc]simplify: iters left: 3 (299 enodes) 1540367305.838 * [exit]simplify: Simplified to (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (* 8/27 (fabs x))) 1540367305.838 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (* 8/27 (fabs x))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367305.838 * * * * [misc]progress: [ 49 / 95 ] simplifiying candidate # 1540367305.838 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1540367305.838 * * [misc]simplify: iters left: 6 (12 enodes) 1540367305.845 * * [misc]simplify: iters left: 5 (36 enodes) 1540367305.852 * * [misc]simplify: iters left: 4 (87 enodes) 1540367305.870 * * [misc]simplify: iters left: 3 (217 enodes) 1540367305.969 * * [misc]simplify: iters left: 2 (497 enodes) 1540367306.353 * [exit]simplify: Simplified to (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))) 1540367306.353 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.353 * * * * [misc]progress: [ 50 / 95 ] simplifiying candidate # 1540367306.354 * * * * [misc]progress: [ 51 / 95 ] simplifiying candidate # 1540367306.354 * * * * [misc]progress: [ 52 / 95 ] simplifiying candidate # 1540367306.354 * * * * [misc]progress: [ 53 / 95 ] simplifiying candidate # 1540367306.354 * * * * [misc]progress: [ 54 / 95 ] simplifiying candidate # 1540367306.354 * [enter]simplify: Simplifying (fabs x) 1540367306.354 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.355 * [exit]simplify: Simplified to (fabs x) 1540367306.355 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.355 * * * * [misc]progress: [ 55 / 95 ] simplifiying candidate # 1540367306.355 * [enter]simplify: Simplifying (* (cbrt (/ 2 3)) (cbrt (/ 2 3))) 1540367306.355 * * [misc]simplify: iters left: 5 (5 enodes) 1540367306.358 * * [misc]simplify: iters left: 4 (6 enodes) 1540367306.360 * [exit]simplify: Simplified to (* (cbrt 2/3) (cbrt 2/3)) 1540367306.360 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* (cbrt 2/3) (cbrt 2/3)) (* (cbrt (/ 2 3)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.360 * * * * [misc]progress: [ 56 / 95 ] simplifiying candidate # 1540367306.360 * [enter]simplify: Simplifying (sqrt (/ 2 3)) 1540367306.360 * * [misc]simplify: iters left: 3 (4 enodes) 1540367306.362 * * [misc]simplify: iters left: 2 (5 enodes) 1540367306.364 * [exit]simplify: Simplified to (sqrt 2/3) 1540367306.364 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (sqrt 2/3) (* (sqrt (/ 2 3)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.364 * * * * [misc]progress: [ 57 / 95 ] simplifiying candidate # 1540367306.364 * * * * [misc]progress: [ 58 / 95 ] simplifiying candidate # 1540367306.364 * * * * [misc]progress: [ 59 / 95 ] simplifiying candidate # 1540367306.364 * [enter]simplify: Simplifying (* 2 (* (* (fabs x) (fabs x)) (fabs x))) 1540367306.365 * * [misc]simplify: iters left: 6 (6 enodes) 1540367306.367 * * [misc]simplify: iters left: 5 (10 enodes) 1540367306.370 * * [misc]simplify: iters left: 4 (19 enodes) 1540367306.375 * * [misc]simplify: iters left: 3 (23 enodes) 1540367306.380 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2 (fabs x))) 1540367306.380 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (/ (* (* (fabs x) (fabs x)) (* 2 (fabs x))) 3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.380 * * * * [misc]progress: [ 60 / 95 ] simplifiying candidate # 1540367306.381 * * * * [misc]progress: [ 61 / 95 ] simplifiying candidate # 1540367306.381 * [enter]simplify: Simplifying (fabs x) 1540367306.381 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.382 * [exit]simplify: Simplified to (fabs x) 1540367306.382 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.382 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367306.382 * * [misc]simplify: iters left: 4 (3 enodes) 1540367306.385 * * [misc]simplify: iters left: 3 (8 enodes) 1540367306.386 * [exit]simplify: Simplified to 3 1540367306.386 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.386 * * * * [misc]progress: [ 62 / 95 ] simplifiying candidate # 1540367306.386 * [enter]simplify: Simplifying (fabs x) 1540367306.386 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.387 * [exit]simplify: Simplified to (fabs x) 1540367306.387 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.387 * [enter]simplify: Simplifying (+ 2 1) 1540367306.387 * * [misc]simplify: iters left: 2 (3 enodes) 1540367306.389 * * [misc]simplify: iters left: 1 (7 enodes) 1540367306.390 * [exit]simplify: Simplified to 3 1540367306.390 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.390 * * * * [misc]progress: [ 63 / 95 ] simplifiying candidate # 1540367306.391 * [enter]simplify: Simplifying (fabs x) 1540367306.391 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.391 * [exit]simplify: Simplified to (fabs x) 1540367306.391 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.392 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1540367306.392 * * [misc]simplify: iters left: 4 (3 enodes) 1540367306.394 * * [misc]simplify: iters left: 3 (8 enodes) 1540367306.395 * [exit]simplify: Simplified to 3 1540367306.395 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.395 * * * * [misc]progress: [ 64 / 95 ] simplifiying candidate # 1540367306.396 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1540367306.396 * * [misc]simplify: iters left: 5 (4 enodes) 1540367306.397 * * [misc]simplify: iters left: 4 (5 enodes) 1540367306.398 * * [misc]simplify: iters left: 3 (7 enodes) 1540367306.400 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367306.400 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.400 * * * * [misc]progress: [ 65 / 95 ] simplifiying candidate # 1540367306.401 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1540367306.401 * * [misc]simplify: iters left: 5 (4 enodes) 1540367306.402 * * [misc]simplify: iters left: 4 (5 enodes) 1540367306.403 * * [misc]simplify: iters left: 3 (7 enodes) 1540367306.405 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367306.405 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.406 * * * * [misc]progress: [ 66 / 95 ] simplifiying candidate # 1540367306.406 * [enter]simplify: Simplifying (fabs x) 1540367306.406 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.406 * [exit]simplify: Simplified to (fabs x) 1540367306.406 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.407 * * * * [misc]progress: [ 67 / 95 ] simplifiying candidate # 1540367306.407 * [enter]simplify: Simplifying (fabs x) 1540367306.407 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.407 * [exit]simplify: Simplified to (fabs x) 1540367306.407 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.408 * * * * [misc]progress: [ 68 / 95 ] simplifiying candidate # 1540367306.408 * [enter]simplify: Simplifying (fabs x) 1540367306.408 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.408 * [exit]simplify: Simplified to (fabs x) 1540367306.408 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.409 * * * * [misc]progress: [ 69 / 95 ] simplifiying candidate # 1540367306.409 * [enter]simplify: Simplifying (fabs x) 1540367306.409 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.410 * [exit]simplify: Simplified to (fabs x) 1540367306.410 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.410 * * * * [misc]progress: [ 70 / 95 ] simplifiying candidate # 1540367306.410 * * * * [misc]progress: [ 71 / 95 ] simplifiying candidate # 1540367306.410 * [enter]simplify: Simplifying (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1540367306.410 * * [misc]simplify: iters left: 6 (5 enodes) 1540367306.412 * * [misc]simplify: iters left: 5 (6 enodes) 1540367306.413 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1540367306.414 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (exp (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.414 * * * * [misc]progress: [ 72 / 95 ] simplifiying candidate # 1540367306.414 * [enter]simplify: Simplifying (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1540367306.414 * * [misc]simplify: iters left: 6 (6 enodes) 1540367306.415 * * [misc]simplify: iters left: 5 (8 enodes) 1540367306.417 * [exit]simplify: Simplified to (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1540367306.417 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (exp (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.417 * * * * [misc]progress: [ 73 / 95 ] simplifiying candidate # 1540367306.417 * * * * [misc]progress: [ 74 / 95 ] simplifiying candidate # 1540367306.417 * * * * [misc]progress: [ 75 / 95 ] simplifiying candidate # 1540367306.417 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1540367306.417 * * [misc]simplify: iters left: 6 (6 enodes) 1540367306.418 * * [misc]simplify: iters left: 5 (14 enodes) 1540367306.420 * * [misc]simplify: iters left: 4 (31 enodes) 1540367306.426 * * [misc]simplify: iters left: 3 (53 enodes) 1540367306.433 * * [misc]simplify: iters left: 2 (61 enodes) 1540367306.443 * * [misc]simplify: iters left: 1 (64 enodes) 1540367306.449 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (pow (fabs x) 7)) 1540367306.449 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (cbrt (* (* (fabs x) (fabs x)) (pow (fabs x) 7))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.449 * * * * [misc]progress: [ 76 / 95 ] simplifiying candidate # 1540367306.449 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1540367306.449 * * [misc]simplify: iters left: 6 (7 enodes) 1540367306.450 * * [misc]simplify: iters left: 5 (18 enodes) 1540367306.453 * * [misc]simplify: iters left: 4 (45 enodes) 1540367306.462 * * [misc]simplify: iters left: 3 (64 enodes) 1540367306.469 * * [misc]simplify: iters left: 2 (69 enodes) 1540367306.474 * * [misc]simplify: iters left: 1 (72 enodes) 1540367306.485 * [exit]simplify: Simplified to (* (pow (fabs x) 7) (* (fabs x) (fabs x))) 1540367306.485 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (cbrt (* (pow (fabs x) 7) (* (fabs x) (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.485 * * * * [misc]progress: [ 77 / 95 ] simplifiying candidate # 1540367306.485 * * * * [misc]progress: [ 78 / 95 ] simplifiying candidate # 1540367306.486 * * * * [misc]progress: [ 79 / 95 ] simplifiying candidate # 1540367306.486 * * * * [misc]progress: [ 80 / 95 ] simplifiying candidate # 1540367306.486 * * * * [misc]progress: [ 81 / 95 ] simplifiying candidate # 1540367306.486 * [enter]simplify: Simplifying (cbrt (fabs x)) 1540367306.486 * * [misc]simplify: iters left: 2 (3 enodes) 1540367306.487 * [exit]simplify: Simplified to (cbrt (fabs x)) 1540367306.487 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.487 * * * * [misc]progress: [ 82 / 95 ] simplifiying candidate # 1540367306.488 * [enter]simplify: Simplifying (sqrt (fabs x)) 1540367306.488 * * [misc]simplify: iters left: 2 (3 enodes) 1540367306.488 * [exit]simplify: Simplified to (sqrt (fabs x)) 1540367306.488 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.489 * * * * [misc]progress: [ 83 / 95 ] simplifiying candidate # 1540367306.489 * [enter]simplify: Simplifying (fabs x) 1540367306.489 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.489 * [exit]simplify: Simplified to (fabs x) 1540367306.489 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (* (fabs x) (fabs x)) 1) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.489 * * * * [misc]progress: [ 84 / 95 ] simplifiying candidate # 1540367306.490 * [enter]simplify: Simplifying (fabs x) 1540367306.490 * * [misc]simplify: iters left: 1 (2 enodes) 1540367306.490 * [exit]simplify: Simplified to (fabs x) 1540367306.490 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.490 * * * * [misc]progress: [ 85 / 95 ] simplifiying candidate # 1540367306.491 * * * * [misc]progress: [ 86 / 95 ] simplifiying candidate # 1540367306.491 * [enter]simplify: Simplifying (pow (fabs x) 3) 1540367306.491 * * [misc]simplify: iters left: 2 (4 enodes) 1540367306.492 * * [misc]simplify: iters left: 1 (7 enodes) 1540367306.494 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367306.494 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.494 * * * * [misc]progress: [ 87 / 95 ] simplifiying candidate # 1540367306.494 * [enter]simplify: Simplifying (* 1/5 (pow (fabs x) 5)) 1540367306.494 * * [misc]simplify: iters left: 4 (6 enodes) 1540367306.496 * * [misc]simplify: iters left: 3 (7 enodes) 1540367306.498 * [exit]simplify: Simplified to (* (pow (fabs x) 5) 1/5) 1540367306.498 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 5) 1/5)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.498 * * * * [misc]progress: [ 88 / 95 ] simplifiying candidate # 1540367306.498 * [enter]simplify: Simplifying (* 1/5 (pow (fabs x) 5)) 1540367306.498 * * [misc]simplify: iters left: 4 (6 enodes) 1540367306.500 * * [misc]simplify: iters left: 3 (7 enodes) 1540367306.501 * [exit]simplify: Simplified to (* (pow (fabs x) 5) 1/5) 1540367306.502 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 5) 1/5)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.502 * * * * [misc]progress: [ 89 / 95 ] simplifiying candidate # 1540367306.502 * [enter]simplify: Simplifying (* 1/5 (pow (fabs x) 5)) 1540367306.502 * * [misc]simplify: iters left: 4 (6 enodes) 1540367306.504 * * [misc]simplify: iters left: 3 (7 enodes) 1540367306.506 * [exit]simplify: Simplified to (* (pow (fabs x) 5) 1/5) 1540367306.506 * [misc]simplify: Simplified (2 1 2 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 5) 1/5)) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.506 * * * * [misc]progress: [ 90 / 95 ] simplifiying candidate # 1540367306.506 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1540367306.506 * * [misc]simplify: iters left: 4 (6 enodes) 1540367306.508 * * [misc]simplify: iters left: 3 (10 enodes) 1540367306.511 * * [misc]simplify: iters left: 2 (18 enodes) 1540367306.516 * * [misc]simplify: iters left: 1 (22 enodes) 1540367306.521 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1540367306.522 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.522 * * * * [misc]progress: [ 91 / 95 ] simplifiying candidate # 1540367306.522 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1540367306.522 * * [misc]simplify: iters left: 4 (6 enodes) 1540367306.524 * * [misc]simplify: iters left: 3 (10 enodes) 1540367306.527 * * [misc]simplify: iters left: 2 (18 enodes) 1540367306.532 * * [misc]simplify: iters left: 1 (22 enodes) 1540367306.537 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1540367306.537 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.538 * * * * [misc]progress: [ 92 / 95 ] simplifiying candidate # 1540367306.538 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1540367306.538 * * [misc]simplify: iters left: 4 (6 enodes) 1540367306.540 * * [misc]simplify: iters left: 3 (10 enodes) 1540367306.544 * * [misc]simplify: iters left: 2 (18 enodes) 1540367306.549 * * [misc]simplify: iters left: 1 (22 enodes) 1540367306.555 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1540367306.555 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (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) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.555 * * * * [misc]progress: [ 93 / 95 ] simplifiying candidate # 1540367306.555 * [enter]simplify: Simplifying (pow (fabs x) 3) 1540367306.555 * * [misc]simplify: iters left: 2 (4 enodes) 1540367306.556 * * [misc]simplify: iters left: 1 (7 enodes) 1540367306.558 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367306.558 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.558 * * * * [misc]progress: [ 94 / 95 ] simplifiying candidate # 1540367306.559 * [enter]simplify: Simplifying (pow (fabs x) 3) 1540367306.559 * * [misc]simplify: iters left: 2 (4 enodes) 1540367306.560 * * [misc]simplify: iters left: 1 (7 enodes) 1540367306.562 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367306.563 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.563 * * * * [misc]progress: [ 95 / 95 ] simplifiying candidate # 1540367306.563 * [enter]simplify: Simplifying (pow (fabs x) 3) 1540367306.563 * * [misc]simplify: iters left: 2 (4 enodes) 1540367306.564 * * [misc]simplify: iters left: 1 (7 enodes) 1540367306.566 * [exit]simplify: Simplified to (pow (fabs x) 3) 1540367306.567 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1540367306.567 * * * [misc]progress: adding candidates to table 1540367308.458 * * [misc]progress: iteration 3 / 4 1540367308.459 * * * [misc]progress: picking best candidate 1540367308.468 * * * * [misc]pick: Picked # 1540367308.468 * * * [misc]progress: localizing error 1540367308.537 * * * [misc]progress: generating rewritten candidates 1540367308.537 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 2 1 1) 1540367308.540 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2 1 1 2) 1540367308.540 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 2) 1540367308.540 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1540367308.540 * * * [misc]progress: generating series expansions 1540367308.540 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 2 1 1) 1540367308.540 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2 1 1 2) 1540367308.540 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 2 2 2) 1540367308.540 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1540367308.540 * * * [misc]progress: simplifying candidates 1540367308.540 * * * * [misc]progress: [ 1 / 41 ] simplifiying candidate # 1540367308.540 * * * * [misc]progress: [ 2 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 3 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 4 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 5 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 6 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 7 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 8 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 9 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 10 / 41 ] simplifiying candidate # 1540367308.541 * * * * [misc]progress: [ 11 / 41 ] simplifiying candidate # 1540367308.541 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1540367308.541 * * [misc]simplify: iters left: 2 (3 enodes) 1540367308.542 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1540367308.542 * [misc]simplify: Simplified (2 1 2 2 1 1 2) to (λ (x) (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ (/ 1/21 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (cbrt (sqrt PI))) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))))) 1540367308.542 * * * * [misc]progress: [ 12 / 41 ] simplifiying candidate # 1540367308.542 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1540367308.542 * * [misc]simplify: iters left: 2 (3 enodes) 1540367308.542 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1540367308.542 * [misc]simplify: Simplified (2 1 2 2 1 1 2) to (λ (x) (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ (/ 1/21 (sqrt (sqrt PI))) (sqrt (sqrt PI))) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))))) 1540367308.542 * * * * [misc]progress: [ 13 / 41 ] simplifiying candidate # 1540367308.542 * [enter]simplify: Simplifying (sqrt PI) 1540367308.542 * * [misc]simplify: iters left: 1 (2 enodes) 1540367308.543 * [exit]simplify: Simplified to (sqrt PI) 1540367308.543 * [misc]simplify: Simplified (2 1 2 2 1 1 2) to (λ (x) (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ (/ 1/21 1) (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))))) 1540367308.543 * * * * [misc]progress: [ 14 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 15 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 16 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 17 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 18 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 19 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 20 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 21 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 22 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 23 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 24 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 25 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 26 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 27 / 41 ] simplifiying candidate # 1540367308.543 * * * * [misc]progress: [ 28 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 29 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 30 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 31 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 32 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 33 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 34 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 35 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 36 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 37 / 41 ] simplifiying candidate # 1540367308.544 * * * * [misc]progress: [ 38 / 41 ] simplifiying candidate # 1540367308.544 * [enter]simplify: Simplifying (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1540367308.544 * * [misc]simplify: iters left: 6 (28 enodes) 1540367308.549 * * [misc]simplify: iters left: 5 (68 enodes) 1540367308.561 * * [misc]simplify: iters left: 4 (197 enodes) 1540367308.681 * [exit]simplify: Simplified to (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI))))))) 1540367308.681 * [misc]simplify: Simplified (2) to (λ (x) (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI)))))))) 1540367308.681 * * * * [misc]progress: [ 39 / 41 ] simplifiying candidate # 1540367308.681 * [enter]simplify: Simplifying (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1540367308.682 * * [misc]simplify: iters left: 6 (28 enodes) 1540367308.686 * * [misc]simplify: iters left: 5 (68 enodes) 1540367308.701 * * [misc]simplify: iters left: 4 (197 enodes) 1540367308.819 * [exit]simplify: Simplified to (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI))))))) 1540367308.819 * [misc]simplify: Simplified (2) to (λ (x) (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI)))))))) 1540367308.819 * * * * [misc]progress: [ 40 / 41 ] simplifiying candidate # 1540367308.819 * [enter]simplify: Simplifying (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1540367308.819 * * [misc]simplify: iters left: 6 (28 enodes) 1540367308.829 * * [misc]simplify: iters left: 5 (68 enodes) 1540367308.854 * * [misc]simplify: iters left: 4 (197 enodes) 1540367308.974 * [exit]simplify: Simplified to (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI))))))) 1540367308.974 * [misc]simplify: Simplified (2) to (λ (x) (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI)))))))) 1540367308.974 * * * * [misc]progress: [ 41 / 41 ] simplifiying candidate # 1540367308.974 * [enter]simplify: Simplifying (fabs (+ (/ (+ (* (fabs x) 2) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (/ 1 (sqrt PI)))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1540367308.974 * * [misc]simplify: iters left: 6 (28 enodes) 1540367308.979 * * [misc]simplify: iters left: 5 (68 enodes) 1540367308.997 * * [misc]simplify: iters left: 4 (197 enodes) 1540367309.148 * [exit]simplify: Simplified to (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI))))))) 1540367309.148 * [misc]simplify: Simplified (2) to (λ (x) (fabs (+ (/ (+ (* 2 (fabs x)) (* (* (fabs x) 2/3) (* (fabs x) (fabs x)))) (sqrt PI)) (+ (* (* (* (fabs x) (fabs x)) (* (fabs x) 1/5)) (* (fabs x) (/ (fabs x) (sqrt PI)))) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (* (fabs x) (/ 1/21 (sqrt PI)))))))) 1540367309.148 * * * [misc]progress: adding candidates to table 1540367309.829 * * [misc]progress: iteration 4 / 4 1540367309.829 * * * [misc]progress: picking best candidate 1540367309.871 * * * * [misc]pick: Picked # 1540367309.871 * * * [misc]progress: localizing error 1540367309.903 * * * [misc]progress: generating rewritten candidates 1540367309.903 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 2 1 1 2) 1540367309.903 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 2) 1540367309.904 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2 1) 1540367309.904 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 1540367309.905 * * * [misc]progress: generating series expansions 1540367309.905 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 2 1 1 2) 1540367309.905 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 2 2 2) 1540367309.905 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2 1) 1540367309.905 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 1540367309.905 * * * [misc]progress: simplifying candidates 1540367309.905 * * * * [misc]progress: [ 1 / 36 ] simplifiying candidate # 1540367309.905 * * * * [misc]progress: [ 2 / 36 ] simplifiying candidate # 1540367309.905 * * * * [misc]progress: [ 3 / 36 ] simplifiying candidate # 1540367309.905 * * * * [misc]progress: [ 4 / 36 ] simplifiying candidate # 1540367309.905 * * * * [misc]progress: [ 5 / 36 ] simplifiying candidate # 1540367309.905 * * * * [misc]progress: [ 6 / 36 ] simplifiying candidate # 1540367309.905 * * * * [misc]progress: [ 7 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 8 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 9 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 10 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 11 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 12 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 13 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 14 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 15 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 16 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 17 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 18 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 19 / 36 ] simplifiying candidate # 1540367309.906 * * * * [misc]progress: [ 20 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 21 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 22 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 23 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 24 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 25 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 26 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 27 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 28 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 29 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 30 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 31 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 32 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 33 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 34 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 35 / 36 ] simplifiying candidate # 1540367309.907 * * * * [misc]progress: [ 36 / 36 ] simplifiying candidate # 1540367309.908 * * * [misc]progress: adding candidates to table 1540367310.554 * [misc]progress: [Phase 3 of 3] Extracting. 1540367310.554 * * [misc]regime: Finding splitpoints for: (# # # # #) 1540367310.560 * * * [misc]regime-changes: Trying 2 branch expressions: (x (fabs x)) 1540367310.560 * * * * [misc]regimes: Trying to branch on x from (# # # # #) 1540367310.635 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # # #) 1540367310.708 * * * [misc]regime: Found split indices: #