Details

sample32.0ms

Algorithm

intervals

Results

9.0ms	258×	body	80	valid
6.0ms	226×	body	80	nan

simplify8.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	193
1	13	193
2	16	193
3	23	193
4	41	193
5	68	193
6	84	193
7	104	193
8	154	193
9	215	193
10	296	193
11	599	193
12	759	193
13	872	193
14	952	193
15	1047	193
16	1118	193
17	1201	193
18	1284	193
19	1367	193
20	1438	193
21	1517	193
22	1604	193
23	1683	193
24	1754	193
25	1833	193
26	1920	193
27	1999	193
28	2070	193
29	2149	193
30	2236	193
31	2315	193
32	2386	193
33	2465	193
34	2552	193
35	2631	193
36	2702	193
37	2781	193
38	2868	193
39	2947	193
40	3018	193
41	3097	193
42	3184	193
43	3263	193
44	3334	193
45	3413	193
46	3500	193
47	3579	193
48	3650	193
49	3729	193
50	3816	193
51	3895	193
52	3966	193
53	4045	193
54	4132	193
55	4211	193
56	4282	193
57	4361	193
58	4448	193
59	4527	193
60	4598	193
61	4677	193
62	4764	193
63	4843	193
64	4914	193
65	4993	193
done	5001	193

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.4b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

65×	`log-prod`
45×	`times-frac`
42×	`add-sqr-sqrt`
40×	`*-un-lft-identity` `add-cube-cbrt`
26×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
8×	`add-exp-log`
7×	`pow1`
5×	`add-cbrt-cube` `div-inv` `add-log-exp`
4×	`associate-r`
3×	`associate-l`
2×	`rem-log-exp` `log-pow`
1×	`log-div` `sub-neg` `flip3--` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

3 → 107

Calls

3 calls:

17.0ms	(- (* x (log (/ x y))) z)
10.0ms	(* x (log (/ x y)))
3.0ms	(log (/ x y))

series199.0ms

Counts

3 → 9

Calls

3 calls:

86.0ms	(- (* x (log (/ x y))) z)
66.0ms	(* x (log (/ x y)))
46.0ms	(log (/ x y))

simplify3.1s

Counts

116 → 116

Iterations

Useful iterations: done (3.1s)

Iter	Nodes	Cost
0	192	34909
1	379	33186
2	734	32602
3	2720	32482
done	5028	32412

prune705.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.4b	(log (/ (cbrt x) y))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod`
20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`cbrt-prod` `times-frac`
7×	`add-exp-log`
5×	`pow1`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow1/3`
2×	`rem-log-exp`
1×	`log-div` `div-exp` `log-pow` `div-inv`

Counts

4 → 66

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
3.0ms	(log (/ (cbrt x) y))

series880.0ms

Counts

4 → 12

Calls

4 calls:

240.0ms	(cbrt x)
262.0ms	(cbrt x)
233.0ms	(cbrt x)
145.0ms	(log (/ (cbrt x) y))

simplify2.9s

Counts

78 → 78

Iterations

Useful iterations: 4 (1.0s)

Iter	Nodes	Cost
0	109	23336
1	202	20662
2	391	20662
3	1031	20182
4	3058	20104
done	5006	20104

prune591.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.4b	(log (/ (cbrt x) y))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod`
20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`cbrt-prod` `times-frac`
7×	`add-exp-log`
5×	`pow1`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow1/3`
2×	`rem-log-exp`
1×	`log-div` `div-exp` `log-pow` `div-inv`

Counts

4 → 66

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
3.0ms	(log (/ (cbrt x) y))

series1.1s

Counts

4 → 12

Calls

4 calls:

307.0ms	(cbrt x)
315.0ms	(cbrt x)
316.0ms	(cbrt x)
189.0ms	(log (/ (cbrt x) y))

simplify2.7s

Counts

78 → 78

Iterations

Useful iterations: 4 (1.0s)

Iter	Nodes	Cost
0	109	23336
1	202	20662
2	391	20662
3	1031	20182
4	3058	20104
done	5006	20104

prune616.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

2.9b	(log (* (cbrt (/ x y)) (cbrt (/ x y))))
14.5b	(cbrt (/ x y))
14.5b	(cbrt (/ x y))
14.5b	(cbrt (/ x y))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod`
27×	`times-frac`
25×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
12×	`pow1`
9×	`pow1/3` `log-pow`
7×	`cbrt-div` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`log-div` `div-inv`
2×	`rem-log-exp` `pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `log-prod` `pow-plus` `associate-l/` `prod-exp` `associate-r/`

Counts

4 → 88

Calls

4 calls:

16.0ms	(log (* (cbrt (/ x y)) (cbrt (/ x y))))
3.0ms	(cbrt (/ x y))
4.0ms	(cbrt (/ x y))
10.0ms	(cbrt (/ x y))

series427.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(log (* (cbrt (/ x y)) (cbrt (/ x y))))
88.0ms	(cbrt (/ x y))
81.0ms	(cbrt (/ x y))
111.0ms	(cbrt (/ x y))

simplify2.7s

Counts

100 → 100

Iterations

Useful iterations: done (2.7s)

Iter	Nodes	Cost
0	107	29316
1	174	27806
2	332	27083
3	744	25997
4	2261	25014
done	5064	24184

prune727.0ms

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0b

regimes534.0ms

Accuracy

95.9% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 4.8b

bsearch82.0ms

Steps

Iters	Range		Point
8	-1.4061534186531803e-308	2.703180348648405e-305	-5.3302025152391e-309

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	21	785
1	23	785
done	23	785

end0.0ms

sample1.9s

Algorithm

intervals

Results

905.0ms	8044×	body	80	valid
474.0ms	7906×	body	80	nan