Details

Time bar (total: 26.4s)

sample3.0s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results
330.0ms131×body1280valid
176.0ms66×body2560valid
151.0ms34×body5120valid
48.0ms81×body640valid
15.0ms39×body320valid
10.0ms76×body80valid
4.0ms17×body160valid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

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

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
0.8b
(* (pow t 3.0) (tan k))
22.2b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
28.8b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

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

series239.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(pow (/ k t) 2.0)
50.0ms
(* (pow t 3.0) (tan k))
110.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
66.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify44.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
011232068
150021738

prune291.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: 32.0b

Counts
193 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (pow t 3.0) (tan k))
14.3b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
20.1b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
22.2b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))

rewrite103.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))
15.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
13.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
26.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)))

series285.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))))
63.0ms
(* (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)))

simplify81.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
017716487
150015612

prune399.0ms

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

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New4155420
Fresh1910
Picked101
Done000
Total41714431

Merged error: 32.0b

Counts
431 → 14

localize27.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (cbrt t) 3.0)
14.3b
(* (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)))))
20.1b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))
22.2b
(/ (* 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)))

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

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

simplify278.0ms

Algorithm
egg-herbie
Counts
1304 → 1304
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0338828032
1500225461

prune491.0ms

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

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New130221304
Fresh21113
Picked101
Done000
Total1305131318

Merged error: 29.2b

Counts
1318 → 13

localize26.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (cbrt t) 3.0)
14.3b
(* (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))))
22.0b
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))
22.2b
(/ (* 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)))

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

series293.0ms

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

simplify278.0ms

Algorithm
egg-herbie
Counts
1269 → 1269
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
0345127555
1500226624

prune503.0ms

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

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New1258111269
Fresh11112
Picked101
Done000
Total1260221282

Merged error: 21.1b

Counts
1282 → 22

regimes1.2s

Accuracy

6.1% (7.2b remaining)

Error of 27.7b against oracle of 20.4b and baseline of 28.1b

bsearch333.0ms

Steps
ItersRangePoint
9
2.0801929922159454e-65
8.213535167959106e-57
1.7251710321322939e-60
8
-7.519088217944699e+49
-4.108289220943453e+46
-4.156497619311812e+46

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05242
15242

end0.0ms

sample17.5s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results
4.6s2160×body2560valid
4.3s1004×body5120valid
3.5s4099×body1280valid
1.4s2511×body640valid
424.0ms1035×body320valid
271.0ms2016×body80valid
130.0ms500×body160valid

Profiling

Loading profile data...