Details

Time bar (total: 41.8s)

sample10.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
112.0ms21×body5120invalid
75.0ms36×body2560invalid
74.0ms95×body1280valid
54.0ms39×body2560valid
34.0ms62×body640valid
28.0ms3×body5120valid
21.0ms28×body1280invalid
10.0ms27×body320valid
5.0ms6×body160invalid
4.0ms9×body640invalid
4.0ms29×body80invalid
3.0ms23×body80valid
3.0ms8×body320invalid
2.0ms7×body160valid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (25.0ms)

IterNodesCost
04413
114713
285712
3500211

prune13.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: 39.6b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
1.3b
(* (pow t 3.0) (tan k))
17.3b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
30.2b
(* (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:
12.0ms
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
8.0ms
(* (pow t 3.0) (tan k))
16.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
11.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

series293.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
50.0ms
(* (pow t 3.0) (tan k))
105.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
68.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify43.0ms

Algorithm
egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
010642314
150021928

prune293.0ms

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

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New18413197
Fresh011
Picked101
Done000
Total18514199

Merged error: 25.9b

Counts
199 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (pow t 3.0) (tan k))
16.5b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
17.3b
(/ (* 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.3b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite100.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)))
10.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

series294.0ms

Counts
4 → 12
Calls
4 calls:
50.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)))
72.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

simplify84.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
017716487
150025612

prune413.0ms

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

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New4155420
Fresh11213
Picked101
Done000
Total41717434

Merged error: 25.4b

Counts
434 → 17

localize27.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
16.5b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k)))))
17.3b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))) (sin k)))
20.3b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))

rewrite301.0ms

Algorithm
rewrite-expression-head
Rules
7574×add-exp-log
6101×prod-exp
1947×pow-exp
1399×div-exp
1110×pow-to-exp
126×add-cbrt-cube
79×cbrt-unprod
34×associate-*l*
32×unpow-prod-down
23×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
19×times-frac
18×cbrt-undiv
11×associate-*r/
5×pow1
4×add-log-exp
3×tan-quot cbrt-prod pow-unpow div-inv sqr-pow
2×pow-pow associate-*r* *-commutative
1×frac-2neg pow1/3 associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 1292
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
25.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k)))))
53.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))) (sin k)))
16.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))

series309.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(pow (cbrt t) 3.0)
71.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k)))))
114.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))) (sin k)))
78.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))

simplify273.0ms

Algorithm
egg-herbie
Counts
1304 → 1304
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0338828032
1500225461

prune518.0ms

Filtered
110 candidates to 1304 candidates (-1085.5%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New130131304
Fresh11516
Picked101
Done000
Total1303181321

Merged error: 24.2b

Counts
1321 → 18

localize26.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
16.5b
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k))))
17.3b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k)))) (sin k)))
24.2b
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

rewrite518.0ms

Algorithm
rewrite-expression-head
Rules
7406×add-exp-log
5973×prod-exp
1865×pow-exp
1370×div-exp
1069×pow-to-exp
144×add-cbrt-cube
92×cbrt-unprod
43×unpow-prod-down
40×add-sqr-sqrt
34×associate-*l*
24×add-cube-cbrt *-un-lft-identity
22×times-frac
21×cbrt-undiv
12×unswap-sqr
11×sqr-pow
6×associate-*r/ associate-*r*
5×pow1
4×add-log-exp
3×cbrt-prod pow-unpow div-inv
2×tan-quot pow-pow *-commutative
1×frac-2neg pow1/3 associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 1257
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
25.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k))))
51.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k)))) (sin k)))
10.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

series300.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(pow (cbrt t) 3.0)
72.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k))))
115.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k)))) (sin k)))
68.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

simplify280.0ms

Algorithm
egg-herbie
Counts
1269 → 1269
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0345127555
1500226624

prune528.0ms

Filtered
125 candidates to 1269 candidates (-915.2%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New126181269
Fresh41317
Picked101
Done000
Total1266211287

Merged error: 18.3b

Counts
1287 → 21

regimes881.0ms

Accuracy

4.1% (7.6b remaining)

Error of 27.8b against oracle of 20.2b and baseline of 28.1b

bsearch789.0ms

Steps
ItersRangePoint
9
8.809183586575723e+108
2.3562069433269765e+116
1.1253918068431079e+111
8
1.4076911126703358e-58
1.642083715232088e-54
1.9359051995686767e-58
6
-1.082277603501125e-143
-9.780331301750446e-145
-2.4058546412849183e-144
5
-6.027262405141578e+215
-2.980074154778272e+215
-5.7527001582647205e+215

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
093122
196122
299122
399122

end0.0ms

sample24.9s

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.8s751×body5120invalid
3.2s1296×body2560invalid
2.7s3281×body1280valid
1.4s989×body2560valid
1.1s1932×body640valid
651.0ms813×body1280invalid
562.0ms174×body5120valid
275.0ms701×body320valid
274.0ms552×body640invalid
131.0ms366×body320invalid
119.0ms807×body80invalid
97.0ms697×body80valid
59.0ms226×body160valid
47.0ms188×body160invalid

Profiling

Loading profile data...