Date:Monday, June 29th, 2020
Commit:9427dca4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020181
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

sample37.3s (32.7%)

Algorithm
73×intervals
Results
11.2s237919×body80valid
6.1s14099×body1280valid
3.0s3859×body2560valid
2.8s16720×body160valid
2.5s9349×body640valid
2.2s99273×pre80true
1.9s14570×body80invalid
1.2s6785×body320valid
971.0ms200×body5120exit
138.0ms274×body640invalid
116.0ms229×body5120valid
85.0ms109×body1280invalid
81.0ms1627×body80nan
66.0ms204×body320invalid
20.0ms102×body160invalid
19.0ms10×body2560invalid
14.0ms175×body80overflowed
4.0ms100×pre80false

analyze29.5s (25.9%)

Algorithm
69×search
4×random
Search
TrueOtherFalseIter
0%63%37%0
1.4%61.5%37%1
5.8%57.2%37%2
11.6%49.2%39.2%3
14.5%45.2%40.3%4
19.9%39.6%40.5%5
21.6%36.5%41.9%6
25.1%31.3%43.6%7
27.7%28%44.3%8
30.7%23.7%45.6%9
33.2%20.4%46.4%10
34.9%18%47.1%11
37.3%15.2%47.6%12
42.3%9.4%48.3%13
42.9%8.5%48.5%14

prune20.7s (18.1%)

Filtered
9645 candidates to 6470 candidates (32.9%)

simplify8.3s (7.2%)

Algorithm
182×egg-herbie

regimes6.4s (5.6%)

Accuracy

Total 27.2b remaining (19.2%)

Threshold costs 3.8b (2.7%)

6.1b69.1%Compound Interest
4.6b76.8%Kahan p9 Example
4.5b84.3%The quadratic formula (r2)
3.1b4.6%Complex division, real part
2.2b-55.5%Rosa's DopplerBench

series5.1s (4.4%)

Calls

326 calls:

124.0ms
(+ (* (* x1 x1) (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0))) (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)))))))
122.0ms
(+ (* x1 (* x1 (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0)))) (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)))))))
88.0ms
(+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0))))
81.0ms
(pow (/ (+ (* a c) (* b d)) (+ (* c c) (* d d))) 3)
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite3.4s (3.0%)

Algorithm
112×rewrite-expression-head
Calls

326 calls:

55.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 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0)))))
43.0ms
(* (/ PI (+ a b)) (/ (- (/ 1.0 a) (/ 1.0 b)) (- b a)))
41.0ms
(* (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))))
40.0ms
(+ (* 333.75 (pow y 6.0)) (+ (* x (* x (- (* y (* y (* x (* x 11.0)))) (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))))
32.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)))
Rules
2689×*-un-lft-identity
2586×add-sqr-sqrt
1650×times-frac
1593×add-exp-log
1487×add-cbrt-cube
1436×add-cube-cbrt
949×pow1
707×associate-*r*
706×add-log-exp
649×associate-*r/
616×prod-exp
562×cbrt-unprod
546×sqrt-prod
498×associate-*l*
407×distribute-lft-out
404×difference-of-squares
397×flip-+ flip3-+
376×cbrt-prod
336×pow-prod-down
319×frac-times
289×unpow-prod-down
277×distribute-lft-out--
266×flip-- flip3--
249×div-exp
242×associate-/r/
235×cbrt-undiv
222×associate-/l*
185×associate-/r*
177×associate-*l/
159×sum-log
155×cbrt-div
152×cube-prod
150×unswap-sqr
148×sqrt-div
146×div-inv
136×frac-add
121×sub-neg
114×sqr-pow
104×distribute-rgt-in distribute-lft-in
93×*-commutative
90×distribute-rgt-neg-in
89×frac-sub
86×swap-sqr
79×cube-div
76×exp-neg sqrt-pow1
70×pow1/2
68×associate-/l/
67×neg-sub0
65×diff-log
62×exp-prod
60×distribute-lft-neg-in log-prod
59×exp-diff
54×clear-num frac-2neg
49×+-commutative
47×log-pow
44×associate-+l+
35×pow1/3
34×rem-sqrt-square associate-+r+
33×pow-pow
32×pow-exp
30×pow-to-exp
27×pow-unpow
26×pow-prod-up distribute-neg-frac
21×un-div-inv
20×pow-sqr
17×div-sub
16×cube-mult
15×neg-mul-1 unpow3
14×log-div
10×rem-log-exp unpow2
9×associate--l- associate-+r- pow-plus sqrt-unprod neg-log
8×pow2 1-exp rec-exp
7×rem-cbrt-cube
6×associate--r+
5×exp-sum rem-cube-cbrt
4×unsub-neg
3×rem-square-sqrt distribute-rgt-neg-out
2×distribute-neg-in distribute-rgt-out sqrt-pow2 distribute-rgt1-in associate-+l-
1×sqrt-undiv inv-pow pow3 pow-flip rem-exp-log

bsearch1.9s (1.7%)

localize1.4s (1.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...