Details

Time bar (total: 8.9s)

analyze7.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

sample21.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
3.0ms256×pre80true

simplify119.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.2b

Counts
2 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity_binary64
15×times-frac_binary64
13×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
6×associate-/l*_binary64
5×associate-/r*_binary64
4×distribute-lft-out_binary64
3×cbrt-undiv_binary64 div-exp_binary64
2×add-log-exp_binary64 pow1_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 insert-posit16
1×flip3-+_binary64 cbrt-unprod_binary64 prod-exp_binary64 flip-+_binary64
Counts
2 → 56
Calls
2 calls:
6.0ms
(/.f64 -1 (*.f64 i i))
9.0ms
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))

series818.0ms

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

Useful iterations: 0 (113.0ms)

IterNodesCost
06281176
16281176
078696
178696
06281176
16281176
078696
178696
0483259
1483259
0480775
1480775
063261
163261
0480775
1480775
063261
163261
0496939
1496939

simplify163.0ms

Counts
62 → 62
Iterations

Useful iterations: 0 (139.0ms)

IterNodesCost
04860955
14860955

prune49.0ms

Filtered
47 candidates to 62 candidates (-31.9%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New60262
Fresh011
Picked011
Done000
Total60464

Merged error: 0.2b

Counts
64 → 4

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 -1 (*.f64 i i)))))
0.2b
(/.f64 -1 (*.f64 i i))
0.3b
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity_binary64
53×times-frac_binary64
42×add-sqr-sqrt_binary64
37×add-cube-cbrt_binary64
30×associate-*r*_binary64
28×cbrt-prod_binary64
22×add-exp-log_binary64
15×add-cbrt-cube_binary64
13×distribute-lft-out_binary64
9×associate-/l*_binary64
8×pow1_binary64
7×cbrt-unprod_binary64 prod-exp_binary64
5×associate-/r*_binary64 cbrt-undiv_binary64 div-exp_binary64
4×associate-/r/_binary64
3×pow-prod-down_binary64 add-log-exp_binary64 unswap-sqr_binary64 div-inv_binary64 insert-posit16
2×flip3-+_binary64 clear-num_binary64 frac-2neg_binary64 flip-+_binary64
1×associate-*r/_binary64 associate-*l*_binary64 *-commutative_binary64
Counts
3 → 125
Calls
3 calls:
25.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))))

series1.8s

Counts
3 → 9
Calls
3 calls:
686.0ms
(*.f64 (*.f64 (cbrt.f64 1/4) (cbrt.f64 1/4)) (/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i)))))
365.0ms
(/.f64 -1 (*.f64 i i))
730.0ms
(/.f64 (cbrt.f64 1/4) (+.f64 4 (/.f64 -1 (*.f64 i i))))
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
06421730
16421730
045801641
145801641
06421730
16421730
045801641
145801641
0486457
1486457
0480775
1480775
063261
163261
0480775
1480775
063261
163261
0496939
1496939
07821820
17821820
049721131
149721131
07821820
17821820
049721131
149721131
0481641
1481641

simplify136.0ms

Counts
134 → 134
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
050382636

prune140.0ms

Filtered
98 candidates to 134 candidates (-36.7%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1340134
Fresh022
Picked011
Done011
Total1344138

Merged error: 0.2b

Counts
138 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.7b
(*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
10.7b
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
10.7b
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
10.7b
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
150×cbrt-prod_binary64
128×*-un-lft-identity_binary64
102×times-frac_binary64
92×add-sqr-sqrt_binary64
68×add-cube-cbrt_binary64
27×swap-sqr_binary64 distribute-lft-out_binary64
21×associate-*r*_binary64 associate-*l*_binary64
14×associate-/r/_binary64
11×pow1_binary64
9×pow1/3_binary64 unswap-sqr_binary64
7×cbrt-div_binary64 flip3-+_binary64 div-inv_binary64 flip-+_binary64
6×add-exp-log_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 insert-posit16
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 associate-*r/_binary64 pow-plus_binary64 prod-exp_binary64 frac-times_binary64 pow2_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 184
Calls
4 calls:
29.0ms
(*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
8.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
8.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
8.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))

series2.1s

Counts
4 → 12
Calls
4 calls:
468.0ms
(*.f64 (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))) (cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))))
550.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
546.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
550.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
0791730
1791730
039861641
139861641
0791730
1791730
039861641
139861641
0485851
1485851
0791730
1791730
039861641
139861641
0791730
1791730
039861641
139861641
0485851
1485851
0791730
1791730
039861641
139861641
0791730
1791730
039861641
139861641
0485851
1485851
01501924
11501924
0189234
1189234
01501924
11501924
0189234
1189234
05383123

simplify177.0ms

Counts
196 → 196
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
049075975
149075975

prune342.0ms

Filtered
141 candidates to 196 candidates (-39.0%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1951196
Fresh011
Picked011
Done022
Total1955200

Merged error: 0.2b

Counts
200 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
10.7b
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
11.3b
(cbrt.f64 (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
11.3b
(cbrt.f64 (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i)))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
70×cbrt-prod_binary64
54×*-un-lft-identity_binary64
44×add-sqr-sqrt_binary64
36×add-cube-cbrt_binary64 times-frac_binary64
11×pow1_binary64
9×distribute-lft-out_binary64 pow1/3_binary64
6×swap-sqr_binary64 associate-*r*_binary64 add-exp-log_binary64 associate-/r/_binary64 associate-*l*_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 unswap-sqr_binary64 insert-posit16
3×cbrt-div_binary64 flip3-+_binary64 div-inv_binary64 flip-+_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 pow-sqr_binary64
1×cbrt-unprod_binary64 pow-plus_binary64 prod-exp_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 125
Calls
4 calls:
7.0ms
(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
8.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
8.0ms
(cbrt.f64 (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
8.0ms
(cbrt.f64 (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i)))))

series1.6s

Counts
4 → 10
Calls
4 calls:
0.0ms
(*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))
551.0ms
(cbrt.f64 (/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
549.0ms
(cbrt.f64 (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
549.0ms
(cbrt.f64 (/.f64 1/2 (+.f64 4 (/.f64 -1 (*.f64 i i)))))
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
0791730
1791730
039861641
139861641
0791730
1791730
039861641
139861641
0485851
1485851
0791730
1791730
039861641
139861641
0791730
1791730
039861641
139861641
0485851
1485851
0791730
1791730
039861641
139861641
0791730
1791730
039861641
139861641
0485851
1485851

simplify218.0ms

Counts
135 → 135
Iterations

Useful iterations: 0 (174.0ms)

IterNodesCost
047742770
147742770

prune288.0ms

Filtered
104 candidates to 135 candidates (-29.8%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New1341135
Fresh011
Picked011
Done033
Total1346140

Merged error: 0.2b

Counts
140 → 6

regimes38.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01013
11013

end0.0ms

sample603.0ms

Algorithm
intervals
Results
403.0ms8000×body80valid
84.0ms8000×pre80true

Profiling

Loading profile data...