Date:Tuesday, June 23rd, 2020
Commit:ce6c70f5 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020175
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

sample1.2min (50.1%)

Algorithm
56×intervals
Results
26.5s69790×body1280valid
18.6s17496×body2560valid
9.4s44235×body640valid
2.9s21586×body320valid
2.7s67435×body80valid
1.3s1161×body1280nan
905.0ms10212×body160valid
658.0ms43013×pre80true
644.0ms915×body640nan
518.0ms3103×body80overflowed
294.0ms678×body1280overflowed
212.0ms469×body320nan
182.0ms262×body640invalid
167.0ms3536×body80nan
150.0ms414×body5120valid
131.0ms107×body1280invalid
121.0ms182×body2560overflowed
102.0ms361×body640overflowed
97.0ms1657×body80invalid
71.0ms169×body320invalid
49.0ms214×body160nan
37.0ms189×body320overflowed
25.0ms105×body160invalid
11.0ms66×body160overflowed
3.0ms3×body2560invalid

prune21.9s (15.6%)

Filtered
12189 candidates to 7850 candidates (35.6%)

analyze19.3s (13.7%)

Algorithm
56×search

simplify10.4s (7.4%)

Algorithm
166×egg-herbie

series6.8s (4.8%)

Calls

362 calls:

1.1s
(log (pow (- (pow (+ x 1.0) (/ 1.0 n)) (exp (* (log x) (/ 1.0 n)))) 3))
668.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
196.0ms
(/ (exp x) (- (exp x) 1.0))
126.0ms
(exp (log (pow (- (pow (+ x 1.0) (/ 1.0 n)) (exp (* (log x) (/ 1.0 n)))) 3)))
124.0ms
(pow (- (pow (+ x 1.0) (/ 1.0 n)) (exp (* (log x) (/ 1.0 n)))) 3)

regimes4.4s (3.1%)

Accuracy

Total 26.2b remaining (24.4%)

Threshold costs 5.5b (5.2%)

4.7b83.7%quad2m (problem 3.2.1, negative)
3.3b0%expq3 (problem 3.4.2)
3.1b88.6%quadp (p42, positive)
3.0b89.4%quadm (p42, negative)
1.8b92.7%quad2p (problem 3.2.1, positive)

rewrite3.3s (2.4%)

Algorithm
110×rewrite-expression-head
Calls

362 calls:

56.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))) a))
40.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
38.0ms
(* (sqrt (+ (* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5)) (/ 1.0 N))) (sqrt (+ (* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5)) (/ 1.0 N))))
36.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
31.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
Rules
5639×*-un-lft-identity
5400×times-frac
4938×add-sqr-sqrt
3075×add-cube-cbrt
1312×sqrt-prod
1291×add-exp-log
922×add-cbrt-cube
839×associate-*r*
755×distribute-lft-out
688×add-log-exp
632×pow1
631×difference-of-squares
621×unpow-prod-down
607×distribute-lft-out--
536×associate-/l*
430×associate-*l*
407×associate-/r*
355×cbrt-prod
334×div-exp
323×flip-- flip3--
286×unswap-sqr
283×prod-exp
270×div-inv
249×sqr-pow
243×sqrt-div
237×associate-*l/
235×associate-/r/
233×flip-+ flip3-+
199×cbrt-undiv
196×frac-times
195×log-prod
191×unpow2
189×frac-add
170×cbrt-div
158×associate-*r/
149×cbrt-unprod
133×distribute-rgt-neg-in
123×sub-neg
119×diff-log
112×cube-prod
110×associate-/l/
103×log-pow
87×pow-exp
86×pow-to-exp swap-sqr
80×exp-prod
75×clear-num frac-2neg
73×pow-prod-down
68×*-commutative
64×pow1/3
52×sum-log
51×sqrt-pow1 pow1/2
43×distribute-rgt-in distribute-lft-in
41×1-exp rec-exp
35×exp-sum associate-+l+
33×log-div
30×rem-sqrt-square
29×+-commutative
28×tan-quot
26×rem-log-exp frac-sub
25×pow-unpow div-sub
22×cube-div unpow3
21×pow-prod-up
19×neg-sub0
17×associate--l+ pow-sqr
16×associate--l- associate--r+
14×neg-log cube-mult distribute-rgt-out--
11×inv-pow sum-cubes pow-flip
9×exp-diff
8×pow2 associate-+r+ pow-plus cos-mult
7×associate-+l- sin-mult
6×pow-pow rem-exp-log
5×sqrt-unprod rem-cube-cbrt
4×sub-div un-div-inv rem-cbrt-cube difference-of-sqr-1
3×associate-+r- sin-cos-mult
2×distribute-lft-neg-in exp-neg tan-sum quot-tan cos-sum neg-mul-1 rem-square-sqrt sin-sum log-rec distribute-neg-frac
1×diff-cos exp-to-pow diff-sin diff-atan

bsearch2.8s (2.0%)

localize1.2s (0.9%)

end1.0ms (0.0%)

Profiling

Loading profile data...