Details

sample58.0ms

Algorithm

intervals

Results

17.0ms	258×	body	80	valid
12.0ms	226×	body	80	nan

simplify7.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	193
1	14	193
2	18	193
3	25	193
4	45	193
5	73	193
6	105	193
7	127	193
8	162	193
9	234	193
10	359	193
11	602	193
12	948	193
13	1180	193
14	1346	193
15	1469	193
16	1648	193
17	1771	193
18	1950	193
19	2073	193
20	2252	193
21	2375	193
22	2554	193
23	2677	193
24	2857	193
25	2980	193
26	3160	193
27	3283	193
28	3462	193
29	3585	193
30	3766	193
31	3889	193
32	4070	193
33	4193	193
34	4372	193
35	4495	193
36	4674	193
37	4797	193
38	4976	193
done	5001	193

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.4b

localize26.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))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

65×	`log-prod`
45×	`times-frac`
43×	`add-sqr-sqrt`
41×	`*-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×	`expm1-log1p-u` `associate-l` `prod-diff` `log1p-expm1-u`
2×	`rem-log-exp` `log-pow`
1×	`log-div` `sub-neg` `flip3--` `fma-neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

3 → 117

Calls

3 calls:

23.0ms	(- (* x (log (/ x y))) z)
19.0ms	(* x (log (/ x y)))
4.0ms	(log (/ x y))

series265.0ms

Counts

3 → 9

Calls

3 calls:

116.0ms	(- (* x (log (/ x y))) z)
87.0ms	(* x (log (/ x y)))
62.0ms	(log (/ x y))

simplify3.7s

Counts

126 → 126

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	215	37818
1	454	35719
2	990	34687
3	3109	34512
done	5009	34512

prune698.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize50.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))

rewrite8.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×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`rem-log-exp`
1×	`log-div` `div-exp` `log-pow` `div-inv`

Counts

4 → 74

Calls

4 calls:

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

series964.0ms

Counts

4 → 12

Calls

4 calls:

269.0ms	(cbrt x)
241.0ms	(cbrt x)
281.0ms	(cbrt x)
172.0ms	(log (/ (cbrt x) y))

simplify3.3s

Counts

86 → 86

Iterations

Useful iterations: 4 (1.3s)

Iter	Nodes	Cost
0	113	24846
1	206	22172
2	399	22172
3	1132	21692
4	3635	21614
done	5000	21614

prune557.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize52.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×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
2×	`rem-log-exp`
1×	`log-div` `div-exp` `log-pow` `div-inv`

Counts

4 → 74

Calls

4 calls:

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

series1.0s

Counts

4 → 12

Calls

4 calls:

283.0ms	(cbrt x)
273.0ms	(cbrt x)
281.0ms	(cbrt x)
191.0ms	(log (/ (cbrt x) y))

simplify3.0s

Counts

86 → 86

Iterations

Useful iterations: 4 (1.4s)

Iter	Nodes	Cost
0	113	24846
1	206	22172
2	399	22172
3	1132	21692
4	3635	21614
done	5000	21614

prune702.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma x (log (/ x y)) (- z))
14.1b	(log (/ x y))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

13×	`log-prod`
9×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
5×	`add-exp-log`
3×	`pow1`
2×	`expm1-log1p-u` `add-cbrt-cube` `rem-log-exp` `log1p-expm1-u` `add-log-exp`
1×	`log-div` `div-exp` `log-pow` `fma-udef` `div-inv`

Counts

2 → 36

Calls

2 calls:

0.0ms	(fma x (log (/ x y)) (- z))
5.0ms	(log (/ x y))

series161.0ms

Counts

2 → 6

Calls

2 calls:

91.0ms	(fma x (log (/ x y)) (- z))
70.0ms	(log (/ x y))

simplify3.1s

Counts

42 → 42

Iterations

Useful iterations: 4 (1.5s)

Iter	Nodes	Cost
0	98	11174
1	180	10632
2	343	10282
3	940	10142
4	3785	9993
done	5000	9993

prune192.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes337.0ms

Accuracy

95.9% (0.2b remaining)

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

bsearch84.0ms

Steps

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

simplify4.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	775
done	20	775

end0.0ms

sample1.3s

Algorithm

intervals

Results

482.0ms	8044×	body	80	valid
371.0ms	7906×	body	80	nan