Details

sample33.0ms

Algorithm

intervals

Results

12.0ms

354×

body

valid

simplify1.8s

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	118	9
7	142	9
8	192	9
9	264	9
10	372	9
11	484	9
12	665	9
13	853	9
14	1035	9
15	1301	9
16	1825	9
17	3088	9
done	5001	9

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

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

9.0ms	(+ (* (/ x y) (- z t)) t)
11.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.3s

Counts

63 → 63

Iterations

Useful iterations: 3 (474.0ms)

Iter	Nodes	Cost
0	120	727
1	316	703
2	1117	653
3	4748	619
done	5000	619

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

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

rewrite41.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))
20.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

series123.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt x)
25.0ms	(cbrt x)
53.0ms	(* (/ (cbrt x) y) (- z t))
21.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) (- z t)))

simplify691.0ms

Counts

147 → 147

Iterations

Useful iterations: done (687.0ms)

Iter	Nodes	Cost
0	236	2336
1	715	2139
2	2792	1656
done	5000	1584

prune166.0ms

Filtered

103 candidates to 147 candidates (-42.7%)

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

rewrite88.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)
1.0ms	(cbrt x)
23.0ms	(* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t))))
39.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t))))

series124.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt x)
25.0ms	(cbrt x)
53.0ms	(* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t))))
21.0ms	(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t))))

simplify1.2s

Counts

270 → 270

Iterations

Useful iterations: 2 (512.0ms)

Iter	Nodes	Cost
0	499	8687
1	1612	8041
2	4908	6354
done	5000	6354

prune527.0ms

Filtered

156 candidates to 270 candidates (-73.1%)

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

rewrite28.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)
7.0ms	(/ (- z t) y)
10.0ms	(* x (/ (- z t) y))

series38.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(+ (* x (/ (- z t) y)) t)
8.0ms	(/ (- z t) y)
14.0ms	(* x (/ (- z t) y))

simplify1.0s

Counts

96 → 96

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	137	1051
1	346	992
2	1078	924
3	3913	904
done	5000	891

prune84.0ms

Filtered

71 candidates to 96 candidates (-35.2%)

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

regimes440.0ms

Accuracy

49.8% (1.6b remaining)

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

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

sample919.0ms

Algorithm

intervals

Results

373.0ms

10676×

body

valid

Details

sample33.0ms

simplify1.8s

prune3.0ms

localize7.0ms

rewrite23.0ms

series27.0ms

simplify1.3s

prune82.0ms

localize13.0ms

rewrite41.0ms

series123.0ms

simplify691.0ms

prune166.0ms

localize17.0ms

rewrite88.0ms

series124.0ms

simplify1.2s

prune527.0ms

localize7.0ms

rewrite28.0ms

series38.0ms

simplify1.0s

prune84.0ms

regimes440.0ms

bsearch55.0ms

simplify5.0ms

end0.0ms

sample919.0ms

Profiling