Details

Time bar (total: 37.8s)

sample8.1s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 25.274658%

Results
108.0ms41×body2560invalid
107.0ms18×body5120invalid
97.0ms119×body1280valid
45.0ms28×body2560valid
31.0ms55×body640valid
24.0ms6×body5120valid
18.0ms21×body1280invalid
12.0ms64×body80invalid
7.0ms15×body640invalid
7.0ms18×body320invalid
7.0ms17×body320valid
3.0ms11×body160valid
3.0ms20×body80valid
0.0ms2×body160invalid

simplify27.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (25.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: 36.4b

Counts
2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
1.0b
(* (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)))
26.8b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
337×add-exp-log
220×prod-exp
71×div-exp
65×add-cbrt-cube
51×pow-exp
34×pow-to-exp cbrt-unprod
30×unpow-prod-down
28×add-sqr-sqrt
24×associate-*l*
23×add-cube-cbrt *-un-lft-identity
19×times-frac
12×cbrt-undiv
5×pow1 associate-*r/
4×associate-*r* add-log-exp sqr-pow
3×tan-quot pow-unpow div-inv unswap-sqr
2×*-commutative
1×pow-pow frac-2neg associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 179
Calls
4 calls:
4.0ms
(pow (/ k t) 2.0)
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)))
14.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

series248.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(pow (/ k t) 2.0)
52.0ms
(* (pow t 3.0) (tan k))
111.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
71.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify47.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
011232068
150021738

prune290.0ms

Filtered
93 candidates to 191 candidates (-105.4%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New18110191
Fresh011
Picked101
Done000
Total18211193

Merged error: 26.2b

Counts
193 → 11

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (pow t 3.0) (tan k))
15.4b
(* (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)))
17.9b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

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

series305.0ms

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

simplify83.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
017716487
150025612

prune386.0ms

Filtered
109 candidates to 420 candidates (-285.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New4164420
Fresh2810
Picked101
Done000
Total41912431

Merged error: 25.8b

Counts
431 → 12

localize27.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
15.4b
(* (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)))
17.9b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))

rewrite306.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)
24.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)))
15.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))

series327.0ms

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

simplify275.0ms

Algorithm
egg-herbie
Counts
1304 → 1304
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0338828032
1500225461

prune486.0ms

Filtered
109 candidates to 1304 candidates (-1096.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New130041304
Fresh3811
Picked101
Done000
Total1304121316

Merged error: 25.5b

Counts
1316 → 12

localize27.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
15.4b
(* (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)))
23.1b
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

rewrite298.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)
24.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))))
54.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)))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

series315.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(pow (cbrt t) 3.0)
74.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))))
126.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)))
64.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

simplify269.0ms

Algorithm
egg-herbie
Counts
1269 → 1269
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0345127555
1500226624

prune495.0ms

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

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New126271269
Fresh11011
Picked101
Done000
Total1264171281

Merged error: 18.2b

Counts
1281 → 17

regimes998.0ms

Accuracy

21.3% (6.0b remaining)

Error of 26.3b against oracle of 20.3b and baseline of 27.9b

bsearch986.0ms

Steps
ItersRangePoint
10
8.44583525309599e+122
1.0638592838554668e+136
5.23590868894365e+131
8
3.5959691064476698e-40
2.709112529863369e-36
6.559195346465378e-40
7
-3.151270709770072e-159
-1.906028530585927e-160
-2.1203294720083602e-159
9
-1.0927448727432232e+119
-1.9532446887439864e+110
-4.217598792329408e+117

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067118
167118

end0.0ms

sample23.2s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 25.274658%

Results
3.8s758×body5120invalid
3.3s1235×body2560invalid
2.8s3341×body1280valid
1.5s1001×body2560valid
1.1s1896×body640valid
643.0ms199×body5120valid
631.0ms773×body1280invalid
292.0ms553×body640invalid
271.0ms635×body320valid
188.0ms1361×body80invalid
136.0ms327×body320invalid
91.0ms639×body80valid
79.0ms289×body160valid
59.0ms229×body160invalid

Profiling

Loading profile data...