Details

Time bar (total: 7.9s)

analyze255.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
12.5%87.4%0.1%5
15.6%84.3%0.1%6
32.8%67.1%0.1%7
38.2%61.6%0.1%8
46%53.8%0.1%9
62.6%37.3%0.1%10
67.2%32.7%0.1%11
71.1%28.8%0.1%12
81.6%18.2%0.1%13
84.1%15.7%0.1%14

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify24.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
05713
15713

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 10.0b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(-.f64 1 (/.f64 y z))
10.0b
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt_binary64
58×*-un-lft-identity_binary64
44×times-frac_binary64
24×difference-of-squares_binary64
16×add-cube-cbrt_binary64
9×distribute-lft-out_binary64
8×associate-/r*_binary64
6×distribute-lft-out--_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-/l*_binary64
2×associate-/l/_binary64 pow1_binary64 flip3--_binary64 associate-/r/_binary64 insert-posit16 flip--_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 flip-+_binary64
Counts
2 → 78
Calls
2 calls:
8.0ms
(-.f64 1 (/.f64 y z))
14.0ms
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

series754.0ms

Counts
2 → 6
Calls
2 calls:
456.0ms
(-.f64 1 (/.f64 y z))
298.0ms
(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0509582
1509582
0119
1119
0509582
1509582
0119
1119
013
113
0289213
1289213
089
189
0289213
1289213
089
189
0557439

simplify104.0ms

Counts
84 → 84
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
050281730

prune68.0ms

Filtered
54 candidates to 84 candidates (-55.6%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New731184
Fresh000
Picked011
Done000
Total731285

Merged error: 7.1b

Counts
85 → 12

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 1 (/.f64 y z))
0.6b
(/.f64 1 (-.f64 1 (/.f64 y z)))
9.4b
(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
100×add-sqr-sqrt_binary64
66×times-frac_binary64
64×*-un-lft-identity_binary64
32×difference-of-squares_binary64
30×associate-*r*_binary64
29×add-cube-cbrt_binary64
16×add-exp-log_binary64
10×add-cbrt-cube_binary64
8×associate-/r*_binary64 distribute-lft-out--_binary64
6×pow1_binary64
5×add-log-exp_binary64
4×associate-/r/_binary64 associate-*l*_binary64 prod-exp_binary64 div-exp_binary64
3×flip3--_binary64 unswap-sqr_binary64 associate-/l*_binary64 insert-posit16 flip--_binary64
2×flip3-+_binary64 cbrt-unprod_binary64 1-exp_binary64 cbrt-undiv_binary64 rec-exp_binary64 div-inv_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 sub-neg_binary64 diff-log_binary64 distribute-lft-out_binary64 associate-*r/_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 un-div-inv_binary64 pow-flip_binary64 *-commutative_binary64
Counts
3 → 130
Calls
3 calls:
9.0ms
(-.f64 1 (/.f64 y z))
11.0ms
(/.f64 1 (-.f64 1 (/.f64 y z)))
24.0ms
(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))

series1.3s

Counts
3 → 9
Calls
3 calls:
446.0ms
(-.f64 1 (/.f64 y z))
499.0ms
(/.f64 1 (-.f64 1 (/.f64 y z)))
346.0ms
(*.f64 (+.f64 x y) (/.f64 1 (-.f64 1 (/.f64 y z))))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0585723
1585723
0169
1169
0585723
1585723
0169
1169
013
113
0421492
1421492
099
199
0421492
1421492
099
199
0557439
0289213
1289213
089
189
0289213
1289213
089
189
0557439

simplify130.0ms

Counts
139 → 139
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
055942282

prune96.0ms

Filtered
88 candidates to 139 candidates (-58.0%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1381139
Fresh1910
Picked011
Done011
Total13912151

Merged error: 7.1b

Counts
151 → 12

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 1 (/.f64 y z))
0.2b
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
10.0b
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
318×times-frac_binary64
284×add-sqr-sqrt_binary64
278×*-un-lft-identity_binary64
108×add-cube-cbrt_binary64
88×difference-of-squares_binary64
42×associate-/r*_binary64
41×distribute-lft-out_binary64
22×distribute-lft-out--_binary64
16×add-exp-log_binary64
11×associate-/r/_binary64 associate-/l*_binary64
10×add-cbrt-cube_binary64
8×div-exp_binary64
6×div-inv_binary64
5×flip3-+_binary64 add-log-exp_binary64 flip-+_binary64
4×pow1_binary64 cbrt-undiv_binary64
3×insert-posit16
2×associate-/l/_binary64 flip3--_binary64 1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64 flip--_binary64
1×sub-neg_binary64 diff-log_binary64 div-sub_binary64 inv-pow_binary64 pow-flip_binary64
Counts
3 → 256
Calls
3 calls:
8.0ms
(-.f64 1 (/.f64 y z))
21.0ms
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
17.0ms
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))

series1.2s

Counts
3 → 9
Calls
3 calls:
444.0ms
(-.f64 1 (/.f64 y z))
403.0ms
(/.f64 1 (/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y)))
353.0ms
(/.f64 (-.f64 1 (/.f64 y z)) (+.f64 x y))
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0463528
1463528
089
189
0463528
1463528
089
189
01121
11121
0607969
1607969
089
189
0607969
1607969
089
189
01121
11121
0289213
1289213
089
189
0289213
1289213
089
189
0557439

simplify192.0ms

Counts
265 → 265
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
051936790

prune143.0ms

Filtered
136 candidates to 265 candidates (-94.9%)
Pruning

13 alts after pruning (10 fresh and 3 done)

PrunedKeptTotal
New2614265
Fresh369
Picked011
Done022
Total26413277

Merged error: 7.1b

Counts
277 → 13

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 1 (/.f64 y z))
0.1b
(/.f64 1 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))))
0.2b
(/.f64 1 (/.f64 1 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))))
10.0b
(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
1611×times-frac_binary64
1101×add-sqr-sqrt_binary64
1095×*-un-lft-identity_binary64
541×add-cube-cbrt_binary64
280×difference-of-squares_binary64
165×associate-/r*_binary64
137×distribute-lft-out_binary64
70×distribute-lft-out--_binary64
60×add-exp-log_binary64
43×div-exp_binary64
40×associate-/r/_binary64
23×div-inv_binary64
20×add-cbrt-cube_binary64
18×flip3--_binary64 flip--_binary64
15×1-exp_binary64 rec-exp_binary64
10×cbrt-undiv_binary64 associate-/l*_binary64
7×pow1_binary64
6×add-log-exp_binary64
5×pow-flip_binary64
4×insert-posit16
3×clear-num_binary64 inv-pow_binary64 frac-2neg_binary64
2×associate-/l/_binary64
1×remove-double-div_binary64 flip3-+_binary64 sub-neg_binary64 diff-log_binary64 flip-+_binary64
Counts
4 → 775
Calls
4 calls:
9.0ms
(-.f64 1 (/.f64 y z))
24.0ms
(/.f64 1 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))))
43.0ms
(/.f64 1 (/.f64 1 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))))
15.0ms
(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))

series1.9s

Counts
4 → 12
Calls
4 calls:
447.0ms
(-.f64 1 (/.f64 y z))
616.0ms
(/.f64 1 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z))))
573.0ms
(/.f64 1 (/.f64 1 (/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))))
292.0ms
(/.f64 (+.f64 y x) (-.f64 1 (/.f64 y z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0463582
1463582
0109
1109
0463582
1463582
0109
1109
013
113
07511414
17511414
055438
155438
07511414
17511414
055438
155438
0510833
06071023
16071023
0109
1109
06071023
16071023
0109
1109
0557239
0289213
1289213
089
189
0289213
1289213
089
189
0557439

simplify353.0ms

Counts
787 → 787
Iterations

Useful iterations: 0 (137.0ms)

IterNodesCost
0494622740
1494622740

prune394.0ms

Filtered
291 candidates to 787 candidates (-170.4%)
Pruning

13 alts after pruning (9 fresh and 4 done)

PrunedKeptTotal
New7834787
Fresh459
Picked011
Done033
Total78713800

Merged error: 6.5b

Counts
800 → 13

regimes130.0ms

Accuracy

58.3% (1.0b remaining)

Error of 6.1b against oracle of 5.1b and baseline of 7.5b

bsearch1.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06184
16184

end0.0ms

sample408.0ms

Algorithm
intervals
Results
237.0ms7995×body80valid
3.0ms1×body320valid
0.0ms2×body640valid
0.0ms1×body2560valid
0.0ms1×body1280valid

Profiling

Loading profile data...