Details

Time bar (total: 10.7s)

analyze1.1s

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
9.4%90.4%0.2%11
9.4%90.4%0.2%12
10.1%89.6%0.2%13
20.8%78.9%0.2%14

sample29.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
4.0ms94×body80invalid

simplify281.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (264.0ms)

IterNodesCost
0483819
1483819

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 6.5b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
0.3b
(*.f64 (*.f64 z 9) t)
6.1b
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) (*.f64 a 2))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log_binary64 add-cbrt-cube_binary64
8×pow1_binary64
6×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
5×add-log-exp_binary64
4×cbrt-unprod_binary64 prod-exp_binary64
3×pow-prod-down_binary64 associate-*r*_binary64 associate-/l*_binary64 times-frac_binary64 insert-posit16
2×associate-/l/_binary64 flip3--_binary64 cbrt-undiv_binary64 div-exp_binary64 flip--_binary64
1×associate-/r*_binary64 sub-neg_binary64 diff-log_binary64 associate-*l*_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 *-commutative_binary64
Counts
3 → 56
Calls
3 calls:
5.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
11.0ms
(*.f64 (*.f64 z 9) t)
9.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) (*.f64 a 2))

series768.0ms

Counts
3 → 9
Calls
3 calls:
235.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
177.0ms
(*.f64 (*.f64 z 9) t)
357.0ms
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) (*.f64 a 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0605630
1605630
02924
12924
0605630
1605630
02924
12924
03020
13020
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0378309
1378309
0159
1159
0378309
1378309
0159
1159
013
113

simplify31.0ms

Counts
65 → 65
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
03101188
13101188

prune80.0ms

Filtered
51 candidates to 65 candidates (-27.5%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New521365
Fresh000
Picked101
Done000
Total531366

Merged error: 6.2b

Counts
66 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (/.f64 (*.f64 x y) (*.f64 a 2)) (/.f64 (*.f64 (*.f64 z 9) t) (*.f64 a 2)))
0.3b
(*.f64 (*.f64 z 9) t)
5.4b
(/.f64 (*.f64 (*.f64 z 9) t) (*.f64 a 2))
5.8b
(/.f64 (*.f64 x y) (*.f64 a 2))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
42×add-exp-log_binary64 add-cbrt-cube_binary64
16×cbrt-unprod_binary64 prod-exp_binary64
10×cbrt-undiv_binary64 div-exp_binary64
9×pow1_binary64
7×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
6×add-log-exp_binary64
5×add-cube-cbrt_binary64
4×div-inv_binary64 insert-posit16
3×pow-prod-down_binary64 associate-*r*_binary64
2×associate-/r*_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 times-frac_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 distribute-rgt-out--_binary64 associate-*l*_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 sub-div_binary64 flip--_binary64 frac-sub_binary64 *-commutative_binary64
Counts
4 → 84
Calls
4 calls:
11.0ms
(-.f64 (/.f64 (*.f64 x y) (*.f64 a 2)) (/.f64 (*.f64 (*.f64 z 9) t) (*.f64 a 2)))
6.0ms
(*.f64 (*.f64 z 9) t)
10.0ms
(/.f64 (*.f64 (*.f64 z 9) t) (*.f64 a 2))
7.0ms
(/.f64 (*.f64 x y) (*.f64 a 2))

series1.2s

Counts
4 → 12
Calls
4 calls:
458.0ms
(-.f64 (/.f64 (*.f64 x y) (*.f64 a 2)) (/.f64 (*.f64 (*.f64 z 9) t) (*.f64 a 2)))
176.0ms
(*.f64 (*.f64 z 9) t)
275.0ms
(/.f64 (*.f64 (*.f64 z 9) t) (*.f64 a 2))
266.0ms
(/.f64 (*.f64 x y) (*.f64 a 2))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0433384
1433384
02924
12924
0433384
1433384
02924
12924
04923
14923
0451462
1451462
03024
13024
0451462
1451462
03024
13024
04923
14923
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0739846
1739846
0169
1169
0739846
1739846
0169
1169
013
113

simplify38.0ms

Counts
96 → 96
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
04211716
14211716

prune102.0ms

Filtered
74 candidates to 96 candidates (-29.7%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New91596
Fresh6612
Picked101
Done000
Total9811109

Merged error: 0.3b

Counts
109 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
0.3b
(*.f64 (*.f64 z 9) t)
0.4b
(/.f64 1 (/.f64 a (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2)))
6.1b
(/.f64 a (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
471×times-frac_binary64
232×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
57×associate-/r*_binary64
35×add-exp-log_binary64
23×add-cbrt-cube_binary64
22×div-inv_binary64
18×div-exp_binary64
10×pow1_binary64
9×cbrt-undiv_binary64
6×add-log-exp_binary64 associate-/r/_binary64 associate-/l*_binary64
4×insert-posit16
3×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 1-exp_binary64 prod-exp_binary64 rec-exp_binary64
2×clear-num_binary64 frac-2neg_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 associate-*l*_binary64 inv-pow_binary64 flip--_binary64 pow-flip_binary64 *-commutative_binary64
Counts
4 → 307
Calls
4 calls:
5.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
6.0ms
(*.f64 (*.f64 z 9) t)
17.0ms
(/.f64 1 (/.f64 a (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2)))
9.0ms
(/.f64 a (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2))

series1.7s

Counts
4 → 12
Calls
4 calls:
236.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
177.0ms
(*.f64 (*.f64 z 9) t)
822.0ms
(/.f64 1 (/.f64 a (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2)))
481.0ms
(/.f64 a (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0824894
1824894
0169
1169
0824894
1824894
0169
1169
013
113
09721267
19721267
0104445
1104445
09721267
19721267
0104445
1104445
0590039
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0378309
1378309
0159
1159
0378309
1378309
0159
1159
013
113

simplify198.0ms

Counts
319 → 319
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
0501611131

prune378.0ms

Filtered
219 candidates to 319 candidates (-45.7%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New3145319
Fresh5510
Picked101
Done000
Total32010330

Merged error: 0.3b

Counts
330 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
0.3b
(*.f64 (*.f64 z 9) t)
0.8b
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2))
5.4b
(/.f64 (/.f64 1 a) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2)))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
1976×times-frac_binary64
852×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
107×div-inv_binary64
103×add-exp-log_binary64
77×div-exp_binary64
57×associate-/r*_binary64
35×add-cbrt-cube_binary64
18×cbrt-undiv_binary64
17×1-exp_binary64 rec-exp_binary64
16×associate-/r/_binary64 associate-/l*_binary64
10×pow1_binary64
6×add-log-exp_binary64
4×insert-posit16
3×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r*_binary64 prod-exp_binary64
2×clear-num_binary64 frac-2neg_binary64
1×associate-/l/_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 associate-*l*_binary64 inv-pow_binary64 flip--_binary64 pow-flip_binary64 *-commutative_binary64
Counts
4 → 784
Calls
4 calls:
5.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
6.0ms
(*.f64 (*.f64 z 9) t)
10.0ms
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2))
34.0ms
(/.f64 (/.f64 1 a) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2)))

series2.0s

Counts
4 → 12
Calls
4 calls:
235.0ms
(-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t))
176.0ms
(*.f64 (*.f64 z 9) t)
719.0ms
(/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2))
859.0ms
(/.f64 (/.f64 1 a) (/.f64 1 (/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z 9) t)) 2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
09571330
19571330
099445
199445
09571330
19571330
099445
199445
0590039
0739864
1739864
0399
1399
0739864
1739864
0399
1399
0557239
0240189
1240189
0149
1149
0240189
1240189
0149
1149
013
113
0378309
1378309
0159
1159
0378309
1378309
0159
1159
013
113

simplify383.0ms

Counts
796 → 796
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
0499735542
1499735542

prune851.0ms

Filtered
345 candidates to 796 candidates (-130.7%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New7951796
Fresh189
Picked011
Done000
Total79610806

Merged error: 0.3b

Counts
806 → 10

regimes427.0ms

Accuracy

38.6% (4.7b remaining)

Error of 5.1b against oracle of 0.4b and baseline of 8.1b

bsearch1.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
092111
192111

end0.0ms

sample851.0ms

Algorithm
intervals
Results
345.0ms8000×body80valid
137.0ms3201×body80invalid

Profiling

Loading profile data...