Details

Time bar (total: 4.3s)

sample59.0ms

Algorithm
intervals
Results
30.0ms65×body1280valid
12.0ms51×body640valid
3.0ms103×body80valid
3.0ms23×body320valid
2.0ms109×body80nan
1.0ms14×body160valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
052
152

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: 36.3b

Counts
2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

4.0b
(log (+ 1.0 x))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×log-prod *-un-lft-identity
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt log-div
1×expm1-log1p-u flip3-+ rem-log-exp log-pow add-cbrt-cube flip-+ log1p-expm1-u distribute-lft-out add-log-exp
Counts
1 → 17
Calls
1 calls:
3.0ms
(log (+ 1.0 x))

series47.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 3 (38.0ms)

IterNodesCost
013199
136389
2129286
3500281

prune46.0ms

Filtered
20 candidates to 15 candidates (75.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New17320
Fresh000
Picked011
Done000
Total17421

Merged error: 0.3b

Counts
21 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
0.0b
(fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
70×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
36×add-cube-cbrt *-un-lft-identity
25×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
7×add-cbrt-cube
6×pow-to-exp pow-exp
4×pow1
3×associate-*l*
2×expm1-log1p-u cbrt-unprod log1p-expm1-u add-log-exp
1×cbrt-undiv associate-*r/ pow-prod-down *-commutative fma-udef div-inv
Counts
2 → 122
Calls
2 calls:
21.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
1.0ms
(fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

series98.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
48.0ms
(fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

simplify58.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0560763
12406633
25001632

prune261.0ms

Filtered
128 candidates to 81 candidates (63.3%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1253128
Fresh022
Picked011
Done011
Total1257132

Merged error: 0.3b

Counts
132 → 7

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
0.0b
(fma x 1.0 (- (log 1.0) (log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
3.6b
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
72×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
38×add-cube-cbrt *-un-lft-identity
26×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
8×add-cbrt-cube
6×pow1 pow-to-exp pow-exp
4×add-log-exp
3×expm1-log1p-u log-prod associate-*l* log-pow log1p-expm1-u
2×cbrt-unprod
1×cbrt-undiv exp-prod exp-to-pow associate-*r/ rem-log-exp pow-prod-down *-commutative fma-udef div-inv
Counts
3 → 138
Calls
3 calls:
25.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
1.0ms
(fma x 1.0 (- (log 1.0) (log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
2.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

series153.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
48.0ms
(fma x 1.0 (- (log 1.0) (log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
50.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

simplify60.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
0580896
12433746
25001744

prune351.0ms

Filtered
147 candidates to 95 candidates (64.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1461147
Fresh044
Picked101
Done022
Total1477154

Merged error: 0.3b

Counts
154 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (fma x 1.0 (- (log 1.0) (log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2))))))))
3.6b
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
3.6b
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
3.6b
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
9×log-prod log-pow
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×pow1 add-log-exp
4×add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×cbrt-prod exp-prod exp-to-pow rem-log-exp
1×pow1/3
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt (fma x 1.0 (- (log 1.0) (log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2))))))))
2.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
2.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
2.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

series384.0ms

Counts
4 → 12
Calls
4 calls:
227.0ms
(cbrt (fma x 1.0 (- (log 1.0) (log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2))))))))
54.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
49.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))
53.0ms
(log (exp (* 1/2 (/ (pow x 2) (pow 1.0 2)))))

simplify88.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 3 (79.0ms)

IterNodesCost
0258726
1843640
23384614
35002596

prune314.0ms

Filtered
73 candidates to 61 candidates (83.6%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New72173
Fresh044
Picked101
Done022
Total73780

Merged error: 0.3b

Counts
80 → 7

regimes314.0ms

Accuracy

99.4% (0.1b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.6b

bsearch2.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01810
11810

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.1s2266×body1280valid
388.0ms1636×body640valid
104.0ms843×body320valid
80.0ms2817×body80valid
51.0ms2683×body80nan
32.0ms438×body160valid

Profiling

Loading profile data...