Details

Time bar (total: 14.9s)

analyze2.4s

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%98.1%1.9%7
0%98.1%1.9%8
0%97.8%2.2%9
0%96.8%3.2%10
0%96.3%3.7%11
0%94.3%5.7%12
0.4%92.1%7.5%13
0.6%90.8%8.6%14

sample104.0ms

Algorithm
intervals
Results
45.0ms456×body80nan
24.0ms256×body80valid
4.0ms47×body80invalid

simplify113.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
0545439

prune6.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 33.6b

Counts
2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

5.3b
(*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))
6.5b
(*.f64 (/.f64 l Om) (-.f64 U* U))
8.9b
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
22.8b
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1_binary64
27×add-exp-log_binary64 add-cbrt-cube_binary64
21×add-sqr-sqrt_binary64
17×associate-*l*_binary64
16×pow-prod-down_binary64 *-un-lft-identity_binary64
14×add-cube-cbrt_binary64
13×cbrt-unprod_binary64 associate-*r/_binary64 prod-exp_binary64
10×times-frac_binary64
9×associate-*r*_binary64
6×sub-neg_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
4×add-log-exp_binary64 flip3--_binary64 sqrt-pow1_binary64 insert-posit16 flip--_binary64 frac-times_binary64
3×*-commutative_binary64
2×flip3-+_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-exp_binary64 flip-+_binary64 sqrt-div_binary64 associate-*l/_binary64
1×pow1/2_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 div-inv_binary64 sqrt-prod_binary64
Counts
4 → 113
Calls
4 calls:
12.0ms
(*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))
12.0ms
(*.f64 (/.f64 l Om) (-.f64 U* U))
11.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
8.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
323.0ms
(*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))
237.0ms
(*.f64 (/.f64 l Om) (-.f64 U* U))
603.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
947.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
011261763
111261763
01661157
11661157
011261763
111261763
01661157
11661157
014627
114627
010351579
110351579
062451
162451
010351579
110351579
062451
162451
013
113
0356381
1356381
02333
12333
0356381
1356381
02333
12333
0223
1223
0498570
1498570
04145
14145
0498570
1498570
04145
14145
0223
1223

simplify88.0ms

Counts
125 → 125
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
055342741

prune160.0ms

Filtered
82 candidates to 125 candidates (-52.4%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New11411125
Fresh011
Picked101
Done000
Total11512127

Merged error: 25.9b

Counts
127 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

5.3b
(*.f64 n (/.f64 l Om))
6.5b
(*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))
8.9b
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))))))
22.8b
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U)))))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1_binary64
27×add-exp-log_binary64 add-cbrt-cube_binary64
21×associate-*r*_binary64 add-sqr-sqrt_binary64
16×pow-prod-down_binary64 *-un-lft-identity_binary64
14×add-cube-cbrt_binary64
13×cbrt-unprod_binary64 prod-exp_binary64
10×associate-*r/_binary64 times-frac_binary64
5×associate-*l*_binary64
4×add-log-exp_binary64 sqrt-pow1_binary64 insert-posit16
3×*-commutative_binary64
2×flip3-+_binary64 sub-neg_binary64 flip3--_binary64 cbrt-undiv_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 div-exp_binary64 flip--_binary64 flip-+_binary64 frac-times_binary64 sqrt-div_binary64
1×pow1/2_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 div-inv_binary64 sqrt-prod_binary64 associate-*l/_binary64
Counts
4 → 105
Calls
4 calls:
9.0ms
(*.f64 n (/.f64 l Om))
16.0ms
(*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))
14.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))))))
9.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U)))))))

series1.8s

Counts
4 → 12
Calls
4 calls:
230.0ms
(*.f64 n (/.f64 l Om))
290.0ms
(*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))
559.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))))))
690.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U)))))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
010951763
110951763
01521151
11521151
010951763
110951763
01521151
11521151
014627
114627
010041567
110041567
058451
158451
010041567
110041567
058451
158451
013
113
0444546
1444546
02333
12333
0444546
1444546
02333
12333
0223
1223
0360321
1360321
089
189
0360321
1360321
089
189
013
113

simplify118.0ms

Counts
117 → 117
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
049722525
149722525

prune115.0ms

Filtered
74 candidates to 117 candidates (-58.1%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1143117
Fresh11011
Picked011
Done000
Total11514129

Merged error: 25.8b

Counts
129 → 14

localize22.0ms

Local error

Found 4 expressions with local error:

13.9b
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
13.9b
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
13.9b
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
22.8b
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U))) (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))) (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U))))))))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-div_binary64
14×pow1_binary64
8×associate-*r/_binary64
6×pow-prod-down_binary64 flip3--_binary64 flip--_binary64 frac-times_binary64
4×*-un-lft-identity_binary64 add-log-exp_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-pow1_binary64 add-sqr-sqrt_binary64 insert-posit16
3×pow1/3_binary64 cbrt-prod_binary64 associate-*l/_binary64
2×sqrt-div_binary64
1×flip3-+_binary64 pow1/2_binary64 sqrt-prod_binary64 flip-+_binary64
Counts
4 → 61
Calls
4 calls:
8.0ms
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
8.0ms
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
8.0ms
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
11.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U))) (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))) (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U))))))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
183.0ms
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
182.0ms
(cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))
588.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U))) (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U)))) (cbrt.f64 (*.f64 (/.f64 l Om) (-.f64 U* U))))))))))
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
012142504
112142504
01851622
11851622
012142504
112142504
01851622
11851622
011533
111533
02021740
12021740
0831625
1831625
02021740
12021740
0831625
1831625
011533
111533
02021740
12021740
0831625
1831625
02021740
12021740
0831625
1831625
011533
111533
02021740
12021740
0831625
1831625
02021740
12021740
0831625
1831625
011533
111533

simplify131.0ms

Counts
73 → 73
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
050291540

prune114.0ms

Filtered
64 candidates to 73 candidates (-14.1%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New72173
Fresh11112
Picked011
Done011
Total731487

Merged error: 25.8b

Counts
87 → 14

localize24.0ms

Local error

Found 4 expressions with local error:

8.9b
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
8.9b
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
22.8b
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
22.8b
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
42×pow1_binary64
24×pow-prod-down_binary64
22×add-exp-log_binary64 add-cbrt-cube_binary64
12×cbrt-unprod_binary64 prod-exp_binary64
8×associate-*r/_binary64 sqrt-pow1_binary64
6×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×flip3-+_binary64 add-log-exp_binary64 insert-posit16 flip-+_binary64 sqrt-div_binary64
2×pow1/2_binary64 distribute-lft-in_binary64 associate-*l*_binary64 distribute-rgt-in_binary64 sqrt-prod_binary64 *-commutative_binary64
Counts
4 → 84
Calls
4 calls:
12.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
12.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
9.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
9.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))

series2.7s

Counts
4 → 12
Calls
4 calls:
613.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
610.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
747.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
748.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
011261763
111261763
01661157
11661157
011261763
111261763
01661157
11661157
014627
114627
011261763
111261763
01661157
11661157
011261763
111261763
01661157
11661157
014627
114627
010351579
110351579
062451
162451
010351579
110351579
062451
162451
013
113
010351579
110351579
062451
162451
010351579
110351579
062451
162451
013
113

simplify118.0ms

Counts
96 → 96
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
050273400

prune131.0ms

Filtered
60 candidates to 96 candidates (-60.0%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New95196
Fresh01111
Picked011
Done112
Total9614110

Merged error: 25.8b

Counts
110 → 14

regimes415.0ms

Accuracy

39.9% (5.0b remaining)

Error of 27.3b against oracle of 22.3b and baseline of 30.6b

bsearch2.0ms

simplify15.0ms

Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0228262
1228262

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.2s12702×body80nan
767.0ms8000×body80valid
114.0ms1149×body80invalid

Profiling

Loading profile data...