Details

Time bar (total: 5.4s)

sample58.0ms

Algorithm
intervals
Results
41.0ms440×body80valid

simplify113.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06942
123142
290042
3375342
4500142

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

localize32.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) (* (* (* (* (* (* (fabs x) (fabs x)) (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)

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
107×add-exp-log add-cbrt-cube
70×prod-exp cbrt-unprod
51×pow1
48×associate-*l*
42×add-sqr-sqrt
38×times-frac
35×pow-prod-down
33×add-cube-cbrt *-un-lft-identity
15×associate-*l/
13×sqrt-prod
12×frac-add
11×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 → 165
Calls
4 calls:
20.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) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
14.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
59.0ms
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series450.0ms

Counts
4 → 10
Calls
4 calls:
328.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) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
45.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
77.0ms
(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify69.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
013384946
150014032

prune666.0ms

Filtered
175 candidates to 109 candidates (62.3%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1705175
Fresh000
Picked101
Done000
Total1715176

Merged error: 0.0b

Counts
176 → 5

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
43×times-frac
37×add-exp-log add-cbrt-cube
35×associate-*l*
33×add-cube-cbrt *-un-lft-identity
17×pow1 sqrt-prod
16×prod-exp cbrt-unprod
14×associate-*r*
7×cbrt-undiv div-exp pow-prod-down
6×unswap-sqr
4×add-log-exp
3×div-inv
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ *-commutative
1×frac-times associate-*r/
Counts
4 → 125
Calls
4 calls:
12.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)
13.0ms
(* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))

series50.0ms

Counts
4 → 6
Calls
4 calls:
50.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
0.0ms
(* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))

simplify63.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
0604866
12540745
25001741

prune514.0ms

Filtered
131 candidates to 89 candidates (67.9%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1292131
Fresh224
Picked011
Done000
Total1315136

Merged error: 0b

Counts
136 → 5

localize36.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)))))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
35×associate-*l*
30×add-exp-log add-cbrt-cube
29×times-frac
27×add-cube-cbrt *-un-lft-identity
17×pow1
16×sqrt-prod
14×prod-exp cbrt-unprod
7×pow-prod-down
6×associate-*l/
4×cbrt-undiv frac-times flip3-+ associate-*r/ div-exp associate-*r* frac-add flip-+ add-log-exp
3×unswap-sqr
2×rem-sqrt-square sqrt-pow1 pow1/2 *-commutative div-inv
1×distribute-rgt-in distribute-lft-in
Counts
4 → 116
Calls
4 calls:
16.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)))))
12.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series303.0ms

Counts
4 → 8
Calls
4 calls:
250.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)))))
53.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify113.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (90.0ms)

IterNodesCost
07582242
137111833
250011792

prune564.0ms

Filtered
124 candidates to 88 candidates (71.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1240124
Fresh033
Picked011
Done011
Total1245129

Merged error: 0b

Counts
129 → 5

localize37.0ms

Local error

Found 4 expressions with local error:

1.0b
(exp (log (* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))))
1.0b
(* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
34×times-frac
27×add-cube-cbrt *-un-lft-identity
22×associate-*l*
17×sqrt-prod
16×add-exp-log add-cbrt-cube
13×associate-*r*
11×pow1
6×unswap-sqr
5×exp-prod
4×cbrt-undiv div-exp prod-exp cbrt-unprod add-log-exp
3×log-div exp-diff
2×frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/ pow-prod-down associate-*l/ log-pow div-inv
1×log-prod exp-sum *-commutative rem-exp-log
Counts
4 → 104
Calls
4 calls:
7.0ms
(exp (log (* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))))
13.0ms
(* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))
1.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(exp (log (* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))))
0.0ms
(* (/ 1.0 (sqrt PI)) (/ 1.0 21.0))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify50.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0428693
11903645
25001642

prune472.0ms

Filtered
108 candidates to 75 candidates (69.4%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1080108
Fresh022
Picked011
Done022
Total1085113

Merged error: 0b

Counts
113 → 5

regimes114.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04436
14436

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s14012×body80valid

Profiling

Loading profile data...