Details

Time bar (total: 12.0s)

sample110.0ms

Algorithm
intervals
Results
45.0ms550×body80valid

simplify145.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06615
120414
263114
3146814
4246414
5390914
6500114

prune19.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 6.4b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.4b
(* (* x 18.0) y)
3.1b
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
5.9b
(* (* (* x 18.0) y) z)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
11×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
5.0ms
(* (* j 27.0) k)
5.0ms
(* (* x 18.0) y)
9.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
7.0ms
(* (* (* x 18.0) y) z)

series216.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (* j 27.0) k)
27.0ms
(* (* x 18.0) y)
139.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
30.0ms
(* (* (* x 18.0) y) z)

simplify65.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0406472
12141393
25002393

prune477.0ms

Filtered
93 candidates to 53 candidates (43.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New821193
Fresh000
Picked101
Done000
Total831194

Merged error: 2.0b

Counts
94 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
13×add-log-exp
12×pow-prod-down prod-exp cbrt-unprod
9×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity associate-*r*
6×associate-*r/
5×sub-neg flip3-- associate-*l* flip--
4×distribute-rgt-in associate-+l+ distribute-lft-in frac-add sum-log
3×*-commutative
2×associate-+r+ diff-log
1×+-commutative associate-+r- flip3-+ flip-+ unswap-sqr
Counts
4 → 88
Calls
4 calls:
14.0ms
(+ (* t (- (* (* x 18.0) (* y z)) (* a 4.0))) (- (* b c) (+ (* (* x 4.0) i) (* (* j 27.0) k))))
5.0ms
(* (* j 27.0) k)
9.0ms
(* t (- (* (* x 18.0) (* y z)) (* a 4.0)))
6.0ms
(* (* x 18.0) (* y z))

series3.0s

Counts
4 → 12
Calls
4 calls:
2.9s
(+ (* t (- (* (* x 18.0) (* y z)) (* a 4.0))) (- (* b c) (+ (* (* x 4.0) i) (* (* j 27.0) k))))
22.0ms
(* (* j 27.0) k)
130.0ms
(* t (- (* (* x 18.0) (* y z)) (* a 4.0)))
34.0ms
(* (* x 18.0) (* y z))

simplify94.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
06371058
13108967
25001967

prune430.0ms

Filtered
100 candidates to 57 candidates (43.0%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New982100
Fresh2810
Picked011
Done000
Total10011111

Merged error: 2.0b

Counts
111 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* 18.0 (* y z))
3.1b
(* t (- (* x (* 18.0 (* y z))) (* a 4.0)))
4.2b
(* x (* 18.0 (* y z)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*l*
9×add-cube-cbrt *-un-lft-identity
8×associate-*r*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
5.0ms
(* (* j 27.0) k)
5.0ms
(* 18.0 (* y z))
9.0ms
(* t (- (* x (* 18.0 (* y z))) (* a 4.0)))
7.0ms
(* x (* 18.0 (* y z)))

series207.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (* j 27.0) k)
20.0ms
(* 18.0 (* y z))
135.0ms
(* t (- (* x (* 18.0 (* y z))) (* a 4.0)))
32.0ms
(* x (* 18.0 (* y z)))

simplify53.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0391470
11818391
25001391

prune657.0ms

Filtered
93 candidates to 55 candidates (40.9%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New91293
Fresh189
Picked011
Done011
Total9212104

Merged error: 2.0b

Counts
104 → 12

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.4b
(* (* 18.0 y) z)
3.1b
(* t (- (* x (* (* 18.0 y) z)) (* a 4.0)))
4.2b
(* x (* (* 18.0 y) z))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity
8×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
5.0ms
(* (* j 27.0) k)
5.0ms
(* (* 18.0 y) z)
9.0ms
(* t (- (* x (* (* 18.0 y) z)) (* a 4.0)))
6.0ms
(* x (* (* 18.0 y) z))

series210.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (* j 27.0) k)
20.0ms
(* (* 18.0 y) z)
137.0ms
(* t (- (* x (* (* 18.0 y) z)) (* a 4.0)))
31.0ms
(* x (* (* 18.0 y) z))

simplify59.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0403472
11980393
25001393

prune330.0ms

Filtered
93 candidates to 51 candidates (45.2%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New92193
Fresh279
Picked011
Done112
Total9510105

Merged error: 2.0b

Counts
105 → 10

regimes2.6s

Accuracy

31.9% (2.7b remaining)

Error of 4.9b against oracle of 2.2b and baseline of 6.1b

bsearch288.0ms

Steps
ItersRangePoint
7
2.833503171634803e-55
1.1827823758876302e-53
3.074197925341099e-55
9
-2.7132144116059675e-125
-4.332201861570274e-132
-2.8360560719581404e-129

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05525
16525
26825
36825

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.3s16273×body80valid

Profiling

Loading profile data...