Details

Time bar (total: 4.3s)

sample42.0ms

Algorithm
intervals
Results
13.0ms32×body1280valid
9.0ms172×body80valid
7.0ms30×body640valid
3.0ms18×body320valid
0.0ms4×body160valid

simplify25.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0145
1285
2415
3575
4685
5865
61315
72145
82725
92965
103285
113965
123965

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

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (cos y))
0.0b
(- (+ x (cos y)) (* z (sin 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:
2.0ms
(+ x (cos y))
4.0ms
(- (+ x (cos y)) (* z (sin y)))
2.0ms
(* z (sin y))

series110.0ms

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

simplify103.0ms

Algorithm
egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 4 (100.0ms)

IterNodesCost
012894
136290
2128889
3454189
4500187

prune40.0ms

Filtered
19 candidates to 12 candidates (63.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New18119
Fresh000
Picked011
Done000
Total18220

Merged error: 0.0b

Counts
20 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (* z (sin y)) 3)
1.7b
(- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
4.5b
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
29.6b
(/ (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
12×sqr-pow
8×unpow3 prod-diff
6×unpow-prod-down
3×*-commutative
2×difference-cubes flip3-- fma-neg flip-- associate-/l/ associate-/l* difference-of-squares
1×pow-to-exp sub-neg frac-2neg div-sub clear-num fma-udef div-inv
Counts
4 → 30
Calls
4 calls:
3.0ms
(pow (* z (sin y)) 3)
8.0ms
(- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
1.0ms
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
8.0ms
(/ (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

series580.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(pow (* z (sin y)) 3)
156.0ms
(- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
94.0ms
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
268.0ms
(/ (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

simplify59.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0301538
11199471
25001462

prune136.0ms

Filtered
42 candidates to 29 candidates (69.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New41142
Fresh000
Picked011
Done011
Total41344

Merged error: 0.0b

Counts
44 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

1.7b
(- (pow (+ x (cos y)) 3) (* (* (pow z 2) (pow (sin y) 2)) (* z (sin y))))
4.5b
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
7.7b
(* (pow z 2) (pow (sin y) 2))
29.6b
(/ (- (pow (+ x (cos y)) 3) (* (* (pow z 2) (pow (sin y) 2)) (* z (sin y)))) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
33×sqr-pow
28×prod-diff
26×associate-*l*
22×unpow2
15×unpow3
14×unswap-sqr
10×associate-*r*
7×*-commutative
2×difference-cubes pow-to-exp flip3-- fma-neg pow3 flip-- associate-/l/
1×sub-neg frac-2neg div-sub pow-prod-down prod-exp clear-num fma-udef div-inv associate-/l*
Counts
4 → 54
Calls
4 calls:
13.0ms
(- (pow (+ x (cos y)) 3) (* (* (pow z 2) (pow (sin y) 2)) (* z (sin y))))
1.0ms
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
5.0ms
(* (pow z 2) (pow (sin y) 2))
16.0ms
(/ (- (pow (+ x (cos y)) 3) (* (* (pow z 2) (pow (sin y) 2)) (* z (sin y)))) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

series605.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(- (pow (+ x (cos y)) 3) (* (* (pow z 2) (pow (sin y) 2)) (* z (sin y))))
104.0ms
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
64.0ms
(* (pow z 2) (pow (sin y) 2))
282.0ms
(/ (- (pow (+ x (cos y)) 3) (* (* (pow z 2) (pow (sin y) 2)) (* z (sin y)))) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

simplify87.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
05451183
12042768
25002752

prune162.0ms

Filtered
66 candidates to 30 candidates (45.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New65166
Fresh000
Picked011
Done112
Total66369

Merged error: 0.0b

Counts
69 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

4.5b
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
9.0b
(* (pow z 2) (pow (sin y) 3))
12.3b
(/ (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))) (* (pow z 2) (pow (sin y) 3)))
21.0b
(/ (pow (+ x (cos y)) 3) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
11×sqr-pow
8×associate-/r*
4×associate-*r* associate-*l* unpow2 unswap-sqr
3×unpow3
2×pow-to-exp frac-2neg clear-num *-commutative div-inv associate-/l*
1×prod-exp fma-udef
Counts
4 → 25
Calls
4 calls:
1.0ms
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
5.0ms
(* (pow z 2) (pow (sin y) 3))
4.0ms
(/ (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))) (* (pow z 2) (pow (sin y) 3)))
4.0ms
(/ (pow (+ x (cos y)) 3) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

series535.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y))))
57.0ms
(* (pow z 2) (pow (sin y) 3))
163.0ms
(/ (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))) (* (pow z 2) (pow (sin y) 3)))
225.0ms
(/ (pow (+ x (cos y)) 3) (fma (sin y) (* z (fma (sin y) z (+ x (cos y)))) (* (+ x (cos y)) (+ x (cos y)))))

simplify119.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 3 (114.0ms)

IterNodesCost
0210361
1776357
24304352
35001347

prune157.0ms

Filtered
37 candidates to 31 candidates (83.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New36137
Fresh000
Picked011
Done112
Total37340

Merged error: 0.0b

Counts
40 → 3

regimes98.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0105
1105

end0.0ms

sample1.3s

Algorithm
intervals
Results
437.0ms1000×body1280valid
311.0ms5555×body80valid
223.0ms812×body640valid
78.0ms428×body320valid
25.0ms205×body160valid