Details

Time bar (total: 5.8s)

sample51.0ms

Algorithm
intervals
Results
20.0ms289×body80nan
18.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

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log add-cbrt-cube
16×frac-times
14×pow1 sqrt-div
13×flip3-- flip--
9×add-sqr-sqrt
8×associate-*r/ associate-*l/ prod-exp cbrt-unprod
6×add-cube-cbrt *-un-lft-identity pow-prod-down
5×associate-*r*
4×associate-*l*
3×sqrt-prod add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in *-commutative
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp difference-of-squares unswap-sqr
Counts
3 → 76
Calls
3 calls:
2.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
32.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
7.0ms
(* 3.0 (* v v))

series24.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(sqrt (- 1.0 (* 3.0 (* v v))))
16.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
2.0ms
(* 3.0 (* v v))

simplify74.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
06921013
13081949
25001948

prune646.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize13.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
(cbrt (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))
0.1b
(* 3.0 (* v v))
1.0b
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
48×frac-times
36×flip3-- sqrt-div flip--
34×cube-div
28×add-exp-log add-cbrt-cube
24×associate-*r/ associate-*l/
20×pow1
17×cbrt-div
13×prod-exp cbrt-unprod
10×add-sqr-sqrt
9×pow-prod-down
8×cbrt-prod add-cube-cbrt *-un-lft-identity
5×associate-*r*
4×associate-*l* pow-exp add-log-exp rem-cube-cbrt
3×pow-unpow pow-pow
2×cbrt-undiv distribute-rgt-in cube-mult sub-neg unpow-prod-down distribute-lft-in unpow3 cube-prod div-exp *-commutative sqr-pow
1×pow-to-exp pow1/3 rem-cbrt-cube difference-of-squares unswap-sqr
Counts
4 → 139
Calls
4 calls:
33.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
6.0ms
(cbrt (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))
6.0ms
(* 3.0 (* v v))
30.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

series78.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
17.0ms
(cbrt (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))
2.0ms
(* 3.0 (* v v))
43.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

simplify48.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011362463
150012384

prune1.4s

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 (exp (log (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))))
0.0b
(exp (log (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)))
0.1b
(* 3.0 (* v v))
1.0b
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
51×cube-div
48×frac-times
36×flip3-- sqrt-div flip--
34×log-div exp-diff
24×associate-*r/ associate-*l/
19×add-exp-log add-cbrt-cube
17×cbrt-div
16×log-prod exp-sum
15×pow1
11×cbrt-prod add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
8×prod-exp cbrt-unprod
6×pow-prod-down
4×exp-prod pow-exp add-log-exp rem-cube-cbrt
3×cube-mult unpow-prod-down pow-unpow pow-pow unpow3 cube-prod associate-*l* sqr-pow
1×cbrt-undiv pow-to-exp pow1/3 div-exp associate-*r* log-pow *-commutative rem-exp-log unswap-sqr
Counts
4 → 136
Calls
4 calls:
16.0ms
(cbrt (exp (log (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))))
13.0ms
(exp (log (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)))
6.0ms
(* 3.0 (* v v))
29.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

series104.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(cbrt (exp (log (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))))
45.0ms
(exp (log (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)))
2.0ms
(* 3.0 (* v v))
42.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

simplify50.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
012072894
150012586

prune1.6s

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
02214
12214

end0.0ms

sample1.3s

Algorithm
intervals
Results
578.0ms8357×body80nan
566.0ms8000×body80valid