Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
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.4%)

Algorithm
955×intervals
Results
2.4min3270307×body80valid
2.1min236806×body1280valid
1.2min16891×body5120exit
53.5s169393×body640valid
32.5s40787×body2560valid
32.5s352728×body80invalid
18.5s95663×body320valid
12.2s156800×body80nan
12.0s89601×body160valid
9.4s21547×body1280invalid
8.1s368818×pre80true
6.1s12752×body1280nan
5.4s18884×body640invalid
3.6s10530×body640nan
2.4s13560×body80overflowed
2.2s3971×body5120valid
2.1s1369×body1280overflowed
2.0s10083×body320invalid
1.2s5272×body320nan
998.0ms1015×body640overflowed
707.0ms5300×body160invalid
586.0ms3135×body2560nan
328.0ms558×body320overflowed
294.0ms2162×body160nan
232.0ms143×body2560invalid
106.0ms161×body2560overflowed
91.0ms26×body5120invalid
90.0ms268×body160overflowed
6.0ms227×pre80false

prune6.5min (21.9%)

Filtered
190907 candidates to 108407 candidates (43.2%)

analyze4.1min (13.8%)

Algorithm
479×search
2×random
Search
TrueOtherFalseIter
0%92%8%0
3.1%88.9%8%1
6.2%85.2%8.7%2
14%75.7%10.2%3
18.9%69%12.1%4
26.1%60.9%13%5
30.6%54.8%14.6%6
36%47.6%16.4%7
39.3%43.2%17.5%8
43.3%38%18.7%9
46.2%33.8%20%10
48.9%30.4%20.7%11
51%27.5%21.5%12
53.5%24%22.5%13
54.9%22.3%22.8%14

regimes2.6min (8.7%)

Accuracy

Total 450.8b remaining (32.6%)

Threshold costs 54.0b (3.9%)

15.8b3.4%Linear.Matrix:det44 from linear-1.19.1.3
15.3b16.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.4b60.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.6b57%math.log10 on complex, real part
10.5b57.7%math.log/1 on complex, real part

simplify2.3min (7.5%)

Algorithm
2564×egg-herbie

series2.1min (6.9%)

Calls

4892 calls:

3.7s
(+ (pow (* (/ (+ beta alpha) (+ beta (+ alpha (* 2.0 i)))) (/ (- beta alpha) (+ beta (+ alpha (+ 2.0 (* 2.0 i)))))) 3) (pow 1.0 3))
2.0s
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))))
2.0s
(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) (- U* U))) (* 2.0 (* l (/ l Om)))))))))

rewrite58.5s (3.3%)

Algorithm
1613×rewrite-expression-head
Calls

4892 calls:

687.0ms
(* l (* 2.0 (* (* (* (/ (cos k) (pow (sin k) 2)) l) (pow (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) 1) 1.0)) (pow (* (pow (pow (/ -1 t) 1.0) 1.0) (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) (pow -1 3.0))) 1.0))))
652.0ms
(* l (* 2.0 (* (* (/ (cos k) (pow (sin k) 2)) l) (pow (* (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) 1) (* (pow (pow (/ -1 t) 1.0) 1.0) (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) (pow -1 3.0)))) 1.0))))
205.0ms
(* (* (/ (cos k) (pow (sin k) 2)) l) (pow (* (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) 1) (* (pow (pow (/ -1 t) 1.0) 1.0) (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) (pow -1 3.0)))) 1.0))
175.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))))))))
163.0ms
(* (* (* (/ (cos k) (pow (sin k) 2)) l) (pow (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) 1) 1.0)) (pow (* (pow (pow (/ -1 t) 1.0) 1.0) (/ (pow (pow (/ -1 k) (/ 2.0 2)) 1.0) (pow -1 3.0))) 1.0))
Rules
261552×add-exp-log
177619×prod-exp
163511×pow-exp
102596×div-exp
55848×*-un-lft-identity
53879×add-sqr-sqrt
52072×times-frac
51803×pow-to-exp
34976×add-cube-cbrt
18357×add-cbrt-cube
14751×1-exp
13247×pow1
13160×sqrt-prod
12737×associate-*r*
11312×cbrt-prod
7713×associate-*l*
7493×add-log-exp
7062×associate-*r/
6399×cbrt-unprod
6093×difference-of-squares
5826×distribute-lft-out
5607×unpow-prod-down
5184×distribute-lft-out--
4645×frac-times
4571×cbrt-div
4318×associate-/l*
4170×associate-/r*
3924×flip-+
3923×flip3-+
3895×associate-*l/
3881×pow-prod-down
3850×flip--
3849×flip3--
3502×associate-/r/
3210×cbrt-undiv
2849×div-inv
2785×unswap-sqr
2231×cube-prod
2179×log-prod
2101×sqrt-div
1871×frac-add
1643×sqr-pow
1486×*-commutative
1356×pow1/3
1281×distribute-rgt-in distribute-lft-in
1234×swap-sqr
1225×associate-/l/
1131×sqrt-pow1
1114×frac-sub
1074×sub-neg
904×sum-log
883×clear-num frac-2neg
868×pow-unpow
805×rec-exp
799×log-pow
787×tanh-def-b tanh-def-a tanh-def-c
615×pow1/2
602×exp-prod
540×diff-log
507×+-commutative
485×associate-+r+
423×pow-pow
411×pow-prod-up
320×pow-sqr
305×rem-sqrt-square
274×associate-+l+
271×associate--l+
265×cube-div
254×div-sub
241×distribute-rgt-neg-in
238×cube-mult
230×unpow3
194×distribute-lft-neg-in
190×log-div
160×pow-plus
155×pow-flip
148×rem-log-exp
143×pow2
119×associate--r+
114×tan-quot distribute-rgt-out--
105×rem-cube-cbrt
97×inv-pow
96×neg-sub0 un-div-inv exp-diff
88×exp-sum
86×unpow2
78×exp-neg
71×distribute-rgt-neg-out
67×associate-+r-
63×neg-mul-1 sin-mult
58×sinh-def
50×rem-cbrt-cube
44×cos-mult
42×rem-exp-log
40×cosh-undef
37×sqrt-unprod
35×difference-cubes
34×distribute-frac-neg
33×associate--r-
32×associate--l- sub-div associate-+l- pow-sub
31×sum-cubes
28×cosh-def
27×unsub-neg
22×cos-diff
21×distribute-rgt-out
20×rem-square-sqrt
18×neg-log sin-diff
17×sinh-undef sin-cos-mult
16×unpow-prod-up
14×cos-sum
11×acos-asin pow-div
10×exp-to-pow
9×sin-sum
8×asin-acos pow-neg
7×sqrt-pow2 unpow1/3
6×e-exp-1 sqr-cos-a distribute-rgt1-in difference-of-sqr--1
5×acos-neg exp-lft-cube sqrt-undiv distribute-lft1-in diff-cos count-2
4×tan-sum exp-lft-sqr
2×distribute-lft-neg-out
1×tanh-undef diff-sin diff-atan pow3 mul0-rgt distribute-neg-out remove-double-div

localize20.5s (1.1%)

bsearch7.5s (0.4%)

end8.0ms (0.0%)

Profiling

Loading profile data...