Details

Time bar (total: 4.0s)

sample43.0ms

Algorithm
intervals
Results
16.0ms197×body80valid
8.0ms21×body2560valid
6.0ms18×body1280valid
2.0ms5×body5120valid
2.0ms6×body640valid
1.0ms6×body320valid
0.0ms3×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0228
1248
2248

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.7b
(+ (sqrt (+ (* re re) (* im im))) re)
27.5b
(sqrt (+ (* re re) (* im im)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
7×add-log-exp
6×*-un-lft-identity
5×add-sqr-sqrt
4×pow1 add-cube-cbrt
3×add-exp-log flip3-+ sqrt-prod add-cbrt-cube flip-+
2×+-commutative sqrt-div sum-log
1×rem-sqrt-square sqrt-pow1 pow1/2 distribute-lft-out
Counts
3 → 38
Calls
3 calls:
5.0ms
(+ (* re re) (* im im))
13.0ms
(+ (sqrt (+ (* re re) (* im im))) re)
4.0ms
(sqrt (+ (* re re) (* im im)))

series109.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(+ (* re re) (* im im))
44.0ms
(+ (sqrt (+ (* re re) (* im im))) re)
34.0ms
(sqrt (+ (* re re) (* im im)))

simplify62.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 3 (57.0ms)

IterNodesCost
0178275
1689252
22017248
35001246

prune140.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 16.6b

localize18.0ms

Local error

Found 4 expressions with local error:

10.0b
(+ (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)
27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
7×pow1 add-cube-cbrt *-un-lft-identity
6×sqrt-div add-log-exp
4×add-exp-log flip3-+ add-cbrt-cube flip-+
3×rem-sqrt-square sqrt-pow1 pow1/2
1×+-commutative sum-log
Counts
4 → 56
Calls
4 calls:
36.0ms
(+ (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)
3.0ms
(sqrt (+ (* re re) (* im im)))
3.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series157.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)
34.0ms
(sqrt (+ (* re re) (* im im)))
34.0ms
(sqrt (+ (* re re) (* im im)))
39.0ms
(sqrt (+ (* re re) (* im im)))

simplify51.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0160641
1431527
21354481
35001477

prune247.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 16.6b

localize19.0ms

Local error

Found 4 expressions with local error:

27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 add-cube-cbrt *-un-lft-identity sqrt-div
4×add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp
Counts
4 → 60
Calls
4 calls:
6.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series143.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(sqrt (+ (* re re) (* im im)))
39.0ms
(sqrt (+ (* re re) (* im im)))
34.0ms
(sqrt (+ (* re re) (* im im)))
35.0ms
(sqrt (+ (* re re) (* im im)))

simplify139.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 5 (134.0ms)

IterNodesCost
089400
1215388
2503388
31265388
44227388
55002384

prune303.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 16.6b

localize24.0ms

Local error

Found 4 expressions with local error:

27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))
27.5b
(sqrt (+ (* re re) (* im im)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 add-cube-cbrt *-un-lft-identity sqrt-div
4×add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp
Counts
4 → 60
Calls
4 calls:
6.0ms
(sqrt (+ (* re re) (* im im)))
3.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series144.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(sqrt (+ (* re re) (* im im)))
40.0ms
(sqrt (+ (* re re) (* im im)))
35.0ms
(sqrt (+ (* re re) (* im im)))
35.0ms
(sqrt (+ (* re re) (* im im)))

simplify139.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 5 (133.0ms)

IterNodesCost
089400
1215388
2503388
31265388
44227388
55002384

prune343.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 16.6b

regimes435.0ms

Accuracy

57.3% (9.1b remaining)

Error of 26.6b against oracle of 17.5b and baseline of 38.8b

bsearch104.0ms

Steps
ItersRangePoint
10
1.1178430778396202e+52
1.7237094648712378e+70
1.6830124706088932e+70
8
-2.0561710029682808e-299
-1.0495803460584072e-303
-1.0699181930618242e-303

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04424
14624
24624

end0.0ms

sample1.3s

Algorithm
intervals
Results
494.0ms6066×body80valid
232.0ms629×body2560valid
154.0ms503×body1280valid
132.0ms297×body5120valid
65.0ms270×body640valid
30.0ms163×body320valid
10.0ms72×body160valid