Details

Time bar (total: 7.3s)

sample100.0ms

Algorithm
intervals
Results
38.0ms797×body80nan
9.0ms181×body80valid
8.0ms26×body640valid
7.0ms12×body1280valid
3.0ms15×body320valid
3.0ms24×body160valid

simplify28.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0227
1386
2536
3616
4786
51106
61756
72846
83636
93926
104766
114766

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.7b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (log (- 1.0 y)))
0.0b
(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.3b
(* x (log y))
5.4b
(log (- 1.0 y))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
28×*-un-lft-identity
21×log-prod
20×add-cube-cbrt
11×pow1
9×add-exp-log prod-diff add-log-exp
8×distribute-rgt-in distribute-lft-in associate-*r* add-cbrt-cube
6×associate-*l*
4×expm1-log1p-u log1p-expm1-u distribute-lft-out-- difference-of-squares
3×fma-neg log-pow
2×log-div flip3-- diff-log pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
1×sub-neg rem-log-exp associate--l+ sum-log
Counts
4 → 106
Calls
4 calls:
10.0ms
(* z (log (- 1.0 y)))
20.0ms
(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
4.0ms
(* x (log y))
3.0ms
(log (- 1.0 y))

series237.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* z (log (- 1.0 y)))
87.0ms
(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
40.0ms
(* x (log y))
43.0ms
(log (- 1.0 y))

simplify61.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0519871
11908704
25001676

prune367.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
0.0b
(- (+ (* x (log y)) (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) t)
0.3b
(* x (log y))
6.6b
(* z (pow y 2))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
51×add-exp-log
34×add-sqr-sqrt
26×prod-exp
24×*-un-lft-identity associate-*r*
22×add-cube-cbrt
17×add-cbrt-cube
12×div-exp
9×pow1 associate-*l* prod-diff add-log-exp
8×pow-to-exp times-frac pow-exp
7×unpow-prod-down
6×log-prod cbrt-unprod unswap-sqr
4×expm1-log1p-u log1p-expm1-u
3×distribute-rgt-in distribute-lft-in fma-neg *-commutative unpow2 sqr-pow
2×cbrt-undiv diff-log pow-prod-down
1×sub-neg flip3-- associate-*r/ associate--l+ sum-log log-pow flip-- div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 130
Calls
4 calls:
14.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
24.0ms
(- (+ (* x (log y)) (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) t)
4.0ms
(* x (log y))
6.0ms
(* z (pow y 2))

series335.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))
183.0ms
(- (+ (* x (log y)) (fma z (log 1.0) (- (fma 1.0 (* z y) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) t)
38.0ms
(* x (log y))
34.0ms
(* z (pow y 2))

simplify82.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
05701245
124901032
250021031

prune502.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
0.6b
(cbrt y)
0.6b
(cbrt y)
6.6b
(* z (pow y 2))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
36×log-prod
30×distribute-rgt-in distribute-lft-in
27×add-sqr-sqrt
24×cbrt-prod associate-+l+
21×add-cube-cbrt *-un-lft-identity
12×associate-+r+
9×add-exp-log
8×associate-*r*
6×add-cbrt-cube add-log-exp
4×pow1 expm1-log1p-u unpow-prod-down log1p-expm1-u unswap-sqr
3×associate-*l* prod-exp
2×pow1/3 unpow2 sqr-pow
1×+-commutative pow-to-exp fma-def flip3-+ pow-exp sum-log *-commutative cbrt-unprod flip-+ distribute-lft-out
Counts
4 → 106
Calls
4 calls:
13.0ms
(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
0.0ms
(cbrt y)
0.0ms
(cbrt y)
6.0ms
(* z (pow y 2))

series491.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
182.0ms
(cbrt y)
177.0ms
(cbrt y)
33.0ms
(* z (pow y 2))

simplify63.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0441659
11614534
25002482

prune680.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma x (* 2 (log (cbrt y))) (* x (log (cbrt y))))
0.6b
(cbrt y)
0.6b
(cbrt y)
6.6b
(* z (pow y 2))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
9×add-exp-log add-cube-cbrt *-un-lft-identity
8×associate-*r*
6×cbrt-prod add-cbrt-cube
4×pow1 expm1-log1p-u unpow-prod-down log1p-expm1-u add-log-exp unswap-sqr
3×associate-*l* prod-exp
2×pow1/3 unpow2 sqr-pow
1×pow-to-exp pow-exp *-commutative cbrt-unprod fma-udef
Counts
4 → 65
Calls
4 calls:
0.0ms
(fma x (* 2 (log (cbrt y))) (* x (log (cbrt y))))
0.0ms
(cbrt y)
0.0ms
(cbrt y)
6.0ms
(* z (pow y 2))

series551.0ms

Counts
4 → 12
Calls
4 calls:
166.0ms
(fma x (* 2 (log (cbrt y))) (* x (log (cbrt y))))
175.0ms
(cbrt y)
181.0ms
(cbrt y)
29.0ms
(* z (pow y 2))

simplify114.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 3 (109.0ms)

IterNodesCost
0190310
1639272
23231252
35001244

prune397.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes135.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03019
13019

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.1s24371×body80nan
288.0ms5526×body80valid
261.0ms872×body640valid
241.0ms410×body1280valid
131.0ms747×body320valid
51.0ms468×body160valid