Details

Time bar (total: 2.4s)

sample30.0ms

Algorithm
intervals
Results
11.0ms262×body80valid

simplify50.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
0524817

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 7.1b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* t z) x)
0.5b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.6b
(/ (- (* y z) x) (- (* t z) x))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity
25×times-frac
21×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
7×add-exp-log associate-/r* add-cbrt-cube associate-/l*
5×add-log-exp
4×associate-/r/ associate-/l/
3×pow1 flip3-- div-sub flip--
2×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv
1×associate-+r- sub-neg diff-log
Counts
3 → 85
Calls
3 calls:
3.0ms
(- (* t z) x)
13.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.0ms
(/ (- (* y z) x) (- (* t z) x))

series58.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(- (* t z) x)
35.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
17.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify46.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
056351671

prune128.0ms

Filtered
71 candidates to 94 candidates (-32.4%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New87794
Fresh000
Picked101
Done000
Total88795

Merged error: 0.5b

Counts
95 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (+ x (* y (/ z (- (* z t) x)))) (+ x 1.0))
3.1b
(* y (/ z (- (* z t) x)))
8.0b
(/ z (- (* z t) x))
17.3b
(/ x (* (- (* z t) x) (+ x 1.0)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
36×add-sqr-sqrt
34×times-frac
31×add-cube-cbrt
18×add-exp-log add-cbrt-cube
15×associate-*r*
14×associate-/r/
9×associate-/l*
8×associate-/r*
6×pow1
5×cbrt-undiv flip3-- flip3-+ div-exp flip-- flip-+
4×frac-times div-inv distribute-lft-out add-log-exp
3×frac-2neg associate-*r/ associate-*l* prod-exp clear-num cbrt-unprod
2×associate-*l/ associate-/l/ unswap-sqr
1×pow-prod-down *-commutative
Counts
4 → 127
Calls
4 calls:
6.0ms
(/ (+ x (* y (/ z (- (* z t) x)))) (+ x 1.0))
8.0ms
(* y (/ z (- (* z t) x)))
5.0ms
(/ z (- (* z t) x))
9.0ms
(/ x (* (- (* z t) x) (+ x 1.0)))

series63.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(/ (+ x (* y (/ z (- (* z t) x)))) (+ x 1.0))
15.0ms
(* y (/ z (- (* z t) x)))
8.0ms
(/ z (- (* z t) x))
18.0ms
(/ x (* (- (* z t) x) (+ x 1.0)))

simplify30.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
050641934

prune166.0ms

Filtered
108 candidates to 139 candidates (-28.7%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1381139
Fresh156
Picked011
Done000
Total1397146

Merged error: 0.5b

Counts
146 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* z t) x)
0.1b
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x)))))
0.6b
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x))))
8.6b
(/ (- (* y z) x) (- (* z t) x))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
165×*-un-lft-identity
155×times-frac
81×add-sqr-sqrt add-cube-cbrt
42×distribute-lft-out
29×associate-/r*
19×add-exp-log
13×associate-/r/ add-cbrt-cube
10×associate-/l*
9×div-exp
7×div-inv
6×flip3-+ flip-+ add-log-exp
5×pow1 cbrt-undiv
4×associate-/l/
3×flip3-- frac-2neg clear-num flip--
2×rec-exp 1-exp
1×sub-neg pow-flip diff-log div-sub inv-pow
Counts
4 → 196
Calls
4 calls:
3.0ms
(- (* z t) x)
16.0ms
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x)))))
16.0ms
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x))))
8.0ms
(/ (- (* y z) x) (- (* z t) x))

series87.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(- (* z t) x)
36.0ms
(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x)))))
28.0ms
(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* z t) x))))
17.0ms
(/ (- (* y z) x) (- (* z t) x))

simplify78.0ms

Algorithm
egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
051494859

prune184.0ms

Filtered
119 candidates to 208 candidates (-74.8%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New2080208
Fresh055
Picked011
Done011
Total2087215

Merged error: 0.5b

Counts
215 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (+ x 1.0))
0.0b
(- (* t z) x)
0.6b
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
8.6b
(/ (- (* y z) x) (- (* t z) x))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
37×add-sqr-sqrt
35×times-frac
30×add-cube-cbrt
19×add-exp-log
18×associate-*r*
13×add-cbrt-cube
8×distribute-lft-out
7×pow1 associate-/r*
6×associate-/r/ associate-/l* add-log-exp
5×div-exp
4×flip3-+ associate-*l* prod-exp flip-+
3×cbrt-undiv flip3-- flip-- div-inv unswap-sqr
2×frac-times rec-exp frac-2neg 1-exp associate-*l/ clear-num cbrt-unprod associate-/l/
1×sub-neg pow-flip diff-log div-sub associate-*r/ pow-prod-down un-div-inv *-commutative inv-pow
Counts
4 → 127
Calls
4 calls:
5.0ms
(/ 1 (+ x 1.0))
3.0ms
(- (* t z) x)
18.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
9.0ms
(/ (- (* y z) x) (- (* t z) x))

series62.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(/ 1 (+ x 1.0))
6.0ms
(- (* t z) x)
37.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
17.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify60.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
051291941

prune129.0ms

Filtered
96 candidates to 139 candidates (-44.8%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1390139
Fresh044
Picked011
Done022
Total1397146

Merged error: 0.5b

Counts
146 → 7

regimes266.0ms

Accuracy

0% (2.2b remaining)

Error of 2.5b against oracle of 0.3b and baseline of 2.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02027
12027

end0.0ms

sample733.0ms

Algorithm
intervals
Results
384.0ms8372×body80valid

Profiling

Loading profile data...