Details

Time bar (total: 6.0s)

sample39.0ms

Algorithm
intervals
Results
12.0ms270×body80nan
12.0ms256×body80valid

simplify58.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02710
17210
218210
337010
471310
5106610
6120110
7130810
8130810

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.0b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.0b
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.1b
(* 3.0 (* v v))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
26×associate-*l*
23×add-exp-log add-cbrt-cube
22×add-cube-cbrt *-un-lft-identity times-frac
20×sqrt-prod
18×frac-times sqrt-div
17×pow1
15×flip3-- flip--
11×associate-*r*
10×associate-*r/ prod-exp cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
4×add-log-exp
3×*-commutative
2×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 div-inv difference-of-squares
Counts
4 → 128
Calls
4 calls:
2.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
14.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
13.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
5.0ms
(* 3.0 (* v v))

series588.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
192.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
296.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
23.0ms
(* 3.0 (* v v))

simplify94.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
08131606
136521515
250011512

prune434.0ms

Filtered
140 candidates to 99 candidates (70.7%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1373140
Fresh000
Picked101
Done000
Total1383141

Merged error: 0b

Counts
141 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (sqrt (- 1.0 (* v v)))) (sqrt (- 1.0 (* v v))))
0.0b
(sqrt (- 1.0 (* v v)))
0.0b
(sqrt (- 1.0 (* v v)))
0.1b
(* 3.0 (* v v))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
112×sqrt-div
82×frac-times
56×flip3-- flip--
41×associate-*l/
26×associate-*r/
23×add-exp-log add-cbrt-cube
20×pow1
15×add-sqr-sqrt
12×prod-exp sqrt-prod cbrt-unprod
9×add-cube-cbrt *-un-lft-identity pow-prod-down
8×associate-*r*
4×associate-*l* add-log-exp
3×difference-of-squares
2×rem-sqrt-square sqrt-pow1 pow1/2 *-commutative
1×cbrt-undiv div-exp unswap-sqr
Counts
4 → 131
Calls
4 calls:
19.0ms
(* (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (sqrt (- 1.0 (* v v)))) (sqrt (- 1.0 (* v v))))
2.0ms
(sqrt (- 1.0 (* v v)))
2.0ms
(sqrt (- 1.0 (* v v)))
9.0ms
(* 3.0 (* v v))

series439.0ms

Counts
4 → 12
Calls
4 calls:
293.0ms
(* (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (sqrt (- 1.0 (* v v)))) (sqrt (- 1.0 (* v v))))
60.0ms
(sqrt (- 1.0 (* v v)))
62.0ms
(sqrt (- 1.0 (* v v)))
24.0ms
(* 3.0 (* v v))

simplify102.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
09132420
136132195
250012191

prune490.0ms

Filtered
143 candidates to 95 candidates (66.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1430143
Fresh022
Picked011
Done000
Total1433146

Merged error: 0b

Counts
146 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.0b
(cbrt (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))
0.1b
(* 3.0 (* v v))
1.0b
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
48×frac-times
36×flip3-- sqrt-div flip--
34×cube-div
28×add-exp-log add-cbrt-cube
24×associate-*r/ associate-*l/
20×pow1
17×cbrt-div
13×prod-exp cbrt-unprod
10×add-sqr-sqrt
9×pow-prod-down
8×cbrt-prod add-cube-cbrt *-un-lft-identity
5×associate-*r*
4×associate-*l* pow-exp add-log-exp rem-cube-cbrt
3×pow-unpow pow-pow
2×cbrt-undiv distribute-rgt-in cube-mult sub-neg unpow-prod-down distribute-lft-in unpow3 cube-prod div-exp *-commutative sqr-pow
1×pow-to-exp pow1/3 rem-cbrt-cube difference-of-squares unswap-sqr
Counts
4 → 139
Calls
4 calls:
13.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
6.0ms
(cbrt (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))
10.0ms
(* 3.0 (* v v))
15.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

series1.3s

Counts
4 → 12
Calls
4 calls:
302.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
248.0ms
(cbrt (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))
24.0ms
(* 3.0 (* v v))
771.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

simplify48.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011402467
150012386

prune583.0ms

Filtered
151 candidates to 113 candidates (74.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1510151
Fresh011
Picked011
Done011
Total1513154

Merged error: 0b

Counts
154 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3.0 (* v v))
0.1b
(* 3.0 (* v v))
0.1b
(* 3.0 (* v v))
0.1b
(* (* v v) (* v v))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
130×pow1
36×pow-prod-up
32×pow-prod-down
31×add-exp-log add-cbrt-cube
22×pow-sqr
18×pow-plus
17×prod-exp cbrt-unprod
13×pow2
10×add-sqr-sqrt associate-*l*
7×add-cube-cbrt *-un-lft-identity
4×associate-*r* *-commutative add-log-exp unswap-sqr
1×swap-sqr
Counts
4 → 120
Calls
4 calls:
5.0ms
(* 3.0 (* v v))
6.0ms
(* 3.0 (* v v))
6.0ms
(* 3.0 (* v v))
9.0ms
(* (* v v) (* v v))

series110.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* 3.0 (* v v))
23.0ms
(* 3.0 (* v v))
23.0ms
(* 3.0 (* v v))
34.0ms
(* (* v v) (* v v))

simplify63.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0180319
1570239
21610234
35001234

prune258.0ms

Filtered
132 candidates to 52 candidates (39.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1320132
Fresh000
Picked011
Done022
Total1323135

Merged error: 0b

Counts
135 → 3

regimes103.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
02015
12015

end0.0ms

sample994.0ms

Algorithm
intervals
Results
378.0ms8000×body80valid
370.0ms7984×body80nan

Profiling

Loading profile data...