Details

sample68.0ms

Algorithm

intervals

Results

26.0ms	257×	body	80	valid
18.0ms	233×	body	80	nan

simplify2.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	2001
78	1993
77	1961
76	1949
75	1917
74	1905
73	1873
72	1861
71	1829
70	1813
69	1781
68	1769
67	1737
66	1721
65	1689
64	1677
63	1645
62	1633
61	1601
60	1589
59	1557
58	1545
57	1513
56	1501
55	1469
54	1457
53	1425
52	1413
51	1381
50	1369
49	1337
48	1325
47	1293
46	1277
45	1245
44	1233
43	1201
42	1189
41	1157
40	1145
39	1113
38	1101
37	1069
36	1057
35	1025
34	1013
33	981
32	969
31	937
30	921
29	889
28	877
27	845
26	833
25	801
24	789
23	757
22	745
21	713
20	701
19	667
18	649
17	617
16	605
15	573
14	561
13	529
12	517
11	467
10	441
9	388
8	326
7	203
6	136
5	99
4	66
3	38
2	23
1	14
0	7

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

12×	`log-prod`
10×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-cube-cbrt`
6×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
5×	`pow1`
4×	`add-cbrt-cube` `associate-r` `add-exp-log` `add-log-exp`
3×	`associate-l`
2×	`insert-posit16`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

2 → 45

Calls

2 calls:

8.0ms	(- (* x (log y)) z)
9.0ms	(* x (log y))

series158.0ms

Counts

2 → 6

Calls

2 calls:

85.0ms	(- (* x (log y)) z)
73.0ms	(* x (log y))

simplify1.0s

Counts

51 → 51

Iterations

Iter	Nodes
done	2001
3	955
2	366
1	181
0	92

prune272.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (cbrt y)) (+ x x))
0.3b	(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`cbrt-prod` `associate-+r+` `log-prod` `associate-r`
8×	`distribute-rgt-in` `distribute-lft-in`
7×	`pow1`
6×	`add-cbrt-cube` `add-exp-log` `add-log-exp`
5×	`associate-l`
4×	`insert-posit16`
3×	`distribute-rgt-out` `pow1/3` `distribute-lft-out`
2×	`associate-+l+` `flip3-+` `associate-*r/` `log-pow` `flip-+`
1×	`+-commutative` `sum-log` `distribute-lft1-in` `count-2` `pow-prod-down` `distribute-rgt1-in` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 84

Calls

4 calls:

27.0ms	(* (log (cbrt y)) (+ x x))
13.0ms	(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series796.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(* (log (cbrt y)) (+ x x))
144.0ms	(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
227.0ms	(cbrt y)
282.0ms	(cbrt y)

simplify691.0ms

Counts

96 → 96

Iterations

Iter	Nodes
done	2004
2	1211
1	354
0	140

prune463.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt (cbrt y))
0.6b	(cbrt (cbrt y))
0.6b	(cbrt (cbrt y))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod`
11×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `add-log-exp`

Counts

4 → 57

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt (cbrt y))
1.0ms	(cbrt (cbrt y))
1.0ms	(cbrt (cbrt y))

series1.1s

Counts

4 → 12

Calls

4 calls:

229.0ms	(cbrt y)
286.0ms	(cbrt (cbrt y))
293.0ms	(cbrt (cbrt y))
337.0ms	(cbrt (cbrt y))

simplify488.0ms

Counts

69 → 69

Iterations

Iter	Nodes
done	2000
4	888
3	342
2	172
1	79
0	44

prune442.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (cbrt y))
0.6b	(cbrt (cbrt y))
0.6b	(cbrt (cbrt y))
0.6b	(cbrt (cbrt y))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

1.0ms	(cbrt (cbrt y))
1.0ms	(cbrt (cbrt y))
1.0ms	(cbrt (cbrt y))
1.0ms	(cbrt (cbrt y))

series1.4s

Counts

4 → 12

Calls

4 calls:

339.0ms	(cbrt (cbrt y))
298.0ms	(cbrt (cbrt y))
411.0ms	(cbrt (cbrt y))
314.0ms	(cbrt (cbrt y))

simplify669.0ms

Counts

72 → 72

Iterations

Iter	Nodes
done	2000
4	525
3	217
2	102
1	56
0	35

prune515.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes162.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	8
1	8
0	7

end0.0ms

sample1.6s

Algorithm

intervals

Results

625.0ms	8030×	body	80	valid
537.0ms	7974×	body	80	nan
0.0ms	1×	body	160	valid