Date:Friday, June 12th, 2020
Commit:9c248b13 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020164
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

sample12.7s (54.4%)

Algorithm
18×intervals
Results
3.2s70216×body80valid
752.0ms4082×body1280valid
85.0ms1459×body80invalid
61.0ms755×body80nan
0.0ms6×body160valid
sampling

Space saved by range analysis: 0%

Space saved by search: 27.785452%

Guaranteed chance to sample good point: 94.83037%

simplify3.7s (15.8%)

Algorithm
43×egg-herbie

prune3.5s (15.1%)

Filtered
2229 candidates to 1454 candidates (34.8%)

regimes1.3s (5.7%)

Accuracy

Total 3.9b remaining (21.4%)

Threshold costs 2.3b (12.9%)

1.6b0%fabs fraction 1
1.0b91.8%jeff quadratic root 2
0.8b94.2%jeff quadratic root 1
0.5b0%sqrt times
0.0b0%subtraction fraction

series1.0s (4.4%)

Calls

70 calls:

46.0ms
(* (cbrt (+ f n)) (cbrt (+ f n)))
38.0ms
(cbrt (/ (* (cbrt x) (cbrt x)) 1))
37.0ms
(* (sqrt (- x 1.0)) (sqrt x))
37.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
32.0ms
(cbrt (/ (cbrt x) y))

rewrite500.0ms (2.1%)

Algorithm
25×rewrite-expression-head
Calls

70 calls:

24.0ms
(+ (log (+ (sqrt (/ 1.0 x)) (sqrt 1.0))) (log (- (sqrt (/ 1.0 x)) (sqrt 1.0))))
19.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
15.0ms
(pow (/ (neg (+ f n)) (- f n)) 3)
12.0ms
(* (cbrt (/ x y)) (cbrt (/ x y)))
12.0ms
(/ (neg (+ f n)) (- f n))
Rules
972×*-un-lft-identity
868×add-sqr-sqrt
708×times-frac
516×add-cube-cbrt
389×cbrt-prod
149×unpow-prod-down
142×distribute-rgt-neg-in cube-prod
140×distribute-lft-neg-in
138×difference-of-squares
128×pow1
126×sqrt-prod
120×add-log-exp
118×distribute-lft-out--
112×add-exp-log
110×distribute-lft-out
106×add-cbrt-cube
54×flip-- flip3--
52×associate-*l* associate-/r* exp-prod
46×sqrt-div
45×cbrt-div
41×associate-/l*
40×associate-*r*
35×neg-mul-1 swap-sqr
31×pow1/3
30×div-inv
25×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/
23×pow-pow unswap-sqr
22×log-prod
18×sub-neg flip-+ flip3-+
17×diff-log
14×div-exp exp-sum cbrt-undiv
12×pow-unpow
11×associate-+r+
10×associate-/l/ pow-prod-down associate-*l/
9×neg-sub0 neg-log frac-times
8×prod-exp clear-num cbrt-unprod frac-2neg sqr-pow rem-exp-log
7×sum-log
6×log-div pow-sqr pow-prod-up
5×associate-*r/ associate-+l+ log-pow *-commutative exp-diff
4×cube-div pow-exp distribute-neg-in div-sub cube-mult associate-+l- distribute-neg-frac unpow3
3×associate--l- pow2 pow-to-exp +-commutative pow-plus distribute-frac-neg unpow2 rem-cube-cbrt
2×exp-neg unpow-prod-up associate-+r- rem-cbrt-cube
1×rem-log-exp cube-neg frac-sub sqrt-unprod sub-div associate--l+ pow-sub

localize383.0ms (1.6%)

bsearch195.0ms (0.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...