Date:Tuesday, May 26th, 2020
Commit:84332aa3 on master
Hostname:warfa with Racket 7.5
Seed:2020147
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series3.7m (40.1%)

Calls

497 calls:

22.9s
(- (pow 1.0 3) (/ (pow (* 1.0 (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) 3) (pow (* (* (+ 1.0 (* 0.3275911 (fabs x))) (- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) 3)))
5.9s
(* (+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1))
4.0s
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3))
2.9s
(/ (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))
2.8s
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))

prune2.5m (27.3%)

Filtered
18046 candidates to 11466 candidates (36.5%)

sample2.3m (24.6%)

Algorithm
99×intervals
Results
46.4s7997×body5120exit
28.0s504321×body80valid
16.3s30937×body1280valid
7.9s23399×body640valid
4.3s3153×body1280nan
3.3s69887×body80nan
2.6s11820×body320valid
2.5s2572×body640nan
898.0ms6255×body160valid
886.0ms1270×body320nan
858.0ms8038×body80overflowed
813.0ms49536×pre80true
514.0ms1540×body2560valid
301.0ms634×body160nan
176.0ms545×body5120valid

simplify16.2s (2.9%)

Algorithm
263×egg-herbie

regimes13.8s (2.5%)

Accuracy

Total 101.0b remaining (35.5%)

Threshold costs 5.2b (1.8%)

12.4b56.3%powComplex, real part
11.0b54.9%math.log10 on complex, real part
10.8b55.6%math.log/1 on complex, real part
10.7b57%math.log/2 on complex, real part
10.5b55.4%math.abs on complex

rewrite8.0s (1.4%)

Algorithm
165×rewrite-expression-head
Calls

501 calls:

302.0ms
(* (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (* (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) 1)))
301.0ms
(* (* (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (/ 1 (* (+ (+ (* 2.0 (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x (pow x 3))))) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))) 1))) x)
255.0ms
(* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (/ (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
181.0ms
(- (pow (pow 1.0 3) 3) (pow (/ (pow (* 1.0 (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) 3) (pow (* (* (+ 1.0 (* 0.3275911 (fabs x))) (- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) 3)) 3))
148.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
Rules
7918×times-frac
7203×*-un-lft-identity
6555×add-sqr-sqrt
4632×add-cube-cbrt
3037×add-exp-log
2261×add-cbrt-cube
2218×pow1
2196×sqrt-prod
1609×associate-*r*
1442×frac-add
1167×distribute-lft-out
1145×prod-exp
1090×associate-*l*
1022×frac-times
963×flip-+ flip3-+
860×add-log-exp
816×cbrt-unprod
780×associate-*r/
708×div-exp
656×associate-*l/
573×cbrt-prod
567×associate-/r/
563×pow-prod-down
529×associate-/l*
493×cbrt-div
483×cbrt-undiv
475×associate-/r*
427×unswap-sqr
418×unpow-prod-down
415×log-pow
380×difference-of-squares
350×sqrt-div
346×div-inv
328×exp-neg
266×cube-prod
260×flip-- flip3--
254×distribute-lft-out-- pow-prod-up
249×sqr-pow
233×swap-sqr
231×sqrt-pow1
226×pow1/3
176×mul-1-neg
157×*-commutative
155×associate-/l/
153×pow1/2
144×pow-sqr
133×pow-plus
132×un-div-inv
123×exp-diff
115×neg-sub0
110×sum-log
93×pow-exp diff-log
88×exp-prod
85×log-prod
84×sub-neg
79×frac-2neg 1-exp clear-num
77×distribute-rgt-in distribute-lft-in
75×pow2
73×rec-exp
71×rem-sqrt-square
63×pow-to-exp
61×associate-+l-
53×pow-sub
48×pow-unpow
47×+-commutative
43×associate--l+
41×div-sub
39×log-div
31×cube-div
27×rem-exp-log
24×exp-sum
23×associate-+l+
22×pow-pow unpow3 cube-mult
20×rem-cube-cbrt unpow2
19×distribute-lft-neg-in distribute-rgt-neg-in
16×associate--l-
13×neg-log
11×pow3
8×pow-flip associate-+r+ inv-pow frac-sub associate--r+
6×sin-sum rem-log-exp
5×sqrt-unprod rem-square-sqrt
4×distribute-rgt1-in distribute-rgt-out neg-mul-1 rem-cbrt-cube
3×distribute-neg-in
2×difference-cubes sqrt-undiv unpow-prod-up associate--r- exp-to-pow
1×cos-sum log-rec

bsearch3.1s (0.6%)

localize2.9s (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...