Details

sample150.0ms

Algorithm

intervals

Results

52.0ms	761×	body	80	nan
13.0ms	20×	body	1280	valid
12.0ms	170×	body	80	valid
9.0ms	27×	body	640	valid
5.0ms	21×	body	320	valid
3.0ms	20×	body	160	valid

simplify42.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	21	13
2	29	13
3	35	13
4	41	13
5	56	13
6	83	13
7	126	13
8	183	13
9	225	13
10	264	13
11	302	13
12	342	13
13	388	13
14	438	13
15	490	13
16	538	13
17	587	13
18	632	13
19	680	13
20	727	13
21	775	13
22	823	13
23	873	13
24	922	13
25	971	13
26	1016	13
27	1063	13
28	1109	13
29	1157	13
30	1203	13
31	1251	13
32	1299	13
33	1349	13
34	1395	13
35	1442	13
36	1491	13
37	1542	13
38	1590	13
39	1640	13
40	1689	13
41	1737	13
42	1786	13
43	1835	13
44	1885	13
45	1935	13
46	1983	13
47	2032	13
48	2077	13
49	2125	13
50	2172	13
51	2220	13
52	2271	13
53	2324	13
54	2378	13
55	2437	13
56	2494	13
57	2549	13
58	2602	13
59	2658	13
60	2715	13
61	2770	13
62	2824	13
63	2878	13
64	2932	13
65	2988	13
66	3042	13
67	3092	13
68	3142	13
69	3197	13
70	3254	13
71	3307	13
72	3357	13
73	3411	13
74	3470	13
75	3532	13
76	3593	13
77	3649	13
78	3706	13
79	3765	13
80	3821	13
81	3877	13
82	3937	13
83	3996	13
84	4054	13
85	4115	13
86	4175	13
87	4231	13
88	4286	13
89	4339	13
90	4391	13
91	4443	13
92	4497	13
93	4549	13
94	4599	13
95	4652	13
96	4704	13
97	4756	13
98	4804	13
99	4855	13
100	4906	13
101	4959	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: 11.1b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.0b	(* z (log (- 1.0 y)))
0.3b	(* x (log y))
7.3b	(log (- 1.0 y))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
21×	`log-prod` `*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`pow1`
9×	`add-exp-log` `add-log-exp`
8×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `add-cbrt-cube`
6×	`associate-l`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`log-pow`
2×	`log-div` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `rem-log-exp` `associate--l+` `sum-log`

Counts

4 → 86

Calls

4 calls:

7.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
7.0ms	(* z (log (- 1.0 y)))
5.0ms	(* x (log y))
4.0ms	(log (- 1.0 y))

series50.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
10.0ms	(* z (log (- 1.0 y)))
8.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

simplify892.0ms

Counts

98 → 98

Iterations

Useful iterations: done (889.0ms)

Iter	Nodes	Cost
0	217	1169
1	469	1123
2	1221	991
3	3492	957
done	5001	952

prune204.0ms

Filtered

70 candidates to 98 candidates (-40.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	89	9	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	9	99

Merged error: 0.1b

Counts

99 → 9

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))) t)
0.0b	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y)))))
0.0b	(* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))
0.3b	(* x (log y))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `log-prod`
21×	`*-un-lft-identity`
16×	`distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in`
13×	`associate--l+`
11×	`add-log-exp`
10×	`pow1` `associate-+r+` `associate-r`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-+l+` `associate-l`
5×	`sub-neg`
3×	`distribute-lft-out--`
2×	`flip3--` `diff-log` `associate-r/` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `-commutative` `flip--` `cbrt-unprod` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 101

Calls

4 calls:

7.0ms	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))) t)
7.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y)))))
19.0ms	(* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))
5.0ms	(* x (log y))

series106.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(- (+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))) t)
37.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y)))))
18.0ms	(* z (- (log 1.0) (+ (* 1/2 (/ (pow y 2) (pow 1.0 2))) (* 1.0 y))))
8.0ms	(* x (log y))

simplify1.2s

Counts

113 → 113

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	204	2388
1	456	2249
2	1204	2115
3	4457	2070
done	5000	2068

prune302.0ms

Filtered

79 candidates to 113 candidates (-43.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	112	10	122

Merged error: 0.1b

Counts

122 → 10

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (cbrt y)))
0.3b	(* (* 2 (log (cbrt y))) x)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1` `cbrt-prod` `log-prod`
11×	`add-exp-log` `add-cbrt-cube`
8×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`log-pow` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 72

Calls

4 calls:

6.0ms	(* x (log (cbrt y)))
7.0ms	(* (* 2 (log (cbrt y))) x)
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series106.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* x (log (cbrt y)))
32.0ms	(* (* 2 (log (cbrt y))) x)
26.0ms	(cbrt y)
26.0ms	(cbrt y)

simplify1.0s

Counts

84 → 84

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	122	720
1	258	683
2	771	579
3	2157	553
done	5000	544

prune225.0ms

Filtered

56 candidates to 84 candidates (-50.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	80	4	84
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	84	10	94

Merged error: 0.0b

Counts

94 → 10

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (pow y 1/3)))
0.3b	(* (* 2 (log (cbrt y))) x)
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `log-prod` `*-un-lft-identity`
12×	`pow1` `add-exp-log`
11×	`add-cbrt-cube`
9×	`unpow-prod-down`
7×	`distribute-rgt-in` `distribute-lft-in` `associate-r`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`cbrt-prod` `pow-unpow` `sqr-pow`
2×	`*-commutative`
1×	`pow-to-exp` `pow-pow` `unpow1/3` `pow1/3` `pow-exp` `log-pow` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

6.0ms	(* x (log (pow y 1/3)))
6.0ms	(* (* 2 (log (cbrt y))) x)
2.0ms	(cbrt y)
3.0ms	(pow y 1/3)

series99.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* x (log (pow y 1/3)))
27.0ms	(* (* 2 (log (cbrt y))) x)
25.0ms	(cbrt y)
27.0ms	(pow y 1/3)

simplify1.0s

Counts

92 → 92

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	160	839
1	342	723
2	1034	617
3	3487	568
done	5001	548

prune194.0ms

Filtered

60 candidates to 92 candidates (-53.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	92	10	102

Merged error: 0.0b

Counts

102 → 10

regimes643.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	35
1	36	35
done	36	35

end0.0ms

sample4.4s

Algorithm

intervals

Results

1.5s	24910×	body	80	nan
380.0ms	5510×	body	80	valid
322.0ms	923×	body	640	valid
257.0ms	407×	body	1280	valid
161.0ms	741×	body	320	valid
67.0ms	448×	body	160	valid

Details

sample150.0ms

simplify42.8s

prune4.0ms

localize12.0ms

rewrite25.0ms

series50.0ms

simplify892.0ms

prune204.0ms

localize23.0ms

rewrite42.0ms

series106.0ms

simplify1.2s

prune302.0ms

localize29.0ms

rewrite18.0ms

series106.0ms

simplify1.0s

prune225.0ms

localize30.0ms

rewrite19.0ms

series99.0ms

simplify1.0s

prune194.0ms

regimes643.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.4s

Profiling