Details

Time bar (total: 4.0s)

sample26.0ms

Algorithm
intervals
Results
8.0ms208×body80valid
4.0ms20×body2560valid
3.0ms10×body5120valid
2.0ms10×body1280valid
1.0ms6×body320valid
0.0ms1×body640valid
0.0ms1×body160valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0178
1248
2308
3358
4358

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.8b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
0.0b
(+ (* re re) (* im im))
1.0b
(- (sqrt (+ (* re re) (* im im))) re)
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×pow1 add-log-exp
7×*-un-lft-identity
5×add-cube-cbrt sqrt-prod
4×add-exp-log sqrt-div add-cbrt-cube
3×sqrt-pow1
2×flip3-- flip3-+ pow1/2 associate-*r/ flip-- flip-+ difference-of-squares
1×+-commutative sub-neg rem-sqrt-square diff-log pow-prod-down sum-log distribute-lft-out--
Counts
4 → 54
Calls
4 calls:
9.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
4.0ms
(+ (* re re) (* im im))
7.0ms
(- (sqrt (+ (* re re) (* im im))) re)
6.0ms
(sqrt (+ (* re re) (* im im)))

series294.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
27.0ms
(+ (* re re) (* im im))
51.0ms
(- (sqrt (+ (* re re) (* im im))) re)
44.0ms
(sqrt (+ (* re re) (* im im)))

simplify91.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 3 (84.0ms)

IterNodesCost
0258462
1938422
23098412
35001410

prune191.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 13.1b

localize16.0ms

Local error

Found 4 expressions with local error:

7.6b
(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)
28.5b
(sqrt (+ (* re re) (* im im)))
28.5b
(sqrt (+ (* re re) (* im im)))
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite35.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 add-cbrt-cube
3×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
1×sub-neg flip3-- diff-log flip--
Counts
4 → 57
Calls
4 calls:
22.0ms
(- (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im))))) re)
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series156.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)
35.0ms
(sqrt (+ (* re re) (* im im)))
35.0ms
(sqrt (+ (* re re) (* im im)))
38.0ms
(sqrt (+ (* re re) (* im im)))

simplify140.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 4 (134.0ms)

IterNodesCost
0148643
1378541
21206463
34691456
45001450

prune237.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 13.1b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
1.0b
(- (sqrt (+ (* re re) (* im im))) re)
4.8b
(exp (log (- (sqrt (+ (* re re) (* im im))) re)))
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
11×*-un-lft-identity
8×add-log-exp
7×add-cube-cbrt
6×pow1 log-prod exp-sum
5×sqrt-prod
4×add-exp-log exp-prod add-cbrt-cube difference-of-squares
2×log-div flip3-- flip3-+ exp-diff sqrt-div flip-- flip-+ distribute-lft-out--
1×+-commutative sub-neg rem-sqrt-square sqrt-pow1 pow1/2 diff-log sum-log log-pow rem-exp-log
Counts
4 → 61
Calls
4 calls:
4.0ms
(+ (* re re) (* im im))
8.0ms
(- (sqrt (+ (* re re) (* im im))) re)
9.0ms
(exp (log (- (sqrt (+ (* re re) (* im im))) re)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series158.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ (* re re) (* im im))
48.0ms
(- (sqrt (+ (* re re) (* im im))) re)
46.0ms
(exp (log (- (sqrt (+ (* re re) (* im im))) re)))
38.0ms
(sqrt (+ (* re re) (* im im)))

simplify63.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 3 (57.0ms)

IterNodesCost
0213488
1726453
22040433
35001424

prune202.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 13.1b

localize26.0ms

Local error

Found 4 expressions with local error:

4.7b
(pow (exp (* (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))) (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))))) (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))))
28.5b
(sqrt (+ (* re re) (* im im)))
28.5b
(sqrt (+ (* re re) (* im im)))
28.5b
(sqrt (+ (* re re) (* im im)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
9×pow1 sqrt-prod
7×pow-unpow
6×sqrt-div
5×add-log-exp
4×add-exp-log cbrt-prod add-cbrt-cube
3×unpow-prod-down rem-sqrt-square pow-pow sqrt-pow1 flip3-+ pow1/2 flip-+
1×pow-to-exp exp-prod exp-to-pow pow-exp log-pow sqr-pow
Counts
4 → 68
Calls
4 calls:
4.0ms
(pow (exp (* (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))) (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))))) (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series550.0ms

Counts
4 → 12
Calls
4 calls:
440.0ms
(pow (exp (* (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))) (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))))) (cbrt (log (- (sqrt (+ (* re re) (* im im))) re))))
35.0ms
(sqrt (+ (* re re) (* im im)))
39.0ms
(sqrt (+ (* re re) (* im im)))
35.0ms
(sqrt (+ (* re re) (* im im)))

simplify55.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (46.0ms)

IterNodesCost
0206983
1567901
21690887
35001881

prune326.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 10.6b

regimes519.0ms

Accuracy

60.9% (9.2b remaining)

Error of 24.5b against oracle of 15.4b and baseline of 38.8b

bsearch85.0ms

Steps
ItersRangePoint
5
6.409367159269928e+131
1.4522094872280968e+132
1.0984713903285393e+132
7
-4.1002396814977254e-299
-1.5855513606305376e-300
-1.612699741875562e-300
2
-2.319338119088684e+59
-1.9710212454209794e+59
-2.2710920961423764e+59

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05329
15329

end0.0ms

sample743.0ms

Algorithm
intervals
Results
233.0ms6031×body80valid
140.0ms659×body2560valid
88.0ms471×body1280valid
82.0ms318×body5120valid
39.0ms286×body640valid
16.0ms156×body320valid
5.0ms79×body160valid