Details

Time bar (total: 54.8s)

sample1.8s

Algorithm
intervals
Results
1.6s146×body10240exit
58.0ms58×body1280nan
49.0ms260×body80valid
29.0ms42×body640nan
8.0ms16×body320nan
2.0ms6×body160nan
2.0ms11×body80nan

simplify109.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
014863
161963
2428462
3500162

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize58.0ms

Local error

Found 4 expressions with local error:

6.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)

rewrite183.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:
43.0ms
(- (- 1.0 z) 1.0)
43.0ms
(- (- 1.0 z) 1.0)
43.0ms
(- (- 1.0 z) 1.0)
46.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 (99.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.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)

rewrite397.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)
43.0ms
(- (- 1.0 z) 1.0)
45.0ms
(- (- 1.0 z) 1.0)
256.0ms
(- (- 1.0 z) 1.0)

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

simplify111.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (99.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune1.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.7b

localize65.0ms

Local error

Found 4 expressions with local error:

6.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)
6.2b
(- (- 1.0 z) 1.0)
6.2b
(fma 1.0 -1 (pow (cbrt (- 1.0 z)) 3))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
88×*-un-lft-identity
79×add-sqr-sqrt
72×prod-diff
49×add-cube-cbrt
33×associate--l+
21×distribute-lft-out--
19×add-log-exp
15×fma-neg difference-of-squares
9×diff-log
6×sub-neg
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×associate--l- flip3-- flip--
1×fma-udef
Counts
4 → 160
Calls
4 calls:
42.0ms
(- (- 1.0 z) 1.0)
44.0ms
(- (- 1.0 z) 1.0)
48.0ms
(- (- 1.0 z) 1.0)
0.0ms
(fma 1.0 -1 (pow (cbrt (- 1.0 z)) 3))

series438.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(- (- 1.0 z) 1.0)
11.0ms
(- (- 1.0 z) 1.0)
12.0ms
(- (- 1.0 z) 1.0)
397.0ms
(fma 1.0 -1 (pow (cbrt (- 1.0 z)) 3))

simplify54.0ms

Algorithm
egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
03051159
11377586
25001514

prune1.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 1.7b

regimes132.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

sample46.0s

Algorithm
intervals
Results
41.1s3936×body10240exit
1.6s1541×body1280nan
1.4s8076×body80valid
870.0ms1243×body640nan
314.0ms612×body320nan
102.0ms299×body160nan
59.0ms310×body80nan