Details

Time bar (total: 4.3s)

sample60.0ms

Algorithm
intervals
Results
26.0ms256×body80valid
23.0ms248×body80nan

simplify77.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02710
17210
219410
341610
481610
5120710
6136810
7150510
8151110
9151110

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 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.1b
(* 3.0 (* v v))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
26×associate-*l*
22×add-exp-log add-cube-cbrt *-un-lft-identity times-frac add-cbrt-cube
18×frac-times
17×sqrt-prod
16×sqrt-div
15×pow1
14×flip3-- flip--
11×associate-*r*
10×associate-*r/ prod-exp cbrt-unprod
9×associate-*l/
7×pow-prod-down unswap-sqr
6×prod-diff
5×distribute-rgt-in distribute-lft-in
3×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
2×cbrt-undiv sub-neg div-exp
1×div-inv difference-of-squares
Counts
3 → 125
Calls
3 calls:
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))

series517.0ms

Counts
3 → 9
Calls
3 calls:
299.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
193.0ms
(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
24.0ms
(* 3.0 (* v v))

simplify97.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
08171640
137741536
250021533

prune334.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 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.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.1b
(* 3.0 (* v v))

rewrite233.0ms

Algorithm
rewrite-expression-head
Rules
91×add-exp-log
73×add-cbrt-cube
58×frac-times
49×prod-exp cbrt-unprod
38×associate-*r/
32×sqrt-div
28×flip3-- flip--
23×associate-*l/
22×pow1
18×cbrt-undiv div-exp
14×associate-*l*
12×add-sqr-sqrt pow-prod-down
10×add-cube-cbrt *-un-lft-identity
6×times-frac associate-*r* prod-diff
5×distribute-rgt-in distribute-lft-in
3×expm1-log1p-u sqrt-prod *-commutative log1p-expm1-u add-log-exp
2×sub-neg
1×div-inv difference-of-squares unswap-sqr
Counts
3 → 156
Calls
3 calls:
47.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))))))
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)))
6.0ms
(* 3.0 (* v v))

series698.0ms

Counts
3 → 9
Calls
3 calls:
261.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))))))
409.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)))
28.0ms
(* 3.0 (* v v))

simplify57.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
011943924
150013307

prune520.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
02320
12320

end0.0ms

sample1.6s

Algorithm
intervals
Results
738.0ms8000×body80valid
722.0ms7769×body80nan