Details

sample2.5s

Algorithm

intervals

Results

2.0s	115×	body	10240	exit
118.0ms	42×	body	640	nan
94.0ms	259×	body	80	valid
81.0ms	41×	body	1280	nan
19.0ms	19×	body	320	nan
6.0ms	8×	body	160	nan
3.0ms	8×	body	80	nan

simplify161.0ms

Counts: 1 → 1

prune53.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize112.0ms

Local error

Found 4 expressions with local error:

4.6b	(- (- 1.0 z) 1.0)
4.6b	(- (- 1.0 z) 1.0)
4.6b	(- (- 1.0 z) 1.0)
4.6b	(- (- 1.0 z) 1.0)

rewrite236.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:

47.0ms	(- (- 1.0 z) 1.0)
56.0ms	(- (- 1.0 z) 1.0)
50.0ms	(- (- 1.0 z) 1.0)
77.0ms	(- (- 1.0 z) 1.0)

series67.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(- (- 1.0 z) 1.0)
19.0ms	(- (- 1.0 z) 1.0)
15.0ms	(- (- 1.0 z) 1.0)
17.0ms	(- (- 1.0 z) 1.0)

simplify55.0ms

Counts: 88 → 88

prune1.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.8b

localize123.0ms

Local error

Found 4 expressions with local error:

4.6b	(- (- 1.0 z) 1.0)
4.6b	(- (- 1.0 z) 1.0)
4.6b	(- (- 1.0 z) 1.0)
4.6b	(- (- 1.0 z) 1.0)

rewrite165.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:

38.0ms	(- (- 1.0 z) 1.0)
38.0ms	(- (- 1.0 z) 1.0)
50.0ms	(- (- 1.0 z) 1.0)
36.0ms	(- (- 1.0 z) 1.0)

series68.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(- (- 1.0 z) 1.0)
19.0ms	(- (- 1.0 z) 1.0)
21.0ms	(- (- 1.0 z) 1.0)
14.0ms	(- (- 1.0 z) 1.0)

simplify68.0ms

Counts: 88 → 88

prune1.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 1.8b

regimes171.0ms

Accuracy

-1916.5% (0.8b remaining)

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

bsearch0.0ms

simplify135.0ms

end0.0ms

sample1.3m

Algorithm

intervals

Results

1.1m	3896×	body	10240	exit
4.9s	8090×	body	80	valid
3.7s	1478×	body	1280	nan
2.6s	1241×	body	640	nan
1.4s	669×	body	320	nan
272.0ms	341×	body	160	nan
156.0ms	299×	body	80	nan
1.0ms	1×	body	160	valid