Details

Time bar (total: 5.7s)

analyze335.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
21.8%78%0.1%6
26.5%73.3%0.1%7
32%67.9%0.1%8
46.4%52.7%0.9%9
50.9%47.2%1.9%10
54.3%43.3%2.4%11
62.1%32.5%5.4%12
64.3%28.1%7.6%13
66.3%24.6%9.2%14

sample19.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
2.0ms46×body80invalid

simplify90.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
071915
171915

prune4.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: 0.1b

Counts
2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
0.0b
(/.f64 (+.f64 x 4) y)
2.2b
(*.f64 (/.f64 x y) z)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity_binary64
25×add-sqr-sqrt_binary64
22×times-frac_binary64
20×add-cube-cbrt_binary64
13×associate-*l*_binary64
10×add-exp-log_binary64 add-cbrt-cube_binary64
5×add-log-exp_binary64 pow1_binary64
4×distribute-lft-out_binary64 associate-/l*_binary64
3×associate-/r*_binary64 associate-*r*_binary64 insert-posit16 associate-*l/_binary64
2×associate-/l/_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 prod-exp_binary64 div-inv_binary64 div-exp_binary64
1×pow-prod-down_binary64 flip3-+_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 clear-num_binary64 frac-2neg_binary64 sub-div_binary64 flip--_binary64 flip-+_binary64 frac-sub_binary64 *-commutative_binary64
Counts
3 → 81
Calls
3 calls:
12.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
7.0ms
(/.f64 (+.f64 x 4) y)
8.0ms
(*.f64 (/.f64 x y) z)

series761.0ms

Counts
3 → 9
Calls
3 calls:
249.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
313.0ms
(/.f64 (+.f64 x 4) y)
198.0ms
(*.f64 (/.f64 x y) z)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0347321
1347321
079
179
0347321
1347321
079
179
013
113
0276216
1276216
02533
12533
0276216
1276216
02533
12533
043176
143176
0479537
1479537
03245
13245
0479537
1479537
03245
13245
017373
117373

simplify50.0ms

Counts
90 → 90
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
0343988
1343988

prune70.0ms

Filtered
67 candidates to 90 candidates (-34.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New83790
Fresh011
Picked101
Done000
Total84892

Merged error: 0.0b

Counts
92 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

2.2b
(*.f64 (/.f64 x y) z)
14.3b
(cbrt.f64 (*.f64 (/.f64 x y) z))
14.3b
(cbrt.f64 (*.f64 (/.f64 x y) z))
14.3b
(cbrt.f64 (*.f64 (/.f64 x y) z))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64
13×associate-*l*_binary64
12×*-un-lft-identity_binary64 add-cube-cbrt_binary64
10×times-frac_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
6×pow1_binary64
4×add-log-exp_binary64 insert-posit16 associate-*l/_binary64
3×cbrt-div_binary64 associate-*r*_binary64 pow1/3_binary64 cbrt-prod_binary64
2×cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64
1×pow-prod-down_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
Counts
4 → 66
Calls
4 calls:
8.0ms
(*.f64 (/.f64 x y) z)
5.0ms
(cbrt.f64 (*.f64 (/.f64 x y) z))
5.0ms
(cbrt.f64 (*.f64 (/.f64 x y) z))
5.0ms
(cbrt.f64 (*.f64 (/.f64 x y) z))

series674.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(*.f64 (/.f64 x y) z)
168.0ms
(cbrt.f64 (*.f64 (/.f64 x y) z))
154.0ms
(cbrt.f64 (*.f64 (/.f64 x y) z))
154.0ms
(cbrt.f64 (*.f64 (/.f64 x y) z))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01431698
11431698
0681596
1681596
01431698
11431698
0681596
1681596
011533
111533
01431698
11431698
0681596
1681596
01431698
11431698
0681596
1681596
011533
111533
01431698
11431698
0681596
1681596
01431698
11431698
0681596
1681596
011533
111533
0347321
1347321
079
179
0347321
1347321
079
179
013
113

simplify137.0ms

Counts
78 → 78
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
04993765
14993765

prune83.0ms

Filtered
66 candidates to 78 candidates (-18.2%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New77178
Fresh077
Picked011
Done000
Total77986

Merged error: 0.0b

Counts
86 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
2.2b
(*.f64 (/.f64 x y) z)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
13×associate-*l*_binary64
10×times-frac_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64 cbrt-prod_binary64
6×pow1_binary64
4×add-log-exp_binary64 insert-posit16
3×associate-*r*_binary64 pow1/3_binary64
2×cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64
1×pow-prod-down_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 69
Calls
4 calls:
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
8.0ms
(*.f64 (/.f64 x y) z)

series1.0s

Counts
4 → 12
Calls
4 calls:
280.0ms
(cbrt.f64 y)
279.0ms
(cbrt.f64 y)
280.0ms
(cbrt.f64 y)
203.0ms
(*.f64 (/.f64 x y) z)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0347321
1347321
079
179
0347321
1347321
079
179
013
113
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

simplify163.0ms

Counts
81 → 81
Iterations

Useful iterations: 0 (141.0ms)

IterNodesCost
05282693

prune88.0ms

Filtered
69 candidates to 81 candidates (-17.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New79281
Fresh167
Picked101
Done101
Total82890

Merged error: 0.0b

Counts
90 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (/.f64 (+.f64 x 4) y))
0.6b
(cbrt.f64 (/.f64 (+.f64 x 4) y))
0.6b
(cbrt.f64 (/.f64 (+.f64 x 4) y))
2.2b
(*.f64 (/.f64 x y) z)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
54×*-un-lft-identity_binary64
48×cbrt-prod_binary64
46×times-frac_binary64
41×add-sqr-sqrt_binary64
36×add-cube-cbrt_binary64
13×associate-*l*_binary64
9×distribute-lft-out_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
6×pow1_binary64
4×add-log-exp_binary64 div-inv_binary64 insert-posit16
3×cbrt-div_binary64 associate-*r*_binary64 pow1/3_binary64
2×cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64
1×pow-prod-down_binary64 cbrt-undiv_binary64 div-exp_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 111
Calls
4 calls:
5.0ms
(cbrt.f64 (/.f64 (+.f64 x 4) y))
5.0ms
(cbrt.f64 (/.f64 (+.f64 x 4) y))
5.0ms
(cbrt.f64 (/.f64 (+.f64 x 4) y))
10.0ms
(*.f64 (/.f64 x y) z)

series1.0s

Counts
4 → 12
Calls
4 calls:
264.0ms
(cbrt.f64 (/.f64 (+.f64 x 4) y))
268.0ms
(cbrt.f64 (/.f64 (+.f64 x 4) y))
267.0ms
(cbrt.f64 (/.f64 (+.f64 x 4) y))
205.0ms
(*.f64 (/.f64 x y) z)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0347321
1347321
079
179
0347321
1347321
079
179
013
113
01001674
11001674
0471620
1471620
01001674
11001674
0471620
1471620
0490951
1490951
01001674
11001674
0471620
1471620
01001674
11001674
0471620
1471620
0490951
1490951
01001674
11001674
0471620
1471620
01001674
11001674
0471620
1471620
0490951
1490951

simplify185.0ms

Counts
123 → 123
Iterations

Useful iterations: 0 (151.0ms)

IterNodesCost
049571893
149571893

prune150.0ms

Filtered
96 candidates to 123 candidates (-28.1%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1221123
Fresh077
Picked011
Done000
Total1229131

Merged error: 0b

Counts
131 → 9

regimes89.0ms

Accuracy

64.7% (0.9b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 2.5b

bsearch39.0ms

Steps
ItersRangePoint
5
2.631480579087589e+125
5.3845878596560516e+125
2.987582394727669e+125
10
-1.848907467147549e+120
-2.6106336272612255e+108
-4.4593506574680894e+108

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
08062
18062

end0.0ms

sample523.0ms

Algorithm
intervals
Results
289.0ms8000×body80valid
42.0ms1217×body80invalid

Profiling

Loading profile data...