Details

Time bar (total: 3.2s)

sample63.0ms

Algorithm
intervals
Results
33.0ms74×body1280valid
13.0ms68×body640valid
4.0ms98×body80nan
2.0ms22×body320valid
2.0ms79×body80valid
1.0ms13×body160valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
052
152

prune1.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: 41.6b

Counts
2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

4.0b
(log (+ 1.0 x))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
2×log-div
1×flip3-+ flip-+
Counts
1 → 2
Calls
1 calls:
2.0ms
(log (+ 1.0 x))

series39.0ms

Counts
1 → 3
Calls
1 calls:
38.0ms
(log (+ 1.0 x))

simplify37.0ms

Algorithm
egg-herbie
Counts
5 → 5
Iterations

Useful iterations: 3 (35.0ms)

IterNodesCost
011042
133741
2124038
3500133

prune18.0ms

Filtered
5 candidates to 4 candidates (80.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New325
Fresh000
Picked011
Done000
Total336

Merged error: 0.1b

Counts
6 → 3

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
7×associate-*r/
6×unpow2 sqr-pow
5×associate-*r*
4×times-frac
2×clear-num associate-/r* associate-/l*
1×frac-2neg un-div-inv *-commutative div-inv
Counts
1 → 14
Calls
1 calls:
5.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))

series47.0ms

Counts
1 → 3
Calls
1 calls:
47.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))

simplify36.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05729
119229
293829
3500129

prune43.0ms

Filtered
17 candidates to 14 candidates (82.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New17017
Fresh011
Picked011
Done011
Total17320

Merged error: 0.1b

Counts
20 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 1.0 1.0) (* x x))
0.0b
(- (log (- (* 1.0 1.0) (* x x))) (log (- 1.0 x)))
2.4b
(log (- (* 1.0 1.0) (* x x)))
4.0b
(log (- 1.0 x))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
17×*-commutative
12×difference-of-squares
8×log-div log-prod
6×flip3-- flip--
4×prod-diff associate--l+
2×associate--l- sub-neg fma-neg associate--r-
1×diff-log
Counts
4 → 35
Calls
4 calls:
7.0ms
(- (* 1.0 1.0) (* x x))
7.0ms
(- (log (- (* 1.0 1.0) (* x x))) (log (- 1.0 x)))
4.0ms
(log (- (* 1.0 1.0) (* x x)))
2.0ms
(log (- 1.0 x))

series287.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(- (* 1.0 1.0) (* x x))
105.0ms
(- (log (- (* 1.0 1.0) (* x x))) (log (- 1.0 x)))
106.0ms
(log (- (* 1.0 1.0) (* x x)))
40.0ms
(log (- 1.0 x))

simplify140.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 3 (134.0ms)

IterNodesCost
0312316
11056307
24240292
35001290

prune94.0ms

Filtered
47 candidates to 30 candidates (63.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New46147
Fresh000
Picked011
Done022
Total46450

Merged error: 0.0b

Counts
50 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2))))
0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
8.4b
(fma 1/3 (/ (pow x 3) (pow 1.0 3)) (- (fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (* 1.0 (pow x 2))))
10.6b
(- (fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (* 1.0 (pow x 2)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
7×associate-*r/
6×unpow2 sqr-pow
5×associate-*r*
4×times-frac
3×fma-udef
2×clear-num associate-/r* associate-/l*
1×sub-neg flip3-- frac-2neg associate--l+ un-div-inv *-commutative flip-- div-inv
Counts
4 → 21
Calls
4 calls:
1.0ms
(fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2))))
5.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
1.0ms
(fma 1/3 (/ (pow x 3) (pow 1.0 3)) (- (fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (* 1.0 (pow x 2))))
2.0ms
(- (fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (* 1.0 (pow x 2)))

series332.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2))))
47.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
65.0ms
(fma 1/3 (/ (pow x 3) (pow 1.0 3)) (- (fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (* 1.0 (pow x 2))))
135.0ms
(- (fma 1.0 x (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (* 1.0 (pow x 2)))

simplify152.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 3 (144.0ms)

IterNodesCost
0154147
1600141
23764132
35001128

prune89.0ms

Filtered
33 candidates to 23 candidates (69.7%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New33033
Fresh000
Picked011
Done033
Total33437

Merged error: 0.0b

Counts
37 → 4

regimes62.0ms

Accuracy

99.3% (0.2b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 21.2b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02515
12515

end0.0ms

sample1.7s

Algorithm
intervals
Results
966.0ms2239×body1280valid
355.0ms1683×body640valid
86.0ms832×body320valid
60.0ms2811×body80valid
35.0ms2627×body80nan
26.0ms435×body160valid