Details

Time bar (total: 21.1s)

analyze2.4s

Algorithm
search

sample79.0ms

Algorithm
intervals
Results
25.0ms256×body80valid
20.0ms241×body80invalid

simplify146.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06615
120414
263114
3146814
4246414
5390914
6500114

prune15.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: 6.4b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.5b
(* (* j 27.0) k)
5.8b
(* (* (* x 18.0) y) z)
7.7b
(* (* (* (* x 18.0) y) z) t)

rewrite30.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)
4.0ms
(* (* j 27.0) k)
7.0ms
(* (* (* x 18.0) y) z)
12.0ms
(* (* (* (* x 18.0) y) z) t)

series23.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* (* x 18.0) y)
3.0ms
(* (* j 27.0) k)
6.0ms
(* (* (* x 18.0) y) z)
10.0ms
(* (* (* (* x 18.0) y) z) t)

simplify63.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0360423
12141320
25001320

prune180.0ms

Filtered
46 candidates to 93 candidates (-102.2%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New821193
Fresh000
Picked101
Done000
Total831194

Merged error: 0.8b

Counts
94 → 11

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* x (* 18.0 y))
0.5b
(* (* j 27.0) k)
5.8b
(* (* x (* 18.0 y)) z)
7.7b
(* (* (* x (* 18.0 y)) z) t)

rewrite28.0ms

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

series25.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* x (* 18.0 y))
5.0ms
(* (* j 27.0) k)
6.0ms
(* (* x (* 18.0 y)) z)
11.0ms
(* (* (* x (* 18.0 y)) z) t)

simplify62.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0358423
11918320
25001320

prune154.0ms

Filtered
45 candidates to 93 candidates (-106.7%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New92193
Fresh1910
Picked101
Done000
Total9410104

Merged error: 0.8b

Counts
104 → 10

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.2b
(* x (* 18.0 y))
0.5b
(* (* j 27.0) k)
10.8b
(* (* x (* 18.0 y)) (* z t))

rewrite32.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))
5.0ms
(* x (* 18.0 y))
5.0ms
(* (* j 27.0) k)
8.0ms
(* (* x (* 18.0 y)) (* z t))

series141.0ms

Counts
4 → 12
Calls
4 calls:
123.0ms
(- (+ (- (* (* x (* 18.0 y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
3.0ms
(* x (* 18.0 y))
3.0ms
(* (* j 27.0) k)
11.0ms
(* (* x (* 18.0 y)) (* z t))

simplify69.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0466635
12163514
25001502

prune175.0ms

Filtered
48 candidates to 92 candidates (-91.7%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New88492
Fresh189
Picked011
Done000
Total8913102

Merged error: 0.1b

Counts
102 → 13

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.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:
11.0ms
(- (+ (- (* (* 18.0 (* x y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
5.0ms
(* 18.0 (* x y))
4.0ms
(* (* j 27.0) k)
8.0ms
(* (* 18.0 (* x y)) (* z t))

series157.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(- (+ (- (* (* 18.0 (* x y)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
3.0ms
(* 18.0 (* x y))
4.0ms
(* (* j 27.0) k)
12.0ms
(* (* 18.0 (* x y)) (* z t))

simplify72.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
0461635
12063514
25001502

prune83.0ms

Filtered
45 candidates to 92 candidates (-104.4%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New91192
Fresh11011
Picked011
Done011
Total9213105

Merged error: 0.1b

Counts
105 → 13

regimes3.3s

Accuracy

73.2% (1.6b remaining)

Error of 1.7b against oracle of 0.1b and baseline of 6.1b

bsearch9.3s

Steps
ItersRangePoint
9
1.4849012588207407e-95
2.382865383748296e-89
3.4747994957867206e-90
6
-9.357471286333912e-11
-8.971635801496874e-12
-5.363996162839849e-11

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06630
16630

end0.0ms

analyze2.2s

Algorithm
search

sample2.2s

Algorithm
intervals
Results
700.0ms8000×body80valid
685.0ms7922×body80invalid

Profiling

Loading profile data...