Details

Time bar (total: 3.4s)

sample31.0ms

Algorithm
intervals
Results
19.0ms466×body80valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0114
1254
2474
3904
42394
58054
629344
750024

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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (neg (- 1.0 (* x x))))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
12×exp-prod
6×add-sqr-sqrt
5×add-log-exp
4×distribute-lft-neg-in add-cube-cbrt distribute-rgt-neg-in *-un-lft-identity
3×rem-exp-log
2×distribute-neg-in exp-sum neg-log difference-of-squares
1×pow1 add-exp-log neg-sub0 exp-neg neg-mul-1 sub-neg exp-diff diff-log add-cbrt-cube
Counts
1 → 26
Calls
1 calls:
4.0ms
(exp (neg (- 1.0 (* x x))))

series23.0ms

Counts
1 → 3
Calls
1 calls:
23.0ms
(exp (neg (- 1.0 (* x x))))

simplify44.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 3 (41.0ms)

IterNodesCost
0108130
1296119
21343116
35001114

prune52.0ms

Filtered
29 candidates to 21 candidates (72.4%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New28129
Fresh000
Picked011
Done000
Total28230

Merged error: 0.0b

Counts
30 → 2

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow (exp 3) (- (pow x 2) 1.0))
1.5b
(cbrt (pow (exp 3) (- (pow x 2) 1.0)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×*-un-lft-identity
9×cbrt-prod
8×pow-unpow
7×add-cube-cbrt unpow-prod-down
5×pow-pow
4×unpow-prod-up difference-of-squares
3×pow1 exp-prod sqr-pow
2×add-exp-log sub-neg add-cbrt-cube pow-sub add-log-exp
1×pow-to-exp exp-lft-cube cbrt-div pow1/3 pow-exp distribute-lft-out-- unpow2
Counts
2 → 47
Calls
2 calls:
7.0ms
(pow (exp 3) (- (pow x 2) 1.0))
6.0ms
(cbrt (pow (exp 3) (- (pow x 2) 1.0)))

series359.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(pow (exp 3) (- (pow x 2) 1.0))
311.0ms
(cbrt (pow (exp 3) (- (pow x 2) 1.0)))

simplify82.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
0191355
1565337
22344319
35001297

prune95.0ms

Filtered
53 candidates to 37 candidates (69.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New52153
Fresh000
Picked011
Done011
Total52355

Merged error: 0.0b

Counts
55 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
1.0b
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
1.0b
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))
1.0b
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
36×sqrt-prod
24×cbrt-prod
18×add-sqr-sqrt
14×add-cube-cbrt unpow-prod-down *-un-lft-identity
8×unpow-prod-up
6×rem-sqrt-square sqr-pow
4×pow1 add-exp-log sub-neg sqrt-div add-cbrt-cube pow-sub add-log-exp
2×cbrt-div sqrt-pow1 pow1/2 pow1/3
Counts
4 → 86
Calls
4 calls:
4.0ms
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
4.0ms
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
4.0ms
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))
4.0ms
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))

series508.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
88.0ms
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
173.0ms
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))
169.0ms
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))

simplify48.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 3 (38.0ms)

IterNodesCost
0155866
1378824
21089810
35001790

prune272.0ms

Filtered
98 candidates to 76 candidates (77.6%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New97198
Fresh000
Picked101
Done112
Total992101

Merged error: 0b

Counts
101 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
1.0b
(cbrt (sqrt (sqrt (pow (exp 3) (- (pow x 2) 1.0)))))
1.0b
(cbrt (sqrt (sqrt (pow (exp 3) (- (pow x 2) 1.0)))))
1.0b
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
60×sqrt-prod
42×cbrt-prod
19×add-sqr-sqrt
17×add-cube-cbrt *-un-lft-identity
13×unpow-prod-down
8×unpow-prod-up
6×sqrt-div
5×sqr-pow
4×pow1 add-exp-log sub-neg add-cbrt-cube pow-sub add-log-exp
3×rem-sqrt-square cbrt-div pow1/3
1×sqrt-pow1 pow1/2
Counts
4 → 91
Calls
4 calls:
4.0ms
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
5.0ms
(cbrt (sqrt (sqrt (pow (exp 3) (- (pow x 2) 1.0)))))
5.0ms
(cbrt (sqrt (sqrt (pow (exp 3) (- (pow x 2) 1.0)))))
4.0ms
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))

series596.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(sqrt (pow (exp 3) (- (pow x 2) 1.0)))
173.0ms
(cbrt (sqrt (sqrt (pow (exp 3) (- (pow x 2) 1.0)))))
174.0ms
(cbrt (sqrt (sqrt (pow (exp 3) (- (pow x 2) 1.0)))))
176.0ms
(cbrt (sqrt (pow (exp 3) (- (pow x 2) 1.0))))

simplify57.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 3 (41.0ms)

IterNodesCost
02191111
14871050
213181035
350011015

prune334.0ms

Filtered
103 candidates to 75 candidates (72.8%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1030103
Fresh000
Picked011
Done011
Total1032105

Merged error: 0b

Counts
105 → 2

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

sample682.0ms

Algorithm
intervals
Results
475.0ms15916×body80valid

Profiling

Loading profile data...