Details

Time bar (total: 5.2s)

sample24.0ms

Algorithm
intervals
Results
11.0ms354×body80valid

simplify125.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0144
1273
2623
31123
41703
52133
62603
74503
88453
915323
1031383
1145873
1250013

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 2.5b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y x) (/ z t)))
8.0b
(* (- y x) (/ z t))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×*-un-lft-identity associate-*r*
11×add-cube-cbrt
10×times-frac
7×add-exp-log add-cbrt-cube
5×associate-*l*
4×pow1 add-log-exp
3×fma-def
2×expm1-log1p-u frac-times flip3-- associate-*l/ prod-exp flip-- cbrt-unprod log1p-expm1-u unswap-sqr
1×cbrt-undiv +-commutative flip3-+ associate-*r/ div-exp pow-prod-down sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 56
Calls
2 calls:
4.0ms
(+ x (* (- y x) (/ z t)))
13.0ms
(* (- y x) (/ z t))

series85.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(+ x (* (- y x) (/ z t)))
46.0ms
(* (- y x) (/ z t))

simplify50.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0306327
11283301
25002286

prune147.0ms

Filtered
62 candidates to 47 candidates (75.8%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New53962
Fresh000
Picked011
Done000
Total531063

Merged error: 0.0b

Counts
63 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

7.3b
(cbrt (* (- y x) (/ z t)))
8.0b
(* (- y x) (/ z t))
8.0b
(* (- y x) (/ z t))
8.0b
(* (- y x) (/ z t))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
39×associate-*r*
34×*-un-lft-identity
30×times-frac
28×add-cube-cbrt
19×add-exp-log add-cbrt-cube
15×associate-*l*
10×pow1
8×frac-times flip3-- associate-*l/ flip--
6×prod-exp cbrt-unprod unswap-sqr
5×cbrt-div
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- difference-of-squares
1×cbrt-prod pow1/3
Counts
4 → 136
Calls
4 calls:
6.0ms
(cbrt (* (- y x) (/ z t)))
10.0ms
(* (- y x) (/ z t))
11.0ms
(* (- y x) (/ z t))
10.0ms
(* (- y x) (/ z t))

series291.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(cbrt (* (- y x) (/ z t)))
48.0ms
(* (- y x) (/ z t))
47.0ms
(* (- y x) (/ z t))
46.0ms
(* (- y x) (/ z t))

simplify58.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0383832
11502760
25002740

prune380.0ms

Filtered
148 candidates to 111 candidates (75.0%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1480148
Fresh088
Picked011
Done011
Total14810158

Merged error: 0.0b

Counts
158 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
5.5b
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
30×times-frac
25×add-exp-log
24×*-un-lft-identity
22×add-cube-cbrt associate-*r*
20×cbrt-prod
18×add-cbrt-cube
9×associate-*l*
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative distribute-lft-out-- difference-of-squares
Counts
4 → 102
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
17.0ms
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

series654.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(cbrt t)
185.0ms
(cbrt t)
182.0ms
(cbrt t)
88.0ms
(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

simplify65.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0459851
12238696
25001661

prune287.0ms

Filtered
114 candidates to 91 candidates (79.8%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New1131114
Fresh077
Picked011
Done022
Total11311124

Merged error: 0b

Counts
124 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.9b
(* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t)))
1.2b
(* (/ (* (cbrt (- y x)) (cbrt (- y x))) (cbrt t)) (* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
115×add-sqr-sqrt
94×times-frac
89×cbrt-prod
85×add-exp-log
63×*-un-lft-identity
62×associate-*l*
51×add-cube-cbrt
41×add-cbrt-cube
36×prod-exp cbrt-unprod
26×cbrt-undiv div-exp
23×associate-*r*
15×unswap-sqr
11×pow1
6×frac-times associate-*r/ distribute-lft-out-- difference-of-squares
4×expm1-log1p-u pow-prod-down associate-*l/ log1p-expm1-u add-log-exp
3×div-inv
2×pow1/3 *-commutative
Counts
4 → 197
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
28.0ms
(* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t)))
24.0ms
(* (/ (* (cbrt (- y x)) (cbrt (- y x))) (cbrt t)) (* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t))))

series1.3s

Counts
4 → 12
Calls
4 calls:
193.0ms
(cbrt t)
184.0ms
(cbrt t)
801.0ms
(* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t)))
85.0ms
(* (/ (* (cbrt (- y x)) (cbrt (- y x))) (cbrt t)) (* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t))))

simplify120.0ms

Algorithm
egg-herbie
Counts
209 → 209
Iterations

Useful iterations: 2 (100.0ms)

IterNodesCost
08802455
139272026
250021861

prune552.0ms

Filtered
209 candidates to 150 candidates (71.8%)
Pruning

11 alts after pruning (7 fresh and 4 done)

PrunedKeptTotal
New2090209
Fresh077
Picked011
Done033
Total20911220

Merged error: 0b

Counts
220 → 11

regimes264.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01716
11716

end0.0ms

sample609.0ms

Algorithm
intervals
Results
338.0ms10619×body80valid

Profiling

Loading profile data...