Details

sample32.0ms

Algorithm

intervals

Results

12.0ms

285×

body

valid

simplify8.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	205
1	21	205
2	35	205
3	54	205
4	87	205
5	131	205
6	185	205
7	221	205
8	258	205
9	314	205
10	390	205
11	630	205
12	1041	205
13	1584	205
14	1837	205
15	2172	205
16	2476	205
17	2727	205
18	2963	205
19	3178	205
20	3374	205
21	3579	205
22	3771	205
23	3974	205
24	4168	205
25	4371	205
26	4563	205
27	4766	205
28	4960	205
done	5000	205

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite80.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:

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

series206.0ms

Counts

2 → 6

Calls

2 calls:

83.0ms	(/ (- z t) (- z a))
122.0ms	(* y (/ (- z t) (- z a)))

simplify3.8s

Counts

108 → 108

Iterations

Useful iterations: 3 (1.9s)

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

prune545.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize34.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))))

rewrite178.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×	`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 → 104

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
76.0ms	(* (cbrt y) (/ (- z t) (- z a)))
92.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

series927.0ms

Counts

4 → 12

Calls

4 calls:

254.0ms	(cbrt y)
257.0ms	(cbrt y)
259.0ms	(* (cbrt y) (/ (- z t) (- z a)))
157.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- z a))))

simplify2.7s

Counts

116 → 116

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	149	33879
1	410	31373
2	1431	30633
done	5000	26329

prune692.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite61.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:

19.0ms	(/ (- z a) (- z t))
31.0ms	(/ y (/ (- z a) (- z t)))

series239.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify2.6s

Counts

200 → 200

Iterations

Useful iterations: done (2.6s)

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

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize33.0ms

Local error

Found 2 expressions with local error:

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

rewrite58.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:

8.0ms	(/ y (- z a))
46.0ms	(* (/ y (- z a)) (- z t))

series212.0ms

Counts

2 → 6

Calls

2 calls:

50.0ms	(/ y (- z a))
162.0ms	(* (/ y (- z a)) (- z t))

simplify1.8s

Counts

93 → 93

Iterations

Useful iterations: 2 (324.0ms)

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

prune600.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes663.0ms

Accuracy

28.9% (1.0b remaining)

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

bsearch84.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

simplify5.0ms

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	21	798
1	29	587
done	29	587

end0.0ms

sample970.0ms

Algorithm

intervals

Results

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