Details

sample33.0ms

Algorithm

intervals

Results

12.0ms

354×

body

valid

simplify1.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	30	9
3	49	9
4	73	9
5	95	9
6	114	9
7	136	9
8	186	9
9	302	9
10	427	9
11	609	9
12	808	9
13	1085	9
14	1288	9
15	1495	9
16	1819	9
17	2276	9
18	2820	9
19	3920	9
done	5000	9

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: 2.8b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ x y) (- z t)) t)
7.0b	(* (/ x y) (- z t))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`associate-l`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1` `distribute-rgt-in` `sub-neg` `associate-+l+` `distribute-lft-in` `add-log-exp`
2×	`frac-times` `flip3--` `associate-*r/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 57

Calls

2 calls:

15.0ms	(+ (* (/ x y) (- z t)) t)
10.0ms	(* (/ x y) (- z t))

series27.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(+ (* (/ x y) (- z t)) t)
15.0ms	(* (/ x y) (- z t))

simplify1.0s

Counts

63 → 63

Iterations

Useful iterations: 3 (380.0ms)

Iter	Nodes	Cost
0	120	727
1	316	701
2	1060	625
3	4215	619
done	5000	619

prune89.0ms

Filtered

43 candidates to 63 candidates (-46.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	59	4	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	5	64

Merged error: 0.0b

Counts

64 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt x)
0.5b	(cbrt x)
2.6b	(* (/ (cbrt x) y) (- z t))
3.7b	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-exp-log`
35×	`add-cbrt-cube`
33×	`prod-exp`
32×	`add-sqr-sqrt`
29×	`associate-l`
24×	`*-un-lft-identity`
23×	`times-frac`
22×	`add-cube-cbrt`
20×	`cbrt-unprod`
18×	`div-exp`
16×	`cbrt-prod`
11×	`pow1` `frac-times` `associate-*r/`
10×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in`
6×	`sub-neg` `flip3--` `1-exp` `associate-r` `flip--`
4×	`pow-prod-down` `associate-*l/` `add-log-exp`
3×	`unswap-sqr`
2×	`pow1/3` `*-commutative` `div-inv`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 135

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
12.0ms	(* (/ (cbrt x) y) (- z t))
17.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

series129.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt x)
27.0ms	(cbrt x)
55.0ms	(* (/ (cbrt x) y) (- z t))
21.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

simplify609.0ms

Counts

147 → 147

Iterations

Useful iterations: 2 (202.0ms)

Iter	Nodes	Cost
0	236	2336
1	715	2093
2	2648	1558
done	5001	1558

prune159.0ms

Filtered

98 candidates to 147 candidates (-50.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	146	6	152

Merged error: 0b

Counts

152 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt x)
0.5b	(cbrt x)
2.4b	(* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t))))
3.7b	(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t))))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

240×	`cbrt-div`
233×	`frac-times`
165×	`add-exp-log`
141×	`associate-*r/`
120×	`flip3--` `flip--`
103×	`prod-exp`
70×	`associate-*l/`
63×	`cbrt-unprod`
58×	`add-cbrt-cube`
36×	`div-exp`
29×	`associate-l`
26×	`add-sqr-sqrt`
23×	`pow1` `times-frac`
21×	`add-cube-cbrt` `*-un-lft-identity`
20×	`cbrt-undiv`
16×	`cbrt-prod`
13×	`pow-prod-down`
12×	`1-exp`
4×	`add-log-exp`
3×	`unswap-sqr`
2×	`pow1/3` `associate-r` `*-commutative` `div-inv`

Counts

4 → 258

Calls

4 calls:

1.0ms	(cbrt x)
2.0ms	(cbrt x)
19.0ms	(* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t))))
43.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t))))

series136.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(cbrt x)
27.0ms	(cbrt x)
51.0ms	(* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t))))
28.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t))))

simplify985.0ms

Counts

270 → 270

Iterations

Useful iterations: 2 (411.0ms)

Iter	Nodes	Cost
0	499	8687
1	1612	7974
2	4574	6216
done	5000	6216

prune304.0ms

Filtered

150 candidates to 270 candidates (-80.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	270	0	270
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	270	6	276

Merged error: 0b

Counts

276 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x (/ (- z t) y)) t)
0.0b	(/ (- z t) y)
7.0b	(* x (/ (- z t) y))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
37×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
19×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-/l*` `add-log-exp`
3×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip--` `flip-+`

Counts

3 → 87

Calls

3 calls:

8.0ms	(+ (* x (/ (- z t) y)) t)
6.0ms	(/ (- z t) y)
13.0ms	(* x (/ (- z t) y))

series33.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(+ (* x (/ (- z t) y)) t)
7.0ms	(/ (- z t) y)
14.0ms	(* x (/ (- z t) y))

simplify839.0ms

Counts

96 → 96

Iterations

Useful iterations: done (837.0ms)

Iter	Nodes	Cost
0	137	1051
1	346	986
2	1046	920
3	3660	890
done	5001	889

prune88.0ms

Filtered

69 candidates to 96 candidates (-39.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	1	2
Picked	0	1	1
Done	0	3	3
Total	96	6	102

Merged error: 0b

Counts

102 → 6

regimes451.0ms

Accuracy

24.5% (1.7b remaining)

Error of 1.7b against oracle of 0.0b and baseline of 2.2b

bsearch54.0ms

Steps

Iters	Range		Point
10	3.529819292291992e+17	3.4547956369758604e+34	6.855166725647336e+17
9	-2.0161479678891244e+83	-2.161463471147188e+76	-2.2597023320458045e+76

simplify5.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	26	58
1	40	39
2	46	39
done	46	39

end0.0ms

sample901.0ms

Algorithm

intervals

Results

353.0ms

10676×

body

valid

Details

sample33.0ms

simplify1.2s

prune4.0ms

localize7.0ms

rewrite27.0ms

series27.0ms

simplify1.0s

prune89.0ms

localize12.0ms

rewrite38.0ms

series129.0ms

simplify609.0ms

prune159.0ms

localize17.0ms

rewrite91.0ms

series136.0ms

simplify985.0ms

prune304.0ms

localize7.0ms

rewrite31.0ms

series33.0ms

simplify839.0ms

prune88.0ms

regimes451.0ms

bsearch54.0ms

simplify5.0ms

end0.0ms

sample901.0ms

Profiling