Date:Monday, June 22nd, 2020
Commit:76059ace on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020174
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.8%)

Algorithm
18×intervals
Results
3.2s70206×body80valid
735.0ms4087×body1280valid
121.0ms1416×body80nan
119.0ms2059×body80invalid
1.0ms11×body160valid

simplify3.6s (18.3%)

Algorithm
43×egg-herbie

prune3.2s (16.3%)

Filtered
2263 candidates to 1412 candidates (37.6%)

analyze3.0s (15.5%)

Algorithm
18×search

regimes1.2s (6.0%)

Accuracy

Total 3.0b remaining (17.2%)

Threshold costs 1.9b (11.1%)

1.1b91.1%jeff quadratic root 2
0.9b94%jeff quadratic root 1
0.7b0%fabs fraction 1
0.4b0%sqrt times
0.0b0%subtraction fraction

bsearch1.1s (5.7%)

series915.0ms (4.7%)

Calls

67 calls:

35.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
32.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
27.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
26.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
25.0ms
(cbrt x)

rewrite521.0ms (2.7%)

Algorithm
25×rewrite-expression-head
Calls

67 calls:

18.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
17.0ms
(* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)))
16.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) z))
16.0ms
(log (exp (/ (neg (+ f n)) (- f n))))
15.0ms
(exp (/ (neg (+ f n)) (- f n)))
Rules
1087×*-un-lft-identity
910×add-sqr-sqrt
804×times-frac
518×add-cube-cbrt
205×distribute-rgt-neg-in
202×distribute-lft-neg-in add-exp-log
198×cbrt-prod
164×difference-of-squares
157×add-cbrt-cube
153×exp-prod
151×distribute-lft-out--
136×unpow-prod-down
134×pow1
132×cube-prod distribute-lft-out
119×add-log-exp
114×sqrt-prod
68×log-pow
58×prod-exp
57×associate-*l*
56×cbrt-unprod
54×associate-/r* flip-- flip3--
52×sqrt-div
50×neg-mul-1 associate-/l*
42×associate-*r*
34×div-exp associate-*l/
33×cbrt-undiv
31×associate-/r/
29×sqrt-pow1 pow1/2
25×div-inv
24×cbrt-div
21×pow-prod-down
20×flip-+ flip3-+
19×rem-sqrt-square pow-unpow
18×frac-times
16×unswap-sqr
15×sub-neg
14×neg-sub0
13×diff-log swap-sqr
11×associate-*r/ pow1/3
10×sum-log associate-/l/
9×log-prod neg-log
8×exp-sum clear-num *-commutative frac-2neg
7×frac-sub distribute-frac-neg rem-exp-log
6×div-sub pow-pow distribute-neg-frac
5×pow-prod-up
4×distribute-rgt-in exp-neg +-commutative log-div distribute-neg-in distribute-lft-in associate-+l-
3×associate--l- pow-exp sub-div pow-sqr un-div-inv exp-diff sqr-pow
2×cube-div rem-log-exp pow-to-exp unpow-prod-up exp-to-pow sqrt-unprod cube-mult unpow3 rem-cube-cbrt
1×pow2 cube-neg rem-square-sqrt pow-plus 1-exp log-rec rec-exp pow-neg rem-cbrt-cube pow-sub

localize367.0ms (1.9%)

end0.0ms (0.0%)

Profiling

Loading profile data...