Details

Time bar (total: 3.5s)

sample35.0ms

Algorithm
intervals
Results
12.0ms259×body80nan
9.0ms256×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02710
17210
218210
337010
471310
5106610
6120110
7130810
8130810

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

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

series572.0ms

Counts
4 → 12
Calls
4 calls:
300.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
192.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
56.0ms
(- 1.0 (* 3.0 (* v v)))
24.0ms
(* 3.0 (* v v))

simplify86.0ms

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
07721542
134701448
250021446

prune353.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
140×add-exp-log
81×prod-exp
74×add-cbrt-cube
58×frac-times
49×cbrt-unprod
38×associate-*r/
34×div-exp
32×sqrt-div
29×flip3-- flip--
23×pow1 associate-*l/
18×cbrt-undiv
12×1-exp pow-prod-down
11×associate-*l*
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×associate-*r* add-log-exp
3×sub-neg times-frac *-commutative
2×distribute-rgt-in distribute-lft-in
1×diff-log div-inv difference-of-squares unswap-sqr
Counts
4 → 165
Calls
4 calls:
72.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1) (* (/ (cbrt (sqrt 2.0)) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
250.0ms
(* (* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1) (* (/ (cbrt (sqrt 2.0)) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))
6.0ms
(- 1.0 (* 3.0 (* v v)))
20.0ms
(* 3.0 (* v v))

series588.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1) (* (/ (cbrt (sqrt 2.0)) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))))
308.0ms
(* (* (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1) (* (/ (cbrt (sqrt 2.0)) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))) (- 1.0 (* v v)))
51.0ms
(- 1.0 (* 3.0 (* v v)))
28.0ms
(* 3.0 (* v v))

simplify52.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
012213357
150012903

prune426.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02517
12517

end0.0ms

sample819.0ms

Algorithm
intervals
Results
292.0ms7853×body80nan
285.0ms8000×body80valid