Details

Time bar (total: 1.1m)

sample1.5s

Algorithm
intervals
Results
1.2s100×body10240exit
117.0ms45×body640nan
64.0ms45×body1280nan
62.0ms258×body80valid
18.0ms27×body320nan
4.0ms9×body160nan
3.0ms11×body80nan

simplify115.0ms

Counts
1 → 1

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

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

rewrite155.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:
37.0ms
(- (- 1.0 z) 1.0)
37.0ms
(- (- 1.0 z) 1.0)
36.0ms
(- (- 1.0 z) 1.0)
42.0ms
(- (- 1.0 z) 1.0)

series49.0ms

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

simplify64.0ms

Counts
88 → 88

prune867.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

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

rewrite151.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:
37.0ms
(- (- 1.0 z) 1.0)
39.0ms
(- (- 1.0 z) 1.0)
36.0ms
(- (- 1.0 z) 1.0)
38.0ms
(- (- 1.0 z) 1.0)

series52.0ms

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

simplify63.0ms

Counts
88 → 88

prune911.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

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

rewrite153.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)
37.0ms
(- (- 1.0 z) 1.0)
40.0ms
(- (- 1.0 z) 1.0)
36.0ms
(- (- 1.0 z) 1.0)

series54.0ms

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

simplify65.0ms

Counts
88 → 88

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize110.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)
39.2b
(cbrt (pow (* -1 z) 3))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
19×add-log-exp
11×add-sqr-sqrt
9×diff-log distribute-lft-out--
8×cbrt-prod
6×sub-neg associate--l+
5×add-cube-cbrt
4×pow1 add-exp-log add-cbrt-cube
3×associate--l- flip3-- flip-- difference-of-squares
1×cube-mult unpow-prod-down pow1/3 unpow3 cube-prod rem-cbrt-cube sqr-pow
Counts
4 → 74
Calls
4 calls:
37.0ms
(- (- 1.0 z) 1.0)
38.0ms
(- (- 1.0 z) 1.0)
36.0ms
(- (- 1.0 z) 1.0)
3.0ms
(cbrt (pow (* -1 z) 3))

series74.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
37.0ms
(cbrt (pow (* -1 z) 3))

simplify56.0ms

Counts
86 → 86

prune1.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 1.7b

regimes122.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

end0.0ms

sample57.0s

Algorithm
intervals
Results
46.0s3826×body10240exit
4.3s8082×body80valid
3.5s1558×body1280nan
1.6s1269×body640nan
711.0ms627×body320nan
145.0ms318×body160nan
67.0ms287×body80nan
0.0ms1×body160valid