Details

Time bar (total: 7.4s)

sample18.0ms

Algorithm
intervals
Results
8.0ms278×body80valid

simplify22.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0204
1464
2884
31384
41884
52364
62604
72634
82634

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.3b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (- y t))
0.2b
(/ (* z (- y t)) 2.0)
5.3b
(/ x (/ (* z (- y t)) 2.0))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
37×*-un-lft-identity
36×times-frac
35×add-cube-cbrt
19×add-exp-log add-cbrt-cube
18×prod-diff
11×distribute-rgt-in distribute-lft-in
10×associate-/r*
7×cbrt-undiv div-exp
6×div-inv
5×pow1 associate-*r*
4×associate-*r/ associate-/l*
3×expm1-log1p-u associate-*l* prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×sub-neg flip3-- frac-2neg clear-num flip-- associate-/l/
1×pow-prod-down associate-/r/ *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 121
Calls
3 calls:
11.0ms
(* z (- y t))
10.0ms
(/ (* z (- y t)) 2.0)
7.0ms
(/ x (/ (* z (- y t)) 2.0))

series133.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(* z (- y t))
47.0ms
(/ (* z (- y t)) 2.0)
47.0ms
(/ x (/ (* z (- y t)) 2.0))

simplify60.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0498867
12213667
25001667

prune248.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
3.8b
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
499×times-frac
374×add-sqr-sqrt
264×*-un-lft-identity
209×associate-*r*
192×add-cube-cbrt
123×cbrt-prod
114×sqrt-prod
73×add-exp-log
51×add-cbrt-cube
36×distribute-lft-out-- difference-of-squares
33×cbrt-undiv div-exp
28×unswap-sqr
27×associate-*l*
21×prod-exp cbrt-unprod
9×div-inv
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
2×associate-/r/
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 347
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
1.0ms
(cbrt x)
144.0ms
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))

series782.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt x)
195.0ms
(cbrt x)
206.0ms
(cbrt x)
203.0ms
(* (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))

simplify82.0ms

Algorithm
egg-herbie
Counts
359 → 359
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
017395065
150014787

prune944.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
3.8b
(* (* (* (cbrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0)))) (/ (cbrt x) (/ (- y t) (cbrt (sqrt 2.0)))))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
564×times-frac
364×add-sqr-sqrt *-un-lft-identity
336×cbrt-prod
310×add-exp-log
299×associate-*r*
256×add-cube-cbrt
166×add-cbrt-cube
156×prod-exp cbrt-unprod
102×cbrt-undiv div-exp
90×sqrt-prod
54×distribute-lft-out-- difference-of-squares
18×pow1
10×pow-prod-down
7×div-inv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/
1×frac-times associate-*l* associate-*l/ associate-/r/ *-commutative
Counts
4 → 452
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
1.0ms
(cbrt x)
278.0ms
(* (* (* (cbrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0)))) (/ (cbrt x) (/ (- y t) (cbrt (sqrt 2.0)))))

series754.0ms

Counts
4 → 12
Calls
4 calls:
174.0ms
(cbrt x)
185.0ms
(cbrt x)
183.0ms
(cbrt x)
213.0ms
(* (* (* (cbrt 1) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (/ (* (cbrt x) (cbrt x)) (/ z (sqrt 2.0)))) (/ (cbrt x) (/ (- y t) (cbrt (sqrt 2.0)))))

simplify133.0ms

Algorithm
egg-herbie
Counts
464 → 464
Iterations

Useful iterations: 1 (55.0ms)

IterNodesCost
0261110888
150029732

prune1.7s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 2.0 (- y t))
0.2b
(/ z (/ 2.0 (- y t)))
5.3b
(/ x (/ z (/ 2.0 (- y t))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
774×times-frac
440×add-sqr-sqrt *-un-lft-identity
336×add-cube-cbrt
94×associate-/r*
52×distribute-lft-out-- difference-of-squares
40×associate-/r/
23×div-inv
19×add-exp-log add-cbrt-cube
17×flip3-- flip--
10×cbrt-undiv div-exp
9×associate-/l*
3×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
Counts
3 → 437
Calls
3 calls:
5.0ms
(/ 2.0 (- y t))
9.0ms
(/ z (/ 2.0 (- y t)))
23.0ms
(/ x (/ z (/ 2.0 (- y t))))

series141.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(/ 2.0 (- y t))
47.0ms
(/ z (/ 2.0 (- y t)))
49.0ms
(/ x (/ z (/ 2.0 (- y t))))

simplify85.0ms

Algorithm
egg-herbie
Counts
446 → 446
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
014644466
150014320

prune1.1s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes121.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01719

end0.0ms

sample470.0ms

Algorithm
intervals
Results
253.0ms8690×body80valid