Details

sample38.0ms

Algorithm

intervals

Results

18.0ms

336×

body

valid

simplify8.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	164
1	13	164
2	20	164
3	34	164
4	51	164
5	58	164
6	62	164
7	78	164
8	101	164
9	129	164
10	223	164
11	757	164
12	1108	164
13	1251	164
14	1357	164
15	1453	164
16	1529	164
17	1631	164
18	1715	164
19	1801	164
20	1883	164
21	1965	164
22	2051	164
23	2131	164
24	2217	164
25	2297	164
26	2383	164
27	2463	164
28	2549	164
29	2629	164
30	2715	164
31	2795	164
32	2881	164
33	2961	164
34	3047	164
35	3127	164
36	3213	164
37	3293	164
38	3379	164
39	3459	164
40	3545	164
41	3625	164
42	3711	164
43	3791	164
44	3877	164
45	3957	164
46	4043	164
47	4123	164
48	4209	164
49	4289	164
50	4375	164
51	4455	164
52	4541	164
53	4621	164
54	4707	164
55	4787	164
56	4873	164
57	4953	164
done	5001	164

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) (* (- x 1.0) z))
0.0b	(* (- x 1.0) z)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
1×	`+-commutative` `sum-log` `flip3-+` `flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `flip--` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 33

Calls

2 calls:

14.0ms	(+ (* x y) (* (- x 1.0) z))
39.0ms	(* (- x 1.0) z)

series95.0ms

Counts

2 → 6

Calls

2 calls:

41.0ms	(+ (* x y) (* (- x 1.0) z))
54.0ms	(* (- x 1.0) z)

simplify2.7s

Counts

39 → 39

Iterations

Useful iterations: 2 (173.0ms)

Iter	Nodes	Cost
0	71	7897
1	191	6914
2	583	6834
3	2570	6834
done	5002	6834

prune164.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
4.3b	(* (- (* x x) (* 1.0 1.0)) z)
4.6b	(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity`
10×	`add-cbrt-cube` `add-exp-log`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt`
5×	`pow1` `add-log-exp`
4×	`associate-/r` `times-frac` `associate-l` `associate-l/`
3×	`associate-r`
2×	`cbrt-undiv` `flip3-+` `flip3--` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `flip-+` `flip--` `distribute-lft-out` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `pow-prod-down` `-commutative` `div-inv` `associate-/l` `difference-of-squares` `unswap-sqr`

Counts

3 → 59

Calls

3 calls:

17.0ms	(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
46.0ms	(* (- (* x x) (* 1.0 1.0)) z)
32.0ms	(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

series219.0ms

Counts

3 → 9

Calls

3 calls:

63.0ms	(+ (* x y) (/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0)))
66.0ms	(* (- (* x x) (* 1.0 1.0)) z)
89.0ms	(/ (* (- (* x x) (* 1.0 1.0)) z) (+ x 1.0))

simplify2.6s

Counts

68 → 68

Iterations

Useful iterations: done (2.6s)

Iter	Nodes	Cost
0	123	20780
1	375	17449
2	1474	17009
done	5001	15791

prune423.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (+ y (* 1.0 z)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `-un-lft-identity` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`

Counts

1 → 22

Calls

1 calls:

16.0ms

(* x (+ y (* 1.0 z)))

series53.0ms

Counts

1 → 3

Calls

1 calls:

53.0ms

(* x (+ y (* 1.0 z)))

simplify3.5s

Counts

25 → 25

Iterations

Useful iterations: 3 (1.2s)

Iter	Nodes	Cost
0	51	4881
1	161	4509
2	581	4349
3	2598	4309
done	5022	4309

prune112.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (sqrt x) (+ y (* 1.0 z)))
0.2b	(* (sqrt x) (* (sqrt x) (+ y (* 1.0 z))))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-l`
11×	`add-sqr-sqrt`
9×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`*-un-lft-identity` `add-cube-cbrt` `sqrt-prod`
6×	`associate-*r/`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3-+` `*-commutative` `flip-+` `add-log-exp` `unswap-sqr`

Counts

2 → 53

Calls

2 calls:

26.0ms	(* (sqrt x) (+ y (* 1.0 z)))
34.0ms	(* (sqrt x) (* (sqrt x) (+ y (* 1.0 z))))

series191.0ms

Counts

2 → 6

Calls

2 calls:

114.0ms	(* (sqrt x) (+ y (* 1.0 z)))
77.0ms	(* (sqrt x) (* (sqrt x) (+ y (* 1.0 z))))

simplify1.6s

Counts

59 → 59

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	102	15910
1	331	14446
2	1204	12286
done	5000	12046

prune217.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes158.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	164
1	11	164
done	11	164

end0.0ms

sample801.0ms

Algorithm

intervals

Results

427.0ms

10180×

body

valid