2.950 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying:
  (+ x (/ (- y x) z))
0.028 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.028 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.028 * * [simplify]: Extracting # 2 : cost  4  inf +  1
0.028 * * [simplify]: Extracting # 3 : cost  4  inf +  2
0.028 * * [simplify]: Extracting # 4 : cost  0  inf +  251
0.028 * * [simplify]: iteration  0 :  6  enodes  (cost  123 )
0.030 * * [simplify]: Extracting # 0 : cost  0  inf +  251
0.030 * * [simplify]: Extracting # 1 : cost  3  inf +  251
0.030 * * [simplify]: Extracting # 2 : cost  0  inf +  376
0.031 * * [simplify]: iteration  1 :  12  enodes  (cost  123 )
0.034 * * [simplify]: Extracting # 0 : cost  0  inf +  376
0.034 * * [simplify]: Extracting # 1 : cost  3  inf +  376
0.034 * * [simplify]: Extracting # 2 : cost  0  inf +  623
0.034 * * [simplify]: iteration  2 :  19  enodes  (cost  123 )
0.042 * * [simplify]: Extracting # 0 : cost  0  inf +  623
0.042 * * [simplify]: Extracting # 1 : cost  2  inf +  623
0.042 * * [simplify]: Extracting # 2 : cost  0  inf +  867
0.042 * * [simplify]: iteration  3 :  28  enodes  (cost  123 )
0.047 * * [simplify]: Extracting # 0 : cost  0  inf +  867
0.047 * * [simplify]: Extracting # 1 : cost  2  inf +  867
0.047 * * [simplify]: Extracting # 2 : cost  0  inf +  1030
0.048 * * [simplify]: iteration  4 :  38  enodes  (cost  123 )
0.053 * * [simplify]: Extracting # 0 : cost  0  inf +  1030
0.054 * * [simplify]: Extracting # 1 : cost  5  inf +  950
0.054 * * [simplify]: Extracting # 2 : cost  0  inf +  1361
0.055 * * [simplify]: iteration  5 :  54  enodes  (cost  123 )
0.064 * * [simplify]: Extracting # 0 : cost  0  inf +  1361
0.065 * * [simplify]: Extracting # 1 : cost  9  inf +  1281
0.065 * * [simplify]: Extracting # 2 : cost  0  inf +  2261
0.066 * * [simplify]: iteration  6 :  93  enodes  (cost  123 )
0.077 * * [simplify]: Extracting # 0 : cost  0  inf +  2261
0.078 * * [simplify]: Extracting # 1 : cost  15  inf +  1981
0.079 * * [simplify]: Extracting # 2 : cost  0  inf +  3893
0.080 * * [simplify]: iteration  7 :  143  enodes  (cost  123 )
0.095 * * [simplify]: Extracting # 0 : cost  0  inf +  3893
0.096 * * [simplify]: Extracting # 1 : cost  11  inf +  3373
0.098 * * [simplify]: Extracting # 2 : cost  0  inf +  4796
0.099 * * [simplify]: iteration  8 :  183  enodes  (cost  123 )
0.114 * * [simplify]: Extracting # 0 : cost  0  inf +  4796
0.116 * * [simplify]: Extracting # 1 : cost  8  inf +  4236
0.118 * * [simplify]: Extracting # 2 : cost  0  inf +  5135
0.120 * * [simplify]: iteration  9 :  235  enodes  (cost  123 )
0.140 * * [simplify]: Extracting # 0 : cost  0  inf +  5135
0.142 * * [simplify]: Extracting # 1 : cost  7  inf +  4895
0.144 * * [simplify]: Extracting # 2 : cost  0  inf +  5466
0.147 * * [simplify]: iteration  10 :  275  enodes  (cost  123 )
0.166 * * [simplify]: Extracting # 0 : cost  0  inf +  5466
0.171 * * [simplify]: Extracting # 1 : cost  13  inf +  5186
0.176 * * [simplify]: Extracting # 2 : cost  0  inf +  6290
0.182 * * [simplify]: iteration  11 :  327  enodes  (cost  123 )
0.231 * * [simplify]: Extracting # 0 : cost  0  inf +  6290
0.236 * * [simplify]: Extracting # 1 : cost  14  inf +  5810
0.242 * * [simplify]: Extracting # 2 : cost  0  inf +  7243
0.247 * * [simplify]: iteration  12 :  375  enodes  (cost  123 )
0.287 * * [simplify]: Extracting # 0 : cost  0  inf +  7243
0.293 * * [simplify]: Extracting # 1 : cost  5  inf +  6843
0.300 * * [simplify]: Extracting # 2 : cost  0  inf +  7374
0.307 * * [simplify]: iteration  13 :  459  enodes  (cost  123 )
0.370 * * [simplify]: Extracting # 0 : cost  0  inf +  7374
0.377 * * [simplify]: Extracting # 1 : cost  3  inf +  7174
0.384 * * [simplify]: Extracting # 2 : cost  0  inf +  7420
0.392 * * [simplify]: iteration  14 :  503  enodes  (cost  123 )
0.471 * * [simplify]: Extracting # 0 : cost  0  inf +  7420
0.478 * * [simplify]: Extracting # 1 : cost  7  inf +  7300
0.487 * * [simplify]: Extracting # 2 : cost  0  inf +  8034
0.496 * * [simplify]: iteration  15 :  570  enodes  (cost  123 )
0.556 * * [simplify]: Extracting # 0 : cost  0  inf +  8034
0.564 * * [simplify]: Extracting # 1 : cost  5  inf +  7754
0.573 * * [simplify]: Extracting # 2 : cost  0  inf +  8244
0.580 * * [simplify]: iteration  16 :  596  enodes  (cost  123 )
0.613 * * [simplify]: Extracting # 0 : cost  0  inf +  8244
0.618 * * [simplify]: Extracting # 1 : cost  5  inf +  8044
0.626 * * [simplify]: Extracting # 2 : cost  0  inf +  8616
0.635 * * [simplify]: iteration  17 :  633  enodes  (cost  123 )
0.675 * * [simplify]: Extracting # 0 : cost  0  inf +  8616
0.679 * * [simplify]: Extracting # 1 : cost  5  inf +  8416
0.684 * * [simplify]: Extracting # 2 : cost  0  inf +  8906
0.692 * * [simplify]: iteration  18 :  670  enodes  (cost  123 )
0.769 * * [simplify]: Extracting # 0 : cost  0  inf +  8906
0.777 * * [simplify]: Extracting # 1 : cost  5  inf +  8706
0.786 * * [simplify]: Extracting # 2 : cost  0  inf +  9196
0.792 * * [simplify]: iteration  19 :  718  enodes  (cost  123 )
0.835 * * [simplify]: Extracting # 0 : cost  0  inf +  9196
0.843 * * [simplify]: Extracting # 1 : cost  3  inf +  8996
0.853 * * [simplify]: Extracting # 2 : cost  0  inf +  9242
0.862 * * [simplify]: iteration  20 :  757  enodes  (cost  123 )
0.930 * * [simplify]: Extracting # 0 : cost  0  inf +  9242
0.936 * * [simplify]: Extracting # 1 : cost  5  inf +  9122
0.940 * * [simplify]: Extracting # 2 : cost  0  inf +  9694
0.946 * * [simplify]: iteration  21 :  804  enodes  (cost  123 )
0.991 * * [simplify]: Extracting # 0 : cost  0  inf +  9694
1.000 * * [simplify]: Extracting # 1 : cost  6  inf +  9494
1.010 * * [simplify]: Extracting # 2 : cost  0  inf +  10147
1.020 * * [simplify]: iteration  22 :  836  enodes  (cost  123 )
1.092 * * [simplify]: Extracting # 0 : cost  0  inf +  10147
1.102 * * [simplify]: Extracting # 1 : cost  5  inf +  9907
1.113 * * [simplify]: Extracting # 2 : cost  0  inf +  10397
1.124 * * [simplify]: iteration  23 :  881  enodes  (cost  123 )
1.182 * * [simplify]: Extracting # 0 : cost  0  inf +  10397
1.187 * * [simplify]: Extracting # 1 : cost  3  inf +  10197
1.192 * * [simplify]: Extracting # 2 : cost  0  inf +  10443
1.197 * * [simplify]: iteration  24 :  914  enodes  (cost  123 )
1.242 * * [simplify]: Extracting # 0 : cost  0  inf +  10443
1.253 * * [simplify]: Extracting # 1 : cost  5  inf +  10323
1.265 * * [simplify]: Extracting # 2 : cost  0  inf +  10895
1.277 * * [simplify]: iteration  25 :  961  enodes  (cost  123 )
1.314 * * [simplify]: Extracting # 0 : cost  0  inf +  10895
1.323 * * [simplify]: Extracting # 1 : cost  5  inf +  10695
1.335 * * [simplify]: Extracting # 2 : cost  0  inf +  11185
1.347 * * [simplify]: iteration  26 :  999  enodes  (cost  123 )
1.391 * * [simplify]: Extracting # 0 : cost  0  inf +  11185
1.396 * * [simplify]: Extracting # 1 : cost  5  inf +  10985
1.404 * * [simplify]: Extracting # 2 : cost  0  inf +  11475
1.416 * * [simplify]: iteration  27 :  1041  enodes  (cost  123 )
1.480 * * [simplify]: Extracting # 0 : cost  0  inf +  11475
1.492 * * [simplify]: Extracting # 1 : cost  3  inf +  11275
1.504 * * [simplify]: Extracting # 2 : cost  0  inf +  11521
1.516 * * [simplify]: iteration  28 :  1074  enodes  (cost  123 )
1.566 * * [simplify]: Extracting # 0 : cost  0  inf +  11521
1.577 * * [simplify]: Extracting # 1 : cost  5  inf +  11401
1.584 * * [simplify]: Extracting # 2 : cost  0  inf +  11973
1.591 * * [simplify]: iteration  29 :  1127  enodes  (cost  123 )
1.639 * * [simplify]: Extracting # 0 : cost  0  inf +  11973
1.651 * * [simplify]: Extracting # 1 : cost  5  inf +  11773
1.663 * * [simplify]: Extracting # 2 : cost  0  inf +  12263
1.676 * * [simplify]: iteration  30 :  1159  enodes  (cost  123 )
1.750 * * [simplify]: Extracting # 0 : cost  0  inf +  12263
1.762 * * [simplify]: Extracting # 1 : cost  5  inf +  12063
1.772 * * [simplify]: Extracting # 2 : cost  0  inf +  12553
1.778 * * [simplify]: iteration  31 :  1201  enodes  (cost  123 )
1.820 * * [simplify]: Extracting # 0 : cost  0  inf +  12553
1.832 * * [simplify]: Extracting # 1 : cost  3  inf +  12353
1.846 * * [simplify]: Extracting # 2 : cost  0  inf +  12599
1.858 * * [simplify]: iteration  32 :  1238  enodes  (cost  123 )
1.897 * * [simplify]: Extracting # 0 : cost  0  inf +  12599
1.909 * * [simplify]: Extracting # 1 : cost  5  inf +  12479
1.924 * * [simplify]: Extracting # 2 : cost  0  inf +  13051
1.938 * * [simplify]: iteration  33 :  1285  enodes  (cost  123 )
1.973 * * [simplify]: Extracting # 0 : cost  0  inf +  13051
1.980 * * [simplify]: Extracting # 1 : cost  6  inf +  12851
1.993 * * [simplify]: Extracting # 2 : cost  0  inf +  13504
2.007 * * [simplify]: iteration  34 :  1317  enodes  (cost  123 )
2.079 * * [simplify]: Extracting # 0 : cost  0  inf +  13504
2.092 * * [simplify]: Extracting # 1 : cost  5  inf +  13264
2.103 * * [simplify]: Extracting # 2 : cost  0  inf +  13754
2.111 * * [simplify]: iteration  35 :  1364  enodes  (cost  123 )
2.155 * * [simplify]: Extracting # 0 : cost  0  inf +  13754
2.161 * * [simplify]: Extracting # 1 : cost  3  inf +  13554
2.168 * * [simplify]: Extracting # 2 : cost  0  inf +  13800
2.176 * * [simplify]: iteration  36 :  1397  enodes  (cost  123 )
2.226 * * [simplify]: Extracting # 0 : cost  0  inf +  13800
2.233 * * [simplify]: Extracting # 1 : cost  5  inf +  13680
2.241 * * [simplify]: Extracting # 2 : cost  0  inf +  14252
2.249 * * [simplify]: iteration  37 :  1444  enodes  (cost  123 )
2.289 * * [simplify]: Extracting # 0 : cost  0  inf +  14252
2.296 * * [simplify]: Extracting # 1 : cost  5  inf +  14052
2.304 * * [simplify]: Extracting # 2 : cost  0  inf +  14542
2.319 * * [simplify]: iteration  38 :  1482  enodes  (cost  123 )
2.379 * * [simplify]: Extracting # 0 : cost  0  inf +  14542
2.386 * * [simplify]: Extracting # 1 : cost  5  inf +  14342
2.394 * * [simplify]: Extracting # 2 : cost  0  inf +  14832
2.411 * * [simplify]: iteration  39 :  1524  enodes  (cost  123 )
2.476 * * [simplify]: Extracting # 0 : cost  0  inf +  14832
2.489 * * [simplify]: Extracting # 1 : cost  3  inf +  14632
2.497 * * [simplify]: Extracting # 2 : cost  0  inf +  14878
2.504 * * [simplify]: iteration  40 :  1557  enodes  (cost  123 )
2.572 * * [simplify]: Extracting # 0 : cost  0  inf +  14878
2.587 * * [simplify]: Extracting # 1 : cost  5  inf +  14758
2.596 * * [simplify]: Extracting # 2 : cost  0  inf +  15330
2.605 * * [simplify]: iteration  41 :  1610  enodes  (cost  123 )
2.642 * * [simplify]: Extracting # 0 : cost  0  inf +  15330
2.650 * * [simplify]: Extracting # 1 : cost  5  inf +  15130
2.657 * * [simplify]: Extracting # 2 : cost  0  inf +  15620
2.665 * * [simplify]: iteration  42 :  1642  enodes  (cost  123 )
2.717 * * [simplify]: Extracting # 0 : cost  0  inf +  15620
2.725 * * [simplify]: Extracting # 1 : cost  5  inf +  15420
2.733 * * [simplify]: Extracting # 2 : cost  0  inf +  15910
2.742 * * [simplify]: iteration  43 :  1684  enodes  (cost  123 )
2.781 * * [simplify]: Extracting # 0 : cost  0  inf +  15910
2.789 * * [simplify]: Extracting # 1 : cost  3  inf +  15710
2.796 * * [simplify]: Extracting # 2 : cost  0  inf +  15956
2.810 * * [simplify]: iteration  44 :  1721  enodes  (cost  123 )
2.855 * * [simplify]: Extracting # 0 : cost  0  inf +  15956
2.863 * * [simplify]: Extracting # 1 : cost  5  inf +  15836
2.874 * * [simplify]: Extracting # 2 : cost  0  inf +  16408
2.892 * * [simplify]: iteration  45 :  1768  enodes  (cost  123 )
2.955 * * [simplify]: Extracting # 0 : cost  0  inf +  16408
2.974 * * [simplify]: Extracting # 1 : cost  6  inf +  16208
2.986 * * [simplify]: Extracting # 2 : cost  0  inf +  16861
2.995 * * [simplify]: iteration  46 :  1800  enodes  (cost  123 )
3.030 * * [simplify]: Extracting # 0 : cost  0  inf +  16861
3.040 * * [simplify]: Extracting # 1 : cost  5  inf +  16621
3.055 * * [simplify]: Extracting # 2 : cost  0  inf +  17111
3.074 * * [simplify]: iteration  47 :  1847  enodes  (cost  123 )
3.133 * * [simplify]: Extracting # 0 : cost  0  inf +  17111
3.143 * * [simplify]: Extracting # 1 : cost  3  inf +  16911
3.152 * * [simplify]: Extracting # 2 : cost  0  inf +  17157
3.161 * * [simplify]: iteration  48 :  1880  enodes  (cost  123 )
3.221 * * [simplify]: Extracting # 0 : cost  0  inf +  17157
3.241 * * [simplify]: Extracting # 1 : cost  5  inf +  17037
3.259 * * [simplify]: Extracting # 2 : cost  0  inf +  17609
3.279 * * [simplify]: iteration  49 :  1927  enodes  (cost  123 )
3.340 * * [simplify]: Extracting # 0 : cost  0  inf +  17609
3.360 * * [simplify]: Extracting # 1 : cost  5  inf +  17409
3.379 * * [simplify]: Extracting # 2 : cost  0  inf +  17899
3.398 * * [simplify]: iteration  50 :  1965  enodes  (cost  123 )
3.464 * * [simplify]: Extracting # 0 : cost  0  inf +  17899
3.475 * * [simplify]: Extracting # 1 : cost  5  inf +  17699
3.484 * * [simplify]: Extracting # 2 : cost  0  inf +  18189
3.494 * * [simplify]: iteration  51 :  2007  enodes  (cost  123 )
3.551 * * [simplify]: Extracting # 0 : cost  0  inf +  18189
3.571 * * [simplify]: Extracting # 1 : cost  3  inf +  17989
3.589 * * [simplify]: Extracting # 2 : cost  0  inf +  18235
3.609 * * [simplify]: iteration  52 :  2040  enodes  (cost  123 )
3.687 * * [simplify]: Extracting # 0 : cost  0  inf +  18235
3.701 * * [simplify]: Extracting # 1 : cost  5  inf +  18115
3.711 * * [simplify]: Extracting # 2 : cost  0  inf +  18687
3.722 * * [simplify]: iteration  53 :  2093  enodes  (cost  123 )
3.777 * * [simplify]: Extracting # 0 : cost  0  inf +  18687
3.796 * * [simplify]: Extracting # 1 : cost  5  inf +  18487
3.811 * * [simplify]: Extracting # 2 : cost  0  inf +  18977
3.821 * * [simplify]: iteration  54 :  2125  enodes  (cost  123 )
3.875 * * [simplify]: Extracting # 0 : cost  0  inf +  18977
3.885 * * [simplify]: Extracting # 1 : cost  5  inf +  18777
3.895 * * [simplify]: Extracting # 2 : cost  0  inf +  19267
3.905 * * [simplify]: iteration  55 :  2167  enodes  (cost  123 )
3.960 * * [simplify]: Extracting # 0 : cost  0  inf +  19267
3.979 * * [simplify]: Extracting # 1 : cost  3  inf +  19067
3.999 * * [simplify]: Extracting # 2 : cost  0  inf +  19313
4.019 * * [simplify]: iteration  56 :  2204  enodes  (cost  123 )
4.089 * * [simplify]: Extracting # 0 : cost  0  inf +  19313
4.101 * * [simplify]: Extracting # 1 : cost  5  inf +  19193
4.111 * * [simplify]: Extracting # 2 : cost  0  inf +  19765
4.123 * * [simplify]: iteration  57 :  2251  enodes  (cost  123 )
4.167 * * [simplify]: Extracting # 0 : cost  0  inf +  19765
4.177 * * [simplify]: Extracting # 1 : cost  6  inf +  19565
4.194 * * [simplify]: Extracting # 2 : cost  0  inf +  20218
4.216 * * [simplify]: iteration  58 :  2283  enodes  (cost  123 )
4.259 * * [simplify]: Extracting # 0 : cost  0  inf +  20218
4.275 * * [simplify]: Extracting # 1 : cost  5  inf +  19978
4.296 * * [simplify]: Extracting # 2 : cost  0  inf +  20468
4.309 * * [simplify]: iteration  59 :  2330  enodes  (cost  123 )
4.351 * * [simplify]: Extracting # 0 : cost  0  inf +  20468
4.363 * * [simplify]: Extracting # 1 : cost  3  inf +  20268
4.373 * * [simplify]: Extracting # 2 : cost  0  inf +  20514
4.386 * * [simplify]: iteration  60 :  2363  enodes  (cost  123 )
4.435 * * [simplify]: Extracting # 0 : cost  0  inf +  20514
4.445 * * [simplify]: Extracting # 1 : cost  5  inf +  20394
4.458 * * [simplify]: Extracting # 2 : cost  0  inf +  20966
4.470 * * [simplify]: iteration  61 :  2410  enodes  (cost  123 )
4.504 * * [simplify]: Extracting # 0 : cost  0  inf +  20966
4.516 * * [simplify]: Extracting # 1 : cost  5  inf +  20766
4.533 * * [simplify]: Extracting # 2 : cost  0  inf +  21256
4.552 * * [simplify]: iteration  62 :  2452  enodes  (cost  123 )
4.600 * * [simplify]: Extracting # 0 : cost  0  inf +  21256
4.622 * * [simplify]: Extracting # 1 : cost  5  inf +  21056
4.645 * * [simplify]: Extracting # 2 : cost  0  inf +  21546
4.670 * * [simplify]: iteration  63 :  2494  enodes  (cost  123 )
4.719 * * [simplify]: Extracting # 0 : cost  0  inf +  21546
4.730 * * [simplify]: Extracting # 1 : cost  3  inf +  21346
4.742 * * [simplify]: Extracting # 2 : cost  0  inf +  21592
4.765 * * [simplify]: iteration  64 :  2527  enodes  (cost  123 )
4.837 * * [simplify]: Extracting # 0 : cost  0  inf +  21592
4.848 * * [simplify]: Extracting # 1 : cost  5  inf +  21472
4.863 * * [simplify]: Extracting # 2 : cost  0  inf +  22044
4.886 * * [simplify]: iteration  65 :  2580  enodes  (cost  123 )
4.927 * * [simplify]: Extracting # 0 : cost  0  inf +  22044
4.948 * * [simplify]: Extracting # 1 : cost  5  inf +  21844
4.960 * * [simplify]: Extracting # 2 : cost  0  inf +  22334
4.974 * * [simplify]: iteration  66 :  2612  enodes  (cost  123 )
5.036 * * [simplify]: Extracting # 0 : cost  0  inf +  22334
5.056 * * [simplify]: Extracting # 1 : cost  5  inf +  22134
5.081 * * [simplify]: Extracting # 2 : cost  0  inf +  22624
5.106 * * [simplify]: iteration  67 :  2654  enodes  (cost  123 )
5.163 * * [simplify]: Extracting # 0 : cost  0  inf +  22624
5.176 * * [simplify]: Extracting # 1 : cost  3  inf +  22424
5.188 * * [simplify]: Extracting # 2 : cost  0  inf +  22670
5.200 * * [simplify]: iteration  68 :  2691  enodes  (cost  123 )
5.247 * * [simplify]: Extracting # 0 : cost  0  inf +  22670
5.259 * * [simplify]: Extracting # 1 : cost  5  inf +  22550
5.279 * * [simplify]: Extracting # 2 : cost  0  inf +  23122
5.293 * * [simplify]: iteration  69 :  2738  enodes  (cost  123 )
5.333 * * [simplify]: Extracting # 0 : cost  0  inf +  23122
5.348 * * [simplify]: Extracting # 1 : cost  6  inf +  22922
5.371 * * [simplify]: Extracting # 2 : cost  0  inf +  23575
5.386 * * [simplify]: iteration  70 :  2770  enodes  (cost  123 )
5.423 * * [simplify]: Extracting # 0 : cost  0  inf +  23575
5.435 * * [simplify]: Extracting # 1 : cost  5  inf +  23335
5.448 * * [simplify]: Extracting # 2 : cost  0  inf +  23825
5.469 * * [simplify]: iteration  71 :  2819  enodes  (cost  123 )
5.502 * * [simplify]: Extracting # 0 : cost  0  inf +  23825
5.514 * * [simplify]: Extracting # 1 : cost  3  inf +  23625
5.528 * * [simplify]: Extracting # 2 : cost  0  inf +  23871
5.553 * * [simplify]: iteration  72 :  2852  enodes  (cost  123 )
5.610 * * [simplify]: Extracting # 0 : cost  0  inf +  23871
5.624 * * [simplify]: Extracting # 1 : cost  5  inf +  23751
5.642 * * [simplify]: Extracting # 2 : cost  0  inf +  24323
5.666 * * [simplify]: iteration  73 :  2899  enodes  (cost  123 )
5.721 * * [simplify]: Extracting # 0 : cost  0  inf +  24323
5.741 * * [simplify]: Extracting # 1 : cost  5  inf +  24123
5.763 * * [simplify]: Extracting # 2 : cost  0  inf +  24613
5.788 * * [simplify]: iteration  74 :  2937  enodes  (cost  123 )
5.844 * * [simplify]: Extracting # 0 : cost  0  inf +  24613
5.857 * * [simplify]: Extracting # 1 : cost  5  inf +  24413
5.871 * * [simplify]: Extracting # 2 : cost  0  inf +  24903
5.897 * * [simplify]: iteration  75 :  2979  enodes  (cost  123 )
5.938 * * [simplify]: Extracting # 0 : cost  0  inf +  24903
5.953 * * [simplify]: Extracting # 1 : cost  3  inf +  24703
5.975 * * [simplify]: Extracting # 2 : cost  0  inf +  24949
5.990 * * [simplify]: iteration  76 :  3012  enodes  (cost  123 )
6.036 * * [simplify]: Extracting # 0 : cost  0  inf +  24949
6.052 * * [simplify]: Extracting # 1 : cost  5  inf +  24829
6.078 * * [simplify]: Extracting # 2 : cost  0  inf +  25401
6.107 * * [simplify]: iteration  77 :  3065  enodes  (cost  123 )
6.146 * * [simplify]: Extracting # 0 : cost  0  inf +  25401
6.159 * * [simplify]: Extracting # 1 : cost  5  inf +  25201
6.173 * * [simplify]: Extracting # 2 : cost  0  inf +  25691
6.193 * * [simplify]: iteration  78 :  3097  enodes  (cost  123 )
6.247 * * [simplify]: Extracting # 0 : cost  0  inf +  25691
6.260 * * [simplify]: Extracting # 1 : cost  5  inf +  25491
6.276 * * [simplify]: Extracting # 2 : cost  0  inf +  25981
6.303 * * [simplify]: iteration  79 :  3139  enodes  (cost  123 )
6.341 * * [simplify]: Extracting # 0 : cost  0  inf +  25981
6.366 * * [simplify]: Extracting # 1 : cost  3  inf +  25781
6.396 * * [simplify]: Extracting # 2 : cost  0  inf +  26027
6.424 * * [simplify]: iteration  80 :  3178  enodes  (cost  123 )
6.469 * * [simplify]: Extracting # 0 : cost  0  inf +  26027
6.491 * * [simplify]: Extracting # 1 : cost  5  inf +  25907
6.519 * * [simplify]: Extracting # 2 : cost  0  inf +  26479
6.548 * * [simplify]: iteration  81 :  3225  enodes  (cost  123 )
6.611 * * [simplify]: Extracting # 0 : cost  0  inf +  26479
6.637 * * [simplify]: Extracting # 1 : cost  6  inf +  26279
6.656 * * [simplify]: Extracting # 2 : cost  0  inf +  26932
6.670 * * [simplify]: iteration  82 :  3257  enodes  (cost  123 )
6.737 * * [simplify]: Extracting # 0 : cost  0  inf +  26932
6.751 * * [simplify]: Extracting # 1 : cost  5  inf +  26692
6.775 * * [simplify]: Extracting # 2 : cost  0  inf +  27182
6.808 * * [simplify]: iteration  83 :  3304  enodes  (cost  123 )
6.843 * * [simplify]: Extracting # 0 : cost  0  inf +  27182
6.868 * * [simplify]: Extracting # 1 : cost  3  inf +  26982
6.899 * * [simplify]: Extracting # 2 : cost  0  inf +  27228
6.914 * * [simplify]: iteration  84 :  3337  enodes  (cost  123 )
6.968 * * [simplify]: Extracting # 0 : cost  0  inf +  27228
7.000 * * [simplify]: Extracting # 1 : cost  5  inf +  27108
7.027 * * [simplify]: Extracting # 2 : cost  0  inf +  27680
7.042 * * [simplify]: iteration  85 :  3384  enodes  (cost  123 )
7.101 * * [simplify]: Extracting # 0 : cost  0  inf +  27680
7.130 * * [simplify]: Extracting # 1 : cost  5  inf +  27480
7.161 * * [simplify]: Extracting # 2 : cost  0  inf +  27970
7.196 * * [simplify]: iteration  86 :  3426  enodes  (cost  123 )
7.236 * * [simplify]: Extracting # 0 : cost  0  inf +  27970
7.260 * * [simplify]: Extracting # 1 : cost  5  inf +  27770
7.277 * * [simplify]: Extracting # 2 : cost  0  inf +  28260
7.297 * * [simplify]: iteration  87 :  3468  enodes  (cost  123 )
7.359 * * [simplify]: Extracting # 0 : cost  0  inf +  28260
7.391 * * [simplify]: Extracting # 1 : cost  3  inf +  28060
7.421 * * [simplify]: Extracting # 2 : cost  0  inf +  28306
7.446 * * [simplify]: iteration  88 :  3501  enodes  (cost  123 )
7.494 * * [simplify]: Extracting # 0 : cost  0  inf +  28306
7.508 * * [simplify]: Extracting # 1 : cost  5  inf +  28186
7.523 * * [simplify]: Extracting # 2 : cost  0  inf +  28758
7.557 * * [simplify]: iteration  89 :  3554  enodes  (cost  123 )
7.587 * * [simplify]: Extracting # 0 : cost  0  inf +  28758
7.607 * * [simplify]: Extracting # 1 : cost  5  inf +  28558
7.624 * * [simplify]: Extracting # 2 : cost  0  inf +  29048
7.640 * * [simplify]: iteration  90 :  3586  enodes  (cost  123 )
7.712 * * [simplify]: Extracting # 0 : cost  0  inf +  29048
7.727 * * [simplify]: Extracting # 1 : cost  5  inf +  28848
7.741 * * [simplify]: Extracting # 2 : cost  0  inf +  29338
7.773 * * [simplify]: iteration  91 :  3628  enodes  (cost  123 )
7.837 * * [simplify]: Extracting # 0 : cost  0  inf +  29338
7.853 * * [simplify]: Extracting # 1 : cost  3  inf +  29138
7.868 * * [simplify]: Extracting # 2 : cost  0  inf +  29384
7.897 * * [simplify]: iteration  92 :  3665  enodes  (cost  123 )
7.939 * * [simplify]: Extracting # 0 : cost  0  inf +  29384
7.971 * * [simplify]: Extracting # 1 : cost  5  inf +  29264
8.001 * * [simplify]: Extracting # 2 : cost  0  inf +  29836
8.035 * * [simplify]: iteration  93 :  3712  enodes  (cost  123 )
8.084 * * [simplify]: Extracting # 0 : cost  0  inf +  29836
8.099 * * [simplify]: Extracting # 1 : cost  6  inf +  29636
8.113 * * [simplify]: Extracting # 2 : cost  0  inf +  30289
8.129 * * [simplify]: iteration  94 :  3744  enodes  (cost  123 )
8.167 * * [simplify]: Extracting # 0 : cost  0  inf +  30289
8.192 * * [simplify]: Extracting # 1 : cost  5  inf +  30049
8.216 * * [simplify]: Extracting # 2 : cost  0  inf +  30539
8.233 * * [simplify]: iteration  95 :  3789  enodes  (cost  123 )
8.271 * * [simplify]: Extracting # 0 : cost  0  inf +  30539
8.287 * * [simplify]: Extracting # 1 : cost  3  inf +  30339
8.308 * * [simplify]: Extracting # 2 : cost  0  inf +  30585
8.333 * * [simplify]: iteration  96 :  3822  enodes  (cost  123 )
8.369 * * [simplify]: Extracting # 0 : cost  0  inf +  30585
8.384 * * [simplify]: Extracting # 1 : cost  5  inf +  30465
8.400 * * [simplify]: Extracting # 2 : cost  0  inf +  31037
8.420 * * [simplify]: iteration  97 :  3869  enodes  (cost  123 )
8.475 * * [simplify]: Extracting # 0 : cost  0  inf +  31037
8.491 * * [simplify]: Extracting # 1 : cost  5  inf +  30837
8.510 * * [simplify]: Extracting # 2 : cost  0  inf +  31327
8.533 * * [simplify]: iteration  98 :  3911  enodes  (cost  123 )
8.594 * * [simplify]: Extracting # 0 : cost  0  inf +  31327
8.609 * * [simplify]: Extracting # 1 : cost  5  inf +  31127
8.635 * * [simplify]: Extracting # 2 : cost  0  inf +  31617
8.653 * * [simplify]: iteration  99 :  3953  enodes  (cost  123 )
8.708 * * [simplify]: Extracting # 0 : cost  0  inf +  31617
8.739 * * [simplify]: Extracting # 1 : cost  3  inf +  31417
8.768 * * [simplify]: Extracting # 2 : cost  0  inf +  31663
8.785 * * [simplify]: iteration  100 :  3986  enodes  (cost  123 )
8.860 * * [simplify]: Extracting # 0 : cost  0  inf +  31663
8.893 * * [simplify]: Extracting # 1 : cost  5  inf +  31543
8.927 * * [simplify]: Extracting # 2 : cost  0  inf +  32115
8.948 * * [simplify]: iteration  101 :  4039  enodes  (cost  123 )
9.004 * * [simplify]: Extracting # 0 : cost  0  inf +  32115
9.035 * * [simplify]: Extracting # 1 : cost  5  inf +  31915
9.070 * * [simplify]: Extracting # 2 : cost  0  inf +  32405
9.105 * * [simplify]: iteration  102 :  4071  enodes  (cost  123 )
9.157 * * [simplify]: Extracting # 0 : cost  0  inf +  32405
9.176 * * [simplify]: Extracting # 1 : cost  5  inf +  32205
9.201 * * [simplify]: Extracting # 2 : cost  0  inf +  32695
9.233 * * [simplify]: iteration  103 :  4113  enodes  (cost  123 )
9.277 * * [simplify]: Extracting # 0 : cost  0  inf +  32695
9.293 * * [simplify]: Extracting # 1 : cost  3  inf +  32495
9.317 * * [simplify]: Extracting # 2 : cost  0  inf +  32741
9.337 * * [simplify]: iteration  104 :  4150  enodes  (cost  123 )
9.398 * * [simplify]: Extracting # 0 : cost  0  inf +  32741
9.432 * * [simplify]: Extracting # 1 : cost  5  inf +  32621
9.452 * * [simplify]: Extracting # 2 : cost  0  inf +  33193
9.472 * * [simplify]: iteration  105 :  4197  enodes  (cost  123 )
9.531 * * [simplify]: Extracting # 0 : cost  0  inf +  33193
9.548 * * [simplify]: Extracting # 1 : cost  6  inf +  32993
9.565 * * [simplify]: Extracting # 2 : cost  0  inf +  33646
9.602 * * [simplify]: iteration  106 :  4229  enodes  (cost  123 )
9.650 * * [simplify]: Extracting # 0 : cost  0  inf +  33646
9.677 * * [simplify]: Extracting # 1 : cost  5  inf +  33406
9.695 * * [simplify]: Extracting # 2 : cost  0  inf +  33896
9.722 * * [simplify]: iteration  107 :  4278  enodes  (cost  123 )
9.768 * * [simplify]: Extracting # 0 : cost  0  inf +  33896
9.791 * * [simplify]: Extracting # 1 : cost  3  inf +  33696
9.808 * * [simplify]: Extracting # 2 : cost  0  inf +  33942
9.849 * * [simplify]: iteration  108 :  4311  enodes  (cost  123 )
9.916 * * [simplify]: Extracting # 0 : cost  0  inf +  33942
9.952 * * [simplify]: Extracting # 1 : cost  5  inf +  33822
9.976 * * [simplify]: Extracting # 2 : cost  0  inf +  34394
9.996 * * [simplify]: iteration  109 :  4358  enodes  (cost  123 )
10.061 * * [simplify]: Extracting # 0 : cost  0  inf +  34394
10.096 * * [simplify]: Extracting # 1 : cost  5  inf +  34194
10.124 * * [simplify]: Extracting # 2 : cost  0  inf +  34684
10.146 * * [simplify]: iteration  110 :  4396  enodes  (cost  123 )
10.193 * * [simplify]: Extracting # 0 : cost  0  inf +  34684
10.227 * * [simplify]: Extracting # 1 : cost  5  inf +  34484
10.246 * * [simplify]: Extracting # 2 : cost  0  inf +  34974
10.267 * * [simplify]: iteration  111 :  4438  enodes  (cost  123 )
10.300 * * [simplify]: Extracting # 0 : cost  0  inf +  34974
10.318 * * [simplify]: Extracting # 1 : cost  3  inf +  34774
10.338 * * [simplify]: Extracting # 2 : cost  0  inf +  35020
10.360 * * [simplify]: iteration  112 :  4471  enodes  (cost  123 )
10.407 * * [simplify]: Extracting # 0 : cost  0  inf +  35020
10.441 * * [simplify]: Extracting # 1 : cost  5  inf +  34900
10.468 * * [simplify]: Extracting # 2 : cost  0  inf +  35472
10.495 * * [simplify]: iteration  113 :  4524  enodes  (cost  123 )
10.537 * * [simplify]: Extracting # 0 : cost  0  inf +  35472
10.561 * * [simplify]: Extracting # 1 : cost  5  inf +  35272
10.588 * * [simplify]: Extracting # 2 : cost  0  inf +  35762
10.608 * * [simplify]: iteration  114 :  4556  enodes  (cost  123 )
10.647 * * [simplify]: Extracting # 0 : cost  0  inf +  35762
10.665 * * [simplify]: Extracting # 1 : cost  5  inf +  35562
10.692 * * [simplify]: Extracting # 2 : cost  0  inf +  36052
10.713 * * [simplify]: iteration  115 :  4598  enodes  (cost  123 )
10.759 * * [simplify]: Extracting # 0 : cost  0  inf +  36052
10.795 * * [simplify]: Extracting # 1 : cost  3  inf +  35852
10.835 * * [simplify]: Extracting # 2 : cost  0  inf +  36098
10.862 * * [simplify]: iteration  116 :  4637  enodes  (cost  123 )
10.912 * * [simplify]: Extracting # 0 : cost  0  inf +  36098
10.931 * * [simplify]: Extracting # 1 : cost  5  inf +  35978
10.950 * * [simplify]: Extracting # 2 : cost  0  inf +  36550
10.993 * * [simplify]: iteration  117 :  4684  enodes  (cost  123 )
11.027 * * [simplify]: Extracting # 0 : cost  0  inf +  36550
11.052 * * [simplify]: Extracting # 1 : cost  6  inf +  36350
11.072 * * [simplify]: Extracting # 2 : cost  0  inf +  37003
11.110 * * [simplify]: iteration  118 :  4716  enodes  (cost  123 )
11.148 * * [simplify]: Extracting # 0 : cost  0  inf +  37003
11.181 * * [simplify]: Extracting # 1 : cost  5  inf +  36763
11.200 * * [simplify]: Extracting # 2 : cost  0  inf +  37253
11.228 * * [simplify]: iteration  119 :  4765  enodes  (cost  123 )
11.272 * * [simplify]: Extracting # 0 : cost  0  inf +  37253
11.295 * * [simplify]: Extracting # 1 : cost  3  inf +  37053
11.315 * * [simplify]: Extracting # 2 : cost  0  inf +  37299
11.347 * * [simplify]: iteration  120 :  4798  enodes  (cost  123 )
11.390 * * [simplify]: Extracting # 0 : cost  0  inf +  37299
11.416 * * [simplify]: Extracting # 1 : cost  5  inf +  37179
11.444 * * [simplify]: Extracting # 2 : cost  0  inf +  37751
11.469 * * [simplify]: iteration  121 :  4845  enodes  (cost  123 )
11.515 * * [simplify]: Extracting # 0 : cost  0  inf +  37751
11.534 * * [simplify]: Extracting # 1 : cost  5  inf +  37551
11.568 * * [simplify]: Extracting # 2 : cost  0  inf +  38041
11.596 * * [simplify]: iteration  122 :  4883  enodes  (cost  123 )
11.636 * * [simplify]: Extracting # 0 : cost  0  inf +  38041
11.657 * * [simplify]: Extracting # 1 : cost  5  inf +  37841
11.690 * * [simplify]: Extracting # 2 : cost  0  inf +  38331
11.710 * * [simplify]: iteration  123 :  4925  enodes  (cost  123 )
11.758 * * [simplify]: Extracting # 0 : cost  0  inf +  38331
11.783 * * [simplify]: Extracting # 1 : cost  3  inf +  38131
11.809 * * [simplify]: Extracting # 2 : cost  0  inf +  38377
11.833 * * [simplify]: iteration  124 :  4958  enodes  (cost  123 )
11.858 * * [simplify]: Extracting # 0 : cost  0  inf +  38377
11.882 * * [simplify]: Extracting # 1 : cost  11  inf +  38257
11.906 * * [simplify]: Extracting # 2 : cost  0  inf +  39401
11.936 * * [simplify]: iteration complete:  5000  enodes  (cost  123 )
11.936 * [simplify]: Simplified to:
  (+ x (/ (- y x) z))
11.937 * * [progress]: iteration 1 / 4
11.937 * * * [progress]: picking best candidate
11.943 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (- y x) z)))>
11.943 * * * [progress]: localizing error
11.957 * * * [progress]: generating rewritten candidates
11.957 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
11.976 * * * [progress]: generating series expansions
11.976 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
11.982 * [backup-simplify]: Simplify (/ (- y x) z) into (/ (- y x) z)
11.982 * [approximate]: Taking taylor expansion of (/ (- y x) z) in (y x z) around 0
11.983 * [taylor]: Taking taylor expansion of (/ (- y x) z) in z
11.983 * [taylor]: Taking taylor expansion of (- y x) in z
11.983 * [taylor]: Taking taylor expansion of y in z
11.983 * [backup-simplify]: Simplify y into y
11.983 * [taylor]: Taking taylor expansion of x in z
11.984 * [backup-simplify]: Simplify x into x
11.984 * [taylor]: Taking taylor expansion of z in z
11.984 * [backup-simplify]: Simplify 0 into 0
11.984 * [backup-simplify]: Simplify 1 into 1
11.984 * [backup-simplify]: Simplify (- x) into (- x)
11.984 * [backup-simplify]: Simplify (+ y (- x)) into (- y x)
11.985 * [backup-simplify]: Simplify (/ (- y x) 1) into (- y x)
11.985 * [taylor]: Taking taylor expansion of (/ (- y x) z) in x
11.985 * [taylor]: Taking taylor expansion of (- y x) in x
11.985 * [taylor]: Taking taylor expansion of y in x
11.985 * [backup-simplify]: Simplify y into y
11.985 * [taylor]: Taking taylor expansion of x in x
11.985 * [backup-simplify]: Simplify 0 into 0
11.985 * [backup-simplify]: Simplify 1 into 1
11.985 * [taylor]: Taking taylor expansion of z in x
11.985 * [backup-simplify]: Simplify z into z
11.985 * [backup-simplify]: Simplify (- 0) into 0
11.985 * [backup-simplify]: Simplify (+ y 0) into y
11.986 * [backup-simplify]: Simplify (/ y z) into (/ y z)
11.986 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y
11.986 * [taylor]: Taking taylor expansion of (- y x) in y
11.986 * [taylor]: Taking taylor expansion of y in y
11.986 * [backup-simplify]: Simplify 0 into 0
11.986 * [backup-simplify]: Simplify 1 into 1
11.986 * [taylor]: Taking taylor expansion of x in y
11.986 * [backup-simplify]: Simplify x into x
11.986 * [taylor]: Taking taylor expansion of z in y
11.986 * [backup-simplify]: Simplify z into z
11.986 * [backup-simplify]: Simplify (- x) into (- x)
11.986 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
11.986 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z))
11.986 * [taylor]: Taking taylor expansion of (/ (- y x) z) in y
11.986 * [taylor]: Taking taylor expansion of (- y x) in y
11.986 * [taylor]: Taking taylor expansion of y in y
11.986 * [backup-simplify]: Simplify 0 into 0
11.986 * [backup-simplify]: Simplify 1 into 1
11.986 * [taylor]: Taking taylor expansion of x in y
11.986 * [backup-simplify]: Simplify x into x
11.986 * [taylor]: Taking taylor expansion of z in y
11.986 * [backup-simplify]: Simplify z into z
11.986 * [backup-simplify]: Simplify (- x) into (- x)
11.986 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
11.986 * [backup-simplify]: Simplify (/ (- x) z) into (* -1 (/ x z))
11.987 * [taylor]: Taking taylor expansion of (* -1 (/ x z)) in x
11.987 * [taylor]: Taking taylor expansion of -1 in x
11.987 * [backup-simplify]: Simplify -1 into -1
11.987 * [taylor]: Taking taylor expansion of (/ x z) in x
11.987 * [taylor]: Taking taylor expansion of x in x
11.987 * [backup-simplify]: Simplify 0 into 0
11.987 * [backup-simplify]: Simplify 1 into 1
11.987 * [taylor]: Taking taylor expansion of z in x
11.987 * [backup-simplify]: Simplify z into z
11.987 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.988 * [backup-simplify]: Simplify (- 0) into 0
11.989 * [backup-simplify]: Simplify (+ 1 0) into 1
11.989 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ x z)) (/ 0 z)))) into (/ 1 z)
11.989 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.989 * [taylor]: Taking taylor expansion of z in x
11.989 * [backup-simplify]: Simplify z into z
11.989 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.989 * [taylor]: Taking taylor expansion of z in z
11.989 * [backup-simplify]: Simplify 0 into 0
11.989 * [backup-simplify]: Simplify 1 into 1
11.990 * [backup-simplify]: Simplify (/ 1 1) into 1
11.990 * [backup-simplify]: Simplify 1 into 1
11.990 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z)
11.990 * [taylor]: Taking taylor expansion of (/ -1 z) in z
11.990 * [taylor]: Taking taylor expansion of -1 in z
11.990 * [backup-simplify]: Simplify -1 into -1
11.990 * [taylor]: Taking taylor expansion of z in z
11.990 * [backup-simplify]: Simplify 0 into 0
11.990 * [backup-simplify]: Simplify 1 into 1
11.991 * [backup-simplify]: Simplify (/ -1 1) into -1
11.991 * [backup-simplify]: Simplify -1 into -1
11.991 * [backup-simplify]: Simplify (- 0) into 0
11.991 * [backup-simplify]: Simplify (+ 0 0) into 0
11.992 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0
11.992 * [taylor]: Taking taylor expansion of 0 in x
11.992 * [backup-simplify]: Simplify 0 into 0
11.992 * [taylor]: Taking taylor expansion of 0 in z
11.992 * [backup-simplify]: Simplify 0 into 0
11.992 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
11.992 * [taylor]: Taking taylor expansion of 0 in z
11.992 * [backup-simplify]: Simplify 0 into 0
11.992 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
11.993 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0
11.993 * [taylor]: Taking taylor expansion of 0 in z
11.993 * [backup-simplify]: Simplify 0 into 0
11.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.994 * [backup-simplify]: Simplify 0 into 0
11.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
11.995 * [backup-simplify]: Simplify 0 into 0
11.995 * [backup-simplify]: Simplify (- 0) into 0
11.995 * [backup-simplify]: Simplify (+ 0 0) into 0
11.996 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ x z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.996 * [taylor]: Taking taylor expansion of 0 in x
11.996 * [backup-simplify]: Simplify 0 into 0
11.996 * [taylor]: Taking taylor expansion of 0 in z
11.996 * [backup-simplify]: Simplify 0 into 0
11.996 * [taylor]: Taking taylor expansion of 0 in z
11.996 * [backup-simplify]: Simplify 0 into 0
11.996 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.996 * [taylor]: Taking taylor expansion of 0 in z
11.996 * [backup-simplify]: Simplify 0 into 0
11.996 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
11.997 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
11.997 * [taylor]: Taking taylor expansion of 0 in z
11.997 * [backup-simplify]: Simplify 0 into 0
11.997 * [backup-simplify]: Simplify 0 into 0
11.997 * [backup-simplify]: Simplify 0 into 0
11.997 * [backup-simplify]: Simplify 0 into 0
11.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.998 * [backup-simplify]: Simplify 0 into 0
11.999 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* x 1))) (* 1 (* (/ 1 z) (* 1 y)))) into (- (/ y z) (/ x z))
11.999 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (/ 1 z)) into (* (- (/ 1 y) (/ 1 x)) z)
11.999 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
11.999 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z
11.999 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
11.999 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.999 * [taylor]: Taking taylor expansion of y in z
12.000 * [backup-simplify]: Simplify y into y
12.000 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.000 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.000 * [taylor]: Taking taylor expansion of x in z
12.000 * [backup-simplify]: Simplify x into x
12.000 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.000 * [taylor]: Taking taylor expansion of z in z
12.000 * [backup-simplify]: Simplify 0 into 0
12.000 * [backup-simplify]: Simplify 1 into 1
12.000 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x
12.000 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
12.000 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.000 * [taylor]: Taking taylor expansion of y in x
12.000 * [backup-simplify]: Simplify y into y
12.000 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.000 * [taylor]: Taking taylor expansion of x in x
12.000 * [backup-simplify]: Simplify 0 into 0
12.000 * [backup-simplify]: Simplify 1 into 1
12.000 * [backup-simplify]: Simplify (/ 1 1) into 1
12.001 * [taylor]: Taking taylor expansion of z in x
12.001 * [backup-simplify]: Simplify z into z
12.001 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
12.001 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
12.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.001 * [taylor]: Taking taylor expansion of y in y
12.001 * [backup-simplify]: Simplify 0 into 0
12.001 * [backup-simplify]: Simplify 1 into 1
12.001 * [backup-simplify]: Simplify (/ 1 1) into 1
12.001 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.001 * [taylor]: Taking taylor expansion of x in y
12.001 * [backup-simplify]: Simplify x into x
12.001 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.001 * [taylor]: Taking taylor expansion of z in y
12.002 * [backup-simplify]: Simplify z into z
12.002 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y
12.002 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
12.002 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.002 * [taylor]: Taking taylor expansion of y in y
12.002 * [backup-simplify]: Simplify 0 into 0
12.002 * [backup-simplify]: Simplify 1 into 1
12.002 * [backup-simplify]: Simplify (/ 1 1) into 1
12.002 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.002 * [taylor]: Taking taylor expansion of x in y
12.002 * [backup-simplify]: Simplify x into x
12.002 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.002 * [taylor]: Taking taylor expansion of z in y
12.002 * [backup-simplify]: Simplify z into z
12.003 * [backup-simplify]: Simplify (+ 1 0) into 1
12.003 * [backup-simplify]: Simplify (* 1 z) into z
12.003 * [taylor]: Taking taylor expansion of z in x
12.003 * [backup-simplify]: Simplify z into z
12.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.004 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
12.004 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
12.004 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) z)) into (- (/ z x))
12.004 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
12.004 * [taylor]: Taking taylor expansion of (/ z x) in x
12.004 * [taylor]: Taking taylor expansion of z in x
12.004 * [backup-simplify]: Simplify z into z
12.004 * [taylor]: Taking taylor expansion of x in x
12.004 * [backup-simplify]: Simplify 0 into 0
12.004 * [backup-simplify]: Simplify 1 into 1
12.004 * [backup-simplify]: Simplify (/ z 1) into z
12.005 * [backup-simplify]: Simplify (- z) into (- z)
12.005 * [taylor]: Taking taylor expansion of (- z) in z
12.005 * [taylor]: Taking taylor expansion of z in z
12.005 * [backup-simplify]: Simplify 0 into 0
12.005 * [backup-simplify]: Simplify 1 into 1
12.005 * [backup-simplify]: Simplify (- 0) into 0
12.005 * [backup-simplify]: Simplify 0 into 0
12.005 * [taylor]: Taking taylor expansion of z in z
12.005 * [backup-simplify]: Simplify 0 into 0
12.005 * [backup-simplify]: Simplify 1 into 1
12.005 * [backup-simplify]: Simplify 0 into 0
12.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.006 * [backup-simplify]: Simplify (- 0) into 0
12.006 * [backup-simplify]: Simplify (+ 0 0) into 0
12.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 z))) into 0
12.006 * [taylor]: Taking taylor expansion of 0 in x
12.006 * [backup-simplify]: Simplify 0 into 0
12.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
12.007 * [backup-simplify]: Simplify (- 0) into 0
12.007 * [taylor]: Taking taylor expansion of 0 in z
12.007 * [backup-simplify]: Simplify 0 into 0
12.007 * [backup-simplify]: Simplify 0 into 0
12.007 * [taylor]: Taking taylor expansion of 0 in z
12.007 * [backup-simplify]: Simplify 0 into 0
12.007 * [backup-simplify]: Simplify 0 into 0
12.007 * [backup-simplify]: Simplify (- 1) into -1
12.007 * [backup-simplify]: Simplify -1 into -1
12.007 * [backup-simplify]: Simplify 1 into 1
12.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.008 * [backup-simplify]: Simplify (- 0) into 0
12.009 * [backup-simplify]: Simplify (+ 0 0) into 0
12.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 z)))) into 0
12.009 * [taylor]: Taking taylor expansion of 0 in x
12.009 * [backup-simplify]: Simplify 0 into 0
12.009 * [taylor]: Taking taylor expansion of 0 in z
12.009 * [backup-simplify]: Simplify 0 into 0
12.009 * [backup-simplify]: Simplify 0 into 0
12.010 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.010 * [backup-simplify]: Simplify (- 0) into 0
12.011 * [taylor]: Taking taylor expansion of 0 in z
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [taylor]: Taking taylor expansion of 0 in z
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify (- 0) into 0
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 x)) 1)))) into (- (/ y z) (/ x z))
12.011 * [backup-simplify]: Simplify (/ (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (* z (- (/ 1 x) (/ 1 y))))
12.011 * [approximate]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in (y x z) around 0
12.011 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in z
12.011 * [taylor]: Taking taylor expansion of -1 in z
12.011 * [backup-simplify]: Simplify -1 into -1
12.011 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z
12.011 * [taylor]: Taking taylor expansion of z in z
12.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify 1 into 1
12.011 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
12.011 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.011 * [taylor]: Taking taylor expansion of x in z
12.011 * [backup-simplify]: Simplify x into x
12.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.011 * [taylor]: Taking taylor expansion of (/ 1 y) in z
12.012 * [taylor]: Taking taylor expansion of y in z
12.012 * [backup-simplify]: Simplify y into y
12.012 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.012 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in x
12.012 * [taylor]: Taking taylor expansion of -1 in x
12.012 * [backup-simplify]: Simplify -1 into -1
12.012 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x
12.012 * [taylor]: Taking taylor expansion of z in x
12.012 * [backup-simplify]: Simplify z into z
12.012 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
12.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.012 * [taylor]: Taking taylor expansion of x in x
12.012 * [backup-simplify]: Simplify 0 into 0
12.012 * [backup-simplify]: Simplify 1 into 1
12.012 * [backup-simplify]: Simplify (/ 1 1) into 1
12.012 * [taylor]: Taking taylor expansion of (/ 1 y) in x
12.012 * [taylor]: Taking taylor expansion of y in x
12.012 * [backup-simplify]: Simplify y into y
12.012 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.012 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y
12.012 * [taylor]: Taking taylor expansion of -1 in y
12.012 * [backup-simplify]: Simplify -1 into -1
12.012 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
12.012 * [taylor]: Taking taylor expansion of z in y
12.012 * [backup-simplify]: Simplify z into z
12.012 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
12.012 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.012 * [taylor]: Taking taylor expansion of x in y
12.012 * [backup-simplify]: Simplify x into x
12.012 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.012 * [taylor]: Taking taylor expansion of y in y
12.012 * [backup-simplify]: Simplify 0 into 0
12.012 * [backup-simplify]: Simplify 1 into 1
12.013 * [backup-simplify]: Simplify (/ 1 1) into 1
12.013 * [taylor]: Taking taylor expansion of (* -1 (* z (- (/ 1 x) (/ 1 y)))) in y
12.013 * [taylor]: Taking taylor expansion of -1 in y
12.013 * [backup-simplify]: Simplify -1 into -1
12.013 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y
12.013 * [taylor]: Taking taylor expansion of z in y
12.013 * [backup-simplify]: Simplify z into z
12.013 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
12.013 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.013 * [taylor]: Taking taylor expansion of x in y
12.013 * [backup-simplify]: Simplify x into x
12.013 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.013 * [taylor]: Taking taylor expansion of y in y
12.013 * [backup-simplify]: Simplify 0 into 0
12.013 * [backup-simplify]: Simplify 1 into 1
12.013 * [backup-simplify]: Simplify (/ 1 1) into 1
12.014 * [backup-simplify]: Simplify (- 1) into -1
12.014 * [backup-simplify]: Simplify (+ 0 -1) into -1
12.014 * [backup-simplify]: Simplify (* z -1) into (* -1 z)
12.014 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z
12.014 * [taylor]: Taking taylor expansion of z in x
12.014 * [backup-simplify]: Simplify z into z
12.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.015 * [backup-simplify]: Simplify (- 0) into 0
12.015 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
12.016 * [backup-simplify]: Simplify (+ (* z (/ 1 x)) (* 0 -1)) into (/ z x)
12.016 * [backup-simplify]: Simplify (+ (* -1 (/ z x)) (* 0 (* -1 z))) into (- (/ z x))
12.016 * [taylor]: Taking taylor expansion of (- (/ z x)) in x
12.016 * [taylor]: Taking taylor expansion of (/ z x) in x
12.016 * [taylor]: Taking taylor expansion of z in x
12.016 * [backup-simplify]: Simplify z into z
12.016 * [taylor]: Taking taylor expansion of x in x
12.016 * [backup-simplify]: Simplify 0 into 0
12.016 * [backup-simplify]: Simplify 1 into 1
12.016 * [backup-simplify]: Simplify (/ z 1) into z
12.016 * [backup-simplify]: Simplify (- z) into (- z)
12.016 * [taylor]: Taking taylor expansion of (- z) in z
12.016 * [taylor]: Taking taylor expansion of z in z
12.016 * [backup-simplify]: Simplify 0 into 0
12.017 * [backup-simplify]: Simplify 1 into 1
12.017 * [backup-simplify]: Simplify (- 0) into 0
12.017 * [backup-simplify]: Simplify 0 into 0
12.017 * [taylor]: Taking taylor expansion of z in z
12.017 * [backup-simplify]: Simplify 0 into 0
12.017 * [backup-simplify]: Simplify 1 into 1
12.017 * [backup-simplify]: Simplify 0 into 0
12.017 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
12.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.018 * [backup-simplify]: Simplify (- 0) into 0
12.019 * [backup-simplify]: Simplify (+ 0 0) into 0
12.019 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0
12.020 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z x)) (* 0 (* -1 z)))) into 0
12.020 * [taylor]: Taking taylor expansion of 0 in x
12.020 * [backup-simplify]: Simplify 0 into 0
12.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
12.021 * [backup-simplify]: Simplify (- 0) into 0
12.021 * [taylor]: Taking taylor expansion of 0 in z
12.021 * [backup-simplify]: Simplify 0 into 0
12.021 * [backup-simplify]: Simplify 0 into 0
12.021 * [taylor]: Taking taylor expansion of 0 in z
12.021 * [backup-simplify]: Simplify 0 into 0
12.021 * [backup-simplify]: Simplify 0 into 0
12.022 * [backup-simplify]: Simplify (- 1) into -1
12.022 * [backup-simplify]: Simplify -1 into -1
12.022 * [backup-simplify]: Simplify 1 into 1
12.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
12.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.023 * [backup-simplify]: Simplify (- 0) into 0
12.024 * [backup-simplify]: Simplify (+ 0 0) into 0
12.024 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0
12.025 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z x)) (* 0 (* -1 z))))) into 0
12.026 * [taylor]: Taking taylor expansion of 0 in x
12.026 * [backup-simplify]: Simplify 0 into 0
12.026 * [taylor]: Taking taylor expansion of 0 in z
12.026 * [backup-simplify]: Simplify 0 into 0
12.026 * [backup-simplify]: Simplify 0 into 0
12.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.027 * [backup-simplify]: Simplify (- 0) into 0
12.027 * [taylor]: Taking taylor expansion of 0 in z
12.028 * [backup-simplify]: Simplify 0 into 0
12.028 * [backup-simplify]: Simplify 0 into 0
12.028 * [taylor]: Taking taylor expansion of 0 in z
12.028 * [backup-simplify]: Simplify 0 into 0
12.028 * [backup-simplify]: Simplify 0 into 0
12.028 * [backup-simplify]: Simplify 0 into 0
12.028 * [backup-simplify]: Simplify 0 into 0
12.028 * [backup-simplify]: Simplify (- 0) into 0
12.028 * [backup-simplify]: Simplify 0 into 0
12.028 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ y z) (/ x z))
12.029 * * * [progress]: simplifying candidates
12.029 * [simplify]: Simplifying:
  (expm1 (/ (- y x) z))
  (log1p (/ (- y x) z))
  (- (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))
12.030 * * [simplify]: Extracting # 0 : cost  47  inf +  0
12.030 * * [simplify]: Extracting # 1 : cost  67  inf +  0
12.030 * * [simplify]: Extracting # 2 : cost  64  inf +  280
12.031 * * [simplify]: Extracting # 3 : cost  27  inf +  4861
12.031 * * [simplify]: Extracting # 4 : cost  8  inf +  7811
12.032 * * [simplify]: Extracting # 5 : cost  0  inf +  9514
12.033 * * [simplify]: iteration  0 :  75  enodes  (cost  8886 )
12.064 * * [simplify]: Extracting # 0 : cost  0  inf +  9514
12.067 * * [simplify]: Extracting # 1 : cost  42  inf +  9070
12.070 * * [simplify]: Extracting # 2 : cost  0  inf +  14236
12.073 * * [simplify]: iteration  1 :  165  enodes  (cost  8347 )
12.117 * * [simplify]: Extracting # 0 : cost  0  inf +  14236
12.121 * * [simplify]: Extracting # 1 : cost  83  inf +  14129
12.126 * * [simplify]: Extracting # 2 : cost  2  inf +  23200
12.130 * * [simplify]: Extracting # 3 : cost  0  inf +  23304
12.133 * * [simplify]: iteration  2 :  371  enodes  (cost  8267 )
12.270 * * [simplify]: Extracting # 0 : cost  0  inf +  23304
12.276 * * [simplify]: Extracting # 1 : cost  335  inf +  22980
12.287 * * [simplify]: Extracting # 2 : cost  24  inf +  58056
12.301 * * [simplify]: Extracting # 3 : cost  3  inf +  59093
12.316 * * [simplify]: Extracting # 4 : cost  0  inf +  59852
12.330 * * [simplify]: iteration  3 :  1208  enodes  (cost  8267 )
13.399 * * [simplify]: Extracting # 0 : cost  0  inf +  59852
13.435 * * [simplify]: Extracting # 1 : cost  1202  inf +  57547
13.506 * * [simplify]: Extracting # 2 : cost  5  inf +  200961
13.598 * * [simplify]: Extracting # 3 : cost  0  inf +  201753
13.706 * * [simplify]: iteration  4 :  4281  enodes  (cost  8267 )
14.633 * * [simplify]: Extracting # 0 : cost  0  inf +  201753
14.824 * * [simplify]: Extracting # 1 : cost  0  inf +  199923
14.973 * * [simplify]: iteration complete:  5000  enodes  (cost  8267 )
14.973 * [simplify]: Simplified to:
  (expm1 (/ (- y x) z))
  (log1p (/ (- y x) z))
  (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 x) (sqrt y))
  (/ (- (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))
  (* (fma y y (* x (+ y x))) z)
  (* z (+ y x))
  (/ (- y x) z)
  (/ (- y x) z)
  (/ (- y x) z)
14.976 * * * [progress]: adding candidates to table
15.171 * * [progress]: iteration 2 / 4
15.171 * * * [progress]: picking best candidate
15.174 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>
15.174 * * * [progress]: localizing error
15.183 * * * [progress]: generating rewritten candidates
15.183 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
15.231 * * * [progress]: generating series expansions
15.232 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
15.232 * [backup-simplify]: Simplify (- (/ y z) (/ x z)) into (- (/ y z) (/ x z))
15.232 * [approximate]: Taking taylor expansion of (- (/ y z) (/ x z)) in (y z x) around 0
15.232 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in x
15.232 * [taylor]: Taking taylor expansion of (/ y z) in x
15.232 * [taylor]: Taking taylor expansion of y in x
15.232 * [backup-simplify]: Simplify y into y
15.232 * [taylor]: Taking taylor expansion of z in x
15.232 * [backup-simplify]: Simplify z into z
15.232 * [backup-simplify]: Simplify (/ y z) into (/ y z)
15.232 * [taylor]: Taking taylor expansion of (/ x z) in x
15.232 * [taylor]: Taking taylor expansion of x in x
15.232 * [backup-simplify]: Simplify 0 into 0
15.232 * [backup-simplify]: Simplify 1 into 1
15.232 * [taylor]: Taking taylor expansion of z in x
15.232 * [backup-simplify]: Simplify z into z
15.232 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
15.232 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in z
15.232 * [taylor]: Taking taylor expansion of (/ y z) in z
15.232 * [taylor]: Taking taylor expansion of y in z
15.232 * [backup-simplify]: Simplify y into y
15.232 * [taylor]: Taking taylor expansion of z in z
15.232 * [backup-simplify]: Simplify 0 into 0
15.232 * [backup-simplify]: Simplify 1 into 1
15.232 * [backup-simplify]: Simplify (/ y 1) into y
15.232 * [taylor]: Taking taylor expansion of (/ x z) in z
15.233 * [taylor]: Taking taylor expansion of x in z
15.233 * [backup-simplify]: Simplify x into x
15.233 * [taylor]: Taking taylor expansion of z in z
15.233 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify 1 into 1
15.233 * [backup-simplify]: Simplify (/ x 1) into x
15.233 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in y
15.233 * [taylor]: Taking taylor expansion of (/ y z) in y
15.233 * [taylor]: Taking taylor expansion of y in y
15.233 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify 1 into 1
15.233 * [taylor]: Taking taylor expansion of z in y
15.233 * [backup-simplify]: Simplify z into z
15.233 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
15.233 * [taylor]: Taking taylor expansion of (/ x z) in y
15.233 * [taylor]: Taking taylor expansion of x in y
15.233 * [backup-simplify]: Simplify x into x
15.233 * [taylor]: Taking taylor expansion of z in y
15.233 * [backup-simplify]: Simplify z into z
15.233 * [backup-simplify]: Simplify (/ x z) into (/ x z)
15.233 * [taylor]: Taking taylor expansion of (- (/ y z) (/ x z)) in y
15.233 * [taylor]: Taking taylor expansion of (/ y z) in y
15.233 * [taylor]: Taking taylor expansion of y in y
15.233 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify 1 into 1
15.233 * [taylor]: Taking taylor expansion of z in y
15.233 * [backup-simplify]: Simplify z into z
15.233 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
15.233 * [taylor]: Taking taylor expansion of (/ x z) in y
15.233 * [taylor]: Taking taylor expansion of x in y
15.233 * [backup-simplify]: Simplify x into x
15.233 * [taylor]: Taking taylor expansion of z in y
15.233 * [backup-simplify]: Simplify z into z
15.233 * [backup-simplify]: Simplify (/ x z) into (/ x z)
15.233 * [backup-simplify]: Simplify (- (/ x z)) into (- (/ x z))
15.233 * [backup-simplify]: Simplify (+ 0 (- (/ x z))) into (- (/ x z))
15.233 * [taylor]: Taking taylor expansion of (- (/ x z)) in z
15.233 * [taylor]: Taking taylor expansion of (/ x z) in z
15.233 * [taylor]: Taking taylor expansion of x in z
15.233 * [backup-simplify]: Simplify x into x
15.233 * [taylor]: Taking taylor expansion of z in z
15.233 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify 1 into 1
15.233 * [backup-simplify]: Simplify (/ x 1) into x
15.233 * [backup-simplify]: Simplify (- x) into (- x)
15.233 * [taylor]: Taking taylor expansion of (- x) in x
15.233 * [taylor]: Taking taylor expansion of x in x
15.233 * [backup-simplify]: Simplify 0 into 0
15.233 * [backup-simplify]: Simplify 1 into 1
15.234 * [backup-simplify]: Simplify (- 0) into 0
15.234 * [backup-simplify]: Simplify 0 into 0
15.234 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
15.234 * [backup-simplify]: Simplify (- 0) into 0
15.234 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
15.234 * [taylor]: Taking taylor expansion of (/ 1 z) in z
15.234 * [taylor]: Taking taylor expansion of z in z
15.234 * [backup-simplify]: Simplify 0 into 0
15.234 * [backup-simplify]: Simplify 1 into 1
15.235 * [backup-simplify]: Simplify (/ 1 1) into 1
15.235 * [taylor]: Taking taylor expansion of 1 in x
15.235 * [backup-simplify]: Simplify 1 into 1
15.235 * [backup-simplify]: Simplify 1 into 1
15.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
15.236 * [backup-simplify]: Simplify (- 0) into 0
15.236 * [taylor]: Taking taylor expansion of 0 in x
15.236 * [backup-simplify]: Simplify 0 into 0
15.236 * [backup-simplify]: Simplify 0 into 0
15.236 * [backup-simplify]: Simplify (- 1) into -1
15.236 * [backup-simplify]: Simplify -1 into -1
15.236 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
15.236 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.236 * [backup-simplify]: Simplify (- 0) into 0
15.237 * [backup-simplify]: Simplify (+ 0 0) into 0
15.237 * [taylor]: Taking taylor expansion of 0 in z
15.237 * [backup-simplify]: Simplify 0 into 0
15.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.237 * [taylor]: Taking taylor expansion of 0 in x
15.237 * [backup-simplify]: Simplify 0 into 0
15.237 * [backup-simplify]: Simplify 0 into 0
15.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.238 * [backup-simplify]: Simplify (- 0) into 0
15.238 * [taylor]: Taking taylor expansion of 0 in x
15.238 * [backup-simplify]: Simplify 0 into 0
15.238 * [backup-simplify]: Simplify 0 into 0
15.238 * [backup-simplify]: Simplify 0 into 0
15.238 * [backup-simplify]: Simplify 0 into 0
15.239 * [backup-simplify]: Simplify (- 0) into 0
15.239 * [backup-simplify]: Simplify 0 into 0
15.239 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.239 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
15.239 * [backup-simplify]: Simplify (- 0) into 0
15.239 * [backup-simplify]: Simplify (+ 0 0) into 0
15.239 * [taylor]: Taking taylor expansion of 0 in z
15.239 * [backup-simplify]: Simplify 0 into 0
15.239 * [taylor]: Taking taylor expansion of 0 in x
15.239 * [backup-simplify]: Simplify 0 into 0
15.239 * [backup-simplify]: Simplify 0 into 0
15.240 * [backup-simplify]: Simplify (+ (* -1 (* x (* (/ 1 z) 1))) (* 1 (* 1 (* (/ 1 z) y)))) into (- (/ y z) (/ x z))
15.240 * [backup-simplify]: Simplify (- (/ (/ 1 y) (/ 1 z)) (/ (/ 1 x) (/ 1 z))) into (- (/ z y) (/ z x))
15.240 * [approximate]: Taking taylor expansion of (- (/ z y) (/ z x)) in (y z x) around 0
15.240 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in x
15.240 * [taylor]: Taking taylor expansion of (/ z y) in x
15.240 * [taylor]: Taking taylor expansion of z in x
15.240 * [backup-simplify]: Simplify z into z
15.240 * [taylor]: Taking taylor expansion of y in x
15.240 * [backup-simplify]: Simplify y into y
15.240 * [backup-simplify]: Simplify (/ z y) into (/ z y)
15.240 * [taylor]: Taking taylor expansion of (/ z x) in x
15.240 * [taylor]: Taking taylor expansion of z in x
15.240 * [backup-simplify]: Simplify z into z
15.240 * [taylor]: Taking taylor expansion of x in x
15.240 * [backup-simplify]: Simplify 0 into 0
15.240 * [backup-simplify]: Simplify 1 into 1
15.240 * [backup-simplify]: Simplify (/ z 1) into z
15.240 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in z
15.240 * [taylor]: Taking taylor expansion of (/ z y) in z
15.240 * [taylor]: Taking taylor expansion of z in z
15.240 * [backup-simplify]: Simplify 0 into 0
15.240 * [backup-simplify]: Simplify 1 into 1
15.240 * [taylor]: Taking taylor expansion of y in z
15.240 * [backup-simplify]: Simplify y into y
15.240 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
15.240 * [taylor]: Taking taylor expansion of (/ z x) in z
15.240 * [taylor]: Taking taylor expansion of z in z
15.240 * [backup-simplify]: Simplify 0 into 0
15.240 * [backup-simplify]: Simplify 1 into 1
15.240 * [taylor]: Taking taylor expansion of x in z
15.240 * [backup-simplify]: Simplify x into x
15.240 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.240 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
15.240 * [taylor]: Taking taylor expansion of (/ z y) in y
15.240 * [taylor]: Taking taylor expansion of z in y
15.240 * [backup-simplify]: Simplify z into z
15.240 * [taylor]: Taking taylor expansion of y in y
15.240 * [backup-simplify]: Simplify 0 into 0
15.240 * [backup-simplify]: Simplify 1 into 1
15.240 * [backup-simplify]: Simplify (/ z 1) into z
15.240 * [taylor]: Taking taylor expansion of (/ z x) in y
15.240 * [taylor]: Taking taylor expansion of z in y
15.240 * [backup-simplify]: Simplify z into z
15.240 * [taylor]: Taking taylor expansion of x in y
15.240 * [backup-simplify]: Simplify x into x
15.240 * [backup-simplify]: Simplify (/ z x) into (/ z x)
15.241 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
15.241 * [taylor]: Taking taylor expansion of (/ z y) in y
15.241 * [taylor]: Taking taylor expansion of z in y
15.241 * [backup-simplify]: Simplify z into z
15.241 * [taylor]: Taking taylor expansion of y in y
15.241 * [backup-simplify]: Simplify 0 into 0
15.241 * [backup-simplify]: Simplify 1 into 1
15.241 * [backup-simplify]: Simplify (/ z 1) into z
15.241 * [taylor]: Taking taylor expansion of (/ z x) in y
15.241 * [taylor]: Taking taylor expansion of z in y
15.241 * [backup-simplify]: Simplify z into z
15.241 * [taylor]: Taking taylor expansion of x in y
15.241 * [backup-simplify]: Simplify x into x
15.241 * [backup-simplify]: Simplify (/ z x) into (/ z x)
15.241 * [backup-simplify]: Simplify (+ z 0) into z
15.241 * [taylor]: Taking taylor expansion of z in z
15.241 * [backup-simplify]: Simplify 0 into 0
15.241 * [backup-simplify]: Simplify 1 into 1
15.241 * [taylor]: Taking taylor expansion of 1 in x
15.241 * [backup-simplify]: Simplify 1 into 1
15.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
15.242 * [backup-simplify]: Simplify (- (/ z x)) into (- (/ z x))
15.242 * [backup-simplify]: Simplify (+ 0 (- (/ z x))) into (- (/ z x))
15.242 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
15.242 * [taylor]: Taking taylor expansion of (/ z x) in z
15.242 * [taylor]: Taking taylor expansion of z in z
15.242 * [backup-simplify]: Simplify 0 into 0
15.242 * [backup-simplify]: Simplify 1 into 1
15.242 * [taylor]: Taking taylor expansion of x in z
15.242 * [backup-simplify]: Simplify x into x
15.242 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.242 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
15.242 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.242 * [taylor]: Taking taylor expansion of x in x
15.242 * [backup-simplify]: Simplify 0 into 0
15.242 * [backup-simplify]: Simplify 1 into 1
15.242 * [backup-simplify]: Simplify (/ 1 1) into 1
15.242 * [backup-simplify]: Simplify (- 1) into -1
15.242 * [backup-simplify]: Simplify -1 into -1
15.242 * [taylor]: Taking taylor expansion of 0 in x
15.243 * [backup-simplify]: Simplify 0 into 0
15.243 * [backup-simplify]: Simplify 1 into 1
15.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.243 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
15.244 * [backup-simplify]: Simplify (- 0) into 0
15.244 * [backup-simplify]: Simplify (+ 0 0) into 0
15.244 * [taylor]: Taking taylor expansion of 0 in z
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [taylor]: Taking taylor expansion of 0 in x
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
15.244 * [backup-simplify]: Simplify (- 0) into 0
15.244 * [taylor]: Taking taylor expansion of 0 in x
15.244 * [backup-simplify]: Simplify 0 into 0
15.244 * [taylor]: Taking taylor expansion of 0 in x
15.244 * [backup-simplify]: Simplify 0 into 0
15.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.245 * [backup-simplify]: Simplify (- 0) into 0
15.245 * [backup-simplify]: Simplify 0 into 0
15.245 * [backup-simplify]: Simplify 0 into 0
15.245 * [backup-simplify]: Simplify 0 into 0
15.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.246 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.247 * [backup-simplify]: Simplify (- 0) into 0
15.247 * [backup-simplify]: Simplify (+ 0 0) into 0
15.247 * [taylor]: Taking taylor expansion of 0 in z
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [taylor]: Taking taylor expansion of 0 in x
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [taylor]: Taking taylor expansion of 0 in x
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.247 * [backup-simplify]: Simplify (- 0) into 0
15.247 * [taylor]: Taking taylor expansion of 0 in x
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [taylor]: Taking taylor expansion of 0 in x
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [backup-simplify]: Simplify 0 into 0
15.248 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* (/ 1 z) 1)))) into (- (/ y z) (/ x z))
15.248 * [backup-simplify]: Simplify (- (/ (/ 1 (- y)) (/ 1 (- z))) (/ (/ 1 (- x)) (/ 1 (- z)))) into (- (/ z y) (/ z x))
15.248 * [approximate]: Taking taylor expansion of (- (/ z y) (/ z x)) in (y z x) around 0
15.248 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in x
15.248 * [taylor]: Taking taylor expansion of (/ z y) in x
15.248 * [taylor]: Taking taylor expansion of z in x
15.248 * [backup-simplify]: Simplify z into z
15.248 * [taylor]: Taking taylor expansion of y in x
15.248 * [backup-simplify]: Simplify y into y
15.248 * [backup-simplify]: Simplify (/ z y) into (/ z y)
15.248 * [taylor]: Taking taylor expansion of (/ z x) in x
15.248 * [taylor]: Taking taylor expansion of z in x
15.248 * [backup-simplify]: Simplify z into z
15.248 * [taylor]: Taking taylor expansion of x in x
15.248 * [backup-simplify]: Simplify 0 into 0
15.248 * [backup-simplify]: Simplify 1 into 1
15.248 * [backup-simplify]: Simplify (/ z 1) into z
15.248 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in z
15.248 * [taylor]: Taking taylor expansion of (/ z y) in z
15.248 * [taylor]: Taking taylor expansion of z in z
15.248 * [backup-simplify]: Simplify 0 into 0
15.248 * [backup-simplify]: Simplify 1 into 1
15.248 * [taylor]: Taking taylor expansion of y in z
15.248 * [backup-simplify]: Simplify y into y
15.248 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
15.248 * [taylor]: Taking taylor expansion of (/ z x) in z
15.248 * [taylor]: Taking taylor expansion of z in z
15.248 * [backup-simplify]: Simplify 0 into 0
15.248 * [backup-simplify]: Simplify 1 into 1
15.248 * [taylor]: Taking taylor expansion of x in z
15.248 * [backup-simplify]: Simplify x into x
15.248 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.248 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
15.248 * [taylor]: Taking taylor expansion of (/ z y) in y
15.248 * [taylor]: Taking taylor expansion of z in y
15.248 * [backup-simplify]: Simplify z into z
15.248 * [taylor]: Taking taylor expansion of y in y
15.248 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 1 into 1
15.249 * [backup-simplify]: Simplify (/ z 1) into z
15.249 * [taylor]: Taking taylor expansion of (/ z x) in y
15.249 * [taylor]: Taking taylor expansion of z in y
15.249 * [backup-simplify]: Simplify z into z
15.249 * [taylor]: Taking taylor expansion of x in y
15.249 * [backup-simplify]: Simplify x into x
15.249 * [backup-simplify]: Simplify (/ z x) into (/ z x)
15.249 * [taylor]: Taking taylor expansion of (- (/ z y) (/ z x)) in y
15.249 * [taylor]: Taking taylor expansion of (/ z y) in y
15.249 * [taylor]: Taking taylor expansion of z in y
15.249 * [backup-simplify]: Simplify z into z
15.249 * [taylor]: Taking taylor expansion of y in y
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 1 into 1
15.249 * [backup-simplify]: Simplify (/ z 1) into z
15.249 * [taylor]: Taking taylor expansion of (/ z x) in y
15.249 * [taylor]: Taking taylor expansion of z in y
15.249 * [backup-simplify]: Simplify z into z
15.249 * [taylor]: Taking taylor expansion of x in y
15.249 * [backup-simplify]: Simplify x into x
15.249 * [backup-simplify]: Simplify (/ z x) into (/ z x)
15.249 * [backup-simplify]: Simplify (+ z 0) into z
15.249 * [taylor]: Taking taylor expansion of z in z
15.249 * [backup-simplify]: Simplify 0 into 0
15.249 * [backup-simplify]: Simplify 1 into 1
15.249 * [taylor]: Taking taylor expansion of 1 in x
15.249 * [backup-simplify]: Simplify 1 into 1
15.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
15.250 * [backup-simplify]: Simplify (- (/ z x)) into (- (/ z x))
15.250 * [backup-simplify]: Simplify (+ 0 (- (/ z x))) into (- (/ z x))
15.250 * [taylor]: Taking taylor expansion of (- (/ z x)) in z
15.250 * [taylor]: Taking taylor expansion of (/ z x) in z
15.250 * [taylor]: Taking taylor expansion of z in z
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 1 into 1
15.250 * [taylor]: Taking taylor expansion of x in z
15.250 * [backup-simplify]: Simplify x into x
15.250 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
15.250 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
15.250 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.250 * [taylor]: Taking taylor expansion of x in x
15.250 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify 1 into 1
15.250 * [backup-simplify]: Simplify (/ 1 1) into 1
15.251 * [backup-simplify]: Simplify (- 1) into -1
15.251 * [backup-simplify]: Simplify -1 into -1
15.251 * [taylor]: Taking taylor expansion of 0 in x
15.251 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify 1 into 1
15.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.252 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
15.252 * [backup-simplify]: Simplify (- 0) into 0
15.252 * [backup-simplify]: Simplify (+ 0 0) into 0
15.252 * [taylor]: Taking taylor expansion of 0 in z
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [taylor]: Taking taylor expansion of 0 in x
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
15.252 * [backup-simplify]: Simplify (- 0) into 0
15.252 * [taylor]: Taking taylor expansion of 0 in x
15.252 * [backup-simplify]: Simplify 0 into 0
15.252 * [taylor]: Taking taylor expansion of 0 in x
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.253 * [backup-simplify]: Simplify (- 0) into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.254 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.255 * [backup-simplify]: Simplify (- 0) into 0
15.255 * [backup-simplify]: Simplify (+ 0 0) into 0
15.255 * [taylor]: Taking taylor expansion of 0 in z
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [taylor]: Taking taylor expansion of 0 in x
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [taylor]: Taking taylor expansion of 0 in x
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
15.255 * [backup-simplify]: Simplify (- 0) into 0
15.255 * [taylor]: Taking taylor expansion of 0 in x
15.255 * [backup-simplify]: Simplify 0 into 0
15.255 * [taylor]: Taking taylor expansion of 0 in x
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) 1)))) into (- (/ y z) (/ x z))
15.256 * * * [progress]: simplifying candidates
15.260 * [simplify]: Simplifying:
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (sqrt (/ y z)) (sqrt (/ y z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ (sqrt y) (sqrt z)) (/ (sqrt y) (sqrt z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ (sqrt y) 1) (/ (sqrt y) z) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ 1 (sqrt z)) (/ y (sqrt z)) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma (/ 1 1) (/ y z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma (/ 1 1) (/ y z) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma (/ 1 1) (/ y z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 1) (/ y z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma (/ 1 1) (/ y z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma (/ 1 1) (/ y z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma (/ 1 1) (/ y z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma (/ 1 1) (/ y z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma (/ 1 1) (/ y z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma (/ 1 1) (/ y z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma (/ 1 1) (/ y z) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma (/ 1 1) (/ y z) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma (/ 1 1) (/ y z) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma 1 (/ y z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma 1 (/ y z) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma 1 (/ y z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma 1 (/ y z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma 1 (/ y z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma 1 (/ y z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma 1 (/ y z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma 1 (/ y z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma 1 (/ y z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma 1 (/ y z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma 1 (/ y z) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma 1 (/ y z) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma 1 (/ y z) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (fma y (/ 1 z) (- (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z))))))
  (fma (- (cbrt (/ x z))) (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) (* (cbrt (/ x z)) (cbrt (/ x z)))))
  (fma y (/ 1 z) (- (* (sqrt (/ x z)) (sqrt (/ x z)))))
  (fma (- (sqrt (/ x z))) (sqrt (/ x z)) (* (sqrt (/ x z)) (sqrt (/ x z))))
  (fma y (/ 1 z) (- (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (cbrt x) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))))
  (fma y (/ 1 z) (- (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z)))))
  (fma (- (/ (cbrt x) (sqrt z))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))))
  (fma y (/ 1 z) (- (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1))))
  (fma (- (/ (cbrt x) z)) (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) (/ (* (cbrt x) (cbrt x)) 1)))
  (fma y (/ 1 z) (- (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z))))))
  (fma (- (/ (sqrt x) (cbrt z))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))))
  (fma y (/ 1 z) (- (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z)))))
  (fma (- (/ (sqrt x) (sqrt z))) (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) (/ (sqrt x) (sqrt z))))
  (fma y (/ 1 z) (- (* (/ (sqrt x) z) (/ (sqrt x) 1))))
  (fma (- (/ (sqrt x) z)) (/ (sqrt x) 1) (* (/ (sqrt x) z) (/ (sqrt x) 1)))
  (fma y (/ 1 z) (- (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z))))))
  (fma (- (/ x (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))))
  (fma y (/ 1 z) (- (* (/ x (sqrt z)) (/ 1 (sqrt z)))))
  (fma (- (/ x (sqrt z))) (/ 1 (sqrt z)) (* (/ x (sqrt z)) (/ 1 (sqrt z))))
  (fma y (/ 1 z) (- (* (/ x z) (/ 1 1))))
  (fma (- (/ x z)) (/ 1 1) (* (/ x z) (/ 1 1)))
  (fma y (/ 1 z) (- (* (/ x z) 1)))
  (fma (- (/ x z)) 1 (* (/ x z) 1))
  (fma y (/ 1 z) (- (* (/ 1 z) x)))
  (fma (- (/ 1 z)) x (* (/ 1 z) x))
  (expm1 (- (/ y z) (/ x z)))
  (log1p (- (/ y z) (/ x z)))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (/ (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.273 * * [simplify]: Extracting # 0 : cost  210  inf +  0
15.274 * * [simplify]: Extracting # 1 : cost  293  inf +  0
15.276 * * [simplify]: Extracting # 2 : cost  285  inf +  2123
15.279 * * [simplify]: Extracting # 3 : cost  230  inf +  11403
15.285 * * [simplify]: Extracting # 4 : cost  171  inf +  25549
15.289 * * [simplify]: Extracting # 5 : cost  106  inf +  46633
15.297 * * [simplify]: Extracting # 6 : cost  26  inf +  83918
15.306 * * [simplify]: Extracting # 7 : cost  10  inf +  91683
15.319 * * [simplify]: Extracting # 8 : cost  0  inf +  96828
15.336 * * [simplify]: iteration  0 :  310  enodes  (cost  129045 )
15.454 * * [simplify]: Extracting # 0 : cost  0  inf +  96828
15.464 * * [simplify]: Extracting # 1 : cost  80  inf +  92820
15.481 * * [simplify]: Extracting # 2 : cost  4  inf +  99938
15.495 * * [simplify]: Extracting # 3 : cost  0  inf +  100062
15.509 * * [simplify]: Extracting # 4 : cost  0  inf +  99863
15.534 * * [simplify]: Extracting # 5 : cost  0  inf +  99546
15.557 * * [simplify]: iteration  1 :  705  enodes  (cost  114823 )
15.783 * * [simplify]: Extracting # 0 : cost  0  inf +  99546
15.818 * * [simplify]: Extracting # 1 : cost  242  inf +  91537
15.876 * * [simplify]: Extracting # 2 : cost  4  inf +  129486
15.936 * * [simplify]: Extracting # 3 : cost  2  inf +  128233
15.972 * * [simplify]: Extracting # 4 : cost  0  inf +  128739
16.033 * * [simplify]: iteration  2 :  1590  enodes  (cost  97418 )
17.285 * * [simplify]: Extracting # 0 : cost  0  inf +  128739
17.452 * * [simplify]: Extracting # 1 : cost  741  inf +  116000
17.613 * * [simplify]: Extracting # 2 : cost  47  inf +  244208
17.829 * * [simplify]: Extracting # 3 : cost  2  inf +  251871
18.070 * * [simplify]: Extracting # 4 : cost  0  inf +  252416
18.261 * * [simplify]: iteration  3 :  4291  enodes  (cost  80230 )
19.361 * * [simplify]: Extracting # 0 : cost  0  inf +  252416
19.729 * * [simplify]: Extracting # 1 : cost  1  inf +  252296
20.003 * * [simplify]: Extracting # 2 : cost  0  inf +  252297
20.284 * * [simplify]: iteration complete:  5000  enodes  (cost  80230 )
20.286 * [simplify]: Simplified to:
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (sqrt z))) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ x z))
  (* (/ x z) 0)
  (- (* (* (cbrt y) (cbrt y)) (/ (cbrt y) z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (* (/ (sqrt y) (cbrt z)) (/ (sqrt y) (cbrt z))) (cbrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ (/ y (sqrt z)) (sqrt z)) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (fma (/ -1 (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ (/ x (cbrt z)) (* (cbrt z) (cbrt z))))
  (- (/ y z) (/ (/ x (sqrt z)) (sqrt z)))
  (+ (- (/ (/ x (sqrt z)) (sqrt z))) (/ (/ x (sqrt z)) (sqrt z)))
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (- (/ y z) (/ x z))
  (* (/ x z) 0)
  (expm1 (- (/ y z) (/ x z)))
  (log1p (- (/ y z) (/ x z)))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (- (/ x z))
  (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))))
  (fma (/ y z) (/ y z) (* (/ x z) (+ (/ x z) (/ y 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))
20.314 * * * [progress]: adding candidates to table
21.101 * [progress]: [Phase 3 of 3] Extracting.
21.101 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (/ (- y x) z)))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
21.102 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (/ (- y x) z)) z y x)
21.102 * * * * [regimes]: Trying to branch on (+ x (/ (- y x) z)) from (#<alt (λ (x y z) (+ x (/ (- y x) z)))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
21.156 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (/ (- y x) z)))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
21.194 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (/ (- y x) z)))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
21.229 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (/ (- y x) z)))> #<alt (λ (x y z) (+ x (- (/ y z) (/ x z))))>)
21.291 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
21.291 * [simplify]: Simplifying:
  (+ x (/ (- y x) z))
21.291 * * [simplify]: Extracting # 0 : cost  1  inf +  0
21.291 * * [simplify]: Extracting # 1 : cost  3  inf +  0
21.291 * * [simplify]: Extracting # 2 : cost  4  inf +  1
21.291 * * [simplify]: Extracting # 3 : cost  4  inf +  2
21.292 * * [simplify]: Extracting # 4 : cost  0  inf +  251
21.292 * * [simplify]: iteration  0 :  6  enodes  (cost  123 )
21.292 * * [simplify]: Extracting # 0 : cost  0  inf +  251
21.292 * * [simplify]: iteration  1 :  7  enodes  (cost  123 )
21.293 * * [simplify]: Extracting # 0 : cost  0  inf +  251
21.293 * * [simplify]: iteration complete:  7  enodes  (cost  123 )
21.293 * [simplify]: Simplified to:
  (+ x (/ (- y x) z))
22.958 * [regime-testing]: Baseline error score: 0.013772962245460972
22.972 * [regime-testing]: Oracle error score: 0.010397540317720005
22.990 * [regime-testing]: End program error score: 0.013772962245460972