Details

Time bar (total: 6.6s)

sample29.0ms

Algorithm
intervals
Results
9.0ms270×body80nan
9.0ms256×body80valid

simplify59.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02710
17210
218210
337010
471310
5106610
6120110
7130810
8130810

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 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.0b
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.2b
(* 3.0 (* v v))

rewrite37.0ms

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

series598.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(- 1.0 (* 3.0 (* v v)))
314.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
203.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
25.0ms
(* 3.0 (* v v))

simplify89.0ms

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
07721542
134701448
250021446

prune358.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
25×associate-*l*
22×add-cube-cbrt *-un-lft-identity times-frac
20×add-exp-log add-cbrt-cube
17×sqrt-prod
14×pow1
12×sqrt-div
10×cube-div
8×cbrt-prod
7×associate-*r* prod-exp cbrt-unprod unswap-sqr
6×frac-times flip3-- associate-*r/ flip--
5×cbrt-div pow-prod-down
4×add-log-exp
3×pow-unpow associate-*l/ pow-exp rem-cube-cbrt
2×cbrt-undiv cube-mult unpow-prod-down pow-pow unpow3 cube-prod div-exp *-commutative sqr-pow
1×pow-to-exp pow1/3 rem-cbrt-cube div-inv
Counts
4 → 122
Calls
4 calls:
11.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
3.0ms
(cbrt (pow (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 3))
6.0ms
(* 3.0 (* v v))
13.0ms
(pow (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 3)

series935.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
180.0ms
(cbrt (pow (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 3))
26.0ms
(* 3.0 (* v v))
512.0ms
(pow (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) 3)

simplify81.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
06361315
128401290
250021286

prune410.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (* 3.0 (* v v)))
0.0b
(* (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)))) (- 1.0 (* v v))))
0.2b
(* 3.0 (* v v))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
31×associate-*l*
27×add-sqr-sqrt
23×add-exp-log add-cbrt-cube
21×add-cube-cbrt *-un-lft-identity
20×frac-times
19×flip3-- flip--
18×times-frac sqrt-div
16×pow1
14×associate-*r/
13×sqrt-prod
10×distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
7×sub-neg pow-prod-down associate-*l/
6×associate-*r* add-log-exp
3×*-commutative unswap-sqr
2×cbrt-undiv div-exp
1×diff-log div-inv difference-of-squares
Counts
4 → 132
Calls
4 calls:
3.0ms
(- 1.0 (* 3.0 (* v v)))
8.0ms
(* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
14.0ms
(* (/ (sqrt 2.0) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v))))
6.0ms
(* 3.0 (* v v))

series607.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(- 1.0 (* 3.0 (* v v)))
188.0ms
(* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
328.0ms
(* (/ (sqrt 2.0) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v))))
26.0ms
(* 3.0 (* v v))

simplify92.0ms

Algorithm
egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
08481708
136311607
250011607

prune384.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
82×add-exp-log
71×associate-*l*
69×frac-times
64×add-cbrt-cube
58×sqrt-prod
55×associate-*r/
54×times-frac
52×add-sqr-sqrt
46×add-cube-cbrt *-un-lft-identity
43×prod-exp
42×flip3-- sqrt-div flip--
34×distribute-rgt-in distribute-lft-in
32×cbrt-unprod
25×pow1
18×div-exp associate-*l/
14×sub-neg
13×pow-prod-down
11×cbrt-undiv
7×associate-*r*
5×1-exp
4×*-commutative add-log-exp
3×unswap-sqr
2×div-inv
1×difference-of-squares
Counts
4 → 248
Calls
4 calls:
20.0ms
(* (/ (sqrt (sqrt 2.0)) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v))))
8.0ms
(* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
6.0ms
(* 3.0 (* v v))
25.0ms
(* (/ (sqrt (sqrt 2.0)) 1) (* (/ (sqrt (sqrt 2.0)) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
609.0ms
(* (/ (sqrt (sqrt 2.0)) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v))))
185.0ms
(* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
26.0ms
(* 3.0 (* v v))
333.0ms
(* (/ (sqrt (sqrt 2.0)) 1) (* (/ (sqrt (sqrt 2.0)) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))))

simplify70.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
015114292
150014008

prune689.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes32.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
02012
12012

end0.0ms

sample747.0ms

Algorithm
intervals
Results
281.0ms8063×body80nan
278.0ms8000×body80valid