Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
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

prune45.3s (36.4%)

sample32.3s (26.0%)

Algorithm
73×intervals
Results
9.7s293123×body80valid
5.2s14128×body1280valid
2.6s3935×body2560valid
1.9s9497×body640valid
1.8s16831×body160valid
1.4s100623×pre80true
1.1s2193×body10240exit
766.0ms6906×body320valid
561.0ms19391×body80nan
117.0ms251×body5120valid
3.0ms100×pre80false

series26.0s (20.9%)

Calls

277 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
1.0s
(/ (+ (pow (+ (+ (+ e d) c) b) 3) (pow a 3)) (fma a (- a (+ (+ (+ e d) c) b)) (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b))))
595.0ms
(pow (+ (+ (+ e d) c) b) 3)
483.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)))))
411.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify11.0s (8.9%)

Algorithm
170×egg-herbie

rewrite4.3s (3.5%)

Algorithm
100×rewrite-expression-head
Calls

277 calls:

78.0ms
(* (/ (sqrt (- 1.0 x)) (sqrt (+ 1.0 x))) (/ (sqrt (- 1.0 x)) (sqrt (+ 1.0 x))))
77.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
66.0ms
(* (/ (/ PI 2.0) (+ b a)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
51.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
46.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
18531×times-frac
15935×*-un-lft-identity
13534×add-sqr-sqrt
11376×add-cube-cbrt
6675×prod-diff
1627×add-exp-log
1603×distribute-lft-out
1467×distribute-rgt-in distribute-lft-in
1390×sqrt-prod
1284×add-cbrt-cube
1174×cbrt-prod
1157×div-inv
860×unpow-prod-down
848×difference-of-squares
723×distribute-lft-out--
621×pow1
617×associate-*r*
595×associate-*l*
571×associate-/r/
568×associate-/l*
565×add-log-exp
505×prod-exp
477×div-exp
352×cbrt-unprod
348×flip-+ flip3-+
340×cube-prod
323×cbrt-undiv
320×associate-/r*
309×sqr-pow
303×distribute-rgt-neg-in
294×fma-neg
277×log1p-expm1-u expm1-log1p-u
254×swap-sqr
248×distribute-lft-neg-in
172×flip3-- flip--
169×frac-times
141×associate-*r/
133×pow-prod-down
128×unswap-sqr
109×sum-log
106×fma-def
104×frac-sub
98×associate-*l/
93×1-exp
85×unpow3 cube-mult
84×neg-mul-1
78×exp-neg
72×associate-/l/
70×neg-sub0 sub-neg
68×*-commutative
66×clear-num frac-2neg
59×exp-diff
57×diff-log rec-exp
40×sqrt-div
36×fma-udef
29×+-commutative
27×cbrt-div
26×pow-prod-up sqrt-pow1
25×div-sub
23×un-div-inv
21×pow1/2 pow-plus
20×pow-sqr
18×pow1/3
17×pow2 pow-to-exp pow-exp
16×log-prod
14×rem-sqrt-square
13×associate-+l+
12×exp-prod
10×associate--l- unpow2 neg-log
9×pow-unpow associate-+r+
8×frac-add pow-flip
7×inv-pow distribute-lft-neg-out
6×cube-div sqrt-undiv
5×hypot-udef distribute-frac-neg
4×rem-exp-log sum-cubes
3×log-pow rem-cbrt-cube pow-pow
2×rem-cube-cbrt sqrt-unprod rem-square-sqrt associate-+l- associate--l+ associate--r+ log-div
1×pow3 sub-div distribute-rgt-out hypot-def distribute-rgt-out-- rem-log-exp

regimes3.1s (2.5%)

Accuracy

Total 34.0b remaining (14.3%)

Threshold costs 3.0b (1.3%)

9.2b22.7%Complex division, imag part
7.4b33.7%Complex division, real part
6.0b67.3%Compound Interest
4.6b83.9%The quadratic formula (r2)
1.4b0%Rosa's DopplerBench

localize1.4s (1.2%)

bsearch916.0ms (0.7%)

end1.0ms (0.0%)