Details

Time bar (total: 11.6s)

sample194.0ms

Algorithm
intervals
Results
107.0ms94×body1280valid
42.0ms60×body640valid
12.0ms26×body320valid
9.0ms67×body80valid
3.0ms9×body160valid

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
07430
119327
270427
3299427
4500127

prune17.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))

rewrite97.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:
36.0ms
(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
38.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms
(- 3.0 (sqrt 5.0))
4.0ms
(- (cos x) (cos y))

series238.0ms

Counts
4 → 10
Calls
4 calls:
95.0ms
(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
90.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
52.0ms
(- (cos x) (cos y))

simplify123.0ms

Algorithm
egg-herbie
Counts
244 → 244
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
010794683
143433463
250013456

prune920.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

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

series392.0ms

Counts
4 → 10
Calls
4 calls:
126.0ms
(cbrt (pow (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 3))
209.0ms
(pow (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 3)
0.0ms
(- 3.0 (sqrt 5.0))
56.0ms
(- (cos x) (cos y))

simplify77.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
06541634
128151345
250011331

prune791.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.7b
(- (cos x) (cos y))
2.1b
(log (pow (exp (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
153×prod-diff
152×add-sqr-sqrt
143×*-un-lft-identity
137×add-cube-cbrt
82×times-frac
59×log-prod
44×unpow-prod-down
41×distribute-rgt-in distribute-lft-in exp-sum
14×sqrt-prod
11×unpow-prod-up
9×div-inv
8×add-log-exp
7×add-exp-log
6×pow1 sub-neg fma-neg associate-*r* associate-*l* add-cbrt-cube
5×difference-of-squares
4×expm1-log1p-u log1p-expm1-u
3×flip3-- rem-log-exp flip-- distribute-lft-out--
2×diff-log associate-*r/ unswap-sqr
1×pow-to-exp log-div pow-prod-down pow-exp prod-exp log-pow *-commutative cbrt-unprod diff-cos pow-sub sqr-pow
Counts
4 → 251
Calls
4 calls:
36.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms
(- 3.0 (sqrt 5.0))
4.0ms
(- (cos x) (cos y))
30.0ms
(log (pow (exp (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))

series285.0ms

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

simplify77.0ms

Algorithm
egg-herbie
Counts
261 → 261
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
016795982
150024606

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
59×log-prod
57×prod-diff
56×add-sqr-sqrt *-un-lft-identity
54×add-cube-cbrt
44×unpow-prod-down
41×exp-sum
27×times-frac
11×unpow-prod-up
6×add-log-exp
5×add-exp-log
4×pow1 expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×cbrt-prod sub-neg fma-neg rem-log-exp div-inv
1×pow-to-exp log-div flip3-- pow1/3 diff-log pow-exp log-pow flip-- fma-udef diff-cos distribute-lft-out-- pow-sub difference-of-squares sqr-pow
Counts
4 → 125
Calls
4 calls:
0.0ms
(cbrt 5.0)
4.0ms
(- (cos x) (cos y))
0.0ms
(fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* (sqrt (cbrt 5.0)) (sqrt (* (cbrt 5.0) (cbrt 5.0))))))
28.0ms
(log (pow (exp (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))

series196.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 5.0)
55.0ms
(- (cos x) (cos y))
0.0ms
(fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* (sqrt (cbrt 5.0)) (sqrt (* (cbrt 5.0) (cbrt 5.0))))))
141.0ms
(log (pow (exp (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))

simplify74.0ms

Algorithm
egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
010722920
130031999
250021883

prune824.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

regimes279.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04541
14541

end0.0ms

sample5.5s

Algorithm
intervals
Results
3.2s2803×body1280valid
1.3s1839×body640valid
374.0ms774×body320valid
310.0ms2231×body80valid
110.0ms353×body160valid