Date:Saturday, June 27th, 2020
Commit:b87e82bf on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020179
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

sample8.8min (30.4%)

Algorithm
820×intervals
Results
1.9min2856697×body80valid
1.7min192348×body1280valid
1.2min14962×body5120exit
40.7s138903×body640valid
27.6s318316×body80invalid
24.8s30495×body2560valid
14.9s82474×body320valid
8.1s67544×body160valid
7.8s18560×body1280invalid
7.1s106105×body80nan
5.9s266687×pre80true
4.5s16163×body640invalid
3.3s1871×body1280overflowed
2.9s7177×body1280nan
2.4s14092×body80overflowed
1.6s8215×body320invalid
1.5s1435×body640overflowed
1.5s5381×body640nan
639.0ms1345×body5120valid
568.0ms3096×body2560nan
555.0ms4554×body160invalid
518.0ms2773×body320nan
461.0ms732×body320overflowed
128.0ms377×body160overflowed
128.0ms1177×body160nan
103.0ms163×body2560overflowed
90.0ms54×body2560invalid
2.0ms124×pre80false
2.0ms1×body5120nan

analyze6.0min (20.7%)

Algorithm
820×search
Search
TrueOtherFalseIter
0%94.3%5.7%0
3.2%91.1%5.7%1
6.3%87.4%6.3%2
14.7%77.7%7.6%3
20%70.4%9.6%4
27.6%61.8%10.6%5
32.5%55.2%12.2%6
38.4%47.6%14%7
41.9%43.1%15%8
46%37.8%16.2%9
49.1%33.5%17.4%10
51.8%30%18.2%11
54%27.1%18.9%12
56.4%23.9%19.7%13
57.9%22.1%20.1%14

prune4.6min (15.9%)

Filtered
133127 candidates to 86705 candidates (34.9%)

bsearch3.3min (11.5%)

regimes2.2min (7.6%)

Accuracy

Total 382.1b remaining (35.7%)

Threshold costs 51.5b (4.8%)

20.7b3.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.2b-8.9%Linear.Matrix:det44 from linear-1.19.1.3
11.5b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.9b55.4%math.log10 on complex, real part
10.9b56.8%math.log/2 on complex, real part

simplify1.5min (5.3%)

Algorithm
2189×egg-herbie

series1.5min (5.3%)

Calls

4131 calls:

2.0s
(pow (+ (* x y) (+ (* z t) (* a b))) 3)
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
1.3s
(sqrt (+ (* x y) (+ (* z t) (+ (* a b) (* c i)))))
652.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp a) eps) 1.0) (+ (* b eps) (* b (* b (* (* eps eps) (+ (* (* b 1/6) eps) 1/2)))))))
558.0ms
(/ (+ 2.0 (* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))) (* 3.0 (+ 1.0 (/ (/ (+ (* (cos x) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (- 5.0 (* 1.0 1.0)))) (* (cos y) (* (- (pow 3.0 3) (* 5.0 (sqrt 5.0))) (+ (sqrt 5.0) 1.0)))) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (+ (sqrt 5.0) 1.0))) 2.0))))

rewrite40.3s (2.3%)

Algorithm
1370×rewrite-expression-head
Calls

4131 calls:

1.2s
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
227.0ms
(/ (/ (/ (sqrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ alpha (+ beta (* 1.0 2.0))) (sqrt (+ alpha (+ beta (+ (* alpha beta) 1.0)))))) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))
213.0ms
(* (* (cbrt x) (cbrt x)) (* (* y (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt (cbrt x)) z)))
210.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
208.0ms
(+ (* y y) (* z z))
Rules
57528×*-un-lft-identity
53418×times-frac
47313×add-sqr-sqrt
32797×add-cube-cbrt
19652×add-exp-log
14228×add-cbrt-cube
12127×sqrt-prod
11416×pow1
10474×associate-*r*
9395×distribute-lft-out
8207×associate-*r/
7268×cbrt-prod
6911×frac-times
6785×prod-exp
6753×associate-*l*
6288×add-log-exp
5783×flip--
5782×flip3--
4629×cbrt-unprod
4437×difference-of-squares
4089×div-exp
4078×associate-/l*
3992×associate-/r*
3926×cbrt-div
3902×distribute-lft-out--
3809×flip-+
3808×flip3-+
3654×associate-*l/
3247×pow-prod-down
3205×sqrt-div
3024×associate-/r/
2857×unpow-prod-down
2459×cbrt-undiv
2408×frac-add
2324×unswap-sqr
2229×div-inv
1665×log-prod
1312×*-commutative
1242×pow1/3
1222×swap-sqr
1008×pow-exp
1003×cube-prod
977×distribute-rgt-in distribute-lft-in
958×sub-neg
913×sqrt-pow1
801×log-pow
791×sqr-pow
748×clear-num frac-2neg
745×associate-/l/
719×sum-log
711×pow-to-exp
598×pow1/2
574×exp-prod
554×pow-unpow
494×1-exp
493×rec-exp
488×pow-prod-up
461×diff-log
438×+-commutative
373×pow-sqr
368×associate-+r+
347×frac-sub
333×distribute-rgt-neg-in
329×associate--l+
289×pow-pow
240×rem-sqrt-square
190×div-sub
187×exp-sum
178×log-div
176×pow-plus
160×pow2
156×associate-+l+
146×pow-flip
139×cube-div
129×cube-mult unpow3
124×rem-log-exp
115×inv-pow
108×tan-quot
105×cos-mult
103×unpow2
88×neg-sub0
87×distribute-lft-neg-in distribute-rgt-neg-out
83×associate-+r-
77×un-div-inv
71×tanh-def-b tanh-def-a tanh-def-c
70×rem-cube-cbrt
63×sum-cubes
60×associate-+l-
57×neg-log
55×sin-mult
54×exp-diff
50×associate--r+
44×sqrt-unprod
38×associate--l-
37×distribute-rgt-out unsub-neg rem-exp-log
36×sinh-def
34×distribute-rgt-out--
31×rem-cbrt-cube
27×rem-square-sqrt
24×sub-div distribute-neg-frac
23×pow-sub
22×cos-diff pow-neg difference-of-sqr-1
21×unpow-prod-up
20×neg-mul-1
17×sin-diff
16×cosh-def
15×cos-sum distribute-rgt1-in
13×associate--r-
12×acos-asin sin-sum
11×diff-cos
10×unpow1/3
9×distribute-neg-in sqrt-pow2 distribute-frac-neg
8×difference-cubes
7×distribute-lft1-in sin-cos-mult
6×distribute-lft-neg-out count-2
5×acos-neg sqr-cos-a
4×tan-sum sqrt-undiv
3×exp-to-pow pow3
2×exp-neg e-exp-1 remove-double-div pow-div
1×tanh-undef diff-sin log-rec diff-atan asin-acos

localize16.2s (0.9%)

end16.0ms (0.0%)

Profiling

Loading profile data...