8.599 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (- (- (* x (log y)) z) y) 0.043 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.044 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.046 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 0.049 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 0.058 * * [simplify]: iteration 4 : 52 enodes (cost 8 ) 0.062 * * [simplify]: iteration 5 : 64 enodes (cost 8 ) 0.068 * * [simplify]: iteration 6 : 90 enodes (cost 8 ) 0.077 * * [simplify]: iteration 7 : 130 enodes (cost 8 ) 0.092 * * [simplify]: iteration 8 : 177 enodes (cost 8 ) 0.110 * * [simplify]: iteration 9 : 225 enodes (cost 8 ) 0.130 * * [simplify]: iteration 10 : 273 enodes (cost 8 ) 0.153 * * [simplify]: iteration 11 : 326 enodes (cost 8 ) 0.187 * * [simplify]: iteration 12 : 387 enodes (cost 8 ) 0.226 * * [simplify]: iteration 13 : 462 enodes (cost 8 ) 0.270 * * [simplify]: iteration 14 : 538 enodes (cost 8 ) 0.319 * * [simplify]: iteration 15 : 618 enodes (cost 8 ) 0.379 * * [simplify]: iteration 16 : 706 enodes (cost 8 ) 0.447 * * [simplify]: iteration 17 : 806 enodes (cost 8 ) 0.526 * * [simplify]: iteration 18 : 911 enodes (cost 8 ) 0.616 * * [simplify]: iteration 19 : 1022 enodes (cost 8 ) 0.718 * * [simplify]: iteration 20 : 1139 enodes (cost 8 ) 0.830 * * [simplify]: iteration 21 : 1266 enodes (cost 8 ) 0.959 * * [simplify]: iteration 22 : 1398 enodes (cost 8 ) 1.095 * * [simplify]: iteration 23 : 1536 enodes (cost 8 ) 1.252 * * [simplify]: iteration 24 : 1673 enodes (cost 8 ) 1.420 * * [simplify]: iteration 25 : 1819 enodes (cost 8 ) 1.610 * * [simplify]: iteration 26 : 1971 enodes (cost 8 ) 1.811 * * [simplify]: iteration 27 : 2129 enodes (cost 8 ) 2.036 * * [simplify]: iteration 28 : 2299 enodes (cost 8 ) 2.282 * * [simplify]: iteration 29 : 2471 enodes (cost 8 ) 2.547 * * [simplify]: iteration 30 : 2648 enodes (cost 8 ) 2.831 * * [simplify]: iteration 31 : 2831 enodes (cost 8 ) 3.141 * * [simplify]: iteration 32 : 3004 enodes (cost 8 ) 3.474 * * [simplify]: iteration 33 : 3184 enodes (cost 8 ) 3.840 * * [simplify]: iteration 34 : 3368 enodes (cost 8 ) 4.232 * * [simplify]: iteration 35 : 3560 enodes (cost 8 ) 4.649 * * [simplify]: iteration 36 : 3751 enodes (cost 8 ) 5.089 * * [simplify]: iteration 37 : 3949 enodes (cost 8 ) 5.575 * * [simplify]: iteration 38 : 4154 enodes (cost 8 ) 6.086 * * [simplify]: iteration 39 : 4366 enodes (cost 8 ) 6.626 * * [simplify]: iteration 40 : 4579 enodes (cost 8 ) 7.213 * * [simplify]: iteration 41 : 4797 enodes (cost 8 ) 7.716 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 7.716 * [simplify]: Simplified to: (- (- (* x (log y)) z) y) 7.716 * * [progress]: iteration 1 / 4 7.716 * * * [progress]: picking best candidate 7.719 * * * * [pick]: Picked # 7.719 * * * [progress]: localizing error 7.727 * * * [progress]: generating rewritten candidates 7.727 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 7.732 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 7.737 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.748 * * * [progress]: generating series expansions 7.748 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 7.748 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 7.748 * [taylor]: Taking taylor expansion of (* x (log y)) in y 7.748 * [taylor]: Taking taylor expansion of x in y 7.748 * [taylor]: Taking taylor expansion of (log y) in y 7.748 * [taylor]: Taking taylor expansion of y in y 7.748 * [taylor]: Taking taylor expansion of (* x (log y)) in x 7.748 * [taylor]: Taking taylor expansion of x in x 7.748 * [taylor]: Taking taylor expansion of (log y) in x 7.748 * [taylor]: Taking taylor expansion of y in x 7.748 * [taylor]: Taking taylor expansion of (* x (log y)) in x 7.748 * [taylor]: Taking taylor expansion of x in x 7.748 * [taylor]: Taking taylor expansion of (log y) in x 7.748 * [taylor]: Taking taylor expansion of y in x 7.748 * [taylor]: Taking taylor expansion of 0 in y 7.749 * [taylor]: Taking taylor expansion of (log y) in y 7.749 * [taylor]: Taking taylor expansion of y in y 7.750 * [taylor]: Taking taylor expansion of 0 in y 7.750 * [taylor]: Taking taylor expansion of 0 in y 7.751 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 7.751 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 7.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.751 * [taylor]: Taking taylor expansion of y in y 7.751 * [taylor]: Taking taylor expansion of x in y 7.751 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 7.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.751 * [taylor]: Taking taylor expansion of y in x 7.751 * [taylor]: Taking taylor expansion of x in x 7.751 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 7.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.751 * [taylor]: Taking taylor expansion of y in x 7.751 * [taylor]: Taking taylor expansion of x in x 7.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.751 * [taylor]: Taking taylor expansion of y in y 7.752 * [taylor]: Taking taylor expansion of 0 in y 7.752 * [taylor]: Taking taylor expansion of 0 in y 7.753 * [taylor]: Taking taylor expansion of 0 in y 7.753 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 7.753 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 7.753 * [taylor]: Taking taylor expansion of -1 in y 7.753 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 7.753 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.753 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.753 * [taylor]: Taking taylor expansion of -1 in y 7.753 * [taylor]: Taking taylor expansion of y in y 7.754 * [taylor]: Taking taylor expansion of x in y 7.754 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 7.754 * [taylor]: Taking taylor expansion of -1 in x 7.754 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 7.754 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 7.754 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.754 * [taylor]: Taking taylor expansion of -1 in x 7.754 * [taylor]: Taking taylor expansion of y in x 7.754 * [taylor]: Taking taylor expansion of x in x 7.754 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 7.754 * [taylor]: Taking taylor expansion of -1 in x 7.754 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 7.754 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 7.754 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.754 * [taylor]: Taking taylor expansion of -1 in x 7.754 * [taylor]: Taking taylor expansion of y in x 7.754 * [taylor]: Taking taylor expansion of x in x 7.754 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 7.754 * [taylor]: Taking taylor expansion of -1 in y 7.754 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.754 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.754 * [taylor]: Taking taylor expansion of -1 in y 7.754 * [taylor]: Taking taylor expansion of y in y 7.759 * [taylor]: Taking taylor expansion of 0 in y 7.760 * [taylor]: Taking taylor expansion of 0 in y 7.761 * [taylor]: Taking taylor expansion of 0 in y 7.761 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 7.761 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0 7.761 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z 7.761 * [taylor]: Taking taylor expansion of (* x (log y)) in z 7.761 * [taylor]: Taking taylor expansion of x in z 7.761 * [taylor]: Taking taylor expansion of (log y) in z 7.761 * [taylor]: Taking taylor expansion of y in z 7.761 * [taylor]: Taking taylor expansion of z in z 7.761 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y 7.761 * [taylor]: Taking taylor expansion of (* x (log y)) in y 7.761 * [taylor]: Taking taylor expansion of x in y 7.761 * [taylor]: Taking taylor expansion of (log y) in y 7.761 * [taylor]: Taking taylor expansion of y in y 7.761 * [taylor]: Taking taylor expansion of z in y 7.761 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 7.761 * [taylor]: Taking taylor expansion of (* x (log y)) in x 7.761 * [taylor]: Taking taylor expansion of x in x 7.761 * [taylor]: Taking taylor expansion of (log y) in x 7.761 * [taylor]: Taking taylor expansion of y in x 7.761 * [taylor]: Taking taylor expansion of z in x 7.761 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 7.761 * [taylor]: Taking taylor expansion of (* x (log y)) in x 7.761 * [taylor]: Taking taylor expansion of x in x 7.761 * [taylor]: Taking taylor expansion of (log y) in x 7.761 * [taylor]: Taking taylor expansion of y in x 7.761 * [taylor]: Taking taylor expansion of z in x 7.762 * [taylor]: Taking taylor expansion of (neg z) in y 7.762 * [taylor]: Taking taylor expansion of z in y 7.762 * [taylor]: Taking taylor expansion of (neg z) in z 7.762 * [taylor]: Taking taylor expansion of z in z 7.762 * [taylor]: Taking taylor expansion of (log y) in y 7.762 * [taylor]: Taking taylor expansion of y in y 7.762 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 7.762 * [taylor]: Taking taylor expansion of (log y) in z 7.762 * [taylor]: Taking taylor expansion of y in z 7.762 * [taylor]: Taking taylor expansion of (log 1) in z 7.762 * [taylor]: Taking taylor expansion of 1 in z 7.762 * [taylor]: Taking taylor expansion of 0 in z 7.763 * [taylor]: Taking taylor expansion of 0 in y 7.763 * [taylor]: Taking taylor expansion of 0 in z 7.763 * [taylor]: Taking taylor expansion of 0 in z 7.763 * [taylor]: Taking taylor expansion of 0 in z 7.763 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0 7.763 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z 7.763 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 7.763 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.763 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.763 * [taylor]: Taking taylor expansion of y in z 7.763 * [taylor]: Taking taylor expansion of x in z 7.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.764 * [taylor]: Taking taylor expansion of z in z 7.764 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y 7.764 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 7.764 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.764 * [taylor]: Taking taylor expansion of y in y 7.764 * [taylor]: Taking taylor expansion of x in y 7.764 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.764 * [taylor]: Taking taylor expansion of z in y 7.764 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 7.764 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 7.764 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.764 * [taylor]: Taking taylor expansion of y in x 7.764 * [taylor]: Taking taylor expansion of x in x 7.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.764 * [taylor]: Taking taylor expansion of z in x 7.764 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 7.764 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 7.764 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.764 * [taylor]: Taking taylor expansion of y in x 7.764 * [taylor]: Taking taylor expansion of x in x 7.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.764 * [taylor]: Taking taylor expansion of z in x 7.764 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.764 * [taylor]: Taking taylor expansion of y in y 7.765 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 7.765 * [taylor]: Taking taylor expansion of (log 1) in z 7.765 * [taylor]: Taking taylor expansion of 1 in z 7.765 * [taylor]: Taking taylor expansion of (log y) in z 7.765 * [taylor]: Taking taylor expansion of y in z 7.765 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 7.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.765 * [taylor]: Taking taylor expansion of z in y 7.765 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.765 * [taylor]: Taking taylor expansion of z in z 7.765 * [taylor]: Taking taylor expansion of 0 in z 7.766 * [taylor]: Taking taylor expansion of 0 in y 7.766 * [taylor]: Taking taylor expansion of 0 in z 7.766 * [taylor]: Taking taylor expansion of 0 in z 7.766 * [taylor]: Taking taylor expansion of 0 in z 7.767 * [taylor]: Taking taylor expansion of 0 in y 7.767 * [taylor]: Taking taylor expansion of 0 in z 7.767 * [taylor]: Taking taylor expansion of 0 in z 7.767 * [taylor]: Taking taylor expansion of 0 in z 7.768 * [taylor]: Taking taylor expansion of 0 in z 7.768 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0 7.769 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z 7.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.769 * [taylor]: Taking taylor expansion of z in z 7.769 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 7.769 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 7.769 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.769 * [taylor]: Taking taylor expansion of -1 in z 7.769 * [taylor]: Taking taylor expansion of y in z 7.769 * [taylor]: Taking taylor expansion of x in z 7.769 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y 7.769 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.769 * [taylor]: Taking taylor expansion of z in y 7.769 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 7.769 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.769 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.769 * [taylor]: Taking taylor expansion of -1 in y 7.769 * [taylor]: Taking taylor expansion of y in y 7.769 * [taylor]: Taking taylor expansion of x in y 7.769 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 7.769 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.769 * [taylor]: Taking taylor expansion of z in x 7.769 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 7.769 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 7.769 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.769 * [taylor]: Taking taylor expansion of -1 in x 7.769 * [taylor]: Taking taylor expansion of y in x 7.769 * [taylor]: Taking taylor expansion of x in x 7.769 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 7.769 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.769 * [taylor]: Taking taylor expansion of z in x 7.770 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 7.770 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 7.770 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.770 * [taylor]: Taking taylor expansion of -1 in x 7.770 * [taylor]: Taking taylor expansion of y in x 7.770 * [taylor]: Taking taylor expansion of x in x 7.770 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 7.770 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.770 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.770 * [taylor]: Taking taylor expansion of -1 in y 7.770 * [taylor]: Taking taylor expansion of y in y 7.770 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 7.770 * [taylor]: Taking taylor expansion of (log y) in z 7.770 * [taylor]: Taking taylor expansion of y in z 7.770 * [taylor]: Taking taylor expansion of (log -1) in z 7.770 * [taylor]: Taking taylor expansion of -1 in z 7.771 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.771 * [taylor]: Taking taylor expansion of z in y 7.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.771 * [taylor]: Taking taylor expansion of z in z 7.771 * [taylor]: Taking taylor expansion of 0 in z 7.771 * [taylor]: Taking taylor expansion of 0 in y 7.771 * [taylor]: Taking taylor expansion of 0 in z 7.772 * [taylor]: Taking taylor expansion of 0 in z 7.772 * [taylor]: Taking taylor expansion of 0 in z 7.773 * [taylor]: Taking taylor expansion of 0 in y 7.773 * [taylor]: Taking taylor expansion of 0 in z 7.773 * [taylor]: Taking taylor expansion of 0 in z 7.773 * [taylor]: Taking taylor expansion of 0 in z 7.773 * [taylor]: Taking taylor expansion of 0 in z 7.774 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.774 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 7.774 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 7.774 * [taylor]: Taking taylor expansion of (* x (log y)) in z 7.774 * [taylor]: Taking taylor expansion of x in z 7.774 * [taylor]: Taking taylor expansion of (log y) in z 7.774 * [taylor]: Taking taylor expansion of y in z 7.774 * [taylor]: Taking taylor expansion of (+ z y) in z 7.774 * [taylor]: Taking taylor expansion of z in z 7.774 * [taylor]: Taking taylor expansion of y in z 7.774 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 7.774 * [taylor]: Taking taylor expansion of (* x (log y)) in y 7.774 * [taylor]: Taking taylor expansion of x in y 7.774 * [taylor]: Taking taylor expansion of (log y) in y 7.774 * [taylor]: Taking taylor expansion of y in y 7.774 * [taylor]: Taking taylor expansion of (+ z y) in y 7.774 * [taylor]: Taking taylor expansion of z in y 7.774 * [taylor]: Taking taylor expansion of y in y 7.774 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 7.774 * [taylor]: Taking taylor expansion of (* x (log y)) in x 7.774 * [taylor]: Taking taylor expansion of x in x 7.774 * [taylor]: Taking taylor expansion of (log y) in x 7.774 * [taylor]: Taking taylor expansion of y in x 7.774 * [taylor]: Taking taylor expansion of (+ z y) in x 7.774 * [taylor]: Taking taylor expansion of z in x 7.774 * [taylor]: Taking taylor expansion of y in x 7.774 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 7.774 * [taylor]: Taking taylor expansion of (* x (log y)) in x 7.774 * [taylor]: Taking taylor expansion of x in x 7.774 * [taylor]: Taking taylor expansion of (log y) in x 7.774 * [taylor]: Taking taylor expansion of y in x 7.774 * [taylor]: Taking taylor expansion of (+ z y) in x 7.774 * [taylor]: Taking taylor expansion of z in x 7.774 * [taylor]: Taking taylor expansion of y in x 7.774 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y 7.774 * [taylor]: Taking taylor expansion of (+ z y) in y 7.774 * [taylor]: Taking taylor expansion of z in y 7.774 * [taylor]: Taking taylor expansion of y in y 7.775 * [taylor]: Taking taylor expansion of (neg z) in z 7.775 * [taylor]: Taking taylor expansion of z in z 7.775 * [taylor]: Taking taylor expansion of (log y) in y 7.775 * [taylor]: Taking taylor expansion of y in y 7.775 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 7.775 * [taylor]: Taking taylor expansion of (log y) in z 7.775 * [taylor]: Taking taylor expansion of y in z 7.775 * [taylor]: Taking taylor expansion of (log 1) in z 7.775 * [taylor]: Taking taylor expansion of 1 in z 7.775 * [taylor]: Taking taylor expansion of (neg 1) in z 7.775 * [taylor]: Taking taylor expansion of 1 in z 7.776 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in (x y z) around 0 7.776 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in z 7.776 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 7.776 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.776 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.776 * [taylor]: Taking taylor expansion of y in z 7.776 * [taylor]: Taking taylor expansion of x in z 7.776 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 7.776 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.776 * [taylor]: Taking taylor expansion of y in z 7.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.776 * [taylor]: Taking taylor expansion of z in z 7.776 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in y 7.776 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 7.776 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.776 * [taylor]: Taking taylor expansion of y in y 7.776 * [taylor]: Taking taylor expansion of x in y 7.776 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 7.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.776 * [taylor]: Taking taylor expansion of y in y 7.776 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.776 * [taylor]: Taking taylor expansion of z in y 7.776 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 7.776 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 7.776 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.776 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.776 * [taylor]: Taking taylor expansion of y in x 7.776 * [taylor]: Taking taylor expansion of x in x 7.777 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 7.777 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.777 * [taylor]: Taking taylor expansion of y in x 7.777 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.777 * [taylor]: Taking taylor expansion of z in x 7.777 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 7.777 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 7.777 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.777 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.777 * [taylor]: Taking taylor expansion of y in x 7.777 * [taylor]: Taking taylor expansion of x in x 7.777 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 7.777 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.777 * [taylor]: Taking taylor expansion of y in x 7.777 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.777 * [taylor]: Taking taylor expansion of z in x 7.777 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.777 * [taylor]: Taking taylor expansion of y in y 7.778 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 z))) in y 7.778 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 7.778 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.778 * [taylor]: Taking taylor expansion of y in y 7.778 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.778 * [taylor]: Taking taylor expansion of z in y 7.778 * [taylor]: Taking taylor expansion of (neg 1) in z 7.778 * [taylor]: Taking taylor expansion of 1 in z 7.778 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 7.778 * [taylor]: Taking taylor expansion of (log 1) in z 7.778 * [taylor]: Taking taylor expansion of 1 in z 7.778 * [taylor]: Taking taylor expansion of (log y) in z 7.778 * [taylor]: Taking taylor expansion of y in z 7.778 * [taylor]: Taking taylor expansion of 0 in y 7.779 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 7.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.779 * [taylor]: Taking taylor expansion of z in z 7.779 * [taylor]: Taking taylor expansion of 0 in z 7.780 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in (x y z) around 0 7.780 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in z 7.780 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 7.780 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.780 * [taylor]: Taking taylor expansion of y in z 7.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.780 * [taylor]: Taking taylor expansion of z in z 7.780 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 7.780 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 7.780 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.780 * [taylor]: Taking taylor expansion of -1 in z 7.780 * [taylor]: Taking taylor expansion of y in z 7.780 * [taylor]: Taking taylor expansion of x in z 7.780 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in y 7.780 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 7.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.780 * [taylor]: Taking taylor expansion of y in y 7.780 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.780 * [taylor]: Taking taylor expansion of z in y 7.780 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 7.780 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.780 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.780 * [taylor]: Taking taylor expansion of -1 in y 7.780 * [taylor]: Taking taylor expansion of y in y 7.780 * [taylor]: Taking taylor expansion of x in y 7.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 7.781 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 7.781 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.781 * [taylor]: Taking taylor expansion of y in x 7.781 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.781 * [taylor]: Taking taylor expansion of z in x 7.781 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 7.781 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 7.781 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.781 * [taylor]: Taking taylor expansion of -1 in x 7.781 * [taylor]: Taking taylor expansion of y in x 7.781 * [taylor]: Taking taylor expansion of x in x 7.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 7.781 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 7.781 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.781 * [taylor]: Taking taylor expansion of y in x 7.781 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.781 * [taylor]: Taking taylor expansion of z in x 7.781 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 7.781 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 7.781 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.781 * [taylor]: Taking taylor expansion of -1 in x 7.781 * [taylor]: Taking taylor expansion of y in x 7.781 * [taylor]: Taking taylor expansion of x in x 7.781 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 7.781 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 7.781 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.781 * [taylor]: Taking taylor expansion of -1 in y 7.781 * [taylor]: Taking taylor expansion of y in y 7.782 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 7.782 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.782 * [taylor]: Taking taylor expansion of z in y 7.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.782 * [taylor]: Taking taylor expansion of y in y 7.782 * [taylor]: Taking taylor expansion of 1 in z 7.782 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 7.782 * [taylor]: Taking taylor expansion of (log y) in z 7.782 * [taylor]: Taking taylor expansion of y in z 7.782 * [taylor]: Taking taylor expansion of (log -1) in z 7.782 * [taylor]: Taking taylor expansion of -1 in z 7.783 * [taylor]: Taking taylor expansion of 0 in y 7.783 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.783 * [taylor]: Taking taylor expansion of z in z 7.783 * [taylor]: Taking taylor expansion of 0 in z 7.783 * * * [progress]: simplifying candidates 7.784 * [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))) 7.788 * * [simplify]: iteration 0 : 131 enodes (cost 727 ) 7.806 * * [simplify]: iteration 1 : 279 enodes (cost 681 ) 7.848 * * [simplify]: iteration 2 : 606 enodes (cost 626 ) 7.962 * * [simplify]: iteration 3 : 1573 enodes (cost 603 ) 8.319 * * [simplify]: iteration done : 5000 enodes (cost 597 ) 8.319 * [simplify]: Simplified to: (* x (log y)) (+ (log x) (log (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)) z) (* (log y) x))) (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 (- (- (* x (log y)) 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) (- (* (log y) x) 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 (+ z y)) (- (- (* 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 (+ z y)) (+ 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) 8.320 * * * [progress]: adding candidates to table 8.398 * * [progress]: iteration 2 / 4 8.398 * * * [progress]: picking best candidate 8.421 * * * * [pick]: Picked # 8.421 * * * [progress]: localizing error 8.428 * * * [progress]: generating rewritten candidates 8.428 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 8.433 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.444 * * * [progress]: generating series expansions 8.445 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 8.445 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 8.445 * [taylor]: Taking taylor expansion of (* x (log y)) in y 8.445 * [taylor]: Taking taylor expansion of x in y 8.445 * [taylor]: Taking taylor expansion of (log y) in y 8.445 * [taylor]: Taking taylor expansion of y in y 8.445 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.445 * [taylor]: Taking taylor expansion of x in x 8.445 * [taylor]: Taking taylor expansion of (log y) in x 8.445 * [taylor]: Taking taylor expansion of y in x 8.445 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.445 * [taylor]: Taking taylor expansion of x in x 8.445 * [taylor]: Taking taylor expansion of (log y) in x 8.445 * [taylor]: Taking taylor expansion of y in x 8.445 * [taylor]: Taking taylor expansion of 0 in y 8.445 * [taylor]: Taking taylor expansion of (log y) in y 8.445 * [taylor]: Taking taylor expansion of y in y 8.446 * [taylor]: Taking taylor expansion of 0 in y 8.446 * [taylor]: Taking taylor expansion of 0 in y 8.446 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 8.446 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 8.446 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.446 * [taylor]: Taking taylor expansion of y in y 8.446 * [taylor]: Taking taylor expansion of x in y 8.447 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.447 * [taylor]: Taking taylor expansion of y in x 8.447 * [taylor]: Taking taylor expansion of x in x 8.447 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.447 * [taylor]: Taking taylor expansion of y in x 8.447 * [taylor]: Taking taylor expansion of x in x 8.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.447 * [taylor]: Taking taylor expansion of y in y 8.447 * [taylor]: Taking taylor expansion of 0 in y 8.448 * [taylor]: Taking taylor expansion of 0 in y 8.449 * [taylor]: Taking taylor expansion of 0 in y 8.449 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 8.449 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 8.449 * [taylor]: Taking taylor expansion of -1 in y 8.449 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 8.449 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.449 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.449 * [taylor]: Taking taylor expansion of -1 in y 8.449 * [taylor]: Taking taylor expansion of y in y 8.449 * [taylor]: Taking taylor expansion of x in y 8.449 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 8.449 * [taylor]: Taking taylor expansion of -1 in x 8.449 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.449 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.449 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.449 * [taylor]: Taking taylor expansion of -1 in x 8.449 * [taylor]: Taking taylor expansion of y in x 8.449 * [taylor]: Taking taylor expansion of x in x 8.449 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 8.449 * [taylor]: Taking taylor expansion of -1 in x 8.449 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.450 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.450 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.450 * [taylor]: Taking taylor expansion of -1 in x 8.450 * [taylor]: Taking taylor expansion of y in x 8.450 * [taylor]: Taking taylor expansion of x in x 8.450 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 8.450 * [taylor]: Taking taylor expansion of -1 in y 8.450 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.450 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.450 * [taylor]: Taking taylor expansion of -1 in y 8.450 * [taylor]: Taking taylor expansion of y in y 8.450 * [taylor]: Taking taylor expansion of 0 in y 8.451 * [taylor]: Taking taylor expansion of 0 in y 8.452 * [taylor]: Taking taylor expansion of 0 in y 8.452 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.452 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 8.452 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 8.452 * [taylor]: Taking taylor expansion of (* x (log y)) in z 8.452 * [taylor]: Taking taylor expansion of x in z 8.452 * [taylor]: Taking taylor expansion of (log y) in z 8.452 * [taylor]: Taking taylor expansion of y in z 8.452 * [taylor]: Taking taylor expansion of (+ z y) in z 8.452 * [taylor]: Taking taylor expansion of z in z 8.452 * [taylor]: Taking taylor expansion of y in z 8.452 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 8.452 * [taylor]: Taking taylor expansion of (* x (log y)) in y 8.452 * [taylor]: Taking taylor expansion of x in y 8.453 * [taylor]: Taking taylor expansion of (log y) in y 8.453 * [taylor]: Taking taylor expansion of y in y 8.453 * [taylor]: Taking taylor expansion of (+ z y) in y 8.453 * [taylor]: Taking taylor expansion of z in y 8.453 * [taylor]: Taking taylor expansion of y in y 8.453 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 8.453 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.453 * [taylor]: Taking taylor expansion of x in x 8.453 * [taylor]: Taking taylor expansion of (log y) in x 8.453 * [taylor]: Taking taylor expansion of y in x 8.453 * [taylor]: Taking taylor expansion of (+ z y) in x 8.453 * [taylor]: Taking taylor expansion of z in x 8.453 * [taylor]: Taking taylor expansion of y in x 8.453 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 8.453 * [taylor]: Taking taylor expansion of (* x (log y)) in x 8.453 * [taylor]: Taking taylor expansion of x in x 8.453 * [taylor]: Taking taylor expansion of (log y) in x 8.453 * [taylor]: Taking taylor expansion of y in x 8.453 * [taylor]: Taking taylor expansion of (+ z y) in x 8.453 * [taylor]: Taking taylor expansion of z in x 8.453 * [taylor]: Taking taylor expansion of y in x 8.453 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y 8.453 * [taylor]: Taking taylor expansion of (+ z y) in y 8.453 * [taylor]: Taking taylor expansion of z in y 8.453 * [taylor]: Taking taylor expansion of y in y 8.453 * [taylor]: Taking taylor expansion of (neg z) in z 8.453 * [taylor]: Taking taylor expansion of z in z 8.453 * [taylor]: Taking taylor expansion of (log y) in y 8.453 * [taylor]: Taking taylor expansion of y in y 8.454 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 8.454 * [taylor]: Taking taylor expansion of (log y) in z 8.454 * [taylor]: Taking taylor expansion of y in z 8.454 * [taylor]: Taking taylor expansion of (log 1) in z 8.454 * [taylor]: Taking taylor expansion of 1 in z 8.454 * [taylor]: Taking taylor expansion of (neg 1) in z 8.454 * [taylor]: Taking taylor expansion of 1 in z 8.454 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 8.454 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 8.454 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 8.454 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 8.454 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.454 * [taylor]: Taking taylor expansion of y in z 8.454 * [taylor]: Taking taylor expansion of x in z 8.454 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 8.454 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.454 * [taylor]: Taking taylor expansion of z in z 8.454 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.454 * [taylor]: Taking taylor expansion of y in z 8.455 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 8.455 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 8.455 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.455 * [taylor]: Taking taylor expansion of y in y 8.455 * [taylor]: Taking taylor expansion of x in y 8.455 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 8.455 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.455 * [taylor]: Taking taylor expansion of z in y 8.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.455 * [taylor]: Taking taylor expansion of y in y 8.455 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 8.455 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.455 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.455 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.455 * [taylor]: Taking taylor expansion of y in x 8.455 * [taylor]: Taking taylor expansion of x in x 8.455 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 8.455 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.455 * [taylor]: Taking taylor expansion of z in x 8.455 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.456 * [taylor]: Taking taylor expansion of y in x 8.456 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 8.456 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 8.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.456 * [taylor]: Taking taylor expansion of y in x 8.456 * [taylor]: Taking taylor expansion of x in x 8.456 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 8.456 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.456 * [taylor]: Taking taylor expansion of z in x 8.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.456 * [taylor]: Taking taylor expansion of y in x 8.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.456 * [taylor]: Taking taylor expansion of y in y 8.456 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 y))) in y 8.456 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 8.457 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.457 * [taylor]: Taking taylor expansion of z in y 8.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.457 * [taylor]: Taking taylor expansion of y in y 8.457 * [taylor]: Taking taylor expansion of (neg 1) in z 8.457 * [taylor]: Taking taylor expansion of 1 in z 8.457 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 8.457 * [taylor]: Taking taylor expansion of (log 1) in z 8.457 * [taylor]: Taking taylor expansion of 1 in z 8.457 * [taylor]: Taking taylor expansion of (log y) in z 8.457 * [taylor]: Taking taylor expansion of y in z 8.457 * [taylor]: Taking taylor expansion of 0 in y 8.457 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 8.457 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.457 * [taylor]: Taking taylor expansion of z in z 8.458 * [taylor]: Taking taylor expansion of 0 in z 8.458 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 8.458 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 8.458 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 8.458 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.458 * [taylor]: Taking taylor expansion of z in z 8.458 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.458 * [taylor]: Taking taylor expansion of y in z 8.458 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 8.458 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 8.458 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.458 * [taylor]: Taking taylor expansion of -1 in z 8.458 * [taylor]: Taking taylor expansion of y in z 8.459 * [taylor]: Taking taylor expansion of x in z 8.459 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 8.459 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 8.459 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.459 * [taylor]: Taking taylor expansion of z in y 8.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.459 * [taylor]: Taking taylor expansion of y in y 8.459 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 8.459 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.459 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.459 * [taylor]: Taking taylor expansion of -1 in y 8.459 * [taylor]: Taking taylor expansion of y in y 8.459 * [taylor]: Taking taylor expansion of x in y 8.459 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 8.459 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 8.459 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.459 * [taylor]: Taking taylor expansion of z in x 8.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.459 * [taylor]: Taking taylor expansion of y in x 8.459 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.459 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.459 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.459 * [taylor]: Taking taylor expansion of -1 in x 8.459 * [taylor]: Taking taylor expansion of y in x 8.459 * [taylor]: Taking taylor expansion of x in x 8.459 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 8.459 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 8.459 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.459 * [taylor]: Taking taylor expansion of z in x 8.459 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.459 * [taylor]: Taking taylor expansion of y in x 8.460 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 8.460 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 8.460 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.460 * [taylor]: Taking taylor expansion of -1 in x 8.460 * [taylor]: Taking taylor expansion of y in x 8.460 * [taylor]: Taking taylor expansion of x in x 8.460 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 8.460 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 8.460 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.460 * [taylor]: Taking taylor expansion of -1 in y 8.460 * [taylor]: Taking taylor expansion of y in y 8.460 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 8.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.460 * [taylor]: Taking taylor expansion of y in y 8.460 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.461 * [taylor]: Taking taylor expansion of z in y 8.461 * [taylor]: Taking taylor expansion of 1 in z 8.461 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 8.461 * [taylor]: Taking taylor expansion of (log y) in z 8.461 * [taylor]: Taking taylor expansion of y in z 8.461 * [taylor]: Taking taylor expansion of (log -1) in z 8.461 * [taylor]: Taking taylor expansion of -1 in z 8.461 * [taylor]: Taking taylor expansion of 0 in y 8.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.461 * [taylor]: Taking taylor expansion of z in z 8.462 * [taylor]: Taking taylor expansion of 0 in z 8.462 * * * [progress]: simplifying candidates 8.463 * [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))) 8.465 * * [simplify]: iteration 0 : 102 enodes (cost 490 ) 8.479 * * [simplify]: iteration 1 : 231 enodes (cost 462 ) 8.517 * * [simplify]: iteration 2 : 554 enodes (cost 415 ) 8.630 * * [simplify]: iteration 3 : 1655 enodes (cost 405 ) 8.994 * * [simplify]: iteration done : 5000 enodes (cost 401 ) 8.994 * [simplify]: Simplified to: (* (log y) x) (+ (log x) (log (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 (* (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)) (- (* (log y) x) z) (- (* x (log (cbrt y))) (+ z y)) (- (* (log (sqrt y)) x) (+ z y)) (- (* (log y) x) (+ z y)) (- (* x (log (cbrt y))) (+ z y)) (- (* (log (sqrt y)) x) (+ z y)) (- (* (log y) x) (+ z y)) (neg (+ z y)) (* (log y) x) (* (log y) x) (* (log y) x) (- (* (log y) x) (+ z y)) (- (* (log y) x) (+ z y)) (- (* (log y) x) (+ z y)) 8.995 * * * [progress]: adding candidates to table 9.038 * * [progress]: iteration 3 / 4 9.038 * * * [progress]: picking best candidate 9.061 * * * * [pick]: Picked # 9.061 * * * [progress]: localizing error 9.070 * * * [progress]: generating rewritten candidates 9.070 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 9.077 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 9.083 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 9.091 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 9.097 * * * [progress]: generating series expansions 9.097 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 9.097 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 9.097 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 9.097 * [taylor]: Taking taylor expansion of x in y 9.097 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.097 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.097 * [taylor]: Taking taylor expansion of y in y 9.097 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 9.097 * [taylor]: Taking taylor expansion of x in x 9.097 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 9.097 * [taylor]: Taking taylor expansion of (sqrt y) in x 9.097 * [taylor]: Taking taylor expansion of y in x 9.097 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 9.097 * [taylor]: Taking taylor expansion of x in x 9.097 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 9.097 * [taylor]: Taking taylor expansion of (sqrt y) in x 9.097 * [taylor]: Taking taylor expansion of y in x 9.097 * [taylor]: Taking taylor expansion of 0 in y 9.097 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.098 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.098 * [taylor]: Taking taylor expansion of y in y 9.098 * [taylor]: Taking taylor expansion of 0 in y 9.099 * [taylor]: Taking taylor expansion of 0 in y 9.100 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 9.101 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 9.101 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.101 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.101 * [taylor]: Taking taylor expansion of y in y 9.101 * [taylor]: Taking taylor expansion of x in y 9.101 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 9.101 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 9.101 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 9.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.101 * [taylor]: Taking taylor expansion of y in x 9.101 * [taylor]: Taking taylor expansion of x in x 9.101 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 9.101 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 9.101 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 9.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.101 * [taylor]: Taking taylor expansion of y in x 9.101 * [taylor]: Taking taylor expansion of x in x 9.101 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.101 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.102 * [taylor]: Taking taylor expansion of y in y 9.102 * [taylor]: Taking taylor expansion of 0 in y 9.103 * [taylor]: Taking taylor expansion of 0 in y 9.104 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 9.104 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 9.104 * [taylor]: Taking taylor expansion of -1 in y 9.104 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 9.104 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.104 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.104 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.104 * [taylor]: Taking taylor expansion of -1 in y 9.104 * [taylor]: Taking taylor expansion of y in y 9.104 * [taylor]: Taking taylor expansion of x in y 9.104 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 9.104 * [taylor]: Taking taylor expansion of -1 in x 9.104 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 9.104 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 9.104 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 9.104 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.104 * [taylor]: Taking taylor expansion of -1 in x 9.104 * [taylor]: Taking taylor expansion of y in x 9.105 * [taylor]: Taking taylor expansion of x in x 9.105 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 9.105 * [taylor]: Taking taylor expansion of -1 in x 9.105 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 9.105 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 9.105 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 9.105 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.105 * [taylor]: Taking taylor expansion of -1 in x 9.105 * [taylor]: Taking taylor expansion of y in x 9.105 * [taylor]: Taking taylor expansion of x in x 9.105 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 9.105 * [taylor]: Taking taylor expansion of -1 in y 9.105 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.105 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.105 * [taylor]: Taking taylor expansion of -1 in y 9.105 * [taylor]: Taking taylor expansion of y in y 9.105 * [taylor]: Taking taylor expansion of 0 in y 9.107 * [taylor]: Taking taylor expansion of 0 in y 9.108 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 9.108 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 9.108 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 9.108 * [taylor]: Taking taylor expansion of x in y 9.108 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.108 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.108 * [taylor]: Taking taylor expansion of y in y 9.108 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 9.108 * [taylor]: Taking taylor expansion of x in x 9.108 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 9.108 * [taylor]: Taking taylor expansion of (sqrt y) in x 9.108 * [taylor]: Taking taylor expansion of y in x 9.108 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 9.108 * [taylor]: Taking taylor expansion of x in x 9.108 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 9.108 * [taylor]: Taking taylor expansion of (sqrt y) in x 9.108 * [taylor]: Taking taylor expansion of y in x 9.109 * [taylor]: Taking taylor expansion of 0 in y 9.109 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.109 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.109 * [taylor]: Taking taylor expansion of y in y 9.109 * [taylor]: Taking taylor expansion of 0 in y 9.110 * [taylor]: Taking taylor expansion of 0 in y 9.111 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 9.111 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 9.111 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.111 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.111 * [taylor]: Taking taylor expansion of y in y 9.111 * [taylor]: Taking taylor expansion of x in y 9.111 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 9.111 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 9.111 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 9.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.111 * [taylor]: Taking taylor expansion of y in x 9.112 * [taylor]: Taking taylor expansion of x in x 9.112 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 9.112 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 9.112 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 9.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.112 * [taylor]: Taking taylor expansion of y in x 9.112 * [taylor]: Taking taylor expansion of x in x 9.112 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.112 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.112 * [taylor]: Taking taylor expansion of y in y 9.112 * [taylor]: Taking taylor expansion of 0 in y 9.113 * [taylor]: Taking taylor expansion of 0 in y 9.114 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 9.114 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 9.114 * [taylor]: Taking taylor expansion of -1 in y 9.114 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 9.114 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.114 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.114 * [taylor]: Taking taylor expansion of -1 in y 9.114 * [taylor]: Taking taylor expansion of y in y 9.115 * [taylor]: Taking taylor expansion of x in y 9.115 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 9.115 * [taylor]: Taking taylor expansion of -1 in x 9.115 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 9.115 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 9.115 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 9.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.115 * [taylor]: Taking taylor expansion of -1 in x 9.115 * [taylor]: Taking taylor expansion of y in x 9.115 * [taylor]: Taking taylor expansion of x in x 9.115 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 9.115 * [taylor]: Taking taylor expansion of -1 in x 9.115 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 9.115 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 9.115 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 9.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.115 * [taylor]: Taking taylor expansion of -1 in x 9.115 * [taylor]: Taking taylor expansion of y in x 9.115 * [taylor]: Taking taylor expansion of x in x 9.115 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 9.115 * [taylor]: Taking taylor expansion of -1 in y 9.115 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.115 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.115 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.116 * [taylor]: Taking taylor expansion of -1 in y 9.116 * [taylor]: Taking taylor expansion of y in y 9.116 * [taylor]: Taking taylor expansion of 0 in y 9.117 * [taylor]: Taking taylor expansion of 0 in y 9.118 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 9.118 * [approximate]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in (x y z) around 0 9.118 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in z 9.118 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in z 9.119 * [taylor]: Taking taylor expansion of 2 in z 9.119 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 9.119 * [taylor]: Taking taylor expansion of x in z 9.119 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 9.119 * [taylor]: Taking taylor expansion of (sqrt y) in z 9.119 * [taylor]: Taking taylor expansion of y in z 9.119 * [taylor]: Taking taylor expansion of z in z 9.119 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in y 9.119 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in y 9.119 * [taylor]: Taking taylor expansion of 2 in y 9.119 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 9.119 * [taylor]: Taking taylor expansion of x in y 9.119 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.119 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.119 * [taylor]: Taking taylor expansion of y in y 9.119 * [taylor]: Taking taylor expansion of z in y 9.119 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x 9.119 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 9.119 * [taylor]: Taking taylor expansion of 2 in x 9.119 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 9.119 * [taylor]: Taking taylor expansion of x in x 9.119 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 9.119 * [taylor]: Taking taylor expansion of (sqrt y) in x 9.119 * [taylor]: Taking taylor expansion of y in x 9.119 * [taylor]: Taking taylor expansion of z in x 9.119 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x 9.119 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 9.119 * [taylor]: Taking taylor expansion of 2 in x 9.119 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 9.119 * [taylor]: Taking taylor expansion of x in x 9.119 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 9.119 * [taylor]: Taking taylor expansion of (sqrt y) in x 9.119 * [taylor]: Taking taylor expansion of y in x 9.119 * [taylor]: Taking taylor expansion of z in x 9.119 * [taylor]: Taking taylor expansion of (neg z) in y 9.120 * [taylor]: Taking taylor expansion of z in y 9.120 * [taylor]: Taking taylor expansion of (neg z) in z 9.120 * [taylor]: Taking taylor expansion of z in z 9.120 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt y))) in y 9.120 * [taylor]: Taking taylor expansion of 2 in y 9.120 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.120 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.120 * [taylor]: Taking taylor expansion of y in y 9.120 * [taylor]: Taking taylor expansion of (* 2 (+ (log NAN) (log y))) in z 9.120 * [taylor]: Taking taylor expansion of 2 in z 9.120 * [taylor]: Taking taylor expansion of (+ (log NAN) (log y)) in z 9.120 * [taylor]: Taking taylor expansion of (log NAN) in z 9.120 * [taylor]: Taking taylor expansion of NAN in z 9.120 * [taylor]: Taking taylor expansion of (log y) in z 9.120 * [taylor]: Taking taylor expansion of y in z 9.120 * [taylor]: Taking taylor expansion of 0 in z 9.121 * [taylor]: Taking taylor expansion of 0 in y 9.121 * [taylor]: Taking taylor expansion of 0 in z 9.121 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 9.121 * [taylor]: Taking taylor expansion of 2 in z 9.121 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 9.121 * [taylor]: Taking taylor expansion of NAN in z 9.122 * [approximate]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in (x y z) around 0 9.122 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in z 9.122 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in z 9.122 * [taylor]: Taking taylor expansion of 2 in z 9.122 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 9.122 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 9.122 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 9.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.122 * [taylor]: Taking taylor expansion of y in z 9.122 * [taylor]: Taking taylor expansion of x in z 9.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.122 * [taylor]: Taking taylor expansion of z in z 9.122 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in y 9.122 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in y 9.122 * [taylor]: Taking taylor expansion of 2 in y 9.122 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 9.122 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.123 * [taylor]: Taking taylor expansion of y in y 9.123 * [taylor]: Taking taylor expansion of x in y 9.123 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.123 * [taylor]: Taking taylor expansion of z in y 9.123 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x 9.123 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 9.123 * [taylor]: Taking taylor expansion of 2 in x 9.123 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 9.123 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 9.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 9.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.123 * [taylor]: Taking taylor expansion of y in x 9.123 * [taylor]: Taking taylor expansion of x in x 9.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.123 * [taylor]: Taking taylor expansion of z in x 9.123 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x 9.123 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 9.123 * [taylor]: Taking taylor expansion of 2 in x 9.123 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 9.123 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 9.123 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 9.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.123 * [taylor]: Taking taylor expansion of y in x 9.123 * [taylor]: Taking taylor expansion of x in x 9.124 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.124 * [taylor]: Taking taylor expansion of z in x 9.124 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 y)))) in y 9.124 * [taylor]: Taking taylor expansion of 2 in y 9.124 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.124 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.124 * [taylor]: Taking taylor expansion of y in y 9.124 * [taylor]: Taking taylor expansion of (* 2 (log NAN)) in z 9.124 * [taylor]: Taking taylor expansion of 2 in z 9.124 * [taylor]: Taking taylor expansion of (log NAN) in z 9.124 * [taylor]: Taking taylor expansion of NAN in z 9.124 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 9.124 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.124 * [taylor]: Taking taylor expansion of z in y 9.124 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 9.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.124 * [taylor]: Taking taylor expansion of z in z 9.125 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 9.125 * [taylor]: Taking taylor expansion of 2 in z 9.125 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 9.125 * [taylor]: Taking taylor expansion of NAN in z 9.126 * [taylor]: Taking taylor expansion of 0 in y 9.126 * [taylor]: Taking taylor expansion of 0 in z 9.126 * [taylor]: Taking taylor expansion of 0 in z 9.126 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 9.126 * [taylor]: Taking taylor expansion of NAN in z 9.127 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in (x y z) around 0 9.127 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in z 9.127 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.127 * [taylor]: Taking taylor expansion of z in z 9.127 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in z 9.127 * [taylor]: Taking taylor expansion of 2 in z 9.127 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 9.127 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 9.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 9.127 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.127 * [taylor]: Taking taylor expansion of -1 in z 9.127 * [taylor]: Taking taylor expansion of y in z 9.128 * [taylor]: Taking taylor expansion of x in z 9.128 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in y 9.128 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.128 * [taylor]: Taking taylor expansion of z in y 9.128 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in y 9.128 * [taylor]: Taking taylor expansion of 2 in y 9.128 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 9.128 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.128 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.128 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.128 * [taylor]: Taking taylor expansion of -1 in y 9.128 * [taylor]: Taking taylor expansion of y in y 9.128 * [taylor]: Taking taylor expansion of x in y 9.128 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 9.128 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.128 * [taylor]: Taking taylor expansion of z in x 9.128 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 9.128 * [taylor]: Taking taylor expansion of 2 in x 9.128 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 9.128 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 9.128 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 9.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.128 * [taylor]: Taking taylor expansion of -1 in x 9.128 * [taylor]: Taking taylor expansion of y in x 9.128 * [taylor]: Taking taylor expansion of x in x 9.128 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 9.128 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.128 * [taylor]: Taking taylor expansion of z in x 9.128 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 9.128 * [taylor]: Taking taylor expansion of 2 in x 9.129 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 9.129 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 9.129 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 9.129 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.129 * [taylor]: Taking taylor expansion of -1 in x 9.129 * [taylor]: Taking taylor expansion of y in x 9.129 * [taylor]: Taking taylor expansion of x in x 9.129 * [taylor]: Taking taylor expansion of (neg (* 2 (log (sqrt (/ -1 y))))) in y 9.129 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 y)))) in y 9.129 * [taylor]: Taking taylor expansion of 2 in y 9.129 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.129 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.129 * [taylor]: Taking taylor expansion of -1 in y 9.129 * [taylor]: Taking taylor expansion of y in y 9.129 * [taylor]: Taking taylor expansion of (neg (* 2 (log NAN))) in z 9.129 * [taylor]: Taking taylor expansion of (* 2 (log NAN)) in z 9.129 * [taylor]: Taking taylor expansion of 2 in z 9.129 * [taylor]: Taking taylor expansion of (log NAN) in z 9.129 * [taylor]: Taking taylor expansion of NAN in z 9.130 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.130 * [taylor]: Taking taylor expansion of z in y 9.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.130 * [taylor]: Taking taylor expansion of z in z 9.130 * [taylor]: Taking taylor expansion of (neg (* 2 (pow NAN 2))) in z 9.130 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 9.130 * [taylor]: Taking taylor expansion of 2 in z 9.130 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 9.130 * [taylor]: Taking taylor expansion of NAN in z 9.131 * [taylor]: Taking taylor expansion of 0 in y 9.131 * [taylor]: Taking taylor expansion of 0 in z 9.131 * [taylor]: Taking taylor expansion of 0 in z 9.132 * [taylor]: Taking taylor expansion of (neg (pow NAN 4)) in z 9.132 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 9.132 * [taylor]: Taking taylor expansion of NAN in z 9.133 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 9.133 * [approximate]: Taking taylor expansion of (log (sqrt y)) in (y) around 0 9.133 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.133 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.133 * [taylor]: Taking taylor expansion of y in y 9.133 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 9.133 * [taylor]: Taking taylor expansion of (sqrt y) in y 9.133 * [taylor]: Taking taylor expansion of y in y 9.134 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 y))) in (y) around 0 9.134 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.134 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.134 * [taylor]: Taking taylor expansion of y in y 9.134 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 9.134 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 9.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.134 * [taylor]: Taking taylor expansion of y in y 9.136 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 y))) in (y) around 0 9.136 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.136 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.136 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.136 * [taylor]: Taking taylor expansion of -1 in y 9.136 * [taylor]: Taking taylor expansion of y in y 9.136 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 9.136 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 9.136 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.136 * [taylor]: Taking taylor expansion of -1 in y 9.136 * [taylor]: Taking taylor expansion of y in y 9.137 * * * [progress]: simplifying candidates 9.139 * [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)) 9.144 * * [simplify]: iteration 0 : 148 enodes (cost 1290 ) 9.169 * * [simplify]: iteration 1 : 325 enodes (cost 1155 ) 9.223 * * [simplify]: iteration 2 : 865 enodes (cost 1046 ) 9.408 * * [simplify]: iteration 3 : 2538 enodes (cost 1020 ) 9.977 * * [simplify]: iteration done : 5000 enodes (cost 1020 ) 9.978 * [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))) (* x 1/2) x (* x 1/2) (* 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))) (* x 1/2) x (* x 1/2) (* 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 (* 2 (* (log (sqrt y)) x))) (* 2 (* (log (sqrt y)) x))) (* z z)) (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 (+ (* (* 1/2 (pow NAN 4)) y) (pow NAN 2))) (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 (+ (* (* 1/2 (pow NAN 4)) y) (pow NAN 2))) (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 (+ (log NAN) (+ (* (pow NAN 2) y) (log y)))) 2) z) (- (* 2 (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) z) (- (* 2 (- (* (log NAN) x) (/ (* x (pow NAN 2)) y))) z) (+ (log y) (+ (* y (+ (* (* 1/2 (pow NAN 4)) y) (pow NAN 2))) (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)) 9.978 * * * [progress]: adding candidates to table 10.080 * * [progress]: iteration 4 / 4 10.080 * * * [progress]: picking best candidate 10.106 * * * * [pick]: Picked # 10.106 * * * [progress]: localizing error 10.119 * * * [progress]: generating rewritten candidates 10.119 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 10.120 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 10.122 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 10.130 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 10.138 * * * [progress]: generating series expansions 10.138 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 10.139 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 10.139 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.139 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.139 * [taylor]: Taking taylor expansion of 1/3 in y 10.139 * [taylor]: Taking taylor expansion of (log y) in y 10.139 * [taylor]: Taking taylor expansion of y in y 10.139 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.139 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.139 * [taylor]: Taking taylor expansion of 1/3 in y 10.139 * [taylor]: Taking taylor expansion of (log y) in y 10.139 * [taylor]: Taking taylor expansion of y in y 10.147 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 10.147 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.147 * [taylor]: Taking taylor expansion of 1/3 in y 10.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.147 * [taylor]: Taking taylor expansion of y in y 10.147 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.147 * [taylor]: Taking taylor expansion of 1/3 in y 10.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.147 * [taylor]: Taking taylor expansion of y in y 10.154 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 10.154 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.154 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.154 * [taylor]: Taking taylor expansion of 1/3 in y 10.154 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.154 * [taylor]: Taking taylor expansion of y in y 10.155 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.155 * [taylor]: Taking taylor expansion of -1 in y 10.155 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.155 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.155 * [taylor]: Taking taylor expansion of 1/3 in y 10.155 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.155 * [taylor]: Taking taylor expansion of y in y 10.155 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.155 * [taylor]: Taking taylor expansion of -1 in y 10.164 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 10.164 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 10.164 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.164 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.164 * [taylor]: Taking taylor expansion of 1/3 in y 10.164 * [taylor]: Taking taylor expansion of (log y) in y 10.164 * [taylor]: Taking taylor expansion of y in y 10.165 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.165 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.165 * [taylor]: Taking taylor expansion of 1/3 in y 10.165 * [taylor]: Taking taylor expansion of (log y) in y 10.165 * [taylor]: Taking taylor expansion of y in y 10.172 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 10.172 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.172 * [taylor]: Taking taylor expansion of 1/3 in y 10.172 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.172 * [taylor]: Taking taylor expansion of y in y 10.172 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.172 * [taylor]: Taking taylor expansion of 1/3 in y 10.172 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.172 * [taylor]: Taking taylor expansion of y in y 10.179 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 10.179 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.179 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.179 * [taylor]: Taking taylor expansion of 1/3 in y 10.179 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.179 * [taylor]: Taking taylor expansion of y in y 10.180 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.180 * [taylor]: Taking taylor expansion of -1 in y 10.180 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.180 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.180 * [taylor]: Taking taylor expansion of 1/3 in y 10.180 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.180 * [taylor]: Taking taylor expansion of y in y 10.180 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.180 * [taylor]: Taking taylor expansion of -1 in y 10.189 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 10.189 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 10.189 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 10.189 * [taylor]: Taking taylor expansion of 3 in x 10.189 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 10.189 * [taylor]: Taking taylor expansion of x in x 10.189 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 10.189 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 10.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 10.189 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 10.189 * [taylor]: Taking taylor expansion of 1/3 in x 10.189 * [taylor]: Taking taylor expansion of (log y) in x 10.189 * [taylor]: Taking taylor expansion of y in x 10.189 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 10.189 * [taylor]: Taking taylor expansion of 3 in y 10.189 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 10.189 * [taylor]: Taking taylor expansion of x in y 10.189 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.189 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.189 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.189 * [taylor]: Taking taylor expansion of 1/3 in y 10.189 * [taylor]: Taking taylor expansion of (log y) in y 10.189 * [taylor]: Taking taylor expansion of y in y 10.190 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 10.190 * [taylor]: Taking taylor expansion of 3 in y 10.190 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 10.190 * [taylor]: Taking taylor expansion of x in y 10.190 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.190 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.190 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.190 * [taylor]: Taking taylor expansion of 1/3 in y 10.190 * [taylor]: Taking taylor expansion of (log y) in y 10.190 * [taylor]: Taking taylor expansion of y in y 10.190 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 10.190 * [taylor]: Taking taylor expansion of x in x 10.190 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 10.190 * [taylor]: Taking taylor expansion of (log y) in x 10.190 * [taylor]: Taking taylor expansion of y in x 10.190 * [taylor]: Taking taylor expansion of (log 1) in x 10.190 * [taylor]: Taking taylor expansion of 1 in x 10.191 * [taylor]: Taking taylor expansion of 0 in x 10.192 * [taylor]: Taking taylor expansion of 0 in x 10.194 * [taylor]: Taking taylor expansion of 0 in x 10.194 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 10.194 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 10.194 * [taylor]: Taking taylor expansion of 3 in x 10.194 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 10.194 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 10.194 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 10.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 10.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 10.194 * [taylor]: Taking taylor expansion of 1/3 in x 10.194 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.194 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.195 * [taylor]: Taking taylor expansion of y in x 10.195 * [taylor]: Taking taylor expansion of x in x 10.195 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 10.195 * [taylor]: Taking taylor expansion of 3 in y 10.195 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 10.195 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.195 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.195 * [taylor]: Taking taylor expansion of 1/3 in y 10.195 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.195 * [taylor]: Taking taylor expansion of y in y 10.195 * [taylor]: Taking taylor expansion of x in y 10.195 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 10.195 * [taylor]: Taking taylor expansion of 3 in y 10.195 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 10.195 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.195 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.195 * [taylor]: Taking taylor expansion of 1/3 in y 10.195 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.196 * [taylor]: Taking taylor expansion of y in y 10.196 * [taylor]: Taking taylor expansion of x in y 10.196 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 10.196 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 10.196 * [taylor]: Taking taylor expansion of (log 1) in x 10.196 * [taylor]: Taking taylor expansion of 1 in x 10.196 * [taylor]: Taking taylor expansion of (log y) in x 10.196 * [taylor]: Taking taylor expansion of y in x 10.196 * [taylor]: Taking taylor expansion of x in x 10.197 * [taylor]: Taking taylor expansion of 0 in x 10.198 * [taylor]: Taking taylor expansion of 0 in x 10.200 * [taylor]: Taking taylor expansion of 0 in x 10.202 * [approximate]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in (y x) around 0 10.202 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in x 10.202 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 10.202 * [taylor]: Taking taylor expansion of 3 in x 10.202 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 10.202 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 10.202 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 10.202 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 10.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 10.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 10.202 * [taylor]: Taking taylor expansion of 1/3 in x 10.202 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.202 * [taylor]: Taking taylor expansion of y in x 10.202 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.202 * [taylor]: Taking taylor expansion of -1 in x 10.202 * [taylor]: Taking taylor expansion of x in x 10.203 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in y 10.203 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 10.203 * [taylor]: Taking taylor expansion of 3 in y 10.203 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 10.203 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 10.203 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.203 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.203 * [taylor]: Taking taylor expansion of 1/3 in y 10.203 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.203 * [taylor]: Taking taylor expansion of y in y 10.203 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.203 * [taylor]: Taking taylor expansion of -1 in y 10.203 * [taylor]: Taking taylor expansion of x in y 10.203 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in y 10.204 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 10.204 * [taylor]: Taking taylor expansion of 3 in y 10.204 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 10.204 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 10.204 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.204 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.204 * [taylor]: Taking taylor expansion of 1/3 in y 10.204 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.204 * [taylor]: Taking taylor expansion of y in y 10.204 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.204 * [taylor]: Taking taylor expansion of -1 in y 10.209 * [taylor]: Taking taylor expansion of x in y 10.210 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x))) in x 10.210 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x)) in x 10.210 * [taylor]: Taking taylor expansion of 3 in x 10.210 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x) in x 10.210 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) in x 10.210 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y))))) in x 10.210 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.210 * [taylor]: Taking taylor expansion of -1 in x 10.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 10.210 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 10.210 * [taylor]: Taking taylor expansion of 1/3 in x 10.210 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 10.210 * [taylor]: Taking taylor expansion of (log 1) in x 10.210 * [taylor]: Taking taylor expansion of 1 in x 10.210 * [taylor]: Taking taylor expansion of (log y) in x 10.210 * [taylor]: Taking taylor expansion of y in x 10.211 * [taylor]: Taking taylor expansion of x in x 10.212 * [taylor]: Taking taylor expansion of 0 in x 10.215 * [taylor]: Taking taylor expansion of 0 in x 10.218 * [taylor]: Taking taylor expansion of 0 in x 10.221 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 10.221 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 10.221 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 10.221 * [taylor]: Taking taylor expansion of 2 in x 10.221 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 10.221 * [taylor]: Taking taylor expansion of x in x 10.221 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 10.221 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 10.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 10.221 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 10.221 * [taylor]: Taking taylor expansion of 1/3 in x 10.221 * [taylor]: Taking taylor expansion of (log y) in x 10.221 * [taylor]: Taking taylor expansion of y in x 10.221 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 10.221 * [taylor]: Taking taylor expansion of 2 in y 10.221 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 10.221 * [taylor]: Taking taylor expansion of x in y 10.221 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.221 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.222 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.222 * [taylor]: Taking taylor expansion of 1/3 in y 10.222 * [taylor]: Taking taylor expansion of (log y) in y 10.222 * [taylor]: Taking taylor expansion of y in y 10.222 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 10.222 * [taylor]: Taking taylor expansion of 2 in y 10.222 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 10.222 * [taylor]: Taking taylor expansion of x in y 10.222 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 10.222 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 10.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 10.222 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 10.222 * [taylor]: Taking taylor expansion of 1/3 in y 10.222 * [taylor]: Taking taylor expansion of (log y) in y 10.222 * [taylor]: Taking taylor expansion of y in y 10.222 * [taylor]: Taking taylor expansion of (* 2/3 (* x (+ (log y) (log 1)))) in x 10.222 * [taylor]: Taking taylor expansion of 2/3 in x 10.222 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 10.222 * [taylor]: Taking taylor expansion of x in x 10.222 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 10.222 * [taylor]: Taking taylor expansion of (log y) in x 10.222 * [taylor]: Taking taylor expansion of y in x 10.223 * [taylor]: Taking taylor expansion of (log 1) in x 10.223 * [taylor]: Taking taylor expansion of 1 in x 10.223 * [taylor]: Taking taylor expansion of 0 in x 10.225 * [taylor]: Taking taylor expansion of 0 in x 10.227 * [taylor]: Taking taylor expansion of 0 in x 10.227 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 10.227 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 10.227 * [taylor]: Taking taylor expansion of 2 in x 10.227 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 10.227 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 10.227 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 10.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 10.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 10.227 * [taylor]: Taking taylor expansion of 1/3 in x 10.227 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.227 * [taylor]: Taking taylor expansion of y in x 10.227 * [taylor]: Taking taylor expansion of x in x 10.228 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 10.228 * [taylor]: Taking taylor expansion of 2 in y 10.228 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 10.228 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.228 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.228 * [taylor]: Taking taylor expansion of 1/3 in y 10.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.228 * [taylor]: Taking taylor expansion of y in y 10.228 * [taylor]: Taking taylor expansion of x in y 10.228 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 10.228 * [taylor]: Taking taylor expansion of 2 in y 10.228 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 10.228 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 10.228 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.228 * [taylor]: Taking taylor expansion of 1/3 in y 10.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.228 * [taylor]: Taking taylor expansion of y in y 10.229 * [taylor]: Taking taylor expansion of x in y 10.229 * [taylor]: Taking taylor expansion of (* 2/3 (/ (- (log 1) (log y)) x)) in x 10.229 * [taylor]: Taking taylor expansion of 2/3 in x 10.229 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 10.229 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 10.229 * [taylor]: Taking taylor expansion of (log 1) in x 10.229 * [taylor]: Taking taylor expansion of 1 in x 10.229 * [taylor]: Taking taylor expansion of (log y) in x 10.229 * [taylor]: Taking taylor expansion of y in x 10.229 * [taylor]: Taking taylor expansion of x in x 10.230 * [taylor]: Taking taylor expansion of 0 in x 10.231 * [taylor]: Taking taylor expansion of 0 in x 10.233 * [taylor]: Taking taylor expansion of 0 in x 10.234 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in (y x) around 0 10.234 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 10.234 * [taylor]: Taking taylor expansion of -2 in x 10.234 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 10.234 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 10.234 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 10.234 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 10.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 10.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 10.234 * [taylor]: Taking taylor expansion of 1/3 in x 10.234 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 10.234 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.234 * [taylor]: Taking taylor expansion of y in x 10.235 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.235 * [taylor]: Taking taylor expansion of -1 in x 10.235 * [taylor]: Taking taylor expansion of x in x 10.235 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 10.235 * [taylor]: Taking taylor expansion of -2 in y 10.235 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 10.235 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 10.235 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.235 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.235 * [taylor]: Taking taylor expansion of 1/3 in y 10.235 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.235 * [taylor]: Taking taylor expansion of y in y 10.235 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.235 * [taylor]: Taking taylor expansion of -1 in y 10.236 * [taylor]: Taking taylor expansion of x in y 10.236 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 10.236 * [taylor]: Taking taylor expansion of -2 in y 10.236 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 10.236 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 10.236 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 10.236 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 10.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 10.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 10.236 * [taylor]: Taking taylor expansion of 1/3 in y 10.236 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 10.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.236 * [taylor]: Taking taylor expansion of y in y 10.236 * [taylor]: Taking taylor expansion of (cbrt -1) in y 10.236 * [taylor]: Taking taylor expansion of -1 in y 10.237 * [taylor]: Taking taylor expansion of x in y 10.237 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x)) in x 10.237 * [taylor]: Taking taylor expansion of -2 in x 10.237 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x) in x 10.237 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) in x 10.237 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y))))) in x 10.237 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.237 * [taylor]: Taking taylor expansion of -1 in x 10.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 10.237 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 10.237 * [taylor]: Taking taylor expansion of 1/3 in x 10.237 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 10.237 * [taylor]: Taking taylor expansion of (log 1) in x 10.237 * [taylor]: Taking taylor expansion of 1 in x 10.237 * [taylor]: Taking taylor expansion of (log y) in x 10.237 * [taylor]: Taking taylor expansion of y in x 10.238 * [taylor]: Taking taylor expansion of x in x 10.239 * [taylor]: Taking taylor expansion of 0 in x 10.242 * [taylor]: Taking taylor expansion of 0 in x 10.245 * [taylor]: Taking taylor expansion of 0 in x 10.248 * * * [progress]: simplifying candidates 10.249 * [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))))) 10.253 * * [simplify]: iteration 0 : 131 enodes (cost 853 ) 10.272 * * [simplify]: iteration 1 : 318 enodes (cost 773 ) 10.333 * * [simplify]: iteration 2 : 984 enodes (cost 613 ) 10.896 * * [simplify]: iteration 3 : 3705 enodes (cost 557 ) 11.775 * * [simplify]: iteration done : 5000 enodes (cost 539 ) 11.776 * [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)) (* 3 (* (log (cbrt y)) (* x (* x (log (cbrt y)))))) (* 3 (* (log (cbrt y)) (* x (* x (log (cbrt y)))))) (* 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) (* x (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y)))))) (* 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) (* x (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y)))))) (* 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 (* (log (cbrt y)) x) 3) 8) (* (pow (* (log (cbrt y)) x) 3) 8) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (* (pow (* (log (cbrt y)) x) 3) 8) (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))) (* (log (cbrt y)) x) (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)) (* 1/3 (log (/ -1 y)))) (* 3 x)) (* (* 2/3 (log y)) x) (* (* 2/3 (log y)) x) (* (* (- (log (cbrt -1)) (* 1/3 (log (/ -1 y)))) x) 2) 11.776 * * * [progress]: adding candidates to table 11.862 * [progress]: [Phase 3 of 3] Extracting. 11.862 * * [regime]: Finding splitpoints for: (# # # # # #) 11.863 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 11.863 * * * * [regimes]: Trying to branch on z from (# # # # # #) 11.923 * * * * [regimes]: Trying to branch on y from (# # # # # #) 11.982 * * * * [regimes]: Trying to branch on x from (# # # # # #) 12.041 * * * [regime]: Found split indices: #