Details

Time bar (total: 7.1s)

sample116.0ms

Algorithm
intervals
Results
53.0ms624×body80valid

simplify134.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (132.0ms)

IterNodesCost
0304729
1304729

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: 11.2b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c t) (* i y))
3.9b
(* j (- (* c t) (* i y)))
4.6b
(* b (- (* c z) (* i a)))
5.5b
(* x (- (* y z) (* t a)))

rewrite21.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:
3.0ms
(- (* c t) (* i y))
5.0ms
(* j (- (* c t) (* i y)))
5.0ms
(* b (- (* c z) (* i a)))
6.0ms
(* x (- (* y z) (* t a)))

series65.0ms

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

simplify30.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050141007

prune209.0ms

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

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New811596
Fresh000
Picked101
Done000
Total821597

Merged error: 4.5b

Counts
97 → 15

localize22.0ms

Local error

Found 4 expressions with local error:

3.9b
(* j (- (* c t) (* i y)))
4.6b
(* x (* t (neg a)))
4.6b
(* b (- (* c z) (* i a)))
5.4b
(* x (* y z))

rewrite26.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:
7.0ms
(* j (- (* c t) (* i y)))
5.0ms
(* x (* t (neg a)))
6.0ms
(* b (- (* c z) (* i a)))
5.0ms
(* x (* y z))

series47.0ms

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

simplify43.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
04983830
14983830

prune196.0ms

Filtered
68 candidates to 97 candidates (-42.6%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New93497
Fresh21214
Picked101
Done000
Total9616112

Merged error: 0.8b

Counts
112 → 16

localize23.0ms

Local error

Found 4 expressions with local error:

3.7b
(* (* x y) z)
3.9b
(* j (- (* c t) (* i y)))
4.6b
(* x (* t (neg a)))
4.6b
(* b (- (* c z) (* i a)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity associate-*r* associate-*l*
8×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
(* (* x y) z)
5.0ms
(* j (- (* c t) (* i y)))
5.0ms
(* x (* t (neg a)))
6.0ms
(* b (- (* c z) (* i a)))

series49.0ms

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

simplify53.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04994831
14994831

prune234.0ms

Filtered
63 candidates to 97 candidates (-54.0%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New90797
Fresh51015
Picked101
Done000
Total9617113

Merged error: 0.8b

Counts
113 → 17

localize26.0ms

Local error

Found 4 expressions with local error:

3.0b
(* x (* y (* (cbrt z) (cbrt z))))
3.9b
(* j (- (* c t) (* i y)))
4.6b
(* x (* t (neg a)))
4.6b
(* b (- (* c z) (* i a)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1 add-exp-log
20×add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
11×pow-prod-down prod-exp cbrt-unprod
10×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 → 88
Calls
4 calls:
9.0ms
(* x (* y (* (cbrt z) (cbrt z))))
5.0ms
(* j (- (* c t) (* i y)))
5.0ms
(* x (* t (neg a)))
7.0ms
(* b (- (* c z) (* i a)))

series67.0ms

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

simplify46.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
04956938
14956938

prune84.0ms

Filtered
63 candidates to 100 candidates (-58.7%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New991100
Fresh01616
Picked101
Done000
Total10017117

Merged error: 0.8b

Counts
117 → 17

regimes2.0s

Accuracy

2.2% (10.5b remaining)

Error of 12.0b against oracle of 1.5b and baseline of 12.2b

bsearch254.0ms

Steps
ItersRangePoint
7
6.717248019099271e+146
2.1066791633873132e+148
1.4865130668714244e+148
7
3.861483283112429e-38
1.3663247193483492e-36
7.867274113144894e-38
8
-2.3689907247859273e-194
-2.1476464103732004e-197
-1.1526861879531309e-196
5
-5.273819327351604e+217
-1.5708521623658723e+217
-1.6013812807207604e+217

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0160197
1160197

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.6s19215×body80valid

Profiling

Loading profile data...