Details

Time bar (total: 8.8s)

analyze2.2s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
5.1%94.6%0.3%13
7%92.7%0.3%14

sample51.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
7.0ms92×body80nan
3.0ms44×body80invalid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
0490418
1490418

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 15.6b

Counts
2 → 1

localize235.0ms

Local error

Found 4 expressions with local error:

2.9b
(*.f64 w0 (sqrt.f64 (-.f64 1.0 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l)))))
4.0b
(sqrt.f64 (-.f64 1.0 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l))))
5.0b
(/.f64 (*.f64 M D) (*.f64 2.0 d))
12.0b
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
67×add-exp-log_binary64
35×add-sqr-sqrt_binary64
27×prod-exp_binary64
23×add-cbrt-cube_binary64
19×associate-*r*_binary64 div-exp_binary64
17×*-un-lft-identity_binary64 add-cube-cbrt_binary64
14×times-frac_binary64
12×associate-*l*_binary64
10×pow-exp_binary64
8×unswap-sqr_binary64
7×pow1_binary64 cbrt-unprod_binary64 unpow-prod-down_binary64 sqrt-prod_binary64
5×cbrt-undiv_binary64
4×add-log-exp_binary64 sqrt-div_binary64
3×associate-*r/_binary64 sqr-pow_binary64 div-inv_binary64
2×pow-to-exp_binary64 flip3--_binary64 flip--_binary64 *-commutative_binary64
1×pow-prod-down_binary64 associate-/r*_binary64 pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64
Counts
4 → 113
Calls
4 calls:
8.0ms
(*.f64 w0 (sqrt.f64 (-.f64 1.0 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l)))))
4.0ms
(sqrt.f64 (-.f64 1.0 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l))))
6.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
11.0ms
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l))

series652.0ms

Counts
4 → 12
Calls
4 calls:
233.0ms
(*.f64 w0 (sqrt.f64 (-.f64 1.0 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l)))))
184.0ms
(sqrt.f64 (-.f64 1.0 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l))))
8.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
228.0ms
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0) (/.f64 h l))

simplify71.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049771927
149771927

prune182.0ms

Filtered
84 candidates to 125 candidates (-48.8%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1187125
Fresh000
Picked101
Done000
Total1197126

Merged error: 8.2b

Counts
126 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt.f64 (-.f64 1.0 (*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (/.f64 1 l))))
4.8b
(*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (/.f64 1 l))
5.0b
(/.f64 (*.f64 M D) (*.f64 2.0 d))
5.4b
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
165×add-exp-log_binary64
91×prod-exp_binary64
40×div-exp_binary64
30×add-cbrt-cube_binary64
25×pow-exp_binary64
22×associate-*r*_binary64
21×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
11×cbrt-unprod_binary64 times-frac_binary64
8×1-exp_binary64 rec-exp_binary64
7×pow1_binary64
6×cbrt-undiv_binary64 unpow-prod-down_binary64
5×pow-to-exp_binary64
4×add-log-exp_binary64 associate-*l*_binary64
3×unswap-sqr_binary64 div-inv_binary64 sqrt-prod_binary64
2×sqr-pow_binary64 sqrt-div_binary64 *-commutative_binary64
1×pow-prod-down_binary64 associate-/r*_binary64 pow1/2_binary64 flip3--_binary64 associate-*r/_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 un-div-inv_binary64 flip--_binary64
Counts
4 → 128
Calls
4 calls:
5.0ms
(sqrt.f64 (-.f64 1.0 (*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (/.f64 1 l))))
12.0ms
(*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (/.f64 1 l))
6.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
8.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0))

series700.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(sqrt.f64 (-.f64 1.0 (*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (/.f64 1 l))))
195.0ms
(*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (/.f64 1 l))
8.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
338.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0))

simplify37.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
050851894

prune147.0ms

Filtered
76 candidates to 140 candidates (-84.2%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1382140
Fresh156
Picked011
Done000
Total1398147

Merged error: 7.7b

Counts
147 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

4.7b
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)))
4.8b
(*.f64 (*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2))) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2))) (/.f64 1 l))
5.0b
(/.f64 (*.f64 M D) (*.f64 2.0 d))
5.0b
(/.f64 (*.f64 M D) (*.f64 2.0 d))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
1402×add-exp-log_binary64
907×prod-exp_binary64
366×div-exp_binary64
305×pow-exp_binary64
61×pow-to-exp_binary64
57×1-exp_binary64 rec-exp_binary64
51×add-cbrt-cube_binary64
22×associate-*r*_binary64
21×cbrt-unprod_binary64
19×add-sqr-sqrt_binary64
14×*-un-lft-identity_binary64 add-cube-cbrt_binary64
12×times-frac_binary64
11×cbrt-undiv_binary64
6×pow1_binary64 unpow-prod-down_binary64
4×add-log-exp_binary64 associate-*l*_binary64 div-inv_binary64
3×unswap-sqr_binary64
2×associate-/r*_binary64 sqr-pow_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 *-commutative_binary64
1×pow-prod-down_binary64 associate-*r/_binary64 un-div-inv_binary64
Counts
4 → 332
Calls
4 calls:
8.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)))
20.0ms
(*.f64 (*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2))) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2))) (/.f64 1 l))
7.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
6.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))

series558.0ms

Counts
4 → 12
Calls
4 calls:
338.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)))
205.0ms
(*.f64 (*.f64 (*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2))) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2))) (/.f64 1 l))
8.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
8.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))

simplify70.0ms

Algorithm
egg-herbie
Counts
344 → 344
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
052475619

prune173.0ms

Filtered
77 candidates to 344 candidates (-346.8%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New3422344
Fresh156
Picked101
Done011
Total3448352

Merged error: 7.5b

Counts
352 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

4.7b
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)))
5.0b
(/.f64 (*.f64 M D) (*.f64 2.0 d))
5.0b
(/.f64 (*.f64 M D) (*.f64 2.0 d))
6.5b
(/.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)) l)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
70×add-exp-log_binary64
34×times-frac_binary64
32×add-cbrt-cube_binary64
30×add-sqr-sqrt_binary64
26×unpow-prod-down_binary64
25×*-un-lft-identity_binary64 add-cube-cbrt_binary64
23×prod-exp_binary64 div-exp_binary64
11×associate-/l*_binary64
10×pow-exp_binary64
9×cbrt-unprod_binary64 associate-*r*_binary64 cbrt-undiv_binary64
8×div-inv_binary64
6×sqr-pow_binary64
5×associate-/r*_binary64
4×add-log-exp_binary64 pow1_binary64
3×associate-*l*_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64
2×pow-to-exp_binary64
1×*-commutative_binary64
Counts
4 → 130
Calls
4 calls:
7.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)))
6.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
6.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
8.0ms
(/.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)) l)

series544.0ms

Counts
4 → 12
Calls
4 calls:
334.0ms
(*.f64 h (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)))
8.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
8.0ms
(/.f64 (*.f64 M D) (*.f64 2.0 d))
194.0ms
(/.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) (/.f64 2.0 2)) l)

simplify58.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049862094
149862094

prune190.0ms

Filtered
98 candidates to 142 candidates (-44.9%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1420142
Fresh066
Picked011
Done011
Total1428150

Merged error: 7.5b

Counts
150 → 8

regimes1.2s

Accuracy

0% (1.2b remaining)

Error of 8.4b against oracle of 7.2b and baseline of 8.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06832
16832

end0.0ms

sample1.4s

Algorithm
intervals
Results
613.0ms8000×body80valid
250.0ms3180×body80nan
109.0ms1359×body80invalid

Profiling

Loading profile data...