118.654 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.371 * * * [progress]: [2/2] Setting up program.
0.384 * [progress]: [Phase 2 of 3] Improving.
0.385 * [simplify]: Simplifying:
  (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
0.385 * * [simplify]: iteration 0: 23 enodes
0.394 * * [simplify]: iteration 1: 42 enodes
0.411 * * [simplify]: iteration 2: 80 enodes
0.497 * * [simplify]: iteration 3: 202 enodes
0.617 * * [simplify]: iteration 4: 377 enodes
0.787 * * [simplify]: iteration 5: 513 enodes
1.030 * * [simplify]: iteration 6: 726 enodes
1.434 * * [simplify]: iteration 7: 967 enodes
1.857 * * [simplify]: iteration 8: 1136 enodes
2.391 * * [simplify]: iteration 9: 1224 enodes
3.039 * * [simplify]: iteration 10: 1351 enodes
3.694 * * [simplify]: iteration 11: 1392 enodes
4.271 * * [simplify]: iteration 12: 1419 enodes
4.840 * * [simplify]: iteration 13: 1447 enodes
5.313 * * [simplify]: iteration 14: 1468 enodes
5.837 * * [simplify]: iteration 15: 1492 enodes
6.531 * * [simplify]: iteration 16: 1513 enodes
7.013 * * [simplify]: iteration 17: 1537 enodes
7.472 * * [simplify]: iteration 18: 1557 enodes
7.979 * * [simplify]: iteration 19: 1580 enodes
8.483 * * [simplify]: iteration 20: 1600 enodes
8.949 * * [simplify]: iteration 21: 1623 enodes
9.394 * * [simplify]: iteration 22: 1643 enodes
9.831 * * [simplify]: iteration 23: 1666 enodes
10.325 * * [simplify]: iteration 24: 1686 enodes
10.824 * * [simplify]: iteration 25: 1709 enodes
11.304 * * [simplify]: iteration 26: 1729 enodes
11.783 * * [simplify]: iteration 27: 1752 enodes
12.267 * * [simplify]: iteration 28: 1772 enodes
12.798 * * [simplify]: iteration 29: 1795 enodes
13.231 * * [simplify]: iteration 30: 1815 enodes
13.701 * * [simplify]: iteration 31: 1838 enodes
14.181 * * [simplify]: iteration 32: 1858 enodes
14.699 * * [simplify]: iteration 33: 1881 enodes
15.154 * * [simplify]: iteration 34: 1901 enodes
15.651 * * [simplify]: iteration 35: 1924 enodes
16.116 * * [simplify]: iteration 36: 1944 enodes
16.591 * * [simplify]: iteration 37: 1967 enodes
17.073 * * [simplify]: iteration 38: 1987 enodes
17.565 * * [simplify]: iteration 39: 2010 enodes
18.048 * * [simplify]: iteration 40: 2030 enodes
18.512 * * [simplify]: iteration 41: 2053 enodes
18.960 * * [simplify]: iteration 42: 2073 enodes
19.403 * * [simplify]: iteration 43: 2096 enodes
19.874 * * [simplify]: iteration 44: 2116 enodes
20.344 * * [simplify]: iteration 45: 2139 enodes
20.807 * * [simplify]: iteration 46: 2159 enodes
21.288 * * [simplify]: iteration 47: 2182 enodes
21.768 * * [simplify]: iteration 48: 2202 enodes
22.282 * * [simplify]: iteration 49: 2225 enodes
22.768 * * [simplify]: iteration 50: 2245 enodes
23.236 * * [simplify]: iteration 51: 2268 enodes
23.703 * * [simplify]: iteration 52: 2288 enodes
24.139 * * [simplify]: iteration 53: 2311 enodes
24.590 * * [simplify]: iteration 54: 2331 enodes
25.074 * * [simplify]: iteration 55: 2354 enodes
25.583 * * [simplify]: iteration 56: 2374 enodes
26.097 * * [simplify]: iteration 57: 2397 enodes
26.571 * * [simplify]: iteration 58: 2417 enodes
27.039 * * [simplify]: iteration 59: 2440 enodes
27.514 * * [simplify]: iteration 60: 2460 enodes
27.981 * * [simplify]: iteration 61: 2483 enodes
28.473 * * [simplify]: iteration 62: 2503 enodes
28.946 * * [simplify]: iteration 63: 2526 enodes
29.446 * * [simplify]: iteration 64: 2546 enodes
29.926 * * [simplify]: iteration 65: 2569 enodes
30.407 * * [simplify]: iteration 66: 2589 enodes
30.880 * * [simplify]: iteration 67: 2612 enodes
31.354 * * [simplify]: iteration 68: 2632 enodes
31.819 * * [simplify]: iteration 69: 2655 enodes
32.234 * * [simplify]: iteration 70: 2675 enodes
32.651 * * [simplify]: iteration 71: 2698 enodes
33.182 * * [simplify]: iteration 72: 2718 enodes
34.255 * * [simplify]: iteration 73: 2741 enodes
34.705 * * [simplify]: iteration 74: 2761 enodes
35.152 * * [simplify]: iteration 75: 2784 enodes
35.586 * * [simplify]: iteration 76: 2804 enodes
36.025 * * [simplify]: iteration 77: 2827 enodes
36.478 * * [simplify]: iteration 78: 2847 enodes
36.970 * * [simplify]: iteration 79: 2870 enodes
37.420 * * [simplify]: iteration 80: 2890 enodes
37.876 * * [simplify]: iteration 81: 2913 enodes
38.319 * * [simplify]: iteration 82: 2933 enodes
38.765 * * [simplify]: iteration 83: 2956 enodes
39.194 * * [simplify]: iteration 84: 2976 enodes
39.654 * * [simplify]: iteration 85: 2999 enodes
40.100 * * [simplify]: iteration 86: 3019 enodes
40.543 * * [simplify]: iteration 87: 3042 enodes
41.020 * * [simplify]: iteration 88: 3062 enodes
41.478 * * [simplify]: iteration 89: 3085 enodes
41.924 * * [simplify]: iteration 90: 3105 enodes
42.418 * * [simplify]: iteration 91: 3128 enodes
42.954 * * [simplify]: iteration 92: 3148 enodes
43.425 * * [simplify]: iteration 93: 3171 enodes
43.879 * * [simplify]: iteration 94: 3191 enodes
44.323 * * [simplify]: iteration 95: 3214 enodes
44.784 * * [simplify]: iteration 96: 3234 enodes
45.303 * * [simplify]: iteration 97: 3257 enodes
45.726 * * [simplify]: iteration 98: 3277 enodes
46.155 * * [simplify]: iteration 99: 3300 enodes
46.571 * * [simplify]: iteration 100: 3320 enodes
47.052 * * [simplify]: iteration 101: 3343 enodes
47.495 * * [simplify]: iteration 102: 3363 enodes
47.969 * * [simplify]: iteration 103: 3386 enodes
48.479 * * [simplify]: iteration 104: 3406 enodes
48.950 * * [simplify]: iteration 105: 3429 enodes
49.392 * * [simplify]: iteration 106: 3449 enodes
49.835 * * [simplify]: iteration 107: 3472 enodes
50.302 * * [simplify]: iteration 108: 3492 enodes
50.762 * * [simplify]: iteration 109: 3515 enodes
51.183 * * [simplify]: iteration 110: 3535 enodes
51.647 * * [simplify]: iteration 111: 3558 enodes
52.097 * * [simplify]: iteration 112: 3578 enodes
52.532 * * [simplify]: iteration 113: 3601 enodes
52.941 * * [simplify]: iteration 114: 3621 enodes
53.354 * * [simplify]: iteration 115: 3644 enodes
53.828 * * [simplify]: iteration 116: 3664 enodes
54.297 * * [simplify]: iteration 117: 3687 enodes
54.740 * * [simplify]: iteration 118: 3707 enodes
55.184 * * [simplify]: iteration 119: 3730 enodes
55.653 * * [simplify]: iteration 120: 3750 enodes
56.199 * * [simplify]: iteration 121: 3773 enodes
56.698 * * [simplify]: iteration 122: 3793 enodes
57.183 * * [simplify]: iteration 123: 3816 enodes
57.667 * * [simplify]: iteration 124: 3836 enodes
58.111 * * [simplify]: iteration 125: 3859 enodes
58.548 * * [simplify]: iteration 126: 3879 enodes
59.001 * * [simplify]: iteration 127: 3902 enodes
59.432 * * [simplify]: iteration 128: 3922 enodes
59.881 * * [simplify]: iteration 129: 3945 enodes
60.373 * * [simplify]: iteration 130: 3965 enodes
60.883 * * [simplify]: iteration 131: 3988 enodes
61.341 * * [simplify]: iteration 132: 4008 enodes
61.808 * * [simplify]: iteration 133: 4031 enodes
62.257 * * [simplify]: iteration 134: 4051 enodes
62.698 * * [simplify]: iteration 135: 4074 enodes
63.156 * * [simplify]: iteration 136: 4094 enodes
63.597 * * [simplify]: iteration 137: 4117 enodes
64.030 * * [simplify]: iteration 138: 4137 enodes
64.506 * * [simplify]: iteration 139: 4160 enodes
64.969 * * [simplify]: iteration 140: 4180 enodes
65.429 * * [simplify]: iteration 141: 4203 enodes
65.851 * * [simplify]: iteration 142: 4223 enodes
66.283 * * [simplify]: iteration 143: 4246 enodes
66.730 * * [simplify]: iteration 144: 4266 enodes
67.200 * * [simplify]: iteration 145: 4289 enodes
67.649 * * [simplify]: iteration 146: 4309 enodes
68.110 * * [simplify]: iteration 147: 4332 enodes
68.565 * * [simplify]: iteration 148: 4352 enodes
69.010 * * [simplify]: iteration 149: 4375 enodes
69.448 * * [simplify]: iteration 150: 4395 enodes
69.895 * * [simplify]: iteration 151: 4418 enodes
70.359 * * [simplify]: iteration 152: 4438 enodes
70.817 * * [simplify]: iteration 153: 4461 enodes
71.250 * * [simplify]: iteration 154: 4481 enodes
71.674 * * [simplify]: iteration 155: 4504 enodes
72.159 * * [simplify]: iteration 156: 4524 enodes
72.596 * * [simplify]: iteration 157: 4547 enodes
73.035 * * [simplify]: iteration 158: 4567 enodes
73.514 * * [simplify]: iteration 159: 4590 enodes
73.999 * * [simplify]: iteration 160: 4610 enodes
74.450 * * [simplify]: iteration 161: 4633 enodes