Details

Time bar (total: 7.8s)

sample77.0ms

Algorithm
intervals
Results
41.0ms619×body80valid

simplify84.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

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
3.6b
(* b (- (* c z) (* t i)))
4.9b
(* x (- (* y z) (* t a)))
5.9b
(* j (- (* c a) (* y i)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r/
19×flip3-- flip--
16×add-sqr-sqrt
12×frac-add
11×sub-neg
10×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in add-cbrt-cube
9×associate-*r* associate-*l* add-log-exp
8×frac-sub
6×associate-+l+
4×associate-+r+ associate--l+
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×sum-log
1×+-commutative associate-+l- flip3-+ diff-log flip-+
Counts
4 → 107
Calls
4 calls:
28.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
10.0ms
(* b (- (* c z) (* t i)))
9.0ms
(* x (- (* y z) (* t a)))
12.0ms
(* j (- (* c a) (* y i)))

series793.0ms

Counts
4 → 12
Calls
4 calls:
589.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
66.0ms
(* b (- (* c z) (* t i)))
69.0ms
(* x (- (* y z) (* t a)))
68.0ms
(* j (- (* c a) (* y i)))

simplify51.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
09611832
150011770

prune525.0ms

Filtered
119 candidates to 81 candidates (68.1%)
Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 4.1b

localize24.0ms

Local error

Found 4 expressions with local error:

4.9b
(* x (- (* y z) (* t a)))
8.1b
(cbrt (- (* c a) (* y i)))
8.1b
(cbrt (- (* c a) (* y i)))
8.1b
(cbrt (- (* c a) (* y i)))

rewrite21.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:
12.0ms
(* x (- (* y z) (* t a)))
2.0ms
(cbrt (- (* c a) (* y i)))
2.0ms
(cbrt (- (* c a) (* y i)))
2.0ms
(cbrt (- (* c a) (* y i)))

series425.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(* x (- (* y z) (* t a)))
119.0ms
(cbrt (- (* c a) (* y i)))
118.0ms
(cbrt (- (* c a) (* y i)))
116.0ms
(cbrt (- (* c a) (* y i)))

simplify108.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 3 (100.0ms)

IterNodesCost
0315590
11061543
23732525
35002519

prune445.0ms

Filtered
75 candidates to 59 candidates (78.7%)
Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 4.1b

localize30.0ms

Local error

Found 4 expressions with local error:

8.1b
(cbrt (- (* c a) (* y i)))
8.1b
(cbrt (- (* c a) (* y i)))
8.1b
(cbrt (- (* c a) (* y i)))
8.1b
(cbrt (- (* c a) (* y i)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt cbrt-div *-un-lft-identity
4×pow1 add-exp-log flip3-- pow1/3 add-cbrt-cube flip-- add-log-exp
Counts
4 → 52
Calls
4 calls:
2.0ms
(cbrt (- (* c a) (* y i)))
2.0ms
(cbrt (- (* c a) (* y i)))
3.0ms
(cbrt (- (* c a) (* y i)))
2.0ms
(cbrt (- (* c a) (* y i)))

series475.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(cbrt (- (* c a) (* y i)))
125.0ms
(cbrt (- (* c a) (* y i)))
117.0ms
(cbrt (- (* c a) (* y i)))
116.0ms
(cbrt (- (* c a) (* y i)))

simplify103.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 4 (96.0ms)

IterNodesCost
0182576
1495540
21443516
33362512
45001504

prune484.0ms

Filtered
64 candidates to 60 candidates (93.8%)
Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 4.1b

localize26.0ms

Local error

Found 4 expressions with local error:

5.9b
(* j (- (* c a) (* y i)))
6.2b
(cbrt (* x (- (* y z) (* t a))))
6.2b
(cbrt (* x (- (* y z) (* t a))))
6.2b
(cbrt (* x (- (* y z) (* t a))))

rewrite22.0ms

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

series469.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* j (- (* c a) (* y i)))
140.0ms
(cbrt (* x (- (* y z) (* t a))))
131.0ms
(cbrt (* x (- (* y z) (* t a))))
135.0ms
(cbrt (* x (- (* y z) (* t a))))

simplify111.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 3 (105.0ms)

IterNodesCost
0312542
11100489
24145480
35002477

prune363.0ms

Filtered
69 candidates to 56 candidates (81.2%)
Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 4.0b

regimes1.0s

Accuracy

64% (2.9b remaining)

Error of 7.2b against oracle of 4.2b and baseline of 12.4b

bsearch4.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06974
16974

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.2s19174×body80valid