Details

Time bar (total: 6.9s)

sample80.0ms

Algorithm
intervals
Results
44.0ms506×body80valid

simplify140.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06615
120414
263114
3146814
4246414
5390914
6500114

prune13.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 7.4b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.3b
(* (* j 27.0) k)
5.2b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 81
Calls
4 calls:
5.0ms
(* (* x 18.0) y)
5.0ms
(* (* j 27.0) k)
7.0ms
(* (* (* x 18.0) y) z)
9.0ms
(* (* (* (* x 18.0) y) z) t)

series109.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* (* x 18.0) y)
17.0ms
(* (* j 27.0) k)
26.0ms
(* (* (* x 18.0) y) z)
46.0ms
(* (* (* (* x 18.0) y) z) t)

simplify69.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0360423
12141320
25001320

prune270.0ms

Filtered
93 candidates to 46 candidates (49.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New86793
Fresh000
Picked101
Done000
Total87794

Merged error: 1.2b

Counts
94 → 7

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
0.2b
(* (* x 18.0) y)
0.3b
(* (* j 27.0) k)
11.7b
(* (* (* x 18.0) y) (* z t))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
13×add-log-exp
7×associate-*r*
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×diff-log
3×associate-*l* *-commutative
2×sum-log
1×associate--l- associate-+l- sub-neg flip3-- associate--l+ flip--
Counts
4 → 80
Calls
4 calls:
12.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
5.0ms
(* (* x 18.0) y)
5.0ms
(* (* j 27.0) k)
9.0ms
(* (* (* x 18.0) y) (* z t))

series469.0ms

Counts
4 → 12
Calls
4 calls:
385.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
19.0ms
(* (* x 18.0) y)
16.0ms
(* (* j 27.0) k)
48.0ms
(* (* (* x 18.0) y) (* z t))

simplify68.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
0466635
12294514
25002502

prune270.0ms

Filtered
92 candidates to 48 candidates (52.2%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New88492
Fresh156
Picked101
Done000
Total90999

Merged error: 0.0b

Counts
99 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
0.3b
(* (* j 27.0) k)
4.4b
(* y (* z t))
4.9b
(* (* x 18.0) (* y (* z t)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
13×add-log-exp
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×associate-*r* associate-*l*
4×diff-log
3×*-commutative
2×sum-log
1×associate--l- associate-+l- sub-neg flip3-- associate--l+ flip--
Counts
4 → 80
Calls
4 calls:
12.0ms
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
4.0ms
(* (* j 27.0) k)
5.0ms
(* y (* z t))
9.0ms
(* (* x 18.0) (* y (* z t)))

series467.0ms

Counts
4 → 12
Calls
4 calls:
388.0ms
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
16.0ms
(* (* j 27.0) k)
21.0ms
(* y (* z t))
42.0ms
(* (* x 18.0) (* y (* z t)))

simplify67.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0457632
12112514
25001507

prune258.0ms

Filtered
92 candidates to 50 candidates (54.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New92092
Fresh088
Picked011
Done000
Total929101

Merged error: 0.0b

Counts
101 → 9

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (- (* (pow (* 18.0 (* x y)) 1) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
0.2b
(* 18.0 (* x y))
0.3b
(* (* j 27.0) k)
11.7b
(* (pow (* 18.0 (* x y)) 1) (* z t))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
43×add-exp-log
27×prod-exp
19×add-cbrt-cube
17×pow1
13×add-log-exp
9×associate-*l* pow-prod-down cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow-exp
5×associate-*r*
4×diff-log
3×*-commutative
2×pow-to-exp sum-log
1×associate--l- associate-+l- sub-neg unpow-prod-down flip3-- associate--l+ flip-- sqr-pow
Counts
4 → 80
Calls
4 calls:
10.0ms
(- (+ (- (* (pow (* 18.0 (* x y)) 1) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
5.0ms
(* 18.0 (* x y))
5.0ms
(* (* j 27.0) k)
7.0ms
(* (pow (* 18.0 (* x y)) 1) (* z t))

series463.0ms

Counts
4 → 12
Calls
4 calls:
380.0ms
(- (+ (- (* (pow (* 18.0 (* x y)) 1) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
19.0ms
(* 18.0 (* x y))
21.0ms
(* (* j 27.0) k)
42.0ms
(* (pow (* 18.0 (* x y)) 1) (* z t))

simplify64.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
0474634
12085548
25002530

prune265.0ms

Filtered
92 candidates to 52 candidates (56.5%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New92092
Fresh077
Picked011
Done011
Total929101

Merged error: 0.0b

Counts
101 → 9

regimes1.3s

Accuracy

81.7% (1.0b remaining)

Error of 1.1b against oracle of 0.1b and baseline of 5.4b

bsearch3.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07254
17254

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.4s16113×body80valid