Details

Time bar (total: 37.1s)

sample8.0s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 25.274658%

Results
158.0ms69×body2560valid
128.0ms24×body5120valid
114.0ms140×body1280valid
39.0ms70×body640valid
13.0ms35×body320valid
11.0ms84×body80valid
4.0ms13×body160valid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (24.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: 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)))

rewrite50.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:
5.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)))
13.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

series238.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(pow (/ k t) 2.0)
51.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)))
69.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

prune283.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)))

rewrite106.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:
5.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)))

series291.0ms

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

simplify80.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
017716487
150025612

prune372.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))))

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

simplify272.0ms

Algorithm
egg-herbie
Counts
1304 → 1304
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0338828032
1500225461

prune483.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))

rewrite292.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))))
55.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))

series298.0ms

Counts
4 → 12
Calls
4 calls:
47.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))))
120.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)))
61.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

prune508.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

regimes983.0ms

Accuracy

21.3% (6.0b remaining)

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

bsearch970.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

sample22.9s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 25.274658%

Results
4.7s2236×body2560valid
4.4s957×body5120valid
3.4s4114×body1280valid
1.4s2449×body640valid
382.0ms962×body320valid
278.0ms2000×body80valid
142.0ms518×body160valid

Profiling

Loading profile data...