Details

sample34.0ms

Algorithm

intervals

Results

15.0ms

285×

body

valid

simplify6.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	205
1	18	205
2	31	205
3	50	205
4	87	205
5	128	205
6	169	205
7	206	205
8	250	205
9	335	205
10	486	205
11	699	205
12	1129	205
13	1556	205
14	1950	205
15	2324	205
16	2584	205
17	2823	205
18	3057	205
19	3301	205
20	3537	205
21	3777	205
22	4020	205
23	4256	205
24	4499	205
25	4743	205
26	4979	205
done	5001	205

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.7b

localize27.0ms

Local error

Found 2 expressions with local error:

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

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`add-cbrt-cube` `add-exp-log`
6×	`add-cube-cbrt`
5×	`associate-/r` `times-frac` `associate-r*`
4×	`pow1` `associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `associate-/l/`
1×	`clear-num` `frac-2neg` `pow-prod-down` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

2 → 55

Calls

2 calls:

31.0ms	(* y (- z t))
39.0ms	(/ (* y (- z t)) (- z a))

series164.0ms

Counts

2 → 6

Calls

2 calls:

65.0ms	(* y (- z t))
99.0ms	(/ (* y (- z t)) (- z a))

simplify2.8s

Counts

61 → 61

Iterations

Useful iterations: 3 (1.3s)

Iter	Nodes	Cost
0	105	11665
1	276	10457
2	816	10297
3	3465	10137
done	5004	10137

prune388.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite75.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×	`pow1` `clear-num` `frac-2neg` `add-log-exp` `associate-/l/`
1×	`div-sub`

Counts

2 → 194

Calls

2 calls:

34.0ms	(/ (- z a) (- z t))
20.0ms	(/ y (/ (- z a) (- z t)))

series244.0ms

Counts

2 → 6

Calls

2 calls:

71.0ms	(/ (- z a) (- z t))
173.0ms	(/ y (/ (- z a) (- z t)))

simplify2.2s

Counts

200 → 200

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	268	77539
1	713	71860
2	2494	70517
done	5010	70274

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
26×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
9×	`add-cbrt-cube` `add-exp-log`
5×	`associate-/r` `associate-/l`
4×	`pow1` `associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-sub` `pow-prod-down` `associate-r/` `-commutative`

Counts

2 → 102

Calls

2 calls:

33.0ms	(/ (- z t) (- z a))
73.0ms	(* y (/ (- z t) (- z a)))

series192.0ms

Counts

2 → 6

Calls

2 calls:

72.0ms	(/ (- z t) (- z a))
119.0ms	(* y (/ (- z t) (- z a)))

simplify3.5s

Counts

108 → 108

Iterations

Useful iterations: 3 (1.7s)

Iter	Nodes	Cost
0	138	26916
1	369	24649
2	1150	24489
3	4806	24329
done	5002	24329

prune590.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
21×	`associate-l`
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×	`distribute-rgt-in` `frac-times` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-*r/` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
1×	`clear-num` `frac-2neg` `pow-prod-down` `associate-l/` `-commutative`

Counts

2 → 87

Calls

2 calls:

15.0ms	(/ y (- z a))
37.0ms	(* (/ y (- z a)) (- z t))

series511.0ms

Counts

2 → 6

Calls

2 calls:

31.0ms	(/ y (- z a))
479.0ms	(* (/ y (- z a)) (- z t))

simplify1.7s

Counts

93 → 93

Iterations

Useful iterations: 2 (293.0ms)

Iter	Nodes	Cost
0	140	21642
1	363	20051
2	1262	19690
done	5000	19690

prune515.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes625.0ms

Accuracy

71.8% (0.4b remaining)

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

bsearch2.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	19	587
1	25	587
done	25	587

end0.0ms

sample1.0s

Algorithm

intervals

Results

530.0ms	8696×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid