Details

Time bar (total: 9.8s)

sample176.0ms

Algorithm
intervals
Results
88.0ms80×body1280valid
39.0ms55×body640valid
12.0ms27×body320valid
12.0ms81×body80valid
4.0ms13×body160valid

simplify52.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07430
118230
265730
3272730
4500130

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

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.7b
(- (cos x) (cos y))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
16×*-un-lft-identity
12×associate-*r*
11×pow1 add-exp-log add-cbrt-cube
10×associate-*r/
9×flip3-- flip--
8×add-cube-cbrt add-log-exp
7×associate-*l* difference-of-squares
6×sub-neg
5×sqrt-prod
4×distribute-rgt-in frac-times distribute-lft-in pow-prod-down prod-exp cbrt-unprod distribute-lft-out--
2×times-frac diff-log associate-*l/ *-commutative unswap-sqr
1×diff-cos
Counts
4 → 94
Calls
4 calls:
95.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
50.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
7.0ms
(- 3.0 (sqrt 5.0))
7.0ms
(- (cos x) (cos y))

series284.0ms

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

simplify68.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
06221094
126431002
250031002

prune537.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
20×*-un-lft-identity
10×add-cube-cbrt
8×add-log-exp
7×pow1 add-exp-log add-cbrt-cube difference-of-squares
6×unpow-prod-down cube-prod associate-*r* associate-*l*
5×sqrt-prod distribute-lft-out--
4×sub-neg flip3-- flip--
3×pow-unpow diff-cos
2×cube-div distribute-rgt-in distribute-lft-in diff-log associate-*r/ unswap-sqr
1×cube-mult pow-to-exp pow-pow times-frac unpow3 pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod rem-cube-cbrt sqr-pow
Counts
4 → 92
Calls
4 calls:
48.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
9.0ms
(pow (- (cos x) (cos y)) 3)
6.0ms
(- 3.0 (sqrt 5.0))
9.0ms
(- (cos x) (cos y))

series217.0ms

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

simplify50.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0486702
11825654
25001650

prune557.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.2b

localize45.0ms

Local error

Found 4 expressions with local error:

0.6b
(pow (log (exp (- (cos x) (cos y)))) 3)
1.0b
(- 3.0 (sqrt 5.0))
1.7b
(- (cos x) (cos y))
1.9b
(log (exp (- (cos x) (cos y))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×*-un-lft-identity log-pow
18×exp-prod
11×add-cube-cbrt
10×unpow-prod-down cube-prod
8×pow1 add-log-exp
6×difference-of-squares
5×add-exp-log log-prod add-cbrt-cube distribute-lft-out--
4×diff-cos
3×sub-neg pow-unpow
2×flip3-- diff-log exp-sum flip--
1×cube-mult pow-to-exp log-div pow-pow exp-diff unpow3 rem-log-exp pow-exp sqrt-prod rem-cube-cbrt sqr-pow
Counts
4 → 88
Calls
4 calls:
24.0ms
(pow (log (exp (- (cos x) (cos y)))) 3)
6.0ms
(- 3.0 (sqrt 5.0))
7.0ms
(- (cos x) (cos y))
14.0ms
(log (exp (- (cos x) (cos y))))

series185.0ms

Counts
4 → 10
Calls
4 calls:
70.0ms
(pow (log (exp (- (cos x) (cos y)))) 3)
0.0ms
(- 3.0 (sqrt 5.0))
58.0ms
(- (cos x) (cos y))
56.0ms
(log (exp (- (cos x) (cos y))))

simplify40.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0376586
11168524
25001515

prune542.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize47.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.6b
(pow (log (exp (- (cos x) (cos y)))) 3)
1.7b
(- (cos x) (cos y))
1.9b
(log (exp (- (cos x) (cos y))))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
24×*-un-lft-identity
21×log-pow
18×exp-prod
14×add-cube-cbrt
10×pow1 unpow-prod-down cube-prod
7×add-exp-log add-cbrt-cube
6×associate-*r* associate-*l* add-log-exp difference-of-squares
5×log-prod distribute-lft-out--
4×sub-neg sqrt-prod diff-cos
3×pow-unpow
2×distribute-rgt-in flip3-- distribute-lft-in associate-*r/ exp-sum flip-- unswap-sqr
1×cube-mult pow-to-exp log-div pow-pow times-frac exp-diff diff-log unpow3 rem-log-exp pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod rem-cube-cbrt sqr-pow
Counts
4 → 104
Calls
4 calls:
48.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
25.0ms
(pow (log (exp (- (cos x) (cos y)))) 3)
7.0ms
(- (cos x) (cos y))
14.0ms
(log (exp (- (cos x) (cos y))))

series278.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
70.0ms
(pow (log (exp (- (cos x) (cos y)))) 3)
60.0ms
(- (cos x) (cos y))
55.0ms
(log (exp (- (cos x) (cos y))))

simplify52.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0427765
11520692
25001684

prune641.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.2b

regimes146.0ms

Accuracy

0% (0.2b 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
05238
15238

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.0s2706×body1280valid
1.3s1872×body640valid
368.0ms755×body320valid
335.0ms2328×body80valid
111.0ms339×body160valid