Details

Time bar (total: 4.1s)

sample37.0ms

Algorithm
intervals
Results
15.0ms837×body80nan
6.0ms256×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
084
194
294

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite21.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:
8.0ms
(log (- (/ 1.0 x) 1.0))
9.0ms
(- (/ 1.0 x) 1.0)

series97.0ms

Counts
2 → 6
Calls
2 calls:
63.0ms
(log (- (/ 1.0 x) 1.0))
34.0ms
(- (/ 1.0 x) 1.0)

simplify41.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0320832
11090531
25002477

prune139.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))
0.1b
(sqrt (/ 1.0 x))
0.1b
(sqrt (/ 1.0 x))
0.5b
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
26×sqrt-prod
25×add-sqr-sqrt
20×times-frac
19×add-cube-cbrt *-un-lft-identity
7×pow1
5×add-exp-log
4×expm1-log1p-u rem-sqrt-square add-cbrt-cube log1p-expm1-u add-log-exp
3×log-prod
2×sqrt-pow1 pow1/2 sqrt-div div-inv
1×rem-log-exp log-pow fma-udef
Counts
4 → 78
Calls
4 calls:
1.0ms
(log (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))
3.0ms
(sqrt (/ 1.0 x))
3.0ms
(sqrt (/ 1.0 x))
1.0ms
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))

series645.0ms

Counts
4 → 12
Calls
4 calls:
335.0ms
(log (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))
60.0ms
(sqrt (/ 1.0 x))
61.0ms
(sqrt (/ 1.0 x))
189.0ms
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))

simplify39.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0361674
11220577
25001542

prune267.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))
0.5b
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))
0.5b
(cbrt (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))
0.5b
(cbrt (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
2×pow1/3 fma-udef
Counts
4 → 46
Calls
4 calls:
1.0ms
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))
1.0ms
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))
1.0ms
(cbrt (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))
1.0ms
(cbrt (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))

series1.4s

Counts
4 → 12
Calls
4 calls:
191.0ms
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))
191.0ms
(fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0))
505.0ms
(cbrt (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))
509.0ms
(cbrt (fma (sqrt (/ 1.0 x)) (sqrt (/ 1.0 x)) (- 1.0)))

simplify37.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0281706
11100616
25001540

prune262.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes82.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
088

end0.0ms

sample993.0ms

Algorithm
intervals
Results
437.0ms24046×body80nan
204.0ms8000×body80valid