Details

Time bar (total: 26.3s)

sample542.0ms

Algorithm
intervals
Results
221.0ms90×body2560valid
116.0ms36×body5120valid
105.0ms123×body1280valid
42.0ms82×body640valid
14.0ms40×body320valid
9.0ms72×body80valid
2.0ms10×body160valid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (25.0ms)

IterNodesCost
04413
114713
285712
3500211

prune17.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: 38.8b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
0.8b
(* (pow t 3.0) (tan k))
19.1b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
29.0b
(* (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))
20.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)))

series238.0ms

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

simplify46.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
011232068
150021738

prune1.2s

Filtered
191 candidates to 93 candidates (51.3%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New17912191
Fresh011
Picked101
Done000
Total18013193

Merged error: 27.8b

Counts
193 → 13

localize22.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (pow t 3.0) (tan k))
16.9b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
18.9b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
19.1b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))

rewrite102.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))
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) (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)))

series295.0ms

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

simplify81.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
017716487
150015612

prune1.8s

Filtered
420 candidates to 109 candidates (74.0%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New4146420
Fresh3912
Picked101
Done000
Total41815433

Merged error: 27.5b

Counts
433 → 15

localize25.0ms

Local error

Found 4 expressions with local error:

2.0b
(* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k))
16.9b
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k)))
18.9b
(* (pow (/ k t) (/ 2.0 2)) (pow t 3.0))
19.1b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k))) (sin k)))

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

series294.0ms

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

simplify82.0ms

Algorithm
egg-herbie
Counts
387 → 387
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
016206019
150015549

prune2.0s

Filtered
387 candidates to 116 candidates (70.0%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New3816387
Fresh31114
Picked101
Done000
Total38517402

Merged error: 24.0b

Counts
402 → 17

localize32.0ms

Local error

Found 4 expressions with local error:

2.0b
(* (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (pow (cbrt t) 3.0)) (tan k))
16.9b
(* (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)))
19.1b
(/ (* 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.6b
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

rewrite270.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:
15.0ms
(* (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (pow (cbrt t) 3.0)) (tan k))
29.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)))
45.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))

series325.0ms

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

simplify237.0ms

Algorithm
egg-herbie
Counts
1057 → 1057
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0283422785
1500122410

prune2.5s

Filtered
1057 candidates to 120 candidates (88.6%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New105251057
Fresh11516
Picked101
Done000
Total1054201074

Merged error: 22.6b

Counts
1074 → 20

regimes1.3s

Accuracy

20.5% (5.2b remaining)

Error of 27.2b against oracle of 22.0b and baseline of 28.6b

bsearch3.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04537
14537

end0.0ms

sample14.7s

Algorithm
intervals
Results
4.5s1010×body5120valid
4.3s2157×body2560valid
3.2s4068×body1280valid
1.3s2566×body640valid
373.0ms1011×body320valid
247.0ms1997×body80valid
111.0ms439×body160valid

Profiling

Loading profile data...