Details

Time bar (total: 7.6s)

sample74.0ms

Algorithm
intervals
Results
37.0ms626×body80valid

simplify76.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04314
19614
229114
382514
4202114
5500114

prune7.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.6b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c t) (* i y))
4.3b
(* x (- (* y z) (* t a)))
5.3b
(* b (- (* c z) (* i a)))
6.1b
(* j (- (* c t) (* i y)))

rewrite32.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:
2.0ms
(- (* c t) (* i y))
9.0ms
(* x (- (* y z) (* t a)))
9.0ms
(* b (- (* c z) (* i a)))
9.0ms
(* j (- (* c t) (* i y)))

series233.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (* c t) (* i y))
62.0ms
(* x (- (* y z) (* t a)))
65.0ms
(* b (- (* c z) (* i a)))
66.0ms
(* j (- (* c t) (* i y)))

simplify49.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0424552
11770485
25001485

prune393.0ms

Filtered
96 candidates to 63 candidates (65.6%)
Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 8.5b

localize25.0ms

Local error

Found 4 expressions with local error:

6.1b
(* j (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y)))))
8.0b
(cbrt (- (* c t) (* i y)))
8.0b
(cbrt (- (* c t) (* i y)))
8.0b
(cbrt (- (* c t) (* i y)))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
34×associate-*r/
30×flip3-- flip--
28×frac-times
14×associate-*l/
13×pow1 add-exp-log
9×cbrt-prod add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
3×pow1/3 associate-*l*
1×associate-*r* *-commutative
Counts
4 → 86
Calls
4 calls:
100.0ms
(* j (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y)))))
2.0ms
(cbrt (- (* c t) (* i y)))
2.0ms
(cbrt (- (* c t) (* i y)))
3.0ms
(cbrt (- (* c t) (* i y)))

series404.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* j (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y)))))
111.0ms
(cbrt (- (* c t) (* i y)))
111.0ms
(cbrt (- (* c t) (* i y)))
113.0ms
(cbrt (- (* c t) (* i y)))

simplify93.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 3 (82.0ms)

IterNodesCost
04391393
111451263
237261156
350011151

prune551.0ms

Filtered
98 candidates to 72 candidates (73.5%)
Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 8.5b

localize24.0ms

Local error

Found 4 expressions with local error:

6.1b
(* (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y)))) j)
8.0b
(cbrt (- (* c t) (* i y)))
8.0b
(cbrt (- (* c t) (* i y)))
8.0b
(cbrt (- (* c t) (* i y)))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
40×associate-*l/
30×flip3-- flip--
28×frac-times
13×pow1 add-exp-log
9×cbrt-prod add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r/
6×pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
3×pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 86
Calls
4 calls:
120.0ms
(* (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y)))) j)
2.0ms
(cbrt (- (* c t) (* i y)))
2.0ms
(cbrt (- (* c t) (* i y)))
2.0ms
(cbrt (- (* c t) (* i y)))

series395.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* (* (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y)))) j)
119.0ms
(cbrt (- (* c t) (* i y)))
109.0ms
(cbrt (- (* c t) (* i y)))
112.0ms
(cbrt (- (* c t) (* i y)))

simplify108.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 3 (95.0ms)

IterNodesCost
04381389
113111215
249931109
350011105

prune575.0ms

Filtered
98 candidates to 72 candidates (73.5%)
Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 8.5b

localize25.0ms

Local error

Found 4 expressions with local error:

5.3b
(* b (- (* c z) (* i a)))
8.0b
(cbrt (- (* c t) (* i y)))
8.0b
(cbrt (- (* c t) (* i y)))
8.0b
(cbrt (- (* c t) (* i y)))

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:
13.0ms
(* b (- (* c z) (* i a)))
2.0ms
(cbrt (- (* c t) (* i y)))
2.0ms
(cbrt (- (* c t) (* i y)))
2.0ms
(cbrt (- (* c t) (* i y)))

series417.0ms

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

simplify103.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0313590
11049543
23716525
35002519

prune385.0ms

Filtered
75 candidates to 59 candidates (78.7%)
Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 8.5b

regimes1.1s

Accuracy

6.3% (3.6b remaining)

Error of 11.8b against oracle of 8.2b and baseline of 12.1b

bsearch197.0ms

Steps
ItersRangePoint
10
1.1413410681631322e-160
5.243224992528794e-147
1.3642314952177591e-148
6
-4.0071389856522956e-194
-6.712378175575802e-195
-1.5254035243386328e-194

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05746
15746

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s19144×body80valid