Details

Time bar (total: 3.6s)

sample35.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0.024414%

Guaranteed chance to sample good point: 99.993895%

Results
11.0ms256×body80valid

simplify628.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0103
1193
2463
31313
44353
519243
650013

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.6b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 2.0 (pow x 2.0))
29.6b
(sqrt (* 2.0 (pow x 2.0)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
7×add-exp-log associate-*r*
5×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down add-cbrt-cube
3×pow1 associate-*l* prod-exp unswap-sqr
2×add-log-exp sqr-pow
1×pow-to-exp sqrt-pow1 pow1/2 pow-exp sqrt-prod *-commutative cbrt-unprod
Counts
2 → 35
Calls
2 calls:
5.0ms
(* 2.0 (pow x 2.0))
5.0ms
(sqrt (* 2.0 (pow x 2.0)))

series139.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(* 2.0 (pow x 2.0))
80.0ms
(sqrt (* 2.0 (pow x 2.0)))

simplify85.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0222193
1781182
23046174
35001174

prune95.0ms

Filtered
32 candidates to 41 candidates (-28.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New36541
Fresh000
Picked011
Done000
Total36642

Merged error: 16.6b

Counts
42 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (* 2.0 (pow x 2.0))))
0.5b
(* (sqrt (sqrt (* 2.0 (pow x 2.0)))) (sqrt (sqrt (* 2.0 (pow x 2.0)))))
29.6b
(sqrt (* 2.0 (pow x 2.0)))
29.6b
(sqrt (* 2.0 (pow x 2.0)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
38×sqrt-pow1
33×sqrt-prod
31×pow1
26×add-sqr-sqrt
20×pow1/2
13×add-cube-cbrt *-un-lft-identity
9×swap-sqr pow-prod-up
7×associate-*r* associate-*l*
6×add-exp-log add-cbrt-cube
5×pow-prod-down pow-sqr
4×add-log-exp unswap-sqr
1×pow2 rem-sqrt-square pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 96
Calls
4 calls:
4.0ms
(sqrt (sqrt (* 2.0 (pow x 2.0))))
15.0ms
(* (sqrt (sqrt (* 2.0 (pow x 2.0)))) (sqrt (sqrt (* 2.0 (pow x 2.0)))))
3.0ms
(sqrt (* 2.0 (pow x 2.0)))
3.0ms
(sqrt (* 2.0 (pow x 2.0)))

series243.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(sqrt (sqrt (* 2.0 (pow x 2.0))))
61.0ms
(* (sqrt (sqrt (* 2.0 (pow x 2.0)))) (sqrt (sqrt (* 2.0 (pow x 2.0)))))
61.0ms
(sqrt (* 2.0 (pow x 2.0)))
60.0ms
(sqrt (* 2.0 (pow x 2.0)))

simplify216.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 3 (208.0ms)

IterNodesCost
0221574
1787531
24477501
35001483

prune195.0ms

Filtered
63 candidates to 108 candidates (-71.4%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1071108
Fresh134
Picked011
Done011
Total1086114

Merged error: 16.6b

Counts
114 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 2.0 (pow x 2.0))
0.0b
(log (sqrt (* 2.0 (pow x 2.0))))
5.8b
(exp (log (sqrt (* 2.0 (pow x 2.0)))))
29.6b
(sqrt (* 2.0 (pow x 2.0)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
10×add-exp-log add-cube-cbrt *-un-lft-identity
9×pow1
8×log-prod
7×associate-*r*
6×exp-prod log-pow add-cbrt-cube
4×unpow-prod-down exp-sum add-log-exp
3×sqrt-pow1 pow1/2 associate-*l* prod-exp sqrt-prod unswap-sqr
2×sqr-pow
1×pow-to-exp rem-log-exp pow-exp *-commutative cbrt-unprod rem-exp-log
Counts
4 → 68
Calls
4 calls:
5.0ms
(* 2.0 (pow x 2.0))
4.0ms
(log (sqrt (* 2.0 (pow x 2.0))))
5.0ms
(exp (log (sqrt (* 2.0 (pow x 2.0)))))
3.0ms
(sqrt (* 2.0 (pow x 2.0)))

series260.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* 2.0 (pow x 2.0))
82.0ms
(log (sqrt (* 2.0 (pow x 2.0))))
61.0ms
(exp (log (sqrt (* 2.0 (pow x 2.0)))))
58.0ms
(sqrt (* 2.0 (pow x 2.0)))

simplify90.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (84.0ms)

IterNodesCost
0271431
1901403
23338383
35001377

prune152.0ms

Filtered
57 candidates to 80 candidates (-40.4%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New79180
Fresh033
Picked011
Done022
Total79786

Merged error: 16.6b

Counts
86 → 7

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 2.0 (pow x 2.0))
6.1b
(pow (exp 1/2) (log (* 2.0 (pow x 2.0))))
30.7b
(log (* 2.0 (pow x 2.0)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
7×unpow-prod-down associate-*r*
6×pow1 prod-exp
5×add-cbrt-cube
4×pow-unpow pow-pow rem-log-exp
3×pow-to-exp exp-prod associate-*l* pow-exp add-log-exp unswap-sqr sqr-pow
2×log-prod log-pow
1×unpow-prod-up *-commutative cbrt-unprod
Counts
3 → 60
Calls
3 calls:
5.0ms
(* 2.0 (pow x 2.0))
5.0ms
(pow (exp 1/2) (log (* 2.0 (pow x 2.0))))
3.0ms
(log (* 2.0 (pow x 2.0)))

series245.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(* 2.0 (pow x 2.0))
107.0ms
(pow (exp 1/2) (log (* 2.0 (pow x 2.0))))
79.0ms
(log (* 2.0 (pow x 2.0)))

simplify118.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0260377
1996354
24654343
35001343

prune125.0ms

Filtered
46 candidates to 69 candidates (-50.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New68169
Fresh033
Picked101
Done033
Total69776

Merged error: 16.6b

Counts
76 → 7

regimes358.0ms

Accuracy

99.1% (0.1b remaining)

Error of 15.6b against oracle of 15.5b and baseline of 30.0b

bsearch24.0ms

Steps
ItersRangePoint
9
-9.025564344079499e-305
6.461034464506272e-306
-2.3941523392141e-311

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0146
1146

end0.0ms

sample500.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0.024414%

Guaranteed chance to sample good point: 99.993895%

Results
342.0ms8000×body80valid

Profiling

Loading profile data...