Details

Time bar (total: 8.5s)

sample31.0ms

Algorithm
intervals
Results
10.0ms273×body80nan
10.0ms256×body80valid

simplify66.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03210
19110
226310
362010
4113810
5147010
6151010
7151010

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

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* 3.0 PI) (- 1.0 (* v v)))
0.0b
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
0.2b
(* 6.0 (* v v))
1.0b
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
397×add-sqr-sqrt
252×associate-*l*
166×associate-*r*
162×times-frac
152×*-un-lft-identity
127×unswap-sqr
108×add-cube-cbrt
70×sqrt-prod
60×difference-of-squares
54×associate-/r*
37×add-exp-log add-cbrt-cube
31×*-commutative
23×pow1
22×distribute-lft-out--
18×associate-*r/ prod-exp cbrt-unprod
15×swap-sqr
13×flip3-- flip--
12×sqrt-div pow-prod-down
8×frac-times associate-/r/
4×cbrt-undiv div-exp associate-*l/ add-log-exp
3×associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in
1×frac-2neg clear-num div-inv
Counts
4 → 400
Calls
4 calls:
18.0ms
(* (* 3.0 PI) (- 1.0 (* v v)))
35.0ms
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
9.0ms
(* 6.0 (* v v))
50.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

series866.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(* (* 3.0 PI) (- 1.0 (* v v)))
285.0ms
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
32.0ms
(* 6.0 (* v v))
442.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify93.0ms

Algorithm
egg-herbie
Counts
412 → 412
Iterations

Useful iterations: 1 (40.0ms)

IterNodesCost
017345218
150015055

prune899.0ms

Filtered
412 candidates to 264 candidates (64.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New4102412
Fresh000
Picked011
Done000
Total4103413

Merged error: 0b

Counts
413 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- 2.0 (* 6.0 (* v v))))
0.0b
(* (* PI (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
0.0b
(* PI (- 1.0 (* v v)))
0.2b
(* 6.0 (* v v))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
99×add-sqr-sqrt
52×associate-*r*
35×associate-*l*
34×*-un-lft-identity
29×unswap-sqr
24×sqrt-prod
22×difference-of-squares
18×add-cube-cbrt
17×pow1
16×add-exp-log add-cbrt-cube
10×associate-*r/ *-commutative
8×flip3-- sqrt-div swap-sqr flip-- distribute-lft-out--
7×pow-prod-down prod-exp cbrt-unprod
4×frac-times add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 150
Calls
4 calls:
12.0ms
(sqrt (- 2.0 (* 6.0 (* v v))))
34.0ms
(* (* PI (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
10.0ms
(* PI (- 1.0 (* v v)))
9.0ms
(* 6.0 (* v v))

series399.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(sqrt (- 2.0 (* 6.0 (* v v))))
218.0ms
(* (* PI (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
67.0ms
(* PI (- 1.0 (* v v)))
31.0ms
(* 6.0 (* v v))

simplify106.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 2 (93.0ms)

IterNodesCost
07041223
132511157
250011155

prune364.0ms

Filtered
162 candidates to 99 candidates (61.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1620162
Fresh011
Picked011
Done011
Total1623165

Merged error: 0b

Counts
165 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* 3.0 PI) (- 1.0 (* v v)))
0.2b
(* 6.0 (* v v))
1.0b
(/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))
1.0b
(/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (- 1.0 (* v v))))

rewrite309.0ms

Algorithm
rewrite-expression-head
Rules
3392×add-sqr-sqrt
2694×times-frac
1495×*-un-lft-identity
1045×sqrt-prod
915×add-cube-cbrt
901×associate-*l*
827×unswap-sqr
820×difference-of-squares
668×associate-*r*
290×distribute-lft-out--
248×*-commutative
149×swap-sqr
64×associate-/r/
62×sqrt-div
57×associate-/r*
54×associate-/l*
37×add-exp-log add-cbrt-cube
33×flip3-- flip--
32×div-inv
20×associate-/l/
14×pow1
12×prod-exp cbrt-unprod
10×cbrt-undiv div-exp
6×pow-prod-down
4×associate-*r/ add-log-exp
3×frac-2neg clear-num
2×distribute-rgt-in sub-neg distribute-lft-in
Counts
4 → 1667
Calls
4 calls:
14.0ms
(* (* 3.0 PI) (- 1.0 (* v v)))
9.0ms
(* 6.0 (* v v))
22.0ms
(/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))
67.0ms
(/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (- 1.0 (* v v))))

series754.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(* (* 3.0 PI) (- 1.0 (* v v)))
25.0ms
(* 6.0 (* v v))
177.0ms
(/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v)))))
443.0ms
(/ (/ 4.0 (sqrt (- 2.0 (* 6.0 (* v v))))) (* (* 3.0 PI) (- 1.0 (* v v))))

simplify332.0ms

Algorithm
egg-herbie
Counts
1679 → 1679
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
0500133129

prune3.2s

Filtered
1679 candidates to 768 candidates (45.7%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New167901679
Fresh000
Picked011
Done022
Total167931682

Merged error: 0b

Counts
1682 → 3

regimes65.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
01910
11910

end0.0ms

sample753.0ms

Algorithm
intervals
Results
307.0ms8000×body80valid
271.0ms7730×body80nan