Details

Time bar (total: 2.6s)

sample36.0ms

Algorithm
intervals
Results
12.0ms281×body80nan
12.0ms256×body80valid

simplify171.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (169.0ms)

IterNodesCost
0198720
1198720

prune8.0ms

Filtered
1 candidates to 1 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 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
38×associate-*r/
34×add-exp-log add-cbrt-cube
20×pow1
18×flip3-- sqrt-div flip--
16×add-sqr-sqrt prod-exp cbrt-unprod
12×frac-times
11×add-cube-cbrt *-un-lft-identity
10×associate-*l* pow-prod-down
8×associate-*r* associate-/r/
6×associate-*l/
4×cbrt-undiv div-exp sqrt-prod add-log-exp
3×times-frac *-commutative associate-/l*
2×unswap-sqr
1×frac-2neg clear-num associate-/r* div-inv difference-of-squares
Counts
4 → 111
Calls
4 calls:
12.0ms
(* 3.0 (* PI (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))))
12.0ms
(* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))
5.0ms
(* v (* v 6.0))
13.0ms
(/ 4.0 (* 3.0 (* PI (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0))))))))

series42.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(* 3.0 (* PI (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))))
9.0ms
(* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))
3.0ms
(* v (* v 6.0))
17.0ms
(/ 4.0 (* 3.0 (* PI (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0))))))))

simplify67.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049712489
149712489

prune216.0ms

Filtered
86 candidates to 123 candidates (-43.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1212123
Fresh011
Picked011
Done000
Total1214125

Merged error: 0b

Counts
125 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log add-cbrt-cube
31×times-frac
29×add-sqr-sqrt
23×add-cube-cbrt *-un-lft-identity
14×sqrt-div
13×flip3-- flip-- associate-/l*
12×pow1 associate-*r/
10×prod-exp cbrt-unprod
9×cbrt-undiv div-exp
8×frac-times associate-/r/
7×associate-*r* associate-*l* sqrt-prod
4×pow-prod-down associate-*l/ add-log-exp
3×div-inv
2×*-commutative unswap-sqr
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num associate-/r* associate-/l/ difference-of-squares
Counts
4 → 122
Calls
4 calls:
3.0ms
(sqrt (- 2.0 (* v (* v 6.0))))
9.0ms
(* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))
13.0ms
(/ (/ 4.0 3.0) (* PI (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))))
5.0ms
(* v (* v 6.0))

series34.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(sqrt (- 2.0 (* v (* v 6.0))))
9.0ms
(* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))
17.0ms
(/ (/ 4.0 3.0) (* PI (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0)))))))
3.0ms
(* v (* v 6.0))

simplify45.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
057702596

prune233.0ms

Filtered
97 candidates to 134 candidates (-38.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1331134
Fresh202
Picked011
Done011
Total1353138

Merged error: 0b

Counts
138 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
77×times-frac
56×add-sqr-sqrt
51×associate-*r*
46×add-cube-cbrt *-un-lft-identity
33×associate-/r/
32×add-exp-log
30×add-cbrt-cube
24×flip3-- sqrt-div flip--
17×sqrt-prod
16×frac-times
13×pow1
9×associate-*r/ div-exp associate-*l* prod-exp cbrt-unprod
8×cbrt-undiv associate-*l/
7×associate-/r*
6×div-inv associate-/l*
4×pow-prod-down add-log-exp unswap-sqr
3×pow-flip
2×frac-2neg clear-num *-commutative
1×rec-exp sqrt-pow1 pow1/2 1-exp inv-pow
Counts
4 → 170
Calls
4 calls:
5.0ms
(* v (* v 6.0))
9.0ms
(/ 4.0 (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0))))))
25.0ms
(* (sqrt 3.0) (/ PI (/ 4.0 (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0))))))))
4.0ms
(/ 1 (sqrt 3.0))

series35.0ms

Counts
4 → 10
Calls
4 calls:
3.0ms
(* v (* v 6.0))
13.0ms
(/ 4.0 (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0))))))
18.0ms
(* (sqrt 3.0) (/ PI (/ 4.0 (* (- 1.0 (* v v)) (sqrt (- 2.0 (* v (* v 6.0))))))))
0.0ms
(/ 1 (sqrt 3.0))

simplify74.0ms

Algorithm
egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049723089
149723089

prune408.0ms

Filtered
129 candidates to 180 candidates (-39.5%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1800180
Fresh000
Picked011
Done022
Total1803183

Merged error: 0b

Counts
183 → 3

regimes29.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 (1.0ms)

IterNodesCost
06720
16720

end0.0ms

sample1.0s

Algorithm
intervals
Results
401.0ms8000×body80valid
363.0ms8070×body80nan

Profiling

Loading profile data...