Details

sample97.0ms

Algorithm

intervals

Results

24.0ms	45×	body	1280	valid
16.0ms	49×	body	640	valid
8.0ms	123×	body	80	valid
6.0ms	31×	body	320	valid
4.0ms	14×	body	640	nan
3.0ms	71×	body	80	nan
3.0ms	9×	body	1280	nan
3.0ms	59×	body	80	overflowed
1.0ms	9×	body	160	valid
1.0ms	7×	body	320	nan
0.0ms	2×	body	160	nan

simplify2.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13
2	33	13
3	47	13
4	67	13
5	89	13
6	135	13
7	188	13
8	274	13
9	392	13
10	644	13
11	802	13
12	882	13
13	943	13
14	1028	13
15	1087	13
16	1170	13
17	1234	13
18	1314	13
19	1375	13
20	1460	13
21	1518	13
22	1601	13
23	1666	13
24	1746	13
25	1807	13
26	1892	13
27	1951	13
28	2034	13
29	2098	13
30	2178	13
31	2239	13
32	2324	13
33	2383	13
34	2466	13
35	2530	13
36	2610	13
37	2672	13
38	2757	13
39	2816	13
40	2899	13
41	2964	13
42	3044	13
43	3106	13
44	3191	13
45	3250	13
46	3333	13
47	3397	13
48	3477	13
49	3538	13
50	3623	13
51	3681	13
52	3764	13
53	3828	13
54	3908	13
55	3970	13
56	4055	13
57	4114	13
58	4197	13
59	4261	13
60	4341	13
61	4403	13
62	4488	13
63	4546	13
64	4629	13
65	4693	13
66	4773	13
67	4834	13
68	4919	13
69	4977	13
done	5000	13

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

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.0b	(+ (- 1.0 y) (* y (exp z)))
2.8b	(log (+ (- 1.0 y) (* y (exp z))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`log-pow`
4×	`log-div` `associate-/l*`
3×	`log-prod` `flip3-+` `associate-r` `associate-l` `associate-/r*` `flip-+`
2×	`associate-+l+` `div-sub` `sum-log`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

5.0ms	(* y (exp z))
9.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
7.0ms	(+ (- 1.0 y) (* y (exp z)))
7.0ms	(log (+ (- 1.0 y) (* y (exp z))))

series75.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* y (exp z))
43.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
7.0ms	(+ (- 1.0 y) (* y (exp z)))
15.0ms	(log (+ (- 1.0 y) (* y (exp z))))

simplify974.0ms

Counts

92 → 92

Iterations

Useful iterations: 3 (404.0ms)

Iter	Nodes	Cost
0	199	1436
1	464	1388
2	1432	1269
3	4506	1266
done	5000	1266

prune178.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	5	93

Merged error: 4.3b

Counts

93 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
2.8b	(log (+ 1.0 (- (* y (exp z)) y)))
4.0b	(- (* y (exp z)) y)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`times-frac`
11×	`pow1`
8×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
5×	`log-pow`
4×	`log-div` `log-prod` `associate-/l*`
3×	`associate-r` `associate-l` `associate-/r*`
2×	`flip3-+` `div-sub` `flip-+`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

4 → 78

Calls

4 calls:

6.0ms	(* y (exp z))
9.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
7.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
6.0ms	(- (* y (exp z)) y)

series74.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* y (exp z))
45.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
15.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
7.0ms	(- (* y (exp z)) y)

simplify899.0ms

Counts

90 → 90

Iterations

Useful iterations: 3 (400.0ms)

Iter	Nodes	Cost
0	208	1388
1	480	1326
2	1459	1223
3	4276	1208
done	5000	1208

prune151.0ms

Filtered

69 candidates to 90 candidates (-30.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	90	5	95

Merged error: 4.2b

Counts

95 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t))
0.0b	(* z (+ (* 0.5 z) 1.0))
3.8b	(* y (* z (+ (* 0.5 z) 1.0)))
4.1b	(/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

9.0ms	(- x (/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t))
7.0ms	(* z (+ (* 0.5 z) 1.0))
9.0ms	(* y (* z (+ (* 0.5 z) 1.0)))
7.0ms	(/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t)

series75.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- x (/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t))
6.0ms	(* z (+ (* 0.5 z) 1.0))
9.0ms	(* y (* z (+ (* 0.5 z) 1.0)))
24.0ms	(/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t)

simplify704.0ms

Counts

102 → 102

Iterations

Useful iterations: 2 (124.0ms)

Iter	Nodes	Cost
0	179	1815
1	443	1740
2	1454	1586
done	5000	1586

prune205.0ms

Filtered

70 candidates to 102 candidates (-45.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	95	7	102
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	96	11	107

Merged error: 4.2b

Counts

107 → 11

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
3.1b	(/ (* z y) t)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`add-cube-cbrt`
3×	`times-frac` `associate-/r*`
2×	`pow1` `cbrt-undiv` `diff-log` `div-exp`
1×	`sub-neg` `flip3--` `frac-2neg` `prod-exp` `clear-num` `sum-log` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `associate--r+` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

11.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.0ms	(/ (* z y) t)

series26.0ms

Counts

2 → 6

Calls

2 calls:

20.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
5.0ms	(/ (* z y) t)

simplify709.0ms

Counts

43 → 43

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	86	587
1	211	564
2	706	506
3	3139	506
done	5001	506

prune64.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	38	5	43
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	41	13	54

Merged error: 3.9b

Counts

54 → 13

regimes963.0ms

Accuracy

54.7% (4.8b remaining)

Error of 8.6b against oracle of 3.8b and baseline of 14.4b

bsearch39.0ms

Steps

Iters	Range		Point
7	-0.001730323649017124	-2.2616434563553712e-05	-2.7490043504004516e-05

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	31
1	27	31
done	27	31

end0.0ms

sample2.9s

Algorithm

intervals

Results

740.0ms	1382×	body	1280	valid
497.0ms	1551×	body	640	valid
240.0ms	3591×	body	80	valid
203.0ms	937×	body	320	valid
133.0ms	2528×	body	80	nan
108.0ms	88×	body	2560	valid
94.0ms	1582×	body	80	overflowed
64.0ms	271×	body	640	nan
63.0ms	478×	body	160	valid
48.0ms	138×	body	1280	nan
27.0ms	164×	body	320	nan
12.0ms	107×	body	160	nan

Details

sample97.0ms

simplify2.6s

prune4.0ms

localize15.0ms

rewrite30.0ms

series75.0ms

simplify974.0ms

prune178.0ms

localize11.0ms

rewrite29.0ms

series74.0ms

simplify899.0ms

prune151.0ms

localize12.0ms

rewrite34.0ms

series75.0ms

simplify704.0ms

prune205.0ms

localize10.0ms

rewrite18.0ms

series26.0ms

simplify709.0ms

prune64.0ms

regimes963.0ms

bsearch39.0ms

simplify2.0ms

end0.0ms

sample2.9s

Profiling