Details

Time bar (total: 6.0s)

sample34.0ms

Algorithm
intervals
Results
19.0ms676×body80valid

simplify143.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0143
1303
2733
32173
48193
542433
650013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (pow x 4.0) (pow y 4.0))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
53×unpow-prod-down
49×prod-diff
43×add-sqr-sqrt
35×*-un-lft-identity
31×add-cube-cbrt
21×sqr-pow
9×difference-of-squares
7×fma-neg
3×add-log-exp
2×distribute-lft-out--
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u
Counts
1 → 81
Calls
1 calls:
13.0ms
(- (pow x 4.0) (pow y 4.0))

series53.0ms

Counts
1 → 3
Calls
1 calls:
53.0ms
(- (pow x 4.0) (pow y 4.0))

simplify145.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 3 (135.0ms)

IterNodesCost
03151099
1873775
24757725
35001720

prune141.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
0.3b
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
14.9b
(sqrt (pow x 4.0))
14.9b
(sqrt (pow x 4.0))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
210×prod-diff
186×sqrt-prod
178×unpow-prod-down
176×add-sqr-sqrt
142×*-un-lft-identity
136×add-cube-cbrt
72×distribute-rgt-in distribute-lft-in
70×sqr-pow
24×difference-of-squares
16×associate-*r*
10×fma-neg
6×pow1 add-exp-log rem-sqrt-square add-cbrt-cube add-log-exp
4×expm1-log1p-u frac-times flip3-- associate-*l* flip-- log1p-expm1-u
3×sub-neg flip3-+ flip-+
2×sqrt-pow1 pow1/2 associate-*r/ associate-*l/ distribute-lft-out--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 335
Calls
4 calls:
21.0ms
(- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
93.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
2.0ms
(sqrt (pow x 4.0))
2.0ms
(sqrt (pow x 4.0))

series1.7s

Counts
4 → 12
Calls
4 calls:
184.0ms
(- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
851.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
357.0ms
(sqrt (pow x 4.0))
356.0ms
(sqrt (pow x 4.0))

simplify152.0ms

Algorithm
egg-herbie
Counts
347 → 347
Iterations

Useful iterations: 2 (86.0ms)

IterNodesCost
011688286
144306244
250016171

prune601.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (+ (sqrt (pow x (/ 4.0 2))) (pow y (/ (/ 4.0 2) 2))))
14.9b
(sqrt (pow x 4.0))
19.0b
(sqrt (pow x (/ 4.0 2)))
19.0b
(sqrt (pow x (/ 4.0 2)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
21×sqrt-prod
20×add-sqr-sqrt
16×*-un-lft-identity
12×add-cube-cbrt unpow-prod-down
9×rem-sqrt-square
6×pow1 add-exp-log flip3-+ add-cbrt-cube flip-+ sqr-pow
4×expm1-log1p-u frac-times associate-*r* associate-*l* log1p-expm1-u add-log-exp
3×sqrt-pow1 pow1/2
2×associate-*r/ associate-*l/ distribute-lft-out
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 95
Calls
4 calls:
78.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (+ (sqrt (pow x (/ 4.0 2))) (pow y (/ (/ 4.0 2) 2))))
2.0ms
(sqrt (pow x 4.0))
2.0ms
(sqrt (pow x (/ 4.0 2)))
2.0ms
(sqrt (pow x (/ 4.0 2)))

series1.2s

Counts
4 → 12
Calls
4 calls:
114.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (+ (sqrt (pow x (/ 4.0 2))) (pow y (/ (/ 4.0 2) 2))))
347.0ms
(sqrt (pow x 4.0))
347.0ms
(sqrt (pow x (/ 4.0 2)))
350.0ms
(sqrt (pow x (/ 4.0 2)))

simplify61.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0459947
11840879
25001878

prune438.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes98.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
063

end0.0ms

sample906.0ms

Algorithm
intervals
Results
574.0ms20274×body80valid