3.241 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying:
  (+ x (/ (- y x) z))
0.031 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.031 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.031 * * [simplify]: Extracting # 2 : cost  4  inf +  1
0.031 * * [simplify]: Extracting # 3 : cost  4  inf +  2
0.032 * * [simplify]: Extracting # 4 : cost  0  inf +  251
0.032 * * [simplify]: iteration  0 :  6  enodes  (cost  123 )
0.034 * * [simplify]: Extracting # 0 : cost  0  inf +  251
0.034 * * [simplify]: Extracting # 1 : cost  3  inf +  251
0.034 * * [simplify]: Extracting # 2 : cost  0  inf +  376
0.034 * * [simplify]: iteration  1 :  12  enodes  (cost  123 )
0.037 * * [simplify]: Extracting # 0 : cost  0  inf +  376
0.038 * * [simplify]: Extracting # 1 : cost  3  inf +  376
0.038 * * [simplify]: Extracting # 2 : cost  0  inf +  623
0.038 * * [simplify]: iteration  2 :  19  enodes  (cost  123 )
0.044 * * [simplify]: Extracting # 0 : cost  0  inf +  623
0.044 * * [simplify]: Extracting # 1 : cost  2  inf +  623
0.044 * * [simplify]: Extracting # 2 : cost  0  inf +  867
0.045 * * [simplify]: iteration  3 :  28  enodes  (cost  123 )
0.053 * * [simplify]: Extracting # 0 : cost  0  inf +  867
0.053 * * [simplify]: Extracting # 1 : cost  2  inf +  867
0.054 * * [simplify]: Extracting # 2 : cost  0  inf +  1030
0.054 * * [simplify]: iteration  4 :  38  enodes  (cost  123 )
0.064 * * [simplify]: Extracting # 0 : cost  0  inf +  1030
0.065 * * [simplify]: Extracting # 1 : cost  5  inf +  950
0.066 * * [simplify]: Extracting # 2 : cost  0  inf +  1361
0.067 * * [simplify]: iteration  5 :  54  enodes  (cost  123 )
0.090 * * [simplify]: Extracting # 0 : cost  0  inf +  1361
0.091 * * [simplify]: Extracting # 1 : cost  9  inf +  1281
0.092 * * [simplify]: Extracting # 2 : cost  0  inf +  2261
0.094 * * [simplify]: iteration  6 :  93  enodes  (cost  123 )
0.115 * * [simplify]: Extracting # 0 : cost  0  inf +  2261
0.116 * * [simplify]: Extracting # 1 : cost  15  inf +  1981
0.118 * * [simplify]: Extracting # 2 : cost  0  inf +  3893
0.120 * * [simplify]: iteration  7 :  143  enodes  (cost  123 )
0.147 * * [simplify]: Extracting # 0 : cost  0  inf +  3893
0.149 * * [simplify]: Extracting # 1 : cost  11  inf +  3373
0.152 * * [simplify]: Extracting # 2 : cost  0  inf +  4796
0.156 * * [simplify]: iteration  8 :  183  enodes  (cost  123 )
0.180 * * [simplify]: Extracting # 0 : cost  0  inf +  4796
0.181 * * [simplify]: Extracting # 1 : cost  8  inf +  4236
0.183 * * [simplify]: Extracting # 2 : cost  0  inf +  5135
0.185 * * [simplify]: iteration  9 :  235  enodes  (cost  123 )
0.206 * * [simplify]: Extracting # 0 : cost  0  inf +  5135
0.212 * * [simplify]: Extracting # 1 : cost  7  inf +  4895
0.217 * * [simplify]: Extracting # 2 : cost  0  inf +  5466
0.222 * * [simplify]: iteration  10 :  275  enodes  (cost  123 )
0.252 * * [simplify]: Extracting # 0 : cost  0  inf +  5466
0.256 * * [simplify]: Extracting # 1 : cost  13  inf +  5186
0.260 * * [simplify]: Extracting # 2 : cost  0  inf +  6290
0.265 * * [simplify]: iteration  11 :  327  enodes  (cost  123 )
0.306 * * [simplify]: Extracting # 0 : cost  0  inf +  6290
0.311 * * [simplify]: Extracting # 1 : cost  14  inf +  5810
0.317 * * [simplify]: Extracting # 2 : cost  0  inf +  7243
0.322 * * [simplify]: iteration  12 :  375  enodes  (cost  123 )
0.360 * * [simplify]: Extracting # 0 : cost  0  inf +  7243
0.363 * * [simplify]: Extracting # 1 : cost  5  inf +  6843
0.368 * * [simplify]: Extracting # 2 : cost  0  inf +  7374
0.374 * * [simplify]: iteration  13 :  459  enodes  (cost  123 )
0.428 * * [simplify]: Extracting # 0 : cost  0  inf +  7374
0.434 * * [simplify]: Extracting # 1 : cost  3  inf +  7174
0.440 * * [simplify]: Extracting # 2 : cost  0  inf +  7420
0.446 * * [simplify]: iteration  14 :  503  enodes  (cost  123 )
0.502 * * [simplify]: Extracting # 0 : cost  0  inf +  7420
0.506 * * [simplify]: Extracting # 1 : cost  7  inf +  7300
0.511 * * [simplify]: Extracting # 2 : cost  0  inf +  8034
0.516 * * [simplify]: iteration  15 :  570  enodes  (cost  123 )
0.554 * * [simplify]: Extracting # 0 : cost  0  inf +  8034
0.558 * * [simplify]: Extracting # 1 : cost  5  inf +  7754
0.562 * * [simplify]: Extracting # 2 : cost  0  inf +  8244
0.566 * * [simplify]: iteration  16 :  596  enodes  (cost  123 )
0.598 * * [simplify]: Extracting # 0 : cost  0  inf +  8244
0.602 * * [simplify]: Extracting # 1 : cost  5  inf +  8044
0.606 * * [simplify]: Extracting # 2 : cost  0  inf +  8616
0.610 * * [simplify]: iteration  17 :  633  enodes  (cost  123 )
0.655 * * [simplify]: Extracting # 0 : cost  0  inf +  8616
0.660 * * [simplify]: Extracting # 1 : cost  5  inf +  8416
0.664 * * [simplify]: Extracting # 2 : cost  0  inf +  8906
0.669 * * [simplify]: iteration  18 :  670  enodes  (cost  123 )
0.716 * * [simplify]: Extracting # 0 : cost  0  inf +  8906
0.721 * * [simplify]: Extracting # 1 : cost  5  inf +  8706
0.725 * * [simplify]: Extracting # 2 : cost  0  inf +  9196
0.731 * * [simplify]: iteration  19 :  718  enodes  (cost  123 )
0.778 * * [simplify]: Extracting # 0 : cost  0  inf +  9196
0.787 * * [simplify]: Extracting # 1 : cost  3  inf +  8996
0.795 * * [simplify]: Extracting # 2 : cost  0  inf +  9242
0.804 * * [simplify]: iteration  20 :  757  enodes  (cost  123 )
0.869 * * [simplify]: Extracting # 0 : cost  0  inf +  9242
0.878 * * [simplify]: Extracting # 1 : cost  5  inf +  9122
0.885 * * [simplify]: Extracting # 2 : cost  0  inf +  9694
0.890 * * [simplify]: iteration  21 :  804  enodes  (cost  123 )
0.928 * * [simplify]: Extracting # 0 : cost  0  inf +  9694
0.937 * * [simplify]: Extracting # 1 : cost  6  inf +  9494
0.947 * * [simplify]: Extracting # 2 : cost  0  inf +  10147
0.957 * * [simplify]: iteration  22 :  836  enodes  (cost  123 )
1.018 * * [simplify]: Extracting # 0 : cost  0  inf +  10147
1.024 * * [simplify]: Extracting # 1 : cost  5  inf +  9907
1.029 * * [simplify]: Extracting # 2 : cost  0  inf +  10397
1.035 * * [simplify]: iteration  23 :  881  enodes  (cost  123 )
1.082 * * [simplify]: Extracting # 0 : cost  0  inf +  10397
1.088 * * [simplify]: Extracting # 1 : cost  3  inf +  10197
1.093 * * [simplify]: Extracting # 2 : cost  0  inf +  10443
1.098 * * [simplify]: iteration  24 :  914  enodes  (cost  123 )
1.139 * * [simplify]: Extracting # 0 : cost  0  inf +  10443
1.144 * * [simplify]: Extracting # 1 : cost  5  inf +  10323
1.150 * * [simplify]: Extracting # 2 : cost  0  inf +  10895
1.156 * * [simplify]: iteration  25 :  961  enodes  (cost  123 )
1.214 * * [simplify]: Extracting # 0 : cost  0  inf +  10895
1.224 * * [simplify]: Extracting # 1 : cost  5  inf +  10695
1.236 * * [simplify]: Extracting # 2 : cost  0  inf +  11185
1.247 * * [simplify]: iteration  26 :  999  enodes  (cost  123 )
1.313 * * [simplify]: Extracting # 0 : cost  0  inf +  11185
1.324 * * [simplify]: Extracting # 1 : cost  5  inf +  10985
1.336 * * [simplify]: Extracting # 2 : cost  0  inf +  11475
1.348 * * [simplify]: iteration  27 :  1041  enodes  (cost  123 )
1.396 * * [simplify]: Extracting # 0 : cost  0  inf +  11475
1.403 * * [simplify]: Extracting # 1 : cost  3  inf +  11275
1.409 * * [simplify]: Extracting # 2 : cost  0  inf +  11521
1.415 * * [simplify]: iteration  28 :  1074  enodes  (cost  123 )
1.457 * * [simplify]: Extracting # 0 : cost  0  inf +  11521
1.466 * * [simplify]: Extracting # 1 : cost  5  inf +  11401
1.472 * * [simplify]: Extracting # 2 : cost  0  inf +  11973
1.479 * * [simplify]: iteration  29 :  1127  enodes  (cost  123 )
1.515 * * [simplify]: Extracting # 0 : cost  0  inf +  11973
1.526 * * [simplify]: Extracting # 1 : cost  5  inf +  11773
1.536 * * [simplify]: Extracting # 2 : cost  0  inf +  12263
1.549 * * [simplify]: iteration  30 :  1159  enodes  (cost  123 )
1.611 * * [simplify]: Extracting # 0 : cost  0  inf +  12263
1.621 * * [simplify]: Extracting # 1 : cost  5  inf +  12063
1.632 * * [simplify]: Extracting # 2 : cost  0  inf +  12553
1.639 * * [simplify]: iteration  31 :  1201  enodes  (cost  123 )
1.676 * * [simplify]: Extracting # 0 : cost  0  inf +  12553
1.688 * * [simplify]: Extracting # 1 : cost  3  inf +  12353
1.701 * * [simplify]: Extracting # 2 : cost  0  inf +  12599
1.709 * * [simplify]: iteration  32 :  1238  enodes  (cost  123 )
1.742 * * [simplify]: Extracting # 0 : cost  0  inf +  12599
1.748 * * [simplify]: Extracting # 1 : cost  5  inf +  12479
1.756 * * [simplify]: Extracting # 2 : cost  0  inf +  13051
1.770 * * [simplify]: iteration  33 :  1285  enodes  (cost  123 )
1.806 * * [simplify]: Extracting # 0 : cost  0  inf +  13051
1.812 * * [simplify]: Extracting # 1 : cost  6  inf +  12851
1.819 * * [simplify]: Extracting # 2 : cost  0  inf +  13504
1.825 * * [simplify]: iteration  34 :  1317  enodes  (cost  123 )
1.885 * * [simplify]: Extracting # 0 : cost  0  inf +  13504
1.892 * * [simplify]: Extracting # 1 : cost  5  inf +  13264
1.899 * * [simplify]: Extracting # 2 : cost  0  inf +  13754
1.906 * * [simplify]: iteration  35 :  1364  enodes  (cost  123 )
1.946 * * [simplify]: Extracting # 0 : cost  0  inf +  13754
1.962 * * [simplify]: Extracting # 1 : cost  3  inf +  13554
1.976 * * [simplify]: Extracting # 2 : cost  0  inf +  13800
1.990 * * [simplify]: iteration  36 :  1397  enodes  (cost  123 )
2.054 * * [simplify]: Extracting # 0 : cost  0  inf +  13800
2.069 * * [simplify]: Extracting # 1 : cost  5  inf +  13680
2.078 * * [simplify]: Extracting # 2 : cost  0  inf +  14252
2.086 * * [simplify]: iteration  37 :  1444  enodes  (cost  123 )
2.117 * * [simplify]: Extracting # 0 : cost  0  inf +  14252
2.123 * * [simplify]: Extracting # 1 : cost  5  inf +  14052
2.132 * * [simplify]: Extracting # 2 : cost  0  inf +  14542
2.140 * * [simplify]: iteration  38 :  1482  enodes  (cost  123 )
2.185 * * [simplify]: Extracting # 0 : cost  0  inf +  14542
2.192 * * [simplify]: Extracting # 1 : cost  5  inf +  14342
2.199 * * [simplify]: Extracting # 2 : cost  0  inf +  14832
2.209 * * [simplify]: iteration  39 :  1524  enodes  (cost  123 )
2.238 * * [simplify]: Extracting # 0 : cost  0  inf +  14832
2.250 * * [simplify]: Extracting # 1 : cost  3  inf +  14632
2.265 * * [simplify]: Extracting # 2 : cost  0  inf +  14878
2.282 * * [simplify]: iteration  40 :  1557  enodes  (cost  123 )
2.356 * * [simplify]: Extracting # 0 : cost  0  inf +  14878
2.370 * * [simplify]: Extracting # 1 : cost  5  inf +  14758
2.386 * * [simplify]: Extracting # 2 : cost  0  inf +  15330
2.405 * * [simplify]: iteration  41 :  1610  enodes  (cost  123 )
2.461 * * [simplify]: Extracting # 0 : cost  0  inf +  15330
2.476 * * [simplify]: Extracting # 1 : cost  5  inf +  15130
2.484 * * [simplify]: Extracting # 2 : cost  0  inf +  15620
2.492 * * [simplify]: iteration  42 :  1642  enodes  (cost  123 )
2.527 * * [simplify]: Extracting # 0 : cost  0  inf +  15620
2.534 * * [simplify]: Extracting # 1 : cost  5  inf +  15420
2.542 * * [simplify]: Extracting # 2 : cost  0  inf +  15910
2.552 * * [simplify]: iteration  43 :  1684  enodes  (cost  123 )
2.589 * * [simplify]: Extracting # 0 : cost  0  inf +  15910
2.597 * * [simplify]: Extracting # 1 : cost  3  inf +  15710
2.612 * * [simplify]: Extracting # 2 : cost  0  inf +  15956
2.628 * * [simplify]: iteration  44 :  1721  enodes  (cost  123 )
2.683 * * [simplify]: Extracting # 0 : cost  0  inf +  15956
2.691 * * [simplify]: Extracting # 1 : cost  5  inf +  15836
2.700 * * [simplify]: Extracting # 2 : cost  0  inf +  16408
2.716 * * [simplify]: iteration  45 :  1768  enodes  (cost  123 )
2.754 * * [simplify]: Extracting # 0 : cost  0  inf +  16408
2.763 * * [simplify]: Extracting # 1 : cost  6  inf +  16208
2.781 * * [simplify]: Extracting # 2 : cost  0  inf +  16861
2.798 * * [simplify]: iteration  46 :  1800  enodes  (cost  123 )
2.845 * * [simplify]: Extracting # 0 : cost  0  inf +  16861
2.856 * * [simplify]: Extracting # 1 : cost  5  inf +  16621
2.869 * * [simplify]: Extracting # 2 : cost  0  inf +  17111
2.878 * * [simplify]: iteration  47 :  1847  enodes  (cost  123 )
2.920 * * [simplify]: Extracting # 0 : cost  0  inf +  17111
2.937 * * [simplify]: Extracting # 1 : cost  3  inf +  16911
2.946 * * [simplify]: Extracting # 2 : cost  0  inf +  17157
2.954 * * [simplify]: iteration  48 :  1880  enodes  (cost  123 )
2.987 * * [simplify]: Extracting # 0 : cost  0  inf +  17157
2.996 * * [simplify]: Extracting # 1 : cost  5  inf +  17037
3.013 * * [simplify]: Extracting # 2 : cost  0  inf +  17609
3.033 * * [simplify]: iteration  49 :  1927  enodes  (cost  123 )
3.092 * * [simplify]: Extracting # 0 : cost  0  inf +  17609
3.110 * * [simplify]: Extracting # 1 : cost  5  inf +  17409
3.120 * * [simplify]: Extracting # 2 : cost  0  inf +  17899
3.130 * * [simplify]: iteration  50 :  1965  enodes  (cost  123 )
3.184 * * [simplify]: Extracting # 0 : cost  0  inf +  17899
3.202 * * [simplify]: Extracting # 1 : cost  5  inf +  17699
3.220 * * [simplify]: Extracting # 2 : cost  0  inf +  18189
3.238 * * [simplify]: iteration  51 :  2007  enodes  (cost  123 )
3.278 * * [simplify]: Extracting # 0 : cost  0  inf +  18189
3.290 * * [simplify]: Extracting # 1 : cost  3  inf +  17989
3.299 * * [simplify]: Extracting # 2 : cost  0  inf +  18235
3.308 * * [simplify]: iteration  52 :  2040  enodes  (cost  123 )
3.372 * * [simplify]: Extracting # 0 : cost  0  inf +  18235
3.381 * * [simplify]: Extracting # 1 : cost  5  inf +  18115
3.390 * * [simplify]: Extracting # 2 : cost  0  inf +  18687
3.403 * * [simplify]: iteration  53 :  2093  enodes  (cost  123 )
3.439 * * [simplify]: Extracting # 0 : cost  0  inf +  18687
3.453 * * [simplify]: Extracting # 1 : cost  5  inf +  18487
3.462 * * [simplify]: Extracting # 2 : cost  0  inf +  18977
3.474 * * [simplify]: iteration  54 :  2125  enodes  (cost  123 )
3.528 * * [simplify]: Extracting # 0 : cost  0  inf +  18977
3.537 * * [simplify]: Extracting # 1 : cost  5  inf +  18777
3.551 * * [simplify]: Extracting # 2 : cost  0  inf +  19267
3.571 * * [simplify]: iteration  55 :  2167  enodes  (cost  123 )
3.603 * * [simplify]: Extracting # 0 : cost  0  inf +  19267
3.620 * * [simplify]: Extracting # 1 : cost  3  inf +  19067
3.643 * * [simplify]: Extracting # 2 : cost  0  inf +  19313
3.664 * * [simplify]: iteration  56 :  2204  enodes  (cost  123 )
3.712 * * [simplify]: Extracting # 0 : cost  0  inf +  19313
3.721 * * [simplify]: Extracting # 1 : cost  5  inf +  19193
3.741 * * [simplify]: Extracting # 2 : cost  0  inf +  19765
3.762 * * [simplify]: iteration  57 :  2251  enodes  (cost  123 )
3.796 * * [simplify]: Extracting # 0 : cost  0  inf +  19765
3.805 * * [simplify]: Extracting # 1 : cost  6  inf +  19565
3.824 * * [simplify]: Extracting # 2 : cost  0  inf +  20218
3.845 * * [simplify]: iteration  58 :  2283  enodes  (cost  123 )
3.912 * * [simplify]: Extracting # 0 : cost  0  inf +  20218
3.934 * * [simplify]: Extracting # 1 : cost  5  inf +  19978
3.955 * * [simplify]: Extracting # 2 : cost  0  inf +  20468
3.977 * * [simplify]: iteration  59 :  2330  enodes  (cost  123 )
4.029 * * [simplify]: Extracting # 0 : cost  0  inf +  20468
4.040 * * [simplify]: Extracting # 1 : cost  3  inf +  20268
4.050 * * [simplify]: Extracting # 2 : cost  0  inf +  20514
4.069 * * [simplify]: iteration  60 :  2363  enodes  (cost  123 )
4.109 * * [simplify]: Extracting # 0 : cost  0  inf +  20514
4.128 * * [simplify]: Extracting # 1 : cost  5  inf +  20394
4.151 * * [simplify]: Extracting # 2 : cost  0  inf +  20966
4.175 * * [simplify]: iteration  61 :  2410  enodes  (cost  123 )
4.236 * * [simplify]: Extracting # 0 : cost  0  inf +  20966
4.246 * * [simplify]: Extracting # 1 : cost  5  inf +  20766
4.258 * * [simplify]: Extracting # 2 : cost  0  inf +  21256
4.277 * * [simplify]: iteration  62 :  2452  enodes  (cost  123 )
4.344 * * [simplify]: Extracting # 0 : cost  0  inf +  21256
4.366 * * [simplify]: Extracting # 1 : cost  5  inf +  21056
4.388 * * [simplify]: Extracting # 2 : cost  0  inf +  21546
4.411 * * [simplify]: iteration  63 :  2494  enodes  (cost  123 )
4.441 * * [simplify]: Extracting # 0 : cost  0  inf +  21546
4.453 * * [simplify]: Extracting # 1 : cost  3  inf +  21346
4.463 * * [simplify]: Extracting # 2 : cost  0  inf +  21592
4.486 * * [simplify]: iteration  64 :  2527  enodes  (cost  123 )
4.549 * * [simplify]: Extracting # 0 : cost  0  inf +  21592
4.559 * * [simplify]: Extracting # 1 : cost  5  inf +  21472
4.585 * * [simplify]: Extracting # 2 : cost  0  inf +  22044
4.604 * * [simplify]: iteration  65 :  2580  enodes  (cost  123 )
4.631 * * [simplify]: Extracting # 0 : cost  0  inf +  22044
4.643 * * [simplify]: Extracting # 1 : cost  5  inf +  21844
4.666 * * [simplify]: Extracting # 2 : cost  0  inf +  22334
4.690 * * [simplify]: iteration  66 :  2612  enodes  (cost  123 )
4.733 * * [simplify]: Extracting # 0 : cost  0  inf +  22334
4.744 * * [simplify]: Extracting # 1 : cost  5  inf +  22134
4.756 * * [simplify]: Extracting # 2 : cost  0  inf +  22624
4.776 * * [simplify]: iteration  67 :  2654  enodes  (cost  123 )
4.809 * * [simplify]: Extracting # 0 : cost  0  inf +  22624
4.820 * * [simplify]: Extracting # 1 : cost  3  inf +  22424
4.838 * * [simplify]: Extracting # 2 : cost  0  inf +  22670
4.861 * * [simplify]: iteration  68 :  2691  enodes  (cost  123 )
4.909 * * [simplify]: Extracting # 0 : cost  0  inf +  22670
4.921 * * [simplify]: Extracting # 1 : cost  5  inf +  22550
4.933 * * [simplify]: Extracting # 2 : cost  0  inf +  23122
4.953 * * [simplify]: iteration  69 :  2738  enodes  (cost  123 )
5.010 * * [simplify]: Extracting # 0 : cost  0  inf +  23122
5.028 * * [simplify]: Extracting # 1 : cost  6  inf +  22922
5.040 * * [simplify]: Extracting # 2 : cost  0  inf +  23575
5.054 * * [simplify]: iteration  70 :  2770  enodes  (cost  123 )
5.102 * * [simplify]: Extracting # 0 : cost  0  inf +  23575
5.127 * * [simplify]: Extracting # 1 : cost  5  inf +  23335
5.152 * * [simplify]: Extracting # 2 : cost  0  inf +  23825
5.177 * * [simplify]: iteration  71 :  2819  enodes  (cost  123 )
5.234 * * [simplify]: Extracting # 0 : cost  0  inf +  23825
5.252 * * [simplify]: Extracting # 1 : cost  3  inf +  23625
5.264 * * [simplify]: Extracting # 2 : cost  0  inf +  23871
5.276 * * [simplify]: iteration  72 :  2852  enodes  (cost  123 )
5.323 * * [simplify]: Extracting # 0 : cost  0  inf +  23871
5.335 * * [simplify]: Extracting # 1 : cost  5  inf +  23751
5.349 * * [simplify]: Extracting # 2 : cost  0  inf +  24323
5.376 * * [simplify]: iteration  73 :  2899  enodes  (cost  123 )
5.437 * * [simplify]: Extracting # 0 : cost  0  inf +  24323
5.461 * * [simplify]: Extracting # 1 : cost  5  inf +  24123
5.486 * * [simplify]: Extracting # 2 : cost  0  inf +  24613
5.512 * * [simplify]: iteration  74 :  2937  enodes  (cost  123 )
5.549 * * [simplify]: Extracting # 0 : cost  0  inf +  24613
5.561 * * [simplify]: Extracting # 1 : cost  5  inf +  24413
5.574 * * [simplify]: Extracting # 2 : cost  0  inf +  24903
5.589 * * [simplify]: iteration  75 :  2979  enodes  (cost  123 )
5.635 * * [simplify]: Extracting # 0 : cost  0  inf +  24903
5.652 * * [simplify]: Extracting # 1 : cost  3  inf +  24703
5.668 * * [simplify]: Extracting # 2 : cost  0  inf +  24949
5.691 * * [simplify]: iteration  76 :  3012  enodes  (cost  123 )
5.741 * * [simplify]: Extracting # 0 : cost  0  inf +  24949
5.766 * * [simplify]: Extracting # 1 : cost  5  inf +  24829
5.782 * * [simplify]: Extracting # 2 : cost  0  inf +  25401
5.796 * * [simplify]: iteration  77 :  3065  enodes  (cost  123 )
5.832 * * [simplify]: Extracting # 0 : cost  0  inf +  25401
5.849 * * [simplify]: Extracting # 1 : cost  5  inf +  25201
5.875 * * [simplify]: Extracting # 2 : cost  0  inf +  25691
5.888 * * [simplify]: iteration  78 :  3097  enodes  (cost  123 )
5.932 * * [simplify]: Extracting # 0 : cost  0  inf +  25691
5.945 * * [simplify]: Extracting # 1 : cost  5  inf +  25491
5.965 * * [simplify]: Extracting # 2 : cost  0  inf +  25981
5.993 * * [simplify]: iteration  79 :  3139  enodes  (cost  123 )
6.054 * * [simplify]: Extracting # 0 : cost  0  inf +  25981
6.080 * * [simplify]: Extracting # 1 : cost  3  inf +  25781
6.105 * * [simplify]: Extracting # 2 : cost  0  inf +  26027
6.118 * * [simplify]: iteration  80 :  3178  enodes  (cost  123 )
6.170 * * [simplify]: Extracting # 0 : cost  0  inf +  26027
6.196 * * [simplify]: Extracting # 1 : cost  5  inf +  25907
6.224 * * [simplify]: Extracting # 2 : cost  0  inf +  26479
6.254 * * [simplify]: iteration  81 :  3225  enodes  (cost  123 )
6.297 * * [simplify]: Extracting # 0 : cost  0  inf +  26479
6.310 * * [simplify]: Extracting # 1 : cost  6  inf +  26279
6.324 * * [simplify]: Extracting # 2 : cost  0  inf +  26932
6.339 * * [simplify]: iteration  82 :  3257  enodes  (cost  123 )
6.400 * * [simplify]: Extracting # 0 : cost  0  inf +  26932
6.426 * * [simplify]: Extracting # 1 : cost  5  inf +  26692
6.457 * * [simplify]: Extracting # 2 : cost  0  inf +  27182
6.486 * * [simplify]: iteration  83 :  3304  enodes  (cost  123 )
6.515 * * [simplify]: Extracting # 0 : cost  0  inf +  27182
6.529 * * [simplify]: Extracting # 1 : cost  3  inf +  26982
6.543 * * [simplify]: Extracting # 2 : cost  0  inf +  27228
6.557 * * [simplify]: iteration  84 :  3337  enodes  (cost  123 )
6.596 * * [simplify]: Extracting # 0 : cost  0  inf +  27228
6.610 * * [simplify]: Extracting # 1 : cost  5  inf +  27108
6.624 * * [simplify]: Extracting # 2 : cost  0  inf +  27680
6.639 * * [simplify]: iteration  85 :  3384  enodes  (cost  123 )
6.671 * * [simplify]: Extracting # 0 : cost  0  inf +  27680
6.685 * * [simplify]: Extracting # 1 : cost  5  inf +  27480
6.699 * * [simplify]: Extracting # 2 : cost  0  inf +  27970
6.716 * * [simplify]: iteration  86 :  3426  enodes  (cost  123 )
6.755 * * [simplify]: Extracting # 0 : cost  0  inf +  27970
6.787 * * [simplify]: Extracting # 1 : cost  5  inf +  27770
6.804 * * [simplify]: Extracting # 2 : cost  0  inf +  28260
6.819 * * [simplify]: iteration  87 :  3468  enodes  (cost  123 )
6.866 * * [simplify]: Extracting # 0 : cost  0  inf +  28260
6.881 * * [simplify]: Extracting # 1 : cost  3  inf +  28060
6.896 * * [simplify]: Extracting # 2 : cost  0  inf +  28306
6.926 * * [simplify]: iteration  88 :  3501  enodes  (cost  123 )
6.998 * * [simplify]: Extracting # 0 : cost  0  inf +  28306
7.013 * * [simplify]: Extracting # 1 : cost  5  inf +  28186
7.032 * * [simplify]: Extracting # 2 : cost  0  inf +  28758
7.059 * * [simplify]: iteration  89 :  3554  enodes  (cost  123 )
7.088 * * [simplify]: Extracting # 0 : cost  0  inf +  28758
7.106 * * [simplify]: Extracting # 1 : cost  5  inf +  28558
7.135 * * [simplify]: Extracting # 2 : cost  0  inf +  29048
7.162 * * [simplify]: iteration  90 :  3586  enodes  (cost  123 )
7.199 * * [simplify]: Extracting # 0 : cost  0  inf +  29048
7.228 * * [simplify]: Extracting # 1 : cost  5  inf +  28848
7.256 * * [simplify]: Extracting # 2 : cost  0  inf +  29338
7.290 * * [simplify]: iteration  91 :  3628  enodes  (cost  123 )
7.344 * * [simplify]: Extracting # 0 : cost  0  inf +  29338
7.358 * * [simplify]: Extracting # 1 : cost  3  inf +  29138
7.389 * * [simplify]: Extracting # 2 : cost  0  inf +  29384
7.410 * * [simplify]: iteration  92 :  3665  enodes  (cost  123 )
7.455 * * [simplify]: Extracting # 0 : cost  0  inf +  29384
7.487 * * [simplify]: Extracting # 1 : cost  5  inf +  29264
7.517 * * [simplify]: Extracting # 2 : cost  0  inf +  29836
7.549 * * [simplify]: iteration  93 :  3712  enodes  (cost  123 )
7.599 * * [simplify]: Extracting # 0 : cost  0  inf +  29836
7.614 * * [simplify]: Extracting # 1 : cost  6  inf +  29636
7.628 * * [simplify]: Extracting # 2 : cost  0  inf +  30289
7.645 * * [simplify]: iteration  94 :  3744  enodes  (cost  123 )
7.678 * * [simplify]: Extracting # 0 : cost  0  inf +  30289
7.692 * * [simplify]: Extracting # 1 : cost  5  inf +  30049
7.711 * * [simplify]: Extracting # 2 : cost  0  inf +  30539
7.739 * * [simplify]: iteration  95 :  3789  enodes  (cost  123 )
7.767 * * [simplify]: Extracting # 0 : cost  0  inf +  30539
7.798 * * [simplify]: Extracting # 1 : cost  3  inf +  30339
7.827 * * [simplify]: Extracting # 2 : cost  0  inf +  30585
7.843 * * [simplify]: iteration  96 :  3822  enodes  (cost  123 )
7.877 * * [simplify]: Extracting # 0 : cost  0  inf +  30585
7.902 * * [simplify]: Extracting # 1 : cost  5  inf +  30465
7.934 * * [simplify]: Extracting # 2 : cost  0  inf +  31037
7.959 * * [simplify]: iteration  97 :  3869  enodes  (cost  123 )
7.993 * * [simplify]: Extracting # 0 : cost  0  inf +  31037
8.025 * * [simplify]: Extracting # 1 : cost  5  inf +  30837
8.050 * * [simplify]: Extracting # 2 : cost  0  inf +  31327
8.066 * * [simplify]: iteration  98 :  3911  enodes  (cost  123 )
8.116 * * [simplify]: Extracting # 0 : cost  0  inf +  31327
8.132 * * [simplify]: Extracting # 1 : cost  5  inf +  31127
8.157 * * [simplify]: Extracting # 2 : cost  0  inf +  31617
8.182 * * [simplify]: iteration  99 :  3953  enodes  (cost  123 )
8.222 * * [simplify]: Extracting # 0 : cost  0  inf +  31617
8.254 * * [simplify]: Extracting # 1 : cost  3  inf +  31417
8.290 * * [simplify]: Extracting # 2 : cost  0  inf +  31663
8.322 * * [simplify]: iteration  100 :  3986  enodes  (cost  123 )
8.370 * * [simplify]: Extracting # 0 : cost  0  inf +  31663
8.398 * * [simplify]: Extracting # 1 : cost  5  inf +  31543
8.414 * * [simplify]: Extracting # 2 : cost  0  inf +  32115
8.434 * * [simplify]: iteration  101 :  4039  enodes  (cost  123 )
8.462 * * [simplify]: Extracting # 0 : cost  0  inf +  32115
8.487 * * [simplify]: Extracting # 1 : cost  5  inf +  31915
8.514 * * [simplify]: Extracting # 2 : cost  0  inf +  32405
8.531 * * [simplify]: iteration  102 :  4071  enodes  (cost  123 )
8.573 * * [simplify]: Extracting # 0 : cost  0  inf +  32405
8.600 * * [simplify]: Extracting # 1 : cost  5  inf +  32205
8.624 * * [simplify]: Extracting # 2 : cost  0  inf +  32695
8.641 * * [simplify]: iteration  103 :  4113  enodes  (cost  123 )
8.688 * * [simplify]: Extracting # 0 : cost  0  inf +  32695
8.707 * * [simplify]: Extracting # 1 : cost  3  inf +  32495
8.743 * * [simplify]: Extracting # 2 : cost  0  inf +  32741
8.777 * * [simplify]: iteration  104 :  4150  enodes  (cost  123 )
8.816 * * [simplify]: Extracting # 0 : cost  0  inf +  32741
8.838 * * [simplify]: Extracting # 1 : cost  5  inf +  32621
8.862 * * [simplify]: Extracting # 2 : cost  0  inf +  33193
8.899 * * [simplify]: iteration  105 :  4197  enodes  (cost  123 )
8.962 * * [simplify]: Extracting # 0 : cost  0  inf +  33193
8.995 * * [simplify]: Extracting # 1 : cost  6  inf +  32993
9.024 * * [simplify]: Extracting # 2 : cost  0  inf +  33646
9.045 * * [simplify]: iteration  106 :  4229  enodes  (cost  123 )
9.091 * * [simplify]: Extracting # 0 : cost  0  inf +  33646
9.109 * * [simplify]: Extracting # 1 : cost  5  inf +  33406
9.139 * * [simplify]: Extracting # 2 : cost  0  inf +  33896
9.157 * * [simplify]: iteration  107 :  4278  enodes  (cost  123 )
9.200 * * [simplify]: Extracting # 0 : cost  0  inf +  33896
9.217 * * [simplify]: Extracting # 1 : cost  3  inf +  33696
9.238 * * [simplify]: Extracting # 2 : cost  0  inf +  33942
9.269 * * [simplify]: iteration  108 :  4311  enodes  (cost  123 )
9.309 * * [simplify]: Extracting # 0 : cost  0  inf +  33942
9.337 * * [simplify]: Extracting # 1 : cost  5  inf +  33822
9.355 * * [simplify]: Extracting # 2 : cost  0  inf +  34394
9.374 * * [simplify]: iteration  109 :  4358  enodes  (cost  123 )
9.406 * * [simplify]: Extracting # 0 : cost  0  inf +  34394
9.440 * * [simplify]: Extracting # 1 : cost  5  inf +  34194
9.475 * * [simplify]: Extracting # 2 : cost  0  inf +  34684
9.518 * * [simplify]: iteration  110 :  4396  enodes  (cost  123 )
9.578 * * [simplify]: Extracting # 0 : cost  0  inf +  34684
9.598 * * [simplify]: Extracting # 1 : cost  5  inf +  34484
9.631 * * [simplify]: Extracting # 2 : cost  0  inf +  34974
9.670 * * [simplify]: iteration  111 :  4438  enodes  (cost  123 )
9.725 * * [simplify]: Extracting # 0 : cost  0  inf +  34974
9.743 * * [simplify]: Extracting # 1 : cost  3  inf +  34774
9.776 * * [simplify]: Extracting # 2 : cost  0  inf +  35020
9.799 * * [simplify]: iteration  112 :  4471  enodes  (cost  123 )
9.863 * * [simplify]: Extracting # 0 : cost  0  inf +  35020
9.886 * * [simplify]: Extracting # 1 : cost  5  inf +  34900
9.909 * * [simplify]: Extracting # 2 : cost  0  inf +  35472
9.950 * * [simplify]: iteration  113 :  4524  enodes  (cost  123 )
10.010 * * [simplify]: Extracting # 0 : cost  0  inf +  35472
10.046 * * [simplify]: Extracting # 1 : cost  5  inf +  35272
10.087 * * [simplify]: Extracting # 2 : cost  0  inf +  35762
10.127 * * [simplify]: iteration  114 :  4556  enodes  (cost  123 )
10.182 * * [simplify]: Extracting # 0 : cost  0  inf +  35762
10.207 * * [simplify]: Extracting # 1 : cost  5  inf +  35562
10.242 * * [simplify]: Extracting # 2 : cost  0  inf +  36052
10.281 * * [simplify]: iteration  115 :  4598  enodes  (cost  123 )
10.324 * * [simplify]: Extracting # 0 : cost  0  inf +  36052
10.355 * * [simplify]: Extracting # 1 : cost  3  inf +  35852
10.400 * * [simplify]: Extracting # 2 : cost  0  inf +  36098
10.438 * * [simplify]: iteration  116 :  4637  enodes  (cost  123 )
10.498 * * [simplify]: Extracting # 0 : cost  0  inf +  36098
10.516 * * [simplify]: Extracting # 1 : cost  5  inf +  35978
10.554 * * [simplify]: Extracting # 2 : cost  0  inf +  36550
10.578 * * [simplify]: iteration  117 :  4684  enodes  (cost  123 )
10.625 * * [simplify]: Extracting # 0 : cost  0  inf +  36550
10.660 * * [simplify]: Extracting # 1 : cost  6  inf +  36350
10.702 * * [simplify]: Extracting # 2 : cost  0  inf +  37003
10.742 * * [simplify]: iteration  118 :  4716  enodes  (cost  123 )
10.815 * * [simplify]: Extracting # 0 : cost  0  inf +  37003
10.852 * * [simplify]: Extracting # 1 : cost  5  inf +  36763
10.876 * * [simplify]: Extracting # 2 : cost  0  inf +  37253
10.908 * * [simplify]: iteration  119 :  4765  enodes  (cost  123 )
10.955 * * [simplify]: Extracting # 0 : cost  0  inf +  37253
10.977 * * [simplify]: Extracting # 1 : cost  3  inf +  37053
11.012 * * [simplify]: Extracting # 2 : cost  0  inf +  37299
11.031 * * [simplify]: iteration  120 :  4798  enodes  (cost  123 )
11.085 * * [simplify]: Extracting # 0 : cost  0  inf +  37299
11.103 * * [simplify]: Extracting # 1 : cost  5  inf +  37179
11.130 * * [simplify]: Extracting # 2 : cost  0  inf +  37751
11.161 * * [simplify]: iteration  121 :  4845  enodes  (cost  123 )
11.202 * * [simplify]: Extracting # 0 : cost  0  inf +  37751
11.223 * * [simplify]: Extracting # 1 : cost  5  inf +  37551
11.249 * * [simplify]: Extracting # 2 : cost  0  inf +  38041
11.284 * * [simplify]: iteration  122 :  4883  enodes  (cost  123 )
11.328 * * [simplify]: Extracting # 0 : cost  0  inf +  38041
11.347 * * [simplify]: Extracting # 1 : cost  5  inf +  37841
11.387 * * [simplify]: Extracting # 2 : cost  0  inf +  38331
11.429 * * [simplify]: iteration  123 :  4925  enodes  (cost  123 )
11.493 * * [simplify]: Extracting # 0 : cost  0  inf +  38331
11.533 * * [simplify]: Extracting # 1 : cost  3  inf +  38131
11.572 * * [simplify]: Extracting # 2 : cost  0  inf +  38377
11.618 * * [simplify]: iteration  124 :  4958  enodes  (cost  123 )
11.656 * * [simplify]: Extracting # 0 : cost  0  inf +  38377
11.678 * * [simplify]: Extracting # 1 : cost  11  inf +  38257
11.725 * * [simplify]: Extracting # 2 : cost  0  inf +  39401
11.751 * * [simplify]: iteration complete:  5000  enodes  (cost  123 )
11.751 * [simplify]: Simplified to:
  (+ x (/ (- y x) z))
11.752 * * [progress]: iteration 1 / 4
11.752 * * * [progress]: picking best candidate
11.755 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (- y x) z)))>
11.755 * * * [progress]: localizing error
11.769 * * * [progress]: generating rewritten candidates
11.770 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
11.800 * * * [progress]: generating series expansions
11.800 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
11.804 * [backup-simplify]: Simplify (/ (- y x) z) into (/ (- y x) z)
11.804 * [approximate]: Taking taylor expansion of (/ (- y x) z) in (y x z) around 0
11.805 * [taylor]: Taking taylor expansion of (/ (- y x) z) in z
11.805 * [taylor]: Taking taylor expansion of (- y x) in z
11.805 * [taylor]: Taking taylor expansion of y in z
11.805 * [backup-simplify]: Simplify y into y
11.805 * [taylor]: Taking taylor expansion of x in z
11.805 * [backup-simplify]: Simplify x into x
11.805 * [taylor]: Taking taylor expansion of z in z
11.805 * [backup-simplify]: Simplify 0 into 0
11.805 * [backup-simplify]: Simplify 1 into 1
11.806 * [backup-simplify]: Simplify (- x) into (- x)
11.806 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
11.806 * [backup-simplify]: Simplify (/ (- y x) 1) into (- y x)
11.806 * [taylor]: Taking taylor expansion of (/ (- y x) z) in x
11.806 * [taylor]: Taking taylor expansion of (- y x) in x
11.806 * [taylor]: Taking taylor expansion of y in x
11.806 * [backup-simplify]: Simplify y into y
11.806 * [taylor]: Taking taylor expansion of x in x
11.806 * [backup-simplify]: Simplify 0 into 0
11.806 * [backup-simplify]: Simplify 1 into 1
11.806 * [taylor]: Taking taylor expansion of z in x
11.806 * [backup-simplify]: Simplify z into z
11.806 * [backup-simplify]: Simplify (- 0) into 0
11.806 * [backup-simplify]: Simplify (+ y 0) into y
11.807 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.807 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y
11.807 * [taylor]: Taking taylor expansion of (- y x) in y
11.807 * [taylor]: Taking taylor expansion of y in y
11.807 * [backup-simplify]: Simplify 0 into 0
11.807 * [backup-simplify]: Simplify 1 into 1
11.807 * [taylor]: Taking taylor expansion of x in y
11.807 * [backup-simplify]: Simplify x into x
11.807 * [taylor]: Taking taylor expansion of z in y
11.807 * [backup-simplify]: Simplify z into z
11.807 * [backup-simplify]: Simplify (- x) into (- x)
11.807 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
11.807 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z))
11.807 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y
11.807 * [taylor]: Taking taylor expansion of (- y x) in y
11.807 * [taylor]: Taking taylor expansion of y in y
11.807 * [backup-simplify]: Simplify 0 into 0
11.807 * [backup-simplify]: Simplify 1 into 1
11.807 * [taylor]: Taking taylor expansion of x in y
11.807 * [backup-simplify]: Simplify x into x
11.807 * [taylor]: Taking taylor expansion of z in y
11.807 * [backup-simplify]: Simplify z into z
11.807 * [backup-simplify]: Simplify (- x) into (- x)
11.807 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
11.807 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z))
11.807 * [taylor]: Taking taylor expansion of (* -1 (/ x z)) in x
11.807 * [taylor]: Taking taylor expansion of -1 in x
11.807 * [backup-simplify]: Simplify -1 into -1
11.807 * [taylor]: Taking taylor expansion of (/ x z) in x
11.807 * [taylor]: Taking taylor expansion of x in x
11.807 * [backup-simplify]: Simplify 0 into 0
11.807 * [backup-simplify]: Simplify 1 into 1
11.807 * [taylor]: Taking taylor expansion of z in x
11.807 * [backup-simplify]: Simplify z into z
11.808 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.808 * [backup-simplify]: Simplify (- 0) into 0
11.808 * [backup-simplify]: Simplify (+ 1 0) into 1
11.809 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ x z)) (/ 0 z)))) into (/ 1 z)
11.809 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.809 * [taylor]: Taking taylor expansion of z in x
11.809 * [backup-simplify]: Simplify z into z
11.809 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.809 * [taylor]: Taking taylor expansion of z in z
11.809 * [backup-simplify]: Simplify 0 into 0
11.809 * [backup-simplify]: Simplify 1 into 1
11.809 * [backup-simplify]: Simplify (/ 1 1) into 1
11.809 * [backup-simplify]: Simplify 1 into 1
11.810 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
11.810 * [taylor]: Taking taylor expansion of (/ -1 z) in z
11.810 * [taylor]: Taking taylor expansion of -1 in z
11.810 * [backup-simplify]: Simplify -1 into -1
11.810 * [taylor]: Taking taylor expansion of z in z
11.810 * [backup-simplify]: Simplify 0 into 0
11.810 * [backup-simplify]: Simplify 1 into 1
11.810 * [backup-simplify]: Simplify (/ -1 1) into -1
11.810 * [backup-simplify]: Simplify -1 into -1
11.810 * [backup-simplify]: Simplify (- 0) into 0
11.810 * [backup-simplify]: Simplify (+ 0 0) into 0
11.811 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0
11.811 * [taylor]: Taking taylor expansion of 0 in x
11.811 * [backup-simplify]: Simplify 0 into 0
11.811 * [taylor]: Taking taylor expansion of 0 in z
11.811 * [backup-simplify]: Simplify 0 into 0
11.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
11.811 * [taylor]: Taking taylor expansion of 0 in z
11.811 * [backup-simplify]: Simplify 0 into 0
11.811 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.811 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0
11.811 * [taylor]: Taking taylor expansion of 0 in z
11.811 * [backup-simplify]: Simplify 0 into 0
11.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.812 * [backup-simplify]: Simplify 0 into 0
11.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
11.813 * [backup-simplify]: Simplify 0 into 0
11.813 * [backup-simplify]: Simplify (- 0) into 0
11.813 * [backup-simplify]: Simplify (+ 0 0) into 0
11.814 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.814 * [taylor]: Taking taylor expansion of 0 in x
11.814 * [backup-simplify]: Simplify 0 into 0
11.814 * [taylor]: Taking taylor expansion of 0 in z
11.814 * [backup-simplify]: Simplify 0 into 0
11.814 * [taylor]: Taking taylor expansion of 0 in z
11.814 * [backup-simplify]: Simplify 0 into 0
11.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.814 * [taylor]: Taking taylor expansion of 0 in z
11.814 * [backup-simplify]: Simplify 0 into 0
11.814 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.815 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
11.815 * [taylor]: Taking taylor expansion of 0 in z
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.815 * [backup-simplify]: Simplify 0 into 0
11.816 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* x 1))) (* 1 (* (/ 1 z) (* 1 y)))) into (- (/ y z) (/ x z))
11.816 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (/ 1 z)) into (* (- (/ 1 y) (/ 1 x)) z)
11.816 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
11.816 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z
11.816 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
11.816 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.816 * [taylor]: Taking taylor expansion of y in z
11.816 * [backup-simplify]: Simplify y into y
11.816 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.816 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.816 * [taylor]: Taking taylor expansion of x in z
11.816 * [backup-simplify]: Simplify x into x
11.816 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.816 * [taylor]: Taking taylor expansion of z in z
11.816 * [backup-simplify]: Simplify 0 into 0
11.816 * [backup-simplify]: Simplify 1 into 1
11.816 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x
11.816 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
11.816 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.816 * [taylor]: Taking taylor expansion of y in x
11.816 * [backup-simplify]: Simplify y into y
11.816 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.816 * [taylor]: Taking taylor expansion of x in x
11.816 * [backup-simplify]: Simplify 0 into 0
11.817 * [backup-simplify]: Simplify 1 into 1
11.817 * [backup-simplify]: Simplify (/ 1 1) into 1
11.817 * [taylor]: Taking taylor expansion of z in x
11.817 * [backup-simplify]: Simplify z into z
11.817 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
11.817 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
11.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.817 * [taylor]: Taking taylor expansion of y in y
11.817 * [backup-simplify]: Simplify 0 into 0
11.817 * [backup-simplify]: Simplify 1 into 1
11.817 * [backup-simplify]: Simplify (/ 1 1) into 1
11.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.817 * [taylor]: Taking taylor expansion of x in y
11.817 * [backup-simplify]: Simplify x into x
11.817 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.817 * [taylor]: Taking taylor expansion of z in y
11.818 * [backup-simplify]: Simplify z into z
11.818 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
11.818 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
11.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.818 * [taylor]: Taking taylor expansion of y in y
11.818 * [backup-simplify]: Simplify 0 into 0
11.818 * [backup-simplify]: Simplify 1 into 1
11.818 * [backup-simplify]: Simplify (/ 1 1) into 1
11.818 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.818 * [taylor]: Taking taylor expansion of x in y
11.818 * [backup-simplify]: Simplify x into x
11.818 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.818 * [taylor]: Taking taylor expansion of z in y
11.818 * [backup-simplify]: Simplify z into z
11.818 * [backup-simplify]: Simplify (+ 1 0) into 1
11.818 * [backup-simplify]: Simplify (* 1 z) into z
11.818 * [taylor]: Taking taylor expansion of z in x
11.818 * [backup-simplify]: Simplify z into z
11.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.819 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
11.819 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
11.819 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) z)) into (- (/ z x))
11.819 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
11.819 * [taylor]: Taking taylor expansion of (/ z x) in x
11.819 * [taylor]: Taking taylor expansion of z in x
11.819 * [backup-simplify]: Simplify z into z
11.819 * [taylor]: Taking taylor expansion of x in x
11.819 * [backup-simplify]: Simplify 0 into 0
11.819 * [backup-simplify]: Simplify 1 into 1
11.819 * [backup-simplify]: Simplify (/ z 1) into z
11.820 * [backup-simplify]: Simplify (- z) into (- z)
11.820 * [taylor]: Taking taylor expansion of (- z) in z
11.820 * [taylor]: Taking taylor expansion of z in z
11.820 * [backup-simplify]: Simplify 0 into 0
11.820 * [backup-simplify]: Simplify 1 into 1
11.820 * [backup-simplify]: Simplify (- 0) into 0
11.820 * [backup-simplify]: Simplify 0 into 0
11.820 * [taylor]: Taking taylor expansion of z in z
11.820 * [backup-simplify]: Simplify 0 into 0
11.820 * [backup-simplify]: Simplify 1 into 1
11.820 * [backup-simplify]: Simplify 0 into 0
11.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.821 * [backup-simplify]: Simplify (- 0) into 0
11.821 * [backup-simplify]: Simplify (+ 0 0) into 0
11.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 z))) into 0
11.821 * [taylor]: Taking taylor expansion of 0 in x
11.821 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
11.822 * [backup-simplify]: Simplify (- 0) into 0
11.822 * [taylor]: Taking taylor expansion of 0 in z
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [taylor]: Taking taylor expansion of 0 in z
11.822 * [backup-simplify]: Simplify 0 into 0
11.822 * [backup-simplify]: Simplify 0 into 0
11.823 * [backup-simplify]: Simplify (- 1) into -1
11.823 * [backup-simplify]: Simplify -1 into -1
11.823 * [backup-simplify]: Simplify 1 into 1
11.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
11.824 * [backup-simplify]: Simplify (- 0) into 0
11.824 * [backup-simplify]: Simplify (+ 0 0) into 0
11.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 z)))) into 0
11.824 * [taylor]: Taking taylor expansion of 0 in x
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [taylor]: Taking taylor expansion of 0 in z
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify 0 into 0
11.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.826 * [backup-simplify]: Simplify (- 0) into 0
11.826 * [taylor]: Taking taylor expansion of 0 in z
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [taylor]: Taking taylor expansion of 0 in z
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify (- 0) into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 x)) 1)))) into (- (/ y z) (/ x z))
11.826 * [backup-simplify]: Simplify (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (* z (- (/ 1 x) (/ 1 y))))
11.826 * [approximate]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in (y x z) around 0
11.826 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in z
11.827 * [taylor]: Taking taylor expansion of -1 in z
11.827 * [backup-simplify]: Simplify -1 into -1
11.827 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z
11.827 * [taylor]: Taking taylor expansion of z in z
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 1 into 1
11.827 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
11.827 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.827 * [taylor]: Taking taylor expansion of x in z
11.827 * [backup-simplify]: Simplify x into x
11.827 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.827 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.827 * [taylor]: Taking taylor expansion of y in z
11.827 * [backup-simplify]: Simplify y into y
11.827 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.827 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in x
11.827 * [taylor]: Taking taylor expansion of -1 in x
11.827 * [backup-simplify]: Simplify -1 into -1
11.827 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x
11.827 * [taylor]: Taking taylor expansion of z in x
11.827 * [backup-simplify]: Simplify z into z
11.827 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
11.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.827 * [taylor]: Taking taylor expansion of x in x
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 1 into 1
11.827 * [backup-simplify]: Simplify (/ 1 1) into 1
11.827 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.827 * [taylor]: Taking taylor expansion of y in x
11.827 * [backup-simplify]: Simplify y into y
11.827 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.827 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y
11.827 * [taylor]: Taking taylor expansion of -1 in y
11.827 * [backup-simplify]: Simplify -1 into -1
11.827 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
11.827 * [taylor]: Taking taylor expansion of z in y
11.827 * [backup-simplify]: Simplify z into z
11.827 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
11.827 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.827 * [taylor]: Taking taylor expansion of x in y
11.827 * [backup-simplify]: Simplify x into x
11.827 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.827 * [taylor]: Taking taylor expansion of y in y
11.827 * [backup-simplify]: Simplify 0 into 0
11.827 * [backup-simplify]: Simplify 1 into 1
11.828 * [backup-simplify]: Simplify (/ 1 1) into 1
11.828 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y
11.828 * [taylor]: Taking taylor expansion of -1 in y
11.828 * [backup-simplify]: Simplify -1 into -1
11.828 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
11.828 * [taylor]: Taking taylor expansion of z in y
11.828 * [backup-simplify]: Simplify z into z
11.828 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
11.828 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.828 * [taylor]: Taking taylor expansion of x in y
11.828 * [backup-simplify]: Simplify x into x
11.828 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.828 * [taylor]: Taking taylor expansion of y in y
11.828 * [backup-simplify]: Simplify 0 into 0
11.828 * [backup-simplify]: Simplify 1 into 1
11.828 * [backup-simplify]: Simplify (/ 1 1) into 1
11.829 * [backup-simplify]: Simplify (- 1) into -1
11.829 * [backup-simplify]: Simplify (+ 0 -1) into -1
11.829 * [backup-simplify]: Simplify (* z -1) into (* -1 z)
11.829 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z
11.829 * [taylor]: Taking taylor expansion of z in x
11.829 * [backup-simplify]: Simplify z into z
11.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.830 * [backup-simplify]: Simplify (- 0) into 0
11.830 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
11.830 * [backup-simplify]: Simplify (+ (* z (/ 1 x)) (* 0 -1)) into (/ z x)
11.830 * [backup-simplify]: Simplify (+ (* -1 (/ z x)) (* 0 (* -1 z))) into (- (/ z x))
11.830 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
11.830 * [taylor]: Taking taylor expansion of (/ z x) in x
11.830 * [taylor]: Taking taylor expansion of z in x
11.830 * [backup-simplify]: Simplify z into z
11.830 * [taylor]: Taking taylor expansion of x in x
11.830 * [backup-simplify]: Simplify 0 into 0
11.830 * [backup-simplify]: Simplify 1 into 1
11.830 * [backup-simplify]: Simplify (/ z 1) into z
11.830 * [backup-simplify]: Simplify (- z) into (- z)
11.830 * [taylor]: Taking taylor expansion of (- z) in z
11.830 * [taylor]: Taking taylor expansion of z in z
11.830 * [backup-simplify]: Simplify 0 into 0
11.830 * [backup-simplify]: Simplify 1 into 1
11.831 * [backup-simplify]: Simplify (- 0) into 0
11.831 * [backup-simplify]: Simplify 0 into 0
11.831 * [taylor]: Taking taylor expansion of z in z
11.831 * [backup-simplify]: Simplify 0 into 0
11.831 * [backup-simplify]: Simplify 1 into 1
11.831 * [backup-simplify]: Simplify 0 into 0
11.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
11.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.831 * [backup-simplify]: Simplify (- 0) into 0
11.832 * [backup-simplify]: Simplify (+ 0 0) into 0
11.832 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
11.832 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z x)) (* 0 (* -1 z)))) into 0
11.832 * [taylor]: Taking taylor expansion of 0 in x
11.832 * [backup-simplify]: Simplify 0 into 0
11.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
11.833 * [backup-simplify]: Simplify (- 0) into 0
11.833 * [taylor]: Taking taylor expansion of 0 in z
11.833 * [backup-simplify]: Simplify 0 into 0
11.833 * [backup-simplify]: Simplify 0 into 0
11.833 * [taylor]: Taking taylor expansion of 0 in z
11.833 * [backup-simplify]: Simplify 0 into 0
11.833 * [backup-simplify]: Simplify 0 into 0
11.834 * [backup-simplify]: Simplify (- 1) into -1
11.834 * [backup-simplify]: Simplify -1 into -1
11.834 * [backup-simplify]: Simplify 1 into 1
11.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
11.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.835 * [backup-simplify]: Simplify (- 0) into 0
11.836 * [backup-simplify]: Simplify (+ 0 0) into 0
11.836 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
11.837 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z x)) (* 0 (* -1 z))))) into 0
11.837 * [taylor]: Taking taylor expansion of 0 in x
11.837 * [backup-simplify]: Simplify 0 into 0
11.837 * [taylor]: Taking taylor expansion of 0 in z
11.837 * [backup-simplify]: Simplify 0 into 0
11.837 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.839 * [backup-simplify]: Simplify (- 0) into 0
11.839 * [taylor]: Taking taylor expansion of 0 in z
11.839 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify 0 into 0
11.839 * [taylor]: Taking taylor expansion of 0 in z
11.839 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify 0 into 0
11.840 * [backup-simplify]: Simplify (- 0) into 0
11.840 * [backup-simplify]: Simplify 0 into 0
11.840 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ y z) (/ x z))
11.840 * * * [progress]: simplifying candidates
11.842 * [simplify]: Simplifying:
  (- (log (- y x)) (log z))
  (log (/ (- y x) z))
  (exp (/ (- y x) z))
  (/ (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
  (cbrt (/ (- y x) z))
  (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z))
  (sqrt (/ (- y x) z))
  (sqrt (/ (- y x) z))
  (- (- y x))
  (- z)
  (/ y z)
  (/ x z)
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (- y x)) (cbrt z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z))
  (/ (cbrt (- y x)) (sqrt z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) 1)
  (/ (cbrt (- y x)) z)
  (/ (sqrt (- y x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- y x)) (cbrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) 1)
  (/ (sqrt (- y x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  (/ 1 1)
  (/ (- y x) z)
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z)))
  (/ (- (sqrt y) (sqrt x)) (cbrt z))
  (/ (+ (sqrt y) (sqrt x)) (sqrt z))
  (/ (- (sqrt y) (sqrt x)) (sqrt z))
  (/ (+ (sqrt y) (sqrt x)) 1)
  (/ (- (sqrt y) (sqrt x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  (/ 1 1)
  (/ (- y x) z)
  (/ 1 z)
  (/ z (- y x))
  (/ (- y x) (* (cbrt z) (cbrt z)))
  (/ (- y x) (sqrt z))
  (/ (- y x) 1)
  (/ z (cbrt (- y x)))
  (/ z (sqrt (- y x)))
  (/ z (- y x))
  (/ z (- (sqrt y) (sqrt x)))
  (/ z (- y x))
  (* z (+ (* y y) (+ (* x x) (* y x))))
  (* z (+ y x))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
11.843 * * [simplify]: Extracting # 0 : cost  45  inf +  0
11.843 * * [simplify]: Extracting # 1 : cost  65  inf +  0
11.843 * * [simplify]: Extracting # 2 : cost  63  inf +  198
11.844 * * [simplify]: Extracting # 3 : cost  32  inf +  3622
11.845 * * [simplify]: Extracting # 4 : cost  3  inf +  8419
11.847 * * [simplify]: Extracting # 5 : cost  0  inf +  9188
11.849 * * [simplify]: iteration  0 :  73  enodes  (cost  8560 )
11.876 * * [simplify]: Extracting # 0 : cost  0  inf +  9188
11.878 * * [simplify]: Extracting # 1 : cost  42  inf +  8795
11.881 * * [simplify]: Extracting # 2 : cost  0  inf +  13960
11.884 * * [simplify]: iteration  1 :  161  enodes  (cost  8046 )
11.935 * * [simplify]: Extracting # 0 : cost  0  inf +  13960
11.938 * * [simplify]: Extracting # 1 : cost  84  inf +  13878
11.941 * * [simplify]: Extracting # 2 : cost  0  inf +  23267
11.944 * * [simplify]: iteration  2 :  368  enodes  (cost  7966 )
12.072 * * [simplify]: Extracting # 0 : cost  0  inf +  23267
12.078 * * [simplify]: Extracting # 1 : cost  316  inf +  22861
12.088 * * [simplify]: Extracting # 2 : cost  70  inf +  53807
12.103 * * [simplify]: Extracting # 3 : cost  0  inf +  58310
12.117 * * [simplify]: Extracting # 4 : cost  0  inf +  58270
12.143 * * [simplify]: iteration  3 :  1099  enodes  (cost  7966 )
12.928 * * [simplify]: Extracting # 0 : cost  0  inf +  58270
12.982 * * [simplify]: Extracting # 1 : cost  1441  inf +  56282
13.062 * * [simplify]: Extracting # 2 : cost  5  inf +  211399
13.170 * * [simplify]: Extracting # 3 : cost  2  inf +  211696
13.248 * * [simplify]: Extracting # 4 : cost  0  inf +  212041
13.369 * * [simplify]: iteration  4 :  4397  enodes  (cost  7966 )
14.418 * * [simplify]: Extracting # 0 : cost  0  inf +  212041
14.545 * * [simplify]: Extracting # 1 : cost  375  inf +  211760
14.633 * * [simplify]: Extracting # 2 : cost  0  inf +  269992
14.744 * * [simplify]: iteration complete:  5000  enodes  (cost  7966 )
14.745 * [simplify]: Simplified to:
  (log (/ (- y x) z))
  (log (/ (- y x) z))
  (exp (/ (- y x) z))
  (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z))
  (* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
  (cbrt (/ (- y x) z))
  (* (* (/ (- y x) z) (/ (- y x) z)) (/ (- y x) z))
  (sqrt (/ (- y x) z))
  (sqrt (/ (- y x) z))
  (- (- y x))
  (- z)
  (/ y z)
  (/ x z)
  (* (/ (cbrt (- y x)) (cbrt z)) (/ (cbrt (- y x)) (cbrt z)))
  (/ (cbrt (- y x)) (cbrt z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z))
  (/ (cbrt (- y x)) (sqrt z))
  (* (cbrt (- y x)) (cbrt (- y x)))
  (/ (cbrt (- y x)) z)
  (/ (sqrt (- y x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- y x)) (cbrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) (sqrt z))
  (sqrt (- y x))
  (/ (sqrt (- y x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  1
  (/ (- y x) z)
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z)))
  (/ (- (sqrt y) (sqrt x)) (cbrt z))
  (/ (+ (sqrt y) (sqrt x)) (sqrt z))
  (/ (- (sqrt y) (sqrt x)) (sqrt z))
  (+ (sqrt y) (sqrt x))
  (/ (- (sqrt y) (sqrt x)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- y x) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- y x) (sqrt z))
  1
  (/ (- y x) z)
  (/ 1 z)
  (/ z (- y x))
  (/ (- y x) (* (cbrt z) (cbrt z)))
  (/ (- y x) (sqrt z))
  (- y x)
  (/ z (cbrt (- y x)))
  (/ z (sqrt (- y x)))
  (/ z (- y x))
  (/ z (- (sqrt y) (sqrt x)))
  (/ z (- y x))
  (* (+ (* x (+ y x)) (* y y)) z)
  (* z (+ y x))
  (/ (- y x) z)
  (/ (- y x) z)
  (/ (- y x) z)
14.747 * * * [progress]: adding candidates to table
14.941 * * [progress]: iteration 2 / 4
14.941 * * * [progress]: picking best candidate
14.945 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>
14.945 * * * [progress]: localizing error
14.964 * * * [progress]: generating rewritten candidates
14.964 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
14.989 * * * [progress]: generating series expansions
14.989 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
14.989 * [backup-simplify]: Simplify (- (/ y z) (/ x z)) into (- (/ y z) (/ x z))
14.989 * [approximate]: Taking taylor expansion of (- (/ y z) (/ x z)) in (y z x) around 0
14.989 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in x
14.989 * [taylor]: Taking taylor expansion of (/ y z) in x
14.989 * [taylor]: Taking taylor expansion of y in x
14.989 * [backup-simplify]: Simplify y into y
14.989 * [taylor]: Taking taylor expansion of z in x
14.989 * [backup-simplify]: Simplify z into z
14.989 * [backup-simplify]: Simplify (/ y z) into (/ y z)
14.989 * [taylor]: Taking taylor expansion of (/ x z) in x
14.989 * [taylor]: Taking taylor expansion of x in x
14.990 * [backup-simplify]: Simplify 0 into 0
14.990 * [backup-simplify]: Simplify 1 into 1
14.990 * [taylor]: Taking taylor expansion of z in x
14.990 * [backup-simplify]: Simplify z into z
14.990 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.990 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in z
14.990 * [taylor]: Taking taylor expansion of (/ y z) in z
14.990 * [taylor]: Taking taylor expansion of y in z
14.990 * [backup-simplify]: Simplify y into y
14.990 * [taylor]: Taking taylor expansion of z in z
14.990 * [backup-simplify]: Simplify 0 into 0
14.990 * [backup-simplify]: Simplify 1 into 1
14.990 * [backup-simplify]: Simplify (/ y 1) into y
14.990 * [taylor]: Taking taylor expansion of (/ x z) in z
14.990 * [taylor]: Taking taylor expansion of x in z
14.990 * [backup-simplify]: Simplify x into x
14.990 * [taylor]: Taking taylor expansion of z in z
14.990 * [backup-simplify]: Simplify 0 into 0
14.990 * [backup-simplify]: Simplify 1 into 1
14.990 * [backup-simplify]: Simplify (/ x 1) into x
14.990 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in y
14.990 * [taylor]: Taking taylor expansion of (/ y z) in y
14.990 * [taylor]: Taking taylor expansion of y in y
14.990 * [backup-simplify]: Simplify 0 into 0
14.990 * [backup-simplify]: Simplify 1 into 1
14.990 * [taylor]: Taking taylor expansion of z in y
14.990 * [backup-simplify]: Simplify z into z
14.990 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.990 * [taylor]: Taking taylor expansion of (/ x z) in y
14.990 * [taylor]: Taking taylor expansion of x in y
14.990 * [backup-simplify]: Simplify x into x
14.990 * [taylor]: Taking taylor expansion of z in y
14.990 * [backup-simplify]: Simplify z into z
14.990 * [backup-simplify]: Simplify (/ x z) into (/ x z)
14.990 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in y
14.990 * [taylor]: Taking taylor expansion of (/ y z) in y
14.990 * [taylor]: Taking taylor expansion of y in y
14.990 * [backup-simplify]: Simplify 0 into 0
14.990 * [backup-simplify]: Simplify 1 into 1
14.990 * [taylor]: Taking taylor expansion of z in y
14.990 * [backup-simplify]: Simplify z into z
14.990 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
14.990 * [taylor]: Taking taylor expansion of (/ x z) in y
14.990 * [taylor]: Taking taylor expansion of x in y
14.990 * [backup-simplify]: Simplify x into x
14.990 * [taylor]: Taking taylor expansion of z in y
14.990 * [backup-simplify]: Simplify z into z
14.991 * [backup-simplify]: Simplify (/ x z) into (/ x z)
14.991 * [backup-simplify]: Simplify (- (/ x z)) into (- (/ x z))
14.991 * [backup-simplify]: Simplify (+ 0 (- (/ x z))) into (- (/ x z))
14.991 * [taylor]: Taking taylor expansion of (- (/ x z)) in z
14.991 * [taylor]: Taking taylor expansion of (/ x z) in z
14.991 * [taylor]: Taking taylor expansion of x in z
14.991 * [backup-simplify]: Simplify x into x
14.991 * [taylor]: Taking taylor expansion of z in z
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify 1 into 1
14.991 * [backup-simplify]: Simplify (/ x 1) into x
14.991 * [backup-simplify]: Simplify (- x) into (- x)
14.991 * [taylor]: Taking taylor expansion of (- x) in x
14.991 * [taylor]: Taking taylor expansion of x in x
14.991 * [backup-simplify]: Simplify 0 into 0
14.991 * [backup-simplify]: Simplify 1 into 1
14.991 * [backup-simplify]: Simplify (- 0) into 0
14.992 * [backup-simplify]: Simplify 0 into 0
14.992 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
14.992 * [backup-simplify]: Simplify (- 0) into 0
14.992 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
14.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.992 * [taylor]: Taking taylor expansion of z in z
14.992 * [backup-simplify]: Simplify 0 into 0
14.992 * [backup-simplify]: Simplify 1 into 1
14.992 * [backup-simplify]: Simplify (/ 1 1) into 1
14.992 * [taylor]: Taking taylor expansion of 1 in x
14.992 * [backup-simplify]: Simplify 1 into 1
14.992 * [backup-simplify]: Simplify 1 into 1
14.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
14.993 * [backup-simplify]: Simplify (- 0) into 0
14.993 * [taylor]: Taking taylor expansion of 0 in x
14.993 * [backup-simplify]: Simplify 0 into 0
14.993 * [backup-simplify]: Simplify 0 into 0
14.993 * [backup-simplify]: Simplify (- 1) into -1
14.993 * [backup-simplify]: Simplify -1 into -1
14.993 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
14.994 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.994 * [backup-simplify]: Simplify (- 0) into 0
14.994 * [backup-simplify]: Simplify (+ 0 0) into 0
14.994 * [taylor]: Taking taylor expansion of 0 in z
14.994 * [backup-simplify]: Simplify 0 into 0
14.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.995 * [taylor]: Taking taylor expansion of 0 in x
14.995 * [backup-simplify]: Simplify 0 into 0
14.995 * [backup-simplify]: Simplify 0 into 0
14.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.996 * [backup-simplify]: Simplify (- 0) into 0
14.996 * [taylor]: Taking taylor expansion of 0 in x
14.996 * [backup-simplify]: Simplify 0 into 0
14.996 * [backup-simplify]: Simplify 0 into 0
14.996 * [backup-simplify]: Simplify 0 into 0
14.996 * [backup-simplify]: Simplify 0 into 0
14.996 * [backup-simplify]: Simplify (- 0) into 0
14.996 * [backup-simplify]: Simplify 0 into 0
14.996 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.997 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
14.997 * [backup-simplify]: Simplify (- 0) into 0
14.997 * [backup-simplify]: Simplify (+ 0 0) into 0
14.997 * [taylor]: Taking taylor expansion of 0 in z
14.997 * [backup-simplify]: Simplify 0 into 0
14.997 * [taylor]: Taking taylor expansion of 0 in x
14.997 * [backup-simplify]: Simplify 0 into 0
14.997 * [backup-simplify]: Simplify 0 into 0
14.997 * [backup-simplify]: Simplify (+ (* -1 (* x (* (/ 1 z) 1))) (* 1 (* 1 (* (/ 1 z) y)))) into (- (/ y z) (/ x z))
14.998 * [backup-simplify]: Simplify (- (/ (/ 1 y) (/ 1 z)) (/ (/ 1 x) (/ 1 z))) into (- (/ z y) (/ z x))
14.998 * [approximate]: Taking taylor expansion of (- (/ z y) (/ z x)) in (y z x) around 0
14.998 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in x
14.998 * [taylor]: Taking taylor expansion of (/ z y) in x
14.998 * [taylor]: Taking taylor expansion of z in x
14.998 * [backup-simplify]: Simplify z into z
14.998 * [taylor]: Taking taylor expansion of y in x
14.998 * [backup-simplify]: Simplify y into y
14.998 * [backup-simplify]: Simplify (/ z y) into (/ z y)
14.998 * [taylor]: Taking taylor expansion of (/ z x) in x
14.998 * [taylor]: Taking taylor expansion of z in x
14.998 * [backup-simplify]: Simplify z into z
14.998 * [taylor]: Taking taylor expansion of x in x
14.998 * [backup-simplify]: Simplify 0 into 0
14.998 * [backup-simplify]: Simplify 1 into 1
14.998 * [backup-simplify]: Simplify (/ z 1) into z
14.998 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in z
14.998 * [taylor]: Taking taylor expansion of (/ z y) in z
14.998 * [taylor]: Taking taylor expansion of z in z
14.998 * [backup-simplify]: Simplify 0 into 0
14.998 * [backup-simplify]: Simplify 1 into 1
14.998 * [taylor]: Taking taylor expansion of y in z
14.998 * [backup-simplify]: Simplify y into y
14.998 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
14.998 * [taylor]: Taking taylor expansion of (/ z x) in z
14.998 * [taylor]: Taking taylor expansion of z in z
14.998 * [backup-simplify]: Simplify 0 into 0
14.999 * [backup-simplify]: Simplify 1 into 1
14.999 * [taylor]: Taking taylor expansion of x in z
14.999 * [backup-simplify]: Simplify x into x
14.999 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.999 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
14.999 * [taylor]: Taking taylor expansion of (/ z y) in y
14.999 * [taylor]: Taking taylor expansion of z in y
14.999 * [backup-simplify]: Simplify z into z
14.999 * [taylor]: Taking taylor expansion of y in y
14.999 * [backup-simplify]: Simplify 0 into 0
14.999 * [backup-simplify]: Simplify 1 into 1
14.999 * [backup-simplify]: Simplify (/ z 1) into z
14.999 * [taylor]: Taking taylor expansion of (/ z x) in y
14.999 * [taylor]: Taking taylor expansion of z in y
14.999 * [backup-simplify]: Simplify z into z
14.999 * [taylor]: Taking taylor expansion of x in y
14.999 * [backup-simplify]: Simplify x into x
14.999 * [backup-simplify]: Simplify (/ z x) into (/ z x)
14.999 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
14.999 * [taylor]: Taking taylor expansion of (/ z y) in y
14.999 * [taylor]: Taking taylor expansion of z in y
14.999 * [backup-simplify]: Simplify z into z
14.999 * [taylor]: Taking taylor expansion of y in y
14.999 * [backup-simplify]: Simplify 0 into 0
14.999 * [backup-simplify]: Simplify 1 into 1
14.999 * [backup-simplify]: Simplify (/ z 1) into z
14.999 * [taylor]: Taking taylor expansion of (/ z x) in y
14.999 * [taylor]: Taking taylor expansion of z in y
14.999 * [backup-simplify]: Simplify z into z
14.999 * [taylor]: Taking taylor expansion of x in y
14.999 * [backup-simplify]: Simplify x into x
14.999 * [backup-simplify]: Simplify (/ z x) into (/ z x)
15.000 * [backup-simplify]: Simplify (+ z 0) into z
15.000 * [taylor]: Taking taylor expansion of z in z
15.000 * [backup-simplify]: Simplify 0 into 0
15.000 * [backup-simplify]: Simplify 1 into 1
15.000 * [taylor]: Taking taylor expansion of 1 in x
15.000 * [backup-simplify]: Simplify 1 into 1
15.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
15.001 * [backup-simplify]: Simplify (- (/ z x)) into (- (/ z x))
15.001 * [backup-simplify]: Simplify (+ 0 (- (/ z x))) into (- (/ z x))
15.001 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
15.001 * [taylor]: Taking taylor expansion of (/ z x) in z
15.001 * [taylor]: Taking taylor expansion of z in z
15.001 * [backup-simplify]: Simplify 0 into 0
15.001 * [backup-simplify]: Simplify 1 into 1
15.001 * [taylor]: Taking taylor expansion of x in z
15.001 * [backup-simplify]: Simplify x into x
15.001 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.001 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
15.001 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.001 * [taylor]: Taking taylor expansion of x in x
15.001 * [backup-simplify]: Simplify 0 into 0
15.001 * [backup-simplify]: Simplify 1 into 1
15.002 * [backup-simplify]: Simplify (/ 1 1) into 1
15.002 * [backup-simplify]: Simplify (- 1) into -1
15.002 * [backup-simplify]: Simplify -1 into -1
15.002 * [taylor]: Taking taylor expansion of 0 in x
15.002 * [backup-simplify]: Simplify 0 into 0
15.002 * [backup-simplify]: Simplify 1 into 1
15.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.004 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
15.004 * [backup-simplify]: Simplify (- 0) into 0
15.004 * [backup-simplify]: Simplify (+ 0 0) into 0
15.004 * [taylor]: Taking taylor expansion of 0 in z
15.004 * [backup-simplify]: Simplify 0 into 0
15.004 * [taylor]: Taking taylor expansion of 0 in x
15.004 * [backup-simplify]: Simplify 0 into 0
15.005 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
15.005 * [backup-simplify]: Simplify (- 0) into 0
15.005 * [taylor]: Taking taylor expansion of 0 in x
15.005 * [backup-simplify]: Simplify 0 into 0
15.005 * [taylor]: Taking taylor expansion of 0 in x
15.005 * [backup-simplify]: Simplify 0 into 0
15.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.006 * [backup-simplify]: Simplify (- 0) into 0
15.006 * [backup-simplify]: Simplify 0 into 0
15.006 * [backup-simplify]: Simplify 0 into 0
15.006 * [backup-simplify]: Simplify 0 into 0
15.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.008 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.009 * [backup-simplify]: Simplify (- 0) into 0
15.009 * [backup-simplify]: Simplify (+ 0 0) into 0
15.009 * [taylor]: Taking taylor expansion of 0 in z
15.009 * [backup-simplify]: Simplify 0 into 0
15.009 * [taylor]: Taking taylor expansion of 0 in x
15.009 * [backup-simplify]: Simplify 0 into 0
15.009 * [taylor]: Taking taylor expansion of 0 in x
15.009 * [backup-simplify]: Simplify 0 into 0
15.009 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.010 * [backup-simplify]: Simplify (- 0) into 0
15.010 * [taylor]: Taking taylor expansion of 0 in x
15.010 * [backup-simplify]: Simplify 0 into 0
15.010 * [taylor]: Taking taylor expansion of 0 in x
15.010 * [backup-simplify]: Simplify 0 into 0
15.010 * [backup-simplify]: Simplify 0 into 0
15.010 * [backup-simplify]: Simplify 0 into 0
15.010 * [backup-simplify]: Simplify 0 into 0
15.010 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* (/ 1 z) 1)))) into (- (/ y z) (/ x z))
15.011 * [backup-simplify]: Simplify (- (/ (/ 1 (- y)) (/ 1 (- z))) (/ (/ 1 (- x)) (/ 1 (- z)))) into (- (/ z y) (/ z x))
15.011 * [approximate]: Taking taylor expansion of (- (/ z y) (/ z x)) in (y z x) around 0
15.011 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in x
15.011 * [taylor]: Taking taylor expansion of (/ z y) in x
15.011 * [taylor]: Taking taylor expansion of z in x
15.011 * [backup-simplify]: Simplify z into z
15.011 * [taylor]: Taking taylor expansion of y in x
15.011 * [backup-simplify]: Simplify y into y
15.011 * [backup-simplify]: Simplify (/ z y) into (/ z y)
15.011 * [taylor]: Taking taylor expansion of (/ z x) in x
15.011 * [taylor]: Taking taylor expansion of z in x
15.011 * [backup-simplify]: Simplify z into z
15.011 * [taylor]: Taking taylor expansion of x in x
15.011 * [backup-simplify]: Simplify 0 into 0
15.011 * [backup-simplify]: Simplify 1 into 1
15.011 * [backup-simplify]: Simplify (/ z 1) into z
15.011 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in z
15.011 * [taylor]: Taking taylor expansion of (/ z y) in z
15.011 * [taylor]: Taking taylor expansion of z in z
15.011 * [backup-simplify]: Simplify 0 into 0
15.011 * [backup-simplify]: Simplify 1 into 1
15.011 * [taylor]: Taking taylor expansion of y in z
15.011 * [backup-simplify]: Simplify y into y
15.011 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
15.011 * [taylor]: Taking taylor expansion of (/ z x) in z
15.011 * [taylor]: Taking taylor expansion of z in z
15.011 * [backup-simplify]: Simplify 0 into 0
15.011 * [backup-simplify]: Simplify 1 into 1
15.012 * [taylor]: Taking taylor expansion of x in z
15.012 * [backup-simplify]: Simplify x into x
15.012 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.012 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
15.012 * [taylor]: Taking taylor expansion of (/ z y) in y
15.012 * [taylor]: Taking taylor expansion of z in y
15.012 * [backup-simplify]: Simplify z into z
15.012 * [taylor]: Taking taylor expansion of y in y
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 1 into 1
15.012 * [backup-simplify]: Simplify (/ z 1) into z
15.012 * [taylor]: Taking taylor expansion of (/ z x) in y
15.012 * [taylor]: Taking taylor expansion of z in y
15.012 * [backup-simplify]: Simplify z into z
15.012 * [taylor]: Taking taylor expansion of x in y
15.012 * [backup-simplify]: Simplify x into x
15.012 * [backup-simplify]: Simplify (/ z x) into (/ z x)
15.012 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
15.012 * [taylor]: Taking taylor expansion of (/ z y) in y
15.012 * [taylor]: Taking taylor expansion of z in y
15.012 * [backup-simplify]: Simplify z into z
15.012 * [taylor]: Taking taylor expansion of y in y
15.012 * [backup-simplify]: Simplify 0 into 0
15.012 * [backup-simplify]: Simplify 1 into 1
15.012 * [backup-simplify]: Simplify (/ z 1) into z
15.012 * [taylor]: Taking taylor expansion of (/ z x) in y
15.012 * [taylor]: Taking taylor expansion of z in y
15.012 * [backup-simplify]: Simplify z into z
15.012 * [taylor]: Taking taylor expansion of x in y
15.012 * [backup-simplify]: Simplify x into x
15.012 * [backup-simplify]: Simplify (/ z x) into (/ z x)
15.012 * [backup-simplify]: Simplify (+ z 0) into z
15.013 * [taylor]: Taking taylor expansion of z in z
15.013 * [backup-simplify]: Simplify 0 into 0
15.013 * [backup-simplify]: Simplify 1 into 1
15.013 * [taylor]: Taking taylor expansion of 1 in x
15.013 * [backup-simplify]: Simplify 1 into 1
15.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
15.014 * [backup-simplify]: Simplify (- (/ z x)) into (- (/ z x))
15.014 * [backup-simplify]: Simplify (+ 0 (- (/ z x))) into (- (/ z x))
15.014 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
15.014 * [taylor]: Taking taylor expansion of (/ z x) in z
15.014 * [taylor]: Taking taylor expansion of z in z
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 1 into 1
15.014 * [taylor]: Taking taylor expansion of x in z
15.014 * [backup-simplify]: Simplify x into x
15.014 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.014 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
15.014 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.014 * [taylor]: Taking taylor expansion of x in x
15.014 * [backup-simplify]: Simplify 0 into 0
15.014 * [backup-simplify]: Simplify 1 into 1
15.015 * [backup-simplify]: Simplify (/ 1 1) into 1
15.015 * [backup-simplify]: Simplify (- 1) into -1
15.015 * [backup-simplify]: Simplify -1 into -1
15.015 * [taylor]: Taking taylor expansion of 0 in x
15.015 * [backup-simplify]: Simplify 0 into 0
15.015 * [backup-simplify]: Simplify 1 into 1
15.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.017 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
15.017 * [backup-simplify]: Simplify (- 0) into 0
15.018 * [backup-simplify]: Simplify (+ 0 0) into 0
15.018 * [taylor]: Taking taylor expansion of 0 in z
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [taylor]: Taking taylor expansion of 0 in x
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
15.018 * [backup-simplify]: Simplify (- 0) into 0
15.018 * [taylor]: Taking taylor expansion of 0 in x
15.018 * [backup-simplify]: Simplify 0 into 0
15.018 * [taylor]: Taking taylor expansion of 0 in x
15.018 * [backup-simplify]: Simplify 0 into 0
15.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.020 * [backup-simplify]: Simplify (- 0) into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.020 * [backup-simplify]: Simplify 0 into 0
15.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.022 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.022 * [backup-simplify]: Simplify (- 0) into 0
15.023 * [backup-simplify]: Simplify (+ 0 0) into 0
15.023 * [taylor]: Taking taylor expansion of 0 in z
15.023 * [backup-simplify]: Simplify 0 into 0
15.023 * [taylor]: Taking taylor expansion of 0 in x
15.023 * [backup-simplify]: Simplify 0 into 0
15.023 * [taylor]: Taking taylor expansion of 0 in x
15.023 * [backup-simplify]: Simplify 0 into 0
15.023 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.023 * [backup-simplify]: Simplify (- 0) into 0
15.023 * [taylor]: Taking taylor expansion of 0 in x
15.023 * [backup-simplify]: Simplify 0 into 0
15.023 * [taylor]: Taking taylor expansion of 0 in x
15.023 * [backup-simplify]: Simplify 0 into 0
15.023 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify 0 into 0
15.024 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) 1)))) into (- (/ y z) (/ x z))
15.024 * * * [progress]: simplifying candidates
15.025 * [simplify]: Simplifying:
  (/ (exp (/ y z)) (exp (/ x z)))
  (log (- (/ y z) (/ x z)))
  (exp (- (/ y z) (/ x z)))
  (* (cbrt (- (/ y z) (/ x z))) (cbrt (- (/ y z) (/ x z))))
  (cbrt (- (/ y z) (/ x z)))
  (* (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))) (- (/ y z) (/ x z)))
  (sqrt (- (/ y z) (/ x z)))
  (sqrt (- (/ y z) (/ x z)))
  (- y x)
  (- (* y z) (* z x))
  (* z z)
  (- (pow (/ y z) 3) (pow (/ x z) 3))
  (+ (* (/ y z) (/ y z)) (+ (* (/ x z) (/ x z)) (* (/ y z) (/ x z))))
  (- (/ x z))
  (- (* (/ y z) (/ y z)) (* (/ x z) (/ x z)))
  (+ (/ y z) (/ x z))
  (+ (sqrt (/ y z)) (sqrt (/ x z)))
  (- (sqrt (/ y z)) (sqrt (/ x z)))
  (+ (sqrt (/ y z)) (/ (sqrt x) (sqrt z)))
  (- (sqrt (/ y z)) (/ (sqrt x) (sqrt z)))
  (+ (/ (sqrt y) (sqrt z)) (sqrt (/ x z)))
  (- (/ (sqrt y) (sqrt z)) (sqrt (/ x z)))
  (+ (/ (sqrt y) (sqrt z)) (/ (sqrt x) (sqrt z)))
  (- (/ (sqrt y) (sqrt z)) (/ (sqrt x) (sqrt z)))
  (- (/ y (cbrt z)) (/ x (cbrt z)))
  (- (/ y (sqrt z)) (/ x (sqrt z)))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- y x)
  (- (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
15.026 * * [simplify]: Extracting # 0 : cost  26  inf +  0
15.026 * * [simplify]: Extracting # 1 : cost  49  inf +  0
15.026 * * [simplify]: Extracting # 2 : cost  51  inf +  45
15.027 * * [simplify]: Extracting # 3 : cost  23  inf +  3374
15.028 * * [simplify]: Extracting # 4 : cost  4  inf +  6818
15.029 * * [simplify]: Extracting # 5 : cost  0  inf +  7830
15.031 * * [simplify]: iteration  0 :  55  enodes  (cost  6034 )
15.052 * * [simplify]: Extracting # 0 : cost  0  inf +  7830
15.054 * * [simplify]: Extracting # 1 : cost  20  inf +  7197
15.056 * * [simplify]: Extracting # 2 : cost  3  inf +  9465
15.059 * * [simplify]: Extracting # 3 : cost  0  inf +  9972
15.062 * * [simplify]: iteration  1 :  118  enodes  (cost  5663 )
15.109 * * [simplify]: Extracting # 0 : cost  0  inf +  9972
15.112 * * [simplify]: Extracting # 1 : cost  44  inf +  9801
15.117 * * [simplify]: Extracting # 2 : cost  3  inf +  16447
15.122 * * [simplify]: Extracting # 3 : cost  0  inf +  16692
15.126 * * [simplify]: iteration  2 :  252  enodes  (cost  5623 )
15.200 * * [simplify]: Extracting # 0 : cost  0  inf +  16692
15.207 * * [simplify]: Extracting # 1 : cost  95  inf +  16612
15.216 * * [simplify]: Extracting # 2 : cost  3  inf +  35818
15.225 * * [simplify]: Extracting # 3 : cost  0  inf +  36325
15.231 * * [simplify]: iteration  3 :  543  enodes  (cost  5623 )
15.457 * * [simplify]: Extracting # 0 : cost  0  inf +  36325
15.469 * * [simplify]: Extracting # 1 : cost  250  inf +  35845
15.487 * * [simplify]: Extracting # 2 : cost  6  inf +  109503
15.517 * * [simplify]: Extracting # 3 : cost  0  inf +  110406
15.559 * * [simplify]: Extracting # 4 : cost  0  inf +  110326
15.602 * * [simplify]: iteration  4 :  1389  enodes  (cost  5623 )
16.522 * * [simplify]: Extracting # 0 : cost  0  inf +  110326
16.576 * * [simplify]: Extracting # 1 : cost  619  inf +  105596
16.711 * * [simplify]: Extracting # 2 : cost  3  inf +  366031
16.872 * * [simplify]: Extracting # 3 : cost  0  inf +  366338
16.980 * * [simplify]: iteration  5 :  3780  enodes  (cost  5623 )
17.901 * * [simplify]: Extracting # 0 : cost  0  inf +  366338
18.016 * * [simplify]: Extracting # 1 : cost  572  inf +  363218
18.159 * * [simplify]: Extracting # 2 : cost  0  inf +  695477
18.330 * * [simplify]: Extracting # 3 : cost  0  inf +  695197
18.493 * * [simplify]: iteration complete:  5008  enodes  (cost  5623 )
18.493 * [simplify]: Simplified to:
  (exp (- (/ y z) (/ x z)))
  (log (- (/ y z) (/ x z)))
  (exp (- (/ y z) (/ x z)))
  (* (cbrt (- (/ y z) (/ x z))) (cbrt (- (/ y z) (/ x z))))
  (cbrt (- (/ y z) (/ x z)))
  (* (* (- (/ y z) (/ x z)) (- (/ y z) (/ x z))) (- (/ y z) (/ x z)))
  (sqrt (- (/ y z) (/ x z)))
  (sqrt (- (/ y z) (/ x z)))
  (- y x)
  (* z (- y x))
  (* z z)
  (- (* (* (/ y z) (/ y z)) (/ y z)) (* (* (/ x z) (/ x z)) (/ x z)))
  (+ (* (/ y z) (/ y z)) (* (/ x z) (+ (/ y z) (/ x z))))
  (- (/ x z))
  (- (* (/ y z) (/ y z)) (* (/ x z) (/ x z)))
  (+ (/ y z) (/ x z))
  (+ (sqrt (/ y z)) (sqrt (/ x z)))
  (- (sqrt (/ y z)) (sqrt (/ x z)))
  (+ (sqrt (/ y z)) (/ (sqrt x) (sqrt z)))
  (- (sqrt (/ y z)) (/ (sqrt x) (sqrt z)))
  (+ (/ (sqrt y) (sqrt z)) (sqrt (/ x z)))
  (- (/ (sqrt y) (sqrt z)) (sqrt (/ x z)))
  (+ (/ (sqrt y) (sqrt z)) (/ (sqrt x) (sqrt z)))
  (- (/ (sqrt y) (sqrt z)) (/ (sqrt x) (sqrt z)))
  (- (/ y (cbrt z)) (/ x (cbrt z)))
  (- (/ y (sqrt z)) (/ x (sqrt z)))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- y x)
  (- (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
  (- (/ y z) (/ x z))
18.496 * * * [progress]: adding candidates to table
18.628 * [progress]: [Phase 3 of 3] Extracting.
18.629 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))> #<alt (λ (x y z) (+ x (/ (- y x) z)))>)
18.630 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (/ (- y x) z)) z y x)
18.631 * * * * [regimes]: Trying to branch on (+ x (/ (- y x) z)) from (#<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))> #<alt (λ (x y z) (+ x (/ (- y x) z)))>)
18.680 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))> #<alt (λ (x y z) (+ x (/ (- y x) z)))>)
18.739 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))> #<alt (λ (x y z) (+ x (/ (- y x) z)))>)
18.784 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))> #<alt (λ (x y z) (+ x (/ (- y x) z)))>)
18.839 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
18.840 * [simplify]: Simplifying:
  (+ x (- (/ y z) (/ x z)))
18.840 * * [simplify]: Extracting # 0 : cost  1  inf +  0
18.840 * * [simplify]: Extracting # 1 : cost  3  inf +  0
18.840 * * [simplify]: Extracting # 2 : cost  4  inf +  1
18.840 * * [simplify]: Extracting # 3 : cost  6  inf +  1
18.840 * * [simplify]: Extracting # 4 : cost  0  inf +  373
18.840 * * [simplify]: iteration  0 :  7  enodes  (cost  163 )
18.841 * * [simplify]: Extracting # 0 : cost  0  inf +  373
18.841 * * [simplify]: iteration  1 :  8  enodes  (cost  163 )
18.842 * * [simplify]: Extracting # 0 : cost  0  inf +  373
18.842 * * [simplify]: iteration complete:  8  enodes  (cost  163 )
18.842 * [simplify]: Simplified to:
  (+ x (- (/ y z) (/ x z)))
20.146 * [regime-testing]: Baseline error score: 0.015148134141948032
20.164 * [regime-testing]: Oracle error score: 0.010397540317720005
20.200 * [regime-testing]: End program error score: 0.015148134141948032