Date:Thursday, March 5th, 2020
Commit:7606e899 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020065
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

prune33.2s (30.2%)

Filtered
15588 candidates to 8090 candidates (51.9%)

sample32.4s (29.5%)

Algorithm
73×intervals
Results
9.6s293273×body80valid
5.2s14012×body1280valid
2.7s3838×body2560valid
1.9s9662×body640valid
1.9s16733×body160valid
1.4s100660×pre80true
1.0s2206×body10240exit
785.0ms7030×body320valid
552.0ms19283×body80nan
104.0ms252×body5120valid
3.0ms100×pre80false

series25.1s (22.8%)

Calls

284 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
471.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)))))
427.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
413.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
409.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.2s (9.3%)

Algorithm
172×egg-herbie

rewrite3.4s (3.1%)

Algorithm
102×rewrite-expression-head
Calls

284 calls:

76.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
61.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
53.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
47.0ms
(/ (* (* (/ PI 2.0) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (+ b a))
43.0ms
(* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b)))
Rules
10478×times-frac
9783×*-un-lft-identity
8838×add-sqr-sqrt
7405×add-cube-cbrt
4987×prod-diff
1695×add-exp-log
1314×unpow-prod-down
1146×add-cbrt-cube
950×distribute-rgt-in distribute-lft-in
819×distribute-lft-out
752×sqrt-prod
712×div-inv
639×associate-*r*
592×prod-exp
581×add-log-exp
576×pow1
538×difference-of-squares
525×cube-prod
472×div-exp
423×sqr-pow
416×associate-*l*
377×distribute-lft-out--
327×associate-/l*
323×associate-/r*
318×associate-/r/
297×cbrt-unprod
295×cbrt-prod
287×log1p-expm1-u
285×expm1-log1p-u
269×cbrt-undiv
259×fma-neg
247×distribute-rgt-neg-in
214×flip-+ flip3-+
191×distribute-lft-neg-in
178×flip3-- flip--
154×frac-times
143×unswap-sqr
142×1-exp
126×associate-*r/
122×sum-log
111×pow-prod-down
109×fma-def
100×frac-sub
97×associate-*l/
91×unpow3 cube-mult
88×sqrt-div
87×rec-exp
78×exp-neg
71×neg-sub0
69×swap-sqr
66×associate-/l/ clear-num frac-2neg
65×sub-neg neg-mul-1
63×*-commutative
62×sqrt-pow1
59×exp-diff
53×diff-log
52×log-prod
44×fma-udef
42×pow1/2
39×unpow2
36×pow-exp
34×pow-to-exp
27×+-commutative
25×un-div-inv
24×rem-sqrt-square
18×div-sub
17×pow-prod-up log-pow
15×pow-unpow associate-+r+
12×frac-add pow-sqr pow-flip exp-prod associate--r+
11×associate-+l+ neg-log
9×associate--l- inv-pow pow-pow
8×cube-div pow2 pow-plus pow1/3 log-div
6×cbrt-div rem-cube-cbrt distribute-frac-neg hypot-def sum-cubes
5×distribute-lft-neg-out rem-cbrt-cube
4×rem-exp-log expm1-log1p expm1-udef rem-log-exp
3×log1p-udef log1p-expm1 associate-+l-
2×sqrt-pow2 associate-+r- associate--l+
1×sqrt-undiv sqrt-unprod hypot-udef unsub-neg rem-square-sqrt distribute-rgt-out

regimes3.3s (3.0%)

Accuracy

Total 36.7b remaining (12.6%)

Threshold costs 3.6b (1.2%)

9.2b18.8%Complex division, real part
8.2b32%Complex division, imag part
6.5b63.6%Compound Interest
4.5b84.6%The quadratic formula (r2)
3.5b87.4%The quadratic formula (r1)

localize1.3s (1.2%)

bsearch869.0ms (0.8%)

end1.0ms (0.0%)