Details

Time bar (total: 2.7s)

analyze14.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%18.7%81.3%0
0%18.7%81.3%1
0%18.7%81.3%2
0%18.7%81.3%3
0%18.7%81.3%4
4.7%14%81.3%5
5.3%13.5%81.3%6
18.1%0.6%81.3%7
18.1%0.6%81.3%8
18.6%0.1%81.3%9
18.6%0.1%81.3%10
18.7%0%81.3%11
18.7%0%81.3%12
18.7%0%81.3%13
18.7%0%81.3%14

sample25.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
5.0ms256×pre80true

simplify206.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (197.0ms)

IterNodesCost
0492122
1492122

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 17.8b

Counts
2 → 1

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (*.f64 y y))
17.6b
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/_binary64
7×add-exp-log_binary64 add-cbrt-cube_binary64
5×flip3-+_binary64 flip-+_binary64
4×*-un-lft-identity_binary64 add-log-exp_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 frac-times_binary64
3×associate-/r*_binary64 flip3--_binary64 times-frac_binary64 flip--_binary64
2×pow1_binary64 cbrt-undiv_binary64 associate-*r/_binary64 associate-/r/_binary64 div-exp_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 associate-/l*_binary64 div-inv_binary64 +-commutative_binary64 sum-log_binary64
Counts
2 → 42
Calls
2 calls:
4.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
12.0ms
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

series65.0ms

Counts
2 → 6
Calls
2 calls:
21.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
44.0ms
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))

simplify71.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
05210978

prune148.0ms

Filtered
39 candidates to 48 candidates (-23.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New43548
Fresh000
Picked011
Done000
Total43649

Merged error: 0.2b

Counts
49 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 x x) (*.f64 y y))
0.0b
(+.f64 (*.f64 x x) (*.f64 y y))
0.0b
(/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y))))
17.6b
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac_binary64
64×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
22×associate-/r*_binary64
17×difference-of-squares_binary64
14×add-exp-log_binary64
11×add-cbrt-cube_binary64 associate-/r/_binary64
8×add-log-exp_binary64
6×flip3--_binary64 associate-/l*_binary64 div-inv_binary64 flip--_binary64
5×pow1_binary64 div-exp_binary64
4×cbrt-undiv_binary64
2×flip3-+_binary64 associate-/l/_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 flip-+_binary64
1×sub-neg_binary64 diff-log_binary64 inv-pow_binary64 +-commutative_binary64 pow-flip_binary64 sum-log_binary64
Counts
4 → 152
Calls
4 calls:
4.0ms
(-.f64 (*.f64 x x) (*.f64 y y))
4.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
17.0ms
(/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y))))
9.0ms
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y)))

series119.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(-.f64 (*.f64 x x) (*.f64 y y))
20.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
35.0ms
(/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y))))
42.0ms
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (*.f64 x x) (*.f64 y y)))

simplify100.0ms

Algorithm
egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
050045250

prune377.0ms

Filtered
114 candidates to 164 candidates (-43.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1631164
Fresh134
Picked011
Done011
Total1646170

Merged error: 0.2b

Counts
170 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 x x) (*.f64 y y))
0.0b
(/.f64 1 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))))
0.3b
(/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))
19.0b
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
34×add-exp-log_binary64
31×add-sqr-sqrt_binary64
29×times-frac_binary64
25×*-un-lft-identity_binary64
24×add-cube-cbrt_binary64
20×add-cbrt-cube_binary64
18×associate-*r*_binary64
10×pow1_binary64 associate-/r/_binary64
9×prod-exp_binary64
8×rec-exp_binary64 div-exp_binary64
7×difference-of-squares_binary64
6×add-log-exp_binary64 cbrt-undiv_binary64 associate-/l*_binary64
5×flip3-+_binary64 associate-/r*_binary64 flip-+_binary64
4×cbrt-unprod_binary64 frac-times_binary64 associate-*l/_binary64
3×associate-*l*_binary64 unswap-sqr_binary64 div-inv_binary64 pow-flip_binary64
2×pow-prod-down_binary64 flip3--_binary64 associate-*r/_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 un-div-inv_binary64 flip--_binary64
1×+-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 128
Calls
4 calls:
4.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
13.0ms
(/.f64 1 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))))
6.0ms
(/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))
14.0ms
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y))))

series136.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
45.0ms
(/.f64 1 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))))
26.0ms
(/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y)))
41.0ms
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y))))

simplify57.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
051502794

prune284.0ms

Filtered
87 candidates to 140 candidates (-60.9%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1400140
Fresh033
Picked011
Done022
Total1406146

Merged error: 0.2b

Counts
146 → 6

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify21.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
000

prune0.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done033
Total066

Merged error: 0.2b

Counts
6 → 6

regimes249.0ms

Accuracy

78.8% (4.1b remaining)

Error of 4.5b against oracle of 0.4b and baseline of 19.8b

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02750
12750

end0.0ms

sample645.0ms

Algorithm
intervals
Results
316.0ms8000×body80valid
146.0ms8000×pre80true

Profiling

Loading profile data...