Details

Time bar (total: 1.2m)

sample144.0ms

Algorithm
intervals
Results
66.0ms869×body80nan
25.0ms289×body80valid

simplify5.5s

Counts
1 → 1
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
01320
12720
27619
320619
450319
599219
6208019
7344919
done500019

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)
0.1b
(* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))
0.1b
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
0.2b
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
90×add-sqr-sqrt
85×*-un-lft-identity
83×add-cube-cbrt
78×prod-diff
67×times-frac
41×distribute-rgt-in distribute-lft-in
9×pow1
8×add-exp-log add-cbrt-cube
7×div-inv
6×associate-*r/ associate-*r*
5×sqrt-prod
4×expm1-log1p-u sqrt-div associate-/r* log1p-expm1-u add-log-exp
3×flip3-- associate-*l* flip-- associate-/l*
2×sub-neg sqrt-pow1 pow-prod-down associate-/r/ difference-of-squares
1×cbrt-undiv frac-2neg pow1/2 div-exp prod-exp clear-num *-commutative cbrt-unprod fma-udef distribute-lft-out-- unswap-sqr
Counts
4 → 167
Calls
4 calls:
1.0ms
(fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)
99.0ms
(* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))
63.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
34.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

series807.0ms

Counts
4 → 12
Calls
4 calls:
277.0ms
(fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0)
224.0ms
(* (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0) (- a (/ 1.0 3.0)))
105.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
201.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

simplify2.6s

Counts
179 → 179
Iterations

Useful iterations: done (2.6s)

IterNodesCost
04537178
19466698
229645557
done50005038

prune604.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
0.1b
(* (/ 1.0 3.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
0.2b
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
0.2b
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
34×times-frac
30×add-cube-cbrt *-un-lft-identity
13×add-exp-log associate-*l* add-cbrt-cube
9×pow1 sqrt-prod
8×associate-/r*
6×sqrt-div associate-*r/ associate-/l*
4×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-- div-exp associate-*r* flip-- div-inv
2×frac-2neg sqrt-pow1 pow-prod-down prod-exp clear-num cbrt-unprod fma-udef unswap-sqr
1×distribute-rgt-in distribute-lft-in pow1/2 associate-*l/ *-commutative
Counts
4 → 121
Calls
4 calls:
88.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
32.0ms
(* (/ 1.0 3.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
36.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
38.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

series849.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
297.0ms
(* (/ 1.0 3.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
231.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
210.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))

simplify1.5s

Counts
133 → 133
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02432440
15802352
217862157
done50002137

prune794.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
0.1b
(* (/ 1.0 3.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
0.2b
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
0.4b
(/ (/ 1.0 (sqrt 9.0)) (sqrt (- a (/ 1.0 3.0))))

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
423×times-frac
317×add-sqr-sqrt
243×*-un-lft-identity
233×sqrt-prod
197×add-cube-cbrt
46×difference-of-squares
25×associate-/l*
23×distribute-lft-out--
16×add-exp-log add-cbrt-cube
13×associate-*l* associate-/r* div-inv
9×pow1
6×sqrt-div
5×cbrt-undiv div-exp
4×expm1-log1p-u associate-*r/ associate-/r/ log1p-expm1-u add-log-exp
3×flip3-- associate-*r* flip--
2×frac-2neg sqrt-pow1 pow-prod-down prod-exp clear-num cbrt-unprod fma-udef unswap-sqr
1×distribute-rgt-in distribute-lft-in pow1/2 associate-*l/ *-commutative associate-/l/
Counts
4 → 334
Calls
4 calls:
88.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
24.0ms
(* (/ 1.0 3.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
18.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
46.0ms
(/ (/ 1.0 (sqrt 9.0)) (sqrt (- a (/ 1.0 3.0))))

series875.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(sqrt (* 9.0 (- a (/ 1.0 3.0))))
278.0ms
(* (/ 1.0 3.0) (fma (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand 1.0))
214.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
278.0ms
(/ (/ 1.0 (sqrt 9.0)) (sqrt (- a (/ 1.0 3.0))))

simplify2.7s

Counts
346 → 346
Iterations

Useful iterations: done (2.7s)

IterNodesCost
05678157
112997504
233477293
done50017292

prune1.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
0.3b
(/ (/ 1 (sqrt (* (cbrt 9.0) (cbrt 9.0)))) (/ (sqrt (- a (/ 1.0 3.0))) (/ 1.0 (sqrt (cbrt 9.0)))))
0.4b
(/ (sqrt (- a (/ 1.0 3.0))) (/ 1.0 (sqrt (cbrt 9.0))))
1.0b
(/ 1.0 (sqrt (cbrt 9.0)))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
17985×times-frac
9342×add-sqr-sqrt
7665×*-un-lft-identity
7171×sqrt-prod
6547×add-cube-cbrt
1479×cbrt-prod
1118×difference-of-squares
559×distribute-lft-out--
469×div-inv
328×associate-/r*
52×add-exp-log
35×div-exp
34×add-cbrt-cube
31×associate-/l*
21×associate-/r/
20×cbrt-undiv
4×pow1 expm1-log1p-u frac-2neg sqrt-div clear-num log1p-expm1-u add-log-exp
3×rec-exp 1-exp associate-/l/
2×flip3-- associate-*r/ flip--
Counts
4 → 5302
Calls
4 calls:
30.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
282.0ms
(/ (/ 1 (sqrt (* (cbrt 9.0) (cbrt 9.0)))) (/ (sqrt (- a (/ 1.0 3.0))) (/ 1.0 (sqrt (cbrt 9.0)))))
97.0ms
(/ (sqrt (- a (/ 1.0 3.0))) (/ 1.0 (sqrt (cbrt 9.0))))
16.0ms
(/ 1.0 (sqrt (cbrt 9.0)))

series644.0ms

Counts
4 → 10
Calls
4 calls:
209.0ms
(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
202.0ms
(/ (/ 1 (sqrt (* (cbrt 9.0) (cbrt 9.0)))) (/ (sqrt (- a (/ 1.0 3.0))) (/ 1.0 (sqrt (cbrt 9.0)))))
233.0ms
(/ (sqrt (- a (/ 1.0 3.0))) (/ 1.0 (sqrt (cbrt 9.0))))
0.0ms
(/ 1.0 (sqrt (cbrt 9.0)))

simplify3.0s

Counts
5312 → 5312
Iterations

Useful iterations: 0 (761.0ms)

IterNodesCost
05492247220
done5492247220

prune47.9s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes2.0ms