Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

simplify1.8min (44.3%)

prune1.1min (28.8%)

Filtered
11106 candidates to 7175 candidates (35.4%)

sample46.6s (19.5%)

Algorithm
73×intervals
Results
16.4s294575×body80valid
5.7s14161×body1280valid
2.6s3902×body2560valid
2.6s16922×body160valid
2.6s9558×body640valid
2.4s100683×pre80true
1.1s6744×body320valid
845.0ms200×body5120exit
839.0ms19532×body80nan
179.0ms2020×body80overflowed
128.0ms265×body5120valid
5.0ms100×pre80false

regimes5.5s (2.3%)

Accuracy

Total 28.9b remaining (20%)

Threshold costs 3.4b (2.3%)

6.4b64.1%Compound Interest
4.4b84.8%The quadratic formula (r1)
4.3b79%Kahan p9 Example
3.7b-11.7%Complex division, imag part
3.5b87.1%The quadratic formula (r2)

series5.1s (2.1%)

Calls

322 calls:

126.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
118.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
116.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
89.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
88.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite4.8s (2.0%)

Algorithm
112×rewrite-expression-head
Calls

322 calls:

106.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
106.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
102.0ms
(cbrt (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
95.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
57.0ms
(* 100.0 (/ (/ (- (+ (* 1.0 i) (+ (* (log 1.0) n) (* 0.5 (pow i 2)))) (* 0.5 (* (log 1.0) (pow i 2)))) i) (/ 1 n)))
Rules
3606×times-frac
3488×add-sqr-sqrt
3258×*-un-lft-identity
2315×add-cube-cbrt
1665×associate-*r/
1484×add-exp-log
1476×cbrt-div
1410×frac-times
1299×add-cbrt-cube
1056×flip-- flip3--
933×associate-*r*
836×flip-+ flip3-+
773×add-log-exp
720×pow1
649×associate-*l/
609×frac-add
513×sqrt-prod
507×difference-of-squares
492×frac-sub
482×prod-exp
414×cbrt-unprod
329×associate-/r*
313×associate-/l*
312×div-exp
309×unpow-prod-down
305×associate-*l*
291×distribute-lft-out
247×cbrt-undiv
239×div-inv
232×distribute-lft-out--
215×sqr-pow
195×associate-/r/
192×pow-prod-down
150×sum-log
141×unswap-sqr
130×sqrt-div
125×exp-diff
121×sub-neg
113×diff-log
110×associate-/l/
92×cbrt-prod
78×exp-neg
77×cube-prod
76×log-div
72×*-commutative
66×clear-num frac-2neg
65×exp-prod
63×neg-sub0
56×log-pow
47×distribute-rgt-in distribute-lft-in
42×log-prod unpow2
41×sqrt-pow1
40×+-commutative pow1/2
36×associate--l+
34×rem-sqrt-square
33×unpow3
30×pow-to-exp pow-exp cube-mult
25×un-div-inv
24×associate-+r+ swap-sqr
23×1-exp rec-exp
22×pow-unpow
20×div-sub distribute-rgt-out--
18×associate-+l+ pow1/3
17×distribute-rgt-neg-in
16×associate--r+
13×associate--l-
11×distribute-lft-neg-in
9×pow-prod-up
8×pow-plus pow-pow
7×distribute-lft-neg-out rem-log-exp pow-sqr rem-exp-log
6×cube-div pow2 inv-pow pow-flip
5×difference-cubes neg-mul-1 neg-log
4×exp-sum distribute-rgt-out sub-div rem-cbrt-cube
2×associate-+r- distribute-lft1-in distribute-rgt1-in distribute-frac-neg
1×exp-to-pow unsub-neg rem-cube-cbrt

localize1.5s (0.6%)

bsearch591.0ms (0.2%)

end0.0ms (0.0%)

Profiling

Loading profile data...