Details

Time bar (total: 36.7s)

sample31.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
8.0ms244×body80nan

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03210
19110
226310
362010
4113810
5147010
6151010
7151010

prune3.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))))))

rewrite132.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:
14.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))
48.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

series861.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(* (* 3.0 PI) (- 1.0 (* v v)))
286.0ms
(* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v)))))
25.0ms
(* 6.0 (* v v))
444.0ms
(/ 4.0 (* (* (* 3.0 PI) (- 1.0 (* v v))) (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify99.0ms

Algorithm
egg-herbie
Counts
412 → 412
Iterations

Useful iterations: 1 (43.0ms)

IterNodesCost
017255218
150025055

prune747.0ms

Filtered
412 candidates to 265 candidates (64.3%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New4102412
Fresh000
Picked101
Done000
Total4112413

Merged error: 0b

Counts
413 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite434.0ms

Algorithm
rewrite-expression-head
Rules
1941×add-sqr-sqrt
1205×associate-/r*
884×sqrt-prod
855×*-un-lft-identity
848×frac-times
847×associate-*r*
644×associate-*l*
570×add-cube-cbrt
502×times-frac
444×unswap-sqr
391×difference-of-squares
385×associate-/l*
157×*-commutative
142×distribute-lft-out--
75×swap-sqr
65×clear-num
64×frac-2neg
50×add-exp-log add-cbrt-cube
44×associate-*r/
25×associate-*l/
19×prod-exp cbrt-unprod
16×associate-/r/
14×cbrt-undiv sqrt-div div-exp
13×flip3-- flip--
12×pow1
4×pow-prod-down add-log-exp
3×div-inv
2×un-div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 1544
Calls
4 calls:
12.0ms
(sqrt (- 2.0 (* 6.0 (* v v))))
9.0ms
(* 6.0 (* v v))
240.0ms
(* (/ (sqrt 4.0) (* 3.0 PI)) (/ (sqrt 4.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))
32.0ms
(/ (sqrt 4.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
87.0ms
(sqrt (- 2.0 (* 6.0 (* v v))))
40.0ms
(* 6.0 (* v v))
630.0ms
(* (/ (sqrt 4.0) (* 3.0 PI)) (/ (sqrt 4.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v)))))))
342.0ms
(/ (sqrt 4.0) (* (- 1.0 (* v v)) (sqrt (- 2.0 (* 6.0 (* v v))))))

simplify286.0ms

Algorithm
egg-herbie
Counts
1556 → 1556
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
0500125444

prune2.9s

Filtered
1556 candidates to 752 candidates (48.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New155511556
Fresh101
Picked011
Done000
Total155621558

Merged error: 0b

Counts
1558 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ (/ (/ 4.0 (* (- 1.0 (* v v)) (sqrt (+ (sqrt 2.0) (sqrt (* 6.0 (* v v))))))) PI) (* 3.0 (sqrt (- (sqrt 2.0) (sqrt (* 6.0 (* v v)))))))
1.0b
(/ 4.0 (* (- 1.0 (* v v)) (sqrt (+ (sqrt 2.0) (sqrt (* 6.0 (* v v)))))))
27.2b
(sqrt (* 6.0 (* v v)))
27.2b
(sqrt (* 6.0 (* v v)))

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
26334×times-frac
24270×add-sqr-sqrt
15610×sqrt-prod
13068×*-un-lft-identity
9187×associate-*r*
8278×add-cube-cbrt
5420×difference-of-squares
4880×associate-*l*
4818×unswap-sqr
1461×*-commutative
1453×distribute-lft-out--
942×distribute-lft-out
874×swap-sqr
834×associate-/r/
626×sqrt-div
416×frac-times
370×associate-/l*
313×flip3-- flip--
312×flip3-+ flip-+
210×associate-*r/
208×associate-*l/
160×associate-/l/
139×div-inv
88×associate-/r*
41×add-exp-log add-cbrt-cube
20×cbrt-undiv div-exp
16×pow1
12×rem-sqrt-square
7×prod-exp cbrt-unprod
6×sqrt-pow1 pow-prod-down
4×frac-2neg clear-num add-log-exp
2×pow1/2
Counts
4 → 9724
Calls
4 calls:
303.0ms
(/ (/ (/ 4.0 (* (- 1.0 (* v v)) (sqrt (+ (sqrt 2.0) (sqrt (* 6.0 (* v v))))))) PI) (* 3.0 (sqrt (- (sqrt 2.0) (sqrt (* 6.0 (* v v)))))))
35.0ms
(/ 4.0 (* (- 1.0 (* v v)) (sqrt (+ (sqrt 2.0) (sqrt (* 6.0 (* v v)))))))
10.0ms
(sqrt (* 6.0 (* v v)))
10.0ms
(sqrt (* 6.0 (* v v)))

series1.6s

Counts
4 → 12
Calls
4 calls:
1.0s
(/ (/ (/ 4.0 (* (- 1.0 (* v v)) (sqrt (+ (sqrt 2.0) (sqrt (* 6.0 (* v v))))))) PI) (* 3.0 (sqrt (- (sqrt 2.0) (sqrt (* 6.0 (* v v)))))))
496.0ms
(/ 4.0 (* (- 1.0 (* v v)) (sqrt (+ (sqrt 2.0) (sqrt (* 6.0 (* v v)))))))
38.0ms
(sqrt (* 6.0 (* v v)))
35.0ms
(sqrt (* 6.0 (* v v)))

simplify3.1s

Algorithm
egg-herbie
Counts
9736 → 9736
Iterations

Useful iterations: 0 (107.0ms)

IterNodesCost
07092376306

prune22.0s

Filtered
9736 candidates to 3893 candidates (40.0%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New973609736
Fresh000
Picked011
Done011
Total973629738

Merged error: 0b

Counts
9738 → 2

regimes79.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
02213
12213

end0.0ms

sample731.0ms

Algorithm
intervals
Results
286.0ms8000×body80valid
271.0ms7861×body80nan