Details

sample53.0ms

Algorithm

intervals

Results

22.0ms

284×

body

valid

simplify11.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
22	4995
21	4713
20	4418
19	4136
18	3837
17	3514
16	3152
15	2742
14	2228
13	1882
12	1295
11	753
10	441
9	341
8	282
7	255
6	219
5	152
4	95
3	58
2	37
1	21
0	10

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize67.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z t) (- z a))
1.0b	(fma (/ (- z t) (- z a)) y x)

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
14×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-cbrt-cube` `add-exp-log`
2×	`expm1-log1p-u` `pow1` `flip3--` `associate-/r/` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `fma-udef` `div-inv`

Counts

2 → 66

Calls

2 calls:

59.0ms	(/ (- z t) (- z a))
1.0ms	(fma (/ (- z t) (- z a)) y x)

series275.0ms

Counts

2 → 6

Calls

2 calls:

80.0ms	(/ (- z t) (- z a))
195.0ms	(fma (/ (- z t) (- z a)) y x)

simplify4.7s

Counts

72 → 72

Iterations

Iter	Nodes
done	5004
3	2238
2	655
1	268
0	115

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.5b

localize94.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z a) (- z t))
0.2b	(/ 1 (/ (- z a) (- z t)))
1.0b	(fma (/ 1 (/ (- z a) (- z t))) y x)

rewrite196.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
195×	`add-sqr-sqrt` `*-un-lft-identity`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
16×	`add-exp-log`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`flip3--` `div-inv` `flip--`
4×	`pow1` `cbrt-undiv`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `associate-/l/`
1×	`div-sub` `fma-udef` `pow-flip` `inv-pow`

Counts

3 → 217

Calls

3 calls:

80.0ms	(/ (- z a) (- z t))
89.0ms	(/ 1 (/ (- z a) (- z t)))
2.0ms	(fma (/ 1 (/ (- z a) (- z t))) y x)

series538.0ms

Counts

3 → 9

Calls

3 calls:

117.0ms	(/ (- z a) (- z t))
191.0ms	(/ 1 (/ (- z a) (- z t)))
229.0ms	(fma (/ 1 (/ (- z a) (- z t))) y x)

simplify4.7s

Counts

226 → 226

Iterations

Iter	Nodes
done	5001
2	2229
1	705
0	272

prune2.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize87.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z a) (- z t))
1.9b	(/ y (/ (- z a) (- z t)))

rewrite178.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
194×	`add-sqr-sqrt` `*-un-lft-identity`
90×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
9×	`add-cbrt-cube` `add-exp-log`
8×	`associate-/l*`
6×	`flip3--` `div-inv` `flip--`
4×	`cbrt-undiv` `div-exp`
2×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `insert-posit16` `log1p-expm1-u` `add-log-exp` `associate-/l/`
1×	`div-sub`

Counts

2 → 200

Calls

2 calls:

79.0ms	(/ (- z a) (- z t))
57.0ms	(/ y (/ (- z a) (- z t)))

series369.0ms

Counts

2 → 6

Calls

2 calls:

120.0ms	(/ (- z a) (- z t))
248.0ms	(/ y (/ (- z a) (- z t)))

simplify5.6s

Counts

206 → 206

Iterations

Iter	Nodes
done	5006
2	2805
1	736
0	274

prune2.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize60.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- z a))
10.3b	(* (/ y (- z a)) (- z t))

rewrite198.0ms

Algorithm

rewrite-expression-head

Rules

55×	`add-sqr-sqrt`
50×	`*-un-lft-identity`
34×	`add-cube-cbrt`
31×	`times-frac`
21×	`associate-l`
18×	`prod-diff`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`add-cbrt-cube` `add-exp-log`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-r*`
4×	`pow1` `flip3--` `associate-/r/` `flip--`
3×	`associate-/l*`
2×	`expm1-log1p-u` `frac-times` `cbrt-undiv` `sub-neg` `div-exp` `prod-exp` `associate-*r/` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp` `unswap-sqr`
1×	`clear-num` `frac-2neg` `pow-prod-down` `associate-l/` `-commutative`

Counts

2 → 111

Calls

2 calls:

34.0ms	(/ y (- z a))
154.0ms	(* (/ y (- z a)) (- z t))

series366.0ms

Counts

2 → 6

Calls

2 calls:

94.0ms	(/ y (- z a))
272.0ms	(* (/ y (- z a)) (- z t))

simplify3.7s

Counts

117 → 117

Iterations

Iter	Nodes
done	5000
2	1438
1	529
0	194

prune1.5s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes1.5s

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
done	11
1	11
0	10

end0.0ms

sample1.4s

Algorithm

intervals

Results

737.0ms	8749×	body	80	valid
0.0ms	1×	body	640	valid