Details

Time bar (total: 2.6m)

sample4.6s

Algorithm
intervals
Results
4.4s1118×body10240exit
75.0ms66×body1280valid
44.0ms55×body640valid
31.0ms206×body80valid
10.0ms21×body320valid
5.0ms15×body160valid

simplify29.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04813
115813
290313
3500113

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.7b

localize20.0ms

Local error

Found 4 expressions with local error:

2.9b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.7b
(* (/ (pow t 3.0) (* l l)) (sin k))
15.0b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
17.3b
(/ (pow t 3.0) (* l l))

rewrite371.0ms

Algorithm
rewrite-expression-head
Rules
108×add-exp-log
58×prod-exp
52×add-cbrt-cube
26×cbrt-unprod
24×div-exp
21×add-sqr-sqrt
20×pow1
19×*-un-lft-identity
17×times-frac
16×associate-*l/
14×add-cube-cbrt
13×associate-*l*
11×associate-*r*
10×frac-times unpow-prod-down pow-prod-down
8×tan-quot cbrt-undiv pow-to-exp pow-exp
7×associate-/l*
6×associate-*r/
4×flip3-+ flip-+ add-log-exp unswap-sqr sqr-pow
3×*-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r*
Counts
4 → 144
Calls
4 calls:
35.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
17.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
308.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
5.0ms
(/ (pow t 3.0) (* l l))

series1.3s

Counts
4 → 12
Calls
4 calls:
314.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
249.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
609.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
177.0ms
(/ (pow t 3.0) (* l l))

simplify122.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
08011619
146461348
250021348

prune500.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 16.4b

localize26.0ms

Local error

Found 4 expressions with local error:

3.5b
(* (/ (pow t (/ 3.0 2)) l) (sin k))
9.2b
(/ (pow t (/ 3.0 2)) l)
9.2b
(/ (pow t (/ 3.0 2)) l)
15.0b
(* (* (* (/ (pow t (/ 3.0 2)) l) (* (/ (pow t (/ 3.0 2)) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite460.0ms

Algorithm
rewrite-expression-head
Rules
143×add-exp-log
83×prod-exp
66×times-frac
62×add-sqr-sqrt
57×*-un-lft-identity
52×add-cube-cbrt
51×add-cbrt-cube
36×div-exp
35×associate-*l/
34×unpow-prod-down
29×frac-times
27×cbrt-unprod
26×associate-*l*
20×pow1
14×associate-/l*
12×tan-quot pow-to-exp pow-exp sqr-pow
11×associate-*r/ pow-prod-down
8×cbrt-undiv flip3-+ associate-*r* flip-+
6×associate-/r*
4×add-log-exp unswap-sqr
3×div-inv distribute-lft-out
2×frac-2neg clear-num *-commutative
1×distribute-rgt-in distribute-lft-in
Counts
4 → 211
Calls
4 calls:
16.0ms
(* (/ (pow t (/ 3.0 2)) l) (sin k))
5.0ms
(/ (pow t (/ 3.0 2)) l)
4.0ms
(/ (pow t (/ 3.0 2)) l)
425.0ms
(* (* (* (/ (pow t (/ 3.0 2)) l) (* (/ (pow t (/ 3.0 2)) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series1.2s

Counts
4 → 12
Calls
4 calls:
216.0ms
(* (/ (pow t (/ 3.0 2)) l) (sin k))
160.0ms
(/ (pow t (/ 3.0 2)) l)
164.0ms
(/ (pow t (/ 3.0 2)) l)
633.0ms
(* (* (* (/ (pow t (/ 3.0 2)) l) (* (/ (pow t (/ 3.0 2)) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify51.0ms

Algorithm
egg-herbie
Counts
223 → 223
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
011072711
150012349

prune811.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 15.7b

localize26.0ms

Local error

Found 4 expressions with local error:

3.5b
(* (/ (pow t (/ 3.0 2)) l) (sin k))
9.2b
(/ (pow t (/ 3.0 2)) l)
9.2b
(/ (pow t (/ 3.0 2)) l)
17.8b
(* (* (/ (pow t (/ 3.0 2)) l) (* (/ (pow t (/ 3.0 2)) l) (sin k))) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
237×add-exp-log
139×prod-exp
78×add-cbrt-cube
66×times-frac
63×div-exp
61×add-sqr-sqrt
51×add-cube-cbrt *-un-lft-identity
43×cbrt-unprod
34×unpow-prod-down
29×frac-times
27×pow1
26×associate-*l* associate-*l/
21×pow-to-exp pow-exp
19×associate-*r/
16×pow-prod-down
14×associate-/l*
13×cbrt-undiv
12×tan-quot sqr-pow
8×flip3-+ flip-+
6×associate-/r*
4×distribute-rgt-in distribute-lft-in associate-*r* add-log-exp unswap-sqr
3×div-inv
2×frac-2neg clear-num *-commutative
Counts
4 → 237
Calls
4 calls:
17.0ms
(* (/ (pow t (/ 3.0 2)) l) (sin k))
4.0ms
(/ (pow t (/ 3.0 2)) l)
4.0ms
(/ (pow t (/ 3.0 2)) l)
252.0ms
(* (* (/ (pow t (/ 3.0 2)) l) (* (/ (pow t (/ 3.0 2)) l) (sin k))) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))

series1.4s

Counts
4 → 12
Calls
4 calls:
212.0ms
(* (/ (pow t (/ 3.0 2)) l) (sin k))
163.0ms
(/ (pow t (/ 3.0 2)) l)
165.0ms
(/ (pow t (/ 3.0 2)) l)
822.0ms
(* (* (/ (pow t (/ 3.0 2)) l) (* (/ (pow t (/ 3.0 2)) l) (sin k))) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))

simplify54.0ms

Algorithm
egg-herbie
Counts
249 → 249
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
010913351
150012741

prune819.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 14.4b

localize26.0ms

Local error

Found 4 expressions with local error:

9.2b
(/ (pow t (/ 3.0 2)) l)
9.2b
(/ (pow t (/ 3.0 2)) l)
9.9b
(* (* (/ (pow t (/ 3.0 2)) l) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))
10.3b
(* (/ (pow t (/ 3.0 2)) l) (* (* (/ (pow t (/ 3.0 2)) l) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))

rewrite785.0ms

Algorithm
rewrite-expression-head
Rules
269×add-exp-log
159×prod-exp
94×add-cbrt-cube
69×div-exp
63×times-frac
53×cbrt-unprod
50×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
38×frac-times associate-*r/
34×pow1
33×unpow-prod-down
28×associate-*l/
26×associate-*l*
23×pow-to-exp pow-exp
21×pow-prod-down
18×tan-quot
16×distribute-rgt-in distribute-lft-in
15×cbrt-undiv
14×associate-/l*
12×flip3-+ flip-+
11×sqr-pow
6×associate-/r*
4×add-log-exp
3×div-inv
2×frac-2neg associate-*r* clear-num *-commutative
Counts
4 → 263
Calls
4 calls:
4.0ms
(/ (pow t (/ 3.0 2)) l)
4.0ms
(/ (pow t (/ 3.0 2)) l)
201.0ms
(* (* (/ (pow t (/ 3.0 2)) l) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))
561.0ms
(* (/ (pow t (/ 3.0 2)) l) (* (* (/ (pow t (/ 3.0 2)) l) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))

series1.7s

Counts
4 → 12
Calls
4 calls:
164.0ms
(/ (pow t (/ 3.0 2)) l)
164.0ms
(/ (pow t (/ 3.0 2)) l)
758.0ms
(* (* (/ (pow t (/ 3.0 2)) l) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))
658.0ms
(* (/ (pow t (/ 3.0 2)) l) (* (* (/ (pow t (/ 3.0 2)) l) (sin k)) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))

simplify63.0ms

Algorithm
egg-herbie
Counts
275 → 275
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
011784363
150023749

prune927.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 14.4b

regimes219.0ms

Accuracy

35.6% (3.9b remaining)

Error of 16.8b against oracle of 12.9b and baseline of 18.9b

bsearch1.0s

Steps
ItersRangePoint
7
1.0599002342636223e-203
2.7052176194783025e-202
1.1180053642670318e-203

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05574
15574

end0.0ms

sample2.3m

Algorithm
intervals
Results
2.2m33177×body10240exit
2.2s2045×body1280valid
1.3s1804×body640valid
926.0ms5901×body80valid
414.0ms804×body320valid
146.0ms421×body160valid