Details

Time bar (total: 8.4s)

analyze264.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14

sample41.0ms

Algorithm
intervals
Results
13.0ms148×body160valid
11.0ms286×pre80true
5.0ms108×body80valid
1.0ms30×body80nan

simplify414.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (400.0ms)

IterNodesCost
0170824
1170824

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 29.7b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
0.3b
(*.f64 (*.f64 3 a) c)
0.4b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
29.6b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64
13×*-un-lft-identity_binary64
9×pow1_binary64
8×add-log-exp_binary64
7×add-cube-cbrt_binary64
6×difference-of-squares_binary64 associate-/l*_binary64 times-frac_binary64
4×cbrt-unprod_binary64 prod-exp_binary64 insert-posit16
3×pow-prod-down_binary64 flip3--_binary64 associate-*r*_binary64 distribute-lft-out--_binary64 flip--_binary64 sqrt-prod_binary64
2×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 div-exp_binary64
1×associate-/r*_binary64 associate-*l*_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 *-commutative_binary64
Counts
4 → 77
Calls
4 calls:
6.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
7.0ms
(*.f64 (*.f64 3 a) c)
17.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)

series1.3s

Counts
4 → 12
Calls
4 calls:
251.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
284.0ms
(*.f64 (*.f64 3 a) c)
346.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
449.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
0457510
1457510
04338
14338
0457510
1457510
04338
14338
0513933
0603885
1603885
07178
17178
0603885
1603885
07178
17178
018298
118298
0238189
1238189
02321
12321
0238189
1238189
02321
12321
057293
0333309
1333309
03121
13121
0333309
1333309
03121
13121
04273
14273

simplify43.0ms

Counts
89 → 89
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
011932081
111932081

prune123.0ms

Filtered
65 candidates to 89 candidates (-36.9%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New711889
Fresh000
Picked101
Done000
Total721890

Merged error: 27.0b

Counts
90 → 18

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 3 a) c)
0.3b
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
0.3b
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 3 a))
28.9b
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
70×times-frac_binary64
59×*-un-lft-identity_binary64
47×add-sqr-sqrt_binary64
33×add-cube-cbrt_binary64
26×associate-/l*_binary64
23×add-exp-log_binary64 add-cbrt-cube_binary64
14×difference-of-squares_binary64
13×distribute-lft-out_binary64
9×add-log-exp_binary64 pow1_binary64
7×cbrt-undiv_binary64 div-exp_binary64
6×associate-/r/_binary64
5×associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64
4×div-inv_binary64 insert-posit16
3×pow-prod-down_binary64 flip3-+_binary64 associate-/l/_binary64 diff-log_binary64 associate-*r*_binary64 div-sub_binary64 flip-+_binary64
2×sub-neg_binary64 flip3--_binary64 clear-num_binary64 frac-2neg_binary64 flip--_binary64
1×associate--l-_binary64 associate-*l*_binary64 associate--l+_binary64 *-commutative_binary64
Counts
4 → 143
Calls
4 calls:
6.0ms
(*.f64 (*.f64 3 a) c)
18.0ms
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
22.0ms
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 3 a))
9.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))

series1.4s

Counts
4 → 12
Calls
4 calls:
305.0ms
(*.f64 (*.f64 3 a) c)
345.0ms
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
446.0ms
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 3 a))
261.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0377429
1377429
03624
13624
0377429
1377429
03624
13624
04273
14273
07971680
17971680
02671446
12671446
07971680
17971680
02671446
12671446
063169
163169
06511473
16511473
0128528
1128528
06511473
16511473
0128528
1128528
06831
16831
0238189
1238189
02321
12321
0238189
1238189
02321
12321
057293

simplify88.0ms

Counts
155 → 155
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
015327520
115327520

prune284.0ms

Filtered
113 candidates to 155 candidates (-37.2%)
Pruning

36 alts after pruning (36 fresh and 0 done)

PrunedKeptTotal
New13223155
Fresh41317
Picked101
Done000
Total13736173

Merged error: 26.1b

Counts
173 → 36

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (*.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))))))
28.9b
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
28.9b
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
28.9b
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp_binary64
9×diff-log_binary64
7×cbrt-div_binary64 add-sqr-sqrt_binary64
6×sub-neg_binary64
5×associate-*r/_binary64 frac-times_binary64
4×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
3×flip3--_binary64 associate--l-_binary64 difference-of-squares_binary64 flip--_binary64 associate--l+_binary64 associate-*l/_binary64
1×rem-cbrt-cube_binary64 pow1/3_binary64 cube-unmult_binary64 cbrt-prod_binary64
Counts
4 → 66
Calls
4 calls:
52.0ms
(cbrt.f64 (*.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))))))
9.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
10.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
10.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))

series1.2s

Counts
4 → 12
Calls
4 calls:
413.0ms
(cbrt.f64 (*.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))))))
261.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
265.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
261.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)) (*.f64 b b))
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0377429
1377429
03624
13624
0377429
1377429
03624
13624
04273
14273
0377429
1377429
03624
13624
0377429
1377429
03624
13624
04273
14273
0377429
1377429
03624
13624
0377429
1377429
03624
13624
04273
14273
02773132
12773132
04373899
14373899
02773132
12773132
04373899
14373899
013
113

simplify107.0ms

Counts
78 → 78
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
060291627

prune200.0ms

Filtered
60 candidates to 78 candidates (-30.0%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New72678
Fresh29635
Picked101
Done000
Total10212114

Merged error: 0.2b

Counts
114 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 a (*.f64 c -3))
0.3b
(*.f64 (*.f64 3 a) c)
0.3b
(/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
0.4b
(/.f64 (/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 3 a))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
55×add-exp-log_binary64 add-cbrt-cube_binary64
22×times-frac_binary64
20×*-un-lft-identity_binary64
19×cbrt-unprod_binary64 prod-exp_binary64
17×cbrt-undiv_binary64 div-exp_binary64
14×pow1_binary64
12×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
11×associate-/l*_binary64
6×pow-prod-down_binary64 associate-/r/_binary64
5×associate-/r*_binary64
4×add-log-exp_binary64 distribute-lft-out_binary64 associate-*r*_binary64 associate-*l*_binary64 div-inv_binary64 insert-posit16
3×flip3-+_binary64 flip-+_binary64
2×clear-num_binary64 frac-2neg_binary64 *-commutative_binary64
1×associate-/l/_binary64
Counts
4 → 115
Calls
4 calls:
6.0ms
(*.f64 a (*.f64 c -3))
9.0ms
(*.f64 (*.f64 3 a) c)
15.0ms
(/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
19.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 3 a))

series1.2s

Counts
4 → 12
Calls
4 calls:
184.0ms
(*.f64 a (*.f64 c -3))
288.0ms
(*.f64 (*.f64 3 a) c)
314.0ms
(/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c)))))
395.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 c -3)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))))) (*.f64 3 a))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
08021504
18021504
0115516
1115516
08021504
18021504
0115516
1115516
0183
1183
06691234
16691234
072267
172267
06691234
16691234
072267
172267
0183
1183
0238189
1238189
02321
12321
0238189
1238189
02321
12321
057293
0262189
1262189
0149
1149
0262189
1262189
0149
1149
013
113

simplify150.0ms

Counts
127 → 127
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
049422861
149422861

prune121.0ms

Filtered
78 candidates to 127 candidates (-62.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1207127
Fresh9211
Picked101
Done000
Total1309139

Merged error: 0.0b

Counts
139 → 9

regimes76.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06427
16427

end0.0ms

sample1.1s

Algorithm
intervals
Results
413.0ms4386×body160valid
254.0ms8949×pre80true
172.0ms3614×body80valid
46.0ms949×body80nan

Profiling

Loading profile data...