Date:Thursday, April 30th, 2020
Commit:79b0ceb2 on master
Hostname:warfa with Racket 7.5
Seed:2020121
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

sample37.3s (32.4%)

Algorithm
73×intervals
Results
11.9s293716×body80valid
6.0s14253×body1280valid
2.9s3792×body2560valid
2.4s9701×body640valid
2.3s16705×body160valid
2.1s100578×pre80true
967.0ms6994×body320valid
746.0ms19526×body80nan
255.0ms200×body5120exit
138.0ms2057×body80overflowed
134.0ms253×body5120valid
4.0ms100×pre80false

prune31.0s (26.9%)

Filtered
14832 candidates to 8357 candidates (56.3%)

series26.9s (23.3%)

Calls

291 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
495.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)))))
425.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
424.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
420.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.3s (9.0%)

Algorithm
177×egg-herbie

regimes3.9s (3.4%)

Accuracy

Total 36.1b remaining (15%)

Threshold costs 2.4b (1%)

8.3b33.9%Complex division, imag part
8.1b27.3%Complex division, real part
5.8b67.8%Compound Interest
5.2b81.9%The quadratic formula (r2)
3.9b85.7%The quadratic formula (r1)

rewrite3.4s (3.0%)

Algorithm
107×rewrite-expression-head
Calls

291 calls:

65.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
54.0ms
(* (/ (- t1) (+ t1 u)) (/ 1 (/ (+ t1 u) v)))
49.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
45.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
40.0ms
(/ (* (* (/ PI 2.0) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (+ b a))
Rules
9332×times-frac
8887×*-un-lft-identity
7833×add-sqr-sqrt
6793×add-cube-cbrt
4275×prod-diff
1796×add-exp-log
1276×add-cbrt-cube
910×distribute-rgt-in distribute-lft-in
826×distribute-lft-out
772×sqrt-prod
699×div-inv
685×associate-*r*
649×pow1
602×prod-exp
568×add-log-exp
515×div-exp
464×associate-*l*
429×associate-/l*
352×cbrt-unprod
348×difference-of-squares
312×associate-/r/
307×cbrt-undiv
305×unpow-prod-down
295×associate-/r*
294×expm1-log1p-u
291×log1p-expm1-u
255×distribute-lft-out--
229×fma-neg
205×cbrt-prod
204×flip-+ flip3-+
199×distribute-rgt-neg-in
168×distribute-lft-neg-in
135×flip-- pow-prod-down unswap-sqr flip3--
130×1-exp
121×sqr-pow
117×sum-log
114×cube-prod
105×swap-sqr
100×associate-*r/
99×fma-def
89×frac-times
76×sqrt-div
75×associate-*l/
71×*-commutative rec-exp
70×associate-/l/
64×clear-num frac-2neg
63×sub-neg log-prod
56×neg-mul-1
55×log-pow
49×diff-log
42×fma-udef
36×exp-prod
35×unpow2
28×pow-exp
27×unpow3 cube-mult
26×pow-to-exp +-commutative
22×rem-sqrt-square exp-sum
21×pow1/2 sqrt-pow1
19×pow-prod-up frac-sub
18×pow1/3 pow-plus
17×div-sub
16×pow-flip
15×pow-sqr
14×pow2
13×associate-+r+ log-div
12×pow-unpow frac-add
11×inv-pow
9×associate-+l+ neg-sub0
8×rem-log-exp pow-pow
7×associate--l-
6×cube-div distribute-lft-neg-out hypot-def neg-log
5×cbrt-div distribute-frac-neg
4×rem-cbrt-cube
3×exp-diff log1p-udef log1p-expm1 expm1-log1p expm1-udef associate-+l-
2×rem-cube-cbrt sqrt-pow2 un-div-inv associate--r+
1×sqrt-undiv pow3 distribute-rgt-out associate--l+

localize1.2s (1.1%)

bsearch1.2s (1.0%)

end1.0ms (0.0%)