Date:Wednesday, February 26th, 2020
Commit:2c6cda94 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020057
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

series1.8m (36.1%)

Calls

446 calls:

5.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))
4.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))))
4.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.8s
(/ (sqrt (+ (pow 1.0 3) (pow (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0)))) 3))) (sqrt (+ (* 1.0 1.0) (- (* (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0)))) (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0))))) (* 1.0 (* (pow (/ (* 2.0 l) Om) 2.0) (+ (pow (sin kx) 2.0) (* (pow (* (cbrt (sin ky)) (cbrt (sin ky))) 2.0) (pow (cbrt (sin ky)) 2.0)))))))))

sample1.4m (28.1%)

Algorithm
61×intervals
Results
16.2s29503×body1280valid
15.7s253269×body80valid
9.8s159481×body80nan
9.0s8832×body2560valid
7.1s20043×body640valid
5.5s3367×body5120valid
2.3s9831×body320valid
1.3s9106×body160valid
608.0ms674×body10240exit
149.0ms624×body1280nan
115.0ms619×body640nan
110.0ms8256×pre80true
45.0ms338×body320nan
17.0ms191×body160nan

prune55.0s (18.8%)

Filtered
20561 candidates to 10019 candidates (48.7%)

rewrite20.6s (7.1%)

Algorithm
116×rewrite-expression-head
Calls

446 calls:

3.3s
(* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))))
861.0ms
(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (* (* c0 (* d d)) (/ 1 (* (* w h) (* D D)))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
771.0ms
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
545.0ms
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
476.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* PI (* (* t (* (cbrt (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (cbrt (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))) (cbrt (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))) (- 1.0 (* v v))))
Rules
34120×add-exp-log
23855×prod-exp
11783×pow-exp
9581×div-exp
5257×pow-to-exp
4141×add-sqr-sqrt
4113×times-frac
3936×*-un-lft-identity
3186×add-cube-cbrt
2831×add-cbrt-cube
1523×sqrt-prod
1348×1-exp rec-exp
1339×pow1
1293×cbrt-unprod
1261×unpow-prod-down
1235×associate-*l*
1168×associate-*r/
1132×associate-*r*
675×cbrt-prod
659×sqrt-div
545×add-log-exp
530×cbrt-undiv
511×frac-times
426×cbrt-div
424×pow-prod-down
385×associate-*l/
384×flip3-- flip--
356×associate-/l*
340×associate-/r*
338×pow-unpow
332×associate-/r/
311×sqr-pow
285×flip-+ flip3-+
282×unswap-sqr distribute-lft-out
242×div-inv
177×difference-of-squares
164×sqrt-pow1
161×distribute-lft-out--
151×*-commutative
141×distribute-rgt-neg-in
115×pow1/2
103×cube-prod
95×distribute-lft-neg-in
92×clear-num frac-2neg
88×exp-prod
75×distribute-rgt-in tan-quot distribute-lft-in
71×div-sub
69×rem-sqrt-square
62×pow1/3
61×sub-neg
60×associate-/l/
57×pow-prod-up
56×frac-sub
49×unpow2 pow-pow
43×pow-sub
37×cube-div sum-log
36×log-div
30×log-pow swap-sqr associate--l+
29×pow-sqr
28×log-prod
26×exp-diff +-commutative
19×frac-add neg-sub0
16×pow-plus
14×rem-cube-cbrt pow-neg diff-log
11×neg-mul-1
10×unpow3 cube-mult exp-sum
9×un-div-inv associate-+r+ pow-flip rem-log-exp
8×cos-sum sum-cubes pow2 associate--r+
7×distribute-neg-frac
6×pow-div
5×inv-pow neg-log
4×sqrt-undiv rem-exp-log cos-diff unsub-neg associate-+r- sub-div
3×associate-+l+ sqrt-unprod acos-asin associate-+l-
2×unpow1/3 distribute-frac-neg associate--r- rem-cbrt-cube
1×difference-cubes sqrt-pow2 associate--l- distribute-rgt-out-- rem-square-sqrt asin-acos mul0 exp-to-pow

simplify12.8s (4.4%)

Algorithm
176×egg-herbie

regimes11.6s (4.0%)

Accuracy

Total 45.1b remaining (21.2%)

Threshold costs 5.0b (2.4%)

9.2b5.8%Toniolo and Linder, Equation (13)
6.0b53.5%Henrywood and Agarwal, Equation (3)
6.0b0%Henrywood and Agarwal, Equation (12)
5.6b76.3%Toniolo and Linder, Equation (7)
3.4b51%Toniolo and Linder, Equation (10-)

localize2.3s (0.8%)

bsearch2.2s (0.8%)

end1.0ms (0.0%)