Details

Time bar (total: 4.7s)

sample30.0ms

Algorithm
intervals
Results
11.0ms234×body80nan
8.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
(* (* (/ (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))))
0.0b
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.1b
(* 3.0 (* v v))

rewrite68.0ms

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

series620.0ms

Counts
4 → 12
Calls
4 calls:
313.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
83.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
198.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
25.0ms
(* 3.0 (* v v))

simplify87.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
08091606
136211516
250011513

prune373.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt associate-*l*
28×add-exp-log add-cbrt-cube
23×add-cube-cbrt *-un-lft-identity
21×pow1
18×times-frac
17×sqrt-prod
13×prod-exp cbrt-unprod
12×associate-*r*
10×pow-prod-down
8×associate-*r/
6×cbrt-div sqrt-div
5×unswap-sqr
4×cbrt-prod *-commutative add-log-exp
3×flip3-- flip--
2×cbrt-undiv frac-times div-exp
1×associate-*l/ div-inv
Counts
4 → 112
Calls
4 calls:
11.0ms
(* (fabs (cbrt (- 1.0 (* 3.0 (* v v))))) (sqrt (cbrt (- 1.0 (* 3.0 (* v v))))))
25.0ms
(* (/ (sqrt 2.0) 4.0) (* (fabs (cbrt (- 1.0 (* 3.0 (* v v))))) (sqrt (cbrt (- 1.0 (* 3.0 (* v v)))))))
7.0ms
(* 3.0 (* v v))
7.0ms
(* 3.0 (* v v))

series672.0ms

Counts
4 → 12
Calls
4 calls:
272.0ms
(* (fabs (cbrt (- 1.0 (* 3.0 (* v v))))) (sqrt (cbrt (- 1.0 (* 3.0 (* v v))))))
346.0ms
(* (/ (sqrt 2.0) 4.0) (* (fabs (cbrt (- 1.0 (* 3.0 (* v v))))) (sqrt (cbrt (- 1.0 (* 3.0 (* v v)))))))
24.0ms
(* 3.0 (* v v))
30.0ms
(* 3.0 (* v v))

simplify95.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
07601753
134141592
250011590

prune394.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3.0 (* v v))
0.1b
(* 3.0 (* v v))
0.1b
(* 3.0 (* v v))
0.1b
(* 3.0 (* v v))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1 add-exp-log add-cbrt-cube
12×add-sqr-sqrt associate-*l* pow-prod-down prod-exp cbrt-unprod
8×add-cube-cbrt *-un-lft-identity
4×associate-*r* *-commutative add-log-exp unswap-sqr
Counts
4 → 76
Calls
4 calls:
7.0ms
(* 3.0 (* v v))
7.0ms
(* 3.0 (* v v))
7.0ms
(* 3.0 (* v v))
7.0ms
(* 3.0 (* v v))

series108.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* 3.0 (* v v))
24.0ms
(* 3.0 (* v v))
24.0ms
(* 3.0 (* v v))
29.0ms
(* 3.0 (* v v))

simplify100.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
086300
1289240
2825240
32881240
45001240

prune250.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
76×sqrt-prod
72×sqrt-div
68×add-sqr-sqrt
42×pow1
37×associate-*l*
32×sqrt-pow1
31×add-cube-cbrt *-un-lft-identity
28×add-exp-log add-cbrt-cube
20×frac-times times-frac
18×flip3-- flip--
16×pow1/2
15×swap-sqr
14×associate-*r/ pow-prod-down unswap-sqr
13×prod-exp cbrt-unprod
12×associate-*r*
9×pow-prod-up
7×associate-*l/
5×pow-sqr
4×*-commutative add-log-exp
2×cbrt-undiv div-exp
1×pow2 pow-plus sqrt-unprod rem-square-sqrt div-inv
Counts
4 → 182
Calls
4 calls:
24.0ms
(* (sqrt (sqrt (- 1.0 (* 3.0 (* v v))))) (sqrt (sqrt (- 1.0 (* 3.0 (* v v))))))
47.0ms
(* (/ (sqrt 2.0) 4.0) (* (sqrt (sqrt (- 1.0 (* 3.0 (* v v))))) (sqrt (sqrt (- 1.0 (* 3.0 (* v v)))))))
7.0ms
(* 3.0 (* v v))
7.0ms
(* 3.0 (* v v))

series342.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(* (sqrt (sqrt (- 1.0 (* 3.0 (* v v))))) (sqrt (sqrt (- 1.0 (* 3.0 (* v v))))))
211.0ms
(* (/ (sqrt 2.0) 4.0) (* (sqrt (sqrt (- 1.0 (* 3.0 (* v v))))) (sqrt (sqrt (- 1.0 (* 3.0 (* v v)))))))
24.0ms
(* 3.0 (* v v))
25.0ms
(* 3.0 (* v v))

simplify83.0ms

Algorithm
egg-herbie
Counts
194 → 194
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
06761872
127081660
250021638

prune419.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes36.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
02117
12117

end0.0ms

sample719.0ms

Algorithm
intervals
Results
274.0ms8000×body80valid
271.0ms8044×body80nan