Date:Sunday, June 28th, 2020
Commit:ddc1d8f4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020180
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

sample5.7s (28.4%)

Algorithm
18×intervals
Results
3.3s70094×body80valid
723.0ms4200×body1280valid
125.0ms1423×body80nan
119.0ms2108×body80invalid
1.0ms10×body160valid

simplify3.5s (17.3%)

Algorithm
42×egg-herbie

prune3.3s (16.5%)

Filtered
3183 candidates to 1546 candidates (51.4%)

analyze3.2s (15.8%)

Algorithm
18×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14

bsearch1.3s (6.3%)

regimes1.1s (5.7%)

Accuracy

Total 3.4b remaining (23.3%)

Threshold costs 1.2b (8%)

1.1b92.2%jeff quadratic root 1
1.1b92.8%jeff quadratic root 2
0.6b47.1%fabs fraction 1
0.5b0%sqrt times
0.0b0%neg log

series867.0ms (4.3%)

Calls

65 calls:

49.0ms
(* (* 2.0 c) (/ 1 (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))))
48.0ms
(/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
33.0ms
(cbrt (cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)))
30.0ms
(cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 9)))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite785.0ms (3.9%)

Algorithm
24×rewrite-expression-head
Calls

65 calls:

46.0ms
(cbrt (cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)))
41.0ms
(cbrt (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3))
29.0ms
(pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)
22.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
19.0ms
(pow (/ (neg (+ f n)) (- f n)) 3)
Rules
2072×*-un-lft-identity
1616×add-sqr-sqrt
1608×times-frac
1213×unpow-prod-down
1200×cbrt-prod
1008×cube-prod
906×add-cube-cbrt
504×distribute-rgt-neg-in
492×distribute-lft-neg-in
319×difference-of-squares
318×distribute-lft-out--
265×distribute-lft-out
168×add-exp-log
152×add-cbrt-cube
123×neg-mul-1
122×add-log-exp
115×associate-*r*
108×pow1
97×sqrt-prod
74×associate-*l*
63×flip-- flip3--
61×associate-/l*
52×associate-/r/
38×sqrt-div div-inv
34×prod-exp
33×associate-/r*
27×div-exp
26×cbrt-unprod unswap-sqr
23×cbrt-undiv
22×diff-log
21×associate-*r/ sub-neg
18×associate-/l/ associate-*l/ sqr-pow
16×flip-+ flip3-+
15×pow-unpow sqrt-pow1 pow1/2
14×pow-exp pow-prod-down
13×rem-sqrt-square
12×cube-mult unpow3
11×*-commutative
10×neg-sub0
9×cube-div log-prod frac-sub clear-num frac-2neg
8×frac-times pow-pow
7×pow-to-exp sum-log exp-prod
6×neg-log distribute-frac-neg distribute-neg-frac
5×frac-add pow1/3 div-sub rem-cube-cbrt
4×associate--l- distribute-rgt-in cube-neg +-commutative cbrt-div associate-+r+ distribute-lft-in
3×associate-+l+ sub-div
2×exp-neg log-div 1-exp rec-exp un-div-inv associate-+l- rem-cbrt-cube exp-diff rem-exp-log
1×rem-log-exp exp-sum sqrt-unprod log-pow associate--r+

localize334.0ms (1.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...