Details

sample31.0ms

Algorithm

intervals

Results

10.0ms

280×

body

valid

simplify614.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	35	11
3	59	11
4	94	11
5	120	11
6	146	11
7	165	11
8	187	11
9	232	11
10	324	11
11	481	11
12	509	11
13	528	11
14	530	11
done	530	11

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 11.9b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

7.0ms	(* (- y z) t)
10.0ms	(/ (* (- y z) t) (- a z))

series34.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (- y z) t)
21.0ms	(/ (* (- y z) t) (- a z))

simplify1.6s

Counts

57 → 57

Iterations

Useful iterations: 2 (108.0ms)

Iter	Nodes	Cost
0	101	565
1	256	545
2	1016	471
done	5000	471

prune88.0ms

Filtered

42 candidates to 57 candidates (-35.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	51	6	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	7	58

Merged error: 0b

Counts

58 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 83

Calls

2 calls:

6.0ms	(/ t (- a z))
14.0ms	(* (- y z) (/ t (- a z)))

series27.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify3.1s

Counts

89 → 89

Iterations

Useful iterations: 2 (154.0ms)

Iter	Nodes	Cost
0	130	977
1	294	931
2	1081	857
3	4860	857
done	5000	857

prune91.0ms

Filtered

63 candidates to 89 candidates (-41.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	3	2	5
Picked	0	1	1
Done	1	0	1
Total	92	4	96

Merged error: 0b

Counts

96 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.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-exp-log` `add-cbrt-cube`
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` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 102

Calls

2 calls:

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

series28.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(/ (- y z) (- a z))
18.0ms	(* t (/ (- y z) (- a z)))

simplify1.4s

Counts

108 → 108

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	138	1319
1	350	1247
2	917	1165
3	2779	1165
done	5000	1163

prune111.0ms

Filtered

73 candidates to 108 candidates (-47.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	108	4	112

Merged error: 0b

Counts

112 → 4

localize8.0ms

Local error

Found 1 expressions with local error:

11.2b

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

185×	`times-frac`
151×	`add-sqr-sqrt` `*-un-lft-identity`
75×	`add-cube-cbrt`
38×	`distribute-lft-out--` `difference-of-squares`
19×	`associate-/r*`
7×	`div-inv`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/l*`
3×	`cbrt-undiv` `div-exp`
2×	`associate-/l/`
1×	`pow1` `flip3--` `frac-2neg` `div-sub` `clear-num` `associate-/r/` `flip--` `add-log-exp`

Counts

1 → 137

Calls

1 calls:

13.0ms

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

series27.0ms

Counts

1 → 3

Calls

1 calls:

27.0ms

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

simplify754.0ms

Counts

140 → 140

Iterations

Useful iterations: 2 (252.0ms)

Iter	Nodes	Cost
0	228	2726
1	655	2555
2	1995	2473
done	5000	2473

prune99.0ms

Filtered

91 candidates to 140 candidates (-53.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	140	4	144

Merged error: 0b

Counts

144 → 4

regimes311.0ms

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	16	11
done	16	11

end0.0ms

sample839.0ms

Algorithm

intervals

Results

326.0ms	8753×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample31.0ms

simplify614.0ms

prune4.0ms

localize8.0ms

rewrite19.0ms

series34.0ms

simplify1.6s

prune88.0ms

localize8.0ms

rewrite24.0ms

series27.0ms

simplify3.1s

prune91.0ms

localize10.0ms

rewrite29.0ms

series28.0ms

simplify1.4s

prune111.0ms

localize8.0ms

rewrite22.0ms

series27.0ms

simplify754.0ms

prune99.0ms

regimes311.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample839.0ms

Profiling