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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune36.8s (28.4%)

Filtered
14004 candidates to 8142 candidates (58.1%)

sample31.1s (24.0%)

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

series28.4s (21.9%)

Calls

310 calls:

422.0ms
(* (/ 100.0 i) (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ 1 n)))
420.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
418.0ms
(+ (* 9.0 (pow x 4.0)) (- (pow y 4)))
416.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
414.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite17.7s (13.7%)

Algorithm
106×rewrite-expression-head
Calls

310 calls:

1.3s
(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
1.1s
(* (/ (/ (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))))))
747.0ms
(* (/ (/ (sqrt (- 1.0 x)) (sqrt (+ 1.0 x))) (sqrt (sqrt (+ 1.0 x)))) (/ (sqrt (- 1.0 x)) (sqrt (sqrt (+ 1.0 x)))))
587.0ms
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
548.0ms
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
Rules
9074×times-frac
8251×sqrt-prod
8217×add-sqr-sqrt
7553×*-un-lft-identity
4302×add-cube-cbrt
2002×associate-*l*
1605×add-exp-log
1376×add-cbrt-cube
1313×associate-*r*
1057×difference-of-squares
917×distribute-lft-out
847×pow1
720×distribute-lft-out--
705×add-log-exp
605×associate-*r/
518×prod-exp
510×unswap-sqr
464×frac-times
455×flip3-- flip--
425×cbrt-unprod
406×unpow-prod-down
403×cbrt-prod
399×cbrt-div
396×associate-/l*
374×div-exp
363×sqrt-div
316×associate-/r*
315×flip-+ flip3-+
302×cbrt-undiv
274×associate-*l/
258×associate-/r/
252×div-inv
251×swap-sqr
228×sqr-pow
216×pow-prod-down
189×frac-add
163×sqrt-pow1
162×sum-log
126×frac-sub
108×distribute-rgt-neg-in
104×cube-prod
103×sub-neg
99×pow1/2
95×associate-/l/
86×distribute-lft-neg-in
82×pow-prod-up
79×*-commutative
78×exp-neg
73×unpow2
72×neg-sub0
69×diff-log distribute-rgt-in distribute-lft-in
63×clear-num frac-2neg
61×exp-diff
52×pow-exp
49×pow-to-exp
44×+-commutative
40×pow-sqr
35×exp-prod
34×log-prod
32×associate-+l+ associate-+r+
30×pow1/3 neg-mul-1
28×rem-sqrt-square
25×pow-unpow pow-plus
23×div-sub
21×sqrt-undiv
20×un-div-inv
18×1-exp
17×pow2 rec-exp associate--l+
16×unpow3 cube-mult
12×cube-div neg-log
11×log-pow
10×sqrt-unprod distribute-rgt-out--
9×pow-pow
8×associate--r+ log-div
7×associate-+r- associate-+l-
6×associate--l-
5×difference-cubes unsub-neg rem-exp-log pow-flip rem-cbrt-cube
4×rem-square-sqrt distribute-frac-neg exp-sum
3×inv-pow distribute-lft-neg-out rem-log-exp
2×rem-cube-cbrt
1×distribute-lft1-in cube-unmult +-inverses exp-to-pow

simplify9.8s (7.6%)

Algorithm
176×egg-herbie

regimes3.3s (2.6%)

Accuracy

Total 31.7b remaining (7.6%)

Threshold costs 4.0b (1%)

11.8b47%Compound Interest
4.8b75.4%Kahan p9 Example
4.2b85.3%The quadratic formula (r1)
3.2b-6.8%Complex division, real part
1.4b0%Rosa's DopplerBench

localize1.4s (1.1%)

bsearch937.0ms (0.7%)

end1.0ms (0.0%)