Details

Time bar (total: 11.4s)

sample180.0ms

Algorithm
intervals
Results
91.0ms86×body1280valid
45.0ms59×body640valid
12.0ms81×body80valid
9.0ms19×body320valid
3.0ms11×body160valid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
07430
119327
270427
3299427
4500127

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
133×add-sqr-sqrt
123×prod-diff
119×*-un-lft-identity
109×add-cube-cbrt
56×times-frac
52×distribute-rgt-in distribute-lft-in
14×sqrt-prod
12×associate-*r* associate-*l*
9×flip3-- flip--
8×pow1 add-exp-log add-cbrt-cube add-log-exp difference-of-squares
6×sub-neg fma-neg div-inv
5×distribute-lft-out--
4×expm1-log1p-u frac-times associate-*r/ log1p-expm1-u
3×unswap-sqr
2×diff-log pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod diff-cos
Counts
4 → 234
Calls
4 calls:
14.0ms
(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
14.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms
(- 3.0 (sqrt 5.0))
5.0ms
(- (cos x) (cos y))

series240.0ms

Counts
4 → 10
Calls
4 calls:
97.0ms
(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
91.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
51.0ms
(- (cos x) (cos y))

simplify127.0ms

Algorithm
egg-herbie
Counts
244 → 244
Iterations

Useful iterations: 2 (90.0ms)

IterNodesCost
010794683
143433463
250013456

prune839.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- (sin x) (/ (sin y) 16.0)))
0.6b
(cbrt (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.7b
(- (cos x) (cos y))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
34×*-un-lft-identity
27×prod-diff
26×add-cube-cbrt
12×cbrt-prod
10×sqrt-prod
8×add-log-exp
7×difference-of-squares
6×fma-neg
4×pow1 add-exp-log expm1-log1p-u cbrt-div flip3-- add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
2×sub-neg times-frac pow1/3 diff-log
1×diff-cos
Counts
4 → 103
Calls
4 calls:
7.0ms
(cbrt (- (sin x) (/ (sin y) 16.0)))
6.0ms
(cbrt (- (sin x) (/ (sin y) 16.0)))
5.0ms
(- 3.0 (sqrt 5.0))
5.0ms
(- (cos x) (cos y))

series344.0ms

Counts
4 → 10
Calls
4 calls:
148.0ms
(cbrt (- (sin x) (/ (sin y) 16.0)))
139.0ms
(cbrt (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
56.0ms
(- (cos x) (cos y))

simplify44.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
04551125
11207872
25002845

prune684.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt (+ (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.7b
(- (cos x) (cos y))
4.4b
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt *-un-lft-identity
27×prod-diff
26×add-cube-cbrt
10×sqrt-prod
8×cbrt-prod add-log-exp
7×cbrt-div
6×fma-neg
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u difference-of-squares
3×flip3-- frac-sub flip-- sin-mult
2×sub-neg pow1/3 diff-log distribute-lft-out--
1×frac-times flip3-+ associate-*r/ associate-*l/ flip-+ diff-cos distribute-lft-out
Counts
4 → 102
Calls
4 calls:
6.0ms
(cbrt (+ (sin x) (/ (sin y) 16.0)))
5.0ms
(- 3.0 (sqrt 5.0))
8.0ms
(- (cos x) (cos y))
5.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))

series310.0ms

Counts
4 → 10
Calls
4 calls:
127.0ms
(cbrt (+ (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
55.0ms
(- (cos x) (cos y))
128.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))

simplify55.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
06121245
11809980
25001954

prune923.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 4 expressions with local error:

2.1b
(cbrt (* (cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))))
4.4b
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))
4.4b
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))
4.4b
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
110×cbrt-div
45×frac-sub sin-mult
40×frac-times
20×associate-*r/ associate-*l/
15×flip3-- flip--
13×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
3×difference-of-squares
Counts
4 → 103
Calls
4 calls:
16.0ms
(cbrt (* (cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))))
6.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))
6.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))
6.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))

series534.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(cbrt (* (cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0)))) (cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))))
129.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))
133.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))
130.0ms
(cbrt (- (* (sin x) (sin x)) (* (/ (sin y) 16.0) (/ (sin y) 16.0))))

simplify98.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 3 (75.0ms)

IterNodesCost
04043090
19652978
232972948
350012944

prune1.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes211.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04975
14975

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.0s2709×body1280valid
1.3s1829×body640valid
391.0ms793×body320valid
336.0ms2309×body80valid
123.0ms360×body160valid