Details

Time bar (total: 4.7s)

sample43.0ms

Algorithm
intervals
Results
19.0ms766×body80nan
8.0ms256×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
084
194
294

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ 1.0 x) 1.0)
0.0b
(log (- (/ 1.0 x) 1.0))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
48×*-un-lft-identity
44×add-cube-cbrt
39×prod-diff
38×times-frac
13×fma-neg
6×log-prod
4×div-inv add-log-exp difference-of-squares
3×pow1 add-exp-log
2×expm1-log1p-u log-div flip3-- add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out--
1×sub-neg diff-log rem-log-exp log-pow
Counts
2 → 88
Calls
2 calls:
9.0ms
(- (/ 1.0 x) 1.0)
11.0ms
(log (- (/ 1.0 x) 1.0))

series94.0ms

Counts
2 → 6
Calls
2 calls:
36.0ms
(- (/ 1.0 x) 1.0)
58.0ms
(log (- (/ 1.0 x) 1.0))

simplify43.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0320832
11090531
25001477

prune110.0ms

Filtered
94 candidates to 50 candidates (53.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New92294
Fresh000
Picked011
Done000
Total92395

Merged error: 0b

Counts
95 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (cbrt (- (/ 1.0 x) 1.0)))
0.3b
(+ (* 2 (log (cbrt (- (/ 1.0 x) 1.0)))) (log (cbrt (- (/ 1.0 x) 1.0))))
0.5b
(cbrt (- (/ 1.0 x) 1.0))
0.5b
(cbrt (- (/ 1.0 x) 1.0))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
36×cbrt-prod log-prod
27×*-un-lft-identity
18×associate-+l+
14×add-cube-cbrt
12×difference-of-squares
9×distribute-rgt-in associate-+r+ distribute-lft-in
8×cbrt-div
6×pow1 times-frac distribute-lft-out--
5×add-exp-log add-log-exp
4×expm1-log1p-u log-div flip3-- add-cbrt-cube flip-- log1p-expm1-u
3×pow1/3 log-pow
2×associate-+r- distribute-rgt-out
1×+-commutative fma-def distribute-lft1-in flip3-+ rem-log-exp sum-log flip-+
Counts
4 → 105
Calls
4 calls:
7.0ms
(log (cbrt (- (/ 1.0 x) 1.0)))
17.0ms
(+ (* 2 (log (cbrt (- (/ 1.0 x) 1.0)))) (log (cbrt (- (/ 1.0 x) 1.0))))
6.0ms
(cbrt (- (/ 1.0 x) 1.0))
6.0ms
(cbrt (- (/ 1.0 x) 1.0))

series676.0ms

Counts
4 → 12
Calls
4 calls:
196.0ms
(log (cbrt (- (/ 1.0 x) 1.0)))
209.0ms
(+ (* 2 (log (cbrt (- (/ 1.0 x) 1.0)))) (log (cbrt (- (/ 1.0 x) 1.0))))
136.0ms
(cbrt (- (/ 1.0 x) 1.0))
136.0ms
(cbrt (- (/ 1.0 x) 1.0))

simplify49.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
05231091
115061020
25001967

prune318.0ms

Filtered
117 candidates to 103 candidates (88.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1161117
Fresh101
Picked101
Done011
Total1182120

Merged error: 0b

Counts
120 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(+ (* 2 (log (expm1 (log1p (cbrt (- (/ 1.0 x) 1.0)))))) (log (cbrt (- (/ 1.0 x) 1.0))))
0.5b
(cbrt (- (/ 1.0 x) 1.0))
0.5b
(cbrt (- (/ 1.0 x) 1.0))
4.0b
(expm1 (log1p (cbrt (- (/ 1.0 x) 1.0))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
18×cbrt-prod
16×*-un-lft-identity
15×log-prod
10×add-cube-cbrt
9×associate-+r+
6×associate-+l+ cbrt-div difference-of-squares
5×add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×distribute-rgt-in flip3-- distribute-lft-in times-frac flip-- distribute-lft-out--
2×associate-+r- log-div pow1/3
1×+-commutative expm1-log1p fma-def flip3-+ sum-log flip-+ expm1-udef
Counts
4 → 78
Calls
4 calls:
11.0ms
(+ (* 2 (log (expm1 (log1p (cbrt (- (/ 1.0 x) 1.0)))))) (log (cbrt (- (/ 1.0 x) 1.0))))
7.0ms
(cbrt (- (/ 1.0 x) 1.0))
6.0ms
(cbrt (- (/ 1.0 x) 1.0))
1.0ms
(expm1 (log1p (cbrt (- (/ 1.0 x) 1.0))))

series1.6s

Counts
4 → 12
Calls
4 calls:
832.0ms
(+ (* 2 (log (expm1 (log1p (cbrt (- (/ 1.0 x) 1.0)))))) (log (cbrt (- (/ 1.0 x) 1.0))))
132.0ms
(cbrt (- (/ 1.0 x) 1.0))
136.0ms
(cbrt (- (/ 1.0 x) 1.0))
450.0ms
(expm1 (log1p (cbrt (- (/ 1.0 x) 1.0))))

simplify64.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
06741150
124961004
25001967

prune300.0ms

Filtered
90 candidates to 80 candidates (88.9%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New90090
Fresh000
Picked011
Done011
Total90292

Merged error: 0b

Counts
92 → 2

regimes68.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
064

end0.0ms

sample1.2s

Algorithm
intervals
Results
608.0ms24206×body80nan
261.0ms8000×body80valid

Profiling

Loading profile data...