Date:Friday, March 6th, 2020
Commit:4fbe8b6b on better-rr
Hostname:warfa with Racket 7.5
Seed:2020066
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

prune11.6m (68.5%)

Filtered
157464 candidates to 86269 candidates (54.8%)

simplify3.0m (17.9%)

Algorithm
184×egg-herbie

rewrite1.2m (7.4%)

Algorithm
115×rewrite-expression-head
Calls

323 calls:

11.3s
(+ (* (* 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))))))))
5.1s
(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (/ (* (* 4.0 x1) x1) (/ (+ (* x1 x1) 1.0) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)))) (* (- 6.0) (* x1 x1)))
4.6s
(- (* (- (+ (* 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.5s
(- (* (* (* (+ (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)))))))
1.4s
(- (* (* (+ -2.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 (+ (* -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)))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
Rules
237715×frac-times
204440×*-un-lft-identity
163611×add-sqr-sqrt
131807×associate-/r*
125448×associate-/l*
109920×frac-sub
89364×associate-*l/
85799×add-cube-cbrt
74401×associate-*l*
56759×associate-/l/
54642×associate-*r/
52442×distribute-lft-out
39301×times-frac
34640×flip-+ flip3-+
33625×clear-num
33319×frac-2neg
30424×flip3-- flip--
27584×difference-of-squares
25056×distribute-lft-out--
25009×swap-sqr
23340×unswap-sqr
17216×associate-*r*
17052×frac-add
13210×distribute-neg-frac
11657×*-commutative
3653×sqrt-prod
2113×add-exp-log
1793×div-inv
1727×add-cbrt-cube
1528×distribute-rgt-neg-in
1456×pow1
880×unpow-prod-down
854×prod-exp
807×un-div-inv
787×exp-prod
730×log-pow
709×add-log-exp
675×associate-/r/
651×distribute-lft-neg-in
644×cbrt-unprod
613×sqr-pow
451×div-exp
341×cbrt-undiv
314×pow-prod-down
204×distribute-rgt-in distribute-lft-in
167×+-commutative
152×sum-log
149×cbrt-prod
140×associate-+r+
137×unpow2
132×sqrt-div cube-prod
122×neg-mul-1
120×log-prod
107×sub-neg
104×sqrt-pow1
98×associate-+l+
90×associate--r+
83×rem-sqrt-square
67×diff-log
61×distribute-rgt-out
53×pow-exp
52×pow1/2 pow-to-exp
48×div-sub
47×1-exp
38×associate--l+
37×pow-prod-up
33×pow-sqr
32×pow-unpow
29×rec-exp
28×cube-div
23×unpow3 cube-mult
22×distribute-rgt-out--
21×pow-plus
19×cbrt-div associate-+r- pow1/3
18×pow-flip
16×pow2
13×rem-log-exp
12×neg-sub0 log-div
10×pow-pow
9×distribute-lft1-in neg-log
8×associate--l- associate-+l-
7×sub-div exp-to-pow
6×inv-pow
5×rem-exp-log distribute-lft-neg-out
4×rem-cbrt-cube distribute-rgt-neg-out
3×unsub-neg remove-double-div
2×rem-cube-cbrt sqrt-undiv cube-unmult distribute-frac-neg +-inverses associate--r-
1×sum-cubes

sample31.3s (3.1%)

Algorithm
72×intervals
Results
9.8s292299×body80valid
5.4s14224×body1280valid
2.5s3731×body2560valid
2.0s9596×body640valid
1.4s100702×pre80true
1.1s2267×body10240exit
784.0ms7018×body320valid
554.0ms18920×body80nan
541.0ms8945×body160valid
88.0ms235×body5120valid
3.0ms100×pre80false

series26.4s (2.6%)

Calls

323 calls:

477.0ms
(sqrt (pow y 4.0))
434.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))
433.0ms
(log (* (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))
412.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
407.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))

regimes2.9s (0.3%)

Accuracy

Total 27.0b remaining (16.7%)

Threshold costs 2.5b (1.6%)

6.0b67.1%Compound Interest
4.8b75.5%Kahan p9 Example
4.4b84.9%The quadratic formula (r1)
2.9b0%Complex division, real part
2.9b0%Complex division, imag part

localize1.5s (0.1%)

bsearch841.0ms (0.1%)

end1.0ms (0.0%)