Details

Time bar (total: 36.8s)

sample45.0ms

Algorithm
intervals
Results
15.0ms256×body80valid
14.0ms300×body80nan

simplify89.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04414
116514
282614
3386714
4500214

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

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3.0 (* v v))
0.3b
(* PI t)
0.3b
(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
0.5b
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
2309×add-sqr-sqrt
897×unswap-sqr
889×associate-*l*
748×times-frac
622×associate-*r*
584×*-un-lft-identity
552×difference-of-squares
360×sqrt-prod
208×add-cube-cbrt
188×distribute-lft-out--
149×*-commutative
98×swap-sqr
68×associate-/r*
30×add-exp-log add-cbrt-cube
18×associate-*r/
16×pow1
13×prod-exp cbrt-unprod
11×associate-/l*
8×flip3-- sqrt-div associate-/r/ flip--
7×pow-prod-down
4×cbrt-undiv frac-times div-exp add-log-exp
2×associate-*l/ associate-/l/
1×frac-2neg div-sub clear-num div-inv
Counts
4 → 968
Calls
4 calls:
9.0ms
(* 3.0 (* v v))
3.0ms
(* PI t)
84.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
28.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

series868.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* 3.0 (* v v))
20.0ms
(* PI t)
615.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v))))
199.0ms
(* (* PI t) (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))

simplify251.0ms

Algorithm
egg-herbie
Counts
980 → 980
Iterations

Useful iterations: 1 (65.0ms)

IterNodesCost
0353321516
1500221397

prune2.0s

Filtered
980 candidates to 420 candidates (42.9%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New9755980
Fresh000
Picked101
Done000
Total9765981

Merged error: 0b

Counts
981 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 5.0 (* v v))
0.2b
(* 3.0 (* v v))
0.2b
(* t (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
0.3b
(/ (- 1.0 (* 5.0 (* v v))) (* (* t (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v))))

rewrite256.0ms

Algorithm
rewrite-expression-head
Rules
2203×add-sqr-sqrt
1040×associate-*r*
831×unswap-sqr
773×associate-*l*
726×times-frac
578×*-un-lft-identity
540×difference-of-squares
336×sqrt-prod
210×add-cube-cbrt
184×distribute-lft-out--
149×*-commutative
100×swap-sqr
66×associate-/r*
33×add-exp-log add-cbrt-cube
26×associate-*r/
19×pow1
15×prod-exp cbrt-unprod
11×associate-/l*
9×pow-prod-down
8×flip3-- sqrt-div associate-/r/ flip--
4×cbrt-undiv frac-times div-exp add-log-exp
2×associate-*l/ associate-/l/
1×frac-2neg div-sub clear-num div-inv
Counts
4 → 963
Calls
4 calls:
9.0ms
(* 5.0 (* v v))
9.0ms
(* 3.0 (* v v))
37.0ms
(* t (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
86.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* t (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v))))

series954.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* 5.0 (* v v))
32.0ms
(* 3.0 (* v v))
205.0ms
(* t (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
691.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* t (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (- 1.0 (* v v))))

simplify257.0ms

Algorithm
egg-herbie
Counts
975 → 975
Iterations

Useful iterations: 1 (69.0ms)

IterNodesCost
0360721028
1500220889

prune1.9s

Filtered
975 candidates to 419 candidates (43.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New9732975
Fresh314
Picked101
Done000
Total9773980

Merged error: 0b

Counts
980 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- 1.0 (* 5.0 (* v v))) (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
0.1b
(/ (/ (- 1.0 (* 5.0 (* v v))) (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* t (- 1.0 (* v v))))
0.2b
(* 5.0 (* v v))
0.2b
(* 3.0 (* v v))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
26119×add-sqr-sqrt
15074×times-frac
11768×associate-*r*
8613×*-un-lft-identity
7635×unswap-sqr
7599×difference-of-squares
5126×sqrt-prod
3883×associate-*l*
3293×add-cube-cbrt
2660×distribute-lft-out--
2183×*-commutative
1338×swap-sqr
402×associate-/l*
87×associate-/r*
86×associate-*r/
54×associate-/l/
44×associate-/r/
42×sqrt-div
40×add-exp-log add-cbrt-cube
24×flip3-- flip--
22×div-inv
14×pow1
12×cbrt-undiv div-exp prod-exp cbrt-unprod
6×pow-prod-down
4×add-log-exp
3×frac-2neg div-sub clear-num
Counts
4 → 8206
Calls
4 calls:
57.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
240.0ms
(/ (/ (- 1.0 (* 5.0 (* v v))) (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* t (- 1.0 (* v v))))
9.0ms
(* 5.0 (* v v))
9.0ms
(* 3.0 (* v v))

series1.0s

Counts
4 → 12
Calls
4 calls:
373.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v)))))))
582.0ms
(/ (/ (- 1.0 (* 5.0 (* v v))) (* PI (sqrt (* 2.0 (- 1.0 (* 3.0 (* v v))))))) (* t (- 1.0 (* v v))))
24.0ms
(* 5.0 (* v v))
33.0ms
(* 3.0 (* v v))

simplify2.1s

Algorithm
egg-herbie
Counts
8218 → 8218
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
05747238859

prune16.1s

Filtered
8218 candidates to 3176 candidates (38.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New821808218
Fresh022
Picked011
Done000
Total821838221

Merged error: 0b

Counts
8221 → 3

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3.0 (* v v))
0.2b
(* 3.0 (* v v))
0.2b
(* t (* PI (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))))
0.3b
(/ (- 1.0 (* 5.0 (* v v))) (* (* t (* PI (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))) (- (* 1.0 1.0) (* (* v v) (* v v)))))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
14464×add-sqr-sqrt
5687×associate-*r*
5649×unswap-sqr
4850×difference-of-squares
3476×times-frac
2398×*-un-lft-identity
2373×swap-sqr
1950×associate-*l*
1822×*-commutative
1129×sqrt-prod
883×distribute-lft-out--
598×unpow-prod-down cube-prod
460×add-cube-cbrt
316×associate-/r*
234×sqr-pow
52×difference-cubes pow-unpow
33×add-exp-log add-cbrt-cube
26×associate-*r/
19×pow1
15×prod-exp cbrt-unprod
11×associate-/l*
9×pow-prod-down
8×flip3-- sqrt-div associate-/r/ flip--
4×cbrt-undiv frac-times div-exp add-log-exp
2×associate-*l/ associate-/l/
1×frac-2neg div-sub clear-num div-inv
Counts
4 → 4024
Calls
4 calls:
9.0ms
(* 3.0 (* v v))
9.0ms
(* 3.0 (* v v))
104.0ms
(* t (* PI (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))))
485.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* t (* PI (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))) (- (* 1.0 1.0) (* (* v v) (* v v)))))

series693.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* 3.0 (* v v))
31.0ms
(* 3.0 (* v v))
231.0ms
(* t (* PI (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3))))))
405.0ms
(/ (- 1.0 (* 5.0 (* v v))) (* (* t (* PI (sqrt (* 2.0 (- (pow 1.0 3) (pow (* 3.0 (* v v)) 3)))))) (- (* 1.0 1.0) (* (* v v) (* v v)))))

simplify1.3s

Algorithm
egg-herbie
Counts
4036 → 4036
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05002105161

prune4.3s

Filtered
4036 candidates to 606 candidates (15.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New403604036
Fresh011
Picked011
Done011
Total403634039

Merged error: 0b

Counts
4039 → 3

regimes67.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02414
12414

end0.0ms

sample1.0s

Algorithm
intervals
Results
393.0ms8000×body80valid
360.0ms7772×body80nan