Details

Time bar (total: 20.4s)

sample449.0ms

Algorithm
intervals
Results
129.0ms29×body5120valid
118.0ms65×body2560valid
106.0ms137×body1280valid
36.0ms69×body640valid
15.0ms41×body320valid
10.0ms83×body80valid
4.0ms17×body160valid

simplify29.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (27.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.9b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
0.8b
(* (pow t 3.0) (tan k))
17.0b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
26.6b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
392×add-exp-log
265×prod-exp
74×div-exp add-cbrt-cube
61×pow-exp
41×pow-to-exp
40×cbrt-unprod
25×associate-*l*
21×add-sqr-sqrt
17×unpow-prod-down
16×add-cube-cbrt *-un-lft-identity
12×cbrt-undiv
10×times-frac
7×associate-*r/ associate-*r*
6×pow1
4×tan-quot add-log-exp
3×*-commutative unswap-sqr sqr-pow
2×associate-*l/ div-inv
1×frac-2neg pow-prod-down clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 185
Calls
4 calls:
12.0ms
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
5.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)))

series301.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k))
53.0ms
(* (pow t 3.0) (tan k))
109.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
67.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify44.0ms

Algorithm
egg-herbie
Counts
197 → 197
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
010642314
150021928

prune264.0ms

Filtered
197 candidates to 84 candidates (57.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New18710197
Fresh101
Picked101
Done000
Total18910199

Merged error: 25.5b

Counts
199 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (pow t 3.0) (tan k))
11.8b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
17.0b
(/ (* 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.6b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

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

series295.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))))
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)))
66.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

prune388.0ms

Filtered
420 candidates to 112 candidates (73.3%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New4164420
Fresh189
Picked011
Done000
Total41713430

Merged error: 25.4b

Counts
430 → 13

localize27.0ms

Local error

Found 4 expressions with local error:

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

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

series316.0ms

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

simplify266.0ms

Algorithm
egg-herbie
Counts
1304 → 1304
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0338828032
1500225461

prune705.0ms

Filtered
1304 candidates to 113 candidates (91.3%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New130131304
Fresh11011
Picked101
Done011
Total1303141317

Merged error: 22.7b

Counts
1317 → 14

localize28.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
11.8b
(* (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.0b
(/ (* 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)))
19.0b
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

rewrite310.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)
26.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))

series305.0ms

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

simplify276.0ms

Algorithm
egg-herbie
Counts
1269 → 1269
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
0345127555
1500226624

prune537.0ms

Filtered
1269 candidates to 127 candidates (90.0%)
Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New126091269
Fresh21012
Picked101
Done011
Total1263201283

Merged error: 17.0b

Counts
1283 → 20

regimes817.0ms

Accuracy

22.2% (6.6b remaining)

Error of 26.3b against oracle of 19.7b and baseline of 28.2b

bsearch3.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04643
14643

end0.0ms

sample14.4s

Algorithm
intervals
Results
4.5s2275×body2560valid
4.0s945×body5120valid
3.2s4109×body1280valid
1.3s2492×body640valid
362.0ms988×body320valid
265.0ms2089×body80valid
106.0ms437×body160valid

Profiling

Loading profile data...