Details

Time bar (total: 4.1s)

sample46.0ms

Algorithm
intervals
Results
18.0ms45×body1280valid
8.0ms162×body80valid
6.0ms26×body640valid
2.0ms13×body320valid
1.0ms10×body160valid

simplify24.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0145
1285
2375
3435
4525
5665
61015
71665
82125
92365
102505
112705
122705

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.1b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ x (cos y)) (* z (sin y)))
0.0b
(+ x (cos y))
0.1b
(* z (sin y))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
2×+-commutative associate--l+
1×sub-neg flip3-- flip3-+ *-commutative flip-- flip-+
Counts
3 → 10
Calls
3 calls:
4.0ms
(- (+ x (cos y)) (* z (sin y)))
2.0ms
(+ x (cos y))
2.0ms
(* z (sin y))

series111.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(- (+ x (cos y)) (* z (sin y)))
24.0ms
(+ x (cos y))
40.0ms
(* z (sin y))

simplify113.0ms

Algorithm
egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
012294
133694
2111394
3365094
4500194

prune41.0ms

Filtered
19 candidates to 12 candidates (63.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New17219
Fresh000
Picked011
Done000
Total17320

Merged error: 0.0b

Counts
20 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(* z (sin y))
0.2b
(* (cos y) (- (cos y) x))
0.4b
(pow (cos y) 3)
20.2b
(/ (+ (pow x 3) (pow (cos y) 3)) (+ (* (cos y) (- (cos y) x)) (* x x)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
2×distribute-rgt-in sub-neg distribute-lft-in flip3-+ associate-*r/ associate-/r/ *-commutative flip-+ associate-/l/
1×pow-to-exp flip3-- frac-2neg unpow3 clear-num sum-cubes flip-- div-inv associate-/l* sqr-pow
Counts
4 → 19
Calls
4 calls:
2.0ms
(* z (sin y))
4.0ms
(* (cos y) (- (cos y) x))
1.0ms
(pow (cos y) 3)
10.0ms
(/ (+ (pow x 3) (pow (cos y) 3)) (+ (* (cos y) (- (cos y) x)) (* x x)))

series200.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* z (sin y))
52.0ms
(* (cos y) (- (cos y) x))
27.0ms
(pow (cos y) 3)
85.0ms
(/ (+ (pow x 3) (pow (cos y) 3)) (+ (* (cos y) (- (cos y) x)) (* x x)))

simplify94.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0168175
1541173
22463172
35001172

prune95.0ms

Filtered
31 candidates to 20 candidates (64.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New30131
Fresh011
Picked101
Done011
Total31334

Merged error: 0.0b

Counts
34 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (cos y) 3)
0.4b
(pow (cos y) 3)
20.1b
(/ (* (cos y) (- (pow (cos y) 3) (pow x 3))) (+ (* (cos y) (cos y)) (+ (* x x) (* (cos y) x))))
20.2b
(/ (+ (pow x 3) (pow (cos y) 3)) (+ (/ (* (cos y) (- (pow (cos y) 3) (pow x 3))) (+ (* (cos y) (cos y)) (+ (* x x) (* (cos y) x)))) (* x x)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-/r/
5×associate-/l*
4×flip3-+ flip-+ associate-/l/ sqr-pow
2×pow-to-exp frac-2neg unpow3 associate-*r/ associate-*r* frac-add clear-num cos-mult div-inv
1×difference-cubes flip3-- sum-cubes *-commutative flip-- difference-of-squares
Counts
4 → 27
Calls
4 calls:
1.0ms
(pow (cos y) 3)
2.0ms
(pow (cos y) 3)
14.0ms
(/ (* (cos y) (- (pow (cos y) 3) (pow x 3))) (+ (* (cos y) (cos y)) (+ (* x x) (* (cos y) x))))
21.0ms
(/ (+ (pow x 3) (pow (cos y) 3)) (+ (/ (* (cos y) (- (pow (cos y) 3) (pow x 3))) (+ (* (cos y) (cos y)) (+ (* x x) (* (cos y) x)))) (* x x)))

series372.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(pow (cos y) 3)
28.0ms
(pow (cos y) 3)
169.0ms
(/ (* (cos y) (- (pow (cos y) 3) (pow x 3))) (+ (* (cos y) (cos y)) (+ (* x x) (* (cos y) x))))
149.0ms
(/ (+ (pow x 3) (pow (cos y) 3)) (+ (/ (* (cos y) (- (pow (cos y) 3) (pow x 3))) (+ (* (cos y) (cos y)) (+ (* x x) (* (cos y) x)))) (* x x)))

simplify50.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0311478
11194461
25001461

prune176.0ms

Filtered
39 candidates to 32 candidates (82.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New39039
Fresh011
Picked011
Done011
Total39342

Merged error: 0.0b

Counts
42 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

1.8b
(+ (* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
2.1b
(* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y))))
2.1b
(- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
29.7b
(/ (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
43×flip3-+ flip-+
42×associate-*r/
32×frac-add
18×associate-/r/
16×frac-times
12×associate-+r+
11×+-commutative
10×distribute-rgt-in distribute-lft-in
8×associate-+l+ associate-*l/
4×sqr-pow
2×difference-cubes flip3-- associate-*l* *-commutative flip-- associate-/l/ associate-/l* difference-of-squares
1×sub-neg frac-2neg div-sub clear-num div-inv
Counts
4 → 76
Calls
4 calls:
15.0ms
(+ (* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
8.0ms
(* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y))))
5.0ms
(- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
19.0ms
(/ (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

series683.0ms

Counts
4 → 12
Calls
4 calls:
124.0ms
(+ (* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
91.0ms
(* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y))))
163.0ms
(- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
305.0ms
(/ (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* z (sin y)) (+ (* z (sin y)) (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

simplify117.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
07222533
133062493
250022493

prune372.0ms

Filtered
88 candidates to 67 candidates (76.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New87188
Fresh000
Picked011
Done022
Total87491

Merged error: 0.0b

Counts
91 → 4

regimes152.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
0105
1105

end0.0ms

sample1.2s

Algorithm
intervals
Results
413.0ms979×body1280valid
298.0ms5570×body80valid
214.0ms843×body640valid
71.0ms418×body320valid
23.0ms190×body160valid