Details

sample2.6s

Algorithm

intervals

Results

2.2s	122×	body	10240	exit
97.0ms	51×	body	1280	nan
93.0ms	256×	body	80	valid
67.0ms	45×	body	640	nan
25.0ms	23×	body	320	nan
4.0ms	11×	body	80	nan
3.0ms	5×	body	160	nan

simplify2.1s

Counts: 1 → 1

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize160.0ms

Local error

Found 4 expressions with local error:

5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)

rewrite241.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity` `add-log-exp`
12×	`add-sqr-sqrt` `diff-log` `distribute-lft-out--`
8×	`sub-neg` `associate--l+`
4×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--` `difference-of-squares`

Counts

4 → 76

Calls

4 calls:

46.0ms	(- (- 1.0 z) 1.0)
52.0ms	(- (- 1.0 z) 1.0)
79.0ms	(- (- 1.0 z) 1.0)
61.0ms	(- (- 1.0 z) 1.0)

series92.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(- (- 1.0 z) 1.0)
22.0ms	(- (- 1.0 z) 1.0)
21.0ms	(- (- 1.0 z) 1.0)
24.0ms	(- (- 1.0 z) 1.0)

simplify1.2s

Counts: 88 → 88

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize100.0ms

Local error

Found 4 expressions with local error:

5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)

rewrite252.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity` `add-log-exp`
12×	`add-sqr-sqrt` `diff-log` `distribute-lft-out--`
8×	`sub-neg` `associate--l+`
4×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--` `difference-of-squares`

Counts

4 → 76

Calls

4 calls:

65.0ms	(- (- 1.0 z) 1.0)
64.0ms	(- (- 1.0 z) 1.0)
51.0ms	(- (- 1.0 z) 1.0)
70.0ms	(- (- 1.0 z) 1.0)

series60.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (- 1.0 z) 1.0)
12.0ms	(- (- 1.0 z) 1.0)
19.0ms	(- (- 1.0 z) 1.0)
17.0ms	(- (- 1.0 z) 1.0)

simplify1.1s

Counts: 88 → 88

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.7b

localize127.0ms

Local error

Found 4 expressions with local error:

5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)
5.4b	(log (exp (* -1 z)))

rewrite172.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity` `add-log-exp`
11×	`add-sqr-sqrt`
9×	`diff-log` `distribute-lft-out--`
6×	`sub-neg` `associate--l+`
5×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `add-cbrt-cube`
3×	`associate--l-` `log-prod` `flip3--` `log-pow` `flip--` `difference-of-squares`
2×	`exp-neg` `mul-1-neg`
1×	`log-div` `exp-prod` `exp-to-pow` `rem-log-exp` `log-rec`

Counts

4 → 73

Calls

4 calls:

51.0ms	(- (- 1.0 z) 1.0)
57.0ms	(- (- 1.0 z) 1.0)
56.0ms	(- (- 1.0 z) 1.0)
4.0ms	(log (exp (* -1 z)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(- (- 1.0 z) 1.0)
16.0ms	(- (- 1.0 z) 1.0)
13.0ms	(- (- 1.0 z) 1.0)
20.0ms	(log (exp (* -1 z)))

simplify1.8s

Counts: 85 → 85

prune1.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize120.0ms

Local error

Found 4 expressions with local error:

5.4b	(- (- 1.0 z) 1.0)
5.4b	(- (- 1.0 z) 1.0)
5.5b	(log (sqrt (exp (* -1 z))))
5.5b	(log (sqrt (exp (* -1 z))))

rewrite166.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
16×	`add-log-exp`
12×	`add-sqr-sqrt` `log-prod`
10×	`log-pow`
8×	`pow1` `add-cube-cbrt`
6×	`add-exp-log` `sqrt-pow1` `diff-log` `sqrt-prod` `distribute-lft-out--`
4×	`sub-neg` `associate--l+` `add-cbrt-cube`
2×	`associate--l-` `exp-neg` `log-div` `exp-prod` `flip3--` `exp-to-pow` `mul-1-neg` `pow1/2` `sqrt-div` `rem-log-exp` `flip--` `difference-of-squares`

Counts

4 → 78

Calls

4 calls:

58.0ms	(- (- 1.0 z) 1.0)
74.0ms	(- (- 1.0 z) 1.0)
20.0ms	(log (sqrt (exp (* -1 z))))
10.0ms	(log (sqrt (exp (* -1 z))))

series548.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(- (- 1.0 z) 1.0)
13.0ms	(- (- 1.0 z) 1.0)
268.0ms	(log (sqrt (exp (* -1 z))))
248.0ms	(log (sqrt (exp (* -1 z))))

simplify1.2s

Counts: 90 → 90

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 1.7b

regimes187.0ms

Accuracy

-1340.8% (0.7b remaining)

Error of 2.5b against oracle of 1.8b and baseline of 1.8b

bsearch0.0ms

simplify1.8s

end0.0ms

sample1.4m

Algorithm

intervals

Results

1.1m	3915×	body	10240	exit
4.5s	1581×	body	1280	nan
3.5s	8099×	body	80	valid
3.4s	1239×	body	640	nan
1.5s	627×	body	320	nan
193.0ms	280×	body	160	nan
156.0ms	293×	body	80	nan
1.0ms	1×	body	160	valid