Details

Time bar (total: 11.5s)

analyze9.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14

sample26.0ms

Algorithm
intervals
Results
8.0ms54×body1280valid
5.0ms135×body80valid
4.0ms35×body640valid
2.0ms21×body320valid
1.0ms11×body160valid

simplify115.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (101.0ms)

IterNodesCost
066919
166919

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.4b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 x (+.f64 x 1))
0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
3.6b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity_binary64_1707
60×times-frac_binary64_1702
57×add-sqr-sqrt_binary64_1692
25×add-cube-cbrt_binary64_1678
20×distribute-lft-out_binary64_1751
18×distribute-lft-out--_binary64_1752
14×difference-of-squares_binary64_1736
11×associate-/r*_binary64_1770
7×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679 associate-/l*_binary64_1771
5×difference-of-sqr-1_binary64_1737 add-log-exp_binary64_1672
4×associate-/r/_binary64_1772
3×pow1_binary64_1649
2×frac-2neg_binary64_1700 clear-num_binary64_1710 flip3-+_binary64_1705 cbrt-undiv_binary64_1677 div-exp_binary64_1656 flip-+_binary64_1732 associate-/l/_binary64_1773 flip3--_binary64_1706 flip--_binary64_1733 div-inv_binary64_1708
1×frac-sub_binary64_1698 diff-log_binary64_1618 sub-neg_binary64_1711
Counts
3 → 113
Calls
3 calls:
7.0ms
(/.f64 x (+.f64 x 1))
10.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
46.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series815.0ms

Counts
3 → 9
Calls
3 calls:
268.0ms
(/.f64 x (+.f64 x 1))
268.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
279.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04262040
14262040
047931674
147931674
04262040
14262040
047931674
147931674
013
113
03691788
13691788
060151437
03691788
13691788
060151437
013
113
03601740
13601740
056721225
03601740
13601740
056721225
013
113

simplify151.0ms

Counts
122 → 122
Iterations

Useful iterations: 0 (118.0ms)

IterNodesCost
049012164
149012164

prune201.0ms

Filtered
74 candidates to 122 candidates (-64.9%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New10121122
Fresh000
Picked101
Done000
Total10221123

Merged error: 27.8b

Counts
123 → 21

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
0.0b
(pow.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))) 3)
0.1b
(cbrt.f64 (pow.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))) 3))
3.6b
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
284×*-un-lft-identity_binary64_1707
128×times-frac_binary64_1702
103×add-sqr-sqrt_binary64_1692
70×distribute-lft-out--_binary64_1752
48×distribute-lft-out_binary64_1751
38×cbrt-prod_binary64_1674
32×cube-prod_binary64_1680 unpow-prod-down_binary64_1638
30×difference-of-squares_binary64_1736
23×add-cube-cbrt_binary64_1678
7×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679 associate-/r*_binary64_1770
6×cube-div_binary64_1681 add-log-exp_binary64_1672
5×difference-of-sqr-1_binary64_1737 pow1_binary64_1649
4×flip3--_binary64_1706 flip--_binary64_1733 associate-/l*_binary64_1771
3×pow-unpow_binary64_1636 cbrt-div_binary64_1675 frac-sub_binary64_1698
2×associate-/r/_binary64_1772 sqr-pow_binary64_1739 unpow3_binary64_1647 associate-/l/_binary64_1773 cube-mult_binary64_1682
1×frac-2neg_binary64_1700 clear-num_binary64_1710 flip3-+_binary64_1705 cbrt-undiv_binary64_1677 div-exp_binary64_1656 flip-+_binary64_1732 pow-pow_binary64_1631 rem-cbrt-cube_binary64_1684 rem-cube-cbrt_binary64_1683 pow-to-exp_binary64_1628 diff-log_binary64_1618 sub-neg_binary64_1711 pow-exp_binary64_1627 pow1/3_binary64_1641 div-inv_binary64_1708
Counts
4 → 182
Calls
4 calls:
10.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
49.0ms
(pow.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))) 3)
50.0ms
(cbrt.f64 (pow.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))) 3))
44.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series1.1s

Counts
4 → 12
Calls
4 calls:
270.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
265.0ms
(pow.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))) 3)
272.0ms
(cbrt.f64 (pow.f64 (-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))) 3))
276.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04262040
14262040
047931674
147931674
04262040
14262040
047931674
147931674
013
113
0522175
1522175
048511803
148511803
0522175
1522175
048511803
148511803
013
113
05172157
15172157
047942088
147942088
05172157
15172157
047942088
147942088
013
113
03691788
13691788
060151437
03691788
13691788
060151437
013
113

simplify88.0ms

Counts
194 → 194
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
052314925

prune153.0ms

Filtered
86 candidates to 194 candidates (-125.6%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New1859194
Fresh71320
Picked101
Done000
Total19322215

Merged error: 27.8b

Counts
215 → 22

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 x 1) (-.f64 x 1))
0.0b
(log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))
0.0b
(exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))
3.6b
(-.f64 (/.f64 x (+.f64 x 1)) (log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
129×*-un-lft-identity_binary64_1707
100×add-sqr-sqrt_binary64_1692
85×times-frac_binary64_1702
68×exp-prod_binary64_1657
43×add-cube-cbrt_binary64_1678
36×log-pow_binary64_1624
28×difference-of-squares_binary64_1736
22×distribute-lft-out_binary64_1751
15×distribute-lft-out--_binary64_1752
13×difference-of-sqr-1_binary64_1737
7×associate-/r*_binary64_1770
6×associate-/r/_binary64_1772 pow1_binary64_1649 add-log-exp_binary64_1672 log-prod_binary64_1621 add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
4×flip3--_binary64_1706 flip--_binary64_1733 associate-/l*_binary64_1771
3×associate--r+_binary64_1762 div-inv_binary64_1708
2×associate-/l/_binary64_1773
1×frac-2neg_binary64_1700 clear-num_binary64_1710 flip3-+_binary64_1705 cbrt-undiv_binary64_1677 div-exp_binary64_1656 flip-+_binary64_1732 rem-exp-log_binary64_1669 rem-log-exp_binary64_1670 diff-log_binary64_1618 sub-neg_binary64_1711
Counts
4 → 161
Calls
4 calls:
11.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
15.0ms
(log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))
13.0ms
(exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))
56.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
276.0ms
(/.f64 (+.f64 x 1) (-.f64 x 1))
279.0ms
(log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1))))
245.0ms
(exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))
299.0ms
(-.f64 (/.f64 x (+.f64 x 1)) (log.f64 (exp.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
04742124
14742124
048571709
148571709
04742124
14742124
048571709
148571709
013
113
03031899
13031899
049301683
149301683
03031899
13031899
049301683
149301683
013
113
03561941
13561941
055561530
03561941
13561941
055561530
013
113
03691788
13691788
060151437
03691788
13691788
060151437
013
113

simplify124.0ms

Counts
173 → 173
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
063202730

prune369.0ms

Filtered
106 candidates to 173 candidates (-63.2%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New1712173
Fresh12021
Picked101
Done000
Total17322195

Merged error: 27.8b

Counts
195 → 22

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)
0.1b
(pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) 3)
0.1b
(cbrt.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) 3) (pow.f64 (+.f64 (*.f64 (/.f64 x (+.f64 x 1)) (/.f64 x (+.f64 x 1))) (/.f64 (+.f64 (*.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 x 1))) (/.f64 x 1)) (-.f64 x 1))) 3)))
3.5b
(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
5623×*-un-lft-identity_binary64_1707
4352×times-frac_binary64_1702
3135×cube-prod_binary64_1680 unpow-prod-down_binary64_1638
2849×add-sqr-sqrt_binary64_1692
1929×cbrt-prod_binary64_1674
1439×distribute-lft-out--_binary64_1752
988×difference-of-squares_binary64_1736
878×distribute-lft-out_binary64_1751
549×add-cube-cbrt_binary64_1678
498×sqr-pow_binary64_1739
174×unpow3_binary64_1647 cube-mult_binary64_1682
27×difference-cubes_binary64_1704
13×cube-div_binary64_1681
9×associate-/r/_binary64_1772
8×difference-of-sqr-1_binary64_1737 add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
6×pow1_binary64_1649 pow-unpow_binary64_1636 add-log-exp_binary64_1672
4×flip3--_binary64_1706 flip--_binary64_1733
3×frac-add_binary64_1697 rem-cube-cbrt_binary64_1683 pow-exp_binary64_1627 div-inv_binary64_1708
2×frac-sub_binary64_1698 pow-pow_binary64_1631 pow-to-exp_binary64_1628
1×associate-*r/_binary64_1768 flip3-+_binary64_1705 cbrt-undiv_binary64_1677 div-exp_binary64_1656 flip-+_binary64_1732 cbrt-div_binary64_1675 associate-*l/_binary64_1769 diff-log_binary64_1618 sub-neg_binary64_1711 pow1/3_binary64_1641 frac-times_binary64_1699
Counts
4 → 2286
Calls
4 calls:
15.0ms
(pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)
167.0ms
(pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) 3)
361.0ms
(cbrt.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) 3) (pow.f64 (+.f64 (*.f64 (/.f64 x (+.f64 x 1)) (/.f64 x (+.f64 x 1))) (/.f64 (+.f64 (*.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 x 1))) (/.f64 x 1)) (-.f64 x 1))) 3)))
148.0ms
(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))

series859.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)
220.0ms
(pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) 3)
222.0ms
(cbrt.f64 (/.f64 (pow.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3)) 3) (pow.f64 (+.f64 (*.f64 (/.f64 x (+.f64 x 1)) (/.f64 x (+.f64 x 1))) (/.f64 (+.f64 (*.f64 (+.f64 x 1) (/.f64 (+.f64 x 1) (-.f64 x 1))) (/.f64 x 1)) (-.f64 x 1))) 3)))
208.0ms
(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06072184
16072184
051032151
06072184
16072184
051032151
013
113
0822904
1822904
055722637
0822904
1822904
055722637
013
113
06972211
16972211
055832178
06972211
16972211
055832178
013
113
03731972
13731972
059811851
03731972
13731972
059811851
013
113

simplify2.0s

Counts
2298 → 2298
Iterations

Useful iterations: 0 (131.0ms)

IterNodesCost
05071275315

prune2.0s

Filtered
249 candidates to 2298 candidates (-822.9%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New2287112298
Fresh111021
Picked101
Done000
Total2299212320

Merged error: 27.7b

Counts
2320 → 21

regimes89.0ms

Accuracy

0% (0.6b remaining)

Error of 29.7b against oracle of 29.1b and baseline of 29.7b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
07427
17427

end0.0ms

sample717.0ms

Algorithm
intervals
Results
265.0ms1754×body1280valid
147.0ms1246×body640valid
135.0ms4062×body80valid
54.0ms619×body320valid
19.0ms319×body160valid

Profiling

Loading profile data...