Details

Time bar (total: 8.0s)

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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite64.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:
2.0ms
(- 1.0 (* 3.0 (* v v)))
33.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
17.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
6.0ms
(* 3.0 (* v v))

series563.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- 1.0 (* 3.0 (* v v)))
298.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
188.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
24.0ms
(* 3.0 (* v v))

simplify94.0ms

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
07721542
134701448
250021446

prune337.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
97×add-exp-log
90×add-sqr-sqrt
78×add-cbrt-cube
72×times-frac associate-*l*
68×sqrt-prod
60×frac-times
51×prod-exp cbrt-unprod
48×add-cube-cbrt *-un-lft-identity
44×cbrt-prod
40×associate-*r/
36×sqrt-div
30×flip3-- flip--
25×pow1
24×associate-*l/
19×cbrt-undiv div-exp
15×unswap-sqr
13×pow-prod-down
12×associate-*r*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in div-inv
1×difference-of-squares
Counts
4 → 240
Calls
4 calls:
172.0ms
(* (* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))
33.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
51.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
6.0ms
(* 3.0 (* v v))

series1.1s

Counts
4 → 12
Calls
4 calls:
406.0ms
(* (* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))
381.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
256.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
29.0ms
(* 3.0 (* v v))

simplify65.0ms

Algorithm
egg-herbie
Counts
252 → 252
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
013724886
150014283

prune812.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
179×add-exp-log
104×prod-exp
92×add-cbrt-cube
50×cbrt-unprod
38×div-exp
36×associate-*l/
32×frac-times
24×flip3-- sqrt-div flip--
22×pow1 associate-*r/
20×cbrt-undiv
17×associate-/l/
11×pow-exp
10×pow-to-exp
7×add-sqr-sqrt pow-prod-down
6×add-cube-cbrt pow-pow *-un-lft-identity
4×associate-*l* add-log-exp
3×pow-unpow
2×associate-*r* associate-/r/ *-commutative rem-cube-cbrt
1×pow2 cube-mult unpow-prod-down frac-2neg flip3-+ times-frac pow-plus unpow3 cube-prod clear-num associate-/r* pow-sqr pow-prod-up flip-+ div-inv associate-/l* unswap-sqr sqr-pow
Counts
4 → 164
Calls
4 calls:
87.0ms
(* (* (- (pow 1.0 3) (pow (* v v) 3)) (pow (sqrt 2.0) 2/3)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
98.0ms
(/ (* (* (- (pow 1.0 3) (pow (* v v) 3)) (pow (sqrt 2.0) 2/3)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))) (* (+ (* (pow v 2) (+ (pow v 2) 1.0)) (* 1.0 1.0)) (sqrt 4.0)))
2.0ms
(pow (* v v) 3)
6.0ms
(* 3.0 (* v v))

series903.0ms

Counts
4 → 12
Calls
4 calls:
278.0ms
(* (* (- (pow 1.0 3) (pow (* v v) 3)) (pow (sqrt 2.0) 2/3)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
551.0ms
(/ (* (* (- (pow 1.0 3) (pow (* v v) 3)) (pow (sqrt 2.0) 2/3)) (* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))) (* (+ (* (pow v 2) (+ (pow v 2) 1.0)) (* 1.0 1.0)) (sqrt 4.0)))
48.0ms
(pow (* v v) 3)
26.0ms
(* 3.0 (* v v))

simplify60.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
012453965
150013396

prune793.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite336.0ms

Algorithm
rewrite-expression-head
Rules
218×add-exp-log
160×add-cbrt-cube
116×prod-exp cbrt-unprod
56×cbrt-undiv div-exp
38×frac-times associate-*r/
30×pow1
27×add-sqr-sqrt associate-*l*
24×sqrt-div
18×add-cube-cbrt *-un-lft-identity
16×cbrt-prod
14×pow-prod-down
12×flip3-- flip--
10×times-frac associate-*l/
9×associate-*r*
6×pow1/3 swap-sqr
5×unswap-sqr
4×sqrt-prod *-commutative add-log-exp
2×pow-sqr pow-prod-up div-inv
1×pow2 pow-plus
Counts
4 → 212
Calls
4 calls:
231.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0)))) (sqrt (* (cbrt 4.0) (cbrt 4.0)))) (* (/ (cbrt (cbrt (sqrt 2.0))) (sqrt (cbrt 4.0))) (sqrt (- 1.0 (* 3.0 (* v v)))))))
6.0ms
(* 3.0 (* v v))
75.0ms
(* (/ (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0)))) (sqrt (* (cbrt 4.0) (cbrt 4.0)))) (* (/ (cbrt (cbrt (sqrt 2.0))) (sqrt (cbrt 4.0))) (sqrt (- 1.0 (* 3.0 (* v v))))))
10.0ms
(* (cbrt 4.0) (cbrt 4.0))

series666.0ms

Counts
4 → 10
Calls
4 calls:
294.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt 4.0)) (* (/ (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0)))) (sqrt (* (cbrt 4.0) (cbrt 4.0)))) (* (/ (cbrt (cbrt (sqrt 2.0))) (sqrt (cbrt 4.0))) (sqrt (- 1.0 (* 3.0 (* v v)))))))
24.0ms
(* 3.0 (* v v))
347.0ms
(* (/ (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0)))) (sqrt (* (cbrt 4.0) (cbrt 4.0)))) (* (/ (cbrt (cbrt (sqrt 2.0))) (sqrt (cbrt 4.0))) (sqrt (- 1.0 (* 3.0 (* v v))))))
0.0ms
(* (cbrt 4.0) (cbrt 4.0))

simplify68.0ms

Algorithm
egg-herbie
Counts
222 → 222
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
012856326
150014616

prune745.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes58.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
03826
13826

end0.0ms

sample740.0ms

Algorithm
intervals
Results
280.0ms8063×body80nan
278.0ms8000×body80valid