Date:Saturday, February 22nd, 2020
Commit:72c1b946 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020053
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

prune42.2s (33.0%)

Filtered
18134 candidates to 9679 candidates (53.4%)

sample31.4s (24.5%)

Algorithm
73×intervals
Results
9.4s292767×body80valid
4.7s13609×body1280valid
2.5s3876×body2560valid
1.8s9596×body640valid
1.8s16851×body160valid
1.4s100561×pre80true
1.0s2159×body10240exit
766.0ms6960×body320valid
552.0ms19256×body80nan
83.0ms222×body5120valid
3.0ms100×pre80false

series28.4s (22.2%)

Calls

277 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
584.0ms
(/ 1.0 (+ 2.0 (* (fma (sqrt 2.0) (sqrt 2.0) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
473.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)))))
420.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
415.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite11.0s (8.6%)

Algorithm
99×rewrite-expression-head
Calls

277 calls:

1.2s
(* (/ (/ (sqrt (- 1.0 x)) (sqrt (- (* 1.0 1.0) (* x x)))) (sqrt (sqrt (sqrt (+ 1.0 x))))) (/ (sqrt (- 1.0 x)) (sqrt (sqrt (sqrt (+ 1.0 x))))))
776.0ms
(* (/ (/ (sqrt (- 1.0 x)) (sqrt (+ 1.0 x))) (sqrt (sqrt (+ 1.0 x)))) (/ (sqrt (- 1.0 x)) (sqrt (sqrt (+ 1.0 x)))))
350.0ms
(* (* (/ (/ (sqrt (- 1.0 x)) (sqrt (- (* 1.0 1.0) (* x x)))) (sqrt (sqrt (sqrt (+ 1.0 x))))) (/ (sqrt (- 1.0 x)) (sqrt (sqrt (sqrt (+ 1.0 x)))))) (/ (sqrt (- 1.0 x)) (sqrt (sqrt (+ 1.0 x)))))
342.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
300.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
16182×times-frac
13512×*-un-lft-identity
12858×add-sqr-sqrt
8861×add-cube-cbrt
8373×sqrt-prod
3586×prod-diff
1880×associate-*l*
1865×add-exp-log
1445×distribute-lft-out
1295×add-cbrt-cube
1273×associate-*r*
1113×difference-of-squares
911×distribute-rgt-in distribute-lft-in
892×distribute-lft-out--
684×div-inv
626×associate-/l*
607×prod-exp
600×div-exp
553×add-log-exp
549×pow1
496×associate-/r/
488×unswap-sqr
420×distribute-rgt-neg-in
393×distribute-lft-neg-in
360×cbrt-undiv
359×associate-/r*
336×cbrt-unprod
297×unpow-prod-down
278×log1p-expm1-u
277×expm1-log1p-u
268×flip-+ flip3-+
249×cbrt-prod
206×swap-sqr
199×fma-neg
169×sqrt-div
152×1-exp
150×flip3-- flip--
145×sqr-pow
120×sum-log
112×frac-times
106×pow-prod-down
105×fma-def
97×associate-*r/
95×neg-mul-1
91×rec-exp
80×associate-/l/
79×associate-*l/
71×clear-num frac-2neg
64×*-commutative
61×sub-neg
56×cube-prod
44×fma-udef diff-log
37×cbrt-div
36×unpow2
33×log-prod
26×pow-to-exp pow-exp
25×+-commutative div-sub
23×pow1/3
21×sqrt-undiv
19×pow1/2 sqrt-pow1
16×rem-sqrt-square pow-flip
15×unpow3 cube-mult frac-sub
13×pow-prod-up log-pow neg-sub0
12×associate-+r+ pow-sqr
11×pow2 pow-plus
10×exp-prod
9×pow-unpow inv-pow neg-log
8×frac-add
7×associate-+l+ associate--l-
6×log-div
5×sqrt-unprod hypot-def associate-+l- pow-pow
4×un-div-inv distribute-frac-neg rem-log-exp rem-cbrt-cube
3×rem-exp-log associate--l+
2×cube-div distribute-lft-neg-out exp-to-pow associate--r+
1×exp-diff rem-cube-cbrt sqrt-pow2 log1p-udef associate-+r- exp-neg log1p-expm1 expm1-log1p unsub-neg rem-square-sqrt expm1-udef distribute-neg-frac

simplify9.9s (7.8%)

Algorithm
169×egg-herbie

regimes3.1s (2.4%)

Accuracy

Total 42.7b remaining (17.3%)

Threshold costs 3.2b (1.3%)

11.8b47%Compound Interest
9.2b15.4%Complex division, real part
8.1b30.4%Complex division, imag part
4.8b83%The quadratic formula (r2)
4.2b85.3%The quadratic formula (r1)

localize1.3s (1.0%)

bsearch776.0ms (0.6%)

end0.0ms (0.0%)