Details

Time bar (total: 14.9s)

sample33.0ms

Algorithm
intervals
Results
10.0ms256×body80valid
9.0ms244×body80nan

simplify132.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
02710
17210
219410
341610
481610
5120710
6136810
7150510
8151110
9151110

prune4.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
261×add-sqr-sqrt
172×frac-times
149×*-un-lft-identity
137×add-cube-cbrt
118×associate-*l*
104×sqrt-div
91×flip3-- sqrt-prod flip--
90×prod-diff
86×associate-*l/
74×associate-*r*
72×associate-/l*
51×unswap-sqr
48×times-frac
47×distribute-rgt-in distribute-lft-in
36×associate-/r*
25×swap-sqr
22×add-exp-log add-cbrt-cube
17×difference-of-squares
15×pow1 *-commutative
12×frac-2neg clear-num
10×associate-*r/ prod-exp cbrt-unprod
7×pow-prod-down
6×distribute-lft-out--
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×cbrt-undiv sub-neg div-exp div-inv
Counts
3 → 426
Calls
3 calls:
70.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
33.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
12.0ms
(* 3.0 (* v v))

series804.0ms

Counts
3 → 9
Calls
3 calls:
463.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
292.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
49.0ms
(* 3.0 (* v v))

simplify156.0ms

Algorithm
egg-herbie
Counts
435 → 435
Iterations

Useful iterations: 1 (77.0ms)

IterNodesCost
021907693
150027363

prune869.0ms

Filtered
435 candidates to 234 candidates (46.2%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New4332435
Fresh000
Picked101
Done000
Total4342436

Merged error: 0b

Counts
436 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite506.0ms

Algorithm
rewrite-expression-head
Rules
3585×add-sqr-sqrt
2784×times-frac
2288×associate-*l*
1841×sqrt-prod
1502×associate-*r*
1311×*-un-lft-identity
1069×add-cube-cbrt
938×unswap-sqr
465×difference-of-squares
457×unpow-prod-down
225×*-commutative
214×frac-times
188×associate-/l*
171×sqr-pow
143×associate-/l/
128×sqrt-div
112×flip3-- flip--
107×associate-*l/
88×associate-/r*
87×distribute-lft-out--
76×swap-sqr
71×pow-unpow
68×difference-cubes
49×add-exp-log add-cbrt-cube
20×prod-exp cbrt-unprod
19×pow1 div-inv
13×frac-2neg clear-num
11×cbrt-undiv div-exp
10×associate-*r/
6×pow-pow
5×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow-exp rem-cube-cbrt
1×pow2 pow-to-exp sqrt-undiv pow-plus sqrt-unprod unpow3 pow-sqr pow-prod-up
Counts
4 → 2365
Calls
4 calls:
169.0ms
(/ (* (* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3))) (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (sqrt 4.0)))
31.0ms
(* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
5.0ms
(pow (* v v) 3)
10.0ms
(* 3.0 (* v v))

series984.0ms

Counts
4 → 12
Calls
4 calls:
664.0ms
(/ (* (* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (- (pow 1.0 3) (pow (* v v) 3))) (* (fma 1.0 1.0 (fma (* v v) (* v v) (* 1.0 (* v v)))) (sqrt 4.0)))
234.0ms
(* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
44.0ms
(pow (* v v) 3)
43.0ms
(* 3.0 (* v v))

simplify755.0ms

Algorithm
egg-herbie
Counts
2377 → 2377
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
0500176437

prune6.3s

Filtered
2377 candidates to 1105 candidates (53.5%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New237612377
Fresh101
Picked011
Done000
Total237722379

Merged error: 0b

Counts
2379 → 2

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (+ (* (pow 1.0 1) (pow 1.0 1)) (+ (* (* v v) (* v v)) (* (pow 1.0 1) (* v v)))))
0.0b
(* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.1b
(* (* v v) (* v v))
0.2b
(* 3.0 (* v v))

rewrite404.0ms

Algorithm
rewrite-expression-head
Rules
342×add-sqr-sqrt
214×frac-times
211×associate-*l*
205×sqrt-prod
186×*-un-lft-identity
134×add-cube-cbrt
128×sqrt-div
127×pow1
107×associate-*l/
101×unswap-sqr
96×times-frac
90×associate-*r*
72×associate-/r* associate-/l*
64×flip3-- flip--
51×swap-sqr
48×flip3-+ flip-+
36×pow-prod-up
35×add-exp-log add-cbrt-cube
30×pow-prod-down
26×distribute-lft-out
25×*-commutative
22×pow-sqr
18×pow-plus prod-exp cbrt-unprod
13×pow2
12×frac-2neg clear-num difference-of-squares
10×associate-*r/
4×+-commutative distribute-rgt-in expm1-log1p-u associate-+r+ distribute-lft-in log1p-expm1-u distribute-lft-out-- add-log-exp
2×cbrt-undiv div-exp div-inv
1×sqrt-undiv sqrt-unprod
Counts
4 → 569
Calls
4 calls:
299.0ms
(* (* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (+ (* (pow 1.0 1) (pow 1.0 1)) (+ (* (* v v) (* v v)) (* (pow 1.0 1) (* v v)))))
36.0ms
(* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
16.0ms
(* (* v v) (* v v))
9.0ms
(* 3.0 (* v v))

series733.0ms

Counts
4 → 12
Calls
4 calls:
432.0ms
(* (* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))) (+ (* (pow 1.0 1) (pow 1.0 1)) (+ (* (* v v) (* v v)) (* (pow 1.0 1) (* v v)))))
231.0ms
(* (/ (sqrt 2.0) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
43.0ms
(* (* v v) (* v v))
26.0ms
(* 3.0 (* v v))

simplify177.0ms

Algorithm
egg-herbie
Counts
581 → 581
Iterations

Useful iterations: 1 (69.0ms)

IterNodesCost
0273310196
150039906

prune2.0s

Filtered
581 candidates to 304 candidates (47.7%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New5810581
Fresh000
Picked011
Done011
Total5812583

Merged error: 0b

Counts
583 → 2

regimes36.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02822
12822

end0.0ms

sample729.0ms

Algorithm
intervals
Results
282.0ms8000×body80valid
272.0ms7957×body80nan