Details

sample69.0ms

Algorithm

intervals

Results

21.0ms	262×	body	80	nan
18.0ms	257×	body	80	valid

simplify7.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
80	4993
79	4921
78	4863
77	4791
76	4733
75	4661
74	4603
73	4531
72	4473
71	4401
70	4343
69	4271
68	4213
67	4141
66	4083
65	4011
64	3953
63	3881
62	3823
61	3751
60	3693
59	3621
58	3563
57	3491
56	3433
55	3361
54	3303
53	3231
52	3173
51	3101
50	3043
49	2971
48	2913
47	2841
46	2783
45	2711
44	2653
43	2581
42	2523
41	2451
40	2393
39	2321
38	2263
37	2191
36	2133
35	2061
34	2003
33	1931
32	1873
31	1797
30	1739
29	1667
28	1609
27	1537
26	1479
25	1403
24	1345
23	1273
22	1215
21	1143
20	1085
19	1013
18	955
17	883
16	825
15	753
14	695
13	623
12	565
11	506
10	445
9	304
8	234
7	154
6	105
5	89
4	60
3	38
2	23
1	14
0	7

prune47.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 2 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 43

Calls

2 calls:

22.0ms	(- (* x (log y)) z)
22.0ms	(* x (log y))

series188.0ms

Counts

2 → 6

Calls

2 calls:

116.0ms	(- (* x (log y)) z)
71.0ms	(* x (log y))

simplify10.4s

Counts

49 → 49

Iterations

Iter	Nodes
done	5000
4	2546
3	933
2	361
1	179
0	90

prune735.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

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

rewrite527.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-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`associate-l`
3×	`distribute-rgt-out` `pow1/3` `distribute-lft-out`
2×	`associate-+l+` `flip3-+` `associate-*r/` `log-pow` `flip-+`
1×	`+-commutative` `distribute-lft1-in` `count-2` `pow-prod-down` `distribute-rgt1-in` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

336.0ms	(* (log (cbrt y)) (+ x x))
36.0ms	(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series1.8s

Counts

4 → 12

Calls

4 calls:

245.0ms	(* (log (cbrt y)) (+ x x))
305.0ms	(+ (* (log (cbrt y)) (+ x x)) (* x (log (cbrt y))))
460.0ms	(cbrt y)
773.0ms	(cbrt y)

simplify3.4s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
2	1183
1	352
0	137

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize233.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (pow y 1/3)) (+ x x))
0.3b	(+ (* (log (pow y 1/3)) (+ x x)) (* x (log (cbrt y))))
0.6b	(cbrt y)
5.1b	(pow y 1/3)

rewrite396.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

267.0ms	(* (log (pow y 1/3)) (+ x x))
43.0ms	(+ (* (log (pow y 1/3)) (+ x x)) (* x (log (cbrt y))))
1.0ms	(cbrt y)
42.0ms	(pow y 1/3)

series3.0s

Counts

4 → 12

Calls

4 calls:

725.0ms	(* (log (pow y 1/3)) (+ x x))
797.0ms	(+ (* (log (pow y 1/3)) (+ x x)) (* x (log (cbrt y))))
909.0ms	(cbrt y)
527.0ms	(pow y 1/3)

simplify5.7s

Counts

98 → 98

Iterations

Iter	Nodes
done	5000
2	1333
1	421
0	169

prune1.9s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize150.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`pow1/3`
2×	`associate-+l+`
1×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `flip3-+` `sum-log` `flip-+`

Counts

4 → 46

Calls

4 calls:

30.0ms	(+ (* (log (cbrt y)) (+ x x)) (* (log (sqrt (cbrt y))) x))
2.0ms	(cbrt y)
2.0ms	(cbrt y)
4.0ms	(cbrt y)

series4.9s

Counts

4 → 12

Calls

4 calls:

1.8s	(+ (* (log (cbrt y)) (+ x x)) (* (log (sqrt (cbrt y))) x))
1.6s	(cbrt y)
579.0ms	(cbrt y)
918.0ms	(cbrt y)

simplify12.8s

Counts

58 → 58

Iterations

Iter	Nodes
done	5000
3	3813
2	745
1	218
0	78

prune798.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes441.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

Iter	Nodes
done	8
1	8
0	7

end0.0ms

sample5.4s

Algorithm

intervals

Results

1.7s	8031×	body	80	valid
523.0ms	7800×	body	80	nan