Details

Time bar (total: 6.0s)

sample50.0ms

Algorithm
intervals
Results
19.0ms289×body80nan
17.0ms256×body80valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02710
17210
219410
341610
481610
5120710
6136810
7150510
8151110
9151110

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log add-cbrt-cube
16×frac-times
14×pow1 sqrt-div
13×flip3-- flip--
11×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity associate-*r/ associate-*l/ prod-exp cbrt-unprod
6×prod-diff pow-prod-down
5×distribute-rgt-in distribute-lft-in associate-*r*
4×associate-*l*
3×expm1-log1p-u sqrt-prod log1p-expm1-u add-log-exp
2×sub-neg *-commutative
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp difference-of-squares unswap-sqr
Counts
3 → 88
Calls
3 calls:
3.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)))
6.0ms
(* 3.0 (* v v))

series23.0ms

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

simplify81.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
07491188
133771106
250011103

prune704.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

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

rewrite78.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
12×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
9×pow-prod-down
8×cbrt-prod
6×prod-diff
5×distribute-rgt-in distribute-lft-in associate-*r*
4×expm1-log1p-u associate-*l* pow-exp log1p-expm1-u add-log-exp rem-cube-cbrt
3×pow-unpow pow-pow
2×cbrt-undiv cube-mult sub-neg unpow-prod-down unpow3 cube-prod div-exp *-commutative sqr-pow
1×pow-to-exp pow1/3 rem-cbrt-cube difference-of-squares unswap-sqr
Counts
4 → 153
Calls
4 calls:
30.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))
27.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

series75.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
14.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))
41.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

simplify51.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
012002660
150022530

prune1.5s

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)

rewrite68.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×expm1-log1p-u exp-prod pow-exp log1p-expm1-u 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 → 144
Calls
4 calls:
13.0ms
(cbrt (exp (log (pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3))))
14.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))
27.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

series102.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))))
42.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))
44.0ms
(pow (* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v))) 3)

simplify54.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
012352954
150012629

prune1.7s

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
562.0ms8357×body80nan
549.0ms8000×body80valid