Date:Friday, July 3rd, 2020
Commit:8652dc03 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020185
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.2s (30.7%)

Algorithm
18×intervals
Results
3.0s70179×body80valid
711.0ms4119×body1280valid
119.0ms2169×body80invalid
118.0ms1394×body80nan
0.0ms6×body160valid

simplify3.9s (22.8%)

Algorithm
44×egg-herbie

prune2.9s (16.8%)

Filtered
1744 candidates to 1244 candidates (28.7%)

analyze1.9s (11.1%)

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

regimes1.1s (6.5%)

Accuracy

Total 5.1b remaining (30.2%)

Threshold costs 0.9b (5.3%)

1.6b5.7%fabs fraction 1
1.3b90.5%jeff quadratic root 2
1.3b91.6%jeff quadratic root 1
0.5b0%sqrt times
0.4b0%neg log

series1.1s (6.4%)

Calls

70 calls:

52.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
37.0ms
(* (cbrt (+ f n)) (cbrt (+ f n)))
37.0ms
(* (cbrt (+ f n)) (cbrt (+ f n)))
32.0ms
(cbrt (+ f n))
32.0ms
(cbrt (* c (/ a b)))

rewrite486.0ms (2.9%)

Algorithm
26×rewrite-expression-head
Calls

70 calls:

30.0ms
(/ (+ f n) (- n f))
14.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* z (cbrt (/ x y))))
12.0ms
(/ (+ (* 2.0 (* c (/ a b))) (* b -2)) (* 2.0 a))
11.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
11.0ms
(cbrt (pow (/ (+ f n) (- n f)) 3))
Rules
481×*-un-lft-identity
427×add-sqr-sqrt
274×add-cube-cbrt
221×times-frac
197×cbrt-prod
145×add-exp-log
140×pow1
135×add-cbrt-cube
114×add-log-exp
79×associate-*l*
72×sqrt-prod
68×associate-*r*
66×unpow-prod-down distribute-lft-out
62×cube-prod
61×cbrt-div
41×difference-of-squares
38×sqrt-div
36×flip-- flip3--
35×distribute-lft-out--
31×flip-+ flip3-+
30×pow1/3
27×prod-exp pow-prod-down cbrt-unprod unswap-sqr
26×associate-*l/
22×associate-*r/ associate-/r*
21×sqrt-pow1 pow1/2
20×exp-prod
18×swap-sqr div-inv
17×sub-neg frac-times associate-/l*
16×associate-/r/
15×div-exp cbrt-undiv rem-sqrt-square pow-unpow pow-pow
11×sum-log *-commutative
10×diff-log
9×log-prod
8×cube-div exp-sum associate-/l/
7×distribute-rgt-neg-in sqr-pow
6×neg-sub0 pow-exp +-commutative clear-num neg-log cube-mult frac-2neg unpow3 rem-exp-log
5×frac-add rem-cube-cbrt
4×distribute-rgt-in pow-to-exp associate-+r+ distribute-lft-in pow-sqr pow-prod-up associate-+l- exp-diff
3×associate-+l+ sqrt-unprod rem-cbrt-cube
2×associate--l- pow2 log-div pow-plus
1×rem-log-exp unpow-prod-up frac-sub sqrt-pow2 sub-div log-pow pow-sub

localize356.0ms (2.1%)

bsearch133.0ms (0.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...