Details

Time bar (total: 10.0s)

sample157.0ms

Algorithm
intervals
Results
50.0ms258×body80valid
35.0ms239×body80overflowed
1.0ms5×body80nan

simplify103.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
014863
161963
2428462
3500162

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize54.0ms

Local error

Found 4 expressions with local error:

6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity
104×add-sqr-sqrt
96×prod-diff
64×add-cube-cbrt
44×associate--l+
28×distribute-lft-out--
24×add-log-exp
20×fma-neg difference-of-squares
12×diff-log
8×sub-neg
4×pow1 add-exp-log associate--l- expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 200
Calls
4 calls:
45.0ms
(- (- 1.0 z) 1.0)
44.0ms
(- (- 1.0 z) 1.0)
45.0ms
(- (- 1.0 z) 1.0)
48.0ms
(- (- 1.0 z) 1.0)

series42.0ms

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

simplify107.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (94.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune1.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize58.0ms

Local error

Found 4 expressions with local error:

6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)

rewrite189.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity
104×add-sqr-sqrt
96×prod-diff
64×add-cube-cbrt
44×associate--l+
28×distribute-lft-out--
24×add-log-exp
20×fma-neg difference-of-squares
12×diff-log
8×sub-neg
4×pow1 add-exp-log associate--l- expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 200
Calls
4 calls:
45.0ms
(- (- 1.0 z) 1.0)
44.0ms
(- (- 1.0 z) 1.0)
46.0ms
(- (- 1.0 z) 1.0)
44.0ms
(- (- 1.0 z) 1.0)

series40.0ms

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

simplify108.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (95.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune1.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.7b

localize59.0ms

Local error

Found 4 expressions with local error:

6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)
6.0b
(- (- 1.0 z) 1.0)

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
116×*-un-lft-identity
104×add-sqr-sqrt
96×prod-diff
64×add-cube-cbrt
44×associate--l+
28×distribute-lft-out--
24×add-log-exp
20×fma-neg difference-of-squares
12×diff-log
8×sub-neg
4×pow1 add-exp-log associate--l- expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
Counts
4 → 200
Calls
4 calls:
44.0ms
(- (- 1.0 z) 1.0)
45.0ms
(- (- 1.0 z) 1.0)
45.0ms
(- (- 1.0 z) 1.0)
46.0ms
(- (- 1.0 z) 1.0)

series43.0ms

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

simplify108.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (95.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune2.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 1.7b

regimes126.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08763
19263
29263

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.4s8067×body80valid
1.1s7536×body80overflowed
46.0ms279×body80nan