Details

Time bar (total: 55.5s)

sample1.5s

Algorithm
intervals
Results
1.3s123×body10240exit
56.0ms258×body80valid
48.0ms46×body1280nan
24.0ms34×body640nan
8.0ms16×body320nan
3.0ms9×body160nan
2.0ms14×body80nan

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
014863
161963
2428462
3500162

prune36.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

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

rewrite101.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:
25.0ms
(- (- 1.0 z) 1.0)
22.0ms
(- (- 1.0 z) 1.0)
23.0ms
(- (- 1.0 z) 1.0)
22.0ms
(- (- 1.0 z) 1.0)

series44.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)
11.0ms
(- (- 1.0 z) 1.0)

simplify116.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune1.7s

Filtered
212 candidates to 128 candidates (60.4%)
Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 1.8b

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

rewrite103.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:
23.0ms
(- (- 1.0 z) 1.0)
25.0ms
(- (- 1.0 z) 1.0)
23.0ms
(- (- 1.0 z) 1.0)
23.0ms
(- (- 1.0 z) 1.0)

series50.0ms

Counts
4 → 12
Calls
4 calls:
16.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)

simplify109.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
01681460
1532756
22706528
35002460

prune1.8s

Filtered
212 candidates to 128 candidates (60.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.8b

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

rewrite107.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:
23.0ms
(- (- 1.0 z) 1.0)
23.0ms
(- (- 1.0 z) 1.0)
27.0ms
(- (- 1.0 z) 1.0)
23.0ms
(- (- 1.0 z) 1.0)

series44.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)
11.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.9s

Filtered
212 candidates to 128 candidates (60.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 1.8b

localize73.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
(+ (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma -1 z (- z 1.0)))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
91×*-un-lft-identity
80×add-sqr-sqrt
72×prod-diff
50×add-cube-cbrt
33×associate--l+
21×distribute-lft-out-- 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-- fma-def flip--
2×fma-udef
1×+-commutative associate-+l+ associate-+r+ flip3-+ sum-log flip-+ distribute-lft-out
Counts
4 → 169
Calls
4 calls:
24.0ms
(- (- 1.0 z) 1.0)
23.0ms
(- (- 1.0 z) 1.0)
22.0ms
(- (- 1.0 z) 1.0)
3.0ms
(+ (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma -1 z (- z 1.0)))

series206.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)
173.0ms
(+ (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma -1 z (- z 1.0)))

simplify44.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
02521388
1918762
25001560

prune2.1s

Filtered
181 candidates to 115 candidates (63.5%)
Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 1.8b

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

sample44.8s

Algorithm
intervals
Results
39.9s3808×body10240exit
1.6s1523×body1280nan
1.5s8102×body80valid
857.0ms1197×body640nan
330.0ms645×body320nan
95.0ms279×body160nan
51.0ms290×body80nan