Details

Time bar (total: 4.4s)

analyze359.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
0%99.9%0.1%5
9.4%90.5%0.1%6
14%85.8%0.1%7
22.6%77.2%0.1%8
37.8%60.5%1.7%9
40%56%4%10
47.3%48.7%4%11
56.8%36.2%7%12
58.6%32.4%9%13
63.4%27.5%9%14

sample15.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
1.0ms23×body80invalid

simplify208.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (191.0ms)

IterNodesCost
0478110
1478110

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.0b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(*.f64 x (-.f64 y z))
13.3b
(/.f64 (*.f64 x (-.f64 y z)) y)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
8×*-un-lft-identity_binary64
6×add-cube-cbrt_binary64
5×associate-*r*_binary64
4×pow1_binary64 associate-*r/_binary64
3×associate-/r*_binary64 associate-*l*_binary64 times-frac_binary64
2×associate-/l/_binary64 add-log-exp_binary64 sub-neg_binary64 flip3--_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 prod-exp_binary64 div-exp_binary64 insert-posit16 flip--_binary64
1×pow-prod-down_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 difference-of-squares_binary64 associate-/l*_binary64 distribute-lft-out--_binary64 div-inv_binary64 *-commutative_binary64
Counts
2 → 49
Calls
2 calls:
12.0ms
(*.f64 x (-.f64 y z))
9.0ms
(/.f64 (*.f64 x (-.f64 y z)) y)

series536.0ms

Counts
2 → 6
Calls
2 calls:
204.0ms
(*.f64 x (-.f64 y z))
331.0ms
(/.f64 (*.f64 x (-.f64 y z)) y)
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
0520378
1520378
04145
14145
0520378
1520378
04145
14145
0263
1263
0262183
1262183
02333
12333
0262183
1262183
02333
12333
0263
1263

simplify98.0ms

Counts
55 → 55
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
04988542
14988542

prune33.0ms

Filtered
39 candidates to 55 candidates (-41.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New50555
Fresh000
Picked011
Done000
Total50656

Merged error: 0.0b

Counts
56 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 y z) y)
2.4b
(*.f64 x (/.f64 (-.f64 y z) y))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt_binary64
36×*-un-lft-identity_binary64
31×times-frac_binary64
22×add-cube-cbrt_binary64
19×associate-*r*_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
7×difference-of-squares_binary64 distribute-lft-out--_binary64
5×associate-/l*_binary64
4×pow1_binary64
3×associate-/r*_binary64 associate-*l*_binary64
2×associate-/l/_binary64 add-log-exp_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 prod-exp_binary64 div-inv_binary64 div-exp_binary64 insert-posit16
1×pow-prod-down_binary64 flip3--_binary64 associate-*r/_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64 *-commutative_binary64
Counts
2 → 78
Calls
2 calls:
7.0ms
(/.f64 (-.f64 y z) y)
12.0ms
(*.f64 x (/.f64 (-.f64 y z) y))

series562.0ms

Counts
2 → 6
Calls
2 calls:
246.0ms
(/.f64 (-.f64 y z) y)
316.0ms
(*.f64 x (/.f64 (-.f64 y z) y))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0435405
1435405
049
149
0435405
1435405
049
149
013
113
0322246
1322246
049
149
0322246
1322246
049
149
013
113

simplify70.0ms

Counts
84 → 84
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
054931044

prune41.0ms

Filtered
57 candidates to 84 candidates (-47.4%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New83184
Fresh044
Picked101
Done011
Total84690

Merged error: 0b

Counts
90 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/.f64 y (-.f64 y z))
2.4b
(/.f64 x (/.f64 y (-.f64 y z)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac_binary64
102×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
70×add-cube-cbrt_binary64
26×associate-/r*_binary64
16×difference-of-squares_binary64 distribute-lft-out--_binary64
11×associate-/r/_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
6×associate-/l*_binary64 div-inv_binary64
5×flip3--_binary64 flip--_binary64
4×cbrt-undiv_binary64 div-exp_binary64
2×add-log-exp_binary64 pow1_binary64 clear-num_binary64 frac-2neg_binary64 insert-posit16
Counts
2 → 141
Calls
2 calls:
7.0ms
(/.f64 y (-.f64 y z))
11.0ms
(/.f64 x (/.f64 y (-.f64 y z)))

series500.0ms

Counts
2 → 6
Calls
2 calls:
209.0ms
(/.f64 y (-.f64 y z))
291.0ms
(/.f64 x (/.f64 y (-.f64 y z)))
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
0495621
1495621
03945
13945
0495621
1495621
03945
13945
0123
1123
0322294
1322294
02533
12533
0322294
1322294
02533
12533
083
183

simplify151.0ms

Counts
147 → 147
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
051872824

prune78.0ms

Filtered
111 candidates to 147 candidates (-32.4%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1461147
Fresh134
Picked011
Done011
Total1476153

Merged error: 0b

Counts
153 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 y (-.f64 y z))
0.1b
(/.f64 1 (/.f64 y (-.f64 y z)))
2.4b
(*.f64 x (/.f64 1 (/.f64 y (-.f64 y z))))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
252×times-frac_binary64
185×add-sqr-sqrt_binary64
173×*-un-lft-identity_binary64
121×add-cube-cbrt_binary64
68×associate-*r*_binary64
35×add-exp-log_binary64
26×associate-/r*_binary64
25×difference-of-squares_binary64 distribute-lft-out--_binary64
19×add-cbrt-cube_binary64
18×associate-/r/_binary64
15×div-exp_binary64
10×div-inv_binary64
8×flip3--_binary64 flip--_binary64
7×cbrt-undiv_binary64 prod-exp_binary64
6×pow1_binary64 associate-/l*_binary64
5×unswap-sqr_binary64
4×1-exp_binary64 rec-exp_binary64
3×add-log-exp_binary64 cbrt-unprod_binary64 associate-*l*_binary64 insert-posit16
2×clear-num_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 associate-*r/_binary64 inv-pow_binary64 un-div-inv_binary64 pow-flip_binary64 *-commutative_binary64
Counts
3 → 245
Calls
3 calls:
7.0ms
(/.f64 y (-.f64 y z))
15.0ms
(/.f64 1 (/.f64 y (-.f64 y z)))
29.0ms
(*.f64 x (/.f64 1 (/.f64 y (-.f64 y z))))

series811.0ms

Counts
3 → 9
Calls
3 calls:
208.0ms
(/.f64 y (-.f64 y z))
267.0ms
(/.f64 1 (/.f64 y (-.f64 y z)))
336.0ms
(*.f64 x (/.f64 1 (/.f64 y (-.f64 y z))))
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
0579768
1579768
04951
14951
0579768
1579768
04951
14951
0263
1263
0455591
1455591
079
179
0455591
1455591
079
179
010312
110312
0322294
1322294
02533
12533
0322294
1322294
02533
12533
083
183

simplify167.0ms

Counts
254 → 254
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
049754044
149754044

prune128.0ms

Filtered
162 candidates to 254 candidates (-56.8%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New2540254
Fresh033
Picked011
Done022
Total2546260

Merged error: 0b

Counts
260 → 6

regimes92.0ms

Accuracy

27.2% (2.3b remaining)

Error of 2.3b against oracle of 0.0b and baseline of 3.2b

bsearch1.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03263
13263

end0.0ms

sample405.0ms

Algorithm
intervals
Results
199.0ms8000×body80valid
22.0ms779×body80invalid

Profiling

Loading profile data...