Details

Time bar (total: 7.6s)

analyze75.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%50%25.1%6
25%31.2%43.8%7
25%21.9%53.2%8
25%14%61%9
28.1%10.9%61%10
31.6%7.4%61%11
33.4%5.7%61%12
35.2%3.8%61%13
36.1%2.9%61%14

sample18.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify70.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
0504525

prune3.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.2b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))
0.0b
(+.f64 (*.f64 a a) (*.f64 b b))
0.0b
(*.f64 4 (*.f64 b b))
0.3b
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1_binary64 add-exp-log_binary64
9×add-cbrt-cube_binary64
8×add-log-exp_binary64 add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64 add-cube-cbrt_binary64
4×insert-posit16
3×pow-prod-down_binary64 pow-unpow_binary64 cbrt-unprod_binary64 associate-*l*_binary64 unpow-prod-down_binary64 prod-exp_binary64
2×flip3-+_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
1×pow-to-exp_binary64 associate-*r*_binary64 unpow2_binary64 pow-pow_binary64 sqr-pow_binary64 unswap-sqr_binary64 pow-exp_binary64 *-commutative_binary64
Counts
4 → 63
Calls
4 calls:
10.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))
5.0ms
(+.f64 (*.f64 a a) (*.f64 b b))
6.0ms
(*.f64 4 (*.f64 b b))
6.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)

series910.0ms

Counts
4 → 12
Calls
4 calls:
267.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))
174.0ms
(+.f64 (*.f64 a a) (*.f64 b b))
231.0ms
(*.f64 4 (*.f64 b b))
237.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0371621
1371621
0129
1129
0371621
1371621
0129
1129
013
113
0264357
1264357
03333
13333
0264357
1264357
03333
13333
05333
15333
0233243
1233243
089
189
0233243
1233243
089
189
013
113
0466825
1466825
0139
1139
0466825
1466825
0139
1139
013
113

simplify123.0ms

Counts
75 → 75
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
049141000
149141000

prune72.0ms

Filtered
54 candidates to 75 candidates (-38.9%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New67875
Fresh000
Picked101
Done000
Total68876

Merged error: 0.1b

Counts
76 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
0.3b
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
15.9b
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
15.9b
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64
8×pow1_binary64
6×pow-unpow_binary64 add-exp-log_binary64 unpow-prod-down_binary64 sqrt-prod_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 insert-posit16 sqrt-div_binary64
2×pow-to-exp_binary64 flip3-+_binary64 pow1/2_binary64 unpow2_binary64 pow-pow_binary64 sqr-pow_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 flip-+_binary64 pow-exp_binary64
Counts
4 → 70
Calls
4 calls:
6.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
6.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
9.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
9.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))

series1.1s

Counts
4 → 12
Calls
4 calls:
230.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
230.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
309.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
310.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05321035
15321035
02945
12945
05321035
15321035
02945
12945
01689
11689
05321035
15321035
02945
12945
05321035
15321035
02945
12945
01689
11689
0371621
1371621
0129
1129
0371621
1371621
0129
1129
013
113
0371621
1371621
0129
1129
0371621
1371621
0129
1129
013
113

simplify109.0ms

Counts
82 → 82
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
050331576

prune106.0ms

Filtered
54 candidates to 82 candidates (-51.9%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New79382
Fresh167
Picked011
Done000
Total801090

Merged error: 0.0b

Counts
90 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))))
15.9b
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
16.5b
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
16.5b
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64
11×*-un-lft-identity_binary64 add-cube-cbrt_binary64 sqrt-prod_binary64
10×cbrt-prod_binary64
9×associate-*r*_binary64
7×pow1_binary64
6×cbrt-div_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×flip3-+_binary64 add-log-exp_binary64 insert-posit16 flip-+_binary64 sqrt-div_binary64
3×associate-*l*_binary64 unswap-sqr_binary64
2×associate-*r/_binary64 pow1/3_binary64
1×pow-prod-down_binary64 pow1/2_binary64 cbrt-unprod_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 prod-exp_binary64 *-commutative_binary64
Counts
4 → 73
Calls
4 calls:
15.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))))
9.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
9.0ms
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
9.0ms
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))

series2.0s

Counts
4 → 12
Calls
4 calls:
480.0ms
(*.f64 (fabs.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))) (sqrt.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))))
315.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
605.0ms
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
601.0ms
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
01341877
11341877
048921697
148921697
01341877
11341877
048921697
148921697
0476120
1476120
01341877
11341877
048921697
148921697
01341877
11341877
048921697
148921697
0476120
1476120
05321035
15321035
02945
12945
05321035
15321035
02945
12945
01689
11689
03222251
13222251
048061889
148061889
03222251
13222251
048061889
148061889
0483729
1483729

simplify158.0ms

Counts
85 → 85
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
049473293
149473293

prune195.0ms

Filtered
69 candidates to 85 candidates (-23.2%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New82385
Fresh088
Picked011
Done101
Total831295

Merged error: 0.0b

Counts
95 → 12

localize22.0ms

Local error

Found 4 expressions with local error:

15.9b
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
15.9b
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
15.9b
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
16.5b
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
9×sqrt-prod_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64
7×pow1_binary64
6×sqrt-div_binary64
4×flip3-+_binary64 add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 flip-+_binary64
3×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 cbrt-prod_binary64
2×cbrt-div_binary64
1×pow1/3_binary64
Counts
4 → 62
Calls
4 calls:
11.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
9.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
9.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
9.0ms
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))

series1.5s

Counts
4 → 12
Calls
4 calls:
311.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
311.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
316.0ms
(sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
608.0ms
(cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
01341877
11341877
048921697
148921697
01341877
11341877
048921697
148921697
0476120
1476120
05321035
15321035
02945
12945
05321035
15321035
02945
12945
01689
11689
05321035
15321035
02945
12945
05321035
15321035
02945
12945
01689
11689
05321035
15321035
02945
12945
05321035
15321035
02945
12945
01689
11689

simplify128.0ms

Counts
74 → 74
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
048732017
148732017

prune164.0ms

Filtered
57 candidates to 74 candidates (-29.8%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New74074
Fresh01010
Picked011
Done011
Total741286

Merged error: 0.0b

Counts
86 → 12

regimes150.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
037113
137113

end0.0ms

sample517.0ms

Algorithm
intervals
Results
364.0ms8000×body80valid
0.0ms8×body80invalid

Profiling

Loading profile data...