Date:Tuesday, March 3rd, 2020
Commit:ee6b458f on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020063
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

prune32.9s (30.6%)

Filtered
13555 candidates to 7743 candidates (57.1%)

sample32.3s (30.1%)

Algorithm
73×intervals
Results
10.0s294282×body80valid
5.1s14080×body1280valid
2.5s3940×body2560valid
1.9s9654×body640valid
1.8s16783×body160valid
1.4s100638×pre80true
1.1s2175×body10240exit
765.0ms6933×body320valid
557.0ms19521×body80nan
95.0ms219×body5120valid
3.0ms100×pre80false

series24.8s (23.1%)

Calls

280 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
479.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)))))
421.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
418.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
416.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify9.5s (8.9%)

Algorithm
174×egg-herbie

rewrite3.2s (2.9%)

Algorithm
104×rewrite-expression-head
Calls

280 calls:

64.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
54.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
43.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
40.0ms
(* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b)))
37.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
7813×*-un-lft-identity
7579×times-frac
6819×add-sqr-sqrt
5751×add-cube-cbrt
3850×prod-diff
1765×add-exp-log
1241×add-cbrt-cube
802×distribute-lft-out
752×distribute-rgt-in distribute-lft-in
690×associate-*r*
635×pow1
627×prod-exp
585×div-inv
518×add-log-exp
488×div-exp
471×associate-*l*
361×unpow-prod-down
348×difference-of-squares
347×cbrt-unprod
346×sqrt-prod
296×associate-/l*
291×cbrt-undiv
281×expm1-log1p-u
280×log1p-expm1-u
268×associate-/r*
258×associate-/r/
254×distribute-lft-out--
214×flip-+ flip3-+
205×fma-neg
198×cbrt-prod
186×log-prod
176×frac-times
170×flip3-- flip--
166×cube-prod
157×unswap-sqr
151×associate-*r/
143×pow-prod-down
129×1-exp distribute-rgt-neg-in
123×associate-*l/
111×sqr-pow
104×distribute-lft-neg-in
97×frac-sub
95×sum-log
89×associate-/l/
83×fma-def
77×rec-exp
74×exp-neg
72×*-commutative
67×clear-num frac-2neg
66×sub-neg
65×neg-sub0
58×exp-sum
57×exp-diff
56×swap-sqr
45×diff-log
43×sqrt-div
41×unpow2
40×cbrt-div
38×pow-exp
37×fma-udef
36×neg-mul-1
35×pow-to-exp
32×log-pow
25×un-div-inv
24×pow1/2 sqrt-pow1
19×+-commutative
18×pow-prod-up div-sub log-div
17×rem-sqrt-square
16×pow-sqr pow1/3
15×associate--r+
14×unpow3 cube-mult
12×pow-unpow frac-add exp-prod
11×pow-plus
10×associate-+l+ pow2 associate--l+ rem-log-exp
9×neg-log
8×associate-+r+ pow-flip
7×cube-div associate--l-
6×inv-pow distribute-lft-neg-out hypot-def
5×rem-cube-cbrt hypot-udef distribute-frac-neg
4×rem-exp-log pow-pow rem-cbrt-cube
3×associate-+l-
2×associate-+r- unsub-neg associate--r- sum-cubes
1×log1p-udef sqrt-unprod log1p-expm1 rem-square-sqrt

regimes2.5s (2.3%)

Accuracy

Total 31.2b remaining (11.2%)

Threshold costs 2.5b (0.9%)

6.9b41%Complex division, real part
6.0b67.2%Compound Interest
5.3b81.3%The quadratic formula (r2)
5.3b80.3%The quadratic formula (r1)
3.9b52.8%Complex division, imag part

localize1.3s (1.2%)

bsearch925.0ms (0.9%)

end1.0ms (0.0%)