Details

Time bar (total: 7.5s)

sample86.0ms

Algorithm
intervals
Results
50.0ms603×body80valid

simplify82.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04314
19614
229114
382514
4202114
5500114

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 15.1b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c a) (* y i))
6.1b
(* j (- (* c a) (* y i)))
7.0b
(* x (- (* y z) (* t a)))
7.2b
(* b (- (* c z) (* t i)))

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

series233.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(- (* c a) (* y i))
66.0ms
(* j (- (* c a) (* y i)))
67.0ms
(* x (- (* y z) (* t a)))
64.0ms
(* b (- (* c z) (* t i)))

simplify54.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0423552
11763485
25002485

prune381.0ms

Filtered
96 candidates to 63 candidates (65.6%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New781896
Fresh000
Picked101
Done000
Total791897

Merged error: 10.8b

Counts
97 → 18

localize28.0ms

Local error

Found 4 expressions with local error:

7.2b
(* b (- (* c z) (* t i)))
8.4b
(cbrt (- (* c a) (* y i)))
8.4b
(cbrt (- (* c a) (* y i)))
8.4b
(cbrt (- (* c a) (* y i)))

rewrite17.0ms

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

series413.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* b (- (* c z) (* t i)))
114.0ms
(cbrt (- (* c a) (* y i)))
114.0ms
(cbrt (- (* c a) (* y i)))
118.0ms
(cbrt (- (* c a) (* y i)))

simplify107.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 3 (99.0ms)

IterNodesCost
0312590
11048543
23779525
35001516

prune409.0ms

Filtered
75 candidates to 59 candidates (78.7%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New70575
Fresh11617
Picked101
Done000
Total722193

Merged error: 10.8b

Counts
93 → 21

localize29.0ms

Local error

Found 4 expressions with local error:

6.6b
(cbrt (* j (- (* c a) (* y i))))
6.6b
(cbrt (* j (- (* c a) (* y i))))
7.0b
(* x (- (* y z) (* t a)))
7.2b
(* b (- (* c z) (* t i)))

rewrite22.0ms

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

series412.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(cbrt (* j (- (* c a) (* y i))))
143.0ms
(cbrt (* j (- (* c a) (* y i))))
69.0ms
(* x (- (* y z) (* t a)))
65.0ms
(* b (- (* c z) (* t i)))

simplify51.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0437572
11642510
25001504

prune414.0ms

Filtered
82 candidates to 60 candidates (73.2%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New79382
Fresh11920
Picked101
Done000
Total8122103

Merged error: 10.8b

Counts
103 → 22

localize38.0ms

Local error

Found 4 expressions with local error:

6.6b
(cbrt (* j (- (* c a) (* y i))))
7.0b
(* x (- (* y z) (* t a)))
7.2b
(* b (- (* c z) (* t i)))
8.4b
(cbrt (- (* c a) (* y i)))

rewrite22.0ms

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

series395.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(cbrt (* j (- (* c a) (* y i))))
71.0ms
(* x (- (* y z) (* t a)))
70.0ms
(* b (- (* c z) (* t i)))
120.0ms
(cbrt (- (* c a) (* y i)))

simplify54.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0513588
11830528
25001518

prune377.0ms

Filtered
84 candidates to 62 candidates (73.8%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New81384
Fresh31821
Picked101
Done000
Total8521106

Merged error: 10.8b

Counts
106 → 21

regimes1.1s

Accuracy

6.6% (3.9b remaining)

Error of 12.9b against oracle of 9.0b and baseline of 13.1b

bsearch232.0ms

Steps
ItersRangePoint
10
3.6044160200367015e-287
2.074288821134371e-276
4.18635790143744e-279
8
-5.037391718985994e-189
-8.60336956689399e-194
-5.254048315084634e-193

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05639
16239
26239

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.6s19088×body80valid

Profiling

Loading profile data...