Details

Time bar (total: 7.1s)

sample112.0ms

Algorithm
intervals
Results
51.0ms596×body80valid

simplify313.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (312.0ms)

IterNodesCost
0495529
1495529

prune12.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: 13.0b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c z) (* i a))
5.1b
(* j (- (* c t) (* i y)))
5.3b
(* b (- (* c z) (* i a)))
5.9b
(* x (- (* y z) (* t a)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
7×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×flip3-- flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 84
Calls
4 calls:
4.0ms
(- (* c z) (* i a))
6.0ms
(* j (- (* c t) (* i y)))
6.0ms
(* b (- (* c z) (* i a)))
6.0ms
(* x (- (* y z) (* t a)))

series68.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* c z) (* i a))
18.0ms
(* j (- (* c t) (* i y)))
18.0ms
(* b (- (* c z) (* i a)))
20.0ms
(* x (- (* y z) (* t a)))

simplify45.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049261007
149261007

prune224.0ms

Filtered
68 candidates to 96 candidates (-41.2%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New801696
Fresh000
Picked101
Done000
Total811697

Merged error: 4.5b

Counts
97 → 16

localize22.0ms

Local error

Found 4 expressions with local error:

4.5b
(* t (* c j))
5.1b
(* y (* i (neg j)))
5.3b
(* b (- (* c z) (* i a)))
5.9b
(* x (- (* y z) (* t a)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- distribute-rgt-neg-out flip-- unswap-sqr
Counts
4 → 85
Calls
4 calls:
5.0ms
(* t (* c j))
5.0ms
(* y (* i (neg j)))
7.0ms
(* b (- (* c z) (* i a)))
8.0ms
(* x (- (* y z) (* t a)))

series49.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* t (* c j))
6.0ms
(* y (* i (neg j)))
18.0ms
(* b (- (* c z) (* i a)))
18.0ms
(* x (- (* y z) (* t a)))

simplify35.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
05043830

prune200.0ms

Filtered
62 candidates to 97 candidates (-56.5%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New91697
Fresh41115
Picked101
Done000
Total9617113

Merged error: 4.1b

Counts
113 → 17

localize26.0ms

Local error

Found 4 expressions with local error:

2.8b
(* (* (cbrt t) (cbrt t)) (* c (* j (cbrt t))))
5.1b
(* y (* i (neg j)))
5.3b
(* b (- (* c z) (* i a)))
5.9b
(* x (- (* y z) (* t a)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
26×add-cbrt-cube
20×pow-prod-down prod-exp cbrt-unprod
13×add-sqr-sqrt
10×associate-*l*
9×add-cube-cbrt *-un-lft-identity
8×associate-*r*
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- distribute-rgt-neg-out flip-- unswap-sqr
Counts
4 → 95
Calls
4 calls:
12.0ms
(* (* (cbrt t) (cbrt t)) (* c (* j (cbrt t))))
5.0ms
(* y (* i (neg j)))
6.0ms
(* b (- (* c z) (* i a)))
6.0ms
(* x (- (* y z) (* t a)))

series54.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(* (* (cbrt t) (cbrt t)) (* c (* j (cbrt t))))
6.0ms
(* y (* i (neg j)))
18.0ms
(* b (- (* c z) (* i a)))
21.0ms
(* x (- (* y z) (* t a)))

simplify39.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
05114898

prune187.0ms

Filtered
62 candidates to 107 candidates (-72.6%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1070107
Fresh01616
Picked011
Done000
Total10717124

Merged error: 4.1b

Counts
124 → 17

localize28.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (* (cbrt y) (cbrt y)) (* i (* (neg j) (cbrt y))))
4.5b
(* t (* c j))
5.3b
(* b (- (* c z) (* i a)))
5.9b
(* x (- (* y z) (* t a)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
26×add-cbrt-cube
20×pow-prod-down prod-exp cbrt-unprod
13×add-sqr-sqrt
10×associate-*l*
9×add-cube-cbrt *-un-lft-identity
8×associate-*r*
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- distribute-rgt-neg-out flip-- unswap-sqr
1×distribute-lft-neg-out
Counts
4 → 95
Calls
4 calls:
12.0ms
(* (* (cbrt y) (cbrt y)) (* i (* (neg j) (cbrt y))))
5.0ms
(* t (* c j))
6.0ms
(* b (- (* c z) (* i a)))
6.0ms
(* x (- (* y z) (* t a)))

series53.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(* (* (cbrt y) (cbrt y)) (* i (* (neg j) (cbrt y))))
6.0ms
(* t (* c j))
18.0ms
(* b (- (* c z) (* i a)))
19.0ms
(* x (- (* y z) (* t a)))

simplify53.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05003908

prune85.0ms

Filtered
62 candidates to 107 candidates (-72.6%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1061107
Fresh01515
Picked101
Done011
Total10717124

Merged error: 4.1b

Counts
124 → 17

regimes1.9s

Accuracy

2.2% (8.2b remaining)

Error of 12.2b against oracle of 4.0b and baseline of 12.4b

bsearch191.0ms

Steps
ItersRangePoint
9
3.427300355730159e+22
1.2413480381779043e+28
8.216030825806673e+27
10
8.406802554396374e-209
2.8705682195382316e-196
1.1233370841637992e-208
7
-9.166636495464462e-174
-2.6959516811086054e-175
-4.346408381266666e-175

simplify19.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
0960133
1960133

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.5s19172×body80valid

Profiling

Loading profile data...