Details

Time bar (total: 4.4s)

analyze661.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
7.8%92%0.2%8
16.4%83.4%0.2%9
23.8%76%0.2%10
25.1%74.7%0.2%11
38.1%59.4%2.5%12
41.8%55.3%2.9%13
46.5%50.3%3.1%14

sample24.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
3.0ms76×body80invalid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01111
11111

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.0b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
3.8b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
26×*-un-lft-identity
16×times-frac
10×associate-*r*
8×distribute-lft-out-- difference-of-squares
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
3×sub-neg associate-*r/ associate-*l*
2×flip3-- frac-sub flip--
1×distribute-rgt-in distribute-lft-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 49
Calls
2 calls:
17.0ms
(- (/ y z) (/ t (- 1.0 z)))
25.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series24.0ms

Counts
2 → 6
Calls
2 calls:
8.0ms
(- (/ y z) (/ t (- 1.0 z)))
16.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify59.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05053730

prune101.0ms

Filtered
41 candidates to 55 candidates (-34.1%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New47855
Fresh000
Picked011
Done000
Total47956

Merged error: 0.0b

Counts
56 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

1.0b
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
6.7b
(cbrt (- (/ y z) (/ t (- 1.0 z))))
6.7b
(cbrt (- (/ y z) (/ t (- 1.0 z))))
6.7b
(cbrt (- (/ y z) (/ t (- 1.0 z))))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
41×*-un-lft-identity
33×cbrt-div
30×cbrt-prod
24×times-frac
18×associate-*r/
12×distribute-lft-out-- difference-of-squares
11×flip3-- frac-sub flip--
9×pow1 add-exp-log frac-times
8×add-cube-cbrt
7×add-cbrt-cube
4×add-log-exp
3×pow1/3 associate-*l* pow-prod-down associate-*l/ prod-exp cbrt-unprod
1×associate-*r* *-commutative unswap-sqr
Counts
4 → 97
Calls
4 calls:
44.0ms
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
17.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
17.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
19.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

series161.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
36.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
41.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
36.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify65.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
053701945

prune260.0ms

Filtered
82 candidates to 109 candidates (-32.9%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1072109
Fresh077
Picked011
Done011
Total10711118

Merged error: 0.0b

Counts
118 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

3.8b
(* x (- (/ y z) (/ t (- 1.0 z))))
6.6b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.6b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.6b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
17×*-un-lft-identity
12×associate-*r/
10×associate-*r*
9×cbrt-div
8×times-frac
6×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
4×flip3-- frac-sub flip-- distribute-lft-out-- add-log-exp difference-of-squares
3×cbrt-prod pow1/3 associate-*l*
2×sub-neg
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 66
Calls
4 calls:
22.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
20.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
18.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
18.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

series189.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
58.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
57.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
59.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

simplify62.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049451119
149451119

prune184.0ms

Filtered
64 candidates to 78 candidates (-21.9%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New78078
Fresh088
Picked011
Done022
Total781189

Merged error: 0.0b

Counts
89 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.9b
(* (- (/ y z) (/ t (- 1.0 z))) (cbrt x))
2.3b
(* (* (cbrt x) (cbrt x)) (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×*-un-lft-identity
18×pow1 add-exp-log
11×associate-*l* add-cbrt-cube
10×cbrt-prod
9×add-cube-cbrt pow-prod-down prod-exp cbrt-unprod
8×times-frac
7×associate-*r*
6×associate-*l/
4×distribute-lft-out-- add-log-exp difference-of-squares
3×associate-*r/
2×flip3-- pow1/3 *-commutative frac-sub flip-- unswap-sqr
Counts
4 → 79
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
24.0ms
(* (- (/ y z) (/ t (- 1.0 z))) (cbrt x))
26.0ms
(* (* (cbrt x) (cbrt x)) (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)))

series102.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt x)
25.0ms
(cbrt x)
36.0ms
(* (- (/ y z) (/ t (- 1.0 z))) (cbrt x))
19.0ms
(* (* (cbrt x) (cbrt x)) (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)))

simplify41.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05218975

prune86.0ms

Filtered
62 candidates to 91 candidates (-46.8%)
Pruning

11 alts after pruning (7 fresh and 4 done)

PrunedKeptTotal
New90191
Fresh167
Picked011
Done033
Total9111102

Merged error: 0.0b

Counts
102 → 11

regimes732.0ms

Accuracy

93.9% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 4.3b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
043117
143117

end0.0ms

analyze694.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
7.8%92%0.2%8
16.4%83.4%0.2%9
23.8%76%0.2%10
25.1%74.7%0.2%11
38.1%59.4%2.5%12
41.8%55.3%2.9%13
46.5%50.3%3.1%14

sample607.0ms

Algorithm
intervals
Results
303.0ms8000×body80valid
69.0ms1786×body80invalid

Profiling

Loading profile data...