Date:Wednesday, July 8th, 2020
Commit:0b6aac6b on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020190
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

sample10.9min (36.7%)

Algorithm
955×intervals
Results
2.3min3270554×body80valid
2.1min237494×body1280valid
1.2min16134×body5120exit
52.4s168431×body640valid
34.6s41934×body2560valid
31.8s355726×body80invalid
19.0s99101×body320valid
12.5s93356×body160valid
11.9s158578×body80nan
9.6s21809×body1280invalid
8.0s377277×pre80true
5.6s19338×body640invalid
5.4s11466×body1280nan
3.8s2134×body1280overflowed
3.5s731×body5120invalid
3.4s1363×body2560invalid
3.2s9328×body640nan
3.1s18619×body80overflowed
2.7s4004×body5120valid
2.1s10441×body320invalid
1.9s1721×body640overflowed
1.1s4845×body320nan
747.0ms5508×body160invalid
568.0ms2991×body2560nan
556.0ms851×body320overflowed
251.0ms1895×body160nan
152.0ms434×body160overflowed
116.0ms174×body2560overflowed
6.0ms213×pre80false

prune6.9min (23.1%)

Filtered
163053 candidates to 103579 candidates (36.5%)

analyze4.0min (13.3%)

Algorithm
478×search
2×random
Search
TrueOtherFalseIter
0%92%8%0
3.1%88.9%8%1
6.2%85.1%8.7%2
14%75.8%10.2%3
18.9%69%12.1%4
26%60.9%13%5
30.5%54.9%14.6%6
35.9%47.6%16.5%7
39.3%43.2%17.5%8
43.3%37.9%18.7%9
46.2%33.7%20%10
48.9%30.4%20.8%11
51%27.4%21.5%12
53.5%23.9%22.5%13
54.9%22.2%22.9%14

regimes2.6min (8.7%)

Accuracy

Total 448.6b remaining (31.5%)

Threshold costs 56.9b (4%)

15.2b16.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.4b13.2%Equirectangular approximation to distance on a great circle
13.7b-1.9%Linear.Matrix:det44 from linear-1.19.1.3
13.2b55%math.sqrt on complex, real part
12.4b59.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3

simplify2.1min (7.2%)

Algorithm
2558×egg-herbie

series2.0min (6.7%)

Calls

4877 calls:

2.2s
(+ (* x (* y (* x y))) (* (+ c (- (* z (/ t 16.0)) (* a (/ b 4.0)))) (- (- (* a (/ b 4.0)) c) (* z (/ t 16.0)))))
2.1s
(sqrt (* 2.0 (* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) (/ 2.0 2))) (* (- U* U) (pow (/ l Om) (/ 2.0 2)))) (* 2.0 (* l (/ l Om)))))))))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))))

rewrite49.1s (2.7%)

Algorithm
1607×rewrite-expression-head
Calls

4877 calls:

210.0ms
(* (sqrt (* PI 2.0)) (* (* (exp (- z (+ 7.0 0.5))) (* (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (pow (+ 7.0 (- 0.5 z)) (- 0.5 z)))) (/ PI (sin (* PI z)))))
185.0ms
(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))
136.0ms
(* (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (pow (+ 7.0 (- 0.5 z)) (- 0.5 z)))
131.0ms
(+ (- (/ (/ 1.0 (sqrt (+ 1.0 x))) (sqrt (+ x 1.0))) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
126.0ms
(+ (+ (/ -176.6150291621406 (- 4.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
Rules
63119×*-un-lft-identity
60373×add-exp-log
53894×times-frac
53224×add-sqr-sqrt
37471×prod-exp
35303×add-cube-cbrt
19468×add-cbrt-cube
15328×pow-exp
13270×pow1
12713×sqrt-prod
12643×associate-*r*
12265×div-exp
9561×distribute-lft-out
8356×cbrt-prod
8341×associate-*l*
8077×associate-*r/
7544×add-log-exp
7378×cbrt-unprod
6511×pow-to-exp
6507×unpow-prod-down
6438×frac-times
6280×associate-*l/
6100×difference-of-squares
5778×flip-+
5777×flip3-+
5438×frac-add
5407×distribute-lft-out--
5009×cbrt-div
4447×flip--
4446×flip3--
4400×associate-/l*
4223×associate-/r*
3918×pow-prod-down
3491×cbrt-undiv
3228×associate-/r/
2769×cube-prod
2666×unswap-sqr
2618×div-inv
2613×sqrt-div
2045×log-prod
2028×sqr-pow
1542×*-commutative
1409×distribute-rgt-in distribute-lft-in
1377×pow1/3
1341×swap-sqr
1166×sub-neg
1014×sqrt-pow1
990×sum-log
975×associate-/l/
868×clear-num frac-2neg
855×pow-unpow
746×frac-sub
705×log-pow
685×1-exp
657×pow1/2
570×exp-prod
533×diff-log
528×associate-+r+
504×+-commutative
438×pow-prod-up
366×exp-diff
363×rec-exp
362×rem-sqrt-square
358×associate-+l+
354×pow-sub
346×pow-sqr
311×pow-pow
308×associate--l+
255×tanh-def-b tanh-def-a tanh-def-c
241×div-sub
240×tan-quot
210×distribute-rgt-neg-in
202×log-div
196×cos-mult
178×cube-mult unpow3
174×pow-plus
166×cube-div
161×pow2
155×rem-log-exp
145×distribute-lft-neg-in
132×associate-+r-
126×pow-flip
122×sin-mult
107×un-div-inv
100×rem-cube-cbrt
96×neg-sub0
95×exp-sum
94×inv-pow
91×associate--r+
82×exp-neg
80×distribute-rgt-neg-out
76×distribute-rgt-out--
55×unpow2
50×cosh-undef
45×neg-mul-1
44×sinh-def
43×sub-div
42×associate-+l-
40×unpow-prod-up
39×rem-cbrt-cube
37×rem-exp-log
36×difference-cubes distribute-frac-neg
34×associate--l- sqrt-unprod
25×cos-diff cosh-def
24×unsub-neg
23×rem-square-sqrt distribute-rgt-out
21×sum-cubes
20×cos-sum sin-diff
19×sin-sum
18×neg-log
17×sinh-undef associate--r-
16×acos-asin
14×difference-of-sqr--1
13×pow-neg
11×sqrt-undiv
10×difference-of-sqr-1
9×sqrt-pow2 distribute-rgt1-in
8×asin-acos
7×diff-cos
6×distribute-lft-neg-out sin-cos-mult unpow1/3 pow3
5×acos-neg distribute-lft1-in count-2
4×e-exp-1 tan-sum
3×exp-to-pow
2×sqr-cos-a
1×tanh-undef quot-tan diff-sin diff-atan mul0-rgt

localize20.2s (1.1%)

bsearch7.0s (0.4%)

end1.2s (0.1%)

Profiling

Loading profile data...