Date:Friday, March 6th, 2020
Commit:044801c1 on master
Hostname:warfa with Racket 7.5
Seed:2020066
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

prune41.3s (33.2%)

Filtered
17680 candidates to 9403 candidates (53.2%)

sample32.5s (26.1%)

Algorithm
73×intervals
Results
9.8s292299×body80valid
5.2s14224×body1280valid
2.4s3731×body2560valid
1.9s9596×body640valid
1.8s16945×body160valid
1.4s100702×pre80true
1.1s2267×body10240exit
764.0ms7018×body320valid
542.0ms18920×body80nan
85.0ms235×body5120valid
3.0ms100×pre80false

series29.8s (24.0%)

Calls

301 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
1.0s
(fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (pow y 4.0)))
739.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
501.0ms
(cbrt (fma 1.3877787807814457e-17 (/ (pow x 3) eps) (- 1.0 (* 0.5 (pow x 2)))))
475.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)))))

simplify10.8s (8.7%)

Algorithm
177×egg-herbie

rewrite4.2s (3.4%)

Algorithm
107×rewrite-expression-head
Calls

301 calls:

76.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
56.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
55.0ms
(/ (/ 1 (sqrt (hypot c d))) (/ (hypot c d) (/ (fma a c (* b d)) (sqrt (hypot c d)))))
44.0ms
(* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b)))
43.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
15764×times-frac
12095×*-un-lft-identity
10889×add-sqr-sqrt
9805×add-cube-cbrt
5087×prod-diff
2623×add-exp-log
2154×add-cbrt-cube
2057×sqrt-prod
1059×unpow-prod-down
1035×prod-exp
973×pow1
952×distribute-lft-out
838×div-inv
800×cbrt-unprod
783×div-exp
641×associate-*r*
596×cbrt-undiv
574×distribute-rgt-in distribute-lft-in
573×add-log-exp
426×associate-*l*
418×associate-/l*
405×cube-prod
394×sqr-pow
363×difference-of-squares
346×associate-/r*
301×log1p-expm1-u expm1-log1p-u
294×cbrt-prod
252×associate-/r/
249×pow-prod-down
232×fma-neg
207×distribute-lft-out--
186×flip-+ flip3-+
163×distribute-rgt-neg-in
142×distribute-lft-neg-in
136×unswap-sqr
131×exp-prod
122×1-exp
113×unpow3 cube-mult
111×associate-*r/
110×flip-- sum-log flip3--
105×frac-times sqrt-pow1
98×pow-prod-up
88×log-pow
83×fma-def
81×associate-*l/
79×sqrt-div
78×log-prod
76×associate-/l/
72×swap-sqr
69×clear-num *-commutative frac-2neg
64×pow-sqr sub-neg
61×rec-exp
50×diff-log
48×neg-mul-1
46×pow1/2 pow-plus
41×unpow2 pow-exp
39×fma-udef
36×pow2
35×rem-sqrt-square
32×pow-to-exp
23×+-commutative
18×pow1/3
15×pow-unpow div-sub frac-sub
13×cube-div rem-cube-cbrt pow-flip
12×frac-add associate-+r+ associate--r+ log-div
11×pow-pow
10×cbrt-div associate-+l+
9×neg-sub0
8×rem-cbrt-cube
7×associate--l- inv-pow distribute-lft-neg-out hypot-def neg-log rem-log-exp
6×sum-cubes
4×rem-exp-log hypot-udef distribute-frac-neg
2×sqrt-undiv un-div-inv associate-+l- associate--l+ exp-to-pow
1×exp-diff sqrt-unprod exp-neg rem-square-sqrt distribute-rgt-out

regimes3.5s (2.8%)

Accuracy

Total 35.4b remaining (12%)

Threshold costs 3.4b (1.2%)

8.6b27.3%Complex division, imag part
7.5b78.3%The quadratic formula (r2)
7.4b36.2%Complex division, real part
6.0b67.4%Compound Interest
1.4b0%Rosa's DopplerBench

localize1.4s (1.1%)

bsearch928.0ms (0.7%)

end1.0ms (0.0%)