Details

sample54.0ms

Algorithm

intervals

Results

23.0ms

335×

body

valid

simplify5.7s

Counts

1 → 1

Iterations

Useful iterations: 7 (3.4s)

Iter	Nodes	Cost
0	12	13
1	22	13
2	50	12
3	123	11
4	298	11
5	597	11
6	1262	11
7	4924	10
done	5000	10

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite129.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-exp-log` `add-cbrt-cube` `associate-/l*` `add-log-exp`
4×	`div-inv`
3×	`pow1` `expm1-log1p-u` `fma-neg` `associate-/r*` `log1p-expm1-u`
2×	`flip3--` `div-sub` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `fma-udef` `associate--r-`

Counts

3 → 128

Calls

3 calls:

76.0ms	(- 0.75 (/ (- z x) y))
1.0ms	(fma 4.0 (- 0.75 (/ (- z x) y)) 1.0)
43.0ms	(/ (- z x) y)

series166.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(- 0.75 (/ (- z x) y))
68.0ms	(fma 4.0 (- 0.75 (/ (- z x) y)) 1.0)
64.0ms	(/ (- z x) y)

simplify3.7s

Counts

137 → 137

Iterations

Useful iterations: done (3.7s)

Iter	Nodes	Cost
0	236	3748
1	596	3399
2	2522	2533
done	5001	2084

prune723.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
10×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `add-log-exp`
3×	`expm1-log1p-u` `fma-neg` `associate-l` `prod-diff` `log1p-expm1-u`
2×	`prod-exp` `cbrt-unprod` `fma-udef` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `flip3--` `diff-log` `associate-r/` `div-exp` `pow-prod-down` `associate--l+` `-commutative` `flip--` `div-inv`

Counts

3 → 65

Calls

3 calls:

12.0ms	(- (fma 4.0 (/ x y) 4.0) (* 4.0 (/ z y)))
1.0ms	(fma 4.0 (/ x y) 4.0)
28.0ms	(* 4.0 (/ z y))

series143.0ms

Counts

3 → 9

Calls

3 calls:

64.0ms	(- (fma 4.0 (/ x y) 4.0) (* 4.0 (/ z y)))
43.0ms	(fma 4.0 (/ x y) 4.0)
36.0ms	(* 4.0 (/ z y))

simplify1.2s

Counts

74 → 74

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	114	833
1	295	796
2	1181	720
done	5001	699

prune447.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 0.75 (/ 1 (/ y (- z x))))
0.0b	(fma 4.0 (- 0.75 (/ 1 (/ y (- z x)))) 1.0)
0.0b	(/ y (- z x))
0.3b	(/ 1 (/ y (- z x)))

rewrite214.0ms

Algorithm

rewrite-expression-head

Rules

468×	`times-frac`
388×	`add-sqr-sqrt`
379×	`*-un-lft-identity`
288×	`add-cube-cbrt`
204×	`prod-diff`
48×	`difference-of-squares`
45×	`distribute-lft-out--`
32×	`associate-/r/`
26×	`associate-/r*`
19×	`div-inv`
17×	`add-exp-log`
15×	`flip3--` `flip--`
11×	`add-cbrt-cube`
8×	`div-exp`
6×	`associate-/l*` `add-log-exp`
5×	`pow1`
4×	`cbrt-undiv` `expm1-log1p-u` `log1p-expm1-u`
3×	`fma-neg`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num`
1×	`sub-neg` `pow-flip` `diff-log` `fma-udef` `inv-pow`

Counts

4 → 387

Calls

4 calls:

99.0ms	(- 0.75 (/ 1 (/ y (- z x))))
1.0ms	(fma 4.0 (- 0.75 (/ 1 (/ y (- z x)))) 1.0)
20.0ms	(/ y (- z x))
32.0ms	(/ 1 (/ y (- z x)))

series214.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(- 0.75 (/ 1 (/ y (- z x))))
60.0ms	(fma 4.0 (- 0.75 (/ 1 (/ y (- z x)))) 1.0)
60.0ms	(/ y (- z x))
66.0ms	(/ 1 (/ y (- z x)))

simplify1.3s

Counts

399 → 399

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	664	16737
1	1782	13174
done	5000	10457

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- z x) y)
0.2b	(fma (/ (- z x) y) (+ 0.75 (/ (- z x) y)) (* 0.75 0.75))
0.3b	(pow (/ (- z x) y) 3)
23.5b	(/ (- (pow 0.75 3) (pow (/ (- z x) y) 3)) (fma (/ (- z x) y) (+ 0.75 (/ (- z x) y)) (* 0.75 0.75)))

rewrite661.0ms

Algorithm

rewrite-expression-head

Rules

275×	`add-sqr-sqrt`
176×	`times-frac`
131×	`*-un-lft-identity`
106×	`difference-of-squares`
91×	`unpow-prod-down` `cube-prod`
71×	`add-cube-cbrt`
41×	`sqr-pow`
38×	`associate-/l*`
30×	`distribute-lft-out--`
11×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r*`
5×	`pow1`
4×	`difference-cubes` `expm1-log1p-u` `log1p-expm1-u` `div-inv` `associate-/l/` `add-log-exp`
3×	`cbrt-undiv` `pow-unpow` `div-exp`
2×	`flip3--` `frac-2neg` `div-sub` `pow-exp` `clear-num` `flip--` `rem-cube-cbrt`
1×	`cube-div` `cube-mult` `pow-to-exp` `pow-pow` `unpow3` `fma-udef`

Counts

4 → 262

Calls

4 calls:

37.0ms	(/ (- z x) y)
1.0ms	(fma (/ (- z x) y) (+ 0.75 (/ (- z x) y)) (* 0.75 0.75))
28.0ms	(pow (/ (- z x) y) 3)
563.0ms	(/ (- (pow 0.75 3) (pow (/ (- z x) y) 3)) (fma (/ (- z x) y) (+ 0.75 (/ (- z x) y)) (* 0.75 0.75)))

series611.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(/ (- z x) y)
173.0ms	(fma (/ (- z x) y) (+ 0.75 (/ (- z x) y)) (* 0.75 0.75))
99.0ms	(pow (/ (- z x) y) 3)
284.0ms	(/ (- (pow 0.75 3) (pow (/ (- z x) y) 3)) (fma (/ (- z x) y) (+ 0.75 (/ (- z x) y)) (* 0.75 0.75)))

simplify4.7s

Counts

274 → 274

Iterations

Useful iterations: 2 (1.7s)

Iter	Nodes	Cost
0	355	9498
1	1072	9114
2	4982	8831
done	5000	8831

prune2.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes238.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	10	12
done	10	12

end0.0ms

sample1.6s

Algorithm

intervals

Results

999.0ms

10063×

body

valid