Details

Time bar (total: 24.6s)

sample74.0ms

Algorithm
intervals
Results
36.0ms527×body80valid

simplify87.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (12.0ms)

IterNodesCost
06715
122513
282312
3302812
4500112

prune19.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: 6.8b

Counts
2 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* a 4.0) t)
0.5b
(* (* x 18.0) y)
3.9b
(* (* (* x 18.0) y) z)
5.3b
(* (* (* (* x 18.0) y) z) t)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
137×associate-*l*
86×add-sqr-sqrt
38×unswap-sqr
37×pow1 add-exp-log add-cbrt-cube
33×associate-*r*
26×add-cube-cbrt *-un-lft-identity
22×pow-prod-down prod-exp cbrt-unprod
11×*-commutative
4×expm1-log1p-u log1p-expm1-u add-log-exp
Counts
4 → 175
Calls
4 calls:
8.0ms
(* (* a 4.0) t)
8.0ms
(* (* x 18.0) y)
14.0ms
(* (* (* x 18.0) y) z)
23.0ms
(* (* (* (* x 18.0) y) z) t)

series133.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (* a 4.0) t)
23.0ms
(* (* x 18.0) y)
35.0ms
(* (* (* x 18.0) y) z)
52.0ms
(* (* (* (* x 18.0) y) z) t)

simplify102.0ms

Algorithm
egg-herbie
Counts
187 → 187
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
0568839
12725736
25001736

prune606.0ms

Filtered
187 candidates to 129 candidates (31.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1798187
Fresh101
Picked101
Done000
Total1818189

Merged error: 0.1b

Counts
189 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* x 18.0) z)
0.5b
(* (* a 4.0) t)
3.9b
(* (* (* x 18.0) z) t)
4.9b
(* y (* (* (* x 18.0) z) t))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
107×associate-*l*
86×add-sqr-sqrt
63×associate-*r*
38×unswap-sqr
37×pow1 add-exp-log add-cbrt-cube
26×add-cube-cbrt *-un-lft-identity
22×pow-prod-down prod-exp cbrt-unprod
11×*-commutative
4×expm1-log1p-u log1p-expm1-u add-log-exp
Counts
4 → 175
Calls
4 calls:
8.0ms
(* (* x 18.0) z)
8.0ms
(* (* a 4.0) t)
18.0ms
(* (* (* x 18.0) z) t)
24.0ms
(* y (* (* (* x 18.0) z) t))

series137.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (* x 18.0) z)
23.0ms
(* (* a 4.0) t)
39.0ms
(* (* (* x 18.0) z) t)
52.0ms
(* y (* (* (* x 18.0) z) t))

simplify101.0ms

Algorithm
egg-herbie
Counts
187 → 187
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
0589826
12973723
25001723

prune610.0ms

Filtered
187 candidates to 126 candidates (32.6%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1843187
Fresh437
Picked101
Done000
Total1896195

Merged error: 0.1b

Counts
195 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* j 27.0) k)
0.4b
(* (* x 18.0) z)
3.9b
(* (* (* x 18.0) z) t)
4.9b
(* y (* (* (* x 18.0) z) t))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
107×associate-*l*
86×add-sqr-sqrt
63×associate-*r*
38×unswap-sqr
37×pow1 add-exp-log add-cbrt-cube
26×add-cube-cbrt *-un-lft-identity
22×pow-prod-down prod-exp cbrt-unprod
11×*-commutative
4×expm1-log1p-u log1p-expm1-u add-log-exp
Counts
4 → 175
Calls
4 calls:
8.0ms
(* (* j 27.0) k)
9.0ms
(* (* x 18.0) z)
18.0ms
(* (* (* x 18.0) z) t)
24.0ms
(* y (* (* (* x 18.0) z) t))

series136.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (* j 27.0) k)
24.0ms
(* (* x 18.0) z)
38.0ms
(* (* (* x 18.0) z) t)
53.0ms
(* y (* (* (* x 18.0) z) t))

simplify99.0ms

Algorithm
egg-herbie
Counts
187 → 187
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
0597826
12992723
25001723

prune682.0ms

Filtered
187 candidates to 126 candidates (32.6%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1816187
Fresh325
Picked101
Done000
Total1858193

Merged error: 0.0b

Counts
193 → 8

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
12187×associate-*l*
10852×*-un-lft-identity
4752×distribute-lft-out--
4426×add-sqr-sqrt
4172×prod-diff
3888×associate--l+
2665×associate-*r*
2600×distribute-lft-out
2004×unswap-sqr
1622×associate-+l+
1284×add-cube-cbrt
1119×*-commutative
87×fma-neg
72×difference-of-squares
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
18×add-log-exp
8×diff-log
4×expm1-log1p-u log1p-expm1-u
3×associate--l- sub-neg
2×sum-log
1×+-commutative associate-+l- flip3-- flip--
Counts
4 → 4667
Calls
4 calls:
758.0ms
(- (- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 1) (* 4.0 t))) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
8.0ms
(* (* j 27.0) k)
8.0ms
(* (* x z) t)
23.0ms
(* (* y 18.0) (* (* x z) t))

series3.1s

Counts
4 → 12
Calls
4 calls:
3.0s
(- (- (+ (- (* (* y 18.0) (* (* x z) t)) (* (* a 1) (* 4.0 t))) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
21.0ms
(* (* j 27.0) k)
29.0ms
(* (* x z) t)
65.0ms
(* (* y 18.0) (* (* x z) t))

simplify1.2s

Algorithm
egg-herbie
Counts
4679 → 4679
Iterations

Useful iterations: 1 (102.0ms)

IterNodesCost
02339109499
1500184437

prune12.1s

Filtered
4679 candidates to 1623 candidates (65.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New467364679
Fresh527
Picked101
Done000
Total467984687

Merged error: 0b

Counts
4687 → 8

regimes936.0ms

Accuracy

51.8% (2.1b remaining)

Error of 2.2b against oracle of 0.2b and baseline of 4.4b

bsearch220.0ms

Steps
ItersRangePoint
7
5.978747331265602e-124
9.776269528210559e-123
9.108699946718539e-123
5
-7.793786551340448e+69
-2.3218240248157016e+69
-4.3664424059762735e+69

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07948
18148
28148

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s16176×body80valid