Details

Time bar (total: 20.0s)

sample282.0ms

Algorithm
intervals
Results
152.0ms94×body1280valid
64.0ms60×body640valid
20.0ms26×body320valid
15.0ms67×body80valid
8.0ms9×body160valid

simplify56.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
07430
119327
270427
3299427
4500127

prune52.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

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

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

series39.0ms

Counts
4 → 10
Calls
4 calls:
18.0ms
(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
13.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
8.0ms
(- (cos x) (cos y))

simplify119.0ms

Algorithm
egg-herbie
Counts
244 → 244
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
010794683
143433463
250013456

prune2.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

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

rewrite31.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))
13.0ms
(pow (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 3)
5.0ms
(- 3.0 (sqrt 5.0))
4.0ms
(- (cos x) (cos y))

series77.0ms

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

simplify74.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
06541634
128151345
250011331

prune2.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

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

rewrite93.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:
40.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms
(- 3.0 (sqrt 5.0))
4.0ms
(- (cos x) (cos y))
29.0ms
(log (pow (exp (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))

series62.0ms

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

simplify70.0ms

Algorithm
egg-herbie
Counts
261 → 261
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
016795982
150024606

prune2.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

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

rewrite46.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))))))
30.0ms
(log (pow (exp (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))

series45.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 5.0)
8.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))))))
37.0ms
(log (pow (exp (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y))))

simplify73.0ms

Algorithm
egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
010722920
130031999
250021883

prune2.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

regimes946.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
04742
15442
25442

end0.0ms

sample8.1s

Algorithm
intervals
Results
4.5s2803×body1280valid
2.0s1839×body640valid
617.0ms774×body320valid
533.0ms2231×body80valid
183.0ms353×body160valid