Details

Time bar (total: 7.2s)

analyze405.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
0%99.9%0.1%6
25%74.9%0.1%7
31.2%68.6%0.1%8
42.1%57.7%0.1%9
56.9%42.9%0.1%10
59.5%40.4%0.1%11
68.1%31.8%0.1%12
75.1%24.4%0.5%13
75.7%23.3%1%14

sample37.0ms

Algorithm
intervals
Results
9.0ms31×body1280valid
8.0ms171×body80valid
7.0ms35×body640valid
2.0ms14×body320valid
0.0ms5×body160valid
0.0ms9×body80invalid
0.0ms2×body640invalid
0.0ms2×body320invalid

simplify22.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
06812
16812

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 2.0b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b
(/.f64 (sin.f64 y) y)
0.1b
(*.f64 x (/.f64 (sin.f64 y) y))
2.0b
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64
22×times-frac_binary64
21×*-un-lft-identity_binary64 add-cube-cbrt_binary64
19×add-exp-log_binary64 add-cbrt-cube_binary64
13×associate-*r*_binary64
6×associate-/r*_binary64 cbrt-undiv_binary64 div-exp_binary64
5×pow1_binary64
4×cbrt-unprod_binary64 prod-exp_binary64 associate-/l*_binary64
3×add-log-exp_binary64 associate-*l*_binary64 div-inv_binary64 insert-posit16
2×associate-*r/_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 associate-/l/_binary64 *-commutative_binary64
Counts
3 → 86
Calls
3 calls:
5.0ms
(/.f64 (sin.f64 y) y)
8.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
8.0ms
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

series723.0ms

Counts
3 → 9
Calls
3 calls:
227.0ms
(/.f64 (sin.f64 y) y)
233.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
263.0ms
(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0510642
1510642
069
169
0510642
1510642
069
169
013
113
0396411
1396411
069
169
0396411
1396411
069
169
013
113
0405612
1405612
099
199
0405612
1405612
099
199
013
113

simplify170.0ms

Counts
95 → 95
Iterations

Useful iterations: 0 (145.0ms)

IterNodesCost
059991098

prune63.0ms

Filtered
69 candidates to 95 candidates (-37.7%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New87895
Fresh000
Picked011
Done000
Total87996

Merged error: 0.0b

Counts
96 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 (sin.f64 y) y)
0.1b
(*.f64 x (/.f64 (sin.f64 y) y))
0.4b
(/.f64 1 (/.f64 z (*.f64 x (/.f64 (sin.f64 y) y))))
2.0b
(/.f64 z (*.f64 x (/.f64 (sin.f64 y) y)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
58×times-frac_binary64
54×add-exp-log_binary64
44×add-sqr-sqrt_binary64
39×*-un-lft-identity_binary64 add-cube-cbrt_binary64
34×add-cbrt-cube_binary64
26×div-exp_binary64
14×cbrt-undiv_binary64
13×associate-*r*_binary64
12×associate-/r*_binary64
10×prod-exp_binary64
9×associate-/l*_binary64
8×div-inv_binary64
7×pow1_binary64
6×cbrt-unprod_binary64 associate-*r/_binary64 associate-/r/_binary64
4×add-log-exp_binary64 1-exp_binary64 rec-exp_binary64 insert-posit16
3×associate-*l*_binary64 clear-num_binary64 frac-2neg_binary64
2×unswap-sqr_binary64
1×pow-prod-down_binary64 inv-pow_binary64 pow-flip_binary64 *-commutative_binary64
Counts
4 → 151
Calls
4 calls:
5.0ms
(/.f64 (sin.f64 y) y)
9.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
10.0ms
(/.f64 1 (/.f64 z (*.f64 x (/.f64 (sin.f64 y) y))))
7.0ms
(/.f64 z (*.f64 x (/.f64 (sin.f64 y) y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
227.0ms
(/.f64 (sin.f64 y) y)
236.0ms
(*.f64 x (/.f64 (sin.f64 y) y))
410.0ms
(/.f64 1 (/.f64 z (*.f64 x (/.f64 (sin.f64 y) y))))
330.0ms
(/.f64 z (*.f64 x (/.f64 (sin.f64 y) y)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0575792
1575792
069
169
0575792
1575792
069
169
013
113
07191233
17191233
069
169
07191233
17191233
069
169
013
113
0396411
1396411
069
169
0396411
1396411
069
169
013
113
0405612
1405612
099
199
0405612
1405612
099
199
013
113

simplify165.0ms

Counts
163 → 163
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
049712246
149712246

prune85.0ms

Filtered
102 candidates to 163 candidates (-59.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1612163
Fresh347
Picked101
Done011
Total1657172

Merged error: 0b

Counts
172 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 z)
0.5b
(cbrt.f64 z)
0.5b
(cbrt.f64 z)
1.7b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sin.f64 y) y) (cbrt.f64 z)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
152×times-frac_binary64
110×add-sqr-sqrt_binary64
82×associate-*r*_binary64
78×*-un-lft-identity_binary64 add-cube-cbrt_binary64
52×cbrt-prod_binary64
40×add-exp-log_binary64
28×add-cbrt-cube_binary64
15×cbrt-undiv_binary64 div-exp_binary64
12×cbrt-unprod_binary64 prod-exp_binary64
10×unswap-sqr_binary64
8×div-inv_binary64
7×associate-*l*_binary64
6×pow1_binary64
4×add-log-exp_binary64 insert-posit16
3×pow1/3_binary64
1×pow-prod-down_binary64 associate-*r/_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 166
Calls
4 calls:
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
36.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sin.f64 y) y) (cbrt.f64 z)))

series1.2s

Counts
4 → 12
Calls
4 calls:
276.0ms
(cbrt.f64 z)
274.0ms
(cbrt.f64 z)
276.0ms
(cbrt.f64 z)
389.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sin.f64 y) y) (cbrt.f64 z)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07551895
17551895
02521254
12521254
07551895
17551895
02521254
12521254
03023
13023
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050
0401603
1401603
0421590
1421590
0401603
1401603
0421590
1421590
0489050
1489050

simplify202.0ms

Counts
178 → 178
Iterations

Useful iterations: 0 (154.0ms)

IterNodesCost
049343693
149343693

prune133.0ms

Filtered
148 candidates to 178 candidates (-20.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1780178
Fresh055
Picked011
Done011
Total1787185

Merged error: 0b

Counts
185 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b
(/.f64 z (/.f64 (sin.f64 y) y))
0.1b
(/.f64 (sin.f64 y) y)
3.2b
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
480×times-frac_binary64
238×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
60×associate-/r*_binary64
23×div-inv_binary64
19×add-exp-log_binary64 add-cbrt-cube_binary64
10×cbrt-undiv_binary64 div-exp_binary64
9×associate-/l*_binary64
6×associate-/r/_binary64
3×add-log-exp_binary64 pow1_binary64 clear-num_binary64 frac-2neg_binary64 insert-posit16
Counts
3 → 296
Calls
3 calls:
7.0ms
(/.f64 z (/.f64 (sin.f64 y) y))
5.0ms
(/.f64 (sin.f64 y) y)
14.0ms
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))

series831.0ms

Counts
3 → 9
Calls
3 calls:
257.0ms
(/.f64 z (/.f64 (sin.f64 y) y))
219.0ms
(/.f64 (sin.f64 y) y)
354.0ms
(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0628936
1628936
069
169
0628936
1628936
069
169
013
113
0405612
1405612
099
199
0405612
1405612
099
199
013
113
0446555
1446555
069
169
0446555
1446555
069
169
013
113

simplify250.0ms

Counts
305 → 305
Iterations

Useful iterations: 0 (174.0ms)

IterNodesCost
050247329

prune179.0ms

Filtered
258 candidates to 305 candidates (-18.2%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New3032305
Fresh224
Picked011
Done022
Total3057312

Merged error: 0b

Counts
312 → 7

regimes135.0ms

Accuracy

91.3% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 2.7b

bsearch1.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02170
12170

end0.0ms

sample1.1s

Algorithm
intervals
Results
300.0ms987×body1280valid
264.0ms5228×body80valid
210.0ms1026×body640valid
69.0ms490×body320valid
28.0ms488×body80invalid
27.0ms269×body160valid
10.0ms49×body640invalid
7.0ms51×body320invalid
4.0ms39×body160invalid
2.0ms8×body1280invalid

Profiling

Loading profile data...