Details

Time bar (total: 40.2s)

sample9.6s

Algorithm
intervals
sampling

Space saved by range analysis: 5.076928%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results
120.0ms43×body2560invalid
86.0ms95×body1280valid
66.0ms13×body5120invalid
44.0ms77×body640valid
40.0ms30×body2560valid
23.0ms26×body1280invalid
19.0ms21×body640invalid
10.0ms26×body320valid
9.0ms4×body5120valid
4.0ms11×body320invalid
3.0ms23×body80invalid
3.0ms19×body80valid
2.0ms7×body160invalid
1.0ms5×body160valid

simplify28.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (26.0ms)

IterNodesCost
04413
114713
285712
3500211

prune21.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.4b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
0.4b
(* (pow t 3.0) (tan k))
18.8b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
29.4b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

rewrite61.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)
6.0ms
(* (pow t 3.0) (tan k))
18.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)))

series251.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(pow (/ k t) 2.0)
54.0ms
(* (pow t 3.0) (tan k))
112.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
72.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify46.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011232068
150021738

prune307.0ms

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

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New18011191
Fresh011
Picked101
Done000
Total18112193

Merged error: 27.5b

Counts
193 → 12

localize22.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (pow t 3.0) (tan k))
14.0b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
18.8b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))
19.0b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite109.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:
9.0ms
(* (pow t 3.0) (tan k))
17.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
29.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)))

series307.0ms

Counts
4 → 12
Calls
4 calls:
52.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))))
111.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)))
75.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 (26.0ms)

IterNodesCost
017716487
150025612

prune416.0ms

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

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New4146420
Fresh2911
Picked101
Done000
Total41715432

Merged error: 27.2b

Counts
432 → 15

localize21.0ms

Local error

Found 4 expressions with local error:

1.6b
(* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k))
14.0b
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k)))
18.8b
(* (pow (/ k t) (/ 2.0 2)) (pow t 3.0))
18.8b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k))) (sin k)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
1367×add-exp-log
1006×prod-exp
292×pow-exp
284×div-exp
182×pow-to-exp
95×add-cbrt-cube
55×cbrt-unprod
43×add-sqr-sqrt
39×unpow-prod-down
35×associate-*l*
23×add-cube-cbrt *-un-lft-identity
22×times-frac
15×cbrt-undiv
12×unswap-sqr
11×associate-*r*
10×sqr-pow
6×pow1
5×associate-*r/
4×add-log-exp
3×tan-quot *-commutative div-inv
1×frac-2neg pow-prod-down associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 375
Calls
4 calls:
10.0ms
(* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k))
19.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k)))
10.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow t 3.0))
28.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)))

series308.0ms

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

simplify83.0ms

Algorithm
egg-herbie
Counts
387 → 387
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
016206019
150015549

prune448.0ms

Filtered
115 candidates to 387 candidates (-236.5%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New3825387
Fresh41014
Picked101
Done000
Total38715402

Merged error: 21.8b

Counts
402 → 15

localize27.0ms

Local error

Found 4 expressions with local error:

1.6b
(* (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (pow (cbrt t) 3.0)) (tan k))
14.0b
(* (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)))
18.8b
(/ (* 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.4b
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

rewrite284.0ms

Algorithm
rewrite-expression-head
Rules
5991×add-exp-log
4920×prod-exp
1545×pow-exp
1062×div-exp
917×pow-to-exp
128×add-cbrt-cube
80×cbrt-unprod
38×add-sqr-sqrt
37×unpow-prod-down
35×associate-*l*
22×add-cube-cbrt *-un-lft-identity times-frac
18×cbrt-undiv
12×unswap-sqr
10×sqr-pow
9×associate-*r*
6×pow1
5×associate-*r/
4×add-log-exp
3×tan-quot *-commutative div-inv
1×frac-2neg pow-prod-down associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 1045
Calls
4 calls:
16.0ms
(* (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (pow (cbrt t) 3.0)) (tan k))
30.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)))
47.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)))
12.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

series335.0ms

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

simplify231.0ms

Algorithm
egg-herbie
Counts
1057 → 1057
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0283422785
1500122410

prune464.0ms

Filtered
120 candidates to 1057 candidates (-780.8%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New105251057
Fresh21214
Picked101
Done000
Total1055171072

Merged error: 20.9b

Counts
1072 → 17

regimes1.0s

Accuracy

20.2% (4.9b remaining)

Error of 27.1b against oracle of 22.2b and baseline of 28.4b

bsearch963.0ms

Steps
ItersRangePoint
9
5.718916544396938e+99
1.1122548817087044e+109
4.95901555545514e+102
8
5.4221754475748414e-104
2.59506306423129e-101
2.0255652128622138e-101
9
-2.9459903298195447e-97
-2.0690178966977713e-106
-7.791160211637997e-98
7
-4.368991614553425e+121
-2.572285946486935e+120
-2.9313676215627785e+120

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06792
16792

end0.0ms

sample24.6s

Algorithm
intervals
sampling

Space saved by range analysis: 5.076928%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results
3.7s712×body5120invalid
3.4s1321×body2560invalid
2.8s3266×body1280valid
1.5s971×body2560valid
1.2s1972×body640valid
685.0ms777×body1280invalid
670.0ms202×body5120valid
303.0ms561×body640invalid
279.0ms658×body320valid
141.0ms371×body320invalid
108.0ms728×body80invalid
98.0ms699×body80valid
73.0ms232×body160valid
59.0ms211×body160invalid

Profiling

Loading profile data...