Date:Wednesday, April 22nd, 2020
Commit:1c116713 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020113
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune20.5m (68.7%)

Filtered
346746 candidates to 181790 candidates (52.4%)

simplify4.2m (14.2%)

Algorithm
182×egg-herbie

rewrite3.1m (10.3%)

Algorithm
113×rewrite-expression-head
Calls

320 calls:

1.2m
(- 2.0 (* (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t))))) (/ (/ (cbrt 2.0) (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t))))))
9.7s
(+ (* (* 333.75 (pow 33096.0 6.0)) (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0)))) (- (* (- (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))) (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0)))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))))
4.7s
(* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
4.2s
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
3.9s
(- (* (- (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))) (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0)))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
Rules
715045×frac-times
513490×associate-/l*
441201×add-sqr-sqrt
434361×*-un-lft-identity
286737×associate-/r*
217210×add-cube-cbrt
188971×associate-*l*
117491×associate-*r*
99790×associate-*l/
92829×distribute-lft-out
87559×frac-sub
79171×unswap-sqr
74828×times-frac
72289×associate-*r/
62725×clear-num
61535×frac-2neg
58307×cbrt-prod
48236×*-commutative
40414×difference-of-squares
39782×associate-/l/
35071×flip-+ flip3-+
33561×swap-sqr
32633×flip3-- flip--
30787×distribute-lft-out--
18578×cbrt-div
17424×frac-add
13074×distribute-neg-frac
6242×sqrt-prod
3585×add-cbrt-cube
3445×un-div-inv
3356×add-exp-log
3168×unpow-prod-down
1916×div-inv
1708×cbrt-unprod
1629×distribute-rgt-neg-in
1596×prod-exp
1407×pow1
1191×associate-/r/
1138×cbrt-undiv
836×div-exp
821×distribute-lft-neg-in
710×add-log-exp
678×log-pow
676×exp-prod
567×sqr-pow
403×pow-unpow
393×sum-cubes
347×pow-prod-down
331×sqrt-div
216×distribute-rgt-in distribute-lft-in
208×neg-mul-1
200×+-commutative
159×sum-log
146×1-exp
138×associate-+r+
136×associate-+l+
102×unpow2 sub-neg
78×associate--r+
75×log-prod
66×diff-log
63×pow-prod-up
56×rec-exp
48×rem-sqrt-square
47×pow-sqr
45×sqrt-pow1
44×pow1/2
42×pow-exp
41×pow-to-exp distribute-rgt-out
35×pow-plus
33×div-sub
28×associate--l+
27×pow2 unpow3
23×associate-+r-
22×distribute-lft-neg-out distribute-rgt-out--
20×pow1/3
12×log-div
11×neg-sub0
10×rem-log-exp
9×associate--l- pow-flip neg-log
7×sub-div associate-+l-
6×remove-double-div unsub-neg
4×inv-pow rem-cbrt-cube distribute-rgt-neg-out pow-pow
3×distribute-lft1-in
2×rem-cube-cbrt rem-exp-log +-inverses exp-to-pow
1×sqrt-undiv sqrt-unprod rem-square-sqrt distribute-frac-neg associate--r-

end53.5s (3.0%)

sample31.5s (1.8%)

Algorithm
72×intervals
Results
9.9s292596×body80valid
5.2s14065×body1280valid
2.5s3745×body2560valid
2.0s9830×body640valid
1.5s100683×pre80true
1.0s2158×body10240exit
773.0ms7022×body320valid
567.0ms19255×body80nan
516.0ms8926×body160valid
79.0ms191×body5120valid
3.0ms100×pre80false

series29.3s (1.6%)

Calls

320 calls:

2.3s
(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
515.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
463.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
453.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
449.0ms
(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v))))

regimes2.7s (0.2%)

Accuracy

Total 24.0b remaining (15.1%)

Threshold costs 2.2b (1.4%)

6.4b64.3%Compound Interest
4.6b76.5%Kahan p9 Example
3.3b0%Complex division, imag part
2.7b0%Complex division, real part
1.3b0%Rosa's DopplerBench

localize1.6s (0.1%)

bsearch1.2s (0.1%)