7.954 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (- (- (* x (log y)) z) y) 0.044 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.045 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.047 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 0.050 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 0.059 * * [simplify]: iteration 4 : 52 enodes (cost 8 ) 0.063 * * [simplify]: iteration 5 : 72 enodes (cost 8 ) 0.069 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 0.078 * * [simplify]: iteration 7 : 136 enodes (cost 8 ) 0.092 * * [simplify]: iteration 8 : 184 enodes (cost 8 ) 0.102 * * [simplify]: iteration 9 : 231 enodes (cost 8 ) 0.122 * * [simplify]: iteration 10 : 273 enodes (cost 8 ) 0.145 * * [simplify]: iteration 11 : 326 enodes (cost 8 ) 0.156 * * [simplify]: iteration 12 : 382 enodes (cost 8 ) 0.175 * * [simplify]: iteration 13 : 425 enodes (cost 8 ) 0.199 * * [simplify]: iteration 14 : 474 enodes (cost 8 ) 0.209 * * [simplify]: iteration 15 : 527 enodes (cost 8 ) 0.229 * * [simplify]: iteration 16 : 572 enodes (cost 8 ) 0.252 * * [simplify]: iteration 17 : 621 enodes (cost 8 ) 0.265 * * [simplify]: iteration 18 : 674 enodes (cost 8 ) 0.282 * * [simplify]: iteration 19 : 717 enodes (cost 8 ) 0.306 * * [simplify]: iteration 20 : 766 enodes (cost 8 ) 0.319 * * [simplify]: iteration 21 : 819 enodes (cost 8 ) 0.336 * * [simplify]: iteration 22 : 862 enodes (cost 8 ) 0.359 * * [simplify]: iteration 23 : 911 enodes (cost 8 ) 0.373 * * [simplify]: iteration 24 : 964 enodes (cost 8 ) 0.389 * * [simplify]: iteration 25 : 1009 enodes (cost 8 ) 0.412 * * [simplify]: iteration 26 : 1058 enodes (cost 8 ) 0.426 * * [simplify]: iteration 27 : 1111 enodes (cost 8 ) 0.442 * * [simplify]: iteration 28 : 1152 enodes (cost 8 ) 0.466 * * [simplify]: iteration 29 : 1201 enodes (cost 8 ) 0.479 * * [simplify]: iteration 30 : 1254 enodes (cost 8 ) 0.495 * * [simplify]: iteration 31 : 1297 enodes (cost 8 ) 0.519 * * [simplify]: iteration 32 : 1346 enodes (cost 8 ) 0.532 * * [simplify]: iteration 33 : 1399 enodes (cost 8 ) 0.549 * * [simplify]: iteration 34 : 1444 enodes (cost 8 ) 0.573 * * [simplify]: iteration 35 : 1493 enodes (cost 8 ) 0.587 * * [simplify]: iteration 36 : 1546 enodes (cost 8 ) 0.603 * * [simplify]: iteration 37 : 1587 enodes (cost 8 ) 0.627 * * [simplify]: iteration 38 : 1636 enodes (cost 8 ) 0.641 * * [simplify]: iteration 39 : 1689 enodes (cost 8 ) 0.658 * * [simplify]: iteration 40 : 1732 enodes (cost 8 ) 0.681 * * [simplify]: iteration 41 : 1781 enodes (cost 8 ) 0.695 * * [simplify]: iteration 42 : 1834 enodes (cost 8 ) 0.712 * * [simplify]: iteration 43 : 1875 enodes (cost 8 ) 0.737 * * [simplify]: iteration 44 : 1924 enodes (cost 8 ) 0.748 * * [simplify]: iteration 45 : 1977 enodes (cost 8 ) 0.764 * * [simplify]: iteration 46 : 2020 enodes (cost 8 ) 0.792 * * [simplify]: iteration 47 : 2069 enodes (cost 8 ) 0.803 * * [simplify]: iteration 48 : 2122 enodes (cost 8 ) 0.820 * * [simplify]: iteration 49 : 2167 enodes (cost 8 ) 0.847 * * [simplify]: iteration 50 : 2216 enodes (cost 8 ) 0.857 * * [simplify]: iteration 51 : 2269 enodes (cost 8 ) 0.874 * * [simplify]: iteration 52 : 2310 enodes (cost 8 ) 0.901 * * [simplify]: iteration 53 : 2359 enodes (cost 8 ) 0.911 * * [simplify]: iteration 54 : 2412 enodes (cost 8 ) 0.928 * * [simplify]: iteration 55 : 2455 enodes (cost 8 ) 0.955 * * [simplify]: iteration 56 : 2504 enodes (cost 8 ) 0.965 * * [simplify]: iteration 57 : 2557 enodes (cost 8 ) 0.982 * * [simplify]: iteration 58 : 2602 enodes (cost 8 ) 1.008 * * [simplify]: iteration 59 : 2651 enodes (cost 8 ) 1.019 * * [simplify]: iteration 60 : 2704 enodes (cost 8 ) 1.035 * * [simplify]: iteration 61 : 2745 enodes (cost 8 ) 1.062 * * [simplify]: iteration 62 : 2794 enodes (cost 8 ) 1.072 * * [simplify]: iteration 63 : 2847 enodes (cost 8 ) 1.088 * * [simplify]: iteration 64 : 2892 enodes (cost 8 ) 1.115 * * [simplify]: iteration 65 : 2941 enodes (cost 8 ) 1.126 * * [simplify]: iteration 66 : 2994 enodes (cost 8 ) 1.142 * * [simplify]: iteration 67 : 3037 enodes (cost 8 ) 1.169 * * [simplify]: iteration 68 : 3086 enodes (cost 8 ) 1.179 * * [simplify]: iteration 69 : 3139 enodes (cost 8 ) 1.195 * * [simplify]: iteration 70 : 3182 enodes (cost 8 ) 1.223 * * [simplify]: iteration 71 : 3231 enodes (cost 8 ) 1.233 * * [simplify]: iteration 72 : 3284 enodes (cost 8 ) 1.249 * * [simplify]: iteration 73 : 3325 enodes (cost 8 ) 1.276 * * [simplify]: iteration 74 : 3374 enodes (cost 8 ) 1.287 * * [simplify]: iteration 75 : 3427 enodes (cost 8 ) 1.303 * * [simplify]: iteration 76 : 3472 enodes (cost 8 ) 1.330 * * [simplify]: iteration 77 : 3521 enodes (cost 8 ) 1.340 * * [simplify]: iteration 78 : 3574 enodes (cost 8 ) 1.356 * * [simplify]: iteration 79 : 3615 enodes (cost 8 ) 1.383 * * [simplify]: iteration 80 : 3664 enodes (cost 8 ) 1.394 * * [simplify]: iteration 81 : 3717 enodes (cost 8 ) 1.410 * * [simplify]: iteration 82 : 3762 enodes (cost 8 ) 1.438 * * [simplify]: iteration 83 : 3811 enodes (cost 8 ) 1.448 * * [simplify]: iteration 84 : 3864 enodes (cost 8 ) 1.464 * * [simplify]: iteration 85 : 3905 enodes (cost 8 ) 1.492 * * [simplify]: iteration 86 : 3954 enodes (cost 8 ) 1.502 * * [simplify]: iteration 87 : 4007 enodes (cost 8 ) 1.518 * * [simplify]: iteration 88 : 4050 enodes (cost 8 ) 1.545 * * [simplify]: iteration 89 : 4099 enodes (cost 8 ) 1.556 * * [simplify]: iteration 90 : 4152 enodes (cost 8 ) 1.572 * * [simplify]: iteration 91 : 4197 enodes (cost 8 ) 1.599 * * [simplify]: iteration 92 : 4246 enodes (cost 8 ) 1.609 * * [simplify]: iteration 93 : 4299 enodes (cost 8 ) 1.625 * * [simplify]: iteration 94 : 4340 enodes (cost 8 ) 1.652 * * [simplify]: iteration 95 : 4389 enodes (cost 8 ) 1.663 * * [simplify]: iteration 96 : 4442 enodes (cost 8 ) 1.679 * * [simplify]: iteration 97 : 4487 enodes (cost 8 ) 1.706 * * [simplify]: iteration 98 : 4536 enodes (cost 8 ) 1.716 * * [simplify]: iteration 99 : 4589 enodes (cost 8 ) 1.732 * * [simplify]: iteration 100 : 4632 enodes (cost 8 ) 1.759 * * [simplify]: iteration 101 : 4681 enodes (cost 8 ) 1.770 * * [simplify]: iteration 102 : 4734 enodes (cost 8 ) 1.786 * * [simplify]: iteration 103 : 4777 enodes (cost 8 ) 1.813 * * [simplify]: iteration 104 : 4826 enodes (cost 8 ) 1.823 * * [simplify]: iteration 105 : 4879 enodes (cost 8 ) 1.842 * * [simplify]: iteration 106 : 4920 enodes (cost 8 ) 1.866 * * [simplify]: iteration 107 : 4969 enodes (cost 8 ) 1.875 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 1.875 * [simplify]: Simplified to: (- (- (* x (log y)) z) y) 1.875 * * [progress]: iteration 1 / 4 1.875 * * * [progress]: picking best candidate 1.878 * * * * [pick]: Picked # 1.878 * * * [progress]: localizing error 1.886 * * * [progress]: generating rewritten candidates 1.886 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.891 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.896 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.906 * * * [progress]: generating series expansions 1.906 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.906 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 1.906 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.906 * [taylor]: Taking taylor expansion of x in y 1.906 * [taylor]: Taking taylor expansion of (log y) in y 1.906 * [taylor]: Taking taylor expansion of y in y 1.906 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.906 * [taylor]: Taking taylor expansion of x in x 1.906 * [taylor]: Taking taylor expansion of (log y) in x 1.906 * [taylor]: Taking taylor expansion of y in x 1.906 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.907 * [taylor]: Taking taylor expansion of x in x 1.907 * [taylor]: Taking taylor expansion of (log y) in x 1.907 * [taylor]: Taking taylor expansion of y in x 1.907 * [taylor]: Taking taylor expansion of 0 in y 1.907 * [taylor]: Taking taylor expansion of (log y) in y 1.907 * [taylor]: Taking taylor expansion of y in y 1.908 * [taylor]: Taking taylor expansion of 0 in y 1.912 * [taylor]: Taking taylor expansion of 0 in y 1.912 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 1.912 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.912 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.912 * [taylor]: Taking taylor expansion of y in y 1.913 * [taylor]: Taking taylor expansion of x in y 1.913 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.913 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.913 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.913 * [taylor]: Taking taylor expansion of y in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.913 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.913 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.913 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.913 * [taylor]: Taking taylor expansion of y in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.913 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.913 * [taylor]: Taking taylor expansion of y in y 1.913 * [taylor]: Taking taylor expansion of 0 in y 1.914 * [taylor]: Taking taylor expansion of 0 in y 1.915 * [taylor]: Taking taylor expansion of 0 in y 1.915 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 1.915 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 1.915 * [taylor]: Taking taylor expansion of -1 in y 1.915 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.915 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.915 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.915 * [taylor]: Taking taylor expansion of -1 in y 1.915 * [taylor]: Taking taylor expansion of y in y 1.915 * [taylor]: Taking taylor expansion of x in y 1.915 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.915 * [taylor]: Taking taylor expansion of -1 in x 1.915 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.915 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.915 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.915 * [taylor]: Taking taylor expansion of -1 in x 1.915 * [taylor]: Taking taylor expansion of y in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.916 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.916 * [taylor]: Taking taylor expansion of -1 in x 1.916 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.916 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.916 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.916 * [taylor]: Taking taylor expansion of -1 in x 1.916 * [taylor]: Taking taylor expansion of y in x 1.916 * [taylor]: Taking taylor expansion of x in x 1.916 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 1.916 * [taylor]: Taking taylor expansion of -1 in y 1.916 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.916 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.916 * [taylor]: Taking taylor expansion of -1 in y 1.916 * [taylor]: Taking taylor expansion of y in y 1.916 * [taylor]: Taking taylor expansion of 0 in y 1.917 * [taylor]: Taking taylor expansion of 0 in y 1.918 * [taylor]: Taking taylor expansion of 0 in y 1.918 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.918 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0 1.918 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z 1.918 * [taylor]: Taking taylor expansion of (* x (log y)) in z 1.918 * [taylor]: Taking taylor expansion of x in z 1.918 * [taylor]: Taking taylor expansion of (log y) in z 1.918 * [taylor]: Taking taylor expansion of y in z 1.918 * [taylor]: Taking taylor expansion of z in z 1.918 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y 1.918 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.918 * [taylor]: Taking taylor expansion of x in y 1.919 * [taylor]: Taking taylor expansion of (log y) in y 1.919 * [taylor]: Taking taylor expansion of y in y 1.919 * [taylor]: Taking taylor expansion of z in y 1.919 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 1.919 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.919 * [taylor]: Taking taylor expansion of x in x 1.919 * [taylor]: Taking taylor expansion of (log y) in x 1.919 * [taylor]: Taking taylor expansion of y in x 1.919 * [taylor]: Taking taylor expansion of z in x 1.919 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 1.919 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.919 * [taylor]: Taking taylor expansion of x in x 1.919 * [taylor]: Taking taylor expansion of (log y) in x 1.919 * [taylor]: Taking taylor expansion of y in x 1.919 * [taylor]: Taking taylor expansion of z in x 1.919 * [taylor]: Taking taylor expansion of (neg z) in y 1.919 * [taylor]: Taking taylor expansion of z in y 1.919 * [taylor]: Taking taylor expansion of (neg z) in z 1.919 * [taylor]: Taking taylor expansion of z in z 1.919 * [taylor]: Taking taylor expansion of (log y) in y 1.919 * [taylor]: Taking taylor expansion of y in y 1.919 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 1.919 * [taylor]: Taking taylor expansion of (log y) in z 1.919 * [taylor]: Taking taylor expansion of y in z 1.919 * [taylor]: Taking taylor expansion of (log 1) in z 1.919 * [taylor]: Taking taylor expansion of 1 in z 1.920 * [taylor]: Taking taylor expansion of 0 in z 1.920 * [taylor]: Taking taylor expansion of 0 in y 1.920 * [taylor]: Taking taylor expansion of 0 in z 1.920 * [taylor]: Taking taylor expansion of 0 in z 1.920 * [taylor]: Taking taylor expansion of 0 in z 1.921 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0 1.921 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z 1.921 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 1.921 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.921 * [taylor]: Taking taylor expansion of y in z 1.921 * [taylor]: Taking taylor expansion of x in z 1.921 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.921 * [taylor]: Taking taylor expansion of z in z 1.921 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y 1.921 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.921 * [taylor]: Taking taylor expansion of y in y 1.921 * [taylor]: Taking taylor expansion of x in y 1.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.921 * [taylor]: Taking taylor expansion of z in y 1.921 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 1.921 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.921 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.921 * [taylor]: Taking taylor expansion of y in x 1.921 * [taylor]: Taking taylor expansion of x in x 1.921 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.921 * [taylor]: Taking taylor expansion of z in x 1.921 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 1.921 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.921 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.921 * [taylor]: Taking taylor expansion of y in x 1.922 * [taylor]: Taking taylor expansion of x in x 1.922 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.922 * [taylor]: Taking taylor expansion of z in x 1.922 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.922 * [taylor]: Taking taylor expansion of y in y 1.922 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 1.922 * [taylor]: Taking taylor expansion of (log 1) in z 1.922 * [taylor]: Taking taylor expansion of 1 in z 1.922 * [taylor]: Taking taylor expansion of (log y) in z 1.922 * [taylor]: Taking taylor expansion of y in z 1.922 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 1.922 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.922 * [taylor]: Taking taylor expansion of z in y 1.922 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.922 * [taylor]: Taking taylor expansion of z in z 1.923 * [taylor]: Taking taylor expansion of 0 in z 1.923 * [taylor]: Taking taylor expansion of 0 in y 1.923 * [taylor]: Taking taylor expansion of 0 in z 1.923 * [taylor]: Taking taylor expansion of 0 in z 1.923 * [taylor]: Taking taylor expansion of 0 in z 1.924 * [taylor]: Taking taylor expansion of 0 in y 1.924 * [taylor]: Taking taylor expansion of 0 in z 1.924 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0 1.925 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z 1.925 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.925 * [taylor]: Taking taylor expansion of z in z 1.925 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 1.925 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 1.925 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.925 * [taylor]: Taking taylor expansion of -1 in z 1.925 * [taylor]: Taking taylor expansion of y in z 1.925 * [taylor]: Taking taylor expansion of x in z 1.926 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.926 * [taylor]: Taking taylor expansion of z in y 1.926 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.926 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.926 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.926 * [taylor]: Taking taylor expansion of -1 in y 1.926 * [taylor]: Taking taylor expansion of y in y 1.926 * [taylor]: Taking taylor expansion of x in y 1.926 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.926 * [taylor]: Taking taylor expansion of z in x 1.926 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.926 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.926 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.926 * [taylor]: Taking taylor expansion of -1 in x 1.926 * [taylor]: Taking taylor expansion of y in x 1.926 * [taylor]: Taking taylor expansion of x in x 1.926 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 1.926 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.926 * [taylor]: Taking taylor expansion of z in x 1.926 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.926 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.926 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.926 * [taylor]: Taking taylor expansion of -1 in x 1.926 * [taylor]: Taking taylor expansion of y in x 1.926 * [taylor]: Taking taylor expansion of x in x 1.927 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 1.927 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.927 * [taylor]: Taking taylor expansion of -1 in y 1.927 * [taylor]: Taking taylor expansion of y in y 1.927 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 1.927 * [taylor]: Taking taylor expansion of (log y) in z 1.927 * [taylor]: Taking taylor expansion of y in z 1.927 * [taylor]: Taking taylor expansion of (log -1) in z 1.927 * [taylor]: Taking taylor expansion of -1 in z 1.927 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.927 * [taylor]: Taking taylor expansion of z in y 1.927 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.927 * [taylor]: Taking taylor expansion of z in z 1.927 * [taylor]: Taking taylor expansion of 0 in z 1.928 * [taylor]: Taking taylor expansion of 0 in y 1.928 * [taylor]: Taking taylor expansion of 0 in z 1.928 * [taylor]: Taking taylor expansion of 0 in z 1.928 * [taylor]: Taking taylor expansion of 0 in z 1.929 * [taylor]: Taking taylor expansion of 0 in y 1.929 * [taylor]: Taking taylor expansion of 0 in z 1.929 * [taylor]: Taking taylor expansion of 0 in z 1.929 * [taylor]: Taking taylor expansion of 0 in z 1.930 * [taylor]: Taking taylor expansion of 0 in z 1.930 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.930 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 1.930 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 1.930 * [taylor]: Taking taylor expansion of (* x (log y)) in z 1.930 * [taylor]: Taking taylor expansion of x in z 1.930 * [taylor]: Taking taylor expansion of (log y) in z 1.930 * [taylor]: Taking taylor expansion of y in z 1.930 * [taylor]: Taking taylor expansion of (+ z y) in z 1.930 * [taylor]: Taking taylor expansion of z in z 1.930 * [taylor]: Taking taylor expansion of y in z 1.930 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 1.930 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.930 * [taylor]: Taking taylor expansion of x in y 1.930 * [taylor]: Taking taylor expansion of (log y) in y 1.930 * [taylor]: Taking taylor expansion of y in y 1.930 * [taylor]: Taking taylor expansion of (+ z y) in y 1.930 * [taylor]: Taking taylor expansion of z in y 1.931 * [taylor]: Taking taylor expansion of y in y 1.931 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 1.931 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.931 * [taylor]: Taking taylor expansion of x in x 1.931 * [taylor]: Taking taylor expansion of (log y) in x 1.931 * [taylor]: Taking taylor expansion of y in x 1.931 * [taylor]: Taking taylor expansion of (+ z y) in x 1.931 * [taylor]: Taking taylor expansion of z in x 1.931 * [taylor]: Taking taylor expansion of y in x 1.931 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 1.931 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.931 * [taylor]: Taking taylor expansion of x in x 1.931 * [taylor]: Taking taylor expansion of (log y) in x 1.931 * [taylor]: Taking taylor expansion of y in x 1.931 * [taylor]: Taking taylor expansion of (+ z y) in x 1.931 * [taylor]: Taking taylor expansion of z in x 1.931 * [taylor]: Taking taylor expansion of y in x 1.931 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y 1.931 * [taylor]: Taking taylor expansion of (+ z y) in y 1.931 * [taylor]: Taking taylor expansion of z in y 1.931 * [taylor]: Taking taylor expansion of y in y 1.931 * [taylor]: Taking taylor expansion of (neg z) in z 1.931 * [taylor]: Taking taylor expansion of z in z 1.931 * [taylor]: Taking taylor expansion of (log y) in y 1.931 * [taylor]: Taking taylor expansion of y in y 1.931 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 1.931 * [taylor]: Taking taylor expansion of (log y) in z 1.931 * [taylor]: Taking taylor expansion of y in z 1.931 * [taylor]: Taking taylor expansion of (log 1) in z 1.931 * [taylor]: Taking taylor expansion of 1 in z 1.932 * [taylor]: Taking taylor expansion of (neg 1) in z 1.932 * [taylor]: Taking taylor expansion of 1 in z 1.932 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in (x y z) around 0 1.932 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in z 1.932 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 1.932 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 1.932 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.932 * [taylor]: Taking taylor expansion of y in z 1.932 * [taylor]: Taking taylor expansion of x in z 1.932 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 1.932 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.932 * [taylor]: Taking taylor expansion of y in z 1.932 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.932 * [taylor]: Taking taylor expansion of z in z 1.932 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in y 1.932 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.932 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.932 * [taylor]: Taking taylor expansion of y in y 1.932 * [taylor]: Taking taylor expansion of x in y 1.933 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.933 * [taylor]: Taking taylor expansion of y in y 1.933 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.933 * [taylor]: Taking taylor expansion of z in y 1.933 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 1.933 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.933 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.933 * [taylor]: Taking taylor expansion of y in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.933 * [taylor]: Taking taylor expansion of y in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.933 * [taylor]: Taking taylor expansion of z in x 1.933 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 1.933 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.933 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.933 * [taylor]: Taking taylor expansion of y in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.933 * [taylor]: Taking taylor expansion of y in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.933 * [taylor]: Taking taylor expansion of z in x 1.933 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.933 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.933 * [taylor]: Taking taylor expansion of y in y 1.934 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 z))) in y 1.934 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.934 * [taylor]: Taking taylor expansion of y in y 1.934 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.934 * [taylor]: Taking taylor expansion of z in y 1.934 * [taylor]: Taking taylor expansion of (neg 1) in z 1.934 * [taylor]: Taking taylor expansion of 1 in z 1.934 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 1.934 * [taylor]: Taking taylor expansion of (log 1) in z 1.934 * [taylor]: Taking taylor expansion of 1 in z 1.934 * [taylor]: Taking taylor expansion of (log y) in z 1.934 * [taylor]: Taking taylor expansion of y in z 1.935 * [taylor]: Taking taylor expansion of 0 in y 1.935 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.935 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.935 * [taylor]: Taking taylor expansion of z in z 1.935 * [taylor]: Taking taylor expansion of 0 in z 1.936 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in (x y z) around 0 1.936 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in z 1.936 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 1.936 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.936 * [taylor]: Taking taylor expansion of y in z 1.936 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.936 * [taylor]: Taking taylor expansion of z in z 1.936 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 1.936 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 1.936 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.936 * [taylor]: Taking taylor expansion of -1 in z 1.936 * [taylor]: Taking taylor expansion of y in z 1.936 * [taylor]: Taking taylor expansion of x in z 1.936 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in y 1.936 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.936 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.936 * [taylor]: Taking taylor expansion of y in y 1.936 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.936 * [taylor]: Taking taylor expansion of z in y 1.936 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.936 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.936 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.936 * [taylor]: Taking taylor expansion of -1 in y 1.936 * [taylor]: Taking taylor expansion of y in y 1.936 * [taylor]: Taking taylor expansion of x in y 1.937 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 1.937 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.937 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.937 * [taylor]: Taking taylor expansion of y in x 1.937 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.937 * [taylor]: Taking taylor expansion of z in x 1.937 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.937 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.937 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.937 * [taylor]: Taking taylor expansion of -1 in x 1.937 * [taylor]: Taking taylor expansion of y in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.937 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 1.937 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 1.937 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.937 * [taylor]: Taking taylor expansion of y in x 1.937 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.937 * [taylor]: Taking taylor expansion of z in x 1.937 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.937 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.937 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.937 * [taylor]: Taking taylor expansion of -1 in x 1.937 * [taylor]: Taking taylor expansion of y in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.937 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 1.937 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.937 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.937 * [taylor]: Taking taylor expansion of -1 in y 1.937 * [taylor]: Taking taylor expansion of y in y 1.938 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 1.938 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.938 * [taylor]: Taking taylor expansion of z in y 1.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.938 * [taylor]: Taking taylor expansion of y in y 1.938 * [taylor]: Taking taylor expansion of 1 in z 1.938 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 1.938 * [taylor]: Taking taylor expansion of (log y) in z 1.938 * [taylor]: Taking taylor expansion of y in z 1.938 * [taylor]: Taking taylor expansion of (log -1) in z 1.938 * [taylor]: Taking taylor expansion of -1 in z 1.939 * [taylor]: Taking taylor expansion of 0 in y 1.939 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.939 * [taylor]: Taking taylor expansion of z in z 1.939 * [taylor]: Taking taylor expansion of 0 in z 1.940 * * * [progress]: simplifying candidates 1.940 * [simplify]: Simplifying using # : (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (exp (* x (log y))) (exp z)) (log (- (* x (log y)) z)) (exp (- (* x (log y)) z)) (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (* (* (- (* x (log y)) z) (- (* x (log y)) z)) (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (pow (* x (log y)) 3) (pow z 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* z z) (* (* x (log y)) z))) (neg z) (- (* (* x (log y)) (* x (log y))) (* z z)) (+ (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* x (log y)) z) (- (* (log (cbrt y)) x) z) (- (* (log (sqrt y)) x) z) (- (* (log y) x) z) (neg z) (/ (/ (exp (* x (log y))) (exp z)) (exp y)) (/ (exp (- (* x (log y)) z)) (exp y)) (log (- (- (* x (log y)) z) y)) (exp (- (- (* x (log y)) z) y)) (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y))) (cbrt (- (- (* x (log y)) z) y)) (* (* (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y)) (- (- (* x (log y)) z) y)) (sqrt (- (- (* x (log y)) z) y)) (sqrt (- (- (* x (log y)) z) y)) (- (pow (- (* x (log y)) z) 3) (pow y 3)) (+ (* (- (* x (log y)) z) (- (* x (log y)) z)) (+ (* y y) (* (- (* x (log y)) z) y))) (neg y) (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y)) (+ (- (* x (log y)) z) y) (+ (sqrt (- (* x (log y)) z)) (sqrt y)) (- (sqrt (- (* x (log y)) z)) (sqrt y)) (- (- (* x (log y)) z) y) (- (neg z) y) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (- (* x (log y)) z) y) (- (- (* (log (cbrt y)) x) z) y) (- (- (* (log (sqrt y)) x) z) y) (- (- (* (log y) x) z) y) (- (neg z) y) (+ z y) (neg y) (* x (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) x) (* x (- (log -1) (log (/ -1 y)))) (- (+ (* x (log y)) (* x (log 1))) z) (- (* x (log 1)) (+ z (* x (log (/ 1 y))))) (- (* x (log -1)) (+ (* x (log (/ -1 y))) z)) (- (+ (* x (log y)) (* x (log 1))) (+ z y)) (- (* x (log 1)) (+ z (+ y (* x (log (/ 1 y)))))) (- (* x (log -1)) (+ (* x (log (/ -1 y))) (+ z y))) 1.944 * * [simplify]: iteration 0 : 131 enodes (cost 727 ) 1.963 * * [simplify]: iteration 1 : 279 enodes (cost 679 ) 2.005 * * [simplify]: iteration 2 : 637 enodes (cost 625 ) 2.125 * * [simplify]: iteration 3 : 1733 enodes (cost 596 ) 2.481 * * [simplify]: iteration done : 5000 enodes (cost 596 ) 2.481 * [simplify]: Simplified to: (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* x (log y)) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* x (log y)) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (pow y x) (exp z)) (log (- (* x (log y)) z)) (/ (pow y x) (exp z)) (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (pow (- (* x (log y)) z) 3) (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (pow (* x (log y)) 3) (pow z 3)) (+ (* z z) (* (* x (log y)) (+ (* x (log y)) z))) (neg z) (- (* (* x (log y)) (* x (log y))) (* z z)) (+ (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* (log (sqrt y)) x) z) (- (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* (log (sqrt y)) x) z) (- (* x (log y)) z) (neg z) (/ (pow y x) (exp (+ z y))) (/ (pow y x) (exp (+ z y))) (log (- (- (* x (log y)) z) y)) (/ (pow y x) (exp (+ z y))) (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y))) (cbrt (- (- (* x (log y)) z) y)) (pow (- (- (* (log y) x) z) y) 3) (sqrt (- (- (* x (log y)) z) y)) (sqrt (- (- (* x (log y)) z) y)) (- (pow (- (* x (log y)) z) 3) (pow y 3)) (+ (* y y) (* (+ (- (* x (log y)) z) y) (- (* x (log y)) z))) (neg y) (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y)) (+ (- (* x (log y)) z) y) (+ (sqrt (- (* x (log y)) z)) (sqrt y)) (- (sqrt (- (* x (log y)) z)) (sqrt y)) (- (- (* x (log y)) y) z) (- (neg y) z) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (- (* x (log y)) y) z) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (- (* x (log y)) y) z) (- (neg y) z) (+ z y) (neg y) (* x (log y)) (* x (log y)) (* x (log y)) (- (* x (log y)) z) (- (* x (log y)) z) (- (* x (log y)) z) (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z) 2.482 * * * [progress]: adding candidates to table 2.557 * * [progress]: iteration 2 / 4 2.557 * * * [progress]: picking best candidate 2.580 * * * * [pick]: Picked # 2.580 * * * [progress]: localizing error 2.589 * * * [progress]: generating rewritten candidates 2.589 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.596 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.602 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.610 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 2.618 * * * [progress]: generating series expansions 2.618 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.618 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 2.618 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 2.618 * [taylor]: Taking taylor expansion of x in y 2.618 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.618 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.618 * [taylor]: Taking taylor expansion of y in y 2.618 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.618 * [taylor]: Taking taylor expansion of x in x 2.618 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.618 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.618 * [taylor]: Taking taylor expansion of y in x 2.618 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.619 * [taylor]: Taking taylor expansion of x in x 2.619 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.619 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.619 * [taylor]: Taking taylor expansion of y in x 2.619 * [taylor]: Taking taylor expansion of 0 in y 2.619 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.619 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.619 * [taylor]: Taking taylor expansion of y in y 2.620 * [taylor]: Taking taylor expansion of 0 in y 2.620 * [taylor]: Taking taylor expansion of 0 in y 2.622 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 2.622 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 2.622 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.622 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.622 * [taylor]: Taking taylor expansion of y in y 2.622 * [taylor]: Taking taylor expansion of x in y 2.622 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.622 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.622 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.622 * [taylor]: Taking taylor expansion of y in x 2.622 * [taylor]: Taking taylor expansion of x in x 2.622 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.622 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.622 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.622 * [taylor]: Taking taylor expansion of y in x 2.622 * [taylor]: Taking taylor expansion of x in x 2.622 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.622 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.623 * [taylor]: Taking taylor expansion of y in y 2.623 * [taylor]: Taking taylor expansion of 0 in y 2.624 * [taylor]: Taking taylor expansion of 0 in y 2.625 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 2.625 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 2.625 * [taylor]: Taking taylor expansion of -1 in y 2.625 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 2.625 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.625 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.625 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.625 * [taylor]: Taking taylor expansion of -1 in y 2.625 * [taylor]: Taking taylor expansion of y in y 2.625 * [taylor]: Taking taylor expansion of x in y 2.625 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.625 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.625 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.625 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of y in x 2.625 * [taylor]: Taking taylor expansion of x in x 2.625 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.625 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.625 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.625 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.625 * [taylor]: Taking taylor expansion of -1 in x 2.625 * [taylor]: Taking taylor expansion of y in x 2.626 * [taylor]: Taking taylor expansion of x in x 2.626 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 2.626 * [taylor]: Taking taylor expansion of -1 in y 2.626 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.626 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.626 * [taylor]: Taking taylor expansion of -1 in y 2.626 * [taylor]: Taking taylor expansion of y in y 2.626 * [taylor]: Taking taylor expansion of 0 in y 2.627 * [taylor]: Taking taylor expansion of 0 in y 2.629 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 2.629 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 2.629 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 2.629 * [taylor]: Taking taylor expansion of x in y 2.629 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.629 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.629 * [taylor]: Taking taylor expansion of y in y 2.629 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.629 * [taylor]: Taking taylor expansion of x in x 2.629 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.629 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.629 * [taylor]: Taking taylor expansion of y in x 2.629 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.629 * [taylor]: Taking taylor expansion of x in x 2.629 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.629 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.629 * [taylor]: Taking taylor expansion of y in x 2.629 * [taylor]: Taking taylor expansion of 0 in y 2.629 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.629 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.629 * [taylor]: Taking taylor expansion of y in y 2.630 * [taylor]: Taking taylor expansion of 0 in y 2.631 * [taylor]: Taking taylor expansion of 0 in y 2.632 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 2.632 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 2.632 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.632 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.632 * [taylor]: Taking taylor expansion of y in y 2.632 * [taylor]: Taking taylor expansion of x in y 2.632 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.632 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.632 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.632 * [taylor]: Taking taylor expansion of y in x 2.632 * [taylor]: Taking taylor expansion of x in x 2.632 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.632 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.632 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.632 * [taylor]: Taking taylor expansion of y in x 2.632 * [taylor]: Taking taylor expansion of x in x 2.633 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.633 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.633 * [taylor]: Taking taylor expansion of y in y 2.633 * [taylor]: Taking taylor expansion of 0 in y 2.634 * [taylor]: Taking taylor expansion of 0 in y 2.635 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 2.635 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 2.635 * [taylor]: Taking taylor expansion of -1 in y 2.635 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 2.635 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.635 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.635 * [taylor]: Taking taylor expansion of -1 in y 2.635 * [taylor]: Taking taylor expansion of y in y 2.635 * [taylor]: Taking taylor expansion of x in y 2.635 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.635 * [taylor]: Taking taylor expansion of -1 in x 2.635 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.635 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.635 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.635 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.635 * [taylor]: Taking taylor expansion of -1 in x 2.635 * [taylor]: Taking taylor expansion of y in x 2.635 * [taylor]: Taking taylor expansion of x in x 2.635 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.635 * [taylor]: Taking taylor expansion of -1 in x 2.635 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.635 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.635 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.635 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.635 * [taylor]: Taking taylor expansion of -1 in x 2.636 * [taylor]: Taking taylor expansion of y in x 2.636 * [taylor]: Taking taylor expansion of x in x 2.636 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 2.636 * [taylor]: Taking taylor expansion of -1 in y 2.636 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.636 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.636 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.636 * [taylor]: Taking taylor expansion of -1 in y 2.636 * [taylor]: Taking taylor expansion of y in y 2.636 * [taylor]: Taking taylor expansion of 0 in y 2.637 * [taylor]: Taking taylor expansion of 0 in y 2.639 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 2.639 * [approximate]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in (x y z) around 0 2.639 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in z 2.639 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in z 2.639 * [taylor]: Taking taylor expansion of 2 in z 2.639 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 2.639 * [taylor]: Taking taylor expansion of x in z 2.639 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 2.639 * [taylor]: Taking taylor expansion of (sqrt y) in z 2.639 * [taylor]: Taking taylor expansion of y in z 2.639 * [taylor]: Taking taylor expansion of z in z 2.639 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in y 2.639 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in y 2.639 * [taylor]: Taking taylor expansion of 2 in y 2.639 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 2.639 * [taylor]: Taking taylor expansion of x in y 2.639 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.639 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.639 * [taylor]: Taking taylor expansion of y in y 2.639 * [taylor]: Taking taylor expansion of z in y 2.639 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x 2.639 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 2.639 * [taylor]: Taking taylor expansion of 2 in x 2.639 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.639 * [taylor]: Taking taylor expansion of x in x 2.639 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.639 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.639 * [taylor]: Taking taylor expansion of y in x 2.639 * [taylor]: Taking taylor expansion of z in x 2.639 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x 2.639 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 2.639 * [taylor]: Taking taylor expansion of 2 in x 2.639 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.639 * [taylor]: Taking taylor expansion of x in x 2.639 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.639 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.639 * [taylor]: Taking taylor expansion of y in x 2.640 * [taylor]: Taking taylor expansion of z in x 2.640 * [taylor]: Taking taylor expansion of (neg z) in y 2.640 * [taylor]: Taking taylor expansion of z in y 2.640 * [taylor]: Taking taylor expansion of (neg z) in z 2.640 * [taylor]: Taking taylor expansion of z in z 2.640 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt y))) in y 2.640 * [taylor]: Taking taylor expansion of 2 in y 2.640 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.640 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.640 * [taylor]: Taking taylor expansion of y in y 2.640 * [taylor]: Taking taylor expansion of (* 2 (+ (log NAN) (log y))) in z 2.640 * [taylor]: Taking taylor expansion of 2 in z 2.640 * [taylor]: Taking taylor expansion of (+ (log NAN) (log y)) in z 2.640 * [taylor]: Taking taylor expansion of (log NAN) in z 2.640 * [taylor]: Taking taylor expansion of NAN in z 2.640 * [taylor]: Taking taylor expansion of (log y) in z 2.640 * [taylor]: Taking taylor expansion of y in z 2.641 * [taylor]: Taking taylor expansion of 0 in z 2.641 * [taylor]: Taking taylor expansion of 0 in y 2.641 * [taylor]: Taking taylor expansion of 0 in z 2.641 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 2.641 * [taylor]: Taking taylor expansion of 2 in z 2.642 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 2.642 * [taylor]: Taking taylor expansion of NAN in z 2.642 * [approximate]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in (x y z) around 0 2.642 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in z 2.642 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in z 2.642 * [taylor]: Taking taylor expansion of 2 in z 2.642 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 2.642 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 2.642 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 2.642 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.642 * [taylor]: Taking taylor expansion of y in z 2.642 * [taylor]: Taking taylor expansion of x in z 2.643 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.643 * [taylor]: Taking taylor expansion of z in z 2.643 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in y 2.643 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in y 2.643 * [taylor]: Taking taylor expansion of 2 in y 2.643 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 2.643 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.643 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.643 * [taylor]: Taking taylor expansion of y in y 2.643 * [taylor]: Taking taylor expansion of x in y 2.643 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.643 * [taylor]: Taking taylor expansion of z in y 2.643 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x 2.643 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 2.643 * [taylor]: Taking taylor expansion of 2 in x 2.643 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.643 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.643 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.643 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.643 * [taylor]: Taking taylor expansion of y in x 2.643 * [taylor]: Taking taylor expansion of x in x 2.643 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.643 * [taylor]: Taking taylor expansion of z in x 2.643 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x 2.643 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 2.643 * [taylor]: Taking taylor expansion of 2 in x 2.643 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.643 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.643 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.643 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.643 * [taylor]: Taking taylor expansion of y in x 2.644 * [taylor]: Taking taylor expansion of x in x 2.644 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.644 * [taylor]: Taking taylor expansion of z in x 2.644 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 y)))) in y 2.644 * [taylor]: Taking taylor expansion of 2 in y 2.644 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.644 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.644 * [taylor]: Taking taylor expansion of y in y 2.644 * [taylor]: Taking taylor expansion of (* 2 (log NAN)) in z 2.644 * [taylor]: Taking taylor expansion of 2 in z 2.644 * [taylor]: Taking taylor expansion of (log NAN) in z 2.644 * [taylor]: Taking taylor expansion of NAN in z 2.644 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 2.644 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.644 * [taylor]: Taking taylor expansion of z in y 2.644 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.645 * [taylor]: Taking taylor expansion of z in z 2.645 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 2.645 * [taylor]: Taking taylor expansion of 2 in z 2.645 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 2.645 * [taylor]: Taking taylor expansion of NAN in z 2.646 * [taylor]: Taking taylor expansion of 0 in y 2.646 * [taylor]: Taking taylor expansion of 0 in z 2.646 * [taylor]: Taking taylor expansion of 0 in z 2.646 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 2.646 * [taylor]: Taking taylor expansion of NAN in z 2.647 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in (x y z) around 0 2.647 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in z 2.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.647 * [taylor]: Taking taylor expansion of z in z 2.647 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in z 2.647 * [taylor]: Taking taylor expansion of 2 in z 2.647 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 2.647 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 2.647 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 2.647 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.647 * [taylor]: Taking taylor expansion of -1 in z 2.647 * [taylor]: Taking taylor expansion of y in z 2.648 * [taylor]: Taking taylor expansion of x in z 2.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in y 2.648 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.648 * [taylor]: Taking taylor expansion of z in y 2.648 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in y 2.648 * [taylor]: Taking taylor expansion of 2 in y 2.648 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 2.648 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.648 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.648 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.648 * [taylor]: Taking taylor expansion of -1 in y 2.648 * [taylor]: Taking taylor expansion of y in y 2.648 * [taylor]: Taking taylor expansion of x in y 2.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 2.648 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.648 * [taylor]: Taking taylor expansion of z in x 2.648 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 2.648 * [taylor]: Taking taylor expansion of 2 in x 2.648 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.648 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.648 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.648 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.648 * [taylor]: Taking taylor expansion of -1 in x 2.648 * [taylor]: Taking taylor expansion of y in x 2.648 * [taylor]: Taking taylor expansion of x in x 2.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 2.648 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.648 * [taylor]: Taking taylor expansion of z in x 2.648 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 2.649 * [taylor]: Taking taylor expansion of 2 in x 2.649 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.649 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.649 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.649 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.649 * [taylor]: Taking taylor expansion of -1 in x 2.649 * [taylor]: Taking taylor expansion of y in x 2.649 * [taylor]: Taking taylor expansion of x in x 2.649 * [taylor]: Taking taylor expansion of (neg (* 2 (log (sqrt (/ -1 y))))) in y 2.649 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 y)))) in y 2.649 * [taylor]: Taking taylor expansion of 2 in y 2.649 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.649 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.649 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.649 * [taylor]: Taking taylor expansion of -1 in y 2.649 * [taylor]: Taking taylor expansion of y in y 2.649 * [taylor]: Taking taylor expansion of (neg (* 2 (log NAN))) in z 2.649 * [taylor]: Taking taylor expansion of (* 2 (log NAN)) in z 2.649 * [taylor]: Taking taylor expansion of 2 in z 2.649 * [taylor]: Taking taylor expansion of (log NAN) in z 2.649 * [taylor]: Taking taylor expansion of NAN in z 2.650 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.650 * [taylor]: Taking taylor expansion of z in y 2.650 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.650 * [taylor]: Taking taylor expansion of z in z 2.650 * [taylor]: Taking taylor expansion of (neg (* 2 (pow NAN 2))) in z 2.650 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 2.650 * [taylor]: Taking taylor expansion of 2 in z 2.650 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 2.650 * [taylor]: Taking taylor expansion of NAN in z 2.651 * [taylor]: Taking taylor expansion of 0 in y 2.651 * [taylor]: Taking taylor expansion of 0 in z 2.651 * [taylor]: Taking taylor expansion of 0 in z 2.652 * [taylor]: Taking taylor expansion of (neg (pow NAN 4)) in z 2.652 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 2.652 * [taylor]: Taking taylor expansion of NAN in z 2.652 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 2.653 * [approximate]: Taking taylor expansion of (log (sqrt y)) in (y) around 0 2.653 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.653 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.653 * [taylor]: Taking taylor expansion of y in y 2.653 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.653 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.653 * [taylor]: Taking taylor expansion of y in y 2.654 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 y))) in (y) around 0 2.654 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.654 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.654 * [taylor]: Taking taylor expansion of y in y 2.654 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.654 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.654 * [taylor]: Taking taylor expansion of y in y 2.656 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 y))) in (y) around 0 2.656 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.656 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.656 * [taylor]: Taking taylor expansion of -1 in y 2.656 * [taylor]: Taking taylor expansion of y in y 2.656 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.656 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.656 * [taylor]: Taking taylor expansion of -1 in y 2.656 * [taylor]: Taking taylor expansion of y in y 2.657 * * * [progress]: simplifying candidates 2.659 * [simplify]: Simplifying using # : (* x (log (sqrt y))) (+ (log x) (log (log (sqrt y)))) (log (* x (log (sqrt y)))) (exp (* x (log (sqrt y)))) (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y)))) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))) (* x (log (sqrt (* (cbrt y) (cbrt y))))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt 1))) (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log 1)) (* x (log (sqrt y))) (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (sqrt (* (cbrt y) (cbrt y)))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt 1)) x) (* (log (sqrt y)) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log 1) x) (* (log (sqrt y)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) (* x 1) (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (+ (log x) (log (log (sqrt y)))) (log (* x (log (sqrt y)))) (exp (* x (log (sqrt y)))) (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y)))) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))) (* x (log (sqrt (* (cbrt y) (cbrt y))))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt 1))) (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log 1)) (* x (log (sqrt y))) (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (sqrt (* (cbrt y) (cbrt y)))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt 1)) x) (* (log (sqrt y)) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log 1) x) (* (log (sqrt y)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) (* x 1) (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (/ (* (exp (* x (log (sqrt y)))) (exp (* x (log (sqrt y))))) (exp z)) (/ (exp (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (exp z)) (log (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (exp (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (* (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))) (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (* (* (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (- (pow (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) 3) (pow z 3)) (+ (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (+ (* z z) (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))) (neg z) (- (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (* z z)) (+ (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) (+ (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z)) (- (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z)) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) (- (* x (log (sqrt y))) z) (neg z) (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (log (cbrt (sqrt y))) (log (sqrt (* (cbrt y) (cbrt y)))) (log (sqrt (cbrt y))) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) (log (sqrt 1)) (log (sqrt y)) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) (log 1) (log (sqrt y)) (log y) (log (sqrt y)) (log y) (log (log (sqrt y))) (exp (log (sqrt y))) (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))) (cbrt (log (sqrt y))) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))) (sqrt (log (sqrt y))) (sqrt (log (sqrt y))) (+ (* x (* (pow NAN 2) y)) (+ (* (log NAN) x) (+ (* (log y) x) (* 1/2 (* x (* (pow NAN 4) (pow y 2))))))) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (+ (* x (* (pow NAN 2) y)) (+ (* (log NAN) x) (+ (* (log y) x) (* 1/2 (* x (* (pow NAN 4) (pow y 2))))))) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (- (+ (* 2 (* x (* (pow NAN 2) y))) (+ (* 2 (* (log NAN) x)) (* 2 (* (log y) x)))) z) (- (+ (* 2 (* (log NAN) x)) (* 2 (/ (* x (pow NAN 2)) y))) z) (- (* 2 (* (log NAN) x)) (+ z (* 2 (/ (* x (pow NAN 2)) y)))) (+ (log NAN) (+ (* 1/2 (* (pow NAN 4) (pow y 2))) (+ (* (pow NAN 2) y) (log y)))) (+ (log NAN) (+ (/ (pow NAN 2) y) (* 1/2 (/ (pow NAN 4) (pow y 2))))) (- (+ (log NAN) (* 1/2 (/ (pow NAN 4) (pow y 2)))) (/ (pow NAN 2) y)) 2.663 * * [simplify]: iteration 0 : 148 enodes (cost 1290 ) 2.686 * * [simplify]: iteration 1 : 325 enodes (cost 1152 ) 2.747 * * [simplify]: iteration 2 : 918 enodes (cost 1038 ) 2.928 * * [simplify]: iteration 3 : 2480 enodes (cost 1020 ) 3.475 * * [simplify]: iteration done : 5001 enodes (cost 1020 ) 3.476 * [simplify]: Simplified to: (* x (log (sqrt y))) (log (* x (log (sqrt y)))) (log (* x (log (sqrt y)))) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (pow (* x (log (sqrt y))) 3) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* 1/2 x) x (* 1/2 x) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) x (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (log (* x (log (sqrt y)))) (log (* x (log (sqrt y)))) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (pow (* x (log (sqrt y))) 3) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* 1/2 x) x (* 1/2 x) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) x (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (/ (pow (sqrt y) (* 2 x)) (exp z)) (/ (pow (sqrt y) (* 2 x)) (exp z)) (log (- (* 2 (* (log (sqrt y)) x)) z)) (/ (pow (sqrt y) (* 2 x)) (exp z)) (* (cbrt (- (* 2 (* (log (sqrt y)) x)) z)) (cbrt (- (* 2 (* (log (sqrt y)) x)) z))) (cbrt (- (* 2 (* (log (sqrt y)) x)) z)) (pow (- (* 2 (* (log (sqrt y)) x)) z) 3) (sqrt (- (* 2 (* (log (sqrt y)) x)) z)) (sqrt (- (* 2 (* (log (sqrt y)) x)) z)) (- (pow (* 2 (* (log (sqrt y)) x)) 3) (pow z 3)) (+ (* z z) (* (* 2 (* (log (sqrt y)) x)) (+ z (* 2 (* (log (sqrt y)) x))))) (neg z) (- (* 4 (* (* x (log (sqrt y))) (* x (log (sqrt y))))) (* z z)) (+ z (* 2 (* (log (sqrt y)) x))) (+ (sqrt (* 2 (* (log (sqrt y)) x))) (sqrt z)) (- (sqrt (* 2 (* (log (sqrt y)) x))) (sqrt z)) (- (* 2 (* (log (sqrt y)) x)) z) (- (* x (log (sqrt y))) z) (neg z) (* 2 (log (cbrt (sqrt y)))) (log (cbrt (sqrt y))) (log (fabs (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) 0 (log (sqrt y)) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) 0 (log (sqrt y)) (log y) (log (sqrt y)) (log y) (log (log (sqrt y))) (sqrt y) (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))) (cbrt (log (sqrt y))) (pow (log (sqrt y)) 3) (sqrt (log (sqrt y))) (sqrt (log (sqrt y))) (+ (* x (+ (* y (+ (pow NAN 2) (* (* 1/2 (pow NAN 4)) y))) (log NAN))) (* (log y) x)) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (+ (* x (+ (* y (+ (pow NAN 2) (* (* 1/2 (pow NAN 4)) y))) (log NAN))) (* (log y) x)) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (- (* (* x (+ (+ (* (pow NAN 2) y) (log y)) (log NAN))) 2) z) (- (* 2 (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) z) (- (* 2 (- (* (log NAN) x) (/ (* x (pow NAN 2)) y))) z) (+ (* y (+ (pow NAN 2) (* (* 1/2 (pow NAN 4)) y))) (+ (log y) (log NAN))) (+ (log NAN) (+ (/ (pow NAN 2) y) (* 1/2 (/ (pow NAN 4) (pow y 2))))) (- (+ (log NAN) (* 1/2 (/ (pow NAN 4) (pow y 2)))) (/ (pow NAN 2) y)) 3.477 * * * [progress]: adding candidates to table 3.580 * * [progress]: iteration 3 / 4 3.580 * * * [progress]: picking best candidate 3.600 * * * * [pick]: Picked # 3.600 * * * [progress]: localizing error 3.608 * * * [progress]: generating rewritten candidates 3.608 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 3.612 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.621 * * * [progress]: generating series expansions 3.621 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 3.621 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 3.621 * [taylor]: Taking taylor expansion of (* x (log y)) in y 3.621 * [taylor]: Taking taylor expansion of x in y 3.621 * [taylor]: Taking taylor expansion of (log y) in y 3.621 * [taylor]: Taking taylor expansion of y in y 3.621 * [taylor]: Taking taylor expansion of (* x (log y)) in x 3.621 * [taylor]: Taking taylor expansion of x in x 3.621 * [taylor]: Taking taylor expansion of (log y) in x 3.621 * [taylor]: Taking taylor expansion of y in x 3.621 * [taylor]: Taking taylor expansion of (* x (log y)) in x 3.621 * [taylor]: Taking taylor expansion of x in x 3.621 * [taylor]: Taking taylor expansion of (log y) in x 3.621 * [taylor]: Taking taylor expansion of y in x 3.621 * [taylor]: Taking taylor expansion of 0 in y 3.621 * [taylor]: Taking taylor expansion of (log y) in y 3.621 * [taylor]: Taking taylor expansion of y in y 3.622 * [taylor]: Taking taylor expansion of 0 in y 3.623 * [taylor]: Taking taylor expansion of 0 in y 3.623 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 3.623 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 3.623 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.623 * [taylor]: Taking taylor expansion of y in y 3.623 * [taylor]: Taking taylor expansion of x in y 3.623 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 3.623 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.623 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.623 * [taylor]: Taking taylor expansion of y in x 3.623 * [taylor]: Taking taylor expansion of x in x 3.623 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 3.623 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.623 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.623 * [taylor]: Taking taylor expansion of y in x 3.623 * [taylor]: Taking taylor expansion of x in x 3.623 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.623 * [taylor]: Taking taylor expansion of y in y 3.624 * [taylor]: Taking taylor expansion of 0 in y 3.624 * [taylor]: Taking taylor expansion of 0 in y 3.625 * [taylor]: Taking taylor expansion of 0 in y 3.625 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 3.625 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 3.625 * [taylor]: Taking taylor expansion of -1 in y 3.625 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 3.625 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.625 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.625 * [taylor]: Taking taylor expansion of -1 in y 3.625 * [taylor]: Taking taylor expansion of y in y 3.625 * [taylor]: Taking taylor expansion of x in y 3.626 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 3.626 * [taylor]: Taking taylor expansion of -1 in x 3.626 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 3.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.626 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.626 * [taylor]: Taking taylor expansion of -1 in x 3.626 * [taylor]: Taking taylor expansion of y in x 3.626 * [taylor]: Taking taylor expansion of x in x 3.626 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 3.626 * [taylor]: Taking taylor expansion of -1 in x 3.626 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 3.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.626 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.626 * [taylor]: Taking taylor expansion of -1 in x 3.626 * [taylor]: Taking taylor expansion of y in x 3.626 * [taylor]: Taking taylor expansion of x in x 3.626 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 3.626 * [taylor]: Taking taylor expansion of -1 in y 3.626 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.626 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.626 * [taylor]: Taking taylor expansion of -1 in y 3.626 * [taylor]: Taking taylor expansion of y in y 3.627 * [taylor]: Taking taylor expansion of 0 in y 3.627 * [taylor]: Taking taylor expansion of 0 in y 3.628 * [taylor]: Taking taylor expansion of 0 in y 3.628 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.629 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 3.629 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 3.629 * [taylor]: Taking taylor expansion of (* x (log y)) in z 3.629 * [taylor]: Taking taylor expansion of x in z 3.629 * [taylor]: Taking taylor expansion of (log y) in z 3.629 * [taylor]: Taking taylor expansion of y in z 3.629 * [taylor]: Taking taylor expansion of (+ z y) in z 3.629 * [taylor]: Taking taylor expansion of z in z 3.629 * [taylor]: Taking taylor expansion of y in z 3.629 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 3.629 * [taylor]: Taking taylor expansion of (* x (log y)) in y 3.629 * [taylor]: Taking taylor expansion of x in y 3.629 * [taylor]: Taking taylor expansion of (log y) in y 3.629 * [taylor]: Taking taylor expansion of y in y 3.629 * [taylor]: Taking taylor expansion of (+ z y) in y 3.629 * [taylor]: Taking taylor expansion of z in y 3.629 * [taylor]: Taking taylor expansion of y in y 3.629 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 3.629 * [taylor]: Taking taylor expansion of (* x (log y)) in x 3.629 * [taylor]: Taking taylor expansion of x in x 3.629 * [taylor]: Taking taylor expansion of (log y) in x 3.629 * [taylor]: Taking taylor expansion of y in x 3.629 * [taylor]: Taking taylor expansion of (+ z y) in x 3.629 * [taylor]: Taking taylor expansion of z in x 3.629 * [taylor]: Taking taylor expansion of y in x 3.629 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 3.629 * [taylor]: Taking taylor expansion of (* x (log y)) in x 3.629 * [taylor]: Taking taylor expansion of x in x 3.629 * [taylor]: Taking taylor expansion of (log y) in x 3.629 * [taylor]: Taking taylor expansion of y in x 3.629 * [taylor]: Taking taylor expansion of (+ z y) in x 3.629 * [taylor]: Taking taylor expansion of z in x 3.629 * [taylor]: Taking taylor expansion of y in x 3.629 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y 3.629 * [taylor]: Taking taylor expansion of (+ z y) in y 3.629 * [taylor]: Taking taylor expansion of z in y 3.629 * [taylor]: Taking taylor expansion of y in y 3.629 * [taylor]: Taking taylor expansion of (neg z) in z 3.629 * [taylor]: Taking taylor expansion of z in z 3.630 * [taylor]: Taking taylor expansion of (log y) in y 3.630 * [taylor]: Taking taylor expansion of y in y 3.630 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 3.630 * [taylor]: Taking taylor expansion of (log y) in z 3.630 * [taylor]: Taking taylor expansion of y in z 3.630 * [taylor]: Taking taylor expansion of (log 1) in z 3.630 * [taylor]: Taking taylor expansion of 1 in z 3.630 * [taylor]: Taking taylor expansion of (neg 1) in z 3.630 * [taylor]: Taking taylor expansion of 1 in z 3.630 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 3.630 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 3.630 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 3.630 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 3.630 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.630 * [taylor]: Taking taylor expansion of y in z 3.631 * [taylor]: Taking taylor expansion of x in z 3.631 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 3.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.631 * [taylor]: Taking taylor expansion of z in z 3.631 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.631 * [taylor]: Taking taylor expansion of y in z 3.631 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 3.631 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 3.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.631 * [taylor]: Taking taylor expansion of y in y 3.631 * [taylor]: Taking taylor expansion of x in y 3.631 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.631 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.631 * [taylor]: Taking taylor expansion of z in y 3.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.631 * [taylor]: Taking taylor expansion of y in y 3.631 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 3.631 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 3.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.631 * [taylor]: Taking taylor expansion of y in x 3.631 * [taylor]: Taking taylor expansion of x in x 3.631 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.631 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.631 * [taylor]: Taking taylor expansion of z in x 3.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.631 * [taylor]: Taking taylor expansion of y in x 3.631 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 3.631 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 3.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.631 * [taylor]: Taking taylor expansion of y in x 3.632 * [taylor]: Taking taylor expansion of x in x 3.632 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.632 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.632 * [taylor]: Taking taylor expansion of z in x 3.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.632 * [taylor]: Taking taylor expansion of y in x 3.632 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 y))) in y 3.632 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.632 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.632 * [taylor]: Taking taylor expansion of z in y 3.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [taylor]: Taking taylor expansion of (neg 1) in z 3.632 * [taylor]: Taking taylor expansion of 1 in z 3.633 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 3.633 * [taylor]: Taking taylor expansion of (log 1) in z 3.633 * [taylor]: Taking taylor expansion of 1 in z 3.633 * [taylor]: Taking taylor expansion of (log y) in z 3.633 * [taylor]: Taking taylor expansion of y in z 3.633 * [taylor]: Taking taylor expansion of 0 in y 3.633 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.633 * [taylor]: Taking taylor expansion of z in z 3.633 * [taylor]: Taking taylor expansion of 0 in z 3.634 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 3.634 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 3.634 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 3.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.634 * [taylor]: Taking taylor expansion of z in z 3.634 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.634 * [taylor]: Taking taylor expansion of y in z 3.634 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 3.634 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 3.634 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.634 * [taylor]: Taking taylor expansion of -1 in z 3.634 * [taylor]: Taking taylor expansion of y in z 3.634 * [taylor]: Taking taylor expansion of x in z 3.634 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 3.634 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 3.634 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.634 * [taylor]: Taking taylor expansion of z in y 3.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.634 * [taylor]: Taking taylor expansion of y in y 3.634 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 3.634 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.635 * [taylor]: Taking taylor expansion of -1 in y 3.635 * [taylor]: Taking taylor expansion of y in y 3.635 * [taylor]: Taking taylor expansion of x in y 3.635 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 3.635 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.635 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.635 * [taylor]: Taking taylor expansion of z in x 3.635 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.635 * [taylor]: Taking taylor expansion of y in x 3.635 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 3.635 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.635 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.635 * [taylor]: Taking taylor expansion of -1 in x 3.635 * [taylor]: Taking taylor expansion of y in x 3.635 * [taylor]: Taking taylor expansion of x in x 3.635 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 3.635 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 3.635 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.635 * [taylor]: Taking taylor expansion of z in x 3.635 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.635 * [taylor]: Taking taylor expansion of y in x 3.635 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 3.635 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 3.635 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.635 * [taylor]: Taking taylor expansion of -1 in x 3.635 * [taylor]: Taking taylor expansion of y in x 3.635 * [taylor]: Taking taylor expansion of x in x 3.635 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 3.636 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 3.636 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.636 * [taylor]: Taking taylor expansion of -1 in y 3.636 * [taylor]: Taking taylor expansion of y in y 3.636 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 3.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.636 * [taylor]: Taking taylor expansion of y in y 3.636 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.636 * [taylor]: Taking taylor expansion of z in y 3.636 * [taylor]: Taking taylor expansion of 1 in z 3.636 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 3.636 * [taylor]: Taking taylor expansion of (log y) in z 3.636 * [taylor]: Taking taylor expansion of y in z 3.636 * [taylor]: Taking taylor expansion of (log -1) in z 3.636 * [taylor]: Taking taylor expansion of -1 in z 3.637 * [taylor]: Taking taylor expansion of 0 in y 3.637 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.637 * [taylor]: Taking taylor expansion of z in z 3.637 * [taylor]: Taking taylor expansion of 0 in z 3.637 * * * [progress]: simplifying candidates 3.638 * [simplify]: Simplifying using # : (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (exp (* x (log y))) (* (exp z) (exp y))) (/ (exp (* x (log y))) (exp (+ z y))) (log (- (* x (log y)) (+ z y))) (exp (- (* x (log y)) (+ z y))) (* (cbrt (- (* x (log y)) (+ z y))) (cbrt (- (* x (log y)) (+ z y)))) (cbrt (- (* x (log y)) (+ z y))) (* (* (- (* x (log y)) (+ z y)) (- (* x (log y)) (+ z y))) (- (* x (log y)) (+ z y))) (sqrt (- (* x (log y)) (+ z y))) (sqrt (- (* x (log y)) (+ z y))) (- (pow (* x (log y)) 3) (pow (+ z y) 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* (+ z y) (+ z y)) (* (* x (log y)) (+ z y)))) (neg (+ z y)) (- (* (* x (log y)) (* x (log y))) (* (+ z y) (+ z y))) (+ (* x (log y)) (+ z y)) (- (* x (log y)) z) (- (* x (log (cbrt y))) (+ z y)) (- (* x (log (sqrt y))) (+ z y)) (- (* x (log y)) (+ z y)) (- (* (log (cbrt y)) x) (+ z y)) (- (* (log (sqrt y)) x) (+ z y)) (- (* (log y) x) (+ z y)) (neg (+ z y)) (* x (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) x) (* x (- (log -1) (log (/ -1 y)))) (- (+ (* x (log y)) (* x (log 1))) (+ z y)) (- (* x (log 1)) (+ z (+ y (* x (log (/ 1 y)))))) (- (* x (log -1)) (+ (* x (log (/ -1 y))) (+ z y))) 3.641 * * [simplify]: iteration 0 : 102 enodes (cost 490 ) 3.658 * * [simplify]: iteration 1 : 231 enodes (cost 460 ) 3.694 * * [simplify]: iteration 2 : 584 enodes (cost 414 ) 3.807 * * [simplify]: iteration 3 : 1707 enodes (cost 400 ) 4.178 * * [simplify]: iteration done : 5000 enodes (cost 400 ) 4.179 * [simplify]: Simplified to: (* (log y) x) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* (log y) x) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* (log y) x) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* (log y) x) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* (log y) x) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* (log y) x) (/ (pow y x) (exp (+ z y))) (/ (pow y x) (exp (+ z y))) (log (- (* x (log y)) (+ z y))) (/ (pow y x) (exp (+ z y))) (* (cbrt (- (* x (log y)) (+ z y))) (cbrt (- (* x (log y)) (+ z y)))) (cbrt (- (* x (log y)) (+ z y))) (pow (- (* (log y) x) (+ z y)) 3) (sqrt (- (* x (log y)) (+ z y))) (sqrt (- (* x (log y)) (+ z y))) (- (pow (* x (log y)) 3) (pow (+ z y) 3)) (+ (* (+ (* x (log y)) (+ z y)) (* (log y) x)) (* (+ z y) (+ z y))) (neg (+ z y)) (- (* (* x (log y)) (* x (log y))) (* (+ z y) (+ z y))) (+ (* x (log y)) (+ z y)) (- (* x (log y)) z) (- (* x (log (cbrt y))) (+ z y)) (- (* (log (sqrt y)) x) (+ z y)) (- (- (* (log y) x) y) z) (- (* x (log (cbrt y))) (+ z y)) (- (* (log (sqrt y)) x) (+ z y)) (- (- (* (log y) x) y) z) (neg (+ z y)) (* (log y) x) (* (log y) x) (* (log y) x) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) 4.179 * * * [progress]: adding candidates to table 4.226 * * [progress]: iteration 4 / 4 4.226 * * * [progress]: picking best candidate 4.244 * * * * [pick]: Picked # 4.244 * * * [progress]: localizing error 4.256 * * * [progress]: generating rewritten candidates 4.256 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 4.258 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 4.259 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 4.268 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 4.278 * * * [progress]: generating series expansions 4.278 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 4.278 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.278 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.278 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.278 * [taylor]: Taking taylor expansion of 1/3 in y 4.278 * [taylor]: Taking taylor expansion of (log y) in y 4.279 * [taylor]: Taking taylor expansion of y in y 4.279 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.279 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.279 * [taylor]: Taking taylor expansion of 1/3 in y 4.279 * [taylor]: Taking taylor expansion of (log y) in y 4.279 * [taylor]: Taking taylor expansion of y in y 4.286 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.286 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.286 * [taylor]: Taking taylor expansion of 1/3 in y 4.286 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.286 * [taylor]: Taking taylor expansion of y in y 4.286 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.286 * [taylor]: Taking taylor expansion of 1/3 in y 4.286 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.286 * [taylor]: Taking taylor expansion of y in y 4.294 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 4.294 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.294 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.294 * [taylor]: Taking taylor expansion of 1/3 in y 4.294 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.294 * [taylor]: Taking taylor expansion of y in y 4.294 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.294 * [taylor]: Taking taylor expansion of -1 in y 4.294 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.294 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.294 * [taylor]: Taking taylor expansion of 1/3 in y 4.294 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.294 * [taylor]: Taking taylor expansion of y in y 4.295 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.295 * [taylor]: Taking taylor expansion of -1 in y 4.303 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 4.303 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.303 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.303 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.303 * [taylor]: Taking taylor expansion of 1/3 in y 4.303 * [taylor]: Taking taylor expansion of (log y) in y 4.303 * [taylor]: Taking taylor expansion of y in y 4.304 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.304 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.304 * [taylor]: Taking taylor expansion of 1/3 in y 4.304 * [taylor]: Taking taylor expansion of (log y) in y 4.304 * [taylor]: Taking taylor expansion of y in y 4.310 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.310 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.310 * [taylor]: Taking taylor expansion of 1/3 in y 4.310 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.310 * [taylor]: Taking taylor expansion of y in y 4.311 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.311 * [taylor]: Taking taylor expansion of 1/3 in y 4.311 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.311 * [taylor]: Taking taylor expansion of y in y 4.318 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 4.318 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.318 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.318 * [taylor]: Taking taylor expansion of 1/3 in y 4.318 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.318 * [taylor]: Taking taylor expansion of y in y 4.318 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.318 * [taylor]: Taking taylor expansion of -1 in y 4.318 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.318 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.318 * [taylor]: Taking taylor expansion of 1/3 in y 4.318 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.318 * [taylor]: Taking taylor expansion of y in y 4.318 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.318 * [taylor]: Taking taylor expansion of -1 in y 4.327 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 4.327 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 4.327 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.327 * [taylor]: Taking taylor expansion of 3 in x 4.327 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.327 * [taylor]: Taking taylor expansion of x in x 4.327 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.327 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.327 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.327 * [taylor]: Taking taylor expansion of 1/3 in x 4.327 * [taylor]: Taking taylor expansion of (log y) in x 4.327 * [taylor]: Taking taylor expansion of y in x 4.327 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.327 * [taylor]: Taking taylor expansion of 3 in y 4.327 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.327 * [taylor]: Taking taylor expansion of x in y 4.327 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.327 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.327 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.327 * [taylor]: Taking taylor expansion of 1/3 in y 4.327 * [taylor]: Taking taylor expansion of (log y) in y 4.328 * [taylor]: Taking taylor expansion of y in y 4.328 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.328 * [taylor]: Taking taylor expansion of 3 in y 4.328 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.328 * [taylor]: Taking taylor expansion of x in y 4.328 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.328 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.328 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.328 * [taylor]: Taking taylor expansion of 1/3 in y 4.328 * [taylor]: Taking taylor expansion of (log y) in y 4.328 * [taylor]: Taking taylor expansion of y in y 4.328 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 4.328 * [taylor]: Taking taylor expansion of x in x 4.328 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 4.328 * [taylor]: Taking taylor expansion of (log y) in x 4.328 * [taylor]: Taking taylor expansion of y in x 4.328 * [taylor]: Taking taylor expansion of (log 1) in x 4.328 * [taylor]: Taking taylor expansion of 1 in x 4.329 * [taylor]: Taking taylor expansion of 0 in x 4.330 * [taylor]: Taking taylor expansion of 0 in x 4.332 * [taylor]: Taking taylor expansion of 0 in x 4.332 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 4.332 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.332 * [taylor]: Taking taylor expansion of 3 in x 4.332 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.332 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.332 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.333 * [taylor]: Taking taylor expansion of 1/3 in x 4.333 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.333 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.333 * [taylor]: Taking taylor expansion of y in x 4.333 * [taylor]: Taking taylor expansion of x in x 4.333 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.333 * [taylor]: Taking taylor expansion of 3 in y 4.333 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.333 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.333 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.333 * [taylor]: Taking taylor expansion of 1/3 in y 4.333 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.333 * [taylor]: Taking taylor expansion of y in y 4.333 * [taylor]: Taking taylor expansion of x in y 4.333 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.333 * [taylor]: Taking taylor expansion of 3 in y 4.333 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.333 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.333 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.333 * [taylor]: Taking taylor expansion of 1/3 in y 4.334 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.334 * [taylor]: Taking taylor expansion of y in y 4.334 * [taylor]: Taking taylor expansion of x in y 4.334 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 4.334 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.334 * [taylor]: Taking taylor expansion of (log 1) in x 4.334 * [taylor]: Taking taylor expansion of 1 in x 4.334 * [taylor]: Taking taylor expansion of (log y) in x 4.334 * [taylor]: Taking taylor expansion of y in x 4.334 * [taylor]: Taking taylor expansion of x in x 4.335 * [taylor]: Taking taylor expansion of 0 in x 4.336 * [taylor]: Taking taylor expansion of 0 in x 4.338 * [taylor]: Taking taylor expansion of 0 in x 4.339 * [approximate]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in (y x) around 0 4.339 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in x 4.339 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 4.339 * [taylor]: Taking taylor expansion of 3 in x 4.340 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 4.340 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 4.340 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 4.340 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.340 * [taylor]: Taking taylor expansion of 1/3 in x 4.340 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.340 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.340 * [taylor]: Taking taylor expansion of y in x 4.340 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.340 * [taylor]: Taking taylor expansion of -1 in x 4.340 * [taylor]: Taking taylor expansion of x in x 4.340 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in y 4.340 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.340 * [taylor]: Taking taylor expansion of 3 in y 4.340 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.340 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.340 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.340 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.340 * [taylor]: Taking taylor expansion of 1/3 in y 4.340 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.341 * [taylor]: Taking taylor expansion of y in y 4.341 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.341 * [taylor]: Taking taylor expansion of -1 in y 4.341 * [taylor]: Taking taylor expansion of x in y 4.341 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in y 4.341 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.341 * [taylor]: Taking taylor expansion of 3 in y 4.341 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.341 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.341 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.341 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.341 * [taylor]: Taking taylor expansion of 1/3 in y 4.341 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.341 * [taylor]: Taking taylor expansion of y in y 4.342 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.342 * [taylor]: Taking taylor expansion of -1 in y 4.342 * [taylor]: Taking taylor expansion of x in y 4.342 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x))) in x 4.342 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x)) in x 4.342 * [taylor]: Taking taylor expansion of 3 in x 4.342 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x) in x 4.342 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) in x 4.342 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y))))) in x 4.342 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.343 * [taylor]: Taking taylor expansion of -1 in x 4.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 4.343 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 4.343 * [taylor]: Taking taylor expansion of 1/3 in x 4.343 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.343 * [taylor]: Taking taylor expansion of (log 1) in x 4.343 * [taylor]: Taking taylor expansion of 1 in x 4.343 * [taylor]: Taking taylor expansion of (log y) in x 4.343 * [taylor]: Taking taylor expansion of y in x 4.343 * [taylor]: Taking taylor expansion of x in x 4.345 * [taylor]: Taking taylor expansion of 0 in x 4.347 * [taylor]: Taking taylor expansion of 0 in x 4.351 * [taylor]: Taking taylor expansion of 0 in x 4.353 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.353 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 4.353 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 4.353 * [taylor]: Taking taylor expansion of 2 in x 4.353 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.353 * [taylor]: Taking taylor expansion of x in x 4.353 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.353 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.353 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.354 * [taylor]: Taking taylor expansion of 1/3 in x 4.354 * [taylor]: Taking taylor expansion of (log y) in x 4.354 * [taylor]: Taking taylor expansion of y in x 4.354 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 4.354 * [taylor]: Taking taylor expansion of 2 in y 4.354 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.354 * [taylor]: Taking taylor expansion of x in y 4.354 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.354 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.354 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.354 * [taylor]: Taking taylor expansion of 1/3 in y 4.354 * [taylor]: Taking taylor expansion of (log y) in y 4.354 * [taylor]: Taking taylor expansion of y in y 4.354 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 4.354 * [taylor]: Taking taylor expansion of 2 in y 4.354 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.354 * [taylor]: Taking taylor expansion of x in y 4.354 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.354 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.354 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.354 * [taylor]: Taking taylor expansion of 1/3 in y 4.354 * [taylor]: Taking taylor expansion of (log y) in y 4.354 * [taylor]: Taking taylor expansion of y in y 4.355 * [taylor]: Taking taylor expansion of (* 2/3 (* x (+ (log y) (log 1)))) in x 4.355 * [taylor]: Taking taylor expansion of 2/3 in x 4.355 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 4.355 * [taylor]: Taking taylor expansion of x in x 4.355 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 4.355 * [taylor]: Taking taylor expansion of (log y) in x 4.355 * [taylor]: Taking taylor expansion of y in x 4.355 * [taylor]: Taking taylor expansion of (log 1) in x 4.355 * [taylor]: Taking taylor expansion of 1 in x 4.356 * [taylor]: Taking taylor expansion of 0 in x 4.357 * [taylor]: Taking taylor expansion of 0 in x 4.359 * [taylor]: Taking taylor expansion of 0 in x 4.359 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 4.359 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.359 * [taylor]: Taking taylor expansion of 2 in x 4.359 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.359 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.359 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.359 * [taylor]: Taking taylor expansion of 1/3 in x 4.359 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.359 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.359 * [taylor]: Taking taylor expansion of y in x 4.359 * [taylor]: Taking taylor expansion of x in x 4.359 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.359 * [taylor]: Taking taylor expansion of 2 in y 4.359 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.359 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.360 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.360 * [taylor]: Taking taylor expansion of 1/3 in y 4.360 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.360 * [taylor]: Taking taylor expansion of y in y 4.360 * [taylor]: Taking taylor expansion of x in y 4.360 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.360 * [taylor]: Taking taylor expansion of 2 in y 4.360 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.360 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.360 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.360 * [taylor]: Taking taylor expansion of 1/3 in y 4.360 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.360 * [taylor]: Taking taylor expansion of y in y 4.360 * [taylor]: Taking taylor expansion of x in y 4.361 * [taylor]: Taking taylor expansion of (* 2/3 (/ (- (log 1) (log y)) x)) in x 4.361 * [taylor]: Taking taylor expansion of 2/3 in x 4.361 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 4.361 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.361 * [taylor]: Taking taylor expansion of (log 1) in x 4.361 * [taylor]: Taking taylor expansion of 1 in x 4.361 * [taylor]: Taking taylor expansion of (log y) in x 4.361 * [taylor]: Taking taylor expansion of y in x 4.361 * [taylor]: Taking taylor expansion of x in x 4.362 * [taylor]: Taking taylor expansion of 0 in x 4.363 * [taylor]: Taking taylor expansion of 0 in x 4.365 * [taylor]: Taking taylor expansion of 0 in x 4.366 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in (y x) around 0 4.366 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 4.366 * [taylor]: Taking taylor expansion of -2 in x 4.366 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 4.366 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 4.366 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 4.366 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.366 * [taylor]: Taking taylor expansion of 1/3 in x 4.366 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.366 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.366 * [taylor]: Taking taylor expansion of y in x 4.366 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.366 * [taylor]: Taking taylor expansion of -1 in x 4.367 * [taylor]: Taking taylor expansion of x in x 4.367 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.367 * [taylor]: Taking taylor expansion of -2 in y 4.367 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.367 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.367 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.367 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.367 * [taylor]: Taking taylor expansion of 1/3 in y 4.367 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.367 * [taylor]: Taking taylor expansion of y in y 4.367 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.367 * [taylor]: Taking taylor expansion of -1 in y 4.368 * [taylor]: Taking taylor expansion of x in y 4.368 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.368 * [taylor]: Taking taylor expansion of -2 in y 4.368 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.368 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.368 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.368 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.368 * [taylor]: Taking taylor expansion of 1/3 in y 4.368 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.368 * [taylor]: Taking taylor expansion of y in y 4.368 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.368 * [taylor]: Taking taylor expansion of -1 in y 4.368 * [taylor]: Taking taylor expansion of x in y 4.369 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x)) in x 4.369 * [taylor]: Taking taylor expansion of -2 in x 4.369 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x) in x 4.369 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) in x 4.369 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y))))) in x 4.369 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.369 * [taylor]: Taking taylor expansion of -1 in x 4.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 4.369 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 4.369 * [taylor]: Taking taylor expansion of 1/3 in x 4.369 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.369 * [taylor]: Taking taylor expansion of (log 1) in x 4.369 * [taylor]: Taking taylor expansion of 1 in x 4.369 * [taylor]: Taking taylor expansion of (log y) in x 4.369 * [taylor]: Taking taylor expansion of y in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.371 * [taylor]: Taking taylor expansion of 0 in x 4.374 * [taylor]: Taking taylor expansion of 0 in x 4.381 * [taylor]: Taking taylor expansion of 0 in x 4.383 * * * [progress]: simplifying candidates 4.384 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (exp (* (* 2 (log (cbrt y))) x)) (exp (* x (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (+ (pow (* (* 2 (log (cbrt y))) x) 3) (pow (* x (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* x (log (cbrt y))) (* x (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log 1))) (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt (* (cbrt y) (cbrt y)))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt (sqrt y))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt 1)) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (sqrt (cbrt y))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log 1) x)) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (+ (+ (log 2) (log (log (cbrt y)))) (log x)) (+ (log (* 2 (log (cbrt y)))) (log x)) (log (* (* 2 (log (cbrt y))) x)) (exp (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 2) 2) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (* x x) x)) (* (* (* (* 2 (log (cbrt y))) (* 2 (log (cbrt y)))) (* 2 (log (cbrt y)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt y))) (sqrt x)) (* (* 2 (log (cbrt y))) 1) (* (log (cbrt y)) x) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (* x (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) x) (* 3 (* x (log (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))))) (* (+ (* 2/3 (log y)) (* 2/3 (log 1))) x) (* 2/3 (* (- (log 1) (log (/ 1 y))) x)) (* 2 (* x (log (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))))) 4.389 * * [simplify]: iteration 0 : 131 enodes (cost 853 ) 4.408 * * [simplify]: iteration 1 : 318 enodes (cost 771 ) 4.474 * * [simplify]: iteration 2 : 943 enodes (cost 607 ) 4.962 * * [simplify]: iteration 3 : 3554 enodes (cost 553 ) 5.870 * * [simplify]: iteration done : 5001 enodes (cost 539 ) 5.871 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow (cbrt y) 2)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow (cbrt y) 2)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* 3 (* x (log (cbrt y))))) (log (* 3 (* x (log (cbrt y))))) (exp (* 3 (* x (log (cbrt y))))) (* (cbrt (* 3 (* x (log (cbrt y))))) (cbrt (* 3 (* x (log (cbrt y)))))) (cbrt (* 3 (* x (log (cbrt y))))) (pow (* 3 (* x (log (cbrt y)))) 3) (sqrt (* 3 (* x (log (cbrt y))))) (sqrt (* 3 (* x (log (cbrt y))))) (* 9 (pow (* x (log (cbrt y))) 3)) (* x (* (* x (* (log (cbrt y)) (log (cbrt y)))) 3)) (* x (* (* x (* (log (cbrt y)) (log (cbrt y)))) 3)) (* x (log (cbrt y))) (* x (+ (* 2 (log (cbrt y))) (log (cbrt (pow (cbrt y) 2))))) (* x (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y))))) (* (* 2 (log (cbrt y))) x) (* (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y))))) x) (* x (+ (* 2 (log (cbrt y))) (log (sqrt (cbrt y))))) (* (* 2 (log (cbrt y))) x) (* x (+ (* 2 (log (cbrt y))) (log (cbrt (pow (cbrt y) 2))))) (* x (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y))))) (* (* 2 (log (cbrt y))) x) (* (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y))))) x) (* x (+ (* 2 (log (cbrt y))) (log (sqrt (cbrt y))))) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (log (* (* 2 (log (cbrt y))) x)) (log (* (* 2 (log (cbrt y))) x)) (log (* (* 2 (log (cbrt y))) x)) (pow (pow (cbrt y) 2) x) (pow (* (* 2 (log (cbrt y))) x) 3) (pow (* (* 2 (log (cbrt y))) x) 3) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (pow (* (* 2 (log (cbrt y))) x) 3) (sqrt (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt y))) (sqrt x)) (* 2 (log (cbrt y))) (* x (log (cbrt y))) (cbrt y) (cbrt y) (* (cbrt (exp (neg (log (/ -1 y))))) (cbrt -1)) (cbrt y) (cbrt y) (* (cbrt (exp (neg (log (/ -1 y))))) (cbrt -1)) (* x (log y)) (* x (log y)) (* (- (log (cbrt -1)) (* (log (/ -1 y)) 1/3)) (* 3 x)) (* 2/3 (* x (log y))) (* 2/3 (* x (log y))) (* x (* 2 (- (log (cbrt -1)) (* (log (/ -1 y)) 1/3)))) 5.871 * * * [progress]: adding candidates to table 5.955 * [progress]: [Phase 3 of 3] Extracting. 5.955 * * [regime]: Finding splitpoints for: (# # # # # #) 5.957 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 5.957 * * * * [regimes]: Trying to branch on z from (# # # # # #) 6.015 * * * * [regimes]: Trying to branch on y from (# # # # # #) 6.073 * * * * [regimes]: Trying to branch on x from (# # # # # #) 6.131 * * * [regime]: Found split indices: #