Details

Time bar (total: 6.6s)

sample73.0ms

Algorithm
intervals
Results
27.0ms484×body80valid

simplify168.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (166.0ms)

IterNodesCost
0506819

prune17.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.6b

Counts
2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* b c))
0.0b
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
0.6b
(* (+ a (* b c)) i)
4.9b
(* c (* (+ a (* b c)) i))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1 add-exp-log add-cbrt-cube add-log-exp
9×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×flip3-+ associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod flip-+
3×sum-log
2×+-commutative associate-+r+ associate-*r/ *-commutative
1×associate-+r- sub-neg diff-log unswap-sqr
Counts
4 → 66
Calls
4 calls:
3.0ms
(+ a (* b c))
9.0ms
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
5.0ms
(* (+ a (* b c)) i)
7.0ms
(* c (* (+ a (* b c)) i))

series349.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(+ a (* b c))
317.0ms
(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
12.0ms
(* (+ a (* b c)) i)
14.0ms
(* c (* (+ a (* b c)) i))

simplify31.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
05095866

prune145.0ms

Filtered
60 candidates to 78 candidates (-30.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New70878
Fresh011
Picked011
Done000
Total701080

Merged error: 0.5b

Counts
80 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt c)
0.6b
(cbrt c)
1.6b
(* (+ a (* c b)) (* i (cbrt c)))
2.8b
(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log
21×add-cbrt-cube
18×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-prod
4×associate-*l* associate-*l/ add-log-exp
2×flip3-+ pow1/3 associate-*r/ associate-*r* *-commutative flip-+
Counts
4 → 72
Calls
4 calls:
1.0ms
(cbrt c)
1.0ms
(cbrt c)
7.0ms
(* (+ a (* c b)) (* i (cbrt c)))
15.0ms
(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

series122.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt c)
22.0ms
(cbrt c)
58.0ms
(* (+ a (* c b)) (* i (cbrt c)))
19.0ms
(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

simplify47.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
04944684
14944684

prune126.0ms

Filtered
52 candidates to 84 candidates (-61.5%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New83184
Fresh088
Picked011
Done011
Total831194

Merged error: 0.5b

Counts
94 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
0.0b
(+ (* x y) (* z t))
0.1b
(* (+ a (* b c)) c)
8.2b
(* (* (+ a (* b c)) c) i)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
14×associate-*l/
11×pow1 add-exp-log add-cbrt-cube add-log-exp
9×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity flip3-+ flip-+
6×associate-*r*
4×associate-*l* pow-prod-down prod-exp frac-sub cbrt-unprod
2×diff-log sum-log *-commutative
1×+-commutative sub-neg flip3-- associate--l+ flip-- unswap-sqr
Counts
4 → 69
Calls
4 calls:
8.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
4.0ms
(+ (* x y) (* z t))
7.0ms
(* (+ a (* b c)) c)
7.0ms
(* (* (+ a (* b c)) c) i)

series408.0ms

Counts
4 → 12
Calls
4 calls:
369.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
10.0ms
(+ (* x y) (* z t))
12.0ms
(* (+ a (* b c)) c)
17.0ms
(* (* (+ a (* b c)) c) i)

simplify25.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
051641215

prune137.0ms

Filtered
60 candidates to 81 candidates (-35.0%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New77481
Fresh448
Picked011
Done112
Total821092

Merged error: 0.5b

Counts
92 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* b c))
0.0b
(+ (* x y) (* z t))
0.0b
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
4.4b
(* (+ a (* b c)) (* c i))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
9×pow1 add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×associate-*l/
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×frac-sub
3×associate-*l* pow-prod-down prod-exp sum-log cbrt-unprod
2×+-commutative diff-log
1×sub-neg flip3-- associate-*r* associate--l+ *-commutative flip--
Counts
4 → 60
Calls
4 calls:
3.0ms
(+ a (* b c))
4.0ms
(+ (* x y) (* z t))
8.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
6.0ms
(* (+ a (* b c)) (* c i))

series397.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(+ a (* b c))
10.0ms
(+ (* x y) (* z t))
362.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
19.0ms
(* (+ a (* b c)) (* c i))

simplify25.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 0 (16.0ms)

IterNodesCost
053221129

prune77.0ms

Filtered
54 candidates to 72 candidates (-33.3%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New72072
Fresh077
Picked011
Done022
Total721082

Merged error: 0.5b

Counts
82 → 10

regimes2.3s

Accuracy

0% (1.0b remaining)

Error of 1.9b against oracle of 0.9b and baseline of 1.9b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09419
19419

end0.0ms

sample2.0s

Algorithm
intervals
Results
850.0ms15223×body80valid

Profiling

Loading profile data...