Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
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.4s (30.8%)

Algorithm
18×intervals
Results
3.0s70156×body80valid
713.0ms4143×body1280valid
117.0ms1475×body80nan
113.0ms2025×body80invalid
0.0ms5×body160valid

simplify3.9s (22.2%)

Algorithm
43×egg-herbie

prune3.5s (19.8%)

Filtered
2263 candidates to 1381 candidates (39.0%)

analyze1.8s (10.5%)

Algorithm
9×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

regimes940.0ms (5.3%)

Accuracy

Total 2.9b remaining (20.8%)

Threshold costs 0.6b (4.3%)

1.2b91.9%jeff quadratic root 2
1.1b92.7%jeff quadratic root 1
0.4b0%sqrt times
0.2b91.2%fabs fraction 1
0.0b0%subtraction fraction

series875.0ms (5.0%)

Calls

66 calls:

47.0ms
(/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
27.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))
25.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))
24.0ms
(cbrt x)
23.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))

rewrite622.0ms (3.5%)

Algorithm
25×rewrite-expression-head
Calls

66 calls:

24.0ms
(cbrt (pow (cbrt (pow (/ (+ f n) (- n f)) 3)) 3))
21.0ms
(/ (+ f n) (- n f))
19.0ms
(/ (* (cbrt (+ x 4.0)) (cbrt (+ x 4.0))) (/ y (cbrt (+ x 4.0))))
18.0ms
(pow (cbrt (pow (/ (+ f n) (- n f)) 3)) 3)
17.0ms
(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
Rules
964×*-un-lft-identity
879×add-sqr-sqrt
694×times-frac
565×cbrt-prod
475×add-cube-cbrt
379×unpow-prod-down
351×cube-prod
197×difference-of-squares
194×add-exp-log
152×add-cbrt-cube
136×pow1
130×distribute-lft-out
117×add-log-exp
113×distribute-lft-out--
110×exp-prod
95×cbrt-div
88×flip-- flip3--
75×sqrt-prod
67×associate-*l*
63×associate-/r*
62×sqrt-div
61×associate-*r*
59×sqr-pow
55×associate-/r/
47×prod-exp
41×frac-times
40×div-exp associate-/l*
36×div-inv
35×sqrt-pow1
34×cbrt-unprod
32×cbrt-undiv
28×log-pow
27×associate-*l/
25×flip-+ flip3-+
24×pow1/3
23×associate-*r/
20×pow1/2 diff-log associate-/l/
19×pow-prod-down unswap-sqr
17×sub-neg
16×rem-sqrt-square
11×pow-prod-up
10×cube-mult unpow3
9×pow-unpow log-prod clear-num swap-sqr frac-2neg
8×cube-div neg-sub0 distribute-rgt-neg-in neg-log *-commutative
7×associate--l- pow-plus
6×1-exp
5×frac-add pow-exp pow-sqr rem-cube-cbrt
4×associate-+r+ sum-log pow-pow rem-exp-log
3×pow2 distribute-rgt-in pow-to-exp +-commutative distribute-lft-in rem-cbrt-cube
2×rem-log-exp log-div div-sub exp-diff
1×exp-sum frac-sub sqrt-unprod sub-div pow3 associate-+l-

localize356.0ms (2.0%)

bsearch149.0ms (0.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...