Date:Thursday, June 25th, 2020
Commit:6ce91957 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020177
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.6s (28.2%)

Algorithm
18×intervals
Results
3.4s70284×body80valid
695.0ms4012×body1280valid
120.0ms1396×body80nan
112.0ms1979×body80invalid
0.0ms8×body160valid

simplify3.9s (19.4%)

Algorithm
42×egg-herbie

prune3.3s (16.3%)

Filtered
2788 candidates to 1473 candidates (47.2%)

analyze3.0s (15.3%)

Algorithm
18×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%94.6%5.4%2
7.9%81.5%10.6%3
21%63.1%15.9%4
25%56.5%18.5%5
35.5%44.7%19.8%6
42.1%36.1%21.8%7
44.5%33.3%22.1%8
49%28.2%22.9%9
50.9%25.1%24%10
52.6%22.9%24.4%11
54.5%20.1%25.4%12
55.4%18.4%26.2%13
66.6%6.6%26.7%14

bsearch1.2s (6.0%)

regimes1.2s (5.9%)

Accuracy

Total 4.2b remaining (22.6%)

Threshold costs 1.3b (7.2%)

1.7b49.9%fabs fraction 1
1.1b91%jeff quadratic root 1
0.9b93.4%jeff quadratic root 2
0.4b0%sqrt times
0.0b0%subtraction fraction

series786.0ms (3.9%)

Calls

62 calls:

33.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
27.0ms
(log (- (/ 1.0 x) 1.0))
27.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
26.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
25.0ms
(/ (* 2.0 c) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) (* 2 b)))

rewrite618.0ms (3.1%)

Algorithm
24×rewrite-expression-head
Calls

62 calls:

38.0ms
(/ (/ (neg (+ f n)) (sqrt (- f n))) (sqrt (- f n)))
29.0ms
(* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
22.0ms
(/ (neg (+ (pow f 3) (pow n 3))) (* (+ (* n (- n f)) (* f f)) (- f n)))
15.0ms
(* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))
14.0ms
(/ (* 2.0 c) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) (* 2 b)))
Rules
2129×times-frac
1981×*-un-lft-identity
1640×add-sqr-sqrt
1236×sqrt-prod
1007×add-cube-cbrt
384×distribute-rgt-neg-in
381×distribute-lft-neg-in
277×difference-of-squares
263×distribute-lft-out--
223×distribute-lft-out
172×add-exp-log
171×associate-/l*
148×add-cbrt-cube
118×add-log-exp
106×associate-*r*
102×pow1
92×neg-mul-1
69×associate-*l*
64×sqrt-div
63×flip-- flip3--
60×associate-/r*
53×cbrt-prod
51×associate-/r/
41×unpow-prod-down
38×div-exp cube-prod
32×cbrt-undiv div-inv
28×prod-exp
27×log-prod
25×associate-*l/
24×cbrt-unprod unswap-sqr
23×flip-+ flip3-+
19×sqrt-pow1 pow1/2
17×rem-sqrt-square sub-neg
16×diff-log
15×pow-unpow frac-times
13×associate-/l/
12×neg-sub0 clear-num sum-log exp-prod frac-2neg
10×associate-*r/ pow-prod-down distribute-neg-frac
8×cbrt-div neg-log *-commutative
7×frac-sub
6×cube-div +-commutative div-sub
5×distribute-frac-neg sum-cubes
4×distribute-rgt-in log-div associate-+l+ distribute-neg-in distribute-lft-in pow1/3 1-exp rec-exp un-div-inv associate-+l- sqr-pow
3×pow-exp sub-div cube-mult log-pow unpow3 rem-exp-log
2×associate--l- rem-log-exp exp-sum pow-to-exp unpow-prod-up associate--l+ pow-pow
1×distribute-lft-neg-out exp-neg e-exp-1 sqrt-unprod inv-pow pow-neg rem-cbrt-cube pow-flip exp-diff pow-sub rem-cube-cbrt

localize381.0ms (1.9%)

end0.0ms (0.0%)

Profiling

Loading profile data...