Details

sample26.0ms

Algorithm

intervals

Results

10.0ms

285×

body

valid

simplify7.0s

Counts

1 → 1

Iterations

Useful iterations: 2 (13.0ms)

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

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite72.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×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `div-inv` `add-log-exp` `unswap-sqr` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-sub` `pow-prod-down` `associate-r/` `-commutative`

Counts

2 → 106

Calls

2 calls:

19.0ms	(/ (- z t) (- z a))
49.0ms	(* y (/ (- z t) (- z a)))

series148.0ms

Counts

2 → 6

Calls

2 calls:

56.0ms	(/ (- z t) (- z a))
92.0ms	(* y (/ (- z t) (- z a)))

simplify3.4s

Counts

112 → 112

Iterations

Useful iterations: 3 (1.8s)

Iter	Nodes	Cost
0	142	27810
1	377	25600
2	1153	25358
3	4822	25198
done	5000	25198

prune585.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.7b	(* (cbrt y) (/ (- z t) (- z a)))
2.4b	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
32×	`associate-r`
30×	`add-exp-log`
27×	`times-frac`
19×	`add-cube-cbrt`
18×	`pow1` `add-cbrt-cube`
15×	`prod-exp` `cbrt-unprod`
11×	`cbrt-prod`
10×	`distribute-lft-out--` `difference-of-squares`
9×	`pow-prod-down`
7×	`associate-l`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`cbrt-undiv` `div-exp` `associate-*r/`
2×	`pow1/3` `associate-/r/` `*-commutative`
1×	`flip3--` `div-inv` `flip--`

Counts

4 → 112

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
45.0ms	(* (cbrt y) (/ (- z t) (- z a)))
67.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

series830.0ms

Counts

4 → 12

Calls

4 calls:

262.0ms	(cbrt y)
237.0ms	(cbrt y)
216.0ms	(* (cbrt y) (/ (- z t) (- z a)))
115.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

simplify2.4s

Counts

124 → 124

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	155	35979
1	421	33473
2	1458	32813
done	5001	28109

prune642.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite69.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` `log1p-expm1-u` `add-log-exp` `associate-/l/`
1×	`div-sub`

Counts

2 → 198

Calls

2 calls:

24.0ms	(/ (- z a) (- z t))
24.0ms	(/ y (/ (- z a) (- z t)))

series255.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify2.3s

Counts

204 → 204

Iterations

Useful iterations: done (2.3s)

Iter	Nodes	Cost
0	272	78433
1	734	72941
2	2751	71311
done	5002	71068

prune1.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite59.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` `log1p-expm1-u` `div-inv` `add-log-exp` `unswap-sqr`
1×	`clear-num` `frac-2neg` `pow-prod-down` `associate-l/` `-commutative`

Counts

2 → 109

Calls

2 calls:

9.0ms	(/ y (- z a))
43.0ms	(* (/ y (- z a)) (- z t))

series203.0ms

Counts

2 → 6

Calls

2 calls:

47.0ms	(/ y (- z a))
155.0ms	(* (/ y (- z a)) (- z t))

simplify1.9s

Counts

115 → 115

Iterations

Useful iterations: 2 (490.0ms)

Iter	Nodes	Cost
0	192	34676
1	527	31411
2	1524	27606
done	5001	27606

prune623.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes754.0ms

Accuracy

26.5% (1.0b remaining)

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

bsearch93.0ms

Steps

Iters	Range		Point
7	4.689319654494553e-186	4.6293904452953106e-184	1.1190671196704753e-184
7	-9.13624632406263e-233	-2.217600987745851e-234	-2.2126458411902673e-233

simplify13.0ms

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	24	918
1	31	707
done	31	707

end0.0ms

sample1.4s

Algorithm

intervals

Results

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