Details

Time bar (total: 7.7s)

sample32.0ms

Algorithm
intervals
Results
10.0ms270×body80nan
9.0ms256×body80valid

simplify77.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02710
17210
219410
341610
481610
5120710
6136810
7150510
8151110
9151110

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

rewrite66.0ms

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

series603.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(- 1.0 (* 3.0 (* v v)))
317.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
202.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
29.0ms
(* 3.0 (* v v))

simplify103.0ms

Algorithm
egg-herbie
Counts
157 → 157
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
08431772
138871651
250011648

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

rewrite269.0ms

Algorithm
rewrite-expression-head
Rules
97×add-exp-log
92×add-sqr-sqrt
78×add-cbrt-cube
72×times-frac associate-*l*
68×sqrt-prod
60×frac-times
51×prod-exp cbrt-unprod
50×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*
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
2×sub-neg div-inv
1×difference-of-squares
Counts
4 → 254
Calls
4 calls:
170.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)))
30.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
50.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.3s

Counts
4 → 12
Calls
4 calls:
403.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)))
591.0ms
(* (/ (cbrt (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v)))))
266.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))))))
26.0ms
(* 3.0 (* v v))

simplify72.0ms

Algorithm
egg-herbie
Counts
266 → 266
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
014345245
150014612

prune894.0ms

Pruning

3 alts after pruning (2 fresh and 1 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 (sqrt 2.0)) (sqrt 4.0)) (sqrt (- 1.0 (* 3.0 (* v v))))))
0.1b
(* (* v v) (* v v))
0.1b
(pow (* v v) 3)
0.2b
(* 3.0 (* v v))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
133×pow1
60×add-exp-log
51×add-cbrt-cube
37×pow-prod-up
30×pow-prod-down prod-exp cbrt-unprod
23×pow-sqr
19×pow-plus
14×pow2 associate-*l*
10×add-sqr-sqrt
9×cbrt-undiv frac-times add-cube-cbrt *-un-lft-identity associate-*r/ div-exp
8×sqrt-div
6×pow-pow times-frac
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u add-log-exp
3×pow-unpow associate-*r* associate-*l/ sqrt-prod *-commutative
2×pow-exp rem-cube-cbrt unswap-sqr
1×cube-mult pow-to-exp unpow-prod-down unpow3 cube-prod swap-sqr div-inv sqr-pow
Counts
4 → 166
Calls
4 calls:
49.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))))))
12.0ms
(* (* v v) (* v v))
2.0ms
(pow (* v v) 3)
6.0ms
(* 3.0 (* v v))

series369.0ms

Counts
4 → 12
Calls
4 calls:
267.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))))))
31.0ms
(* (* v v) (* v v))
46.0ms
(pow (* v v) 3)
24.0ms
(* 3.0 (* v v))

simplify93.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
07501402
134111092
250011005

prune506.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

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

rewrite323.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×expm1-log1p-u sqrt-prod *-commutative log1p-expm1-u add-log-exp
2×pow-sqr pow-prod-up div-inv
1×pow2 pow-plus
Counts
4 → 220
Calls
4 calls:
226.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))
73.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))))))
5.0ms
(* (cbrt 4.0) (cbrt 4.0))

series666.0ms

Counts
4 → 10
Calls
4 calls:
300.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))
342.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))

simplify72.0ms

Algorithm
egg-herbie
Counts
230 → 230
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
013036453
150024755

prune849.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes43.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
03531
13531

end0.0ms

sample782.0ms

Algorithm
intervals
Results
300.0ms8063×body80nan
288.0ms8000×body80valid