Details

Time bar (total: 5.0s)

analyze81.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
12.5%87.4%0.1%4
25%74.9%0.1%5
31.2%68.7%0.1%6
67.1%32.8%0.1%7
71%28.9%0.1%8
82.3%17.6%0.1%9
84.9%15%0.1%10
90.8%9.1%0.1%11
92.2%7.7%0.1%12
95.3%4.6%0.1%13
96%3.9%0.1%14

sample19.0ms

Algorithm
intervals
Results
5.0ms182×body80valid
3.0ms30×body640valid
2.0ms16×body1280valid
2.0ms21×body320valid
0.0ms7×body160valid

simplify504.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
052316
152316

prune2.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: 25.2b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity_binary64_12037
15×add-sqr-sqrt_binary64_12022
10×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
7×add-cube-cbrt_binary64_12008
6×associate-*l*_binary64_12097
5×pow1_binary64_11979 add-log-exp_binary64_12002
4×difference-of-squares_binary64_12066 associate-*l/_binary64_12099 associate-/r*_binary64_12100 times-frac_binary64_12032
3×associate-*r*_binary64_12096 flip3--_binary64_12036 flip--_binary64_12063
2×div-exp_binary64_11986 prod-exp_binary64_11984 distribute-lft-out--_binary64_12082 distribute-lft-out_binary64_12081 associate-/r/_binary64_12102 cbrt-undiv_binary64_12007 associate-/l/_binary64_12103 cbrt-unprod_binary64_12006
1×div-inv_binary64_12038 unswap-sqr_binary64_12065 sub-neg_binary64_12041 pow-prod-down_binary64_11960 diff-log_binary64_11948 clear-num_binary64_12040 associate-/l*_binary64_12101 *-commutative_binary64_12105 flip-+_binary64_12062 flip3-+_binary64_12035 frac-2neg_binary64_12030
Counts
3 → 64
Calls
3 calls:
9.0ms
(*.f64 (-.f64 1 x) y)
10.0ms
(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
12.0ms
(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

series579.0ms

Counts
3 → 9
Calls
3 calls:
115.0ms
(*.f64 (-.f64 1 x) y)
232.0ms
(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
232.0ms
(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01332583
11332583
049542307
149542307
01332583
11332583
049542307
149542307
013
113
01242610
11242610
050662333
01242610
11242610
050662333
013
113
0872373
1872373
0122223
1122223
0872373
1872373
0122223
1122223
013
113

simplify83.0ms

Counts
73 → 73
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
050411000

prune81.0ms

Filtered
52 candidates to 73 candidates (-40.4%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New611273
Fresh000
Picked101
Done000
Total621274

Merged error: 17.0b

Counts
74 → 12

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity_binary64_12037
29×add-sqr-sqrt_binary64_12022
25×times-frac_binary64_12032
21×add-cube-cbrt_binary64_12008
18×associate-*r*_binary64_12096
10×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
7×distribute-lft-out_binary64_12081
6×associate-*l*_binary64_12097
5×pow1_binary64_11979 add-log-exp_binary64_12002
4×associate-/r/_binary64_12102 associate-/r*_binary64_12100
3×associate-/l*_binary64_12101 flip3--_binary64_12036 flip--_binary64_12063
2×div-inv_binary64_12038 unswap-sqr_binary64_12065 div-exp_binary64_11986 prod-exp_binary64_11984 difference-of-squares_binary64_12066 associate-*l/_binary64_12099 frac-times_binary64_12029 cbrt-undiv_binary64_12007 flip-+_binary64_12062 flip3-+_binary64_12035 cbrt-unprod_binary64_12006
1×sub-neg_binary64_12041 pow-prod-down_binary64_11960 distribute-lft-out--_binary64_12082 diff-log_binary64_11948 clear-num_binary64_12040 *-commutative_binary64_12105 associate-*r/_binary64_12098 frac-2neg_binary64_12030
Counts
3 → 88
Calls
3 calls:
16.0ms
(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
6.0ms
(/.f64 y (+.f64 1 y))
5.0ms
(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))

series799.0ms

Counts
3 → 9
Calls
3 calls:
323.0ms
(*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y)))
200.0ms
(/.f64 y (+.f64 1 y))
275.0ms
(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 y (+.f64 1 y))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01232610
11232610
047912289
147912289
01232610
11232610
047912289
147912289
013
113
01801595
11801595
049011320
149011320
01801595
11801595
049011320
149011320
013
113
01142583
11142583
046882273
146882273
01142583
11142583
046882273
146882273
013
113

simplify127.0ms

Counts
97 → 97
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
058171412

prune83.0ms

Filtered
66 candidates to 97 candidates (-47.0%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New95297
Fresh2911
Picked011
Done000
Total9712109

Merged error: 17.0b

Counts
109 → 12

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity_binary64_12037
41×times-frac_binary64_12032
39×add-sqr-sqrt_binary64_12022
26×associate-*l*_binary64_12097
25×add-cube-cbrt_binary64_12008
20×distribute-lft-out_binary64_12081
10×add-cbrt-cube_binary64_12009 add-exp-log_binary64_12001
9×difference-of-sqr--1_binary64_12068
5×associate-/l*_binary64_12101 pow1_binary64_11979 add-log-exp_binary64_12002
4×associate-/r/_binary64_12102 associate-/r*_binary64_12100 flip-+_binary64_12062 flip3-+_binary64_12035
3×associate-*r*_binary64_12096
2×div-inv_binary64_12038 unswap-sqr_binary64_12065 div-exp_binary64_11986 prod-exp_binary64_11984 cbrt-undiv_binary64_12007 associate-/l/_binary64_12103 cbrt-unprod_binary64_12006
1×pow-prod-down_binary64_11960 +-commutative_binary64_12104 associate-*l/_binary64_12099 clear-num_binary64_12040 *-commutative_binary64_12105 sum-log_binary64_11947 frac-2neg_binary64_12030
Counts
3 → 101
Calls
3 calls:
9.0ms
(/.f64 (+.f64 x -1) (+.f64 1 y))
15.0ms
(*.f64 (/.f64 (+.f64 x -1) (+.f64 1 y)) y)
5.0ms
(+.f64 1 (*.f64 (/.f64 (+.f64 x -1) (+.f64 1 y)) y))

series800.0ms

Counts
3 → 9
Calls
3 calls:
254.0ms
(/.f64 (+.f64 x -1) (+.f64 1 y))
279.0ms
(*.f64 (/.f64 (+.f64 x -1) (+.f64 1 y)) y)
267.0ms
(+.f64 1 (*.f64 (/.f64 (+.f64 x -1) (+.f64 1 y)) y))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01242616
11242616
048722298
148722298
01242616
11242616
048722298
148722298
013
113
01152589
11152589
049022328
149022328
01152589
11152589
049022328
149022328
013
113
01182458
11182458
050002283
01182458
11182458
050002283
013
113

simplify124.0ms

Counts
110 → 110
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
050401743

prune106.0ms

Filtered
75 candidates to 110 candidates (-46.7%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New10010110
Fresh5510
Picked101
Done011
Total10616122

Merged error: 17.0b

Counts
122 → 16

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt.f64 (+.f64 1 y))
0.3b
(cbrt.f64 (+.f64 1 y))
0.3b
(*.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (+.f64 1 y)))
12.2b
(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 (/.f64 y (*.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (+.f64 1 y)))) (cbrt.f64 (+.f64 1 y)))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity_binary64_12037 cbrt-prod_binary64_12004
22×add-sqr-sqrt_binary64_12022
16×cbrt-div_binary64_12005
14×add-cube-cbrt_binary64_12008
11×pow1_binary64_11979
9×swap-sqr_binary64_12064
8×distribute-lft-out_binary64_12081 pow1/3_binary64_11971 flip-+_binary64_12062 flip3-+_binary64_12035
7×associate-*r*_binary64_12096 associate-*l*_binary64_12097
6×add-exp-log_binary64_12001 add-log-exp_binary64_12002
4×unswap-sqr_binary64_12065 frac-times_binary64_12029 add-cbrt-cube_binary64_12009
2×pow-prod-down_binary64_11960 associate-*l/_binary64_12099 pow-sqr_binary64_12070 associate-*r/_binary64_12098 pow-prod-up_binary64_11959
1×sub-neg_binary64_12041 prod-exp_binary64_11984 diff-log_binary64_11948 pow-plus_binary64_11974 *-commutative_binary64_12105 pow2_binary64_11970 cbrt-unprod_binary64_12006 flip3--_binary64_12036 flip--_binary64_12063
Counts
4 → 92
Calls
4 calls:
4.0ms
(cbrt.f64 (+.f64 1 y))
4.0ms
(cbrt.f64 (+.f64 1 y))
13.0ms
(*.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (+.f64 1 y)))
5.0ms
(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 (/.f64 y (*.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (+.f64 1 y)))) (cbrt.f64 (+.f64 1 y)))))

series547.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(cbrt.f64 (+.f64 1 y))
88.0ms
(cbrt.f64 (+.f64 1 y))
125.0ms
(*.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (+.f64 1 y)))
245.0ms
(-.f64 1 (*.f64 (-.f64 1 x) (/.f64 (/.f64 y (*.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (+.f64 1 y)))) (cbrt.f64 (+.f64 1 y)))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01562910
11562910
056072487
01562910
11562910
056072487
013
113
0662037
1662037
03062016
13062016
0662037
1662037
03062016
13062016
013
113
0361941
1361941
0481926
1481926
0361941
1361941
0481926
1481926
013
113
0361941
1361941
0481926
1481926
0361941
1361941
0481926
1481926
013
113

simplify155.0ms

Counts
104 → 104
Iterations

Useful iterations: 0 (126.0ms)

IterNodesCost
049321395
149321395

prune105.0ms

Filtered
70 candidates to 104 candidates (-48.6%)
Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New1004104
Fresh31114
Picked011
Done011
Total10317120

Merged error: 16.9b

Counts
120 → 17

regimes108.0ms

Accuracy

0% (0.4b remaining)

Error of 14.5b against oracle of 14.1b and baseline of 14.5b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
09916
19916

end0.0ms

sample526.0ms

Algorithm
intervals
Results
194.0ms6074×body80valid
80.0ms711×body640valid
52.0ms362×body1280valid
48.0ms560×body320valid
17.0ms293×body160valid

Profiling

Loading profile data...