Details

sample32.0ms

Algorithm

intervals

Results

17.0ms

329×

body

valid

simplify2.7s

Counts

1 → 1

Iterations

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite42.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/` `insert-posit16`
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 → 35

Calls

2 calls:

32.0ms	(* (- x 1.0) z)
9.0ms	(+ (* x y) (* (- x 1.0) z))

series81.0ms

Counts

2 → 6

Calls

2 calls:

45.0ms	(* (- x 1.0) z)
36.0ms	(+ (* x y) (* (- x 1.0) z))

simplify1.8s

Counts

41 → 41

Iterations

Iter	Nodes
done	5009
3	2650
2	591
1	193
0	73

prune174.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x 1.0) (- x 1.0))
0.0b	(+ (* x y) (/ (* z (* (+ x 1.0) (- x 1.0))) (+ x 1.0)))
3.1b	(* z (* (+ x 1.0) (- x 1.0)))
5.3b	(/ (* z (* (+ x 1.0) (- x 1.0))) (+ x 1.0))

rewrite199.0ms

Algorithm

rewrite-expression-head

Rules

22×	`associate-*r/`
20×	`add-cbrt-cube` `add-exp-log`
17×	`*-un-lft-identity`
13×	`add-sqr-sqrt`
12×	`frac-times`
11×	`pow1` `flip3-+` `flip-+`
10×	`distribute-rgt-in` `distribute-lft-in`
9×	`flip3--` `add-cube-cbrt` `flip--`
8×	`associate-/l/`
7×	`associate-l` `prod-exp` `cbrt-unprod`
6×	`sub-neg` `associate-r` `associate-*l/` `add-log-exp`
4×	`associate-/r*` `times-frac` `pow-prod-down` `insert-posit16`
3×	`cbrt-undiv` `div-exp` `distribute-lft-out`
2×	`associate-/r/` `*-commutative`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `div-inv` `associate-/l*` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 117

Calls

4 calls:

54.0ms	(* (+ x 1.0) (- x 1.0))
28.0ms	(+ (* x y) (/ (* z (* (+ x 1.0) (- x 1.0))) (+ x 1.0)))
46.0ms	(* z (* (+ x 1.0) (- x 1.0)))
67.0ms	(/ (* z (* (+ x 1.0) (- x 1.0))) (+ x 1.0))

series280.0ms

Counts

4 → 12

Calls

4 calls:

94.0ms	(* (+ x 1.0) (- x 1.0))
53.0ms	(+ (* x y) (/ (* z (* (+ x 1.0) (- x 1.0))) (+ x 1.0)))
98.0ms	(* z (* (+ x 1.0) (- x 1.0)))
34.0ms	(/ (* z (* (+ x 1.0) (- x 1.0))) (+ x 1.0))

simplify1.9s

Counts

129 → 129

Iterations

Iter	Nodes
done	5050
2	2789
1	570
0	177

prune541.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x y) (* (- x 1.0) z))
0.1b	(* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z)))
0.1b	(* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))
38.6b	(cbrt (* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z))))

rewrite254.0ms

Algorithm

rewrite-expression-head

Rules

61×	`flip3-+` `flip-+`
60×	`frac-times`
30×	`pow1` `associate-*l/`
26×	`cbrt-div`
18×	`associate-*r/`
12×	`add-sqr-sqrt`
11×	`add-cbrt-cube` `add-exp-log`
9×	`*-un-lft-identity` `add-cube-cbrt`
7×	`pow-plus` `pow-prod-up`
6×	`associate-r` `add-log-exp`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16`
3×	`pow2` `swap-sqr` `pow-sqr`
2×	`distribute-rgt-in` `distribute-lft-in` `pow3` `*-commutative` `unswap-sqr`
1×	`cbrt-prod` `+-commutative` `sum-log` `pow1/3` `rem-cbrt-cube`

Counts

4 → 142

Calls

4 calls:

18.0ms	(+ (* x y) (* (- x 1.0) z))
104.0ms	(* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z)))
48.0ms	(* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))
72.0ms	(cbrt (* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z))))

series303.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(+ (* x y) (* (- x 1.0) z))
123.0ms	(* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z)))
84.0ms	(* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))
60.0ms	(cbrt (* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z))))

simplify2.6s

Counts

154 → 154

Iterations

Iter	Nodes
done	5003
2	3238
1	713
0	203

prune535.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))
0.3b	(* (cbrt (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))) (cbrt (+ (* x y) (* (- x 1.0) z))))
0.5b	(cbrt (+ (* x y) (* (- x 1.0) z)))
28.9b	(cbrt (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))))

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

52×	`cbrt-div`
40×	`flip3-+` `flip-+`
36×	`frac-times`
20×	`add-sqr-sqrt`
18×	`associate-*l/`
13×	`cbrt-prod` `pow1`
12×	`-un-lft-identity` `associate-r/` `add-cube-cbrt`
9×	`associate-r`
8×	`add-exp-log`
7×	`associate-l`
6×	`add-cbrt-cube`
5×	`unswap-sqr`
4×	`pow1/3` `insert-posit16` `add-log-exp`
3×	`swap-sqr` `pow-prod-down`
2×	`prod-exp` `*-commutative` `cbrt-unprod`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow3` `pow-sqr` `pow-prod-up`

Counts

4 → 122

Calls

4 calls:

39.0ms	(* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))
71.0ms	(* (cbrt (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))) (cbrt (+ (* x y) (* (- x 1.0) z))))
9.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))
30.0ms	(cbrt (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))))

series663.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))
53.0ms	(* (cbrt (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z)))) (cbrt (+ (* x y) (* (- x 1.0) z))))
232.0ms	(cbrt (+ (* x y) (* (- x 1.0) z)))
299.0ms	(cbrt (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))))

simplify1.8s

Counts

134 → 134

Iterations

Iter	Nodes
done	5000
2	1931
1	627
0	232

prune678.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes177.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	11
1	11
0	8

end0.0ms

sample1.2s

Algorithm

intervals

Results

977.0ms

10005×

body

valid