Details

Time bar (total: 8.8s)

sample22.0ms

Algorithm
intervals
Results
9.0ms367×body80valid

simplify36.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0204
1414
2584
3774
41114
51714
62934
75214
87074
97874
109644
119884
129884

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- (+ x y) z) (* t 2.0))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
100×*-un-lft-identity
75×add-sqr-sqrt
72×times-frac
35×add-cube-cbrt
26×distribute-lft-out--
21×associate-*r* associate-*l*
13×distribute-lft-out difference-of-squares
12×associate-/r*
7×*-commutative unswap-sqr
6×add-exp-log add-cbrt-cube associate-/l*
2×cbrt-undiv div-exp associate-/l/
1×pow1 flip3-- frac-2neg div-sub prod-exp clear-num flip-- cbrt-unprod div-inv add-log-exp
Counts
1 → 107
Calls
1 calls:
16.0ms
(/ (- (+ x y) z) (* t 2.0))

series39.0ms

Counts
1 → 3
Calls
1 calls:
39.0ms
(/ (- (+ x y) z) (* t 2.0))

simplify45.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0455909
11755880
25001879

prune196.0ms

Filtered
110 candidates to 66 candidates (60.0%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1064110
Fresh000
Picked101
Done000
Total1074111

Merged error: 0b

Counts
111 → 4

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ (/ y t) (/ x t)) (/ z t))
0.0b
(+ (/ y t) (/ x t))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
810×frac-add
789×associate-/r* associate-/l*
747×frac-sub
555×*-un-lft-identity
538×add-sqr-sqrt
533×add-cube-cbrt
263×frac-2neg clear-num
16×times-frac
10×flip3-+ flip-+
9×add-log-exp
8×distribute-lft-out
5×distribute-lft-out--
2×pow1 add-exp-log +-commutative diff-log associate--l+ sum-log add-cbrt-cube div-inv difference-of-squares
1×sub-neg distribute-rgt-out flip3-- flip--
Counts
2 → 866
Calls
2 calls:
59.0ms
(- (+ (/ y t) (/ x t)) (/ z t))
15.0ms
(+ (/ y t) (/ x t))

series36.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(- (+ (/ y t) (/ x t)) (/ z t))
16.0ms
(+ (/ y t) (/ x t))

simplify167.0ms

Algorithm
egg-herbie
Counts
872 → 872
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
0500116510

prune1.5s

Filtered
872 candidates to 430 candidates (49.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New8702872
Fresh213
Picked011
Done000
Total8724876

Merged error: 0b

Counts
876 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
6.9b
(* (/ t y) (/ x (* (cbrt t) (cbrt t))))
16.9b
(/ (+ (* (/ t y) (/ x (* (cbrt t) (cbrt t)))) (cbrt t)) (* (/ t y) (cbrt t)))

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
567×add-sqr-sqrt
444×*-un-lft-identity
403×associate-/r*
327×add-cube-cbrt
324×times-frac
297×frac-times
256×cbrt-prod
199×associate-*r*
198×associate-*l*
141×associate-/l*
104×unswap-sqr
82×swap-sqr
58×add-cbrt-cube distribute-lft-out
47×clear-num
46×frac-2neg
34×add-exp-log
33×associate-*r/
24×cbrt-unprod
23×cbrt-undiv
22×*-commutative
18×associate-*l/
11×div-exp
10×prod-exp
9×associate-/r/ div-inv
6×pow1
4×add-log-exp
2×pow1/3 un-div-inv associate-/l/
1×flip3-+ pow-prod-down flip-+
Counts
4 → 710
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
54.0ms
(* (/ t y) (/ x (* (cbrt t) (cbrt t))))
118.0ms
(/ (+ (* (/ t y) (/ x (* (cbrt t) (cbrt t)))) (cbrt t)) (* (/ t y) (cbrt t)))

series917.0ms

Counts
4 → 12
Calls
4 calls:
194.0ms
(cbrt t)
189.0ms
(cbrt t)
174.0ms
(* (/ t y) (/ x (* (cbrt t) (cbrt t))))
359.0ms
(/ (+ (* (/ t y) (/ x (* (cbrt t) (cbrt t)))) (cbrt t)) (* (/ t y) (cbrt t)))

simplify139.0ms

Algorithm
egg-herbie
Counts
722 → 722
Iterations

Useful iterations: 1 (56.0ms)

IterNodesCost
030509104
150018950

prune1.9s

Filtered
722 candidates to 448 candidates (62.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New7220722
Fresh022
Picked011
Done011
Total7224726

Merged error: 0b

Counts
726 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ (- t) (* (- y) (/ t x))) (* (- t) (/ t x))) (/ z t))
0.2b
(* (- t) (/ t x))
1.8b
(* (- y) (/ t x))
22.8b
(/ (+ (- t) (* (- y) (/ t x))) (* (- t) (/ t x)))

rewrite380.0ms

Algorithm
rewrite-expression-head
Rules
1100×*-un-lft-identity
642×times-frac
554×add-sqr-sqrt
518×associate-*l*
448×associate-/r*
414×frac-sub
407×add-cube-cbrt
350×distribute-lft-out
315×distribute-rgt-neg-in
299×associate-*r*
260×associate-/l*
149×distribute-lft-neg-in
103×neg-mul-1
62×clear-num
60×frac-2neg
50×unswap-sqr
36×distribute-lft-out--
27×associate-*r/
24×*-commutative div-inv
23×add-exp-log add-cbrt-cube
20×associate-/l/
11×associate-/r/
10×flip3-+ flip-+
8×pow1 difference-of-squares
7×distribute-lft-neg-out
6×cbrt-undiv div-sub div-exp prod-exp un-div-inv cbrt-unprod add-log-exp
3×associate--l-
2×neg-sub0 associate-+l- unsub-neg pow-prod-down
1×sub-neg distribute-neg-out flip3-- diff-log distribute-frac-neg flip-- sub-div
Counts
4 → 978
Calls
4 calls:
240.0ms
(- (/ (+ (- t) (* (- y) (/ t x))) (* (- t) (/ t x))) (/ z t))
13.0ms
(* (- t) (/ t x))
9.0ms
(* (- y) (/ t x))
41.0ms
(/ (+ (- t) (* (- y) (/ t x))) (* (- t) (/ t x)))

series126.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(- (/ (+ (- t) (* (- y) (/ t x))) (* (- t) (/ t x))) (/ z t))
20.0ms
(* (- t) (/ t x))
21.0ms
(* (- y) (/ t x))
55.0ms
(/ (+ (- t) (* (- y) (/ t x))) (* (- t) (/ t x)))

simplify230.0ms

Algorithm
egg-herbie
Counts
990 → 990
Iterations

Useful iterations: 1 (91.0ms)

IterNodesCost
0477616913
1500116807

prune2.0s

Filtered
990 candidates to 511 candidates (51.6%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New9891990
Fresh101
Picked011
Done022
Total9904994

Merged error: 0b

Counts
994 → 4

regimes83.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0136
1136

end0.0ms

sample563.0ms

Algorithm
intervals
Results
277.0ms10915×body80valid