Details

Time bar (total: 54.2s)

sample1.6s

Algorithm
intervals
Results
1.4s129×body10240exit
66.0ms63×body1280nan
46.0ms259×body80valid
31.0ms44×body640nan
9.0ms17×body320nan
2.0ms7×body160nan
2.0ms10×body80nan

simplify107.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
014863
161963
2428462
3500162

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize57.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)

rewrite108.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:
24.0ms
(- (- 1.0 z) 1.0)
26.0ms
(- (- 1.0 z) 1.0)
24.0ms
(- (- 1.0 z) 1.0)
24.0ms
(- (- 1.0 z) 1.0)

series52.0ms

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

simplify111.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune1.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize53.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)

rewrite110.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:
26.0ms
(- (- 1.0 z) 1.0)
24.0ms
(- (- 1.0 z) 1.0)
24.0ms
(- (- 1.0 z) 1.0)
27.0ms
(- (- 1.0 z) 1.0)

series45.0ms

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

simplify113.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (95.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune1.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.7b

localize62.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)
6.1b
(- (- 1.0 z) 1.0)
6.2b
(- 1.0 (+ z 1.0))

rewrite296.0ms

Algorithm
rewrite-expression-head
Rules
107×*-un-lft-identity
89×add-sqr-sqrt
84×prod-diff
57×add-cube-cbrt
33×associate--l+
24×add-log-exp
23×distribute-lft-out--
18×fma-neg
16×difference-of-squares
11×diff-log
7×sub-neg
4×pow1 add-exp-log expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out
3×associate--l-
1×sum-log associate--r+
Counts
4 → 184
Calls
4 calls:
230.0ms
(- (- 1.0 z) 1.0)
24.0ms
(- (- 1.0 z) 1.0)
24.0ms
(- (- 1.0 z) 1.0)
11.0ms
(- 1.0 (+ z 1.0))

series45.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
02711346
1998718
25002509

prune1.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 1.7b

regimes104.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08763
19263
29263

end0.0ms

sample46.1s

Algorithm
intervals
Results
41.2s3914×body10240exit
1.6s1552×body1280nan
1.5s8085×body80valid
910.0ms1288×body640nan
343.0ms667×body320nan
96.0ms284×body160nan
51.0ms280×body80nan