Details

Time bar (total: 3.9s)

analyze4.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
62.5%25%12.5%4
68.7%12.5%18.8%5
71.8%6.2%21.9%6
73.4%3.1%23.5%7
74.2%1.6%24.3%8
74.6%0.8%24.6%9
75%0.4%24.6%10
75.1%0.2%24.7%11
75.1%0.1%24.8%12
75.1%0%24.8%13
75.2%0%24.8%14

sample30.0ms

Algorithm
intervals
Results
14.0ms80×body1280valid
6.0ms47×body640valid
2.0ms27×body320valid
2.0ms87×body80valid
1.0ms15×body160valid

simplify32.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
01679
11679

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 40.4b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (-.f64 (exp.f64 x) 1) x)
4.0b
(-.f64 (exp.f64 x) 1)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt_binary64_1672
29×*-un-lft-identity_binary64_1687
21×times-frac_binary64_1682
14×add-cube-cbrt_binary64_1658
10×difference-of-squares_binary64_1716
7×associate-/l*_binary64_1751
5×difference-of-sqr-1_binary64_1717 distribute-lft-out--_binary64_1732
4×add-log-exp_binary64_1652 add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651
3×associate-/r*_binary64_1750
2×pow1_binary64_1629 flip--_binary64_1713 associate-/l/_binary64_1753 flip3--_binary64_1686
1×div-exp_binary64_1636 cbrt-undiv_binary64_1657 diff-log_binary64_1598 clear-num_binary64_1690 sub-neg_binary64_1691 div-sub_binary64_1681 div-inv_binary64_1688 frac-2neg_binary64_1680
Counts
2 → 61
Calls
2 calls:
8.0ms
(/.f64 (-.f64 (exp.f64 x) 1) x)
5.0ms
(-.f64 (exp.f64 x) 1)

series416.0ms

Counts
2 → 6
Calls
2 calls:
215.0ms
(/.f64 (-.f64 (exp.f64 x) 1) x)
202.0ms
(-.f64 (exp.f64 x) 1)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01031288
11031288
048711040
148711040
01031288
11031288
048711040
148711040
013
113
02051654
12051654
053391314
02051654
12051654
053391314
013
113

simplify101.0ms

Counts
67 → 67
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
05349960

prune43.0ms

Filtered
43 candidates to 67 candidates (-55.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New64367
Fresh000
Picked101
Done000
Total65368

Merged error: 40.2b

Counts
68 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (exp.f64 x) x)
3.5b
(-.f64 (/.f64 (exp.f64 x) x) (/.f64 1 x))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64_1672
26×*-un-lft-identity_binary64_1687
23×times-frac_binary64_1682
12×add-cube-cbrt_binary64_1658
6×div-inv_binary64_1688 difference-of-squares_binary64_1716
5×distribute-lft-out--_binary64_1732
4×add-log-exp_binary64_1652 add-cbrt-cube_binary64_1659
3×associate-/l*_binary64_1751 distribute-rgt-out--_binary64_1734 add-exp-log_binary64_1651 associate-/r*_binary64_1750
2×pow1_binary64_1629
1×div-exp_binary64_1636 sub-div_binary64_1676 flip--_binary64_1713 cbrt-undiv_binary64_1657 diff-log_binary64_1598 clear-num_binary64_1690 sub-neg_binary64_1691 flip3--_binary64_1686 frac-2neg_binary64_1680 frac-sub_binary64_1678
Counts
2 → 54
Calls
2 calls:
5.0ms
(/.f64 (exp.f64 x) x)
16.0ms
(-.f64 (/.f64 (exp.f64 x) x) (/.f64 1 x))

series459.0ms

Counts
2 → 6
Calls
2 calls:
201.0ms
(/.f64 (exp.f64 x) x)
258.0ms
(-.f64 (/.f64 (exp.f64 x) x) (/.f64 1 x))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
02011847
12011847
055651223
02011847
12011847
055651223
013
113
01751597
11751597
050511127
01751597
11751597
050511127
013
113

simplify135.0ms

Counts
60 → 60
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
04945797
14945797

prune53.0ms

Filtered
45 candidates to 60 candidates (-33.3%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New501060
Fresh112
Picked101
Done000
Total521163

Merged error: 39.1b

Counts
63 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
28.3b
(-.f64 (/.f64 (/.f64 (exp.f64 x) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (/.f64 1 x))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt_binary64_1672
31×times-frac_binary64_1682
20×*-un-lft-identity_binary64_1687
15×cbrt-prod_binary64_1654 difference-of-squares_binary64_1716
8×add-cube-cbrt_binary64_1658
6×add-log-exp_binary64_1652
4×pow1_binary64_1629 add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651
3×distribute-lft-out--_binary64_1732 pow1/3_binary64_1621
2×div-inv_binary64_1688
1×flip--_binary64_1713 diff-log_binary64_1598 sub-neg_binary64_1691 distribute-rgt-out--_binary64_1734 flip3--_binary64_1686 frac-sub_binary64_1678
Counts
4 → 64
Calls
4 calls:
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
45.0ms
(-.f64 (/.f64 (/.f64 (exp.f64 x) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (/.f64 1 x))

series457.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(cbrt.f64 x)
85.0ms
(cbrt.f64 x)
85.0ms
(cbrt.f64 x)
200.0ms
(-.f64 (/.f64 (/.f64 (exp.f64 x) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) (/.f64 1 x))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03332199
13332199
052631426
03332199
13332199
052631426
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113

simplify115.0ms

Counts
76 → 76
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
049681264
149681264

prune73.0ms

Filtered
57 candidates to 76 candidates (-33.3%)
Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New67976
Fresh1910
Picked011
Done000
Total681987

Merged error: 39.1b

Counts
87 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 x)
28.5b
(-.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 x))) (/.f64 1 x))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod_binary64_1654
7×add-sqr-sqrt_binary64_1672 add-cube-cbrt_binary64_1658 *-un-lft-identity_binary64_1687
6×add-log-exp_binary64_1652
4×pow1_binary64_1629 add-cbrt-cube_binary64_1659 add-exp-log_binary64_1651
3×pow1/3_binary64_1621 frac-sub_binary64_1678
1×associate-*r/_binary64_1748 flip--_binary64_1713 associate-*l/_binary64_1749 frac-times_binary64_1679 diff-log_binary64_1598 sub-neg_binary64_1691 flip3--_binary64_1686
Counts
4 → 47
Calls
4 calls:
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
23.0ms
(-.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 x))) (/.f64 1 x))

series504.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(cbrt.f64 x)
101.0ms
(cbrt.f64 x)
88.0ms
(cbrt.f64 x)
230.0ms
(-.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 x))) (/.f64 1 x))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03992391
13992391
061711542
03992391
13992391
061711542
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113
0331914
1331914
0421899
1421899
0331914
1331914
0421899
1421899
013
113

simplify126.0ms

Counts
59 → 59
Iterations

Useful iterations: 0 (105.0ms)

IterNodesCost
04906504
14906504

prune258.0ms

Filtered
46 candidates to 59 candidates (-28.3%)
Pruning

22 alts after pruning (20 fresh and 2 done)

PrunedKeptTotal
New55459
Fresh11617
Picked011
Done011
Total562278

Merged error: 39.1b

Counts
78 → 22

regimes47.0ms

Accuracy

0% (1.2b remaining)

Error of 40.0b against oracle of 38.7b and baseline of 40.0b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03224
13224

end0.0ms

sample926.0ms

Algorithm
intervals
Results
447.0ms2320×body1280valid
207.0ms1631×body640valid
73.0ms842×body320valid
66.0ms2793×body80valid
22.0ms414×body160valid

Profiling

Loading profile data...