Details

Time bar (total: 6.4s)

sample63.0ms

Algorithm
intervals
Results
45.0ms469×body80valid

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06942
123142
290042
3375342
4500142

prune5.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.4b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.3b
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
147×add-exp-log add-cbrt-cube
98×prod-exp cbrt-unprod
69×pow1
49×pow-prod-down
39×associate-*l*
27×add-sqr-sqrt times-frac
26×add-cube-cbrt *-un-lft-identity
15×cbrt-undiv div-exp
4×add-log-exp
3×associate-*r* associate-*l/ sqrt-prod *-commutative div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 157
Calls
4 calls:
26.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
11.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
58.0ms
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series193.0ms

Counts
4 → 10
Calls
4 calls:
65.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
46.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
82.0ms
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify99.0ms

Algorithm
egg-herbie
Counts
167 → 167
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
09482073
139931269
250011096

prune514.0ms

Filtered
167 candidates to 86 candidates (51.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1643167
Fresh000
Picked011
Done000
Total1644168

Merged error: 0.1b

Counts
168 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))))
0.1b
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
75×add-exp-log add-cbrt-cube
48×associate-*l*
44×prod-exp cbrt-unprod
42×add-sqr-sqrt
38×times-frac
36×pow1
33×add-cube-cbrt *-un-lft-identity
23×associate-*l/
22×pow-prod-down
13×sqrt-prod
12×frac-add
9×cbrt-undiv div-exp
6×frac-times flip3-+ associate-*r/ flip-+
5×associate-*r*
4×add-log-exp
3×*-commutative div-inv unswap-sqr
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 155
Calls
4 calls:
23.0ms
(* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))))
24.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
11.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)

series459.0ms

Counts
4 → 10
Calls
4 calls:
345.0ms
(* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x))))
67.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
47.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify59.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
011973889
150023282

prune715.0ms

Filtered
165 candidates to 108 candidates (65.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1614165
Fresh112
Picked101
Done101
Total1645169

Merged error: 0b

Counts
169 → 5

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.3b
(* (/ 1 (sqrt 21.0)) (* (* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 6)) (fabs x)))
1.0b
(sqrt PI)

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
198×add-exp-log
126×prod-exp
102×add-cbrt-cube
60×cbrt-unprod
48×associate-*l*
39×pow1
36×times-frac div-exp
33×add-sqr-sqrt
32×add-cube-cbrt *-un-lft-identity
24×pow-prod-down
14×cbrt-undiv
12×sqrt-prod
8×pow-to-exp rec-exp 1-exp pow-exp
7×associate-*l/
4×add-log-exp
3×associate-*r* *-commutative div-inv
1×frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/
Counts
4 → 175
Calls
4 calls:
23.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
11.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
20.0ms
(* (/ 1 (sqrt 21.0)) (* (* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 6)) (fabs x)))
1.0ms
(sqrt PI)

series323.0ms

Counts
4 → 10
Calls
4 calls:
67.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
54.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
201.0ms
(* (/ 1 (sqrt 21.0)) (* (* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 6)) (fabs x)))
0.0ms
(sqrt PI)

simplify122.0ms

Algorithm
egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 2 (105.0ms)

IterNodesCost
010211954
147221401
250011225

prune597.0ms

Filtered
185 candidates to 91 candidates (49.2%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1850185
Fresh044
Picked011
Done000
Total1855190

Merged error: 0b

Counts
190 → 5

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.3b
(/ (* 1.0 (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x)))) (sqrt PI))
1.0b
(sqrt PI)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
75×add-exp-log add-cbrt-cube
43×prod-exp cbrt-unprod
34×pow1
26×associate-*l*
24×add-sqr-sqrt times-frac
23×add-cube-cbrt *-un-lft-identity
21×pow-prod-down
12×associate-*l/
10×cbrt-undiv div-exp
9×sqrt-prod
6×associate-*r/ frac-add associate-/r* associate-/l/
4×add-log-exp
3×flip3-+ flip-+ div-inv
2×associate-*r* *-commutative
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num associate-/l*
Counts
4 → 132
Calls
4 calls:
22.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
16.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
14.0ms
(/ (* 1.0 (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x)))) (sqrt PI))
1.0ms
(sqrt PI)

series455.0ms

Counts
4 → 10
Calls
4 calls:
65.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
45.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
344.0ms
(/ (* 1.0 (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 21.0) (pow (fabs x) 6)) (fabs x)))) (sqrt PI))
0.0ms
(sqrt PI)

simplify108.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 2 (89.0ms)

IterNodesCost
08512375
140101781
250011742

prune496.0ms

Filtered
142 candidates to 86 candidates (60.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1411142
Fresh123
Picked101
Done011
Total1434147

Merged error: 0b

Counts
147 → 4

regimes70.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04837
14837

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s13932×body80valid

Profiling

Loading profile data...