Details

Time bar (total: 14.0s)

sample57.0ms

Algorithm
intervals
Results
28.0ms319×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
74734
61275
5613
4294
3123
250
122
012

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- 0.25 (/ (- z x) y))
0.0b
(fma (- 0.25 (/ (- z x) y)) 4.0 1.0)
0.0b
(/ (- z x) y)

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
91×add-sqr-sqrt
88×*-un-lft-identity
61×times-frac
60×add-cube-cbrt
57×prod-diff
15×difference-of-squares
14×distribute-lft-out--
5×add-cbrt-cube add-exp-log associate-/l* add-log-exp
4×div-inv
3×expm1-log1p-u pow1 associate-/r* fma-neg log1p-expm1-u
2×flip3-- div-sub flip-- associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp fma-udef associate--r-
Counts
3 → 128
Calls
3 calls:
32.0ms
(- 0.25 (/ (- z x) y))
0.0ms
(fma (- 0.25 (/ (- z x) y)) 4.0 1.0)
24.0ms
(/ (- z x) y)

series111.0ms

Counts
3 → 9
Calls
3 calls:
22.0ms
(- 0.25 (/ (- z x) y))
46.0ms
(fma (- 0.25 (/ (- z x) y)) 4.0 1.0)
43.0ms
(/ (- z x) y)

simplify1.9s

Counts
137 → 137
Iterations
IterNodes
done5001
22511
1597
0237

prune525.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(- 0.25 (- (/ z y) (/ x y)))
0.0b
(fma (- 0.25 (- (/ z y) (/ x y))) 4.0 1.0)
0.0b
(- (/ z y) (/ x y))

rewrite233.0ms

Algorithm
rewrite-expression-head
Rules
517×times-frac
448×add-sqr-sqrt
435×*-un-lft-identity
398×add-cube-cbrt
374×prod-diff
171×associate--r+
61×div-inv
19×distribute-lft-out--
17×difference-of-squares
16×fma-neg
10×add-log-exp
4×distribute-rgt-out-- diff-log
3×expm1-log1p-u pow1 sub-neg add-cbrt-cube add-exp-log log1p-expm1-u
2×flip3-- flip--
1×frac-sub fma-udef sub-div associate--r-
Counts
3 → 446
Calls
3 calls:
126.0ms
(- 0.25 (- (/ z y) (/ x y)))
0.0ms
(fma (- 0.25 (- (/ z y) (/ x y))) 4.0 1.0)
50.0ms
(- (/ z y) (/ x y))

series106.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(- 0.25 (- (/ z y) (/ x y)))
44.0ms
(fma (- 0.25 (- (/ z y) (/ x y))) 4.0 1.0)
36.0ms
(- (/ z y) (/ x y))

simplify673.0ms

Counts
455 → 455
Iterations
IterNodes
done5000
11490
0604

prune2.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (fma 4.0 (/ x y) 2.0) (/ (* 4.0 z) y))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
21×prod-diff
17×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt
9×times-frac
3×fma-neg div-inv add-log-exp
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log associate--l+ add-exp-log fma-udef log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 41
Calls
1 calls:
11.0ms
(- (fma 4.0 (/ x y) 2.0) (/ (* 4.0 z) y))

series46.0ms

Counts
1 → 3
Calls
1 calls:
46.0ms
(- (fma 4.0 (/ x y) 2.0) (/ (* 4.0 z) y))

simplify1.6s

Counts
44 → 44
Iterations
IterNodes
done5000
21146
1269
0106

prune244.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma (- (/ 4.0 y)) z (fma 4.0 (/ x y) 2.0))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (- (/ 4.0 y)) z (fma 4.0 (/ x y) 2.0))

series62.0ms

Counts
1 → 3
Calls
1 calls:
62.0ms
(fma (- (/ 4.0 y)) z (fma 4.0 (/ x y) 2.0))

simplify867.0ms

Counts
13 → 13
Iterations
IterNodes
done5002
3610
2103
143
025

prune100.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes150.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
010

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s10020×body80valid