Details

Time bar (total: 9.6s)

analyze1.6s

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
0%99.7%0.3%13
0%99.7%0.3%14

sample51.0ms

Algorithm
intervals
Results
15.0ms168×body80invalid
14.0ms256×body80valid

simplify84.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
0499525
1499525

prune5.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: 5.4b

Counts
2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 4 (*.f64 t a))
0.2b
(*.f64 (*.f64 x 9) y)
3.0b
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
8.2b
(/.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))) c)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64 times-frac_binary64
14×pow1_binary64
6×pow-prod-down_binary64 associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64 associate-/l*_binary64
4×associate-/l/_binary64 add-log-exp_binary64 associate-*r*_binary64 associate-*l*_binary64 insert-posit16
2×cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
1×flip3-+_binary64 flip3--_binary64 div-sub_binary64 flip--_binary64 flip-+_binary64
Counts
4 → 99
Calls
4 calls:
6.0ms
(*.f64 4 (*.f64 t a))
6.0ms
(*.f64 (*.f64 x 9) y)
11.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
16.0ms
(/.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))) c)

series1.0s

Counts
4 → 12
Calls
4 calls:
189.0ms
(*.f64 4 (*.f64 t a))
179.0ms
(*.f64 (*.f64 x 9) y)
243.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
408.0ms
(/.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))) c)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0774954
1774954
0109
1109
0774954
1774954
0109
1109
013
113
0392432
1392432
0109
1109
0392432
1392432
0109
1109
013
113
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0269201
1269201
099
199
0269201
1269201
099
199
013
113

simplify134.0ms

Counts
111 → 111
Iterations

Useful iterations: 0 (99.0ms)

IterNodesCost
057732113

prune140.0ms

Filtered
79 candidates to 111 candidates (-40.5%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New9813111
Fresh011
Picked101
Done000
Total9914113

Merged error: 4.4b

Counts
113 → 14

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 4 (*.f64 t a))
0.2b
(*.f64 x (*.f64 9 y))
3.0b
(/.f64 (+.f64 (*.f64 x (*.f64 9 y)) b) z)
8.2b
(/.f64 (-.f64 (/.f64 (+.f64 (*.f64 x (*.f64 9 y)) b) z) (*.f64 4 (*.f64 t a))) c)

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64 times-frac_binary64
14×pow1_binary64
6×pow-prod-down_binary64 associate-/r*_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64 associate-/l*_binary64
4×associate-/l/_binary64 add-log-exp_binary64 insert-posit16
2×associate-*r*_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
1×flip3-+_binary64 flip3--_binary64 div-sub_binary64 flip--_binary64 flip-+_binary64
Counts
4 → 99
Calls
4 calls:
6.0ms
(*.f64 4 (*.f64 t a))
6.0ms
(*.f64 x (*.f64 9 y))
10.0ms
(/.f64 (+.f64 (*.f64 x (*.f64 9 y)) b) z)
15.0ms
(/.f64 (-.f64 (/.f64 (+.f64 (*.f64 x (*.f64 9 y)) b) z) (*.f64 4 (*.f64 t a))) c)

series1.0s

Counts
4 → 12
Calls
4 calls:
191.0ms
(*.f64 4 (*.f64 t a))
194.0ms
(*.f64 x (*.f64 9 y))
249.0ms
(/.f64 (+.f64 (*.f64 x (*.f64 9 y)) b) z)
410.0ms
(/.f64 (-.f64 (/.f64 (+.f64 (*.f64 x (*.f64 9 y)) b) z) (*.f64 4 (*.f64 t a))) c)
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0776954
1776954
0109
1109
0776954
1776954
0109
1109
013
113
0394432
1394432
0109
1109
0394432
1394432
0109
1109
013
113
0262189
1262189
02321
12321
0262189
1262189
02321
12321
0423
1423
0269201
1269201
099
199
0269201
1269201
099
199
013
113

simplify88.0ms

Counts
111 → 111
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
051012111

prune107.0ms

Filtered
76 candidates to 111 candidates (-46.1%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1101111
Fresh11213
Picked101
Done000
Total11213125

Merged error: 4.4b

Counts
125 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 4 (*.f64 t a))
0.2b
(*.f64 (*.f64 x 9) y)
3.0b
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
8.3b
(*.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))) (/.f64 1 c))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64
25×add-exp-log_binary64
23×*-un-lft-identity_binary64
22×add-cube-cbrt_binary64
21×add-cbrt-cube_binary64
20×times-frac_binary64
17×associate-*r*_binary64
16×pow1_binary64
10×prod-exp_binary64
8×cbrt-unprod_binary64
7×pow-prod-down_binary64 associate-*l*_binary64
4×add-log-exp_binary64 insert-posit16
3×associate-/r*_binary64 unswap-sqr_binary64 associate-/l*_binary64 div-exp_binary64 *-commutative_binary64
2×associate-/l/_binary64 flip3--_binary64 cbrt-undiv_binary64 div-inv_binary64 flip--_binary64 frac-times_binary64 associate-*l/_binary64
1×flip3-+_binary64 1-exp_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 un-div-inv_binary64 flip-+_binary64
Counts
4 → 109
Calls
4 calls:
6.0ms
(*.f64 4 (*.f64 t a))
6.0ms
(*.f64 (*.f64 x 9) y)
10.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
21.0ms
(*.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))) (/.f64 1 c))

series1.1s

Counts
4 → 12
Calls
4 calls:
191.0ms
(*.f64 4 (*.f64 t a))
175.0ms
(*.f64 (*.f64 x 9) y)
247.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
450.0ms
(*.f64 (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))) (/.f64 1 c))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
08081029
18081029
089
189
08081029
18081029
089
189
013
113
0392432
1392432
0109
1109
0392432
1392432
0109
1109
013
113
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0269201
1269201
099
199
0269201
1269201
099
199
013
113

simplify104.0ms

Counts
121 → 121
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
050512302

prune115.0ms

Filtered
80 candidates to 121 candidates (-51.3%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1192121
Fresh11112
Picked011
Done000
Total12014134

Merged error: 4.4b

Counts
134 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 x 9) y)
0.3b
(/.f64 1 (/.f64 c (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a)))))
3.0b
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
8.2b
(/.f64 c (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac_binary64
65×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
24×add-exp-log_binary64
21×associate-/r*_binary64
18×add-cbrt-cube_binary64
11×associate-/r/_binary64
10×pow1_binary64
9×associate-/l*_binary64 div-exp_binary64
7×div-inv_binary64
5×flip3--_binary64 cbrt-undiv_binary64 flip--_binary64
4×add-log-exp_binary64 insert-posit16
3×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64
2×associate-/l/_binary64 1-exp_binary64 rec-exp_binary64
1×flip3-+_binary64 associate-*l*_binary64 inv-pow_binary64 pow-flip_binary64 flip-+_binary64 *-commutative_binary64
Counts
4 → 164
Calls
4 calls:
6.0ms
(*.f64 (*.f64 x 9) y)
18.0ms
(/.f64 1 (/.f64 c (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a)))))
10.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
15.0ms
(/.f64 c (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))))

series1.6s

Counts
4 → 12
Calls
4 calls:
173.0ms
(*.f64 (*.f64 x 9) y)
685.0ms
(/.f64 1 (/.f64 c (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a)))))
243.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
505.0ms
(/.f64 c (-.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 4 (*.f64 t a))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
08541240
18541240
056439
156439
08541240
18541240
056439
156439
013
113
0392432
1392432
0109
1109
0392432
1392432
0109
1109
013
113
010311521
110311521
01261095
11261095
010311521
110311521
01261095
11261095
09917
19917
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113

simplify171.0ms

Counts
176 → 176
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
055125845

prune169.0ms

Filtered
117 candidates to 176 candidates (-50.4%)
Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New1733176
Fresh11112
Picked011
Done011
Total17416190

Merged error: 4.4b

Counts
190 → 16

regimes488.0ms

Accuracy

67% (2.3b remaining)

Error of 8.3b against oracle of 6.0b and baseline of 12.9b

bsearch2.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
0140263
1140263

end0.0ms

sample1.3s

Algorithm
intervals
Results
476.0ms8000×body80valid
293.0ms4736×body80invalid

Profiling

Loading profile data...