Details

Time bar (total: 12.2s)

sample181.0ms

Algorithm
intervals
Results
87.0ms81×body1280valid
37.0ms56×body640valid
18.0ms27×body320valid
10.0ms77×body80valid
5.0ms15×body160valid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
07430
119327
270427
3299427
4500127

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.5b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.6b
(- (cos x) (cos y))

rewrite208.0ms

Algorithm
rewrite-expression-head
Rules
184×add-sqr-sqrt
183×prod-diff
172×*-un-lft-identity
164×add-cube-cbrt
110×times-frac
82×distribute-rgt-in distribute-lft-in
14×sqrt-prod
12×associate-*r* div-inv
11×pow1 add-exp-log add-cbrt-cube
10×associate-*r/
9×flip3-- flip--
8×add-log-exp
7×associate-*l* difference-of-squares
6×sub-neg fma-neg
4×expm1-log1p-u frac-times pow-prod-down prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out--
2×diff-log associate-*l/ *-commutative unswap-sqr
1×diff-cos
Counts
4 → 291
Calls
4 calls:
111.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
61.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
8.0ms
(- 3.0 (sqrt 5.0))
9.0ms
(- (cos x) (cos y))

series287.0ms

Counts
4 → 10
Calls
4 calls:
132.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
92.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
63.0ms
(- (cos x) (cos y))

simplify87.0ms

Algorithm
egg-herbie
Counts
301 → 301
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
017307731
150016094

prune981.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.6b
(- (cos x) (cos y))
2.8b
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
183×prod-diff
179×add-sqr-sqrt
170×*-un-lft-identity
164×add-cube-cbrt
109×times-frac
85×log-prod
82×distribute-rgt-in distribute-lft-in exp-sum
14×sqrt-prod
12×div-inv
9×add-log-exp
7×pow1
6×add-exp-log sub-neg fma-neg associate-*r* associate-*l* add-cbrt-cube
5×difference-of-squares
4×expm1-log1p-u log1p-expm1-u
3×flip3-- log-pow flip-- distribute-lft-out--
2×diff-log associate-*r/ unswap-sqr
1×exp-prod exp-to-pow rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod diff-cos
Counts
4 → 276
Calls
4 calls:
59.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
8.0ms
(- 3.0 (sqrt 5.0))
11.0ms
(- (cos x) (cos y))
23.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

series284.0ms

Counts
4 → 10
Calls
4 calls:
89.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
56.0ms
(- (cos x) (cos y))
139.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

simplify85.0ms

Algorithm
egg-herbie
Counts
286 → 286
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
018917459
150025829

prune963.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

1.0b
(- 3.0 (sqrt 5.0))
1.6b
(- (cos x) (cos y))
2.8b
(log (exp (* (cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)) (- (sin y) (/ (sin x) 16.0)))))
7.5b
(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
105×prod-diff
100×add-sqr-sqrt
98×*-un-lft-identity
94×add-cube-cbrt
85×log-prod
82×exp-sum
54×times-frac
41×distribute-rgt-in distribute-lft-in
10×sqrt-prod
9×add-log-exp
8×cbrt-prod
6×fma-neg div-inv
5×pow1
4×add-exp-log expm1-log1p-u sub-neg add-cbrt-cube log1p-expm1-u
3×flip3-- log-pow flip-- difference-of-squares
2×cube-div cbrt-div diff-log associate-*r/ distribute-lft-out--
1×cube-mult unpow-prod-down exp-prod exp-to-pow pow1/3 unpow3 cube-prod rem-log-exp rem-cbrt-cube diff-cos sqr-pow
Counts
4 → 186
Calls
4 calls:
8.0ms
(- 3.0 (sqrt 5.0))
8.0ms
(- (cos x) (cos y))
21.0ms
(log (exp (* (cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)) (- (sin y) (/ (sin x) 16.0)))))
8.0ms
(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

series286.0ms

Counts
4 → 10
Calls
4 calls:
0.0ms
(- 3.0 (sqrt 5.0))
55.0ms
(- (cos x) (cos y))
139.0ms
(log (exp (* (cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3)) (- (sin y) (/ (sin x) 16.0)))))
92.0ms
(cbrt (pow (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) 3))

simplify112.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
013565139
143813624
250013623

prune829.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.7b
(fma (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x)) (- (* (cos y) 1)))
2.8b
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
174×prod-diff
170×add-sqr-sqrt
161×*-un-lft-identity
157×add-cube-cbrt
109×times-frac
85×log-prod
82×distribute-rgt-in distribute-lft-in exp-sum
14×sqrt-prod
12×div-inv
7×pow1 add-log-exp
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×sub-neg
4×expm1-log1p-u log1p-expm1-u difference-of-squares
3×fma-neg log-pow
2×flip3-- associate-*r/ flip-- distribute-lft-out-- unswap-sqr
1×exp-prod exp-to-pow diff-log rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef
Counts
4 → 257
Calls
4 calls:
63.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
8.0ms
(- 3.0 (sqrt 5.0))
0.0ms
(fma (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x)) (- (* (cos y) 1)))
24.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

series396.0ms

Counts
4 → 10
Calls
4 calls:
92.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
165.0ms
(fma (* (cbrt (cos x)) (cbrt (cos x))) (cbrt (cos x)) (- (* (cos y) 1)))
139.0ms
(log (exp (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))))

simplify81.0ms

Algorithm
egg-herbie
Counts
267 → 267
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
018477367
150015800

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

regimes164.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04634
14634

end0.0ms

sample5.6s

Algorithm
intervals
Results
3.2s2706×body1280valid
1.4s1866×body640valid
382.0ms771×body320valid
331.0ms2299×body80valid
113.0ms358×body160valid