Details

sample48.0ms

Algorithm

intervals

Results

17.0ms	256×	body	80	valid
17.0ms	268×	body	80	nan

simplify2.9s

Counts

1 → 1

Iterations

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite33.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` `insert-posit16`
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 → 110

Calls

3 calls:

8.0ms	(- (* x (log (/ x y))) z)
19.0ms	(* x (log (/ x y)))
3.0ms	(log (/ x y))

series555.0ms

Counts

3 → 9

Calls

3 calls:

105.0ms	(- (* x (log (/ x y))) z)
413.0ms	(* x (log (/ x y)))
38.0ms	(log (/ x y))

simplify2.2s

Counts

119 → 119

Iterations

Iter	Nodes
done	5002
3	2575
2	699
1	355
0	195

prune642.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
4.6b	(log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
12×	`pow1`
9×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`log-pow`
5×	`rem-log-exp`
4×	`add-cbrt-cube` `div-exp` `prod-exp` `insert-posit16` `add-log-exp`
3×	`log-div` `pow1/3`
1×	`pow2` `frac-times` `log-prod` `pow-plus` `pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`

Counts

4 → 59

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
11.0ms	(log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

series931.0ms

Counts

4 → 12

Calls

4 calls:

266.0ms	(cbrt y)
283.0ms	(cbrt y)
255.0ms	(cbrt y)
127.0ms	(log (* (/ (cbrt x) (cbrt y)) (/ (cbrt x) (cbrt y))))

simplify1.8s

Counts

71 → 71

Iterations

Iter	Nodes
done	5000
4	2796
3	774
2	279
1	128
0	68

prune477.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
0.7b	(- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

38×	`pow1`
30×	`log-pow`
18×	`distribute-lft-out--`
15×	`pow1/3`
13×	`*-un-lft-identity`
9×	`cbrt-prod` `add-sqr-sqrt`
8×	`pow-prod-down`
7×	`add-cube-cbrt`
6×	`pow-prod-up`
4×	`pow-plus` `add-cbrt-cube` `add-exp-log` `pow-sqr` `insert-posit16` `add-log-exp`
2×	`pow2` `log-prod`
1×	`sub-neg` `flip3--` `diff-log` `associate--l+` `flip--` `associate--r+` `difference-of-squares`

Counts

4 → 70

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
32.0ms	(- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y))))

series1.2s

Counts

4 → 12

Calls

4 calls:

332.0ms	(cbrt y)
261.0ms	(cbrt y)
317.0ms	(cbrt y)
291.0ms	(- (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y))))

simplify1.4s

Counts

82 → 82

Iterations

Iter	Nodes
done	5001
3	1672
2	550
1	203
0	92

prune509.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize99.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(+ (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y))))
0.7b	(- (* (log (* (cbrt x) (cbrt x))) (log (* (cbrt x) (cbrt x)))) (* (log (* (cbrt y) (cbrt y))) (log (* (cbrt y) (cbrt y)))))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

38×	`pow1`
30×	`log-pow`
18×	`distribute-lft-out`
14×	`pow1/3`
12×	`*-un-lft-identity`
8×	`pow-prod-down`
6×	`cbrt-prod` `add-sqr-sqrt` `log-prod` `pow-prod-up` `add-cube-cbrt` `add-log-exp`
4×	`pow-plus` `add-cbrt-cube` `add-exp-log` `pow-sqr` `insert-posit16`
2×	`pow2` `distribute-rgt-in` `distribute-lft-in` `associate--l+` `associate--r+`
1×	`+-commutative` `associate-+l+` `associate-+r+` `sum-log` `sub-neg` `flip3-+` `flip3--` `diff-log` `flip-+` `flip--` `difference-of-squares`

Counts

4 → 74

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
40.0ms	(+ (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y))))
11.0ms	(- (* (log (* (cbrt x) (cbrt x))) (log (* (cbrt x) (cbrt x)))) (* (log (* (cbrt y) (cbrt y))) (log (* (cbrt y) (cbrt y)))))

series1.2s

Counts

4 → 12

Calls

4 calls:

288.0ms	(cbrt y)
280.0ms	(cbrt y)
300.0ms	(+ (log (* (cbrt x) (cbrt x))) (log (* (cbrt y) (cbrt y))))
327.0ms	(- (* (log (* (cbrt x) (cbrt x))) (log (* (cbrt x) (cbrt x)))) (* (log (* (cbrt y) (cbrt y))) (log (* (cbrt y) (cbrt y)))))

simplify2.4s

Counts

86 → 86

Iterations

Iter	Nodes
done	5006
3	3820
2	1009
1	309
0	126

prune650.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes417.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	19
1	19
0	16

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.2s	8041×	body	80	valid
722.0ms	8256×	body	80	nan