Details

Time bar (total: 5.7s)

analyze6.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
37.5%12.5%50%4
43.7%6.2%50%5
46.9%3.1%50%6
48.4%1.6%50%7
49.2%0.8%50%8
49.6%0.4%50%9
49.8%0.2%50%10
49.9%0.1%50%11
49.9%0%50%12
50%0%50%13
50%0%50%14

sample23.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
3.0ms256×pre80true

simplify570.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
0579213

prune5.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.4b

Counts
2 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b
(/.f64 -1 (*.f64 i i))
0.4b
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity_binary64_1707
15×times-frac_binary64_1702
13×add-cube-cbrt_binary64_1678 add-sqr-sqrt_binary64_1692
9×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
6×associate-/l*_binary64_1771
5×associate-/r*_binary64_1770
4×distribute-lft-out_binary64_1751
3×cbrt-undiv_binary64_1677 div-exp_binary64_1656
2×associate-/r/_binary64_1772 frac-2neg_binary64_1700 clear-num_binary64_1710 pow1_binary64_1649 add-log-exp_binary64_1672 div-inv_binary64_1708
1×prod-exp_binary64_1654 flip3-+_binary64_1705 flip-+_binary64_1732 cbrt-unprod_binary64_1676
Counts
2 → 54
Calls
2 calls:
6.0ms
(/.f64 -1 (*.f64 i i))
9.0ms
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))

series586.0ms

Counts
2 → 6
Calls
2 calls:
321.0ms
(/.f64 -1 (*.f64 i i))
266.0ms
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05192004
15192004
049831365
149831365
05192004
15192004
049831365
149831365
013
113
03671830
13671830
04844753
14844753
03671830
13671830
04844753
14844753
0499818
1499818

simplify362.0ms

Counts
60 → 60
Iterations

Useful iterations: 0 (340.0ms)

IterNodesCost
04727858
14727858

prune46.0ms

Filtered
43 candidates to 60 candidates (-39.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New58260
Fresh011
Picked011
Done000
Total58462

Merged error: 0.4b

Counts
62 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b
(*.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))))
0.2b
(/.f64 -1 (*.f64 i i))
0.4b
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity_binary64_1707
53×times-frac_binary64_1702
42×add-sqr-sqrt_binary64_1692
37×add-cube-cbrt_binary64_1678
30×associate-*r*_binary64_1766
28×cbrt-prod_binary64_1674
22×add-exp-log_binary64_1671
15×add-cbrt-cube_binary64_1679
13×distribute-lft-out_binary64_1751
9×associate-/l*_binary64_1771
8×pow1_binary64_1649
7×prod-exp_binary64_1654 cbrt-unprod_binary64_1676
5×cbrt-undiv_binary64_1677 div-exp_binary64_1656 associate-/r*_binary64_1770
4×associate-/r/_binary64_1772
3×pow-prod-down_binary64_1630 add-log-exp_binary64_1672 unswap-sqr_binary64_1735 div-inv_binary64_1708
2×frac-2neg_binary64_1700 clear-num_binary64_1710 flip3-+_binary64_1705 flip-+_binary64_1732
1×associate-*l*_binary64_1767 associate-*r/_binary64_1768 *-commutative_binary64_1775
Counts
3 → 122
Calls
3 calls:
21.0ms
(*.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))))
6.0ms
(/.f64 -1 (*.f64 i i))
10.0ms
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))

series861.0ms

Counts
3 → 9
Calls
3 calls:
271.0ms
(*.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))))
323.0ms
(/.f64 -1 (*.f64 i i))
267.0ms
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05262046
15262046
051801971
05262046
15262046
051801971
013
113
03671830
13671830
04844753
14844753
03671830
13671830
04844753
14844753
0499818
1499818
04962136
14962136
048041557
148041557
04962136
14962136
048041557
148041557
013
113

simplify156.0ms

Counts
131 → 131
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
048852486
148852486

prune137.0ms

Filtered
92 candidates to 131 candidates (-42.4%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1301131
Fresh022
Picked011
Done011
Total1305135

Merged error: 0.3b

Counts
135 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.1b
(*.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 (/.f64 -1 i) i))))
0.2b
(/.f64 (/.f64 -1 i) i)
0.4b
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 (/.f64 -1 i) i)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
125×times-frac_binary64_1702
103×*-un-lft-identity_binary64_1707
82×add-sqr-sqrt_binary64_1692
77×add-cube-cbrt_binary64_1678
30×associate-*r*_binary64_1766
28×cbrt-prod_binary64_1674
22×add-exp-log_binary64_1671
19×associate-/l*_binary64_1771
15×add-cbrt-cube_binary64_1679
13×distribute-lft-out_binary64_1751
8×pow1_binary64_1649
7×div-inv_binary64_1708 associate-/r*_binary64_1770
6×prod-exp_binary64_1654 cbrt-undiv_binary64_1677 div-exp_binary64_1656 cbrt-unprod_binary64_1676
4×associate-/r/_binary64_1772
3×pow-prod-down_binary64_1630 add-log-exp_binary64_1672 unswap-sqr_binary64_1735
2×frac-2neg_binary64_1700 clear-num_binary64_1710 flip3-+_binary64_1705 flip-+_binary64_1732
1×associate-*l*_binary64_1767 associate-*r/_binary64_1768 *-commutative_binary64_1775 associate-/l/_binary64_1773
Counts
3 → 171
Calls
3 calls:
31.0ms
(*.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 (/.f64 -1 i) i))))
8.0ms
(/.f64 (/.f64 -1 i) i)
21.0ms
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 (/.f64 -1 i) i)))

series959.0ms

Counts
3 → 9
Calls
3 calls:
287.0ms
(*.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 (/.f64 -1 i) i))))
399.0ms
(/.f64 (/.f64 -1 i) i)
273.0ms
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 (/.f64 -1 i) i)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05902046
15902046
050841971
05902046
15902046
050841971
013
113
04441681
14441681
05064435
04441681
14441681
05064435
0498633
1498633
05602136
15602136
060401557
05602136
15602136
060401557
013
113

simplify142.0ms

Counts
180 → 180
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
049783409
149783409

prune202.0ms

Filtered
127 candidates to 180 candidates (-41.7%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1800180
Fresh022
Picked011
Done022
Total1805185

Merged error: 0.3b

Counts
185 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

1.1b
(/.f64 1/4 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
16.4b
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
16.4b
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
16.4b
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div_binary64_1675
15×*-un-lft-identity_binary64_1707
12×cbrt-prod_binary64_1674
9×add-cube-cbrt_binary64_1678 flip3-+_binary64_1705 flip-+_binary64_1732 add-exp-log_binary64_1671 add-sqr-sqrt_binary64_1692
8×associate-/r/_binary64_1772
7×add-cbrt-cube_binary64_1679
4×pow1_binary64_1649 add-log-exp_binary64_1672 frac-times_binary64_1699
3×distribute-lft-out_binary64_1751 times-frac_binary64_1702 associate-/l*_binary64_1771 pow1/3_binary64_1641
2×associate-*r/_binary64_1768 cbrt-undiv_binary64_1677 div-exp_binary64_1656 associate-*l/_binary64_1769
1×prod-exp_binary64_1654 frac-2neg_binary64_1700 clear-num_binary64_1710 div-inv_binary64_1708 associate-/r*_binary64_1770 cbrt-unprod_binary64_1676
Counts
4 → 71
Calls
4 calls:
18.0ms
(/.f64 1/4 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
6.0ms
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
6.0ms
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
6.0ms
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))

series616.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(/.f64 1/4 (*.f64 (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i)))) (cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
125.0ms
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
126.0ms
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
126.0ms
(cbrt.f64 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0442019
1442019
01841944
11841944
0442019
1442019
01841944
11841944
013
113
0442019
1442019
01841944
11841944
0442019
1442019
01841944
11841944
013
113
0442019
1442019
01841944
11841944
0442019
1442019
01841944
11841944
013
113
03002220
13002220
047562079
147562079
03002220
13002220
047562079
147562079
013
113

simplify124.0ms

Counts
83 → 83
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
049131472
149131472

prune107.0ms

Filtered
62 candidates to 83 candidates (-33.9%)
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New83083
Fresh011
Picked011
Done033
Total83588

Merged error: 0.3b

Counts
88 → 5

regimes28.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01013
11013

end0.0ms

sample584.0ms

Algorithm
intervals
Results
399.0ms8000×body80valid
79.0ms8000×pre80true

Profiling

Loading profile data...