Details

Time bar (total: 1.6m)

sample2.3s

Algorithm
intervals
Results
1.8s104×body10240exit
138.0ms258×body80valid
101.0ms49×body1280nan
57.0ms10×body160nan
48.0ms34×body640nan
25.0ms21×body320nan
4.0ms10×body80nan

simplify2.0s

Counts
1 → 1

prune45.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.0b

localize135.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)

rewrite573.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:
51.0ms
(- (- 1.0 z) 1.0)
43.0ms
(- (- 1.0 z) 1.0)
47.0ms
(- (- 1.0 z) 1.0)
430.0ms
(- (- 1.0 z) 1.0)

series68.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(- (- 1.0 z) 1.0)
21.0ms
(- (- 1.0 z) 1.0)
14.0ms
(- (- 1.0 z) 1.0)
13.0ms
(- (- 1.0 z) 1.0)

simplify1.0s

Counts
88 → 88

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 2.0b

localize126.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)

rewrite223.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:
45.0ms
(- (- 1.0 z) 1.0)
64.0ms
(- (- 1.0 z) 1.0)
44.0ms
(- (- 1.0 z) 1.0)
68.0ms
(- (- 1.0 z) 1.0)

series62.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(- (- 1.0 z) 1.0)
14.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
16.0ms
(- (- 1.0 z) 1.0)

simplify1.0s

Counts
88 → 88

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 2.0b

localize99.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 (+ 1.0 z))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity add-log-exp
12×add-sqr-sqrt
11×diff-log distribute-lft-out--
7×sub-neg
6×associate--l+
4×pow1 add-exp-log add-cube-cbrt flip3-- add-cbrt-cube flip-- difference-of-squares
3×associate--l-
1×sum-log distribute-lft-out associate--r+
Counts
4 → 74
Calls
4 calls:
75.0ms
(- (- 1.0 z) 1.0)
71.0ms
(- (- 1.0 z) 1.0)
71.0ms
(- (- 1.0 z) 1.0)
15.0ms
(- 1.0 (+ 1.0 z))

series56.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
16.0ms
(- 1.0 (+ 1.0 z))

simplify685.0ms

Counts
86 → 86

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 2.0b

localize124.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)

rewrite198.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)
41.0ms
(- (- 1.0 z) 1.0)
58.0ms
(- (- 1.0 z) 1.0)
50.0ms
(- (- 1.0 z) 1.0)

series55.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
17.0ms
(- (- 1.0 z) 1.0)

simplify922.0ms

Counts
88 → 88

prune1.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 2.0b

regimes199.0ms

Accuracy

-1773.7% (0.8b remaining)

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

bsearch0.0ms

simplify2.1s

end0.0ms

sample1.3m

Algorithm
intervals
Results
1.1m3820×body10240exit
5.0s8081×body80valid
3.9s1513×body1280nan
2.4s1282×body640nan
1.5s629×body320nan
335.0ms335×body160nan
201.0ms301×body80nan