Details

sample65.0ms

Algorithm

intervals

Results

31.0ms	257×	body	80	valid
10.0ms	270×	body	80	nan

simplify6.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	193
1	15	193
2	28	193
3	49	193
4	74	193
5	94	193
6	122	193
7	187	193
8	337	193
9	505	193
10	664	193
11	722	193
12	800	193
13	880	193
14	958	193
15	1022	193
16	1100	193
17	1164	193
18	1242	193
19	1306	193
20	1384	193
21	1448	193
22	1526	193
23	1590	193
24	1668	193
25	1732	193
26	1810	193
27	1874	193
28	1952	193
29	2016	193
30	2094	193
31	2158	193
32	2236	193
33	2300	193
34	2378	193
35	2442	193
36	2520	193
37	2584	193
38	2662	193
39	2726	193
40	2804	193
41	2868	193
42	2946	193
43	3010	193
44	3088	193
45	3152	193
46	3230	193
47	3294	193
48	3372	193
49	3436	193
50	3514	193
51	3578	193
52	3656	193
53	3720	193
54	3798	193
55	3862	193
56	3940	193
57	4004	193
58	4082	193
59	4146	193
60	4224	193
61	4288	193
62	4366	193
63	4430	193
64	4508	193
65	4572	193
66	4650	193
67	4714	193
68	4792	193
69	4856	193
70	4934	193
71	4998	193
done	5000	193

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (- (* x (log y)) z) y)
0.3b	(* x (log y))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
17×	`associate--l+`
16×	`add-cube-cbrt`
12×	`log-prod` `prod-diff`
7×	`add-log-exp`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`pow1`
4×	`add-cbrt-cube` `associate-r` `add-exp-log`
3×	`fma-neg` `diff-log` `associate-l`
2×	`expm1-log1p-u` `sub-neg` `log1p-expm1-u`
1×	`associate--l-` `flip3--` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `flip--` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 68

Calls

2 calls:

69.0ms	(- (- (* x (log y)) z) y)
12.0ms	(* x (log y))

series80.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(- (- (* x (log y)) z) y)
40.0ms	(* x (log y))

simplify3.8s

Counts

74 → 74

Iterations

Useful iterations: done (3.8s)

Iter	Nodes	Cost
0	148	20006
1	338	18233
2	742	16168
3	2263	15531
done	5013	14931

prune438.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 81

Calls

4 calls:

17.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series1.2s

Counts

4 → 12

Calls

4 calls:

310.0ms	(* (cbrt y) (cbrt y))
294.0ms	(cbrt y)
280.0ms	(cbrt y)
288.0ms	(cbrt y)

simplify4.8s

Counts

93 → 93

Iterations

Useful iterations: 3 (466.0ms)

Iter	Nodes	Cost
0	65	18502
1	140	15989
2	382	15714
3	1076	15034
4	4322	15034
done	5001	15034

prune624.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
22×	`cbrt-prod`
16×	`*-un-lft-identity` `add-cube-cbrt`
12×	`pow1`
8×	`pow1/3`
7×	`add-exp-log`
6×	`swap-sqr` `associate-r` `associate-l`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-unpow` `unpow-prod-down`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-to-exp` `pow-pow` `pow-plus` `unpow1/3` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `sqr-pow`

Counts

4 → 88

Calls

4 calls:

16.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
5.0ms	(pow y 1/3)

series1.7s

Counts

4 → 12

Calls

4 calls:

734.0ms	(* (cbrt y) (cbrt y))
300.0ms	(cbrt y)
319.0ms	(cbrt y)
312.0ms	(pow y 1/3)

simplify4.1s

Counts

100 → 100

Iterations

Useful iterations: 4 (2.1s)

Iter	Nodes	Cost
0	95	21995
1	251	17119
2	642	17039
3	1496	16208
4	4369	16107
done	5003	16107

prune549.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (pow y 1/3) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
12×	`cbrt-prod` `*-un-lft-identity` `add-cube-cbrt`
10×	`add-exp-log`
8×	`unpow-prod-down`
7×	`associate-l`
6×	`associate-r` `unswap-sqr`
5×	`pow1` `add-cbrt-cube` `pow1/3`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `sqr-pow`
3×	`pow-unpow` `prod-exp`
2×	`pow-to-exp` `unpow1/3` `pow-exp` `cbrt-unprod`
1×	`pow-pow` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up`

Counts

4 → 83

Calls

4 calls:

21.0ms	(* (pow y 1/3) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
4.0ms	(pow y 1/3)

series1.2s

Counts

4 → 12

Calls

4 calls:

363.0ms	(* (pow y 1/3) (cbrt y))
256.0ms	(cbrt y)
291.0ms	(cbrt y)
244.0ms	(pow y 1/3)

simplify2.2s

Counts

95 → 95

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	99	28279
1	232	18190
2	774	17760
3	1702	16784
done	5001	16603

prune604.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes252.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	193
1	8	193
done	8	193

end0.0ms

sample1.4s

Algorithm

intervals

Results

452.0ms	8030×	body	80	valid
339.0ms	7962×	body	80	nan
0.0ms	1×	body	320	valid