Date:Thursday, April 23rd, 2020
Commit:38368d1c on better-rr
Hostname:warfa with Racket 7.5
Seed:2020114
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.4m (71.1%)

Filtered
346181 candidates to 185584 candidates (46.4%)

simplify4.3m (15.0%)

Algorithm
183×egg-herbie

rewrite1.9m (6.7%)

Algorithm
114×rewrite-expression-head
Calls

307 calls:

9.9s
(+ (* (* 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.6s
(* (* (/ (* 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.0s
(/ (* (/ (* (/ PI 2.0) 1.0) (/ 1 (sqrt 1.0))) (/ (- (/ 1 a) (/ 1 b)) (/ (+ b a) (sqrt 1.0)))) (- b a))
4.0s
(- (* (- (+ (* 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)))))))
3.9s
(- (* (* (* (+ (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)))))))
Rules
665477×frac-times
495657×associate-/l*
444517×*-un-lft-identity
412674×add-sqr-sqrt
253882×associate-/r*
230566×add-cube-cbrt
224148×associate-*l*
147222×associate-*r*
128671×times-frac
99835×associate-*l/
88644×frac-sub
85454×distribute-lft-out
67636×associate-*r/
61822×unswap-sqr
59117×clear-num
57977×frac-2neg
47624×*-commutative
40126×difference-of-squares
38511×distribute-lft-out--
35386×cbrt-prod
34754×flip-+ flip3-+
34306×associate-/l/
30445×flip3-- flip--
26585×swap-sqr
17416×frac-add
13132×distribute-neg-frac
8483×sqrt-prod
3874×div-inv
3337×un-div-inv
3310×distribute-rgt-neg-in
3213×add-cbrt-cube
2979×add-exp-log
2621×distribute-lft-neg-in
1869×unpow-prod-down
1630×pow1
1411×cbrt-unprod
1209×prod-exp
1096×associate-/r/
1018×cbrt-undiv
875×div-exp
833×sqr-pow
824×log-pow
734×add-log-exp
502×neg-mul-1
459×exp-prod
368×cbrt-div
273×pow-prod-down
207×distribute-rgt-in distribute-lft-in
179×unpow3
162×+-commutative
157×sum-log
149×distribute-rgt-out--
141×associate-+r+
140×unpow2
115×sub-neg
107×log-prod
104×associate--r+
98×pow-prod-up
88×associate-+l+ sqrt-div diff-log
84×pow-unpow
66×pow-sqr
61×div-sub
57×pow-plus
50×pow-exp
45×pow-to-exp
41×pow2 sum-cubes
35×sub-div
32×pow1/2 sqrt-pow1
30×rem-sqrt-square
28×difference-cubes
27×associate--l+
25×associate-+r- 1-exp
24×rec-exp
23×pow1/3
20×distribute-rgt-out
15×neg-sub0
13×log-div
11×neg-log
10×associate--l- distribute-rgt-neg-out rem-log-exp
9×pow-pow
7×associate-+l-
6×remove-double-div rem-cbrt-cube exp-to-pow
5×rem-cube-cbrt
4×distribute-lft1-in
3×distribute-frac-neg rem-exp-log distribute-lft-neg-out unsub-neg
2×pow3 inv-pow pow-flip associate--r- exp-sum
1×exp-diff sqrt-undiv sqrt-pow2

end1.0m (3.6%)

sample32.2s (1.9%)

Algorithm
72×intervals
Results
10.1s293538×body80valid
5.3s14074×body1280valid
2.7s3913×body2560valid
2.0s9499×body640valid
1.5s100607×pre80true
1.0s2133×body10240exit
790.0ms6998×body320valid
569.0ms19137×body80nan
539.0ms8909×body160valid
81.0ms229×body5120valid
3.0ms100×pre80false

series25.4s (1.5%)

Calls

307 calls:

485.0ms
(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (cbrt (- 1.0 v))) (/ w (cbrt (- 1.0 v))))
443.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
442.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
438.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
422.0ms
(+ (* 9.0 (pow x 4.0)) (- (pow y 4)))

regimes2.8s (0.2%)

Accuracy

Total 27.8b remaining (17%)

Threshold costs 2.6b (1.6%)

5.7b68%Compound Interest
4.4b77.4%Kahan p9 Example
4.3b85.1%The quadratic formula (r2)
4.3b85.3%The quadratic formula (r1)
2.9b2.2%Complex division, real part

localize1.6s (0.1%)

bsearch821.0ms (0.0%)