Date:Tuesday, June 23rd, 2020
Commit:ce6c70f5 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020175
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune2.7min (61.2%)

Filtered
13382 candidates to 9333 candidates (30.3%)

sample34.7s (12.9%)

Algorithm
72×intervals
Results
10.8s238070×body80valid
6.0s14056×body1280valid
3.0s3910×body2560valid
2.4s9366×body640valid
2.1s99272×pre80true
1.8s14470×body80invalid
1.0s6528×body320valid
908.0ms200×body5120exit
820.0ms8817×body160valid
138.0ms284×body640invalid
118.0ms213×body5120valid
97.0ms124×body1280invalid
85.0ms1707×body80nan
50.0ms161×body320invalid
31.0ms16×body2560invalid
15.0ms183×body80overflowed
13.0ms70×body160invalid
4.0ms100×pre80false

analyze29.1s (10.8%)

Algorithm
69×search
3×random

simplify20.9s (7.8%)

Algorithm
177×egg-herbie

regimes7.0s (2.6%)

Accuracy

Total 28.4b remaining (19.7%)

Threshold costs 3.2b (2.2%)

6.0b66.4%Compound Interest
4.5b77.4%Kahan p9 Example
3.2b0%Complex division, real part
3.1b88.6%The quadratic formula (r1)
3.0b89.4%The quadratic formula (r2)

series4.7s (1.7%)

Calls

314 calls:

89.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) (* (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))))
85.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
73.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
73.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4)) 3))
73.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite4.6s (1.7%)

Algorithm
108×rewrite-expression-head
Calls

314 calls:

149.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)))))))
58.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))))))
57.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
55.0ms
(/ (* (/ (/ PI 2.0) (+ b a)) 1.0) (/ (- b a) (- (/ 1.0 a) (/ 1.0 b))))
48.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
Rules
6371×frac-times
5549×associate-*l/
5092×times-frac
4288×*-un-lft-identity
4094×add-sqr-sqrt
3394×flip-- flip3--
2594×add-cube-cbrt
2556×flip-+ flip3-+
2531×associate-*r/
2254×frac-sub
1708×add-exp-log
1325×add-cbrt-cube
788×pow1
777×associate-*r*
762×add-log-exp
580×unpow-prod-down
531×associate-/r*
530×difference-of-squares
512×prod-exp
492×sqrt-prod
479×div-exp
459×distribute-lft-out--
431×distribute-lft-out
416×associate-*l*
406×cbrt-prod
398×cbrt-unprod
374×associate-/r/
368×cbrt-div
311×div-inv
302×cbrt-undiv
299×associate-/l*
206×sqr-pow
203×pow-prod-down
190×frac-add
180×sum-log
154×unswap-sqr
141×unpow2
129×cube-prod
112×sqrt-div
107×sub-neg
105×swap-sqr
84×distribute-rgt-in distribute-lft-in diff-log
80×associate-/l/
78×exp-neg
75×*-commutative
71×neg-sub0
69×distribute-rgt-neg-in
65×pow-exp
62×pow-to-exp clear-num frac-2neg
61×log-prod
60×sqrt-pow1
59×exp-diff
48×+-commutative
39×pow1/2
37×1-exp rec-exp
34×pow-prod-up
32×associate-+l+
31×rem-sqrt-square
30×associate-+r+ pow1/3
29×distribute-lft-neg-in div-sub
24×pow-sqr
23×un-div-inv
22×pow-plus
21×pow-unpow
20×cube-mult unpow3
17×cube-div
16×associate--r+
15×pow2
14×exp-sum log-pow
13×exp-prod pow-pow
11×associate--l- neg-mul-1 neg-log
10×log-div
7×sum-cubes rem-cube-cbrt
6×inv-pow associate--l+ rem-cbrt-cube pow-flip
5×rem-log-exp associate-+r- associate-+l- rem-exp-log
4×distribute-lft-neg-out distribute-rgt-out
3×distribute-frac-neg
2×distribute-lft1-in sub-div associate--r- unsub-neg distribute-rgt-out--
1×rem-square-sqrt exp-to-pow sqrt-unprod pow3

bsearch1.9s (0.7%)

localize1.4s (0.5%)

end2.0ms (0.0%)

Profiling

Loading profile data...