Date:Wednesday, February 26th, 2020
Commit:2c6cda94 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020057
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

prune39.5s (31.8%)

Filtered
16645 candidates to 8896 candidates (53.4%)

sample31.1s (25.0%)

Algorithm
73×intervals
Results
9.2s293643×body80valid
4.8s13887×body1280valid
2.5s3836×body2560valid
1.8s9375×body640valid
1.8s16879×body160valid
1.4s100584×pre80true
1.0s2203×body10240exit
719.0ms6864×body320valid
546.0ms19466×body80nan
94.0ms227×body5120valid
6.0ms100×pre80false

series27.4s (22.0%)

Calls

291 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
592.0ms
(* (* 100.0 (/ (+ (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) i)) (/ (fma i 0.5 (- (fma 1/2 (* (log 1.0) n) 1) (sqrt 1.0))) (/ 1 n)))
507.0ms
(* (* (fma i 0.5 (- (fma 1/2 (* (log 1.0) n) 1) (sqrt 1.0))) n) (/ (+ (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) i))
475.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))
412.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify11.6s (9.3%)

Algorithm
179×egg-herbie

rewrite9.2s (7.4%)

Algorithm
109×rewrite-expression-head
Calls

291 calls:

338.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
336.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
288.0ms
(+ (+ (+ (+ e d) c) b) a)
284.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
284.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
12318×times-frac
11544×*-un-lft-identity
10172×add-sqr-sqrt
8559×add-cube-cbrt
6414×prod-diff
1699×add-exp-log
1278×add-cbrt-cube
1099×distribute-lft-out
1033×unpow-prod-down
907×distribute-rgt-in distribute-lft-in
875×associate-*r*
820×div-inv
629×pow1
574×add-log-exp
565×difference-of-squares
547×prod-exp
478×div-exp
454×associate-*l*
425×cube-prod
414×distribute-lft-out--
386×cbrt-prod
350×sqrt-prod cbrt-unprod
348×associate-/r*
342×sqr-pow
322×associate-/r/
310×associate-/l*
309×cbrt-undiv
294×log1p-expm1-u expm1-log1p-u
285×fma-neg
252×flip-+ flip3-+
193×frac-times
174×flip3-- flip--
157×distribute-rgt-neg-in
156×associate-*r/
147×unswap-sqr
129×pow-prod-down
128×distribute-lft-neg-in
110×sum-log
109×associate-*l/
104×frac-sub
97×1-exp
87×swap-sqr
86×unpow3 cube-mult
79×associate-/l/
78×exp-neg
77×fma-def
73×sub-neg
71×*-commutative
66×neg-sub0
63×clear-num frac-2neg
59×exp-diff
58×pow-unpow
57×rec-exp diff-log
53×sqrt-div
44×neg-mul-1
42×fma-udef
31×unpow2
29×pow-to-exp pow-exp
28×sqrt-pow1
27×un-div-inv
26×pow1/2 cbrt-div
24×pow-prod-up
22×log-prod
21×div-sub
20×+-commutative
19×pow-plus
18×pow-sqr
16×distribute-lft-neg-out frac-add
15×pow2 pow1/3
14×rem-sqrt-square
12×associate-+r+ exp-prod associate--r+
10×associate-+l+
9×pow-flip
8×associate--l- log-pow sum-cubes log-div
7×inv-pow neg-log distribute-rgt-out-- associate--l+
6×cube-div pow-pow
5×expm1-log1p expm1-udef
4×rem-exp-log distribute-frac-neg rem-log-exp
3×log1p-udef log1p-expm1 rem-cbrt-cube
2×pow3 hypot-def associate-+l-
1×rem-cube-cbrt sqrt-undiv difference-cubes sqrt-unprod hypot-udef rem-square-sqrt distribute-rgt-out

regimes3.3s (2.7%)

Accuracy

Total 36.9b remaining (12.6%)

Threshold costs 4.3b (1.5%)

10.1b52.6%Compound Interest
8.3b33.9%Complex division, imag part
7.7b30.4%Complex division, real part
5.2b81.8%The quadratic formula (r2)
1.3b94.4%The quadratic formula (r1)

localize1.4s (1.1%)

bsearch824.0ms (0.7%)

end1.0ms (0.0%)