Date:Tuesday, May 26th, 2020
Commit:25910407 on doc-updates
Hostname:warfa with Racket 7.5
Seed:2020147
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

prune3.9m (75.4%)

Filtered
12923 candidates to 9179 candidates (29.0%)

sample38.7s (12.3%)

Algorithm
72×intervals
Results
11.6s294002×body80valid
5.8s14203×body1280valid
2.9s3912×body2560valid
2.3s9682×body640valid
2.1s100557×pre80true
913.0ms6830×body320valid
827.0ms8938×body160valid
687.0ms19312×body80nan
278.0ms200×body5120exit
136.0ms2059×body80overflowed
124.0ms258×body5120valid
4.0ms100×pre80false

simplify19.5s (6.2%)

Algorithm
177×egg-herbie

regimes7.1s (2.3%)

Accuracy

Total 27.6b remaining (8.2%)

Threshold costs 3.2b (1%)

5.7b68.1%Compound Interest
4.5b83.3%The quadratic formula (r1)
4.3b78.4%Kahan p9 Example
3.2b88.2%The quadratic formula (r2)
2.9b4.5%Complex division, real part

rewrite4.6s (1.5%)

Algorithm
108×rewrite-expression-head
Calls

300 calls:

151.0ms
(- (* (* (* (+ (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)))))))
88.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)))
64.0ms
(* (/ (* (cbrt n) (cbrt n)) (pow (cbrt i) 2)) (/ (- (+ (* 1.0 i) (+ (* 0.5 (pow i 2)) (* (log 1.0) n))) (* 0.5 (* (pow i 2) (log 1.0)))) (/ (cbrt i) (cbrt n))))
60.0ms
(* (* (+ (* -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))))))
55.0ms
(* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
Rules
6567×frac-times
5621×associate-*l/
4769×times-frac
4282×add-sqr-sqrt
4130×*-un-lft-identity
3532×flip-- flip3--
2727×associate-*r/
2629×add-cube-cbrt
2539×flip-+ flip3-+
2284×frac-sub
1428×add-exp-log
1175×add-cbrt-cube
897×associate-*r*
706×add-log-exp
674×unpow-prod-down difference-of-squares
662×cbrt-div
657×pow1
534×cbrt-prod
476×prod-exp
464×associate-/r*
451×associate-*l*
396×distribute-lft-out--
395×distribute-lft-out
372×sqrt-prod
368×cbrt-unprod
318×frac-add
303×div-exp
295×sqr-pow
281×associate-/l*
242×unpow2
238×cbrt-undiv
197×unswap-sqr
183×associate-/r/
171×div-inv
168×sum-log
160×pow-prod-down
132×distribute-rgt-neg-in
108×distribute-lft-neg-in
102×sub-neg
89×cube-prod
84×associate-/l/
80×distribute-rgt-in exp-neg distribute-lft-in
76×*-commutative
75×sqrt-div
71×diff-log
69×neg-sub0
61×swap-sqr
60×exp-diff
57×clear-num frac-2neg
49×+-commutative
46×pow-to-exp pow-exp
38×associate-+r+
36×neg-mul-1
34×log-prod
30×pow1/3
27×associate-+l+
25×rem-sqrt-square div-sub
24×pow1/2 sqrt-pow1
22×un-div-inv
20×pow-prod-up cube-div
19×exp-prod
18×pow-unpow
16×pow-sqr unpow3 cube-mult pow-plus
13×associate--r+
12×pow2
9×rec-exp 1-exp
8×exp-sum
7×associate--l- neg-log rem-cbrt-cube associate--l+ pow-pow
6×distribute-rgt-out--
5×distribute-lft-neg-out log-pow distribute-frac-neg
4×log-div
3×rem-cube-cbrt associate-+r- distribute-rgt-out associate-+l-
2×inv-pow sub-div pow-flip distribute-neg-frac rem-log-exp
1×sqrt-undiv rem-exp-log distribute-lft1-in pow3 unsub-neg associate--r- exp-to-pow

series4.6s (1.4%)

Calls

300 calls:

100.0ms
(cbrt (+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
98.0ms
(cbrt (+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
96.0ms
(cbrt (+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
79.0ms
(+ (* (* (* 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)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
75.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

bsearch1.4s (0.5%)

localize1.4s (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...