Date:Saturday, May 2nd, 2020
Commit:95cc637d on master
Hostname:warfa with Racket 7.5
Seed:2020123
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

sample38.5s (32.7%)

Algorithm
73×intervals
Results
12.5s293975×body80valid
6.0s14125×body1280valid
3.0s3973×body2560valid
2.4s9467×body640valid
2.3s16928×body160valid
2.3s100675×pre80true
996.0ms6881×body320valid
758.0ms19241×body80nan
276.0ms200×body5120exit
155.0ms2061×body80overflowed
94.0ms218×body5120valid
4.0ms100×pre80false

prune31.4s (26.7%)

Filtered
16116 candidates to 8391 candidates (52.1%)

series27.3s (23.2%)

Calls

291 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
485.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)))))
460.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
422.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
407.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.8s (9.2%)

Algorithm
174×egg-herbie

regimes3.8s (3.3%)

Accuracy

Total 34.4b remaining (14.6%)

Threshold costs 3.5b (1.5%)

7.2b35.7%Complex division, real part
7.2b48.6%Complex division, imag part
5.6b69.1%Compound Interest
5.1b82%The quadratic formula (r2)
4.8b82.2%The quadratic formula (r1)

rewrite3.8s (3.2%)

Algorithm
104×rewrite-expression-head
Calls

291 calls:

70.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
67.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
67.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))
53.0ms
(* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
Rules
11657×times-frac
10828×*-un-lft-identity
9473×add-sqr-sqrt
8191×add-cube-cbrt
5888×prod-diff
1757×add-exp-log
1319×add-cbrt-cube
1061×distribute-rgt-in distribute-lft-in
1039×unpow-prod-down
1027×distribute-lft-out
807×div-inv
692×associate-*r*
604×pow1
578×prod-exp
565×add-log-exp
557×sqrt-prod
505×div-exp
463×difference-of-squares
445×associate-*l*
417×sqr-pow
384×cbrt-unprod
381×associate-/l*
361×associate-/r/
332×cbrt-undiv
315×cube-prod
306×distribute-lft-out--
294×log1p-expm1-u
291×expm1-log1p-u
290×associate-/r*
261×fma-neg
244×flip-+ flip3-+
169×flip3-- flip--
139×unswap-sqr
129×frac-times
128×pow-prod-down distribute-rgt-neg-in
126×associate-*r/
121×associate-*l/
114×sum-log
105×unpow3 cube-mult
101×distribute-lft-neg-in
100×1-exp
90×swap-sqr
89×fma-def
80×cbrt-prod associate-/l/
76×cbrt-div
70×*-commutative
69×clear-num frac-2neg
61×unpow2 sub-neg
49×diff-log
45×rec-exp
44×log-prod
39×sqrt-div pow-exp
38×fma-udef
37×pow-to-exp
36×frac-add
35×neg-mul-1
29×exp-prod
24×log-pow
23×rem-sqrt-square
22×pow-unpow +-commutative pow-pow
21×frac-sub
20×div-sub
17×pow-prod-up pow1/3 pow-plus
14×pow1/2 sqrt-pow1
13×pow2 pow-sqr
10×associate-+r+
9×rem-log-exp
8×associate-+l+ pow-flip
7×neg-sub0
6×associate--l- inv-pow distribute-lft-neg-out
5×distribute-frac-neg neg-log
4×cube-div expm1-log1p expm1-udef exp-to-pow
3×log1p-udef log1p-expm1 distribute-rgt-out-- associate-+l- associate--l+
2×un-div-inv hypot-udef hypot-def rem-cbrt-cube associate--r+ log-div
1×pow3 sub-div sum-cubes

localize1.3s (1.1%)

bsearch676.0ms (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...