Details

Time bar (total: 3.3s)

sample29.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify43.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
0513013

prune15.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ z y) (/ t (* 2.0 z)))
1.3b
(/ -1 (- (/ z y) (/ t (* 2.0 z))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
23×*-un-lft-identity times-frac
13×add-cube-cbrt
10×difference-of-squares
6×associate-/r*
5×distribute-lft-out--
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r/ associate-/l*
2×pow1 flip3-- frac-sub flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num div-inv
Counts
2 → 58
Calls
2 calls:
10.0ms
(- (/ z y) (/ t (* 2.0 z)))
12.0ms
(/ -1 (- (/ z y) (/ t (* 2.0 z))))

series16.0ms

Counts
2 → 6
Calls
2 calls:
7.0ms
(- (/ z y) (/ t (* 2.0 z)))
9.0ms
(/ -1 (- (/ z y) (/ t (* 2.0 z))))

simplify40.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
049531021
149531021

prune122.0ms

Filtered
50 candidates to 64 candidates (-28.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New60464
Fresh011
Picked011
Done000
Total60666

Merged error: 0.0b

Counts
66 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))))
17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))
17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))
17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
33×cbrt-div
24×add-sqr-sqrt
18×cbrt-prod
15×add-exp-log *-un-lft-identity associate-/r/
12×pow1
11×flip3-- frac-sub flip--
9×frac-times add-cube-cbrt pow-flip pow1/3
7×add-cbrt-cube
6×times-frac difference-of-squares
4×div-exp add-log-exp
3×associate-*r/ associate-*l/ prod-exp associate-/l* distribute-lft-out--
2×cbrt-undiv rec-exp 1-exp pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-2neg pow-plus clear-num associate-/r* cbrt-unprod div-inv inv-pow
Counts
4 → 101
Calls
4 calls:
27.0ms
(/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))))
10.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
10.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
10.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))

series112.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))))
24.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
24.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
28.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))

simplify46.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
053661800

prune272.0ms

Filtered
83 candidates to 113 candidates (-36.1%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1112113
Fresh044
Picked011
Done011
Total1118119

Merged error: 0.0b

Counts
119 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))
17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))
17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))
17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×cbrt-prod
16×*-un-lft-identity
12×cbrt-div
8×add-cube-cbrt difference-of-squares
4×pow1 add-exp-log flip3-- times-frac pow1/3 frac-sub add-cbrt-cube flip-- distribute-lft-out-- add-log-exp
Counts
4 → 68
Calls
4 calls:
10.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
10.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
10.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
12.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))

series100.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
27.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
24.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
25.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))

simplify49.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
052231272

prune333.0ms

Filtered
68 candidates to 80 candidates (-17.6%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New80080
Fresh055
Picked011
Done022
Total80888

Merged error: 0.0b

Counts
88 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (pow (* (- (/ z y) (/ t (* z 2.0))) (- (/ z y) (/ t (* z 2.0)))) -1/3) (/ -1 (cbrt (- (/ z y) (/ t (* z 2.0))))))
0.3b
(/ -1 (cbrt (- (/ z y) (/ t (* z 2.0)))))
17.2b
(cbrt (- (/ z y) (/ t (* z 2.0))))
36.3b
(pow (* (- (/ z y) (/ t (* z 2.0))) (- (/ z y) (/ t (* z 2.0)))) -1/3)

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
99×add-sqr-sqrt
68×times-frac
57×*-un-lft-identity
51×cbrt-prod
41×add-cube-cbrt
34×associate-*r*
29×add-exp-log
16×difference-of-squares
12×pow1
11×prod-exp
9×cbrt-div associate-/r* add-cbrt-cube unswap-sqr
8×distribute-lft-out--
6×pow-pow pow-exp associate-/r/
5×unpow-prod-down div-exp associate-*l* sqr-pow
4×add-log-exp
3×pow-to-exp pow-unpow flip3-- frac-sub flip-- associate-/l*
2×cbrt-undiv cbrt-unprod div-inv
1×pow2 frac-2neg pow-plus pow1/3 associate-*r/ pow-prod-down clear-num pow-sqr *-commutative pow-prod-up
Counts
4 → 159
Calls
4 calls:
33.0ms
(* (pow (* (- (/ z y) (/ t (* z 2.0))) (- (/ z y) (/ t (* z 2.0)))) -1/3) (/ -1 (cbrt (- (/ z y) (/ t (* z 2.0))))))
13.0ms
(/ -1 (cbrt (- (/ z y) (/ t (* z 2.0)))))
10.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
24.0ms
(pow (* (- (/ z y) (/ t (* z 2.0))) (- (/ z y) (/ t (* z 2.0)))) -1/3)

series99.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(* (pow (* (- (/ z y) (/ t (* z 2.0))) (- (/ z y) (/ t (* z 2.0)))) -1/3) (/ -1 (cbrt (- (/ z y) (/ t (* z 2.0))))))
31.0ms
(/ -1 (cbrt (- (/ z y) (/ t (* z 2.0)))))
24.0ms
(cbrt (- (/ z y) (/ t (* z 2.0))))
33.0ms
(pow (* (- (/ z y) (/ t (* z 2.0))) (- (/ z y) (/ t (* z 2.0)))) -1/3)

simplify50.0ms

Algorithm
egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
051294373

prune440.0ms

Filtered
134 candidates to 171 candidates (-27.6%)
Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New1710171
Fresh044
Picked011
Done033
Total1718179

Merged error: 0.0b

Counts
179 → 8

regimes463.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01413
11413

end0.0ms

sample807.0ms

Algorithm
intervals
Results
410.0ms8000×body80valid

Profiling

Loading profile data...