Details

Time bar (total: 4.8s)

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

sample29.0ms

Algorithm
intervals
Results
12.0ms66×body1280valid
7.0ms64×body640valid
2.0ms32×body320valid
2.0ms79×body80valid
1.0ms15×body160valid

simplify31.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: 42.3b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt_binary64_3437
29×*-un-lft-identity_binary64_3452
21×times-frac_binary64_3447
14×add-cube-cbrt_binary64_3423
10×difference-of-squares_binary64_3481
7×associate-/l*_binary64_3516
5×difference-of-sqr-1_binary64_3482 distribute-lft-out--_binary64_3497
4×add-log-exp_binary64_3417 add-cbrt-cube_binary64_3424 add-exp-log_binary64_3416
3×associate-/r*_binary64_3515
2×flip--_binary64_3478 pow1_binary64_3394 flip3--_binary64_3451 associate-/l/_binary64_3518
1×cbrt-undiv_binary64_3422 frac-2neg_binary64_3445 div-inv_binary64_3453 clear-num_binary64_3455 div-sub_binary64_3446 diff-log_binary64_3363 sub-neg_binary64_3456 div-exp_binary64_3401
Counts
2 → 61
Calls
2 calls:
8.0ms
(/.f64 (-.f64 (exp.f64 x) 1) x)
5.0ms
(-.f64 (exp.f64 x) 1)

series600.0ms

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

Useful iterations: 0 (5.0ms)

IterNodesCost
01611331
11611331
047851073
147851073
01611331
11611331
047851073
147851073
013
113
03811799
13811799
048661289
148661289
03811799
13811799
048661289
148661289
013
113

simplify103.0ms

Counts
67 → 67
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
05349960

prune38.0ms

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

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New65267
Fresh000
Picked011
Done000
Total65368

Merged error: 41.6b

Counts
68 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64_3437
26×*-un-lft-identity_binary64_3452
23×times-frac_binary64_3447
12×add-cube-cbrt_binary64_3423
6×div-inv_binary64_3453 difference-of-squares_binary64_3481
5×distribute-lft-out--_binary64_3497
4×add-log-exp_binary64_3417 add-cbrt-cube_binary64_3424
3×associate-/l*_binary64_3516 add-exp-log_binary64_3416 distribute-rgt-out--_binary64_3499 associate-/r*_binary64_3515
2×pow1_binary64_3394
1×sub-div_binary64_3441 cbrt-undiv_binary64_3422 frac-2neg_binary64_3445 frac-sub_binary64_3443 flip--_binary64_3478 clear-num_binary64_3455 diff-log_binary64_3363 flip3--_binary64_3451 sub-neg_binary64_3456 div-exp_binary64_3401
Counts
2 → 54
Calls
2 calls:
5.0ms
(/.f64 (exp.f64 x) x)
18.0ms
(-.f64 (/.f64 (exp.f64 x) x) (/.f64 1 x))

series544.0ms

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

Useful iterations: 0 (5.0ms)

IterNodesCost
03471919
13471919
047651353
147651353
03471919
13471919
047651353
147651353
013
113
03511736
13511736
057241240
03511736
13511736
057241240
013
113

simplify135.0ms

Counts
60 → 60
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
04945797
14945797

prune54.0ms

Filtered
44 candidates to 60 candidates (-36.4%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New491160
Fresh101
Picked101
Done011
Total511263

Merged error: 40.4b

Counts
63 → 12

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
118×times-frac_binary64_3447
102×add-sqr-sqrt_binary64_3437
76×*-un-lft-identity_binary64_3452
55×add-cube-cbrt_binary64_3423
16×associate-/r*_binary64_3515
15×difference-of-squares_binary64_3481
12×add-exp-log_binary64_3416
10×div-inv_binary64_3453 add-cbrt-cube_binary64_3424
8×div-exp_binary64_3401
7×distribute-lft-out--_binary64_3497
6×associate-/l*_binary64_3516
5×add-log-exp_binary64_3417
4×cbrt-undiv_binary64_3422 pow1_binary64_3394
2×frac-2neg_binary64_3445 rec-exp_binary64_3400 clear-num_binary64_3455 1-exp_binary64_3412
1×pow-flip_binary64_3378 frac-sub_binary64_3443 flip--_binary64_3478 diff-log_binary64_3363 flip3--_binary64_3451 inv-pow_binary64_3370 sub-neg_binary64_3456 associate-/r/_binary64_3517
Counts
3 → 137
Calls
3 calls:
5.0ms
(/.f64 x (exp.f64 x))
9.0ms
(/.f64 1 (/.f64 x (exp.f64 x)))
252.0ms
(-.f64 (/.f64 1 (/.f64 x (exp.f64 x))) (/.f64 1 x))

series813.0ms

Counts
3 → 9
Calls
3 calls:
268.0ms
(/.f64 x (exp.f64 x))
271.0ms
(/.f64 1 (/.f64 x (exp.f64 x)))
273.0ms
(-.f64 (/.f64 1 (/.f64 x (exp.f64 x))) (/.f64 1 x))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05092030
15092030
070401417
05092030
15092030
070401417
013
113
05041922
15041922
048551374
148551374
05041922
15041922
048551374
148551374
013
113
03601774
13601774
048881369
148881369
03601774
13601774
048881369
148881369
013
113

simplify138.0ms

Counts
146 → 146
Iterations

Useful iterations: 0 (103.0ms)

IterNodesCost
048972345
148972345

prune89.0ms

Filtered
85 candidates to 146 candidates (-71.8%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1415146
Fresh1910
Picked101
Done101
Total14414158

Merged error: 40.4b

Counts
158 → 14

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64_3437
14×*-un-lft-identity_binary64_3452
12×add-cube-cbrt_binary64_3423
9×cbrt-prod_binary64_3419
8×times-frac_binary64_3447
7×distribute-lft-out--_binary64_3497
6×add-log-exp_binary64_3417
4×div-inv_binary64_3453 pow1_binary64_3394 add-cbrt-cube_binary64_3424 add-exp-log_binary64_3416
3×difference-of-squares_binary64_3481 pow1/3_binary64_3386
1×frac-sub_binary64_3443 flip--_binary64_3478 diff-log_binary64_3363 flip3--_binary64_3451 sub-neg_binary64_3456
Counts
4 → 55
Calls
4 calls:
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
23.0ms
(-.f64 (/.f64 1 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (exp.f64 x)))) (/.f64 1 x))

series644.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(cbrt.f64 x)
99.0ms
(cbrt.f64 x)
91.0ms
(cbrt.f64 x)
308.0ms
(-.f64 (/.f64 1 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (exp.f64 x)))) (/.f64 1 x))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06082226
16082226
048391466
148391466
06082226
16082226
048391466
148391466
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

simplify180.0ms

Counts
67 → 67
Iterations

Useful iterations: 0 (149.0ms)

IterNodesCost
04907629
14907629

prune48.0ms

Filtered
49 candidates to 67 candidates (-36.7%)
Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New61667
Fresh01313
Picked011
Done000
Total612081

Merged error: 40.4b

Counts
81 → 20

regimes40.0ms

Accuracy

0% (1.3b remaining)

Error of 39.8b against oracle of 38.5b and baseline of 39.8b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03427
13427

end0.0ms

sample889.0ms

Algorithm
intervals
Results
415.0ms2241×body1280valid
205.0ms1689×body640valid
69.0ms2821×body80valid
68.0ms824×body320valid
24.0ms425×body160valid

Profiling

Loading profile data...