1545819313.705 * [misc]progress: [Phase 1 of 3] Setting up. 1545819313.705 * * * [misc]progress: [1/2] Preparing points 1545819313.705 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545819313.888 * * * * [misc]points: Filtering points with unrepresentable outputs 1545819313.888 * * * * [misc]points: Sampling 107 additional inputs, on iter 1 have 149 / 256 1545819313.955 * * * * [misc]points: Filtering points with unrepresentable outputs 1545819313.955 * * * * [misc]points: Sampling 48 additional inputs, on iter 2 have 208 / 256 1545819313.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1545819313.990 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1545819314.009 * * * * [misc]points: Filtering points with unrepresentable outputs 1545819314.010 * * * * [misc]points: Sampling 6 additional inputs, on iter 4 have 250 / 256 1545819314.021 * * * * [misc]points: Filtering points with unrepresentable outputs 1545819314.021 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1545819314.062 * * * * [misc]points: Filtering points with unrepresentable outputs 1545819314.062 * * * * [exit]points: Sampled 256 points with exact outputs 1545819314.063 * * * [misc]progress: [2/2] Setting up program. 1545819314.070 * [misc]progress: [Phase 2 of 3] Improving. 1545819314.070 * [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)))))) 1545819314.070 * * [misc]simplify: iters left: 6 (28 enodes) 1545819314.079 * * [misc]simplify: iters left: 5 (75 enodes) 1545819314.094 * * [misc]simplify: iters left: 4 (219 enodes) 1545819314.287 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI)))))) 1545819314.318 * * [misc]progress: iteration 1 / 4 1545819314.318 * * * [misc]progress: picking best candidate 1545819314.337 * * * * [misc]pick: Picked # 1545819314.337 * * * [misc]progress: localizing error 1545819314.394 * * * [misc]progress: generating rewritten candidates 1545819314.394 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2 2 2) 1545819314.394 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1545819314.394 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1545819314.396 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 3 2) 1545819314.398 * * * [misc]progress: generating series expansions 1545819314.398 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2 2 2) 1545819314.398 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1545819314.398 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1) 1545819314.398 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819314.398 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs x)) in (x) around 0 1545819314.398 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819314.398 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819314.398 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819314.398 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819314.398 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819314.398 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819314.398 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819314.398 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819314.398 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819314.398 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819314.398 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819314.398 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819314.399 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs x))) into 0 1545819314.399 * [misc]backup-simplify: Simplify 0 into 0 1545819314.399 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545819314.399 * [misc]backup-simplify: Simplify 0 into 0 1545819314.399 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545819314.399 * [misc]backup-simplify: Simplify 0 into 0 1545819314.400 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545819314.400 * [misc]backup-simplify: Simplify 0 into 0 1545819314.400 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545819314.400 * [misc]backup-simplify: Simplify 0 into 0 1545819314.401 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545819314.401 * [misc]backup-simplify: Simplify 0 into 0 1545819314.401 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819314.401 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819314.401 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in (x) around 0 1545819314.401 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819314.401 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819314.401 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819314.401 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819314.401 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819314.401 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819314.401 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819314.401 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819314.401 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819314.401 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819314.401 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819314.401 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819314.401 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ 1 x)))) into 0 1545819314.401 * [misc]backup-simplify: Simplify 0 into 0 1545819314.402 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545819314.402 * [misc]backup-simplify: Simplify 0 into 0 1545819314.402 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545819314.402 * [misc]backup-simplify: Simplify 0 into 0 1545819314.402 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545819314.402 * [misc]backup-simplify: Simplify 0 into 0 1545819314.403 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545819314.403 * [misc]backup-simplify: Simplify 0 into 0 1545819314.403 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545819314.403 * [misc]backup-simplify: Simplify 0 into 0 1545819314.404 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (/ 1 x)))) into (* 1/5 (fabs x)) 1545819314.404 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (- x)))) into (* 1/5 (fabs (/ -1 x))) 1545819314.404 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in (x) around 0 1545819314.404 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819314.404 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819314.404 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819314.404 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819314.404 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819314.404 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819314.404 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819314.404 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819314.404 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819314.404 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819314.404 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819314.404 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819314.404 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ -1 x)))) into 0 1545819314.404 * [misc]backup-simplify: Simplify 0 into 0 1545819314.404 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545819314.404 * [misc]backup-simplify: Simplify 0 into 0 1545819314.405 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545819314.405 * [misc]backup-simplify: Simplify 0 into 0 1545819314.405 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545819314.405 * [misc]backup-simplify: Simplify 0 into 0 1545819314.406 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545819314.406 * [misc]backup-simplify: Simplify 0 into 0 1545819314.406 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545819314.406 * [misc]backup-simplify: Simplify 0 into 0 1545819314.406 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 (/ 1 (- x))))) into (* 1/5 (fabs x)) 1545819314.406 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 3 2) 1545819314.407 * [misc]backup-simplify: Simplify (* 1/21 (/ (fabs x) (sqrt PI))) into (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819314.407 * [misc]approximate: Taking taylor expansion of (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) in (x) around 0 1545819314.407 * [misc]taylor: Taking taylor expansion of (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) in x 1545819314.407 * [misc]taylor: Taking taylor expansion of 1/21 in x 1545819314.407 * [misc]backup-simplify: Simplify 1/21 into 1/21 1545819314.407 * [misc]taylor: Taking taylor expansion of (* (fabs x) (sqrt (/ 1 PI))) in x 1545819314.407 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819314.407 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819314.407 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1545819314.407 * [misc]taylor: Taking taylor expansion of (/ 1 PI) in x 1545819314.407 * [misc]taylor: Taking taylor expansion of PI in x 1545819314.407 * [misc]backup-simplify: Simplify PI into PI 1545819314.407 * [misc]backup-simplify: Simplify (/ 1 PI) into (/ 1 PI) 1545819314.408 * [misc]backup-simplify: Simplify (sqrt (/ 1 PI)) into (sqrt (/ 1 PI)) 1545819314.408 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0 1545819314.409 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.409 * [misc]taylor: Taking taylor expansion of (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) in x 1545819314.409 * [misc]taylor: Taking taylor expansion of 1/21 in x 1545819314.409 * [misc]backup-simplify: Simplify 1/21 into 1/21 1545819314.409 * [misc]taylor: Taking taylor expansion of (* (fabs x) (sqrt (/ 1 PI))) in x 1545819314.409 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819314.409 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819314.409 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1545819314.409 * [misc]taylor: Taking taylor expansion of (/ 1 PI) in x 1545819314.409 * [misc]taylor: Taking taylor expansion of PI in x 1545819314.409 * [misc]backup-simplify: Simplify PI into PI 1545819314.409 * [misc]backup-simplify: Simplify (/ 1 PI) into (/ 1 PI) 1545819314.410 * [misc]backup-simplify: Simplify (sqrt (/ 1 PI)) into (sqrt (/ 1 PI)) 1545819314.410 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0 1545819314.411 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.411 * [misc]backup-simplify: Simplify (* (fabs x) (sqrt (/ 1 PI))) into (* (fabs x) (sqrt (/ 1 PI))) 1545819314.412 * [misc]backup-simplify: Simplify (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) into (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819314.412 * [misc]backup-simplify: Simplify (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) into (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819314.413 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (sqrt (/ 1 PI)))) into 0 1545819314.413 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (* 0 (* (fabs x) (sqrt (/ 1 PI))))) into 0 1545819314.413 * [misc]backup-simplify: Simplify 0 into 0 1545819314.414 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.416 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.417 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI))))) into 0 1545819314.417 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt (/ 1 PI)))))) into 0 1545819314.417 * [misc]backup-simplify: Simplify 0 into 0 1545819314.419 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.420 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.421 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI)))))) into 0 1545819314.421 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt (/ 1 PI))))))) into 0 1545819314.421 * [misc]backup-simplify: Simplify 0 into 0 1545819314.423 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.424 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.426 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI))))))) into 0 1545819314.427 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt (/ 1 PI)))))))) into 0 1545819314.427 * [misc]backup-simplify: Simplify 0 into 0 1545819314.431 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.432 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.435 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI)))))))) into 0 1545819314.437 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt (/ 1 PI))))))))) into 0 1545819314.437 * [misc]backup-simplify: Simplify 0 into 0 1545819314.441 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.452 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.456 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI))))))))) into 0 1545819314.457 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs x) (sqrt (/ 1 PI)))))))))) into 0 1545819314.457 * [misc]backup-simplify: Simplify 0 into 0 1545819314.458 * [misc]backup-simplify: Simplify (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) into (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819314.459 * [misc]backup-simplify: Simplify (* 1/21 (/ (fabs (/ 1 x)) (sqrt PI))) into (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) 1545819314.459 * [misc]approximate: Taking taylor expansion of (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) in (x) around 0 1545819314.459 * [misc]taylor: Taking taylor expansion of (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) in x 1545819314.459 * [misc]taylor: Taking taylor expansion of 1/21 in x 1545819314.459 * [misc]backup-simplify: Simplify 1/21 into 1/21 1545819314.459 * [misc]taylor: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt (/ 1 PI))) in x 1545819314.459 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819314.459 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819314.459 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1545819314.459 * [misc]taylor: Taking taylor expansion of (/ 1 PI) in x 1545819314.459 * [misc]taylor: Taking taylor expansion of PI in x 1545819314.459 * [misc]backup-simplify: Simplify PI into PI 1545819314.459 * [misc]backup-simplify: Simplify (/ 1 PI) into (/ 1 PI) 1545819314.460 * [misc]backup-simplify: Simplify (sqrt (/ 1 PI)) into (sqrt (/ 1 PI)) 1545819314.461 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0 1545819314.462 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.462 * [misc]taylor: Taking taylor expansion of (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) in x 1545819314.462 * [misc]taylor: Taking taylor expansion of 1/21 in x 1545819314.462 * [misc]backup-simplify: Simplify 1/21 into 1/21 1545819314.462 * [misc]taylor: Taking taylor expansion of (* (fabs (/ 1 x)) (sqrt (/ 1 PI))) in x 1545819314.462 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819314.462 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819314.462 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1545819314.462 * [misc]taylor: Taking taylor expansion of (/ 1 PI) in x 1545819314.462 * [misc]taylor: Taking taylor expansion of PI in x 1545819314.463 * [misc]backup-simplify: Simplify PI into PI 1545819314.463 * [misc]backup-simplify: Simplify (/ 1 PI) into (/ 1 PI) 1545819314.463 * [misc]backup-simplify: Simplify (sqrt (/ 1 PI)) into (sqrt (/ 1 PI)) 1545819314.465 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0 1545819314.466 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.466 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (sqrt (/ 1 PI))) into (* (fabs (/ 1 x)) (sqrt (/ 1 PI))) 1545819314.467 * [misc]backup-simplify: Simplify (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) into (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) 1545819314.468 * [misc]backup-simplify: Simplify (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) into (* 1/21 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))) 1545819314.469 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (sqrt (/ 1 PI)))) into 0 1545819314.469 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (* 0 (* (fabs (/ 1 x)) (sqrt (/ 1 PI))))) into 0 1545819314.469 * [misc]backup-simplify: Simplify 0 into 0 1545819314.471 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.473 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.474 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI))))) into 0 1545819314.475 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (* 0 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))))) into 0 1545819314.475 * [misc]backup-simplify: Simplify 0 into 0 1545819314.478 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.479 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.481 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI)))))) into 0 1545819314.482 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs (/ 1 x)) (sqrt (/ 1 PI))))))) into 0 1545819314.482 * [misc]backup-simplify: Simplify 0 into 0 1545819314.485 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.487 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.489 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI))))))) into 0 1545819314.491 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))))))) into 0 1545819314.491 * [misc]backup-simplify: Simplify 0 into 0 1545819314.494 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.496 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.499 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI)))))))) into 0 1545819314.500 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs (/ 1 x)) (sqrt (/ 1 PI))))))))) into 0 1545819314.500 * [misc]backup-simplify: Simplify 0 into 0 1545819314.504 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.507 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.510 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ 1 PI))))))))) into 0 1545819314.512 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (fabs (/ 1 x)) (sqrt (/ 1 PI)))))))))) into 0 1545819314.512 * [misc]backup-simplify: Simplify 0 into 0 1545819314.512 * [misc]backup-simplify: Simplify (* 1/21 (* (fabs (/ 1 (/ 1 x))) (sqrt (/ 1 PI)))) into (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819314.513 * [misc]backup-simplify: Simplify (* 1/21 (/ (fabs (/ 1 (- x))) (sqrt PI))) into (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) 1545819314.513 * [misc]approximate: Taking taylor expansion of (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) in (x) around 0 1545819314.513 * [misc]taylor: Taking taylor expansion of (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) in x 1545819314.513 * [misc]taylor: Taking taylor expansion of 1/21 in x 1545819314.513 * [misc]backup-simplify: Simplify 1/21 into 1/21 1545819314.513 * [misc]taylor: Taking taylor expansion of (* (sqrt (/ 1 PI)) (fabs (/ -1 x))) in x 1545819314.513 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1545819314.513 * [misc]taylor: Taking taylor expansion of (/ 1 PI) in x 1545819314.513 * [misc]taylor: Taking taylor expansion of PI in x 1545819314.513 * [misc]backup-simplify: Simplify PI into PI 1545819314.513 * [misc]backup-simplify: Simplify (/ 1 PI) into (/ 1 PI) 1545819314.514 * [misc]backup-simplify: Simplify (sqrt (/ 1 PI)) into (sqrt (/ 1 PI)) 1545819314.515 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0 1545819314.516 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.516 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819314.516 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819314.516 * [misc]taylor: Taking taylor expansion of (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) in x 1545819314.516 * [misc]taylor: Taking taylor expansion of 1/21 in x 1545819314.516 * [misc]backup-simplify: Simplify 1/21 into 1/21 1545819314.516 * [misc]taylor: Taking taylor expansion of (* (sqrt (/ 1 PI)) (fabs (/ -1 x))) in x 1545819314.516 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1545819314.516 * [misc]taylor: Taking taylor expansion of (/ 1 PI) in x 1545819314.516 * [misc]taylor: Taking taylor expansion of PI in x 1545819314.516 * [misc]backup-simplify: Simplify PI into PI 1545819314.517 * [misc]backup-simplify: Simplify (/ 1 PI) into (/ 1 PI) 1545819314.517 * [misc]backup-simplify: Simplify (sqrt (/ 1 PI)) into (sqrt (/ 1 PI)) 1545819314.518 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)))) into 0 1545819314.519 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.519 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819314.520 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819314.520 * [misc]backup-simplify: Simplify (* (sqrt (/ 1 PI)) (fabs (/ -1 x))) into (* (sqrt (/ 1 PI)) (fabs (/ -1 x))) 1545819314.521 * [misc]backup-simplify: Simplify (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) into (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) 1545819314.521 * [misc]backup-simplify: Simplify (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) into (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))) 1545819314.522 * [misc]backup-simplify: Simplify (+ (* (sqrt (/ 1 PI)) 0) (* 0 (fabs (/ -1 x)))) into 0 1545819314.523 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (* 0 (* (sqrt (/ 1 PI)) (fabs (/ -1 x))))) into 0 1545819314.523 * [misc]backup-simplify: Simplify 0 into 0 1545819314.525 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.526 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.527 * [misc]backup-simplify: Simplify (+ (* (sqrt (/ 1 PI)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545819314.528 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (* 0 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))))) into 0 1545819314.528 * [misc]backup-simplify: Simplify 0 into 0 1545819314.531 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.532 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.533 * [misc]backup-simplify: Simplify (+ (* (sqrt (/ 1 PI)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545819314.534 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sqrt (/ 1 PI)) (fabs (/ -1 x))))))) into 0 1545819314.534 * [misc]backup-simplify: Simplify 0 into 0 1545819314.537 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.539 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.541 * [misc]backup-simplify: Simplify (+ (* (sqrt (/ 1 PI)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545819314.542 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))))))) into 0 1545819314.542 * [misc]backup-simplify: Simplify 0 into 0 1545819314.545 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.547 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.548 * [misc]backup-simplify: Simplify (+ (* (sqrt (/ 1 PI)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545819314.549 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sqrt (/ 1 PI)) (fabs (/ -1 x))))))))) into 0 1545819314.549 * [misc]backup-simplify: Simplify 0 into 0 1545819314.553 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 PI) (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)) (* 0 (/ 0 PI)))) into 0 1545819314.555 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 PI)))) into 0 1545819314.557 * [misc]backup-simplify: Simplify (+ (* (sqrt (/ 1 PI)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545819314.558 * [misc]backup-simplify: Simplify (+ (* 1/21 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sqrt (/ 1 PI)) (fabs (/ -1 x)))))))))) into 0 1545819314.558 * [misc]backup-simplify: Simplify 0 into 0 1545819314.559 * [misc]backup-simplify: Simplify (* 1/21 (* (sqrt (/ 1 PI)) (fabs (/ -1 (/ 1 (- x)))))) into (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819314.559 * * * [misc]progress: simplifying candidates 1545819314.559 * * * * [misc]progress: [ 1 / 65 ] simplifiying candidate # 1545819314.559 * * * * [misc]progress: [ 2 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 3 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 4 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 5 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 6 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 7 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 8 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 9 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 10 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 11 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 12 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 13 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 14 / 65 ] simplifiying candidate # 1545819314.560 * * * * [misc]progress: [ 15 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 16 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 17 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 18 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 19 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 20 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 21 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 22 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 23 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 24 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 25 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 26 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 27 / 65 ] simplifiying candidate # 1545819314.561 * * * * [misc]progress: [ 28 / 65 ] simplifiying candidate # 1545819314.562 * * * * [misc]progress: [ 29 / 65 ] simplifiying candidate # 1545819314.562 * * * * [misc]progress: [ 30 / 65 ] simplifiying candidate # 1545819314.562 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545819314.562 * * [misc]simplify: iters left: 2 (3 enodes) 1545819314.563 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545819314.563 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* (* 1/5 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI))))))) 1545819314.563 * * * * [misc]progress: [ 31 / 65 ] simplifiying candidate # 1545819314.564 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545819314.564 * * [misc]simplify: iters left: 2 (3 enodes) 1545819314.564 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545819314.565 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* (* 1/5 (sqrt (fabs x))) (sqrt (fabs x))) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI))))))) 1545819314.565 * * * * [misc]progress: [ 32 / 65 ] simplifiying candidate # 1545819314.565 * [enter]simplify: Simplifying (fabs x) 1545819314.565 * * [misc]simplify: iters left: 1 (2 enodes) 1545819314.565 * [exit]simplify: Simplified to (fabs x) 1545819314.566 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* (* 1/5 1) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI))))))) 1545819314.566 * * * * [misc]progress: [ 33 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 34 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 35 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 36 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 37 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 38 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 39 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 40 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 41 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 42 / 65 ] simplifiying candidate # 1545819314.566 * * * * [misc]progress: [ 43 / 65 ] simplifiying candidate # 1545819314.567 * [enter]simplify: Simplifying (cbrt (/ (fabs x) (sqrt PI))) 1545819314.567 * * [misc]simplify: iters left: 4 (6 enodes) 1545819314.568 * [exit]simplify: Simplified to (cbrt (/ (fabs x) (sqrt PI))) 1545819314.569 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (* (cbrt (/ (fabs x) (sqrt PI))) (cbrt (/ (fabs x) (sqrt PI))))) (cbrt (/ (fabs x) (sqrt PI)))))))) 1545819314.569 * * * * [misc]progress: [ 44 / 65 ] simplifiying candidate # 1545819314.569 * [enter]simplify: Simplifying (sqrt (/ (fabs x) (sqrt PI))) 1545819314.569 * * [misc]simplify: iters left: 4 (6 enodes) 1545819314.571 * [exit]simplify: Simplified to (sqrt (/ (fabs x) (sqrt PI))) 1545819314.571 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (sqrt (/ (fabs x) (sqrt PI)))) (sqrt (/ (fabs x) (sqrt PI)))))))) 1545819314.571 * * * * [misc]progress: [ 45 / 65 ] simplifiying candidate # 1545819314.571 * [enter]simplify: Simplifying (/ (cbrt (fabs x)) (cbrt (sqrt PI))) 1545819314.571 * * [misc]simplify: iters left: 4 (7 enodes) 1545819314.573 * [exit]simplify: Simplified to (/ (cbrt (fabs x)) (cbrt (sqrt PI))) 1545819314.573 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (/ (cbrt (fabs x)) (cbrt (sqrt PI)))))))) 1545819314.573 * * * * [misc]progress: [ 46 / 65 ] simplifiying candidate # 1545819314.573 * [enter]simplify: Simplifying (/ (cbrt (fabs x)) (sqrt (sqrt PI))) 1545819314.574 * * [misc]simplify: iters left: 4 (7 enodes) 1545819314.576 * [exit]simplify: Simplified to (/ (cbrt (fabs x)) (sqrt (sqrt PI))) 1545819314.576 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (sqrt (sqrt PI)))) (/ (cbrt (fabs x)) (sqrt (sqrt PI)))))))) 1545819314.576 * * * * [misc]progress: [ 47 / 65 ] simplifiying candidate # 1545819314.576 * [enter]simplify: Simplifying (/ (cbrt (fabs x)) (sqrt PI)) 1545819314.576 * * [misc]simplify: iters left: 4 (6 enodes) 1545819314.578 * [exit]simplify: Simplified to (/ (cbrt (fabs x)) (sqrt PI)) 1545819314.578 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ (* (cbrt (fabs x)) (cbrt (fabs x))) 1)) (/ (cbrt (fabs x)) (sqrt PI))))))) 1545819314.578 * * * * [misc]progress: [ 48 / 65 ] simplifiying candidate # 1545819314.578 * [enter]simplify: Simplifying (/ (sqrt (fabs x)) (cbrt (sqrt PI))) 1545819314.578 * * [misc]simplify: iters left: 4 (7 enodes) 1545819314.580 * [exit]simplify: Simplified to (/ (sqrt (fabs x)) (cbrt (sqrt PI))) 1545819314.581 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ (sqrt (fabs x)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (/ (sqrt (fabs x)) (cbrt (sqrt PI)))))))) 1545819314.581 * * * * [misc]progress: [ 49 / 65 ] simplifiying candidate # 1545819314.581 * [enter]simplify: Simplifying (/ (sqrt (fabs x)) (sqrt (sqrt PI))) 1545819314.581 * * [misc]simplify: iters left: 4 (7 enodes) 1545819314.583 * [exit]simplify: Simplified to (/ (sqrt (fabs x)) (sqrt (sqrt PI))) 1545819314.583 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ (sqrt (fabs x)) (sqrt (sqrt PI)))) (/ (sqrt (fabs x)) (sqrt (sqrt PI)))))))) 1545819314.583 * * * * [misc]progress: [ 50 / 65 ] simplifiying candidate # 1545819314.583 * [enter]simplify: Simplifying (/ (sqrt (fabs x)) (sqrt PI)) 1545819314.583 * * [misc]simplify: iters left: 4 (6 enodes) 1545819314.585 * [exit]simplify: Simplified to (/ (sqrt (fabs x)) (sqrt PI)) 1545819314.585 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ (sqrt (fabs x)) 1)) (/ (sqrt (fabs x)) (sqrt PI))))))) 1545819314.585 * * * * [misc]progress: [ 51 / 65 ] simplifiying candidate # 1545819314.585 * [enter]simplify: Simplifying (/ (fabs x) (cbrt (sqrt PI))) 1545819314.586 * * [misc]simplify: iters left: 4 (6 enodes) 1545819314.588 * [exit]simplify: Simplified to (/ (fabs x) (cbrt (sqrt PI))) 1545819314.588 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ 1 (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (/ (fabs x) (cbrt (sqrt PI)))))))) 1545819314.588 * * * * [misc]progress: [ 52 / 65 ] simplifiying candidate # 1545819314.588 * [enter]simplify: Simplifying (/ (fabs x) (sqrt (sqrt PI))) 1545819314.588 * * [misc]simplify: iters left: 4 (6 enodes) 1545819314.590 * [exit]simplify: Simplified to (/ (fabs x) (sqrt (sqrt PI))) 1545819314.590 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ 1 (sqrt (sqrt PI)))) (/ (fabs x) (sqrt (sqrt PI)))))))) 1545819314.590 * * * * [misc]progress: [ 53 / 65 ] simplifiying candidate # 1545819314.590 * [enter]simplify: Simplifying (/ (fabs x) (sqrt PI)) 1545819314.590 * * [misc]simplify: iters left: 3 (5 enodes) 1545819314.592 * [exit]simplify: Simplified to (/ (fabs x) (sqrt PI)) 1545819314.592 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (/ 1 1)) (/ (fabs x) (sqrt PI))))))) 1545819314.592 * * * * [misc]progress: [ 54 / 65 ] simplifiying candidate # 1545819314.592 * [enter]simplify: Simplifying (/ (fabs x) (sqrt PI)) 1545819314.592 * * [misc]simplify: iters left: 3 (5 enodes) 1545819314.594 * [exit]simplify: Simplified to (/ (fabs x) (sqrt PI)) 1545819314.594 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 1) (/ (fabs x) (sqrt PI))))))) 1545819314.594 * * * * [misc]progress: [ 55 / 65 ] simplifiying candidate # 1545819314.594 * [enter]simplify: Simplifying (/ 1 (sqrt PI)) 1545819314.594 * * [misc]simplify: iters left: 3 (4 enodes) 1545819314.595 * * [misc]simplify: iters left: 2 (6 enodes) 1545819314.597 * [exit]simplify: Simplified to (/ 1 (sqrt PI)) 1545819314.597 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (fabs x)) (/ 1 (sqrt PI))))))) 1545819314.597 * * * * [misc]progress: [ 56 / 65 ] simplifiying candidate # 1545819314.597 * [enter]simplify: Simplifying (sqrt PI) 1545819314.597 * * [misc]simplify: iters left: 1 (2 enodes) 1545819314.598 * [exit]simplify: Simplified to (sqrt PI) 1545819314.598 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (/ (* 1/21 (fabs x)) (sqrt PI)))))) 1545819314.598 * * * * [misc]progress: [ 57 / 65 ] simplifiying candidate # 1545819314.598 * * * * [misc]progress: [ 58 / 65 ] simplifiying candidate # 1545819314.598 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI)))))) 1545819314.599 * * [misc]simplify: iters left: 6 (24 enodes) 1545819314.606 * * [misc]simplify: iters left: 5 (51 enodes) 1545819314.625 * * [misc]simplify: iters left: 4 (123 enodes) 1545819314.657 * * [misc]simplify: iters left: 3 (400 enodes) 1545819314.923 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x)))))) 1545819314.923 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819314.923 * * * * [misc]progress: [ 59 / 65 ] simplifiying candidate # 1545819314.924 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI)))))) 1545819314.924 * * [misc]simplify: iters left: 6 (24 enodes) 1545819314.927 * * [misc]simplify: iters left: 5 (51 enodes) 1545819314.936 * * [misc]simplify: iters left: 4 (123 enodes) 1545819315.003 * * [misc]simplify: iters left: 3 (400 enodes) 1545819315.332 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x)))))) 1545819315.332 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819315.332 * * * * [misc]progress: [ 60 / 65 ] simplifiying candidate # 1545819315.332 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819315.332 * * [misc]simplify: iters left: 3 (4 enodes) 1545819315.333 * * [misc]simplify: iters left: 2 (5 enodes) 1545819315.335 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819315.335 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI))))))) 1545819315.335 * * * * [misc]progress: [ 61 / 65 ] simplifiying candidate # 1545819315.335 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819315.335 * * [misc]simplify: iters left: 3 (4 enodes) 1545819315.336 * * [misc]simplify: iters left: 2 (5 enodes) 1545819315.338 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819315.338 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI))))))) 1545819315.338 * * * * [misc]progress: [ 62 / 65 ] simplifiying candidate # 1545819315.338 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819315.338 * * [misc]simplify: iters left: 3 (4 enodes) 1545819315.340 * * [misc]simplify: iters left: 2 (5 enodes) 1545819315.341 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819315.341 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* 1/21 (/ (fabs x) (sqrt PI))))))) 1545819315.341 * * * * [misc]progress: [ 63 / 65 ] simplifiying candidate # 1545819315.341 * [enter]simplify: Simplifying (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819315.341 * * [misc]simplify: iters left: 6 (9 enodes) 1545819315.344 * * [misc]simplify: iters left: 5 (15 enodes) 1545819315.348 * * [misc]simplify: iters left: 4 (21 enodes) 1545819315.354 * * [misc]simplify: iters left: 3 (22 enodes) 1545819315.359 * [exit]simplify: Simplified to (* (* 1/21 (fabs x)) (sqrt (/ 1 PI))) 1545819315.359 * [misc]simplify: Simplified (2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (fabs x)) (sqrt (/ 1 PI))))))) 1545819315.359 * * * * [misc]progress: [ 64 / 65 ] simplifiying candidate # 1545819315.359 * [enter]simplify: Simplifying (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819315.359 * * [misc]simplify: iters left: 6 (9 enodes) 1545819315.362 * * [misc]simplify: iters left: 5 (15 enodes) 1545819315.366 * * [misc]simplify: iters left: 4 (21 enodes) 1545819315.371 * * [misc]simplify: iters left: 3 (22 enodes) 1545819315.376 * [exit]simplify: Simplified to (* (* 1/21 (fabs x)) (sqrt (/ 1 PI))) 1545819315.376 * [misc]simplify: Simplified (2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (fabs x)) (sqrt (/ 1 PI))))))) 1545819315.377 * * * * [misc]progress: [ 65 / 65 ] simplifiying candidate # 1545819315.377 * [enter]simplify: Simplifying (* 1/21 (* (fabs x) (sqrt (/ 1 PI)))) 1545819315.377 * * [misc]simplify: iters left: 6 (9 enodes) 1545819315.379 * * [misc]simplify: iters left: 5 (15 enodes) 1545819315.383 * * [misc]simplify: iters left: 4 (21 enodes) 1545819315.387 * * [misc]simplify: iters left: 3 (22 enodes) 1545819315.394 * [exit]simplify: Simplified to (* (* 1/21 (fabs x)) (sqrt (/ 1 PI))) 1545819315.395 * [misc]simplify: Simplified (2 1 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (pow (* (fabs x) (fabs x)) 3) (* (* 1/21 (fabs x)) (sqrt (/ 1 PI))))))) 1545819315.395 * * * [misc]progress: adding candidates to table 1545819317.061 * * [misc]progress: iteration 2 / 4 1545819317.061 * * * [misc]progress: picking best candidate 1545819317.101 * * * * [misc]pick: Picked # 1545819317.102 * * * [misc]progress: localizing error 1545819317.135 * * * [misc]progress: generating rewritten candidates 1545819317.135 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 2) 1545819317.135 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1545819317.136 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 2 1) 1545819317.138 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 3) 1545819317.139 * * * [misc]progress: generating series expansions 1545819317.140 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 2) 1545819317.140 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1545819317.140 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 2 1) 1545819317.140 * [misc]backup-simplify: Simplify (* (fabs x) 1/5) into (* 1/5 (fabs x)) 1545819317.140 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs x)) in (x) around 0 1545819317.140 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819317.140 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819317.140 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819317.140 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819317.140 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819317.140 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819317.140 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819317.140 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819317.140 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819317.140 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819317.140 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819317.140 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819317.141 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs x))) into 0 1545819317.141 * [misc]backup-simplify: Simplify 0 into 0 1545819317.141 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545819317.141 * [misc]backup-simplify: Simplify 0 into 0 1545819317.142 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545819317.142 * [misc]backup-simplify: Simplify 0 into 0 1545819317.142 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545819317.142 * [misc]backup-simplify: Simplify 0 into 0 1545819317.143 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545819317.143 * [misc]backup-simplify: Simplify 0 into 0 1545819317.144 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545819317.144 * [misc]backup-simplify: Simplify 0 into 0 1545819317.144 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819317.144 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) 1/5) into (* 1/5 (fabs (/ 1 x))) 1545819317.145 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in (x) around 0 1545819317.145 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819317.145 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819317.145 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819317.145 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819317.145 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819317.145 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819317.145 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819317.145 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819317.145 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819317.145 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819317.145 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819317.145 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819317.145 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ 1 x)))) into 0 1545819317.145 * [misc]backup-simplify: Simplify 0 into 0 1545819317.146 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545819317.146 * [misc]backup-simplify: Simplify 0 into 0 1545819317.146 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545819317.146 * [misc]backup-simplify: Simplify 0 into 0 1545819317.147 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545819317.147 * [misc]backup-simplify: Simplify 0 into 0 1545819317.148 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545819317.148 * [misc]backup-simplify: Simplify 0 into 0 1545819317.148 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545819317.148 * [misc]backup-simplify: Simplify 0 into 0 1545819317.149 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (/ 1 x)))) into (* 1/5 (fabs x)) 1545819317.149 * [misc]backup-simplify: Simplify (* (fabs (/ 1 (- x))) 1/5) into (* 1/5 (fabs (/ -1 x))) 1545819317.149 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in (x) around 0 1545819317.149 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819317.149 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819317.149 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819317.149 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819317.149 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819317.149 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819317.149 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819317.149 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819317.149 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819317.149 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819317.149 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819317.149 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819317.150 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ -1 x)))) into 0 1545819317.150 * [misc]backup-simplify: Simplify 0 into 0 1545819317.150 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545819317.150 * [misc]backup-simplify: Simplify 0 into 0 1545819317.150 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545819317.150 * [misc]backup-simplify: Simplify 0 into 0 1545819317.151 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545819317.151 * [misc]backup-simplify: Simplify 0 into 0 1545819317.152 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545819317.152 * [misc]backup-simplify: Simplify 0 into 0 1545819317.153 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545819317.153 * [misc]backup-simplify: Simplify 0 into 0 1545819317.153 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 (/ 1 (- x))))) into (* 1/5 (fabs x)) 1545819317.153 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 3) 1545819317.153 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545819317.153 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs x)) in (x) around 0 1545819317.153 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545819317.153 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545819317.153 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545819317.153 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819317.153 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819317.153 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs x)) in x 1545819317.153 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545819317.153 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545819317.153 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819317.153 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819317.153 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545819317.153 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545819317.154 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs x))) into 0 1545819317.154 * [misc]backup-simplify: Simplify 0 into 0 1545819317.154 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545819317.154 * [misc]backup-simplify: Simplify 0 into 0 1545819317.154 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545819317.154 * [misc]backup-simplify: Simplify 0 into 0 1545819317.155 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545819317.155 * [misc]backup-simplify: Simplify 0 into 0 1545819317.156 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545819317.156 * [misc]backup-simplify: Simplify 0 into 0 1545819317.157 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545819317.157 * [misc]backup-simplify: Simplify 0 into 0 1545819317.157 * [misc]backup-simplify: Simplify (* 2/3 (fabs x)) into (* 2/3 (fabs x)) 1545819317.157 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545819317.157 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in (x) around 0 1545819317.157 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545819317.157 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545819317.157 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545819317.157 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819317.157 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819317.157 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ 1 x))) in x 1545819317.157 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545819317.157 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545819317.157 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819317.157 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819317.157 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545819317.157 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 x))) into (* 2/3 (fabs (/ 1 x))) 1545819317.158 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ 1 x)))) into 0 1545819317.158 * [misc]backup-simplify: Simplify 0 into 0 1545819317.158 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545819317.158 * [misc]backup-simplify: Simplify 0 into 0 1545819317.159 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545819317.159 * [misc]backup-simplify: Simplify 0 into 0 1545819317.159 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545819317.159 * [misc]backup-simplify: Simplify 0 into 0 1545819317.160 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545819317.160 * [misc]backup-simplify: Simplify 0 into 0 1545819317.161 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545819317.161 * [misc]backup-simplify: Simplify 0 into 0 1545819317.161 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (/ 1 x)))) into (* 2/3 (fabs x)) 1545819317.161 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ 1 (- x)))) into (* 2/3 (fabs (/ -1 x))) 1545819317.161 * [misc]approximate: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in (x) around 0 1545819317.161 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545819317.161 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545819317.161 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545819317.161 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819317.161 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819317.161 * [misc]taylor: Taking taylor expansion of (* 2/3 (fabs (/ -1 x))) in x 1545819317.161 * [misc]taylor: Taking taylor expansion of 2/3 in x 1545819317.161 * [misc]backup-simplify: Simplify 2/3 into 2/3 1545819317.161 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819317.161 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819317.161 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545819317.162 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 x))) into (* 2/3 (fabs (/ -1 x))) 1545819317.162 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (fabs (/ -1 x)))) into 0 1545819317.162 * [misc]backup-simplify: Simplify 0 into 0 1545819317.162 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545819317.162 * [misc]backup-simplify: Simplify 0 into 0 1545819317.163 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545819317.163 * [misc]backup-simplify: Simplify 0 into 0 1545819317.163 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545819317.163 * [misc]backup-simplify: Simplify 0 into 0 1545819317.164 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545819317.164 * [misc]backup-simplify: Simplify 0 into 0 1545819317.165 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545819317.165 * [misc]backup-simplify: Simplify 0 into 0 1545819317.165 * [misc]backup-simplify: Simplify (* 2/3 (fabs (/ -1 (/ 1 (- x))))) into (* 2/3 (fabs x)) 1545819317.165 * * * [misc]progress: simplifying candidates 1545819317.165 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1545819317.165 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1545819317.165 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1545819317.165 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1545819317.165 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1545819317.165 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1545819317.166 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1545819317.167 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1545819317.167 * [enter]simplify: Simplifying (* (cbrt (fabs x)) (cbrt (fabs x))) 1545819317.167 * * [misc]simplify: iters left: 4 (4 enodes) 1545819317.168 * [exit]simplify: Simplified to (* (cbrt (fabs x)) (cbrt (fabs x))) 1545819317.168 * [misc]simplify: Simplified (2 1 2 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (* (cbrt (fabs x)) (cbrt (fabs x))) (* (cbrt (fabs x)) 1/5)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.168 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1545819317.168 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545819317.168 * * [misc]simplify: iters left: 2 (3 enodes) 1545819317.169 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545819317.169 * [misc]simplify: Simplified (2 1 2 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (sqrt (fabs x)) (* (sqrt (fabs x)) 1/5)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.169 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1545819317.169 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1545819317.169 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545819317.169 * * [misc]simplify: iters left: 2 (3 enodes) 1545819317.170 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545819317.170 * [misc]simplify: Simplified (2 1 2 2 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* (* 2/3 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x)))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.170 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1545819317.170 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545819317.170 * * [misc]simplify: iters left: 2 (3 enodes) 1545819317.170 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545819317.170 * [misc]simplify: Simplified (2 1 2 2 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* (* 2/3 (sqrt (fabs x))) (sqrt (fabs x)))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.170 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1545819317.171 * [enter]simplify: Simplifying (fabs x) 1545819317.171 * * [misc]simplify: iters left: 1 (2 enodes) 1545819317.171 * [exit]simplify: Simplified to (fabs x) 1545819317.171 * [misc]simplify: Simplified (2 1 2 2 3 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* (* 2/3 1) (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.171 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1545819317.171 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1545819317.171 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x)))))) 1545819317.171 * * [misc]simplify: iters left: 6 (23 enodes) 1545819317.175 * * [misc]simplify: iters left: 5 (42 enodes) 1545819317.182 * * [misc]simplify: iters left: 4 (95 enodes) 1545819317.203 * * [misc]simplify: iters left: 3 (275 enodes) 1545819317.344 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21)))) 1545819317.344 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819317.344 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1545819317.344 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x)))))) 1545819317.344 * * [misc]simplify: iters left: 6 (23 enodes) 1545819317.348 * * [misc]simplify: iters left: 5 (42 enodes) 1545819317.354 * * [misc]simplify: iters left: 4 (95 enodes) 1545819317.397 * * [misc]simplify: iters left: 3 (275 enodes) 1545819317.550 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21)))) 1545819317.551 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819317.551 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1545819317.552 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819317.552 * * [misc]simplify: iters left: 3 (4 enodes) 1545819317.553 * * [misc]simplify: iters left: 2 (5 enodes) 1545819317.554 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819317.554 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.554 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1545819317.555 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819317.555 * * [misc]simplify: iters left: 3 (4 enodes) 1545819317.556 * * [misc]simplify: iters left: 2 (5 enodes) 1545819317.557 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819317.557 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.557 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1545819317.558 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819317.558 * * [misc]simplify: iters left: 3 (4 enodes) 1545819317.559 * * [misc]simplify: iters left: 2 (5 enodes) 1545819317.560 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819317.560 * [misc]simplify: Simplified (2 1 2 2 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.560 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1545819317.561 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545819317.561 * * [misc]simplify: iters left: 3 (4 enodes) 1545819317.562 * * [misc]simplify: iters left: 2 (5 enodes) 1545819317.563 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545819317.563 * [misc]simplify: Simplified (2 1 2 2 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.563 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1545819317.563 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545819317.563 * * [misc]simplify: iters left: 3 (4 enodes) 1545819317.565 * * [misc]simplify: iters left: 2 (5 enodes) 1545819317.566 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545819317.566 * [misc]simplify: Simplified (2 1 2 2 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.566 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1545819317.566 * [enter]simplify: Simplifying (* 2/3 (fabs x)) 1545819317.566 * * [misc]simplify: iters left: 3 (4 enodes) 1545819317.567 * * [misc]simplify: iters left: 2 (5 enodes) 1545819317.569 * [exit]simplify: Simplified to (* 2/3 (fabs x)) 1545819317.569 * [misc]simplify: Simplified (2 1 2 2 3) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) 2)) (* (/ (pow (fabs x) 5) (sqrt PI)) (* 1/21 (* (fabs x) (fabs x))))))) 1545819317.569 * * * [misc]progress: adding candidates to table 1545819318.890 * * [misc]progress: iteration 3 / 4 1545819318.890 * * * [misc]progress: picking best candidate 1545819318.920 * * * * [misc]pick: Picked # 1545819318.920 * * * [misc]progress: localizing error 1545819318.967 * * * [misc]progress: generating rewritten candidates 1545819318.967 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2) 1545819318.972 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 2 1) 1545819318.972 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1545819318.972 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 1) 1545819318.975 * * * [misc]progress: generating series expansions 1545819318.975 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2) 1545819318.975 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 2 1) 1545819318.975 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1545819318.975 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 1) 1545819318.975 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819318.976 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs x)) in (x) around 0 1545819318.976 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819318.976 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819318.976 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819318.976 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819318.976 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819318.976 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819318.976 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819318.976 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819318.976 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819318.976 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819318.976 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819318.976 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819318.977 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs x))) into 0 1545819318.977 * [misc]backup-simplify: Simplify 0 into 0 1545819318.977 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545819318.977 * [misc]backup-simplify: Simplify 0 into 0 1545819318.978 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545819318.978 * [misc]backup-simplify: Simplify 0 into 0 1545819318.979 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545819318.979 * [misc]backup-simplify: Simplify 0 into 0 1545819318.979 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545819318.979 * [misc]backup-simplify: Simplify 0 into 0 1545819318.980 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545819318.980 * [misc]backup-simplify: Simplify 0 into 0 1545819318.980 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819318.981 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819318.981 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in (x) around 0 1545819318.981 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819318.981 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819318.981 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819318.981 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819318.981 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819318.981 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819318.981 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819318.981 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819318.981 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819318.981 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819318.981 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819318.981 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819318.981 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ 1 x)))) into 0 1545819318.981 * [misc]backup-simplify: Simplify 0 into 0 1545819318.982 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545819318.982 * [misc]backup-simplify: Simplify 0 into 0 1545819318.982 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545819318.982 * [misc]backup-simplify: Simplify 0 into 0 1545819318.983 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545819318.983 * [misc]backup-simplify: Simplify 0 into 0 1545819318.984 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545819318.984 * [misc]backup-simplify: Simplify 0 into 0 1545819318.985 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545819318.985 * [misc]backup-simplify: Simplify 0 into 0 1545819318.985 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (/ 1 x)))) into (* 1/5 (fabs x)) 1545819318.985 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (- x)))) into (* 1/5 (fabs (/ -1 x))) 1545819318.985 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in (x) around 0 1545819318.985 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819318.985 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819318.986 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819318.986 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819318.986 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819318.986 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819318.986 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819318.986 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819318.986 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819318.986 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819318.986 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819318.986 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819318.986 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ -1 x)))) into 0 1545819318.986 * [misc]backup-simplify: Simplify 0 into 0 1545819318.987 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545819318.987 * [misc]backup-simplify: Simplify 0 into 0 1545819318.987 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545819318.987 * [misc]backup-simplify: Simplify 0 into 0 1545819318.988 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545819318.988 * [misc]backup-simplify: Simplify 0 into 0 1545819318.989 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545819318.989 * [misc]backup-simplify: Simplify 0 into 0 1545819318.990 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545819318.990 * [misc]backup-simplify: Simplify 0 into 0 1545819318.990 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 (/ 1 (- x))))) into (* 1/5 (fabs x)) 1545819318.990 * * * [misc]progress: simplifying candidates 1545819318.990 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1545819318.990 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1545819318.991 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1545819318.991 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1545819318.991 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1545819318.991 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1545819318.991 * [enter]simplify: Simplifying (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) 1545819318.991 * * [misc]simplify: iters left: 4 (4 enodes) 1545819318.992 * [exit]simplify: Simplified to (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) 1545819318.993 * [misc]simplify: Simplified (2 1 3 2 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (/ 1/21 (cbrt (sqrt PI)))))))) 1545819318.993 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1545819318.993 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1545819318.993 * * [misc]simplify: iters left: 2 (3 enodes) 1545819318.994 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1545819318.994 * [misc]simplify: Simplified (2 1 3 2 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt (sqrt PI)) (/ 1/21 (sqrt (sqrt PI)))))))) 1545819318.994 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1545819318.994 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1545819318.994 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1545819318.994 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1545819318.994 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1545819318.994 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1545819318.994 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1545819318.994 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1545819318.995 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1545819318.996 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1545819318.996 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545819318.997 * * [misc]simplify: iters left: 2 (3 enodes) 1545819318.997 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545819318.997 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* (* 1/5 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819318.998 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1545819318.998 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545819318.998 * * [misc]simplify: iters left: 2 (3 enodes) 1545819318.999 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545819318.999 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* (* 1/5 (sqrt (fabs x))) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819318.999 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1545819318.999 * [enter]simplify: Simplifying (fabs x) 1545819318.999 * * [misc]simplify: iters left: 1 (2 enodes) 1545819319.000 * [exit]simplify: Simplified to (fabs x) 1545819319.000 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* (* 1/5 1) (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819319.000 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1545819319.000 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1545819319.000 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21)))) 1545819319.000 * * [misc]simplify: iters left: 6 (23 enodes) 1545819319.007 * * [misc]simplify: iters left: 5 (39 enodes) 1545819319.019 * * [misc]simplify: iters left: 4 (75 enodes) 1545819319.047 * * [misc]simplify: iters left: 3 (187 enodes) 1545819319.114 * * [misc]simplify: iters left: 2 (462 enodes) 1545819319.443 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (/ (pow (fabs x) 7) (/ (sqrt PI) 1/21)))) 1545819319.443 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (/ (pow (fabs x) 7) (/ (sqrt PI) 1/21))))) 1545819319.443 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1545819319.444 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21)))) 1545819319.444 * * [misc]simplify: iters left: 6 (23 enodes) 1545819319.447 * * [misc]simplify: iters left: 5 (39 enodes) 1545819319.454 * * [misc]simplify: iters left: 4 (75 enodes) 1545819319.472 * * [misc]simplify: iters left: 3 (187 enodes) 1545819319.572 * * [misc]simplify: iters left: 2 (462 enodes) 1545819319.901 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (/ (pow (fabs x) 7) (/ (sqrt PI) 1/21)))) 1545819319.901 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (/ (pow (fabs x) 7) (/ (sqrt PI) 1/21))))) 1545819319.901 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1545819319.901 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21)))) 1545819319.902 * * [misc]simplify: iters left: 6 (23 enodes) 1545819319.909 * * [misc]simplify: iters left: 5 (39 enodes) 1545819319.922 * * [misc]simplify: iters left: 4 (75 enodes) 1545819319.951 * * [misc]simplify: iters left: 3 (187 enodes) 1545819320.029 * * [misc]simplify: iters left: 2 (462 enodes) 1545819320.335 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (/ (pow (fabs x) 7) (/ (sqrt PI) 1/21)))) 1545819320.335 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (/ (pow (fabs x) 7) (/ (sqrt PI) 1/21))))) 1545819320.335 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1545819320.335 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819320.335 * * [misc]simplify: iters left: 3 (4 enodes) 1545819320.336 * * [misc]simplify: iters left: 2 (5 enodes) 1545819320.338 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819320.338 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819320.338 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1545819320.338 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819320.338 * * [misc]simplify: iters left: 3 (4 enodes) 1545819320.339 * * [misc]simplify: iters left: 2 (5 enodes) 1545819320.345 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819320.345 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819320.345 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1545819320.345 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819320.345 * * [misc]simplify: iters left: 3 (4 enodes) 1545819320.346 * * [misc]simplify: iters left: 2 (5 enodes) 1545819320.348 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819320.348 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819320.348 * * * [misc]progress: adding candidates to table 1545819321.752 * * [misc]progress: iteration 4 / 4 1545819321.752 * * * [misc]progress: picking best candidate 1545819321.773 * * * * [misc]pick: Picked # 1545819321.773 * * * [misc]progress: localizing error 1545819321.775 * * * [misc]progress: generating rewritten candidates 1545819321.775 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2) 1545819321.780 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 2 1) 1545819321.780 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1545819321.780 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 1) 1545819321.782 * * * [misc]progress: generating series expansions 1545819321.782 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2) 1545819321.782 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 2 1) 1545819321.782 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1545819321.782 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 1) 1545819321.782 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819321.782 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs x)) in (x) around 0 1545819321.782 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819321.782 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819321.782 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819321.782 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819321.782 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819321.782 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1545819321.782 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819321.782 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819321.782 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1545819321.782 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1545819321.783 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819321.783 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819321.783 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs x))) into 0 1545819321.783 * [misc]backup-simplify: Simplify 0 into 0 1545819321.783 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1545819321.783 * [misc]backup-simplify: Simplify 0 into 0 1545819321.783 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1545819321.784 * [misc]backup-simplify: Simplify 0 into 0 1545819321.784 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1545819321.784 * [misc]backup-simplify: Simplify 0 into 0 1545819321.784 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1545819321.784 * [misc]backup-simplify: Simplify 0 into 0 1545819321.785 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1545819321.785 * [misc]backup-simplify: Simplify 0 into 0 1545819321.785 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1545819321.785 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819321.785 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in (x) around 0 1545819321.785 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819321.785 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819321.785 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819321.785 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819321.785 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819321.785 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1545819321.785 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819321.785 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819321.785 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1545819321.785 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1545819321.785 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819321.785 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1545819321.786 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ 1 x)))) into 0 1545819321.786 * [misc]backup-simplify: Simplify 0 into 0 1545819321.786 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1545819321.786 * [misc]backup-simplify: Simplify 0 into 0 1545819321.786 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1545819321.786 * [misc]backup-simplify: Simplify 0 into 0 1545819321.787 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1545819321.787 * [misc]backup-simplify: Simplify 0 into 0 1545819321.787 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1545819321.787 * [misc]backup-simplify: Simplify 0 into 0 1545819321.788 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1545819321.788 * [misc]backup-simplify: Simplify 0 into 0 1545819321.789 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (/ 1 x)))) into (* 1/5 (fabs x)) 1545819321.789 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (- x)))) into (* 1/5 (fabs (/ -1 x))) 1545819321.789 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in (x) around 0 1545819321.789 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819321.789 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819321.789 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819321.789 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819321.789 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819321.789 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1545819321.789 * [misc]taylor: Taking taylor expansion of 1/5 in x 1545819321.789 * [misc]backup-simplify: Simplify 1/5 into 1/5 1545819321.789 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1545819321.789 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1545819321.789 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819321.789 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1545819321.790 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ -1 x)))) into 0 1545819321.790 * [misc]backup-simplify: Simplify 0 into 0 1545819321.790 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1545819321.790 * [misc]backup-simplify: Simplify 0 into 0 1545819321.791 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1545819321.791 * [misc]backup-simplify: Simplify 0 into 0 1545819321.791 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1545819321.791 * [misc]backup-simplify: Simplify 0 into 0 1545819321.792 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1545819321.792 * [misc]backup-simplify: Simplify 0 into 0 1545819321.793 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1545819321.793 * [misc]backup-simplify: Simplify 0 into 0 1545819321.793 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 (/ 1 (- x))))) into (* 1/5 (fabs x)) 1545819321.793 * * * [misc]progress: simplifying candidates 1545819321.793 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1545819321.793 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1545819321.793 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1545819321.793 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1545819321.793 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1545819321.793 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1545819321.794 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1545819321.794 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1545819321.794 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1545819321.794 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1545819321.794 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1545819321.794 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1545819321.794 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1545819321.794 * [enter]simplify: Simplifying (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) 1545819321.794 * * [misc]simplify: iters left: 4 (4 enodes) 1545819321.796 * [exit]simplify: Simplified to (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) 1545819321.796 * [misc]simplify: Simplified (2 1 3 2 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (/ 1/21 (cbrt (sqrt PI)))))))) 1545819321.796 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1545819321.796 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1545819321.796 * * [misc]simplify: iters left: 2 (3 enodes) 1545819321.797 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1545819321.797 * [misc]simplify: Simplified (2 1 3 2 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt (sqrt PI)) (/ 1/21 (sqrt (sqrt PI)))))))) 1545819321.797 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1545819321.797 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1545819321.797 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1545819321.797 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1545819321.797 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1545819321.798 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1545819321.799 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1545819321.800 * [enter]simplify: Simplifying (cbrt (fabs x)) 1545819321.800 * * [misc]simplify: iters left: 2 (3 enodes) 1545819321.801 * [exit]simplify: Simplified to (cbrt (fabs x)) 1545819321.801 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* (* 1/5 (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.801 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1545819321.801 * [enter]simplify: Simplifying (sqrt (fabs x)) 1545819321.801 * * [misc]simplify: iters left: 2 (3 enodes) 1545819321.802 * [exit]simplify: Simplified to (sqrt (fabs x)) 1545819321.802 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* (* 1/5 (sqrt (fabs x))) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.802 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1545819321.802 * [enter]simplify: Simplifying (fabs x) 1545819321.802 * * [misc]simplify: iters left: 1 (2 enodes) 1545819321.803 * [exit]simplify: Simplified to (fabs x) 1545819321.803 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* (* 1/5 1) (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.803 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1545819321.803 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1545819321.803 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819321.803 * * [misc]simplify: iters left: 3 (4 enodes) 1545819321.804 * * [misc]simplify: iters left: 2 (5 enodes) 1545819321.806 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819321.806 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.806 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1545819321.806 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819321.806 * * [misc]simplify: iters left: 3 (4 enodes) 1545819321.807 * * [misc]simplify: iters left: 2 (5 enodes) 1545819321.809 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819321.809 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.809 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1545819321.809 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819321.809 * * [misc]simplify: iters left: 3 (4 enodes) 1545819321.810 * * [misc]simplify: iters left: 2 (5 enodes) 1545819321.812 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819321.812 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.812 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1545819321.812 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819321.812 * * [misc]simplify: iters left: 3 (4 enodes) 1545819321.813 * * [misc]simplify: iters left: 2 (5 enodes) 1545819321.815 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819321.815 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.815 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1545819321.815 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819321.815 * * [misc]simplify: iters left: 3 (4 enodes) 1545819321.816 * * [misc]simplify: iters left: 2 (5 enodes) 1545819321.818 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819321.818 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.818 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1545819321.818 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1545819321.818 * * [misc]simplify: iters left: 3 (4 enodes) 1545819321.819 * * [misc]simplify: iters left: 2 (5 enodes) 1545819321.820 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1545819321.820 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* 2 (fabs x))) (/ (* (fabs x) (pow (fabs x) 6)) (/ (sqrt PI) 1/21))))) 1545819321.821 * * * [misc]progress: adding candidates to table 1545819323.073 * [misc]progress: [Phase 3 of 3] Extracting. 1545819323.073 * * [misc]regime: Finding splitpoints for: (# # # #) 1545819323.075 * * * [misc]regime-changes: Trying 2 branch expressions: (x (fabs x)) 1545819323.075 * * * * [misc]regimes: Trying to branch on x from (# # # #) 1545819323.141 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # #) 1545819323.201 * * * [misc]regime: Found split indices: #