Details

Time bar (total: 42.1s)

sample11.0s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 4.3396%

Guaranteed chance to sample good point: 1.607861%

Results
131.0ms31×body5120invalid
106.0ms48×body2560invalid
77.0ms92×body1280valid
72.0ms11×body5120valid
55.0ms36×body2560valid
32.0ms56×body640valid
19.0ms24×body1280invalid
13.0ms25×body640invalid
10.0ms23×body320valid
5.0ms35×body80invalid
4.0ms29×body80valid
4.0ms11×body320invalid
3.0ms12×body160invalid
2.0ms9×body160valid

simplify28.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (26.0ms)

IterNodesCost
04413
114713
285712
3500211

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 42.4b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
1.5b
(* (pow t 3.0) (tan k))
19.9b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
32.3b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
392×add-exp-log
265×prod-exp
74×div-exp add-cbrt-cube
61×pow-exp
41×pow-to-exp
40×cbrt-unprod
25×associate-*l*
21×add-sqr-sqrt
17×unpow-prod-down
16×add-cube-cbrt *-un-lft-identity
12×cbrt-undiv
10×times-frac
7×associate-*r/ associate-*r*
6×pow1
4×tan-quot add-log-exp
3×*-commutative unswap-sqr sqr-pow
2×associate-*l/ div-inv
1×frac-2neg pow-prod-down clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 185
Calls
4 calls:
11.0ms
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
5.0ms
(* (pow t 3.0) (tan k))
17.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
10.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

series292.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
52.0ms
(* (pow t 3.0) (tan k))
106.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
64.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify46.0ms

Algorithm
egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010642314
150021928

prune291.0ms

Filtered
84 candidates to 197 candidates (-134.5%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New18710197
Fresh011
Picked101
Done000
Total18811199

Merged error: 26.6b

Counts
199 → 11

localize21.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (pow t 3.0) (tan k))
15.3b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
19.9b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))
20.4b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
1610×add-exp-log
1168×prod-exp
346×div-exp
341×pow-exp
205×pow-to-exp
95×add-cbrt-cube
55×cbrt-unprod
41×associate-*l*
30×unpow-prod-down
28×add-sqr-sqrt
23×add-cube-cbrt *-un-lft-identity
19×times-frac
15×cbrt-undiv
9×associate-*r/
5×associate-*r*
4×tan-quot pow1 add-log-exp sqr-pow
3×*-commutative div-inv unswap-sqr
1×frac-2neg associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 408
Calls
4 calls:
6.0ms
(* (pow t 3.0) (tan k))
16.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
27.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))
12.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

series291.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (pow t 3.0) (tan k))
65.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
106.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))
69.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

simplify85.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
017716487
150025612

prune421.0ms

Filtered
110 candidates to 420 candidates (-281.8%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New4155420
Fresh01010
Picked101
Done000
Total41615431

Merged error: 26.6b

Counts
431 → 15

localize24.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (* l l) (sin k))
15.3b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
18.0b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))
20.4b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
1610×add-exp-log
1029×prod-exp
485×div-exp
340×pow-exp
204×pow-to-exp
98×add-cbrt-cube
48×cbrt-unprod
42×associate-*l*
30×add-sqr-sqrt
28×times-frac
26×add-cube-cbrt unpow-prod-down *-un-lft-identity
24×cbrt-undiv
9×associate-*r/ associate-*r*
6×pow1
5×div-inv
4×add-log-exp
3×tan-quot associate-/r* *-commutative
2×unswap-sqr sqr-pow
1×frac-times frac-2neg pow-prod-down associate-*l/ clear-num associate-/r/ associate-/l*
Counts
4 → 418
Calls
4 calls:
4.0ms
(/ (* l l) (sin k))
15.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
27.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

series337.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(/ (* l l) (sin k))
65.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
190.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))
70.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

simplify83.0ms

Algorithm
egg-herbie
Counts
430 → 430
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
017306648
150015458

prune399.0ms

Filtered
106 candidates to 430 candidates (-305.7%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New4219430
Fresh5914
Picked101
Done000
Total42718445

Merged error: 23.1b

Counts
445 → 18

localize22.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (* l l) (sin k))
15.9b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k)))
16.7b
(* (/ 1 (pow (/ k t) (/ 2.0 2))) (* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k))))
20.4b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
4987×add-exp-log
2928×prod-exp
1997×div-exp
846×pow-exp
509×pow-to-exp
220×rec-exp 1-exp
217×add-cbrt-cube
105×cbrt-unprod
97×times-frac
80×associate-*l*
66×cbrt-undiv
64×add-sqr-sqrt
60×add-cube-cbrt *-un-lft-identity
52×unpow-prod-down
11×pow1
10×associate-*r/
9×associate-*r*
8×div-inv
6×frac-times
4×pow-prod-down associate-*l/ add-log-exp sqr-pow
3×associate-/r* *-commutative
2×tan-quot unswap-sqr
1×frac-2neg clear-num associate-/r/ associate-/l*
Counts
4 → 975
Calls
4 calls:
5.0ms
(/ (* l l) (sin k))
21.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k)))
38.0ms
(* (/ 1 (pow (/ k t) (/ 2.0 2))) (* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k))))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

series462.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ (* l l) (sin k))
190.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k)))
191.0ms
(* (/ 1 (pow (/ k t) (/ 2.0 2))) (* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k))))
72.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

simplify194.0ms

Algorithm
egg-herbie
Counts
987 → 987
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
0307517702
1500216681

prune547.0ms

Filtered
157 candidates to 987 candidates (-528.7%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New9843987
Fresh31417
Picked011
Done000
Total987181005

Merged error: 22.2b

Counts
1005 → 18

regimes999.0ms

Accuracy

43.8% (6.2b remaining)

Error of 27.9b against oracle of 21.7b and baseline of 32.7b

bsearch514.0ms

Steps
ItersRangePoint
7
2.4117439732999483e-108
4.847884807856562e-107
6.4678233595874346e-108
10
-8.194081603669046e-293
1.994220806370176e-307
-5.13081426267137e-309
9
-3.584273805787348e-83
-1.634335378542869e-91
-1.667601555224621e-91

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09484
19484

end0.0ms

sample25.6s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 4.3396%

Guaranteed chance to sample good point: 1.607861%

Results
3.4s704×body5120invalid
3.3s1253×body2560invalid
3.1s3250×body1280valid
1.3s916×body2560valid
1.2s1979×body640valid
729.0ms225×body5120valid
692.0ms764×body1280invalid
306.0ms570×body640invalid
292.0ms679×body320valid
142.0ms364×body320invalid
114.0ms802×body80invalid
98.0ms682×body80valid
74.0ms269×body160valid
55.0ms212×body160invalid

Profiling

Loading profile data...