1547112410.989 * [misc]progress: [Phase 1 of 3] Setting up. 1547112410.989 * * * [misc]progress: [1/2] Preparing points 1547112410.989 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547112411.094 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112411.095 * * * * [misc]points: Sampling 104 additional inputs, on iter 1 have 152 / 256 1547112411.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112411.173 * * * * [misc]points: Sampling 42 additional inputs, on iter 2 have 214 / 256 1547112411.187 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112411.188 * * * * [misc]points: Sampling 14 additional inputs, on iter 3 have 242 / 256 1547112411.198 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112411.198 * * * * [misc]points: Sampling 5 additional inputs, on iter 4 have 251 / 256 1547112411.206 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112411.206 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1547112411.220 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112411.220 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1547112411.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112411.236 * * * * [exit]points: Sampled 256 points with exact outputs 1547112411.237 * * * [misc]progress: [2/2] Setting up program. 1547112411.246 * [misc]progress: [Phase 2 of 3] Improving. 1547112411.246 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547112411.247 * [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)))))) 1547112411.247 * * [misc]simplify: iters left: 6 (28 enodes) 1547112411.259 * * [misc]simplify: iters left: 5 (75 enodes) 1547112411.313 * * [misc]simplify: iters left: 4 (261 enodes) 1547112411.649 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1547112411.649 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112411.672 * * [misc]progress: iteration 1 / 4 1547112411.672 * * * [misc]progress: picking best candidate 1547112411.694 * * * * [misc]pick: Picked # 1547112411.695 * * * [misc]progress: localizing error 1547112411.801 * * * [misc]progress: generating rewritten candidates 1547112411.801 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1547112411.802 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1547112411.830 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1547112411.848 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1547112411.870 * * * [misc]progress: generating series expansions 1547112411.870 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1547112411.870 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1547112411.871 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) into (* 2/3 (pow (fabs x) 3)) 1547112411.871 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in (x) around 0 1547112411.871 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 1547112411.871 * [misc]taylor: Taking taylor expansion of 2/3 in x 1547112411.871 * [misc]backup-simplify: Simplify 2/3 into 2/3 1547112411.871 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1547112411.871 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112411.871 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112411.872 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs x) 3)) in x 1547112411.872 * [misc]taylor: Taking taylor expansion of 2/3 in x 1547112411.872 * [misc]backup-simplify: Simplify 2/3 into 2/3 1547112411.872 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1547112411.872 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112411.872 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112411.872 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1547112411.872 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1547112411.872 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1547112411.872 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1547112411.872 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1547112411.873 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1547112411.873 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs x) 3))) into 0 1547112411.873 * [misc]backup-simplify: Simplify 0 into 0 1547112411.873 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1547112411.874 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1547112411.874 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))) into 0 1547112411.874 * [misc]backup-simplify: Simplify 0 into 0 1547112411.874 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1547112411.875 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1547112411.875 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))) into 0 1547112411.875 * [misc]backup-simplify: Simplify 0 into 0 1547112411.876 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1547112411.876 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1547112411.877 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))) into 0 1547112411.877 * [misc]backup-simplify: Simplify 0 into 0 1547112411.878 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1547112411.878 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1547112411.879 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3))))))) into 0 1547112411.879 * [misc]backup-simplify: Simplify 0 into 0 1547112411.880 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1547112411.881 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1547112411.882 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 3)))))))) into 0 1547112411.882 * [misc]backup-simplify: Simplify 0 into 0 1547112411.882 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs x) 3)) into (* 2/3 (pow (fabs x) 3)) 1547112411.882 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x)))) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1547112411.882 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1547112411.882 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 1547112411.882 * [misc]taylor: Taking taylor expansion of 2/3 in x 1547112411.882 * [misc]backup-simplify: Simplify 2/3 into 2/3 1547112411.883 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1547112411.883 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112411.883 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112411.883 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ 1 x)) 3)) in x 1547112411.883 * [misc]taylor: Taking taylor expansion of 2/3 in x 1547112411.883 * [misc]backup-simplify: Simplify 2/3 into 2/3 1547112411.883 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1547112411.883 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112411.883 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112411.883 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1547112411.883 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1547112411.883 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1547112411.883 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 x)) 3)) into (* 2/3 (pow (fabs (/ 1 x)) 3)) 1547112411.884 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1547112411.884 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1547112411.884 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ 1 x)) 3))) into 0 1547112411.884 * [misc]backup-simplify: Simplify 0 into 0 1547112411.884 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1547112411.885 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1547112411.885 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))) into 0 1547112411.885 * [misc]backup-simplify: Simplify 0 into 0 1547112411.886 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1547112411.887 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1547112411.887 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))) into 0 1547112411.887 * [misc]backup-simplify: Simplify 0 into 0 1547112411.888 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1547112411.888 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1547112411.889 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))) into 0 1547112411.889 * [misc]backup-simplify: Simplify 0 into 0 1547112411.890 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1547112411.890 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1547112411.891 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3))))))) into 0 1547112411.891 * [misc]backup-simplify: Simplify 0 into 0 1547112411.892 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1547112411.893 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1547112411.894 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 3)))))))) into 0 1547112411.894 * [misc]backup-simplify: Simplify 0 into 0 1547112411.894 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ 1 (/ 1 x))) 3)) into (* 2/3 (pow (fabs x) 3)) 1547112411.895 * [misc]backup-simplify: Simplify (* (/ 2 3) (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x))))) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1547112411.895 * [misc]approximate: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1547112411.895 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 1547112411.895 * [misc]taylor: Taking taylor expansion of 2/3 in x 1547112411.895 * [misc]backup-simplify: Simplify 2/3 into 2/3 1547112411.895 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1547112411.895 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112411.895 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112411.895 * [misc]taylor: Taking taylor expansion of (* 2/3 (pow (fabs (/ -1 x)) 3)) in x 1547112411.895 * [misc]taylor: Taking taylor expansion of 2/3 in x 1547112411.895 * [misc]backup-simplify: Simplify 2/3 into 2/3 1547112411.895 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1547112411.895 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112411.895 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112411.895 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1547112411.895 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1547112411.896 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1547112411.896 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 x)) 3)) into (* 2/3 (pow (fabs (/ -1 x)) 3)) 1547112411.896 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1547112411.896 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1547112411.896 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (* 0 (pow (fabs (/ -1 x)) 3))) into 0 1547112411.896 * [misc]backup-simplify: Simplify 0 into 0 1547112411.897 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1547112411.897 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1547112411.898 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))) into 0 1547112411.898 * [misc]backup-simplify: Simplify 0 into 0 1547112411.898 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1547112411.899 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1547112411.899 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))) into 0 1547112411.899 * [misc]backup-simplify: Simplify 0 into 0 1547112411.900 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1547112411.900 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1547112411.900 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))) into 0 1547112411.900 * [misc]backup-simplify: Simplify 0 into 0 1547112411.901 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1547112411.901 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1547112411.902 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3))))))) into 0 1547112411.902 * [misc]backup-simplify: Simplify 0 into 0 1547112411.902 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1547112411.903 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1547112411.903 * [misc]backup-simplify: Simplify (+ (* 2/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 3)))))))) into 0 1547112411.903 * [misc]backup-simplify: Simplify 0 into 0 1547112411.904 * [misc]backup-simplify: Simplify (* 2/3 (pow (fabs (/ -1 (/ 1 (- x)))) 3)) into (* 2/3 (pow (fabs x) 3)) 1547112411.904 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1547112411.904 * [misc]backup-simplify: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 1547112411.904 * [misc]approximate: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1547112411.904 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1547112411.904 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112411.904 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112411.904 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1547112411.904 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112411.904 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112411.904 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1547112411.904 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1547112411.904 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1547112411.904 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1547112411.904 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1547112411.904 * [misc]backup-simplify: Simplify 0 into 0 1547112411.905 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1547112411.905 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1547112411.905 * [misc]backup-simplify: Simplify 0 into 0 1547112411.905 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1547112411.905 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1547112411.905 * [misc]backup-simplify: Simplify 0 into 0 1547112411.906 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1547112411.906 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1547112411.906 * [misc]backup-simplify: Simplify 0 into 0 1547112411.906 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1547112411.907 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1547112411.907 * [misc]backup-simplify: Simplify 0 into 0 1547112411.907 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1547112411.908 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1547112411.908 * [misc]backup-simplify: Simplify 0 into 0 1547112411.908 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1547112411.908 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 1547112411.908 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1547112411.908 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1547112411.908 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112411.908 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112411.908 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1547112411.908 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112411.908 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112411.909 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1547112411.909 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1547112411.909 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 1547112411.909 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1547112411.909 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1547112411.909 * [misc]backup-simplify: Simplify 0 into 0 1547112411.909 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1547112411.909 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1547112411.909 * [misc]backup-simplify: Simplify 0 into 0 1547112411.910 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1547112411.910 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1547112411.910 * [misc]backup-simplify: Simplify 0 into 0 1547112411.910 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1547112411.911 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1547112411.911 * [misc]backup-simplify: Simplify 0 into 0 1547112411.911 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1547112411.912 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1547112411.912 * [misc]backup-simplify: Simplify 0 into 0 1547112411.912 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1547112411.913 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1547112411.913 * [misc]backup-simplify: Simplify 0 into 0 1547112411.913 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 1547112411.913 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 1547112411.913 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1547112411.913 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1547112411.913 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112411.913 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112411.913 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1547112411.913 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112411.913 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112411.913 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1547112411.913 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1547112411.913 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 1547112411.913 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1547112411.913 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1547112411.913 * [misc]backup-simplify: Simplify 0 into 0 1547112411.914 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1547112411.914 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1547112411.914 * [misc]backup-simplify: Simplify 0 into 0 1547112411.914 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1547112411.914 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1547112411.915 * [misc]backup-simplify: Simplify 0 into 0 1547112411.915 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1547112411.915 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1547112411.915 * [misc]backup-simplify: Simplify 0 into 0 1547112411.916 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1547112411.916 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1547112411.916 * [misc]backup-simplify: Simplify 0 into 0 1547112411.917 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1547112411.917 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1547112411.917 * [misc]backup-simplify: Simplify 0 into 0 1547112411.917 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 1547112411.917 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1547112411.917 * [misc]backup-simplify: Simplify (* (* (fabs x) (fabs x)) (fabs x)) into (pow (fabs x) 3) 1547112411.917 * [misc]approximate: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1547112411.917 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1547112411.918 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112411.918 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112411.918 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 3) in x 1547112411.918 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112411.918 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112411.918 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1547112411.918 * [misc]backup-simplify: Simplify (* (fabs x) (pow (fabs x) 2)) into (pow (fabs x) 3) 1547112411.918 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1547112411.918 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1547112411.918 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (pow (fabs x) 2))) into 0 1547112411.918 * [misc]backup-simplify: Simplify 0 into 0 1547112411.918 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1547112411.918 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))) into 0 1547112411.918 * [misc]backup-simplify: Simplify 0 into 0 1547112411.919 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1547112411.919 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))) into 0 1547112411.919 * [misc]backup-simplify: Simplify 0 into 0 1547112411.919 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1547112411.920 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))) into 0 1547112411.920 * [misc]backup-simplify: Simplify 0 into 0 1547112411.922 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1547112411.923 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2))))))) into 0 1547112411.923 * [misc]backup-simplify: Simplify 0 into 0 1547112411.923 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1547112411.924 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs x) 2)))))))) into 0 1547112411.924 * [misc]backup-simplify: Simplify 0 into 0 1547112411.924 * [misc]backup-simplify: Simplify (pow (fabs x) 3) into (pow (fabs x) 3) 1547112411.924 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 x)) (fabs (/ 1 x))) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 3) 1547112411.924 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1547112411.924 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1547112411.924 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112411.924 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112411.924 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1547112411.924 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112411.924 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112411.924 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1547112411.924 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (pow (fabs (/ 1 x)) 2)) into (pow (fabs (/ 1 x)) 3) 1547112411.924 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 x)) 3) into (pow (fabs (/ 1 x)) 3) 1547112411.925 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1547112411.925 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (pow (fabs (/ 1 x)) 2))) into 0 1547112411.925 * [misc]backup-simplify: Simplify 0 into 0 1547112411.925 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1547112411.925 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))) into 0 1547112411.925 * [misc]backup-simplify: Simplify 0 into 0 1547112411.925 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1547112411.926 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))) into 0 1547112411.926 * [misc]backup-simplify: Simplify 0 into 0 1547112411.926 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1547112411.926 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))) into 0 1547112411.926 * [misc]backup-simplify: Simplify 0 into 0 1547112411.927 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1547112411.927 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2))))))) into 0 1547112411.927 * [misc]backup-simplify: Simplify 0 into 0 1547112411.928 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1547112411.928 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 x)) 2)))))))) into 0 1547112411.929 * [misc]backup-simplify: Simplify 0 into 0 1547112411.929 * [misc]backup-simplify: Simplify (pow (fabs (/ 1 (/ 1 x))) 3) into (pow (fabs x) 3) 1547112411.929 * [misc]backup-simplify: Simplify (* (* (fabs (/ 1 (- x))) (fabs (/ 1 (- x)))) (fabs (/ 1 (- x)))) into (pow (fabs (/ -1 x)) 3) 1547112411.929 * [misc]approximate: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1547112411.929 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1547112411.929 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112411.929 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112411.929 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1547112411.929 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112411.929 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112411.929 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1547112411.929 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (pow (fabs (/ -1 x)) 2)) into (pow (fabs (/ -1 x)) 3) 1547112411.929 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 x)) 3) into (pow (fabs (/ -1 x)) 3) 1547112411.929 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1547112411.929 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (pow (fabs (/ -1 x)) 2))) into 0 1547112411.929 * [misc]backup-simplify: Simplify 0 into 0 1547112411.930 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1547112411.930 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))) into 0 1547112411.930 * [misc]backup-simplify: Simplify 0 into 0 1547112411.930 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1547112411.930 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))) into 0 1547112411.931 * [misc]backup-simplify: Simplify 0 into 0 1547112411.931 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1547112411.931 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))) into 0 1547112411.931 * [misc]backup-simplify: Simplify 0 into 0 1547112411.932 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1547112411.932 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2))))))) into 0 1547112411.932 * [misc]backup-simplify: Simplify 0 into 0 1547112411.933 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1547112411.933 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 x)) 2)))))))) into 0 1547112411.933 * [misc]backup-simplify: Simplify 0 into 0 1547112411.933 * [misc]backup-simplify: Simplify (pow (fabs (/ -1 (/ 1 (- x)))) 3) into (pow (fabs x) 3) 1547112411.933 * * * [misc]progress: simplifying candidates 1547112411.933 * * * * [misc]progress: [ 1 / 99 ] simplifiying candidate # 1547112411.933 * * * * [misc]progress: [ 2 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 3 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 4 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 5 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 6 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 7 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 8 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 9 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 10 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 11 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 12 / 99 ] simplifiying candidate # 1547112411.934 * * * * [misc]progress: [ 13 / 99 ] simplifiying candidate # 1547112411.934 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1547112411.934 * * [misc]simplify: iters left: 6 (8 enodes) 1547112411.936 * * [misc]simplify: iters left: 5 (15 enodes) 1547112411.938 * * [misc]simplify: iters left: 4 (35 enodes) 1547112411.944 * * [misc]simplify: iters left: 3 (58 enodes) 1547112411.952 * * [misc]simplify: iters left: 2 (76 enodes) 1547112411.959 * * [misc]simplify: iters left: 1 (89 enodes) 1547112411.972 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1547112411.972 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112411.972 * * * * [misc]progress: [ 14 / 99 ] simplifiying candidate # 1547112411.972 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1547112411.972 * * [misc]simplify: iters left: 6 (8 enodes) 1547112411.974 * * [misc]simplify: iters left: 5 (15 enodes) 1547112411.976 * * [misc]simplify: iters left: 4 (35 enodes) 1547112411.981 * * [misc]simplify: iters left: 3 (58 enodes) 1547112411.989 * * [misc]simplify: iters left: 2 (76 enodes) 1547112411.997 * * [misc]simplify: iters left: 1 (89 enodes) 1547112412.006 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1547112412.006 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112412.006 * * * * [misc]progress: [ 15 / 99 ] simplifiying candidate # 1547112412.007 * [enter]simplify: Simplifying (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x))) 1547112412.007 * * [misc]simplify: iters left: 6 (8 enodes) 1547112412.008 * * [misc]simplify: iters left: 5 (15 enodes) 1547112412.011 * * [misc]simplify: iters left: 4 (35 enodes) 1547112412.021 * * [misc]simplify: iters left: 3 (58 enodes) 1547112412.036 * * [misc]simplify: iters left: 2 (76 enodes) 1547112412.052 * * [misc]simplify: iters left: 1 (89 enodes) 1547112412.069 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1547112412.069 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (pow (* (* (fabs x) (fabs x)) (* 2/3 (fabs x))) 1)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112412.069 * * * * [misc]progress: [ 16 / 99 ] simplifiying candidate # 1547112412.069 * * * * [misc]progress: [ 17 / 99 ] simplifiying candidate # 1547112412.069 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) 1547112412.070 * * [misc]simplify: iters left: 6 (10 enodes) 1547112412.075 * * [misc]simplify: iters left: 5 (18 enodes) 1547112412.081 * * [misc]simplify: iters left: 4 (33 enodes) 1547112412.094 * * [misc]simplify: iters left: 3 (70 enodes) 1547112412.107 * * [misc]simplify: iters left: 2 (119 enodes) 1547112412.134 * * [misc]simplify: iters left: 1 (201 enodes) 1547112412.191 * [exit]simplify: Simplified to (+ (+ (log 2/3) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))) 1547112412.191 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (+ (log 2/3) (log (fabs x))) (+ (log (fabs x)) (log (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112412.191 * * * * [misc]progress: [ 18 / 99 ] simplifiying candidate # 1547112412.191 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) 1547112412.192 * * [misc]simplify: iters left: 6 (11 enodes) 1547112412.197 * * [misc]simplify: iters left: 5 (20 enodes) 1547112412.204 * * [misc]simplify: iters left: 4 (35 enodes) 1547112412.215 * * [misc]simplify: iters left: 3 (72 enodes) 1547112412.227 * * [misc]simplify: iters left: 2 (125 enodes) 1547112412.256 * * [misc]simplify: iters left: 1 (193 enodes) 1547112412.304 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log 2/3)) (log (* (fabs x) (fabs x)))) 1547112412.304 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (+ (+ (log (fabs x)) (log 2/3)) (log (* (fabs x) (fabs x)))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112412.304 * * * * [misc]progress: [ 19 / 99 ] simplifiying candidate # 1547112412.304 * [enter]simplify: Simplifying (+ (log (/ 2 3)) (log (* (* (fabs x) (fabs x)) (fabs x)))) 1547112412.304 * * [misc]simplify: iters left: 6 (10 enodes) 1547112412.307 * * [misc]simplify: iters left: 5 (19 enodes) 1547112412.313 * * [misc]simplify: iters left: 4 (32 enodes) 1547112412.323 * * [misc]simplify: iters left: 3 (62 enodes) 1547112412.343 * * [misc]simplify: iters left: 2 (114 enodes) 1547112412.368 * * [misc]simplify: iters left: 1 (180 enodes) 1547112412.426 * [exit]simplify: Simplified to (fma (log (fabs x)) 3 (log 2/3)) 1547112412.427 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (exp (fma (log (fabs x)) 3 (log 2/3)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112412.427 * * * * [misc]progress: [ 20 / 99 ] simplifiying candidate # 1547112412.427 * * * * [misc]progress: [ 21 / 99 ] simplifiying candidate # 1547112412.427 * * * * [misc]progress: [ 22 / 99 ] simplifiying candidate # 1547112412.427 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1547112412.427 * * [misc]simplify: iters left: 6 (12 enodes) 1547112412.439 * * [misc]simplify: iters left: 5 (36 enodes) 1547112412.449 * * [misc]simplify: iters left: 4 (87 enodes) 1547112412.468 * * [misc]simplify: iters left: 3 (217 enodes) 1547112412.566 * * [misc]simplify: iters left: 2 (497 enodes) 1547112412.899 * [exit]simplify: Simplified to (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))) 1547112412.899 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112412.899 * * * * [misc]progress: [ 23 / 99 ] simplifiying candidate # 1547112412.899 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1547112412.899 * * [misc]simplify: iters left: 6 (13 enodes) 1547112412.904 * * [misc]simplify: iters left: 5 (41 enodes) 1547112412.911 * * [misc]simplify: iters left: 4 (105 enodes) 1547112412.950 * * [misc]simplify: iters left: 3 (299 enodes) 1547112413.117 * [exit]simplify: Simplified to (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (* 8/27 (fabs x))) 1547112413.117 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (* 8/27 (fabs x))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.117 * * * * [misc]progress: [ 24 / 99 ] simplifiying candidate # 1547112413.118 * [enter]simplify: Simplifying (* (* (* (/ 2 3) (/ 2 3)) (/ 2 3)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) 1547112413.118 * * [misc]simplify: iters left: 6 (12 enodes) 1547112413.122 * * [misc]simplify: iters left: 5 (36 enodes) 1547112413.128 * * [misc]simplify: iters left: 4 (87 enodes) 1547112413.145 * * [misc]simplify: iters left: 3 (217 enodes) 1547112413.236 * * [misc]simplify: iters left: 2 (497 enodes) 1547112413.585 * [exit]simplify: Simplified to (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))) 1547112413.585 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (cbrt (* (* (fabs x) 8/27) (* (pow (fabs x) 4) (pow (fabs x) 4))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.585 * * * * [misc]progress: [ 25 / 99 ] simplifiying candidate # 1547112413.586 * * * * [misc]progress: [ 26 / 99 ] simplifiying candidate # 1547112413.586 * * * * [misc]progress: [ 27 / 99 ] simplifiying candidate # 1547112413.586 * * * * [misc]progress: [ 28 / 99 ] simplifiying candidate # 1547112413.586 * * * * [misc]progress: [ 29 / 99 ] simplifiying candidate # 1547112413.586 * [enter]simplify: Simplifying (fabs x) 1547112413.586 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.587 * [exit]simplify: Simplified to (fabs x) 1547112413.587 * [misc]simplify: Simplified (2 1 2 1 1 2 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* (/ 2 3) (* (fabs x) (fabs x))) (fabs x))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.587 * * * * [misc]progress: [ 30 / 99 ] simplifiying candidate # 1547112413.587 * [enter]simplify: Simplifying (* (cbrt (/ 2 3)) (cbrt (/ 2 3))) 1547112413.587 * * [misc]simplify: iters left: 5 (5 enodes) 1547112413.590 * * [misc]simplify: iters left: 4 (6 enodes) 1547112413.592 * [exit]simplify: Simplified to (* (cbrt 2/3) (cbrt 2/3)) 1547112413.592 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* (cbrt 2/3) (cbrt 2/3)) (* (cbrt (/ 2 3)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.592 * * * * [misc]progress: [ 31 / 99 ] simplifiying candidate # 1547112413.592 * [enter]simplify: Simplifying (sqrt (/ 2 3)) 1547112413.592 * * [misc]simplify: iters left: 3 (4 enodes) 1547112413.595 * * [misc]simplify: iters left: 2 (5 enodes) 1547112413.596 * [exit]simplify: Simplified to (sqrt 2/3) 1547112413.596 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (sqrt 2/3) (* (sqrt (/ 2 3)) (* (* (fabs x) (fabs x)) (fabs x))))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.596 * * * * [misc]progress: [ 32 / 99 ] simplifiying candidate # 1547112413.596 * * * * [misc]progress: [ 33 / 99 ] simplifiying candidate # 1547112413.597 * * * * [misc]progress: [ 34 / 99 ] simplifiying candidate # 1547112413.597 * [enter]simplify: Simplifying (* 2 (* (* (fabs x) (fabs x)) (fabs x))) 1547112413.597 * * [misc]simplify: iters left: 6 (6 enodes) 1547112413.599 * * [misc]simplify: iters left: 5 (10 enodes) 1547112413.602 * * [misc]simplify: iters left: 4 (19 enodes) 1547112413.607 * * [misc]simplify: iters left: 3 (23 enodes) 1547112413.613 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (* 2 (fabs x))) 1547112413.613 * [misc]simplify: Simplified (2 1 2 1 1 2 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (/ (* (* (fabs x) (fabs x)) (* 2 (fabs x))) 3)) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.613 * * * * [misc]progress: [ 35 / 99 ] simplifiying candidate # 1547112413.613 * * * * [misc]progress: [ 36 / 99 ] simplifiying candidate # 1547112413.613 * * * * [misc]progress: [ 37 / 99 ] simplifiying candidate # 1547112413.613 * * * * [misc]progress: [ 38 / 99 ] simplifiying candidate # 1547112413.614 * [enter]simplify: Simplifying (fabs x) 1547112413.614 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.614 * [exit]simplify: Simplified to (fabs x) 1547112413.614 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.615 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1547112413.615 * * [misc]simplify: iters left: 4 (3 enodes) 1547112413.617 * * [misc]simplify: iters left: 3 (8 enodes) 1547112413.618 * [exit]simplify: Simplified to 3 1547112413.618 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.619 * * * * [misc]progress: [ 39 / 99 ] simplifiying candidate # 1547112413.619 * [enter]simplify: Simplifying (fabs x) 1547112413.619 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.619 * [exit]simplify: Simplified to (fabs x) 1547112413.619 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.620 * [enter]simplify: Simplifying (+ 2 1) 1547112413.620 * * [misc]simplify: iters left: 2 (3 enodes) 1547112413.622 * * [misc]simplify: iters left: 1 (7 enodes) 1547112413.623 * [exit]simplify: Simplified to 3 1547112413.623 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.623 * * * * [misc]progress: [ 40 / 99 ] simplifiying candidate # 1547112413.623 * [enter]simplify: Simplifying (fabs x) 1547112413.623 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.624 * [exit]simplify: Simplified to (fabs x) 1547112413.624 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.624 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1547112413.624 * * [misc]simplify: iters left: 4 (3 enodes) 1547112413.627 * * [misc]simplify: iters left: 3 (8 enodes) 1547112413.628 * [exit]simplify: Simplified to 3 1547112413.628 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.628 * * * * [misc]progress: [ 41 / 99 ] simplifiying candidate # 1547112413.628 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1547112413.628 * * [misc]simplify: iters left: 5 (4 enodes) 1547112413.630 * * [misc]simplify: iters left: 4 (5 enodes) 1547112413.631 * * [misc]simplify: iters left: 3 (7 enodes) 1547112413.634 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112413.634 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.634 * * * * [misc]progress: [ 42 / 99 ] simplifiying candidate # 1547112413.634 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1547112413.634 * * [misc]simplify: iters left: 5 (4 enodes) 1547112413.635 * * [misc]simplify: iters left: 4 (5 enodes) 1547112413.637 * * [misc]simplify: iters left: 3 (7 enodes) 1547112413.639 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112413.639 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.639 * * * * [misc]progress: [ 43 / 99 ] simplifiying candidate # 1547112413.639 * [enter]simplify: Simplifying (fabs x) 1547112413.640 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.640 * [exit]simplify: Simplified to (fabs x) 1547112413.640 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.640 * * * * [misc]progress: [ 44 / 99 ] simplifiying candidate # 1547112413.640 * [enter]simplify: Simplifying (fabs x) 1547112413.641 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.641 * [exit]simplify: Simplified to (fabs x) 1547112413.641 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.641 * * * * [misc]progress: [ 45 / 99 ] simplifiying candidate # 1547112413.641 * [enter]simplify: Simplifying (fabs x) 1547112413.642 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.642 * [exit]simplify: Simplified to (fabs x) 1547112413.642 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.642 * * * * [misc]progress: [ 46 / 99 ] simplifiying candidate # 1547112413.642 * [enter]simplify: Simplifying (fabs x) 1547112413.643 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.643 * [exit]simplify: Simplified to (fabs x) 1547112413.643 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.643 * * * * [misc]progress: [ 47 / 99 ] simplifiying candidate # 1547112413.643 * * * * [misc]progress: [ 48 / 99 ] simplifiying candidate # 1547112413.644 * [enter]simplify: Simplifying (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1547112413.644 * * [misc]simplify: iters left: 6 (5 enodes) 1547112413.645 * * [misc]simplify: iters left: 5 (6 enodes) 1547112413.647 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1547112413.647 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (exp (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.647 * * * * [misc]progress: [ 49 / 99 ] simplifiying candidate # 1547112413.648 * [enter]simplify: Simplifying (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1547112413.648 * * [misc]simplify: iters left: 6 (6 enodes) 1547112413.650 * * [misc]simplify: iters left: 5 (8 enodes) 1547112413.652 * [exit]simplify: Simplified to (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1547112413.652 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (exp (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.652 * * * * [misc]progress: [ 50 / 99 ] simplifiying candidate # 1547112413.652 * * * * [misc]progress: [ 51 / 99 ] simplifiying candidate # 1547112413.652 * * * * [misc]progress: [ 52 / 99 ] simplifiying candidate # 1547112413.653 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1547112413.653 * * [misc]simplify: iters left: 6 (6 enodes) 1547112413.656 * * [misc]simplify: iters left: 5 (14 enodes) 1547112413.661 * * [misc]simplify: iters left: 4 (31 enodes) 1547112413.669 * * [misc]simplify: iters left: 3 (53 enodes) 1547112413.677 * * [misc]simplify: iters left: 2 (61 enodes) 1547112413.684 * * [misc]simplify: iters left: 1 (64 enodes) 1547112413.690 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (pow (fabs x) 7)) 1547112413.690 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (cbrt (* (* (fabs x) (fabs x)) (pow (fabs x) 7))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.690 * * * * [misc]progress: [ 53 / 99 ] simplifiying candidate # 1547112413.690 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1547112413.690 * * [misc]simplify: iters left: 6 (7 enodes) 1547112413.693 * * [misc]simplify: iters left: 5 (18 enodes) 1547112413.698 * * [misc]simplify: iters left: 4 (45 enodes) 1547112413.715 * * [misc]simplify: iters left: 3 (64 enodes) 1547112413.728 * * [misc]simplify: iters left: 2 (69 enodes) 1547112413.737 * * [misc]simplify: iters left: 1 (72 enodes) 1547112413.743 * [exit]simplify: Simplified to (* (pow (fabs x) 7) (* (fabs x) (fabs x))) 1547112413.743 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (cbrt (* (pow (fabs x) 7) (* (fabs x) (fabs x)))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.743 * * * * [misc]progress: [ 54 / 99 ] simplifiying candidate # 1547112413.743 * * * * [misc]progress: [ 55 / 99 ] simplifiying candidate # 1547112413.744 * * * * [misc]progress: [ 56 / 99 ] simplifiying candidate # 1547112413.744 * * * * [misc]progress: [ 57 / 99 ] simplifiying candidate # 1547112413.744 * * * * [misc]progress: [ 58 / 99 ] simplifiying candidate # 1547112413.744 * [enter]simplify: Simplifying (cbrt (fabs x)) 1547112413.744 * * [misc]simplify: iters left: 2 (3 enodes) 1547112413.744 * [exit]simplify: Simplified to (cbrt (fabs x)) 1547112413.744 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.744 * * * * [misc]progress: [ 59 / 99 ] simplifiying candidate # 1547112413.744 * [enter]simplify: Simplifying (sqrt (fabs x)) 1547112413.744 * * [misc]simplify: iters left: 2 (3 enodes) 1547112413.745 * [exit]simplify: Simplified to (sqrt (fabs x)) 1547112413.745 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.745 * * * * [misc]progress: [ 60 / 99 ] simplifiying candidate # 1547112413.745 * [enter]simplify: Simplifying (fabs x) 1547112413.745 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.745 * [exit]simplify: Simplified to (fabs x) 1547112413.745 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) 1) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.746 * * * * [misc]progress: [ 61 / 99 ] simplifiying candidate # 1547112413.746 * [enter]simplify: Simplifying (fabs x) 1547112413.746 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.746 * [exit]simplify: Simplified to (fabs x) 1547112413.746 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (fabs x) (* (fabs x) (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.746 * * * * [misc]progress: [ 62 / 99 ] simplifiying candidate # 1547112413.746 * * * * [misc]progress: [ 63 / 99 ] simplifiying candidate # 1547112413.746 * * * * [misc]progress: [ 64 / 99 ] simplifiying candidate # 1547112413.746 * * * * [misc]progress: [ 65 / 99 ] simplifiying candidate # 1547112413.746 * [enter]simplify: Simplifying (fabs x) 1547112413.746 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.747 * [exit]simplify: Simplified to (fabs x) 1547112413.747 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.747 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1547112413.747 * * [misc]simplify: iters left: 4 (3 enodes) 1547112413.748 * * [misc]simplify: iters left: 3 (8 enodes) 1547112413.749 * [exit]simplify: Simplified to 3 1547112413.749 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.749 * * * * [misc]progress: [ 66 / 99 ] simplifiying candidate # 1547112413.749 * [enter]simplify: Simplifying (fabs x) 1547112413.749 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.749 * [exit]simplify: Simplified to (fabs x) 1547112413.749 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.750 * [enter]simplify: Simplifying (+ 2 1) 1547112413.750 * * [misc]simplify: iters left: 2 (3 enodes) 1547112413.751 * * [misc]simplify: iters left: 1 (7 enodes) 1547112413.751 * [exit]simplify: Simplified to 3 1547112413.751 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.751 * * * * [misc]progress: [ 67 / 99 ] simplifiying candidate # 1547112413.751 * [enter]simplify: Simplifying (fabs x) 1547112413.752 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.752 * [exit]simplify: Simplified to (fabs x) 1547112413.752 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.752 * [enter]simplify: Simplifying (+ (+ 1 1) 1) 1547112413.752 * * [misc]simplify: iters left: 4 (3 enodes) 1547112413.753 * * [misc]simplify: iters left: 3 (8 enodes) 1547112413.754 * [exit]simplify: Simplified to 3 1547112413.754 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.754 * * * * [misc]progress: [ 68 / 99 ] simplifiying candidate # 1547112413.754 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1547112413.754 * * [misc]simplify: iters left: 5 (4 enodes) 1547112413.755 * * [misc]simplify: iters left: 4 (5 enodes) 1547112413.756 * * [misc]simplify: iters left: 3 (7 enodes) 1547112413.758 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112413.758 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.758 * * * * [misc]progress: [ 69 / 99 ] simplifiying candidate # 1547112413.759 * [enter]simplify: Simplifying (* (* (fabs x) (fabs x)) (fabs x)) 1547112413.759 * * [misc]simplify: iters left: 5 (4 enodes) 1547112413.760 * * [misc]simplify: iters left: 4 (5 enodes) 1547112413.762 * * [misc]simplify: iters left: 3 (7 enodes) 1547112413.764 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112413.764 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (pow (fabs x) 3) 1) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.764 * * * * [misc]progress: [ 70 / 99 ] simplifiying candidate # 1547112413.764 * [enter]simplify: Simplifying (fabs x) 1547112413.764 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.765 * [exit]simplify: Simplified to (fabs x) 1547112413.765 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.765 * * * * [misc]progress: [ 71 / 99 ] simplifiying candidate # 1547112413.765 * [enter]simplify: Simplifying (fabs x) 1547112413.765 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.766 * [exit]simplify: Simplified to (fabs x) 1547112413.766 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.766 * * * * [misc]progress: [ 72 / 99 ] simplifiying candidate # 1547112413.766 * [enter]simplify: Simplifying (fabs x) 1547112413.766 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.767 * [exit]simplify: Simplified to (fabs x) 1547112413.767 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ 2 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.767 * * * * [misc]progress: [ 73 / 99 ] simplifiying candidate # 1547112413.767 * [enter]simplify: Simplifying (fabs x) 1547112413.767 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.768 * [exit]simplify: Simplified to (fabs x) 1547112413.768 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) (+ (+ 1 1) 1)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.768 * * * * [misc]progress: [ 74 / 99 ] simplifiying candidate # 1547112413.768 * * * * [misc]progress: [ 75 / 99 ] simplifiying candidate # 1547112413.768 * [enter]simplify: Simplifying (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1547112413.768 * * [misc]simplify: iters left: 6 (5 enodes) 1547112413.770 * * [misc]simplify: iters left: 5 (6 enodes) 1547112413.772 * [exit]simplify: Simplified to (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) 1547112413.772 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (exp (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.772 * * * * [misc]progress: [ 76 / 99 ] simplifiying candidate # 1547112413.772 * [enter]simplify: Simplifying (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1547112413.772 * * [misc]simplify: iters left: 6 (6 enodes) 1547112413.774 * * [misc]simplify: iters left: 5 (8 enodes) 1547112413.777 * [exit]simplify: Simplified to (+ (log (* (fabs x) (fabs x))) (log (fabs x))) 1547112413.777 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (exp (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.777 * * * * [misc]progress: [ 77 / 99 ] simplifiying candidate # 1547112413.777 * * * * [misc]progress: [ 78 / 99 ] simplifiying candidate # 1547112413.777 * * * * [misc]progress: [ 79 / 99 ] simplifiying candidate # 1547112413.777 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1547112413.777 * * [misc]simplify: iters left: 6 (6 enodes) 1547112413.780 * * [misc]simplify: iters left: 5 (14 enodes) 1547112413.785 * * [misc]simplify: iters left: 4 (31 enodes) 1547112413.796 * * [misc]simplify: iters left: 3 (53 enodes) 1547112413.812 * * [misc]simplify: iters left: 2 (61 enodes) 1547112413.820 * * [misc]simplify: iters left: 1 (64 enodes) 1547112413.826 * [exit]simplify: Simplified to (* (* (fabs x) (fabs x)) (pow (fabs x) 7)) 1547112413.826 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (cbrt (* (* (fabs x) (fabs x)) (pow (fabs x) 7))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.827 * * * * [misc]progress: [ 80 / 99 ] simplifiying candidate # 1547112413.827 * [enter]simplify: Simplifying (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) 1547112413.827 * * [misc]simplify: iters left: 6 (7 enodes) 1547112413.828 * * [misc]simplify: iters left: 5 (18 enodes) 1547112413.832 * * [misc]simplify: iters left: 4 (45 enodes) 1547112413.841 * * [misc]simplify: iters left: 3 (64 enodes) 1547112413.848 * * [misc]simplify: iters left: 2 (69 enodes) 1547112413.854 * * [misc]simplify: iters left: 1 (72 enodes) 1547112413.860 * [exit]simplify: Simplified to (* (pow (fabs x) 7) (* (fabs x) (fabs x))) 1547112413.860 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (cbrt (* (pow (fabs x) 7) (* (fabs x) (fabs x)))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.860 * * * * [misc]progress: [ 81 / 99 ] simplifiying candidate # 1547112413.860 * * * * [misc]progress: [ 82 / 99 ] simplifiying candidate # 1547112413.860 * * * * [misc]progress: [ 83 / 99 ] simplifiying candidate # 1547112413.860 * * * * [misc]progress: [ 84 / 99 ] simplifiying candidate # 1547112413.860 * * * * [misc]progress: [ 85 / 99 ] simplifiying candidate # 1547112413.860 * [enter]simplify: Simplifying (cbrt (fabs x)) 1547112413.860 * * [misc]simplify: iters left: 2 (3 enodes) 1547112413.861 * [exit]simplify: Simplified to (cbrt (fabs x)) 1547112413.861 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (cbrt (fabs x))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.861 * * * * [misc]progress: [ 86 / 99 ] simplifiying candidate # 1547112413.861 * [enter]simplify: Simplifying (sqrt (fabs x)) 1547112413.861 * * [misc]simplify: iters left: 2 (3 enodes) 1547112413.862 * [exit]simplify: Simplified to (sqrt (fabs x)) 1547112413.862 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.862 * * * * [misc]progress: [ 87 / 99 ] simplifiying candidate # 1547112413.862 * [enter]simplify: Simplifying (fabs x) 1547112413.862 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.862 * [exit]simplify: Simplified to (fabs x) 1547112413.862 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (* (fabs x) (fabs x)) 1) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.862 * * * * [misc]progress: [ 88 / 99 ] simplifiying candidate # 1547112413.862 * [enter]simplify: Simplifying (fabs x) 1547112413.862 * * [misc]simplify: iters left: 1 (2 enodes) 1547112413.863 * [exit]simplify: Simplified to (fabs x) 1547112413.863 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (fabs x) (* (fabs x) (fabs x))) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112413.863 * * * * [misc]progress: [ 89 / 99 ] simplifiying candidate # 1547112413.863 * * * * [misc]progress: [ 90 / 99 ] simplifiying candidate # 1547112413.863 * [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)))))) 1547112413.863 * * [misc]simplify: iters left: 6 (28 enodes) 1547112413.869 * * [misc]simplify: iters left: 5 (75 enodes) 1547112413.898 * * [misc]simplify: iters left: 4 (261 enodes) 1547112414.175 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1547112414.175 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112414.175 * * * * [misc]progress: [ 91 / 99 ] simplifiying candidate # 1547112414.176 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1547112414.176 * * [misc]simplify: iters left: 4 (6 enodes) 1547112414.178 * * [misc]simplify: iters left: 3 (10 enodes) 1547112414.181 * * [misc]simplify: iters left: 2 (18 enodes) 1547112414.186 * * [misc]simplify: iters left: 1 (22 enodes) 1547112414.192 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1547112414.192 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.192 * * * * [misc]progress: [ 92 / 99 ] simplifiying candidate # 1547112414.192 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1547112414.193 * * [misc]simplify: iters left: 4 (6 enodes) 1547112414.194 * * [misc]simplify: iters left: 3 (10 enodes) 1547112414.197 * * [misc]simplify: iters left: 2 (18 enodes) 1547112414.203 * * [misc]simplify: iters left: 1 (22 enodes) 1547112414.209 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1547112414.209 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.209 * * * * [misc]progress: [ 93 / 99 ] simplifiying candidate # 1547112414.209 * [enter]simplify: Simplifying (* 2/3 (pow (fabs x) 3)) 1547112414.209 * * [misc]simplify: iters left: 4 (6 enodes) 1547112414.211 * * [misc]simplify: iters left: 3 (10 enodes) 1547112414.214 * * [misc]simplify: iters left: 2 (18 enodes) 1547112414.220 * * [misc]simplify: iters left: 1 (22 enodes) 1547112414.225 * [exit]simplify: Simplified to (* (* 2/3 (fabs x)) (* (fabs x) (fabs x))) 1547112414.226 * [misc]simplify: Simplified (2 1 2 1 1 2) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (* 2/3 (fabs x)) (* (fabs x) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.226 * * * * [misc]progress: [ 94 / 99 ] simplifiying candidate # 1547112414.226 * [enter]simplify: Simplifying (pow (fabs x) 3) 1547112414.226 * * [misc]simplify: iters left: 2 (4 enodes) 1547112414.228 * * [misc]simplify: iters left: 1 (7 enodes) 1547112414.230 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112414.230 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.230 * * * * [misc]progress: [ 95 / 99 ] simplifiying candidate # 1547112414.230 * [enter]simplify: Simplifying (pow (fabs x) 3) 1547112414.230 * * [misc]simplify: iters left: 2 (4 enodes) 1547112414.232 * * [misc]simplify: iters left: 1 (7 enodes) 1547112414.234 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112414.234 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.234 * * * * [misc]progress: [ 96 / 99 ] simplifiying candidate # 1547112414.234 * [enter]simplify: Simplifying (pow (fabs x) 3) 1547112414.234 * * [misc]simplify: iters left: 2 (4 enodes) 1547112414.235 * * [misc]simplify: iters left: 1 (7 enodes) 1547112414.238 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112414.238 * [misc]simplify: Simplified (2 1 2 2 2 1 1 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (pow (fabs x) 3) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.238 * * * * [misc]progress: [ 97 / 99 ] simplifiying candidate # 1547112414.238 * [enter]simplify: Simplifying (pow (fabs x) 3) 1547112414.238 * * [misc]simplify: iters left: 2 (4 enodes) 1547112414.239 * * [misc]simplify: iters left: 1 (7 enodes) 1547112414.242 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112414.242 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.242 * * * * [misc]progress: [ 98 / 99 ] simplifiying candidate # 1547112414.242 * [enter]simplify: Simplifying (pow (fabs x) 3) 1547112414.242 * * [misc]simplify: iters left: 2 (4 enodes) 1547112414.243 * * [misc]simplify: iters left: 1 (7 enodes) 1547112414.245 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112414.245 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.246 * * * * [misc]progress: [ 99 / 99 ] simplifiying candidate # 1547112414.246 * [enter]simplify: Simplifying (pow (fabs x) 3) 1547112414.246 * * [misc]simplify: iters left: 2 (4 enodes) 1547112414.247 * * [misc]simplify: iters left: 1 (7 enodes) 1547112414.252 * [exit]simplify: Simplified to (pow (fabs x) 3) 1547112414.252 * [misc]simplify: Simplified (2 1 2 1 2 2 1 1) to (λ (x) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (pow (fabs x) 3) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112414.252 * * * [misc]progress: adding candidates to table 1547112416.214 * * [misc]progress: iteration 2 / 4 1547112416.214 * * * [misc]progress: picking best candidate 1547112416.231 * * * * [misc]pick: Picked # 1547112416.231 * * * [misc]progress: localizing error 1547112416.293 * * * [misc]progress: generating rewritten candidates 1547112416.293 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 1) 1547112416.294 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 1 1 2) 1547112416.294 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1547112416.294 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 1) 1547112416.297 * * * [misc]progress: generating series expansions 1547112416.297 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 1) 1547112416.297 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 1 1 2) 1547112416.297 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1547112416.297 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 1) 1547112416.297 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112416.297 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs x)) in (x) around 0 1547112416.297 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1547112416.297 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112416.297 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112416.297 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112416.297 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112416.297 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1547112416.298 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112416.298 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112416.298 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112416.298 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112416.298 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112416.298 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112416.298 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs x))) into 0 1547112416.298 * [misc]backup-simplify: Simplify 0 into 0 1547112416.299 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1547112416.299 * [misc]backup-simplify: Simplify 0 into 0 1547112416.299 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1547112416.299 * [misc]backup-simplify: Simplify 0 into 0 1547112416.300 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1547112416.300 * [misc]backup-simplify: Simplify 0 into 0 1547112416.300 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1547112416.300 * [misc]backup-simplify: Simplify 0 into 0 1547112416.301 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1547112416.301 * [misc]backup-simplify: Simplify 0 into 0 1547112416.301 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112416.301 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112416.301 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in (x) around 0 1547112416.301 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1547112416.302 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112416.302 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112416.302 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112416.302 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112416.302 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1547112416.302 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112416.302 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112416.302 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112416.302 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112416.302 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112416.302 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112416.302 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ 1 x)))) into 0 1547112416.302 * [misc]backup-simplify: Simplify 0 into 0 1547112416.303 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1547112416.303 * [misc]backup-simplify: Simplify 0 into 0 1547112416.303 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1547112416.303 * [misc]backup-simplify: Simplify 0 into 0 1547112416.304 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1547112416.304 * [misc]backup-simplify: Simplify 0 into 0 1547112416.305 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1547112416.305 * [misc]backup-simplify: Simplify 0 into 0 1547112416.305 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1547112416.305 * [misc]backup-simplify: Simplify 0 into 0 1547112416.305 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (/ 1 x)))) into (* 1/5 (fabs x)) 1547112416.306 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (- x)))) into (* 1/5 (fabs (/ -1 x))) 1547112416.306 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in (x) around 0 1547112416.306 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1547112416.306 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112416.306 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112416.306 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112416.306 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112416.306 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1547112416.306 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112416.306 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112416.306 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112416.306 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112416.306 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1547112416.306 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1547112416.306 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ -1 x)))) into 0 1547112416.307 * [misc]backup-simplify: Simplify 0 into 0 1547112416.307 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1547112416.307 * [misc]backup-simplify: Simplify 0 into 0 1547112416.308 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1547112416.308 * [misc]backup-simplify: Simplify 0 into 0 1547112416.308 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1547112416.308 * [misc]backup-simplify: Simplify 0 into 0 1547112416.309 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1547112416.309 * [misc]backup-simplify: Simplify 0 into 0 1547112416.310 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1547112416.310 * [misc]backup-simplify: Simplify 0 into 0 1547112416.310 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 (/ 1 (- x))))) into (* 1/5 (fabs x)) 1547112416.310 * * * [misc]progress: simplifying candidates 1547112416.310 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1547112416.310 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1547112416.310 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1547112416.310 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1547112416.310 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1547112416.310 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1547112416.310 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1547112416.311 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1547112416.311 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1547112416.311 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1547112416.311 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1547112416.311 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1547112416.311 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1547112416.311 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1547112416.311 * * [misc]simplify: iters left: 2 (3 enodes) 1547112416.312 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1547112416.312 * [misc]simplify: Simplified (2 1 3 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ (/ 1/21 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (cbrt (sqrt PI))) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112416.312 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1547112416.312 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1547112416.312 * * [misc]simplify: iters left: 2 (3 enodes) 1547112416.313 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1547112416.313 * [misc]simplify: Simplified (2 1 3 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ (/ 1/21 (sqrt (sqrt PI))) (sqrt (sqrt PI))) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112416.313 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1547112416.313 * [enter]simplify: Simplifying (sqrt PI) 1547112416.313 * * [misc]simplify: iters left: 1 (2 enodes) 1547112416.314 * [exit]simplify: Simplified to (sqrt PI) 1547112416.314 * [misc]simplify: Simplified (2 1 3 1 1 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ (/ 1/21 1) (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112416.314 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1547112416.314 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1547112416.314 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1547112416.314 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1547112416.314 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1547112416.314 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1547112416.315 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1547112416.316 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1547112416.316 * [enter]simplify: Simplifying (cbrt (fabs x)) 1547112416.316 * * [misc]simplify: iters left: 2 (3 enodes) 1547112416.317 * [exit]simplify: Simplified to (cbrt (fabs x)) 1547112416.317 * [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))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112416.317 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1547112416.317 * [enter]simplify: Simplifying (sqrt (fabs x)) 1547112416.317 * * [misc]simplify: iters left: 2 (3 enodes) 1547112416.318 * [exit]simplify: Simplified to (sqrt (fabs x)) 1547112416.318 * [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))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112416.318 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1547112416.319 * [enter]simplify: Simplifying (fabs x) 1547112416.319 * * [misc]simplify: iters left: 1 (2 enodes) 1547112416.319 * [exit]simplify: Simplified to (fabs x) 1547112416.319 * [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))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112416.319 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1547112416.319 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1547112416.320 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1547112416.320 * * [misc]simplify: iters left: 6 (24 enodes) 1547112416.326 * * [misc]simplify: iters left: 5 (51 enodes) 1547112416.343 * * [misc]simplify: iters left: 4 (120 enodes) 1547112416.400 * * [misc]simplify: iters left: 3 (376 enodes) 1547112417.045 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1547112417.045 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112417.045 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1547112417.045 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1547112417.045 * * [misc]simplify: iters left: 6 (24 enodes) 1547112417.053 * * [misc]simplify: iters left: 5 (51 enodes) 1547112417.070 * * [misc]simplify: iters left: 4 (120 enodes) 1547112417.130 * * [misc]simplify: iters left: 3 (376 enodes) 1547112417.338 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1547112417.338 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112417.339 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1547112417.339 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (* 1/5 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (fma (* 2/3 (fabs x)) (* (fabs x) (fabs x)) (* (fabs x) 2))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3)))) 1547112417.339 * * [misc]simplify: iters left: 6 (24 enodes) 1547112417.342 * * [misc]simplify: iters left: 5 (51 enodes) 1547112417.351 * * [misc]simplify: iters left: 4 (120 enodes) 1547112417.387 * * [misc]simplify: iters left: 3 (376 enodes) 1547112417.590 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1547112417.590 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112417.590 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1547112417.590 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112417.590 * * [misc]simplify: iters left: 3 (4 enodes) 1547112417.592 * * [misc]simplify: iters left: 2 (5 enodes) 1547112417.593 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112417.593 * [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))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112417.593 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1547112417.594 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112417.594 * * [misc]simplify: iters left: 3 (4 enodes) 1547112417.595 * * [misc]simplify: iters left: 2 (5 enodes) 1547112417.596 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112417.596 * [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))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112417.596 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1547112417.597 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112417.597 * * [misc]simplify: iters left: 3 (4 enodes) 1547112417.598 * * [misc]simplify: iters left: 2 (5 enodes) 1547112417.599 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112417.599 * [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))) (* (* (/ 1/21 (sqrt PI)) (fabs x)) (pow (* (fabs x) (fabs x)) 3))))) 1547112417.599 * * * [misc]progress: adding candidates to table 1547112418.580 * * [misc]progress: iteration 3 / 4 1547112418.580 * * * [misc]progress: picking best candidate 1547112418.622 * * * * [misc]pick: Picked # 1547112418.622 * * * [misc]progress: localizing error 1547112418.674 * * * [misc]progress: generating rewritten candidates 1547112418.674 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 1 2 2) 1547112418.674 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1547112418.674 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 3 1 2) 1547112418.675 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 1) 1547112418.681 * * * [misc]progress: generating series expansions 1547112418.681 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 1 2 2) 1547112418.681 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1547112418.681 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 3 1 2) 1547112418.681 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 1) 1547112418.681 * [misc]backup-simplify: Simplify (* (fabs x) 1/5) into (* 1/5 (fabs x)) 1547112418.681 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs x)) in (x) around 0 1547112418.681 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1547112418.681 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112418.682 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112418.682 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112418.682 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112418.682 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1547112418.682 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112418.682 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112418.682 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112418.682 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112418.682 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112418.682 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112418.682 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs x))) into 0 1547112418.682 * [misc]backup-simplify: Simplify 0 into 0 1547112418.683 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1547112418.683 * [misc]backup-simplify: Simplify 0 into 0 1547112418.683 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1547112418.683 * [misc]backup-simplify: Simplify 0 into 0 1547112418.684 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1547112418.684 * [misc]backup-simplify: Simplify 0 into 0 1547112418.685 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1547112418.685 * [misc]backup-simplify: Simplify 0 into 0 1547112418.686 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1547112418.686 * [misc]backup-simplify: Simplify 0 into 0 1547112418.686 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112418.686 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) 1/5) into (* 1/5 (fabs (/ 1 x))) 1547112418.686 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in (x) around 0 1547112418.686 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1547112418.686 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112418.686 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112418.686 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112418.686 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112418.686 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1547112418.686 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112418.686 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112418.686 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112418.686 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112418.686 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112418.686 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112418.687 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ 1 x)))) into 0 1547112418.687 * [misc]backup-simplify: Simplify 0 into 0 1547112418.687 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1547112418.687 * [misc]backup-simplify: Simplify 0 into 0 1547112418.688 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1547112418.688 * [misc]backup-simplify: Simplify 0 into 0 1547112418.688 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1547112418.688 * [misc]backup-simplify: Simplify 0 into 0 1547112418.688 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1547112418.688 * [misc]backup-simplify: Simplify 0 into 0 1547112418.689 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1547112418.689 * [misc]backup-simplify: Simplify 0 into 0 1547112418.689 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (/ 1 x)))) into (* 1/5 (fabs x)) 1547112418.689 * [misc]backup-simplify: Simplify (* (fabs (/ 1 (- x))) 1/5) into (* 1/5 (fabs (/ -1 x))) 1547112418.689 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in (x) around 0 1547112418.689 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1547112418.689 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112418.689 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112418.689 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112418.689 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112418.689 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1547112418.689 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112418.689 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112418.689 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112418.689 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112418.689 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1547112418.690 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1547112418.690 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ -1 x)))) into 0 1547112418.690 * [misc]backup-simplify: Simplify 0 into 0 1547112418.690 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1547112418.690 * [misc]backup-simplify: Simplify 0 into 0 1547112418.690 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1547112418.690 * [misc]backup-simplify: Simplify 0 into 0 1547112418.691 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1547112418.691 * [misc]backup-simplify: Simplify 0 into 0 1547112418.691 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1547112418.691 * [misc]backup-simplify: Simplify 0 into 0 1547112418.692 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1547112418.692 * [misc]backup-simplify: Simplify 0 into 0 1547112418.692 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 (/ 1 (- x))))) into (* 1/5 (fabs x)) 1547112418.692 * * * [misc]progress: simplifying candidates 1547112418.692 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1547112418.692 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1547112418.693 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1547112418.693 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1547112418.694 * * [misc]simplify: iters left: 2 (3 enodes) 1547112418.694 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1547112418.694 * [misc]simplify: Simplified (2 1 3 1 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ (/ 1/21 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (cbrt (sqrt PI)))) (pow (fabs x) 5))))) 1547112418.694 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1547112418.694 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1547112418.694 * * [misc]simplify: iters left: 2 (3 enodes) 1547112418.695 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1547112418.695 * [misc]simplify: Simplified (2 1 3 1 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ (/ 1/21 (sqrt (sqrt PI))) (sqrt (sqrt PI)))) (pow (fabs x) 5))))) 1547112418.695 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1547112418.695 * [enter]simplify: Simplifying (sqrt PI) 1547112418.695 * * [misc]simplify: iters left: 1 (2 enodes) 1547112418.695 * [exit]simplify: Simplified to (sqrt PI) 1547112418.695 * [misc]simplify: Simplified (2 1 3 1 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ (/ 1/21 1) (sqrt PI))) (pow (fabs x) 5))))) 1547112418.695 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1547112418.695 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1547112418.695 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1547112418.695 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1547112418.695 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1547112418.695 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1547112418.695 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1547112418.695 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1547112418.696 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1547112418.696 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1547112418.696 * [enter]simplify: Simplifying (* (cbrt (fabs x)) (cbrt (fabs x))) 1547112418.696 * * [misc]simplify: iters left: 4 (4 enodes) 1547112418.696 * [exit]simplify: Simplified to (* (cbrt (fabs x)) (cbrt (fabs x))) 1547112418.696 * [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))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112418.696 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1547112418.697 * [enter]simplify: Simplifying (sqrt (fabs x)) 1547112418.697 * * [misc]simplify: iters left: 2 (3 enodes) 1547112418.697 * [exit]simplify: Simplified to (sqrt (fabs x)) 1547112418.697 * [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))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112418.697 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1547112418.697 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1547112418.697 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1547112418.697 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1547112418.697 * * [misc]simplify: iters left: 6 (23 enodes) 1547112418.701 * * [misc]simplify: iters left: 5 (42 enodes) 1547112418.711 * * [misc]simplify: iters left: 4 (97 enodes) 1547112418.739 * * [misc]simplify: iters left: 3 (284 enodes) 1547112418.900 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1547112418.900 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112418.900 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1547112418.900 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1547112418.900 * * [misc]simplify: iters left: 6 (23 enodes) 1547112418.904 * * [misc]simplify: iters left: 5 (42 enodes) 1547112418.910 * * [misc]simplify: iters left: 4 (97 enodes) 1547112418.946 * * [misc]simplify: iters left: 3 (284 enodes) 1547112419.062 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1547112419.062 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112419.062 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1547112419.062 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5)))) 1547112419.063 * * [misc]simplify: iters left: 6 (23 enodes) 1547112419.066 * * [misc]simplify: iters left: 5 (42 enodes) 1547112419.073 * * [misc]simplify: iters left: 4 (97 enodes) 1547112419.095 * * [misc]simplify: iters left: 3 (284 enodes) 1547112419.251 * [exit]simplify: Simplified to (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1547112419.251 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112419.251 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1547112419.252 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112419.252 * * [misc]simplify: iters left: 3 (4 enodes) 1547112419.252 * * [misc]simplify: iters left: 2 (5 enodes) 1547112419.253 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112419.253 * [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))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112419.253 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1547112419.253 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112419.253 * * [misc]simplify: iters left: 3 (4 enodes) 1547112419.254 * * [misc]simplify: iters left: 2 (5 enodes) 1547112419.254 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112419.254 * [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))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112419.254 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1547112419.254 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112419.254 * * [misc]simplify: iters left: 3 (4 enodes) 1547112419.255 * * [misc]simplify: iters left: 2 (5 enodes) 1547112419.256 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112419.256 * [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))) (* 2 (fabs x))) (* (* (* (fabs x) (fabs x)) (/ 1/21 (sqrt PI))) (pow (fabs x) 5))))) 1547112419.256 * * * [misc]progress: adding candidates to table 1547112420.278 * * [misc]progress: iteration 4 / 4 1547112420.279 * * * [misc]progress: picking best candidate 1547112420.304 * * * * [misc]pick: Picked # 1547112420.305 * * * [misc]progress: localizing error 1547112420.351 * * * [misc]progress: generating rewritten candidates 1547112420.351 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 3 2) 1547112420.352 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 3 2 2) 1547112420.352 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1547112420.352 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 1) 1547112420.354 * * * [misc]progress: generating series expansions 1547112420.354 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 3 2) 1547112420.354 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 3 2 2) 1547112420.354 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1547112420.354 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 1) 1547112420.354 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112420.354 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs x)) in (x) around 0 1547112420.354 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1547112420.354 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112420.354 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112420.354 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112420.354 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112420.354 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs x)) in x 1547112420.354 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112420.354 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112420.354 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1547112420.354 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1547112420.354 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112420.354 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112420.355 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs x))) into 0 1547112420.355 * [misc]backup-simplify: Simplify 0 into 0 1547112420.355 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1547112420.355 * [misc]backup-simplify: Simplify 0 into 0 1547112420.355 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1547112420.356 * [misc]backup-simplify: Simplify 0 into 0 1547112420.356 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1547112420.356 * [misc]backup-simplify: Simplify 0 into 0 1547112420.356 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1547112420.356 * [misc]backup-simplify: Simplify 0 into 0 1547112420.357 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1547112420.357 * [misc]backup-simplify: Simplify 0 into 0 1547112420.357 * [misc]backup-simplify: Simplify (* 1/5 (fabs x)) into (* 1/5 (fabs x)) 1547112420.357 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112420.357 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in (x) around 0 1547112420.357 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1547112420.357 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112420.357 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112420.357 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112420.357 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112420.357 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ 1 x))) in x 1547112420.357 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112420.357 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112420.357 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1547112420.357 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1547112420.357 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112420.357 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 x))) into (* 1/5 (fabs (/ 1 x))) 1547112420.358 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ 1 x)))) into 0 1547112420.358 * [misc]backup-simplify: Simplify 0 into 0 1547112420.358 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1547112420.358 * [misc]backup-simplify: Simplify 0 into 0 1547112420.358 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1547112420.358 * [misc]backup-simplify: Simplify 0 into 0 1547112420.359 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1547112420.359 * [misc]backup-simplify: Simplify 0 into 0 1547112420.359 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1547112420.359 * [misc]backup-simplify: Simplify 0 into 0 1547112420.360 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1547112420.360 * [misc]backup-simplify: Simplify 0 into 0 1547112420.360 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (/ 1 x)))) into (* 1/5 (fabs x)) 1547112420.360 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ 1 (- x)))) into (* 1/5 (fabs (/ -1 x))) 1547112420.360 * [misc]approximate: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in (x) around 0 1547112420.360 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1547112420.360 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112420.360 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112420.360 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112420.360 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112420.360 * [misc]taylor: Taking taylor expansion of (* 1/5 (fabs (/ -1 x))) in x 1547112420.360 * [misc]taylor: Taking taylor expansion of 1/5 in x 1547112420.360 * [misc]backup-simplify: Simplify 1/5 into 1/5 1547112420.360 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1547112420.360 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1547112420.360 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1547112420.360 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 x))) into (* 1/5 (fabs (/ -1 x))) 1547112420.360 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (* 0 (fabs (/ -1 x)))) into 0 1547112420.360 * [misc]backup-simplify: Simplify 0 into 0 1547112420.361 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1547112420.361 * [misc]backup-simplify: Simplify 0 into 0 1547112420.361 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1547112420.361 * [misc]backup-simplify: Simplify 0 into 0 1547112420.361 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1547112420.361 * [misc]backup-simplify: Simplify 0 into 0 1547112420.362 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1547112420.362 * [misc]backup-simplify: Simplify 0 into 0 1547112420.362 * [misc]backup-simplify: Simplify (+ (* 1/5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1547112420.363 * [misc]backup-simplify: Simplify 0 into 0 1547112420.363 * [misc]backup-simplify: Simplify (* 1/5 (fabs (/ -1 (/ 1 (- x))))) into (* 1/5 (fabs x)) 1547112420.363 * * * [misc]progress: simplifying candidates 1547112420.363 * * * * [misc]progress: [ 1 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 2 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 3 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 4 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 5 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 6 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 7 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 8 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 9 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 10 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 11 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 12 / 54 ] simplifiying candidate # 1547112420.363 * * * * [misc]progress: [ 13 / 54 ] simplifiying candidate # 1547112420.363 * [enter]simplify: Simplifying (cbrt (sqrt PI)) 1547112420.364 * * [misc]simplify: iters left: 2 (3 enodes) 1547112420.364 * [exit]simplify: Simplified to (cbrt (sqrt PI)) 1547112420.364 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ (/ 1/21 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (cbrt (sqrt PI))))))) 1547112420.365 * * * * [misc]progress: [ 14 / 54 ] simplifiying candidate # 1547112420.365 * [enter]simplify: Simplifying (sqrt (sqrt PI)) 1547112420.365 * * [misc]simplify: iters left: 2 (3 enodes) 1547112420.366 * [exit]simplify: Simplified to (sqrt (sqrt PI)) 1547112420.366 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ (/ 1/21 (sqrt (sqrt PI))) (sqrt (sqrt PI))))))) 1547112420.366 * * * * [misc]progress: [ 15 / 54 ] simplifiying candidate # 1547112420.366 * [enter]simplify: Simplifying (sqrt PI) 1547112420.366 * * [misc]simplify: iters left: 1 (2 enodes) 1547112420.367 * [exit]simplify: Simplified to (sqrt PI) 1547112420.367 * [misc]simplify: Simplified (2 1 3 2 2) to (λ (x) (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ (/ 1/21 1) (sqrt PI)))))) 1547112420.367 * * * * [misc]progress: [ 16 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 17 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 18 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 19 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 20 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 21 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 22 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 23 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 24 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 25 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 26 / 54 ] simplifiying candidate # 1547112420.367 * * * * [misc]progress: [ 27 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 28 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 29 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 30 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 31 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 32 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 33 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 34 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 35 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 36 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 37 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 38 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 39 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 40 / 54 ] simplifiying candidate # 1547112420.368 * * * * [misc]progress: [ 41 / 54 ] simplifiying candidate # 1547112420.369 * * * * [misc]progress: [ 42 / 54 ] simplifiying candidate # 1547112420.369 * * * * [misc]progress: [ 43 / 54 ] simplifiying candidate # 1547112420.369 * * * * [misc]progress: [ 44 / 54 ] simplifiying candidate # 1547112420.369 * * * * [misc]progress: [ 45 / 54 ] simplifiying candidate # 1547112420.369 * [enter]simplify: Simplifying (cbrt (fabs x)) 1547112420.369 * * [misc]simplify: iters left: 2 (3 enodes) 1547112420.370 * [exit]simplify: Simplified to (cbrt (fabs x)) 1547112420.370 * [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)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112420.370 * * * * [misc]progress: [ 46 / 54 ] simplifiying candidate # 1547112420.370 * [enter]simplify: Simplifying (sqrt (fabs x)) 1547112420.370 * * [misc]simplify: iters left: 2 (3 enodes) 1547112420.371 * [exit]simplify: Simplified to (sqrt (fabs x)) 1547112420.371 * [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)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112420.371 * * * * [misc]progress: [ 47 / 54 ] simplifiying candidate # 1547112420.371 * [enter]simplify: Simplifying (fabs x) 1547112420.371 * * [misc]simplify: iters left: 1 (2 enodes) 1547112420.372 * [exit]simplify: Simplified to (fabs x) 1547112420.372 * [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)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112420.372 * * * * [misc]progress: [ 48 / 54 ] simplifiying candidate # 1547112420.372 * * * * [misc]progress: [ 49 / 54 ] simplifiying candidate # 1547112420.372 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1547112420.373 * * [misc]simplify: iters left: 6 (23 enodes) 1547112420.381 * * [misc]simplify: iters left: 5 (43 enodes) 1547112420.393 * * [misc]simplify: iters left: 4 (80 enodes) 1547112420.423 * * [misc]simplify: iters left: 3 (187 enodes) 1547112420.521 * * [misc]simplify: iters left: 2 (476 enodes) 1547112420.899 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI))))) 1547112420.899 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI)))))) 1547112420.899 * * * * [misc]progress: [ 50 / 54 ] simplifiying candidate # 1547112420.900 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1547112420.900 * * [misc]simplify: iters left: 6 (23 enodes) 1547112420.904 * * [misc]simplify: iters left: 5 (43 enodes) 1547112420.921 * * [misc]simplify: iters left: 4 (80 enodes) 1547112420.951 * * [misc]simplify: iters left: 3 (187 enodes) 1547112421.051 * * [misc]simplify: iters left: 2 (476 enodes) 1547112421.430 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI))))) 1547112421.430 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI)))))) 1547112421.430 * * * * [misc]progress: [ 51 / 54 ] simplifiying candidate # 1547112421.430 * [enter]simplify: Simplifying (fabs (fma (/ 1 (sqrt PI)) (fma (fma (* 1/5 (fabs x)) (* (fabs x) (fabs x)) (* 2/3 (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI))))) 1547112421.431 * * [misc]simplify: iters left: 6 (23 enodes) 1547112421.434 * * [misc]simplify: iters left: 5 (43 enodes) 1547112421.441 * * [misc]simplify: iters left: 4 (80 enodes) 1547112421.455 * * [misc]simplify: iters left: 3 (187 enodes) 1547112421.557 * * [misc]simplify: iters left: 2 (476 enodes) 1547112421.894 * [exit]simplify: Simplified to (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI))))) 1547112421.894 * [misc]simplify: Simplified (2) to (λ (x) (fabs (fma (/ (fabs x) (sqrt PI)) (fma (* (fabs x) (fabs x)) (fma (* (fabs x) 1/5) (fabs x) 2/3) 2) (* (pow (fabs x) 7) (/ 1/21 (sqrt PI)))))) 1547112421.894 * * * * [misc]progress: [ 52 / 54 ] simplifiying candidate # 1547112421.895 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112421.895 * * [misc]simplify: iters left: 3 (4 enodes) 1547112421.896 * * [misc]simplify: iters left: 2 (5 enodes) 1547112421.897 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112421.898 * [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)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112421.898 * * * * [misc]progress: [ 53 / 54 ] simplifiying candidate # 1547112421.898 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112421.898 * * [misc]simplify: iters left: 3 (4 enodes) 1547112421.899 * * [misc]simplify: iters left: 2 (5 enodes) 1547112421.900 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112421.901 * [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)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112421.901 * * * * [misc]progress: [ 54 / 54 ] simplifiying candidate # 1547112421.901 * [enter]simplify: Simplifying (* 1/5 (fabs x)) 1547112421.901 * * [misc]simplify: iters left: 3 (4 enodes) 1547112421.902 * * [misc]simplify: iters left: 2 (5 enodes) 1547112421.903 * [exit]simplify: Simplified to (* 1/5 (fabs x)) 1547112421.903 * [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)) (* (fabs x) 2)) (* (* (pow (fabs x) 6) (fabs x)) (/ 1/21 (sqrt PI)))))) 1547112421.904 * * * [misc]progress: adding candidates to table 1547112422.849 * [misc]progress: [Phase 3 of 3] Extracting. 1547112422.849 * * [misc]regime: Finding splitpoints for: (# # # #) 1547112422.850 * * * [misc]regime-changes: Trying 5 branch expressions: (x (fabs x) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) 1547112422.851 * * * * [misc]regimes: Trying to branch on x from (# # # #) 1547112422.897 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # #) 1547112422.945 * * * * [misc]regimes: Trying to branch on (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) from (# # # #) 1547112423.024 * * * * [misc]regimes: Trying to branch on (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) from (# # # #) 1547112423.090 * * * * [misc]regimes: Trying to branch on (fabs (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) from (# # # #) 1547112423.155 * * * [misc]regime: Found split indices: #