Details

sample195.0ms

Algorithm

intervals

Results

46.0ms	56×	body	1280	valid
41.0ms	52×	body	10240	exit
41.0ms	54×	body	640	valid
9.0ms	96×	body	80	valid
8.0ms	28×	body	320	valid
5.0ms	3×	body	2560	valid
5.0ms	81×	body	80	nan
4.0ms	11×	body	640	nan
4.0ms	19×	body	160	valid
1.0ms	3×	body	320	nan
1.0ms	2×	body	1280	nan
0.0ms	2×	body	160	nan

simplify26.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	345
1	20	345
2	33	345
3	48	345
4	66	345
5	107	345
6	261	345
7	469	345
8	678	345
9	862	345
10	1224	345
11	1738	345
12	2112	345
13	2455	345
14	2822	345
15	2866	345
16	2884	345
17	2900	345
18	2915	345
19	2935	345
20	2951	345
21	2967	345
22	2984	345
23	2998	345
24	3014	345
25	3032	345
26	3047	345
27	3061	345
28	3083	345
29	3099	345
30	3114	345
31	3134	345
32	3150	345
33	3166	345
34	3183	345
35	3197	345
36	3213	345
37	3231	345
38	3246	345
39	3260	345
40	3278	345
41	3294	345
42	3309	345
43	3329	345
44	3345	345
45	3361	345
46	3378	345
47	3392	345
48	3408	345
49	3426	345
50	3441	345
51	3455	345
52	3477	345
53	3493	345
54	3508	345
55	3528	345
56	3544	345
57	3560	345
58	3577	345
59	3591	345
60	3607	345
61	3625	345
62	3640	345
63	3654	345
64	3676	345
65	3692	345
66	3707	345
67	3727	345
68	3743	345
69	3759	345
70	3776	345
71	3790	345
72	3806	345
73	3824	345
74	3839	345
75	3853	345
76	3875	345
77	3891	345
78	3906	345
79	3924	345
80	3940	345
81	3956	345
82	3973	345
83	3987	345
84	4003	345
85	4021	345
86	4036	345
87	4050	345
88	4072	345
89	4088	345
90	4103	345
91	4119	345
92	4135	345
93	4151	345
94	4168	345
95	4182	345
96	4198	345
97	4216	345
98	4231	345
99	4245	345
100	4267	345
101	4283	345
102	4298	345
103	4318	345
104	4334	345
105	4350	345
106	4367	345
107	4381	345
108	4397	345
109	4415	345
110	4430	345
111	4444	345
112	4464	345
113	4480	345
114	4495	345
115	4515	345
116	4531	345
117	4547	345
118	4564	345
119	4578	345
120	4594	345
121	4612	345
122	4627	345
123	4641	345
124	4659	345
125	4675	345
126	4690	345
127	4710	345
128	4726	345
129	4742	345
130	4759	345
131	4773	345
132	4789	345
133	4807	345
134	4822	345
135	4836	345
136	4858	345
137	4874	345
138	4889	345
139	4907	345
140	4923	345
141	4939	345
142	4956	345
143	4970	345
144	4986	345
done	5000	345

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

15.0ms	(* y (exp z))
42.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
17.0ms	(log (+ (- 1.0 y) (* y (exp z))))
25.0ms	(+ (- 1.0 y) (* y (exp z)))

series443.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* y (exp z))
245.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
94.0ms	(log (+ (- 1.0 y) (* y (exp z))))
64.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify1.7s

Counts

92 → 92

Iterations

Useful iterations: done (1.7s)

Iter	Nodes	Cost
0	197	37016
1	462	33291
2	1395	32581
done	5000	32101

prune599.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 5.2b

localize51.0ms

Local error

Found 4 expressions with local error:

3.8b	(+ (* 1.0 (/ (* z y) t)) (+ (* 0.5 (/ (* y (* z z)) t)) (/ (log 1.0) t)))
5.1b	(/ (* z y) t)
8.2b	(/ (* y (* z z)) t)
8.2b	(* y (* z z))

rewrite195.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-cbrt-cube` `add-exp-log`
10×	`add-sqr-sqrt`
9×	`pow1` `*-un-lft-identity` `add-cube-cbrt` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-/r*` `times-frac`
5×	`cbrt-undiv` `div-exp`
4×	`frac-add` `associate-*r/`
3×	`sum-log` `associate-l` `pow-prod-down`
2×	`clear-num` `frac-2neg` `flip3-+` `flip-+` `div-inv` `associate-/l*`
1×	`+-commutative` `associate-+r+` `associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 79

Calls

4 calls:

147.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (* 0.5 (/ (* y (* z z)) t)) (/ (log 1.0) t)))
15.0ms	(/ (* z y) t)
16.0ms	(/ (* y (* z z)) t)
15.0ms	(* y (* z z))

series224.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (* 0.5 (/ (* y (* z z)) t)) (/ (log 1.0) t)))
24.0ms	(/ (* z y) t)
43.0ms	(/ (* y (* z z)) t)
31.0ms	(* y (* z z))

simplify2.5s

Counts

91 → 91

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	165	25838
1	552	22543
2	2415	22263
done	5002	21703

prune638.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.1b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (+ 1.0 (* 0.5 z)))
0.0b	(- x (/ (+ (log 1.0) (* y (* z (+ 1.0 (* 0.5 z))))) t))
2.8b	(* y (* z (+ 1.0 (* 0.5 z))))
5.4b	(/ (+ (log 1.0) (* y (* z (+ 1.0 (* 0.5 z))))) t)

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

20.0ms	(* z (+ 1.0 (* 0.5 z)))
16.0ms	(- x (/ (+ (log 1.0) (* y (* z (+ 1.0 (* 0.5 z))))) t))
30.0ms	(* y (* z (+ 1.0 (* 0.5 z))))
50.0ms	(/ (+ (log 1.0) (* y (* z (+ 1.0 (* 0.5 z))))) t)

series596.0ms

Counts

4 → 12

Calls

4 calls:

114.0ms	(* z (+ 1.0 (* 0.5 z)))
217.0ms	(- x (/ (+ (log 1.0) (* y (* z (+ 1.0 (* 0.5 z))))) t))
82.0ms	(* y (* z (+ 1.0 (* 0.5 z))))
183.0ms	(/ (+ (log 1.0) (* y (* z (+ 1.0 (* 0.5 z))))) t)

simplify2.4s

Counts

102 → 102

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	179	37631
1	474	34223
2	1635	33703
done	5003	33623

prune697.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.1b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

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

series141.0ms

Counts

2 → 6

Calls

2 calls:

112.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
29.0ms	(/ (* z y) t)

simplify3.3s

Counts

43 → 43

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	86	11792
1	213	10989
2	749	10909
3	3408	10749
done	5003	10749

prune241.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 4.1b

regimes1.5s

Accuracy

63.6% (4.7b remaining)

Error of 8.6b against oracle of 3.9b and baseline of 16.7b

bsearch93.0ms

Steps

Iters	Range		Point
6	-9.690636788824999e-32	-9.124531461577893e-33	-9.556401213883932e-32

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	28	1106
1	34	1106
done	34	1106

end0.0ms

sample6.8s

Algorithm

intervals

Results

1.7s	1503×	body	1280	valid
1.6s	1525×	body	10240	exit
803.0ms	1504×	body	640	valid
516.0ms	514×	body	160	valid
414.0ms	923×	body	320	valid
383.0ms	3505×	body	80	valid
308.0ms	2432×	body	80	nan
173.0ms	83×	body	2560	valid
141.0ms	284×	body	640	nan
53.0ms	99×	body	1280	nan
35.0ms	150×	body	320	nan
14.0ms	91×	body	160	nan