13.510 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying using # : (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))) 0.039 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 0.040 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 0.043 * * [simplify]: iteration 2 : 46 enodes (cost 12 ) 0.050 * * [simplify]: iteration 3 : 84 enodes (cost 12 ) 0.068 * * [simplify]: iteration 4 : 145 enodes (cost 12 ) 0.091 * * [simplify]: iteration 5 : 184 enodes (cost 12 ) 0.126 * * [simplify]: iteration 6 : 237 enodes (cost 12 ) 0.177 * * [simplify]: iteration 7 : 346 enodes (cost 12 ) 0.302 * * [simplify]: iteration 8 : 540 enodes (cost 12 ) 0.443 * * [simplify]: iteration 9 : 704 enodes (cost 12 ) 0.596 * * [simplify]: iteration 10 : 745 enodes (cost 12 ) 0.761 * * [simplify]: iteration 11 : 746 enodes (cost 12 ) 0.925 * * [simplify]: iteration done : 746 enodes (cost 12 ) 0.926 * [simplify]: Simplified to: (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))) 0.926 * * [progress]: iteration 1 / 4 0.926 * * * [progress]: picking best candidate 0.928 * * * * [pick]: Picked # 0.928 * * * [progress]: localizing error 0.939 * * * [progress]: generating rewritten candidates 0.939 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.982 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.991 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1.007 * * * [progress]: generating series expansions 1.007 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.007 * [approximate]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in (y z) around 0 1.007 * [taylor]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in z 1.007 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 1.007 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 1.007 * [taylor]: Taking taylor expansion of (log z) in z 1.007 * [taylor]: Taking taylor expansion of z in z 1.008 * [taylor]: Taking taylor expansion of 1.0 in z 1.008 * [taylor]: Taking taylor expansion of z in z 1.008 * [taylor]: Taking taylor expansion of y in z 1.008 * [taylor]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in y 1.008 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in y 1.008 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in y 1.008 * [taylor]: Taking taylor expansion of (log z) in y 1.008 * [taylor]: Taking taylor expansion of z in y 1.008 * [taylor]: Taking taylor expansion of 1.0 in y 1.008 * [taylor]: Taking taylor expansion of z in y 1.008 * [taylor]: Taking taylor expansion of y in y 1.008 * [taylor]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in y 1.008 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in y 1.008 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in y 1.008 * [taylor]: Taking taylor expansion of (log z) in y 1.008 * [taylor]: Taking taylor expansion of z in y 1.008 * [taylor]: Taking taylor expansion of 1.0 in y 1.008 * [taylor]: Taking taylor expansion of z in y 1.008 * [taylor]: Taking taylor expansion of y in y 1.009 * [taylor]: Taking taylor expansion of 0 in z 1.011 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 1.011 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 1.011 * [taylor]: Taking taylor expansion of (log z) in z 1.011 * [taylor]: Taking taylor expansion of z in z 1.012 * [taylor]: Taking taylor expansion of 1.0 in z 1.012 * [taylor]: Taking taylor expansion of z in z 1.015 * [taylor]: Taking taylor expansion of 0 in z 1.020 * [taylor]: Taking taylor expansion of 0 in z 1.027 * [taylor]: Taking taylor expansion of 0 in z 1.030 * [approximate]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in (y z) around 0 1.030 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in z 1.030 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 1.030 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 1.030 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.030 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.030 * [taylor]: Taking taylor expansion of z in z 1.031 * [taylor]: Taking taylor expansion of 1.0 in z 1.031 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.031 * [taylor]: Taking taylor expansion of z in z 1.031 * [taylor]: Taking taylor expansion of y in z 1.032 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in y 1.032 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in y 1.032 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in y 1.032 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 1.032 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.032 * [taylor]: Taking taylor expansion of z in y 1.032 * [taylor]: Taking taylor expansion of 1.0 in y 1.032 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.032 * [taylor]: Taking taylor expansion of z in y 1.032 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in y 1.033 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in y 1.033 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in y 1.033 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 1.033 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.033 * [taylor]: Taking taylor expansion of z in y 1.033 * [taylor]: Taking taylor expansion of 1.0 in y 1.033 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.033 * [taylor]: Taking taylor expansion of z in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 1.033 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 1.033 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.033 * [taylor]: Taking taylor expansion of z in z 1.034 * [taylor]: Taking taylor expansion of 1.0 in z 1.034 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.034 * [taylor]: Taking taylor expansion of z in z 1.037 * [taylor]: Taking taylor expansion of 0 in z 1.042 * [taylor]: Taking taylor expansion of 0 in z 1.048 * [taylor]: Taking taylor expansion of 0 in z 1.058 * [taylor]: Taking taylor expansion of 0 in z 1.058 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in (y z) around 0 1.058 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in z 1.058 * [taylor]: Taking taylor expansion of -1 in z 1.058 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y) in z 1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 1.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.058 * [taylor]: Taking taylor expansion of z in z 1.059 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 1.059 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 1.059 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.059 * [taylor]: Taking taylor expansion of -1 in z 1.059 * [taylor]: Taking taylor expansion of z in z 1.059 * [taylor]: Taking taylor expansion of 1.0 in z 1.059 * [taylor]: Taking taylor expansion of y in z 1.060 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in y 1.060 * [taylor]: Taking taylor expansion of -1 in y 1.060 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y) in y 1.060 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in y 1.060 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.060 * [taylor]: Taking taylor expansion of z in y 1.060 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in y 1.060 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 1.060 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.060 * [taylor]: Taking taylor expansion of -1 in y 1.060 * [taylor]: Taking taylor expansion of z in y 1.060 * [taylor]: Taking taylor expansion of 1.0 in y 1.060 * [taylor]: Taking taylor expansion of y in y 1.060 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in y 1.060 * [taylor]: Taking taylor expansion of -1 in y 1.060 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y) in y 1.060 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in y 1.060 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.060 * [taylor]: Taking taylor expansion of z in y 1.061 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in y 1.061 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 1.061 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.061 * [taylor]: Taking taylor expansion of -1 in y 1.061 * [taylor]: Taking taylor expansion of z in y 1.061 * [taylor]: Taking taylor expansion of 1.0 in y 1.061 * [taylor]: Taking taylor expansion of y in y 1.061 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) (+ (log (/ -1 z)) 1.0))) in z 1.061 * [taylor]: Taking taylor expansion of -1 in z 1.061 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 1.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.061 * [taylor]: Taking taylor expansion of z in z 1.062 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 1.062 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 1.062 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.062 * [taylor]: Taking taylor expansion of -1 in z 1.062 * [taylor]: Taking taylor expansion of z in z 1.063 * [taylor]: Taking taylor expansion of 1.0 in z 1.066 * [taylor]: Taking taylor expansion of 0 in z 1.073 * [taylor]: Taking taylor expansion of 0 in z 1.081 * [taylor]: Taking taylor expansion of 0 in z 1.093 * [taylor]: Taking taylor expansion of 0 in z 1.094 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1.095 * [approximate]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in (x y z) around 0 1.095 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in z 1.095 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in z 1.095 * [taylor]: Taking taylor expansion of (* (log z) y) in z 1.095 * [taylor]: Taking taylor expansion of (log z) in z 1.095 * [taylor]: Taking taylor expansion of z in z 1.095 * [taylor]: Taking taylor expansion of y in z 1.095 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in z 1.095 * [taylor]: Taking taylor expansion of (* 0.5 x) in z 1.095 * [taylor]: Taking taylor expansion of 0.5 in z 1.095 * [taylor]: Taking taylor expansion of x in z 1.095 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 1.095 * [taylor]: Taking taylor expansion of 1.0 in z 1.095 * [taylor]: Taking taylor expansion of y in z 1.095 * [taylor]: Taking taylor expansion of (* z y) in z 1.095 * [taylor]: Taking taylor expansion of z in z 1.095 * [taylor]: Taking taylor expansion of y in z 1.095 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in y 1.095 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in y 1.095 * [taylor]: Taking taylor expansion of (* (log z) y) in y 1.095 * [taylor]: Taking taylor expansion of (log z) in y 1.095 * [taylor]: Taking taylor expansion of z in y 1.095 * [taylor]: Taking taylor expansion of y in y 1.095 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in y 1.095 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 1.095 * [taylor]: Taking taylor expansion of 0.5 in y 1.096 * [taylor]: Taking taylor expansion of x in y 1.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.096 * [taylor]: Taking taylor expansion of 1.0 in y 1.096 * [taylor]: Taking taylor expansion of y in y 1.096 * [taylor]: Taking taylor expansion of (* z y) in y 1.096 * [taylor]: Taking taylor expansion of z in y 1.096 * [taylor]: Taking taylor expansion of y in y 1.096 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in x 1.096 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in x 1.096 * [taylor]: Taking taylor expansion of (* (log z) y) in x 1.096 * [taylor]: Taking taylor expansion of (log z) in x 1.096 * [taylor]: Taking taylor expansion of z in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in x 1.096 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 1.096 * [taylor]: Taking taylor expansion of 0.5 in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 1.096 * [taylor]: Taking taylor expansion of 1.0 in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of (* z y) in x 1.096 * [taylor]: Taking taylor expansion of z in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in x 1.096 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in x 1.096 * [taylor]: Taking taylor expansion of (* (log z) y) in x 1.096 * [taylor]: Taking taylor expansion of (log z) in x 1.096 * [taylor]: Taking taylor expansion of z in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in x 1.096 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 1.096 * [taylor]: Taking taylor expansion of 0.5 in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 1.096 * [taylor]: Taking taylor expansion of 1.0 in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.096 * [taylor]: Taking taylor expansion of (* z y) in x 1.096 * [taylor]: Taking taylor expansion of z in x 1.096 * [taylor]: Taking taylor expansion of y in x 1.097 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* 1.0 y)) (* z y)) in y 1.097 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in y 1.097 * [taylor]: Taking taylor expansion of (* (log z) y) in y 1.097 * [taylor]: Taking taylor expansion of (log z) in y 1.097 * [taylor]: Taking taylor expansion of z in y 1.097 * [taylor]: Taking taylor expansion of y in y 1.097 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.097 * [taylor]: Taking taylor expansion of 1.0 in y 1.097 * [taylor]: Taking taylor expansion of y in y 1.097 * [taylor]: Taking taylor expansion of (* z y) in y 1.097 * [taylor]: Taking taylor expansion of z in y 1.097 * [taylor]: Taking taylor expansion of y in y 1.098 * [taylor]: Taking taylor expansion of 0 in z 1.101 * [taylor]: Taking taylor expansion of 0.5 in y 1.102 * [taylor]: Taking taylor expansion of 0.5 in z 1.104 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 1.104 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 1.104 * [taylor]: Taking taylor expansion of (log z) in z 1.104 * [taylor]: Taking taylor expansion of z in z 1.104 * [taylor]: Taking taylor expansion of 1.0 in z 1.104 * [taylor]: Taking taylor expansion of z in z 1.109 * [taylor]: Taking taylor expansion of 0 in y 1.109 * [taylor]: Taking taylor expansion of 0 in z 1.109 * [taylor]: Taking taylor expansion of 0 in z 1.112 * [taylor]: Taking taylor expansion of 0 in z 1.114 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in (x y z) around 0 1.115 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in z 1.115 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in z 1.115 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 1.115 * [taylor]: Taking taylor expansion of 1.0 in z 1.115 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.115 * [taylor]: Taking taylor expansion of y in z 1.115 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in z 1.115 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z 1.115 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.115 * [taylor]: Taking taylor expansion of z in z 1.115 * [taylor]: Taking taylor expansion of y in z 1.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 1.116 * [taylor]: Taking taylor expansion of 0.5 in z 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.116 * [taylor]: Taking taylor expansion of x in z 1.116 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.116 * [taylor]: Taking taylor expansion of (* z y) in z 1.116 * [taylor]: Taking taylor expansion of z in z 1.116 * [taylor]: Taking taylor expansion of y in z 1.117 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in y 1.117 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in y 1.117 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.117 * [taylor]: Taking taylor expansion of 1.0 in y 1.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.117 * [taylor]: Taking taylor expansion of y in y 1.117 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in y 1.117 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y 1.117 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 1.117 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.117 * [taylor]: Taking taylor expansion of z in y 1.117 * [taylor]: Taking taylor expansion of y in y 1.117 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 1.117 * [taylor]: Taking taylor expansion of 0.5 in y 1.117 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.117 * [taylor]: Taking taylor expansion of x in y 1.117 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.117 * [taylor]: Taking taylor expansion of (* z y) in y 1.117 * [taylor]: Taking taylor expansion of z in y 1.117 * [taylor]: Taking taylor expansion of y in y 1.118 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in x 1.118 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in x 1.118 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 1.118 * [taylor]: Taking taylor expansion of 1.0 in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.118 * [taylor]: Taking taylor expansion of y in x 1.118 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in x 1.118 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x 1.118 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.118 * [taylor]: Taking taylor expansion of z in x 1.118 * [taylor]: Taking taylor expansion of y in x 1.118 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 1.118 * [taylor]: Taking taylor expansion of 0.5 in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.119 * [taylor]: Taking taylor expansion of (* z y) in x 1.119 * [taylor]: Taking taylor expansion of z in x 1.119 * [taylor]: Taking taylor expansion of y in x 1.119 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in x 1.119 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in x 1.119 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 1.119 * [taylor]: Taking taylor expansion of 1.0 in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.119 * [taylor]: Taking taylor expansion of y in x 1.119 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in x 1.119 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x 1.119 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.119 * [taylor]: Taking taylor expansion of z in x 1.119 * [taylor]: Taking taylor expansion of y in x 1.119 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 1.119 * [taylor]: Taking taylor expansion of 0.5 in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.119 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.120 * [taylor]: Taking taylor expansion of (* z y) in x 1.120 * [taylor]: Taking taylor expansion of z in x 1.120 * [taylor]: Taking taylor expansion of y in x 1.121 * [taylor]: Taking taylor expansion of 0.5 in y 1.122 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ (log (/ 1 z)) y)) (/ 1 (* z y))) in y 1.122 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log (/ 1 z)) y)) in y 1.122 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.122 * [taylor]: Taking taylor expansion of 1.0 in y 1.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.122 * [taylor]: Taking taylor expansion of y in y 1.123 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y 1.123 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 1.123 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.123 * [taylor]: Taking taylor expansion of z in y 1.123 * [taylor]: Taking taylor expansion of y in y 1.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.123 * [taylor]: Taking taylor expansion of (* z y) in y 1.123 * [taylor]: Taking taylor expansion of z in y 1.123 * [taylor]: Taking taylor expansion of y in y 1.124 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 1.124 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 1.124 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.124 * [taylor]: Taking taylor expansion of z in z 1.125 * [taylor]: Taking taylor expansion of 1.0 in z 1.125 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.125 * [taylor]: Taking taylor expansion of z in z 1.125 * [taylor]: Taking taylor expansion of 0.5 in z 1.134 * [taylor]: Taking taylor expansion of 0 in y 1.137 * [taylor]: Taking taylor expansion of 0 in z 1.137 * [taylor]: Taking taylor expansion of 0 in z 1.139 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in (x y z) around 0 1.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in z 1.139 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in z 1.139 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.139 * [taylor]: Taking taylor expansion of (* z y) in z 1.139 * [taylor]: Taking taylor expansion of z in z 1.139 * [taylor]: Taking taylor expansion of y in z 1.140 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in z 1.140 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 1.140 * [taylor]: Taking taylor expansion of 1.0 in z 1.140 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.140 * [taylor]: Taking taylor expansion of y in z 1.140 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in z 1.140 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z 1.140 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 1.140 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.140 * [taylor]: Taking taylor expansion of -1 in z 1.140 * [taylor]: Taking taylor expansion of z in z 1.141 * [taylor]: Taking taylor expansion of y in z 1.142 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 1.142 * [taylor]: Taking taylor expansion of 0.5 in z 1.142 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.142 * [taylor]: Taking taylor expansion of x in z 1.142 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in y 1.142 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in y 1.142 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.142 * [taylor]: Taking taylor expansion of (* z y) in y 1.142 * [taylor]: Taking taylor expansion of z in y 1.142 * [taylor]: Taking taylor expansion of y in y 1.143 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in y 1.143 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.143 * [taylor]: Taking taylor expansion of 1.0 in y 1.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.143 * [taylor]: Taking taylor expansion of y in y 1.143 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in y 1.143 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y 1.143 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 1.143 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.143 * [taylor]: Taking taylor expansion of -1 in y 1.143 * [taylor]: Taking taylor expansion of z in y 1.143 * [taylor]: Taking taylor expansion of y in y 1.143 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 1.143 * [taylor]: Taking taylor expansion of 0.5 in y 1.143 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.143 * [taylor]: Taking taylor expansion of x in y 1.143 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in x 1.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.144 * [taylor]: Taking taylor expansion of (* z y) in x 1.144 * [taylor]: Taking taylor expansion of z in x 1.144 * [taylor]: Taking taylor expansion of y in x 1.144 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in x 1.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 1.144 * [taylor]: Taking taylor expansion of 1.0 in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.144 * [taylor]: Taking taylor expansion of y in x 1.144 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in x 1.144 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x 1.144 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x 1.144 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.144 * [taylor]: Taking taylor expansion of -1 in x 1.144 * [taylor]: Taking taylor expansion of z in x 1.144 * [taylor]: Taking taylor expansion of y in x 1.144 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 1.144 * [taylor]: Taking taylor expansion of 0.5 in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.144 * [taylor]: Taking taylor expansion of x in x 1.144 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in x 1.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in x 1.145 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.145 * [taylor]: Taking taylor expansion of (* z y) in x 1.145 * [taylor]: Taking taylor expansion of z in x 1.145 * [taylor]: Taking taylor expansion of y in x 1.145 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in x 1.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 1.145 * [taylor]: Taking taylor expansion of 1.0 in x 1.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.145 * [taylor]: Taking taylor expansion of y in x 1.145 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in x 1.145 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x 1.145 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x 1.145 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.145 * [taylor]: Taking taylor expansion of -1 in x 1.145 * [taylor]: Taking taylor expansion of z in x 1.145 * [taylor]: Taking taylor expansion of y in x 1.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 1.145 * [taylor]: Taking taylor expansion of 0.5 in x 1.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.147 * [taylor]: Taking taylor expansion of (- 0.5) in y 1.147 * [taylor]: Taking taylor expansion of 0.5 in y 1.148 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y)))) in y 1.148 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y))) in y 1.148 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.149 * [taylor]: Taking taylor expansion of (* z y) in y 1.149 * [taylor]: Taking taylor expansion of z in y 1.149 * [taylor]: Taking taylor expansion of y in y 1.149 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y)) in y 1.149 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.149 * [taylor]: Taking taylor expansion of 1.0 in y 1.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.149 * [taylor]: Taking taylor expansion of y in y 1.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y 1.149 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 1.149 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.149 * [taylor]: Taking taylor expansion of -1 in y 1.149 * [taylor]: Taking taylor expansion of z in y 1.150 * [taylor]: Taking taylor expansion of y in y 1.150 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (log (/ -1 z)) 1.0))) in z 1.150 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 1.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.150 * [taylor]: Taking taylor expansion of z in z 1.151 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 1.151 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 1.151 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.151 * [taylor]: Taking taylor expansion of -1 in z 1.151 * [taylor]: Taking taylor expansion of z in z 1.151 * [taylor]: Taking taylor expansion of 1.0 in z 1.152 * [taylor]: Taking taylor expansion of (- 0.5) in z 1.152 * [taylor]: Taking taylor expansion of 0.5 in z 1.155 * [taylor]: Taking taylor expansion of 0 in y 1.159 * [taylor]: Taking taylor expansion of 0 in z 1.160 * [taylor]: Taking taylor expansion of 0 in z 1.164 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1.165 * [approximate]: Taking taylor expansion of (- (+ (log z) 1.0) z) in (z) around 0 1.165 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 1.165 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 1.165 * [taylor]: Taking taylor expansion of (log z) in z 1.165 * [taylor]: Taking taylor expansion of z in z 1.165 * [taylor]: Taking taylor expansion of 1.0 in z 1.165 * [taylor]: Taking taylor expansion of z in z 1.165 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 1.165 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 1.165 * [taylor]: Taking taylor expansion of (log z) in z 1.165 * [taylor]: Taking taylor expansion of z in z 1.165 * [taylor]: Taking taylor expansion of 1.0 in z 1.166 * [taylor]: Taking taylor expansion of z in z 1.235 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in (z) around 0 1.235 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 1.235 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 1.235 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.235 * [taylor]: Taking taylor expansion of z in z 1.236 * [taylor]: Taking taylor expansion of 1.0 in z 1.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.236 * [taylor]: Taking taylor expansion of z in z 1.236 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 1.236 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 1.236 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.236 * [taylor]: Taking taylor expansion of z in z 1.237 * [taylor]: Taking taylor expansion of 1.0 in z 1.237 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.237 * [taylor]: Taking taylor expansion of z in z 1.283 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in (z) around 0 1.283 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 1.283 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.283 * [taylor]: Taking taylor expansion of z in z 1.284 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 1.284 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 1.284 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.284 * [taylor]: Taking taylor expansion of -1 in z 1.284 * [taylor]: Taking taylor expansion of z in z 1.285 * [taylor]: Taking taylor expansion of 1.0 in z 1.285 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 1.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.285 * [taylor]: Taking taylor expansion of z in z 1.285 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 1.285 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 1.285 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.285 * [taylor]: Taking taylor expansion of -1 in z 1.285 * [taylor]: Taking taylor expansion of z in z 1.286 * [taylor]: Taking taylor expansion of 1.0 in z 1.340 * * * [progress]: simplifying candidates 1.341 * [simplify]: Simplifying using # : (* y (+ (- 1.0 z) (log z))) (+ (log y) (log (+ (- 1.0 z) (log z)))) (log (* y (+ (- 1.0 z) (log z)))) (exp (* y (+ (- 1.0 z) (log z)))) (* (* (* y y) y) (* (* (+ (- 1.0 z) (log z)) (+ (- 1.0 z) (log z))) (+ (- 1.0 z) (log z)))) (* (cbrt (* y (+ (- 1.0 z) (log z)))) (cbrt (* y (+ (- 1.0 z) (log z))))) (cbrt (* y (+ (- 1.0 z) (log z)))) (* (* (* y (+ (- 1.0 z) (log z))) (* y (+ (- 1.0 z) (log z)))) (* y (+ (- 1.0 z) (log z)))) (sqrt (* y (+ (- 1.0 z) (log z)))) (sqrt (* y (+ (- 1.0 z) (log z)))) (* (sqrt y) (sqrt (+ (- 1.0 z) (log z)))) (* (sqrt y) (sqrt (+ (- 1.0 z) (log z)))) (* y (- 1.0 z)) (* y (log z)) (* (- 1.0 z) y) (* (log z) y) (* y (* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))) (* y (sqrt (+ (- 1.0 z) (log z)))) (* y 1) (* y 1) (* y 1) (* y 1) (* y 1) (* (cbrt y) (+ (- 1.0 z) (log z))) (* (sqrt y) (+ (- 1.0 z) (log z))) (* y (+ (- 1.0 z) (log z))) (* y (+ (pow (- 1.0 z) 3) (pow (log z) 3))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* (exp (* x 0.5)) (exp (* y (+ (- 1.0 z) (log z))))) (log (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (exp (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (* (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))))) (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (* (* (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))) (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (sqrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (sqrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (+ (pow (* x 0.5) 3) (pow (* y (+ (- 1.0 z) (log z))) 3)) (+ (* (* x 0.5) (* x 0.5)) (- (* (* y (+ (- 1.0 z) (log z))) (* y (+ (- 1.0 z) (log z)))) (* (* x 0.5) (* y (+ (- 1.0 z) (log z)))))) (- (* (* x 0.5) (* x 0.5)) (* (* y (+ (- 1.0 z) (log z))) (* y (+ (- 1.0 z) (log z))))) (- (* x 0.5) (* y (+ (- 1.0 z) (log z)))) (+ (* x 0.5) (* y (- 1.0 z))) (+ (* x 0.5) (* (- 1.0 z) y)) (* (/ (exp 1.0) (exp z)) z) (* (exp (- 1.0 z)) z) (log (+ (- 1.0 z) (log z))) (exp (+ (- 1.0 z) (log z))) (* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z)))) (cbrt (+ (- 1.0 z) (log z))) (* (* (+ (- 1.0 z) (log z)) (+ (- 1.0 z) (log z))) (+ (- 1.0 z) (log z))) (sqrt (+ (- 1.0 z) (log z))) (sqrt (+ (- 1.0 z) (log z))) (+ (pow (- 1.0 z) 3) (pow (log z) 3)) (+ (* (- 1.0 z) (- 1.0 z)) (- (* (log z) (log z)) (* (- 1.0 z) (log z)))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (- 1.0 z) (log z)) (+ (- 1.0 z) (log z)) (+ (- 1.0 z) (log z)) (+ (- 1.0 z) (log z)) (+ (- 1.0 z) (log z)) (+ (- 1.0 z) (log (* (cbrt z) (cbrt z)))) (+ (- 1.0 z) (log (sqrt z))) (+ (- 1.0 z) (log 1)) (+ (- z) (log z)) (+ (- z) (log z)) (- z (log z)) (- (+ (* (log z) y) (* 1.0 y)) (* z y)) (- (* 1.0 y) (+ (* z y) (* (log (/ 1 z)) y))) (- (+ (* (log -1) y) (* 1.0 y)) (+ (* z y) (* (log (/ -1 z)) y))) (- (+ (* (log z) y) (+ (* 1.0 y) (* 0.5 x))) (* z y)) (- (+ (* 0.5 x) (* 1.0 y)) (+ (* z y) (* y (log (/ 1 z))))) (- (+ (* 0.5 x) (+ (* 1.0 y) (* (log -1) y))) (+ (* z y) (* y (log (/ -1 z))))) (- (+ (log z) 1.0) z) (- 1.0 (+ z (log (/ 1 z)))) (- (+ (log -1) 1.0) (+ z (log (/ -1 z)))) 1.345 * * [simplify]: iteration 0 : 132 enodes (cost 839 ) 1.377 * * [simplify]: iteration 1 : 351 enodes (cost 775 ) 1.477 * * [simplify]: iteration 2 : 1107 enodes (cost 704 ) 1.893 * * [simplify]: iteration done : 5000 enodes (cost 703 ) 1.894 * [simplify]: Simplified to: (* y (+ (- 1.0 z) (log z))) (log (* y (+ (- 1.0 z) (log z)))) (log (* y (+ (- 1.0 z) (log z)))) (pow (* z (exp (- 1.0 z))) y) (pow (* y (+ (- 1.0 z) (log z))) 3) (* (cbrt (* y (+ (- 1.0 z) (log z)))) (cbrt (* y (+ (- 1.0 z) (log z))))) (cbrt (* y (+ (- 1.0 z) (log z)))) (pow (* y (+ (- 1.0 z) (log z))) 3) (sqrt (* y (+ (- 1.0 z) (log z)))) (sqrt (* y (+ (- 1.0 z) (log z)))) (* (sqrt y) (sqrt (+ (- 1.0 z) (log z)))) (* (sqrt y) (sqrt (+ (- 1.0 z) (log z)))) (* (- 1.0 z) y) (* y (log z)) (* (- 1.0 z) y) (* y (log z)) (* y (* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z))))) (* y (sqrt (+ (- 1.0 z) (log z)))) y y y y y (* (cbrt y) (+ (- 1.0 z) (log z))) (* (sqrt y) (+ (- 1.0 z) (log z))) (* y (+ (- 1.0 z) (log z))) (* y (+ (pow (- 1.0 z) 3) (pow (log z) 3))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (exp (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (log (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (exp (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (* (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))))) (cbrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (pow (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))) 3) (sqrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (sqrt (+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))) (+ (pow (* x 0.5) 3) (pow (* y (+ (- 1.0 z) (log z))) 3)) (+ (* (* y (+ (- 1.0 z) (log z))) (- (* y (+ (- 1.0 z) (log z))) (* x 0.5))) (* (* x 0.5) (* x 0.5))) (- (* (* x 0.5) (* x 0.5)) (* (* y (+ (- 1.0 z) (log z))) (* y (+ (- 1.0 z) (log z))))) (- (* x 0.5) (* y (+ (- 1.0 z) (log z)))) (+ (* x 0.5) (* (- 1.0 z) y)) (+ (* x 0.5) (* (- 1.0 z) y)) (* (exp (- 1.0 z)) z) (* (exp (- 1.0 z)) z) (log (+ (- 1.0 z) (log z))) (* (exp (- 1.0 z)) z) (* (cbrt (+ (- 1.0 z) (log z))) (cbrt (+ (- 1.0 z) (log z)))) (cbrt (+ (- 1.0 z) (log z))) (pow (+ (log z) (- 1.0 z)) 3) (sqrt (+ (- 1.0 z) (log z))) (sqrt (+ (- 1.0 z) (log z))) (+ (pow (- 1.0 z) 3) (pow (log z) 3)) (+ (* (- 1.0 z) (- (- 1.0 z) (log z))) (* (log z) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (- 1.0 z) (log z)) (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z)) (+ (- 1.0 z) (* 2 (log (cbrt z)))) (+ (- 1.0 z) (log (sqrt z))) (- 1.0 z) (- (log z) z) (- (log z) z) (- z (log z)) (* y (+ (- 1.0 z) (log z))) (* y (+ (- 1.0 z) (log z))) (* y (- (+ (log -1) 1.0) (+ z (log (/ -1 z))))) (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))) (+ (* x 0.5) (* y (+ (- 1.0 z) (log z)))) (+ (* x 0.5) (* y (- (+ (log -1) 1.0) (+ z (log (/ -1 z)))))) (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z)) (- (+ (log -1) 1.0) (+ z (log (/ -1 z)))) 1.894 * * * [progress]: adding candidates to table 2.043 * * [progress]: iteration 2 / 4 2.043 * * * [progress]: picking best candidate 2.057 * * * * [pick]: Picked # 2.057 * * * [progress]: localizing error 2.073 * * * [progress]: generating rewritten candidates 2.073 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.076 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.088 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 2.098 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.103 * * * [progress]: generating series expansions 2.103 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.103 * [approximate]: Taking taylor expansion of (* (log z) y) in (z y) around 0 2.103 * [taylor]: Taking taylor expansion of (* (log z) y) in y 2.103 * [taylor]: Taking taylor expansion of (log z) in y 2.103 * [taylor]: Taking taylor expansion of z in y 2.103 * [taylor]: Taking taylor expansion of y in y 2.103 * [taylor]: Taking taylor expansion of (* (log z) y) in z 2.103 * [taylor]: Taking taylor expansion of (log z) in z 2.103 * [taylor]: Taking taylor expansion of z in z 2.104 * [taylor]: Taking taylor expansion of y in z 2.104 * [taylor]: Taking taylor expansion of (* (log z) y) in z 2.104 * [taylor]: Taking taylor expansion of (log z) in z 2.104 * [taylor]: Taking taylor expansion of z in z 2.104 * [taylor]: Taking taylor expansion of y in z 2.105 * [taylor]: Taking taylor expansion of (* (log z) y) in y 2.105 * [taylor]: Taking taylor expansion of (log z) in y 2.105 * [taylor]: Taking taylor expansion of z in y 2.105 * [taylor]: Taking taylor expansion of y in y 2.106 * [taylor]: Taking taylor expansion of 0 in y 2.109 * [taylor]: Taking taylor expansion of 0 in y 2.115 * [taylor]: Taking taylor expansion of 0 in y 2.115 * [approximate]: Taking taylor expansion of (/ (log (/ 1 z)) y) in (z y) around 0 2.115 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y 2.115 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.115 * [taylor]: Taking taylor expansion of z in y 2.115 * [taylor]: Taking taylor expansion of y in y 2.115 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z 2.115 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.115 * [taylor]: Taking taylor expansion of z in z 2.116 * [taylor]: Taking taylor expansion of y in z 2.116 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z 2.116 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.116 * [taylor]: Taking taylor expansion of z in z 2.117 * [taylor]: Taking taylor expansion of y in z 2.118 * [taylor]: Taking taylor expansion of (* -1 (/ (log z) y)) in y 2.118 * [taylor]: Taking taylor expansion of -1 in y 2.118 * [taylor]: Taking taylor expansion of (/ (log z) y) in y 2.118 * [taylor]: Taking taylor expansion of (log z) in y 2.118 * [taylor]: Taking taylor expansion of z in y 2.118 * [taylor]: Taking taylor expansion of y in y 2.119 * [taylor]: Taking taylor expansion of 0 in y 2.123 * [taylor]: Taking taylor expansion of 0 in y 2.130 * [taylor]: Taking taylor expansion of 0 in y 2.134 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in (z y) around 0 2.134 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in y 2.134 * [taylor]: Taking taylor expansion of -1 in y 2.134 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y 2.134 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 2.134 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.134 * [taylor]: Taking taylor expansion of -1 in y 2.134 * [taylor]: Taking taylor expansion of z in y 2.134 * [taylor]: Taking taylor expansion of y in y 2.134 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in z 2.134 * [taylor]: Taking taylor expansion of -1 in z 2.134 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z 2.134 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 2.134 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.134 * [taylor]: Taking taylor expansion of -1 in z 2.134 * [taylor]: Taking taylor expansion of z in z 2.135 * [taylor]: Taking taylor expansion of y in z 2.137 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 z)) y)) in z 2.137 * [taylor]: Taking taylor expansion of -1 in z 2.137 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z 2.137 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 2.137 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.137 * [taylor]: Taking taylor expansion of -1 in z 2.137 * [taylor]: Taking taylor expansion of z in z 2.137 * [taylor]: Taking taylor expansion of y in z 2.139 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log z)) y)) in y 2.139 * [taylor]: Taking taylor expansion of -1 in y 2.139 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log z)) y) in y 2.139 * [taylor]: Taking taylor expansion of (- (log -1) (log z)) in y 2.139 * [taylor]: Taking taylor expansion of (log -1) in y 2.139 * [taylor]: Taking taylor expansion of -1 in y 2.140 * [taylor]: Taking taylor expansion of (log z) in y 2.140 * [taylor]: Taking taylor expansion of z in y 2.140 * [taylor]: Taking taylor expansion of y in y 2.143 * [taylor]: Taking taylor expansion of 0 in y 2.151 * [taylor]: Taking taylor expansion of 0 in y 2.166 * [taylor]: Taking taylor expansion of 0 in y 2.174 * * * * [progress]: [ 2 / 4 ] generating series at (2) 2.174 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) (* z y)) in (x z y) around 0 2.175 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) (* z y)) in y 2.175 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) in y 2.175 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 2.175 * [taylor]: Taking taylor expansion of 0.5 in y 2.175 * [taylor]: Taking taylor expansion of x in y 2.175 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in y 2.175 * [taylor]: Taking taylor expansion of (* (log z) y) in y 2.175 * [taylor]: Taking taylor expansion of (log z) in y 2.175 * [taylor]: Taking taylor expansion of z in y 2.175 * [taylor]: Taking taylor expansion of y in y 2.175 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 2.175 * [taylor]: Taking taylor expansion of 1.0 in y 2.175 * [taylor]: Taking taylor expansion of y in y 2.175 * [taylor]: Taking taylor expansion of (* z y) in y 2.175 * [taylor]: Taking taylor expansion of z in y 2.175 * [taylor]: Taking taylor expansion of y in y 2.175 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) (* z y)) in z 2.175 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) in z 2.175 * [taylor]: Taking taylor expansion of (* 0.5 x) in z 2.175 * [taylor]: Taking taylor expansion of 0.5 in z 2.175 * [taylor]: Taking taylor expansion of x in z 2.175 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in z 2.175 * [taylor]: Taking taylor expansion of (* (log z) y) in z 2.175 * [taylor]: Taking taylor expansion of (log z) in z 2.175 * [taylor]: Taking taylor expansion of z in z 2.175 * [taylor]: Taking taylor expansion of y in z 2.175 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 2.175 * [taylor]: Taking taylor expansion of 1.0 in z 2.175 * [taylor]: Taking taylor expansion of y in z 2.176 * [taylor]: Taking taylor expansion of (* z y) in z 2.176 * [taylor]: Taking taylor expansion of z in z 2.176 * [taylor]: Taking taylor expansion of y in z 2.176 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) (* z y)) in x 2.176 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) in x 2.176 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.176 * [taylor]: Taking taylor expansion of 0.5 in x 2.176 * [taylor]: Taking taylor expansion of x in x 2.176 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in x 2.176 * [taylor]: Taking taylor expansion of (* (log z) y) in x 2.176 * [taylor]: Taking taylor expansion of (log z) in x 2.176 * [taylor]: Taking taylor expansion of z in x 2.176 * [taylor]: Taking taylor expansion of y in x 2.176 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 2.176 * [taylor]: Taking taylor expansion of 1.0 in x 2.176 * [taylor]: Taking taylor expansion of y in x 2.176 * [taylor]: Taking taylor expansion of (* z y) in x 2.176 * [taylor]: Taking taylor expansion of z in x 2.176 * [taylor]: Taking taylor expansion of y in x 2.176 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) (* z y)) in x 2.176 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* (log z) y) (* 1.0 y))) in x 2.176 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.176 * [taylor]: Taking taylor expansion of 0.5 in x 2.176 * [taylor]: Taking taylor expansion of x in x 2.176 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in x 2.176 * [taylor]: Taking taylor expansion of (* (log z) y) in x 2.176 * [taylor]: Taking taylor expansion of (log z) in x 2.176 * [taylor]: Taking taylor expansion of z in x 2.176 * [taylor]: Taking taylor expansion of y in x 2.176 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 2.176 * [taylor]: Taking taylor expansion of 1.0 in x 2.176 * [taylor]: Taking taylor expansion of y in x 2.176 * [taylor]: Taking taylor expansion of (* z y) in x 2.176 * [taylor]: Taking taylor expansion of z in x 2.176 * [taylor]: Taking taylor expansion of y in x 2.177 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* 1.0 y)) (* z y)) in z 2.177 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in z 2.177 * [taylor]: Taking taylor expansion of (* (log z) y) in z 2.177 * [taylor]: Taking taylor expansion of (log z) in z 2.177 * [taylor]: Taking taylor expansion of z in z 2.178 * [taylor]: Taking taylor expansion of y in z 2.178 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 2.178 * [taylor]: Taking taylor expansion of 1.0 in z 2.178 * [taylor]: Taking taylor expansion of y in z 2.178 * [taylor]: Taking taylor expansion of (* z y) in z 2.178 * [taylor]: Taking taylor expansion of z in z 2.178 * [taylor]: Taking taylor expansion of y in z 2.179 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in y 2.179 * [taylor]: Taking taylor expansion of (* (log z) y) in y 2.179 * [taylor]: Taking taylor expansion of (log z) in y 2.179 * [taylor]: Taking taylor expansion of z in y 2.179 * [taylor]: Taking taylor expansion of y in y 2.179 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 2.179 * [taylor]: Taking taylor expansion of 1.0 in y 2.179 * [taylor]: Taking taylor expansion of y in y 2.182 * [taylor]: Taking taylor expansion of 0.5 in z 2.182 * [taylor]: Taking taylor expansion of 0.5 in y 2.184 * [taylor]: Taking taylor expansion of (- y) in y 2.185 * [taylor]: Taking taylor expansion of y in y 2.191 * [taylor]: Taking taylor expansion of 0 in z 2.191 * [taylor]: Taking taylor expansion of 0 in y 2.191 * [taylor]: Taking taylor expansion of 0 in y 2.195 * [taylor]: Taking taylor expansion of 0 in y 2.196 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in (x z y) around 0 2.196 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in y 2.196 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in y 2.196 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.196 * [taylor]: Taking taylor expansion of 1.0 in y 2.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.196 * [taylor]: Taking taylor expansion of y in y 2.196 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in y 2.196 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y 2.196 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 2.196 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.196 * [taylor]: Taking taylor expansion of z in y 2.196 * [taylor]: Taking taylor expansion of y in y 2.196 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.196 * [taylor]: Taking taylor expansion of 0.5 in y 2.196 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.196 * [taylor]: Taking taylor expansion of x in y 2.197 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.197 * [taylor]: Taking taylor expansion of (* z y) in y 2.197 * [taylor]: Taking taylor expansion of z in y 2.197 * [taylor]: Taking taylor expansion of y in y 2.197 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in z 2.197 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in z 2.197 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.197 * [taylor]: Taking taylor expansion of 1.0 in z 2.197 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.197 * [taylor]: Taking taylor expansion of y in z 2.197 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in z 2.197 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z 2.197 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.197 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.197 * [taylor]: Taking taylor expansion of z in z 2.198 * [taylor]: Taking taylor expansion of y in z 2.198 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 2.198 * [taylor]: Taking taylor expansion of 0.5 in z 2.198 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.199 * [taylor]: Taking taylor expansion of x in z 2.199 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.199 * [taylor]: Taking taylor expansion of (* z y) in z 2.199 * [taylor]: Taking taylor expansion of z in z 2.199 * [taylor]: Taking taylor expansion of y in z 2.199 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in x 2.199 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in x 2.199 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.199 * [taylor]: Taking taylor expansion of 1.0 in x 2.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.199 * [taylor]: Taking taylor expansion of y in x 2.199 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in x 2.199 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x 2.199 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 2.199 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.199 * [taylor]: Taking taylor expansion of z in x 2.199 * [taylor]: Taking taylor expansion of y in x 2.199 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.199 * [taylor]: Taking taylor expansion of 0.5 in x 2.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.199 * [taylor]: Taking taylor expansion of x in x 2.200 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.200 * [taylor]: Taking taylor expansion of (* z y) in x 2.200 * [taylor]: Taking taylor expansion of z in x 2.200 * [taylor]: Taking taylor expansion of y in x 2.200 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in x 2.200 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in x 2.200 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.200 * [taylor]: Taking taylor expansion of 1.0 in x 2.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.200 * [taylor]: Taking taylor expansion of y in x 2.200 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in x 2.200 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x 2.200 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 2.200 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.200 * [taylor]: Taking taylor expansion of z in x 2.200 * [taylor]: Taking taylor expansion of y in x 2.200 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.200 * [taylor]: Taking taylor expansion of 0.5 in x 2.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.200 * [taylor]: Taking taylor expansion of x in x 2.201 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.201 * [taylor]: Taking taylor expansion of (* z y) in x 2.201 * [taylor]: Taking taylor expansion of z in x 2.201 * [taylor]: Taking taylor expansion of y in x 2.202 * [taylor]: Taking taylor expansion of 0.5 in z 2.204 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ (log (/ 1 z)) y)) (/ 1 (* z y))) in z 2.204 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log (/ 1 z)) y)) in z 2.204 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.204 * [taylor]: Taking taylor expansion of 1.0 in z 2.204 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.204 * [taylor]: Taking taylor expansion of y in z 2.204 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z 2.204 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.204 * [taylor]: Taking taylor expansion of z in z 2.204 * [taylor]: Taking taylor expansion of y in z 2.205 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.205 * [taylor]: Taking taylor expansion of (* z y) in z 2.205 * [taylor]: Taking taylor expansion of z in z 2.205 * [taylor]: Taking taylor expansion of y in z 2.206 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.206 * [taylor]: Taking taylor expansion of y in y 2.206 * [taylor]: Taking taylor expansion of 0.5 in y 2.210 * [taylor]: Taking taylor expansion of 0 in z 2.211 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ (log z) y)) in y 2.211 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.211 * [taylor]: Taking taylor expansion of 1.0 in y 2.211 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.211 * [taylor]: Taking taylor expansion of y in y 2.211 * [taylor]: Taking taylor expansion of (/ (log z) y) in y 2.211 * [taylor]: Taking taylor expansion of (log z) in y 2.211 * [taylor]: Taking taylor expansion of z in y 2.211 * [taylor]: Taking taylor expansion of y in y 2.212 * [taylor]: Taking taylor expansion of 0 in y 2.213 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in (x z y) around 0 2.213 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in y 2.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in y 2.213 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.213 * [taylor]: Taking taylor expansion of (* z y) in y 2.214 * [taylor]: Taking taylor expansion of z in y 2.214 * [taylor]: Taking taylor expansion of y in y 2.214 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in y 2.214 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.214 * [taylor]: Taking taylor expansion of 1.0 in y 2.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.214 * [taylor]: Taking taylor expansion of y in y 2.214 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in y 2.214 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y 2.214 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 2.214 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.214 * [taylor]: Taking taylor expansion of -1 in y 2.214 * [taylor]: Taking taylor expansion of z in y 2.215 * [taylor]: Taking taylor expansion of y in y 2.215 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.215 * [taylor]: Taking taylor expansion of 0.5 in y 2.215 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.215 * [taylor]: Taking taylor expansion of x in y 2.215 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in z 2.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in z 2.215 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.215 * [taylor]: Taking taylor expansion of (* z y) in z 2.215 * [taylor]: Taking taylor expansion of z in z 2.215 * [taylor]: Taking taylor expansion of y in z 2.215 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in z 2.215 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.215 * [taylor]: Taking taylor expansion of 1.0 in z 2.215 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.215 * [taylor]: Taking taylor expansion of y in z 2.215 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in z 2.215 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z 2.215 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 2.215 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.215 * [taylor]: Taking taylor expansion of -1 in z 2.215 * [taylor]: Taking taylor expansion of z in z 2.216 * [taylor]: Taking taylor expansion of y in z 2.217 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 2.218 * [taylor]: Taking taylor expansion of 0.5 in z 2.218 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.218 * [taylor]: Taking taylor expansion of x in z 2.218 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in x 2.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in x 2.218 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.218 * [taylor]: Taking taylor expansion of (* z y) in x 2.218 * [taylor]: Taking taylor expansion of z in x 2.218 * [taylor]: Taking taylor expansion of y in x 2.218 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in x 2.218 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.218 * [taylor]: Taking taylor expansion of 1.0 in x 2.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.218 * [taylor]: Taking taylor expansion of y in x 2.218 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in x 2.218 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x 2.218 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x 2.218 * [taylor]: Taking taylor expansion of (/ -1 z) in x 2.218 * [taylor]: Taking taylor expansion of -1 in x 2.218 * [taylor]: Taking taylor expansion of z in x 2.218 * [taylor]: Taking taylor expansion of y in x 2.218 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.218 * [taylor]: Taking taylor expansion of 0.5 in x 2.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.218 * [taylor]: Taking taylor expansion of x in x 2.219 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in x 2.219 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in x 2.219 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.219 * [taylor]: Taking taylor expansion of (* z y) in x 2.219 * [taylor]: Taking taylor expansion of z in x 2.219 * [taylor]: Taking taylor expansion of y in x 2.219 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in x 2.219 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.219 * [taylor]: Taking taylor expansion of 1.0 in x 2.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.219 * [taylor]: Taking taylor expansion of y in x 2.219 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in x 2.219 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x 2.219 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x 2.219 * [taylor]: Taking taylor expansion of (/ -1 z) in x 2.219 * [taylor]: Taking taylor expansion of -1 in x 2.219 * [taylor]: Taking taylor expansion of z in x 2.219 * [taylor]: Taking taylor expansion of y in x 2.219 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.219 * [taylor]: Taking taylor expansion of 0.5 in x 2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.219 * [taylor]: Taking taylor expansion of x in x 2.221 * [taylor]: Taking taylor expansion of (- 0.5) in z 2.221 * [taylor]: Taking taylor expansion of 0.5 in z 2.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y)))) in z 2.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y))) in z 2.223 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.223 * [taylor]: Taking taylor expansion of (* z y) in z 2.223 * [taylor]: Taking taylor expansion of z in z 2.223 * [taylor]: Taking taylor expansion of y in z 2.223 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y)) in z 2.223 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.223 * [taylor]: Taking taylor expansion of 1.0 in z 2.223 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.223 * [taylor]: Taking taylor expansion of y in z 2.223 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z 2.223 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 2.223 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.223 * [taylor]: Taking taylor expansion of -1 in z 2.223 * [taylor]: Taking taylor expansion of z in z 2.224 * [taylor]: Taking taylor expansion of y in z 2.225 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.225 * [taylor]: Taking taylor expansion of y in y 2.226 * [taylor]: Taking taylor expansion of (- 0.5) in y 2.226 * [taylor]: Taking taylor expansion of 0.5 in y 2.229 * [taylor]: Taking taylor expansion of 0 in z 2.231 * [taylor]: Taking taylor expansion of (- (/ (log z) y) (+ (* 1.0 (/ 1 y)) (/ (log -1) y))) in y 2.232 * [taylor]: Taking taylor expansion of (/ (log z) y) in y 2.232 * [taylor]: Taking taylor expansion of (log z) in y 2.232 * [taylor]: Taking taylor expansion of z in y 2.232 * [taylor]: Taking taylor expansion of y in y 2.232 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log -1) y)) in y 2.232 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.232 * [taylor]: Taking taylor expansion of 1.0 in y 2.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.232 * [taylor]: Taking taylor expansion of y in y 2.232 * [taylor]: Taking taylor expansion of (/ (log -1) y) in y 2.232 * [taylor]: Taking taylor expansion of (log -1) in y 2.232 * [taylor]: Taking taylor expansion of -1 in y 2.232 * [taylor]: Taking taylor expansion of y in y 2.237 * [taylor]: Taking taylor expansion of 0 in y 2.240 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.240 * [approximate]: Taking taylor expansion of (* y (- 1.0 z)) in (z y) around 0 2.240 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in y 2.240 * [taylor]: Taking taylor expansion of y in y 2.240 * [taylor]: Taking taylor expansion of (- 1.0 z) in y 2.240 * [taylor]: Taking taylor expansion of 1.0 in y 2.240 * [taylor]: Taking taylor expansion of z in y 2.240 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in z 2.240 * [taylor]: Taking taylor expansion of y in z 2.240 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.240 * [taylor]: Taking taylor expansion of 1.0 in z 2.240 * [taylor]: Taking taylor expansion of z in z 2.240 * [taylor]: Taking taylor expansion of (* y (- 1.0 z)) in z 2.240 * [taylor]: Taking taylor expansion of y in z 2.240 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 2.240 * [taylor]: Taking taylor expansion of 1.0 in z 2.240 * [taylor]: Taking taylor expansion of z in z 2.241 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 2.241 * [taylor]: Taking taylor expansion of 1.0 in y 2.241 * [taylor]: Taking taylor expansion of y in y 2.242 * [taylor]: Taking taylor expansion of (- y) in y 2.242 * [taylor]: Taking taylor expansion of y in y 2.244 * [taylor]: Taking taylor expansion of 0 in y 2.246 * [taylor]: Taking taylor expansion of 0 in y 2.248 * [taylor]: Taking taylor expansion of 0 in y 2.249 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) y) in (z y) around 0 2.249 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) y) in y 2.249 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 2.249 * [taylor]: Taking taylor expansion of 1.0 in y 2.249 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.249 * [taylor]: Taking taylor expansion of z in y 2.249 * [taylor]: Taking taylor expansion of y in y 2.249 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) y) in z 2.249 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.249 * [taylor]: Taking taylor expansion of 1.0 in z 2.249 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.249 * [taylor]: Taking taylor expansion of z in z 2.249 * [taylor]: Taking taylor expansion of y in z 2.250 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) y) in z 2.250 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 2.250 * [taylor]: Taking taylor expansion of 1.0 in z 2.250 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.250 * [taylor]: Taking taylor expansion of z in z 2.250 * [taylor]: Taking taylor expansion of y in z 2.251 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.251 * [taylor]: Taking taylor expansion of -1 in y 2.251 * [taylor]: Taking taylor expansion of y in y 2.252 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.253 * [taylor]: Taking taylor expansion of 1.0 in y 2.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.253 * [taylor]: Taking taylor expansion of y in y 2.255 * [taylor]: Taking taylor expansion of 0 in y 2.257 * [taylor]: Taking taylor expansion of 0 in y 2.259 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) 1.0) y)) in (z y) around 0 2.260 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) 1.0) y)) in y 2.260 * [taylor]: Taking taylor expansion of -1 in y 2.260 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) y) in y 2.260 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 2.260 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.260 * [taylor]: Taking taylor expansion of z in y 2.260 * [taylor]: Taking taylor expansion of 1.0 in y 2.260 * [taylor]: Taking taylor expansion of y in y 2.260 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) 1.0) y)) in z 2.260 * [taylor]: Taking taylor expansion of -1 in z 2.260 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) y) in z 2.260 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.260 * [taylor]: Taking taylor expansion of z in z 2.265 * [taylor]: Taking taylor expansion of 1.0 in z 2.265 * [taylor]: Taking taylor expansion of y in z 2.266 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) 1.0) y)) in z 2.266 * [taylor]: Taking taylor expansion of -1 in z 2.266 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) y) in z 2.266 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 2.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.266 * [taylor]: Taking taylor expansion of z in z 2.266 * [taylor]: Taking taylor expansion of 1.0 in z 2.266 * [taylor]: Taking taylor expansion of y in z 2.267 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.267 * [taylor]: Taking taylor expansion of -1 in y 2.267 * [taylor]: Taking taylor expansion of y in y 2.268 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 2.268 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.268 * [taylor]: Taking taylor expansion of 1.0 in y 2.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.268 * [taylor]: Taking taylor expansion of y in y 2.271 * [taylor]: Taking taylor expansion of 0 in y 2.274 * [taylor]: Taking taylor expansion of 0 in y 2.277 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.277 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) in (x z y) around 0 2.277 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) in y 2.277 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in y 2.277 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 2.277 * [taylor]: Taking taylor expansion of 0.5 in y 2.277 * [taylor]: Taking taylor expansion of x in y 2.277 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 2.277 * [taylor]: Taking taylor expansion of 1.0 in y 2.277 * [taylor]: Taking taylor expansion of y in y 2.277 * [taylor]: Taking taylor expansion of (* z y) in y 2.277 * [taylor]: Taking taylor expansion of z in y 2.277 * [taylor]: Taking taylor expansion of y in y 2.277 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) in z 2.277 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in z 2.277 * [taylor]: Taking taylor expansion of (* 0.5 x) in z 2.277 * [taylor]: Taking taylor expansion of 0.5 in z 2.277 * [taylor]: Taking taylor expansion of x in z 2.277 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 2.277 * [taylor]: Taking taylor expansion of 1.0 in z 2.277 * [taylor]: Taking taylor expansion of y in z 2.277 * [taylor]: Taking taylor expansion of (* z y) in z 2.277 * [taylor]: Taking taylor expansion of z in z 2.277 * [taylor]: Taking taylor expansion of y in z 2.277 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) in x 2.277 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in x 2.277 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.277 * [taylor]: Taking taylor expansion of 0.5 in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.277 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 2.277 * [taylor]: Taking taylor expansion of 1.0 in x 2.277 * [taylor]: Taking taylor expansion of y in x 2.277 * [taylor]: Taking taylor expansion of (* z y) in x 2.277 * [taylor]: Taking taylor expansion of z in x 2.277 * [taylor]: Taking taylor expansion of y in x 2.277 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) in x 2.277 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in x 2.278 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.278 * [taylor]: Taking taylor expansion of 0.5 in x 2.278 * [taylor]: Taking taylor expansion of x in x 2.278 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 2.278 * [taylor]: Taking taylor expansion of 1.0 in x 2.278 * [taylor]: Taking taylor expansion of y in x 2.278 * [taylor]: Taking taylor expansion of (* z y) in x 2.278 * [taylor]: Taking taylor expansion of z in x 2.278 * [taylor]: Taking taylor expansion of y in x 2.278 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (* z y)) in z 2.278 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 2.278 * [taylor]: Taking taylor expansion of 1.0 in z 2.278 * [taylor]: Taking taylor expansion of y in z 2.278 * [taylor]: Taking taylor expansion of (* z y) in z 2.278 * [taylor]: Taking taylor expansion of z in z 2.278 * [taylor]: Taking taylor expansion of y in z 2.279 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 2.279 * [taylor]: Taking taylor expansion of 1.0 in y 2.279 * [taylor]: Taking taylor expansion of y in y 2.281 * [taylor]: Taking taylor expansion of 0.5 in z 2.281 * [taylor]: Taking taylor expansion of 0.5 in y 2.282 * [taylor]: Taking taylor expansion of (- y) in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.285 * [taylor]: Taking taylor expansion of 0 in z 2.285 * [taylor]: Taking taylor expansion of 0 in y 2.285 * [taylor]: Taking taylor expansion of 0 in y 2.287 * [taylor]: Taking taylor expansion of 0 in y 2.288 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) (/ 1 (* z y))) in (x z y) around 0 2.288 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) (/ 1 (* z y))) in y 2.288 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in y 2.288 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.288 * [taylor]: Taking taylor expansion of 1.0 in y 2.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.288 * [taylor]: Taking taylor expansion of y in y 2.288 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.288 * [taylor]: Taking taylor expansion of 0.5 in y 2.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.288 * [taylor]: Taking taylor expansion of x in y 2.288 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.288 * [taylor]: Taking taylor expansion of (* z y) in y 2.288 * [taylor]: Taking taylor expansion of z in y 2.288 * [taylor]: Taking taylor expansion of y in y 2.289 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) (/ 1 (* z y))) in z 2.289 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in z 2.289 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.289 * [taylor]: Taking taylor expansion of 1.0 in z 2.289 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.289 * [taylor]: Taking taylor expansion of y in z 2.289 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 2.289 * [taylor]: Taking taylor expansion of 0.5 in z 2.289 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.289 * [taylor]: Taking taylor expansion of x in z 2.289 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.289 * [taylor]: Taking taylor expansion of (* z y) in z 2.289 * [taylor]: Taking taylor expansion of z in z 2.289 * [taylor]: Taking taylor expansion of y in z 2.289 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) (/ 1 (* z y))) in x 2.289 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in x 2.289 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.289 * [taylor]: Taking taylor expansion of 1.0 in x 2.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.290 * [taylor]: Taking taylor expansion of y in x 2.290 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.290 * [taylor]: Taking taylor expansion of 0.5 in x 2.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.290 * [taylor]: Taking taylor expansion of x in x 2.290 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.290 * [taylor]: Taking taylor expansion of (* z y) in x 2.290 * [taylor]: Taking taylor expansion of z in x 2.290 * [taylor]: Taking taylor expansion of y in x 2.290 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) (/ 1 (* z y))) in x 2.290 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in x 2.290 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.290 * [taylor]: Taking taylor expansion of 1.0 in x 2.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.290 * [taylor]: Taking taylor expansion of y in x 2.290 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.290 * [taylor]: Taking taylor expansion of 0.5 in x 2.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.290 * [taylor]: Taking taylor expansion of x in x 2.290 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.291 * [taylor]: Taking taylor expansion of (* z y) in x 2.291 * [taylor]: Taking taylor expansion of z in x 2.291 * [taylor]: Taking taylor expansion of y in x 2.292 * [taylor]: Taking taylor expansion of 0.5 in z 2.293 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (* z y))) in z 2.293 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.293 * [taylor]: Taking taylor expansion of 1.0 in z 2.293 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.293 * [taylor]: Taking taylor expansion of y in z 2.293 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.293 * [taylor]: Taking taylor expansion of (* z y) in z 2.293 * [taylor]: Taking taylor expansion of z in z 2.293 * [taylor]: Taking taylor expansion of y in z 2.294 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.294 * [taylor]: Taking taylor expansion of y in y 2.294 * [taylor]: Taking taylor expansion of 0.5 in y 2.297 * [taylor]: Taking taylor expansion of 0 in z 2.298 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.298 * [taylor]: Taking taylor expansion of 1.0 in y 2.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.298 * [taylor]: Taking taylor expansion of y in y 2.299 * [taylor]: Taking taylor expansion of 0 in y 2.300 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))))) in (x z y) around 0 2.300 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))))) in y 2.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x)))) in y 2.300 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 2.300 * [taylor]: Taking taylor expansion of (* z y) in y 2.300 * [taylor]: Taking taylor expansion of z in y 2.300 * [taylor]: Taking taylor expansion of y in y 2.301 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in y 2.301 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.301 * [taylor]: Taking taylor expansion of 1.0 in y 2.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.301 * [taylor]: Taking taylor expansion of y in y 2.301 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.301 * [taylor]: Taking taylor expansion of 0.5 in y 2.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.301 * [taylor]: Taking taylor expansion of x in y 2.301 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))))) in z 2.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x)))) in z 2.301 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.301 * [taylor]: Taking taylor expansion of (* z y) in z 2.301 * [taylor]: Taking taylor expansion of z in z 2.301 * [taylor]: Taking taylor expansion of y in z 2.302 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in z 2.302 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.302 * [taylor]: Taking taylor expansion of 1.0 in z 2.302 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.302 * [taylor]: Taking taylor expansion of y in z 2.302 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 2.302 * [taylor]: Taking taylor expansion of 0.5 in z 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.302 * [taylor]: Taking taylor expansion of x in z 2.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))))) in x 2.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x)))) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.302 * [taylor]: Taking taylor expansion of (* z y) in x 2.302 * [taylor]: Taking taylor expansion of z in x 2.302 * [taylor]: Taking taylor expansion of y in x 2.302 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in x 2.302 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.302 * [taylor]: Taking taylor expansion of 1.0 in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.302 * [taylor]: Taking taylor expansion of y in x 2.302 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.302 * [taylor]: Taking taylor expansion of 0.5 in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.302 * [taylor]: Taking taylor expansion of x in x 2.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))))) in x 2.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x)))) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 2.303 * [taylor]: Taking taylor expansion of (* z y) in x 2.303 * [taylor]: Taking taylor expansion of z in x 2.303 * [taylor]: Taking taylor expansion of y in x 2.303 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 x))) in x 2.303 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 2.303 * [taylor]: Taking taylor expansion of 1.0 in x 2.303 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.303 * [taylor]: Taking taylor expansion of y in x 2.303 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.303 * [taylor]: Taking taylor expansion of 0.5 in x 2.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.304 * [taylor]: Taking taylor expansion of (- 0.5) in z 2.304 * [taylor]: Taking taylor expansion of 0.5 in z 2.305 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 y)))) in z 2.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 y))) in z 2.306 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 2.306 * [taylor]: Taking taylor expansion of (* z y) in z 2.306 * [taylor]: Taking taylor expansion of z in z 2.306 * [taylor]: Taking taylor expansion of y in z 2.306 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 2.306 * [taylor]: Taking taylor expansion of 1.0 in z 2.306 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.306 * [taylor]: Taking taylor expansion of y in z 2.306 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.306 * [taylor]: Taking taylor expansion of y in y 2.307 * [taylor]: Taking taylor expansion of (- 0.5) in y 2.307 * [taylor]: Taking taylor expansion of 0.5 in y 2.309 * [taylor]: Taking taylor expansion of 0 in z 2.310 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 2.310 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 2.310 * [taylor]: Taking taylor expansion of 1.0 in y 2.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.310 * [taylor]: Taking taylor expansion of y in y 2.311 * [taylor]: Taking taylor expansion of 0 in y 2.314 * * * [progress]: simplifying candidates 2.315 * [simplify]: Simplifying using # : (* (log z) y) (+ (log (log z)) (log y)) (log (* (log z) y)) (exp (* (log z) y)) (* (* (* (log z) (log z)) (log z)) (* (* y y) y)) (* (cbrt (* (log z) y)) (cbrt (* (log z) y))) (cbrt (* (log z) y)) (* (* (* (log z) y) (* (log z) y)) (* (log z) y)) (sqrt (* (log z) y)) (sqrt (* (log z) y)) (* (sqrt (log z)) (sqrt y)) (* (sqrt (log z)) (sqrt y)) (* (log z) (* (cbrt y) (cbrt y))) (* (log z) (sqrt y)) (* (log z) 1) (* (log z) y) (* (cbrt (log z)) y) (* (sqrt (log z)) y) (* (log z) y) (* (* (exp (* x 0.5)) (exp (* (- 1.0 z) y))) (exp (* (log z) y))) (* (exp (+ (* x 0.5) (* (- 1.0 z) y))) (exp (* (log z) y))) (log (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (exp (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (* (cbrt (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (cbrt (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y)))) (cbrt (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (* (* (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y)) (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (sqrt (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (sqrt (+ (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y))) (+ (pow (+ (* x 0.5) (* (- 1.0 z) y)) 3) (pow (* (log z) y) 3)) (+ (* (+ (* x 0.5) (* (- 1.0 z) y)) (+ (* x 0.5) (* (- 1.0 z) y))) (- (* (* (log z) y) (* (log z) y)) (* (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y)))) (- (* (+ (* x 0.5) (* (- 1.0 z) y)) (+ (* x 0.5) (* (- 1.0 z) y))) (* (* (log z) y) (* (log z) y))) (- (+ (* x 0.5) (* (- 1.0 z) y)) (* (log z) y)) (+ (* (- 1.0 z) y) (* (log z) y)) (* (- 1.0 z) y) (+ (log (- 1.0 z)) (log y)) (log (* (- 1.0 z) y)) (exp (* (- 1.0 z) y)) (* (* (* (- 1.0 z) (- 1.0 z)) (- 1.0 z)) (* (* y y) y)) (* (cbrt (* (- 1.0 z) y)) (cbrt (* (- 1.0 z) y))) (cbrt (* (- 1.0 z) y)) (* (* (* (- 1.0 z) y) (* (- 1.0 z) y)) (* (- 1.0 z) y)) (sqrt (* (- 1.0 z) y)) (sqrt (* (- 1.0 z) y)) (* (sqrt (- 1.0 z)) (sqrt y)) (* (sqrt (- 1.0 z)) (sqrt y)) (* (- 1.0 z) (* (cbrt y) (cbrt y))) (* (- 1.0 z) (sqrt y)) (* (- 1.0 z) 1) (* (cbrt (- 1.0 z)) y) (* (sqrt (- 1.0 z)) y) (* (- 1.0 z) y) (* (- (sqrt 1.0) (sqrt z)) y) (* (- 1.0 z) y) (* (- (pow 1.0 3) (pow z 3)) y) (* (- (* 1.0 1.0) (* z z)) y) (* (exp (* x 0.5)) (exp (* (- 1.0 z) y))) (log (+ (* x 0.5) (* (- 1.0 z) y))) (exp (+ (* x 0.5) (* (- 1.0 z) y))) (* (cbrt (+ (* x 0.5) (* (- 1.0 z) y))) (cbrt (+ (* x 0.5) (* (- 1.0 z) y)))) (cbrt (+ (* x 0.5) (* (- 1.0 z) y))) (* (* (+ (* x 0.5) (* (- 1.0 z) y)) (+ (* x 0.5) (* (- 1.0 z) y))) (+ (* x 0.5) (* (- 1.0 z) y))) (sqrt (+ (* x 0.5) (* (- 1.0 z) y))) (sqrt (+ (* x 0.5) (* (- 1.0 z) y))) (+ (pow (* x 0.5) 3) (pow (* (- 1.0 z) y) 3)) (+ (* (* x 0.5) (* x 0.5)) (- (* (* (- 1.0 z) y) (* (- 1.0 z) y)) (* (* x 0.5) (* (- 1.0 z) y)))) (- (* (* x 0.5) (* x 0.5)) (* (* (- 1.0 z) y) (* (- 1.0 z) y))) (- (* x 0.5) (* (- 1.0 z) y)) (* (log z) y) (* -1 (* y (log (/ 1 z)))) (* (- (log -1) (log (/ -1 z))) y) (- (+ (* (log z) y) (+ (* 1.0 y) (* 0.5 x))) (* z y)) (- (+ (* 0.5 x) (* 1.0 y)) (+ (* z y) (* y (log (/ 1 z))))) (- (+ (* 0.5 x) (+ (* 1.0 y) (* (log -1) y))) (+ (* z y) (* y (log (/ -1 z))))) (- (* 1.0 y) (* z y)) (- (* 1.0 y) (* z y)) (- (* 1.0 y) (* z y)) (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) (- (+ (* 0.5 x) (* 1.0 y)) (* z y)) 2.318 * * [simplify]: iteration 0 : 135 enodes (cost 902 ) 2.349 * * [simplify]: iteration 1 : 358 enodes (cost 792 ) 2.452 * * [simplify]: iteration 2 : 1286 enodes (cost 744 ) 2.997 * * [simplify]: iteration done : 5000 enodes (cost 732 ) 2.997 * [simplify]: Simplified to: (* (log z) y) (log (* (log z) y)) (log (* (log z) y)) (pow z y) (pow (* (log z) y) 3) (* (cbrt (* (log z) y)) (cbrt (* (log z) y))) (cbrt (* (log z) y)) (pow (* (log z) y) 3) (sqrt (* (log z) y)) (sqrt (* (log z) y)) (* (sqrt (log z)) (sqrt y)) (* (sqrt (log z)) (sqrt y)) (* (log z) (* (cbrt y) (cbrt y))) (* (log z) (sqrt y)) (log z) (* (log z) y) (* (cbrt (log z)) y) (* (sqrt (log z)) y) (* (log z) y) (exp (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (exp (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (log (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (exp (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (* (cbrt (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (cbrt (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z)))))) (cbrt (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (pow (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z)))) 3) (sqrt (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (sqrt (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (+ (pow (+ (* x 0.5) (* (- 1.0 z) y)) 3) (pow (* (log z) y) 3)) (+ (* y (* (* (log z) y) (log z))) (* (+ (* x 0.5) (* (- 1.0 z) y)) (+ (* y (- (- 1.0 z) (log z))) (* 0.5 x)))) (* (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z)))) (+ (* y (- (- 1.0 z) (log z))) (* 0.5 x))) (+ (* y (- (- 1.0 z) (log z))) (* 0.5 x)) (* y (+ (- 1.0 z) (log z))) (* (- 1.0 z) y) (log (* (- 1.0 z) y)) (log (* (- 1.0 z) y)) (exp (* (- 1.0 z) y)) (pow (* (- 1.0 z) y) 3) (* (cbrt (* (- 1.0 z) y)) (cbrt (* (- 1.0 z) y))) (cbrt (* (- 1.0 z) y)) (pow (* (- 1.0 z) y) 3) (sqrt (* (- 1.0 z) y)) (sqrt (* (- 1.0 z) y)) (* (sqrt (- 1.0 z)) (sqrt y)) (* (sqrt (- 1.0 z)) (sqrt y)) (* (- 1.0 z) (* (cbrt y) (cbrt y))) (* (- 1.0 z) (sqrt y)) (- 1.0 z) (* (cbrt (- 1.0 z)) y) (* (sqrt (- 1.0 z)) y) (* (- 1.0 z) y) (* (- (sqrt 1.0) (sqrt z)) y) (* (- 1.0 z) y) (* (- (pow 1.0 3) (pow z 3)) y) (* (- (* 1.0 1.0) (* z z)) y) (exp (+ (* x 0.5) (* (- 1.0 z) y))) (log (+ (* x 0.5) (* (- 1.0 z) y))) (exp (+ (* x 0.5) (* (- 1.0 z) y))) (* (cbrt (+ (* x 0.5) (* (- 1.0 z) y))) (cbrt (+ (* x 0.5) (* (- 1.0 z) y)))) (cbrt (+ (* x 0.5) (* (- 1.0 z) y))) (pow (+ (* x 0.5) (* (- 1.0 z) y)) 3) (sqrt (+ (* x 0.5) (* (- 1.0 z) y))) (sqrt (+ (* x 0.5) (* (- 1.0 z) y))) (+ (pow (* x 0.5) 3) (pow (* (- 1.0 z) y) 3)) (+ (* (* (- 1.0 z) y) (- (* (- 1.0 z) y) (* 0.5 x))) (* (* x 0.5) (* x 0.5))) (- (* (* x 0.5) (* x 0.5)) (* (* (- 1.0 z) y) (* (- 1.0 z) y))) (- (* x 0.5) (* (- 1.0 z) y)) (* (log z) y) (- (* (- (log z)) y)) (* (- (log -1) (log (/ -1 z))) y) (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z)))) (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z)))) (+ (* 0.5 x) (* y (- (+ 1.0 (log -1)) (+ z (log (/ -1 z)))))) (* (- 1.0 z) y) (* (- 1.0 z) y) (* (- 1.0 z) y) (+ (* x 0.5) (* (- 1.0 z) y)) (+ (* x 0.5) (* (- 1.0 z) y)) (+ (* x 0.5) (* (- 1.0 z) y)) 2.998 * * * [progress]: adding candidates to table 3.189 * * [progress]: iteration 3 / 4 3.189 * * * [progress]: picking best candidate 3.205 * * * * [pick]: Picked # 3.205 * * * [progress]: localizing error 3.219 * * * [progress]: generating rewritten candidates 3.219 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.258 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.295 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 3.300 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 3.316 * * * [progress]: generating series expansions 3.316 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.316 * [approximate]: Taking taylor expansion of (/ (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) (- 1.0 (+ (log z) z))) in (y z) around 0 3.316 * [taylor]: Taking taylor expansion of (/ (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) (- 1.0 (+ (log z) z))) in z 3.316 * [taylor]: Taking taylor expansion of (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) in z 3.316 * [taylor]: Taking taylor expansion of y in z 3.316 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in z 3.316 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z 3.316 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.316 * [taylor]: Taking taylor expansion of z in z 3.316 * [taylor]: Taking taylor expansion of 1.0 in z 3.316 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in z 3.316 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 3.316 * [taylor]: Taking taylor expansion of 2.0 in z 3.316 * [taylor]: Taking taylor expansion of z in z 3.316 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.316 * [taylor]: Taking taylor expansion of (log z) in z 3.316 * [taylor]: Taking taylor expansion of z in z 3.317 * [taylor]: Taking taylor expansion of (- 1.0 (+ (log z) z)) in z 3.317 * [taylor]: Taking taylor expansion of 1.0 in z 3.317 * [taylor]: Taking taylor expansion of (+ (log z) z) in z 3.317 * [taylor]: Taking taylor expansion of (log z) in z 3.317 * [taylor]: Taking taylor expansion of z in z 3.318 * [taylor]: Taking taylor expansion of z in z 3.320 * [taylor]: Taking taylor expansion of (/ (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) (- 1.0 (+ (log z) z))) in y 3.320 * [taylor]: Taking taylor expansion of (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) in y 3.320 * [taylor]: Taking taylor expansion of y in y 3.320 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in y 3.320 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y 3.320 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.320 * [taylor]: Taking taylor expansion of z in y 3.320 * [taylor]: Taking taylor expansion of 1.0 in y 3.320 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in y 3.320 * [taylor]: Taking taylor expansion of (* 2.0 z) in y 3.320 * [taylor]: Taking taylor expansion of 2.0 in y 3.320 * [taylor]: Taking taylor expansion of z in y 3.320 * [taylor]: Taking taylor expansion of (pow (log z) 2) in y 3.320 * [taylor]: Taking taylor expansion of (log z) in y 3.320 * [taylor]: Taking taylor expansion of z in y 3.320 * [taylor]: Taking taylor expansion of (- 1.0 (+ (log z) z)) in y 3.320 * [taylor]: Taking taylor expansion of 1.0 in y 3.320 * [taylor]: Taking taylor expansion of (+ (log z) z) in y 3.320 * [taylor]: Taking taylor expansion of (log z) in y 3.320 * [taylor]: Taking taylor expansion of z in y 3.321 * [taylor]: Taking taylor expansion of z in y 3.324 * [taylor]: Taking taylor expansion of (/ (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) (- 1.0 (+ (log z) z))) in y 3.324 * [taylor]: Taking taylor expansion of (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) in y 3.324 * [taylor]: Taking taylor expansion of y in y 3.324 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in y 3.324 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y 3.324 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.325 * [taylor]: Taking taylor expansion of z in y 3.325 * [taylor]: Taking taylor expansion of 1.0 in y 3.325 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in y 3.325 * [taylor]: Taking taylor expansion of (* 2.0 z) in y 3.325 * [taylor]: Taking taylor expansion of 2.0 in y 3.325 * [taylor]: Taking taylor expansion of z in y 3.325 * [taylor]: Taking taylor expansion of (pow (log z) 2) in y 3.325 * [taylor]: Taking taylor expansion of (log z) in y 3.325 * [taylor]: Taking taylor expansion of z in y 3.325 * [taylor]: Taking taylor expansion of (- 1.0 (+ (log z) z)) in y 3.325 * [taylor]: Taking taylor expansion of 1.0 in y 3.325 * [taylor]: Taking taylor expansion of (+ (log z) z) in y 3.325 * [taylor]: Taking taylor expansion of (log z) in y 3.325 * [taylor]: Taking taylor expansion of z in y 3.325 * [taylor]: Taking taylor expansion of z in y 3.329 * [taylor]: Taking taylor expansion of (/ (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) (- 1.0 (+ (log z) z))) in z 3.329 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in z 3.329 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z 3.329 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.329 * [taylor]: Taking taylor expansion of z in z 3.329 * [taylor]: Taking taylor expansion of 1.0 in z 3.329 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in z 3.329 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 3.329 * [taylor]: Taking taylor expansion of 2.0 in z 3.329 * [taylor]: Taking taylor expansion of z in z 3.329 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.329 * [taylor]: Taking taylor expansion of (log z) in z 3.329 * [taylor]: Taking taylor expansion of z in z 3.330 * [taylor]: Taking taylor expansion of (- 1.0 (+ (log z) z)) in z 3.330 * [taylor]: Taking taylor expansion of 1.0 in z 3.330 * [taylor]: Taking taylor expansion of (+ (log z) z) in z 3.330 * [taylor]: Taking taylor expansion of (log z) in z 3.330 * [taylor]: Taking taylor expansion of z in z 3.330 * [taylor]: Taking taylor expansion of z in z 3.339 * [taylor]: Taking taylor expansion of 0 in z 3.354 * [taylor]: Taking taylor expansion of 0 in z 3.370 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) (* (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) y)) in (y z) around 0 3.370 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) (* (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) y)) in z 3.370 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in z 3.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.370 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.370 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.370 * [taylor]: Taking taylor expansion of z in z 3.371 * [taylor]: Taking taylor expansion of 1.0 in z 3.371 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in z 3.371 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.371 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.371 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.371 * [taylor]: Taking taylor expansion of z in z 3.371 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.372 * [taylor]: Taking taylor expansion of 2.0 in z 3.372 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.372 * [taylor]: Taking taylor expansion of z in z 3.372 * [taylor]: Taking taylor expansion of (* (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) y) in z 3.372 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) in z 3.372 * [taylor]: Taking taylor expansion of 1.0 in z 3.372 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ 1 z))) in z 3.372 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.372 * [taylor]: Taking taylor expansion of z in z 3.372 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.372 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.372 * [taylor]: Taking taylor expansion of z in z 3.373 * [taylor]: Taking taylor expansion of y in z 3.374 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) (* (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) y)) in y 3.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in y 3.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.374 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.374 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.374 * [taylor]: Taking taylor expansion of z in y 3.374 * [taylor]: Taking taylor expansion of 1.0 in y 3.374 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in y 3.375 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in y 3.375 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.375 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.375 * [taylor]: Taking taylor expansion of z in y 3.375 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.375 * [taylor]: Taking taylor expansion of 2.0 in y 3.375 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.375 * [taylor]: Taking taylor expansion of z in y 3.375 * [taylor]: Taking taylor expansion of (* (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) y) in y 3.375 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) in y 3.375 * [taylor]: Taking taylor expansion of 1.0 in y 3.375 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ 1 z))) in y 3.375 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.375 * [taylor]: Taking taylor expansion of z in y 3.375 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.375 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.375 * [taylor]: Taking taylor expansion of z in y 3.375 * [taylor]: Taking taylor expansion of y in y 3.378 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) (* (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) y)) in y 3.378 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in y 3.378 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.378 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.378 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.378 * [taylor]: Taking taylor expansion of z in y 3.379 * [taylor]: Taking taylor expansion of 1.0 in y 3.379 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in y 3.379 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in y 3.379 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.379 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.379 * [taylor]: Taking taylor expansion of z in y 3.379 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.379 * [taylor]: Taking taylor expansion of 2.0 in y 3.379 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.379 * [taylor]: Taking taylor expansion of z in y 3.379 * [taylor]: Taking taylor expansion of (* (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) y) in y 3.379 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) in y 3.379 * [taylor]: Taking taylor expansion of 1.0 in y 3.379 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ 1 z))) in y 3.379 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.379 * [taylor]: Taking taylor expansion of z in y 3.379 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.379 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.379 * [taylor]: Taking taylor expansion of z in y 3.379 * [taylor]: Taking taylor expansion of y in y 3.382 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) (- 1.0 (+ (/ 1 z) (log (/ 1 z))))) in z 3.383 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in z 3.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.383 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.383 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.383 * [taylor]: Taking taylor expansion of z in z 3.383 * [taylor]: Taking taylor expansion of 1.0 in z 3.383 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in z 3.383 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.383 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.383 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.383 * [taylor]: Taking taylor expansion of z in z 3.384 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.384 * [taylor]: Taking taylor expansion of 2.0 in z 3.384 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.384 * [taylor]: Taking taylor expansion of z in z 3.385 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 z) (log (/ 1 z)))) in z 3.385 * [taylor]: Taking taylor expansion of 1.0 in z 3.385 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (log (/ 1 z))) in z 3.385 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.385 * [taylor]: Taking taylor expansion of z in z 3.385 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.385 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.385 * [taylor]: Taking taylor expansion of z in z 3.392 * [taylor]: Taking taylor expansion of 0 in z 3.405 * [taylor]: Taking taylor expansion of 0 in z 3.424 * [taylor]: Taking taylor expansion of 0 in z 3.449 * [taylor]: Taking taylor expansion of 0 in z 3.450 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y))) in (y z) around 0 3.450 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y))) in z 3.450 * [taylor]: Taking taylor expansion of -1 in z 3.450 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y)) in z 3.450 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in z 3.450 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in z 3.450 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.450 * [taylor]: Taking taylor expansion of 2.0 in z 3.450 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.450 * [taylor]: Taking taylor expansion of z in z 3.450 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.450 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.450 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.450 * [taylor]: Taking taylor expansion of z in z 3.451 * [taylor]: Taking taylor expansion of 1.0 in z 3.451 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.451 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.451 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.451 * [taylor]: Taking taylor expansion of -1 in z 3.451 * [taylor]: Taking taylor expansion of z in z 3.452 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y) in z 3.452 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (log (/ -1 z))) in z 3.452 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.452 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.452 * [taylor]: Taking taylor expansion of z in z 3.452 * [taylor]: Taking taylor expansion of 1.0 in z 3.452 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.452 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.452 * [taylor]: Taking taylor expansion of -1 in z 3.452 * [taylor]: Taking taylor expansion of z in z 3.453 * [taylor]: Taking taylor expansion of y in z 3.454 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y))) in y 3.454 * [taylor]: Taking taylor expansion of -1 in y 3.454 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y)) in y 3.455 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in y 3.455 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in y 3.455 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.455 * [taylor]: Taking taylor expansion of 2.0 in y 3.455 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.455 * [taylor]: Taking taylor expansion of z in y 3.455 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.455 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.455 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.455 * [taylor]: Taking taylor expansion of z in y 3.455 * [taylor]: Taking taylor expansion of 1.0 in y 3.455 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in y 3.455 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 3.455 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.455 * [taylor]: Taking taylor expansion of -1 in y 3.455 * [taylor]: Taking taylor expansion of z in y 3.455 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y) in y 3.455 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (log (/ -1 z))) in y 3.455 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 3.455 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.455 * [taylor]: Taking taylor expansion of z in y 3.455 * [taylor]: Taking taylor expansion of 1.0 in y 3.455 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 3.455 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.455 * [taylor]: Taking taylor expansion of -1 in y 3.455 * [taylor]: Taking taylor expansion of z in y 3.455 * [taylor]: Taking taylor expansion of y in y 3.465 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y))) in y 3.465 * [taylor]: Taking taylor expansion of -1 in y 3.465 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y)) in y 3.465 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in y 3.465 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in y 3.465 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.465 * [taylor]: Taking taylor expansion of 2.0 in y 3.465 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.465 * [taylor]: Taking taylor expansion of z in y 3.465 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.465 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.465 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.465 * [taylor]: Taking taylor expansion of z in y 3.465 * [taylor]: Taking taylor expansion of 1.0 in y 3.465 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in y 3.465 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 3.465 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.465 * [taylor]: Taking taylor expansion of -1 in y 3.465 * [taylor]: Taking taylor expansion of z in y 3.465 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 z) 1.0) (log (/ -1 z))) y) in y 3.465 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (log (/ -1 z))) in y 3.465 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 3.465 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.465 * [taylor]: Taking taylor expansion of z in y 3.465 * [taylor]: Taking taylor expansion of 1.0 in y 3.466 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 3.466 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.466 * [taylor]: Taking taylor expansion of -1 in y 3.466 * [taylor]: Taking taylor expansion of z in y 3.466 * [taylor]: Taking taylor expansion of y in y 3.469 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (- (+ (/ 1 z) 1.0) (log (/ -1 z))))) in z 3.470 * [taylor]: Taking taylor expansion of -1 in z 3.470 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) (- (+ (/ 1 z) 1.0) (log (/ -1 z)))) in z 3.470 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in z 3.470 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in z 3.470 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.470 * [taylor]: Taking taylor expansion of 2.0 in z 3.470 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.470 * [taylor]: Taking taylor expansion of z in z 3.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.470 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.470 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.470 * [taylor]: Taking taylor expansion of z in z 3.471 * [taylor]: Taking taylor expansion of 1.0 in z 3.471 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.471 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.471 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.471 * [taylor]: Taking taylor expansion of -1 in z 3.471 * [taylor]: Taking taylor expansion of z in z 3.472 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1.0) (log (/ -1 z))) in z 3.472 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 3.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.472 * [taylor]: Taking taylor expansion of z in z 3.472 * [taylor]: Taking taylor expansion of 1.0 in z 3.472 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.472 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.472 * [taylor]: Taking taylor expansion of -1 in z 3.473 * [taylor]: Taking taylor expansion of z in z 3.481 * [taylor]: Taking taylor expansion of 0 in z 3.496 * [taylor]: Taking taylor expansion of 0 in z 3.522 * [taylor]: Taking taylor expansion of 0 in z 3.552 * [taylor]: Taking taylor expansion of 0 in z 3.553 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.553 * [approximate]: Taking taylor expansion of (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) in (y z) around 0 3.553 * [taylor]: Taking taylor expansion of (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) in z 3.553 * [taylor]: Taking taylor expansion of y in z 3.553 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in z 3.553 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z 3.553 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.553 * [taylor]: Taking taylor expansion of z in z 3.553 * [taylor]: Taking taylor expansion of 1.0 in z 3.553 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in z 3.553 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 3.553 * [taylor]: Taking taylor expansion of 2.0 in z 3.553 * [taylor]: Taking taylor expansion of z in z 3.553 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.553 * [taylor]: Taking taylor expansion of (log z) in z 3.553 * [taylor]: Taking taylor expansion of z in z 3.554 * [taylor]: Taking taylor expansion of (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) in y 3.554 * [taylor]: Taking taylor expansion of y in y 3.554 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in y 3.554 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y 3.554 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.554 * [taylor]: Taking taylor expansion of z in y 3.554 * [taylor]: Taking taylor expansion of 1.0 in y 3.554 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in y 3.554 * [taylor]: Taking taylor expansion of (* 2.0 z) in y 3.554 * [taylor]: Taking taylor expansion of 2.0 in y 3.554 * [taylor]: Taking taylor expansion of z in y 3.554 * [taylor]: Taking taylor expansion of (pow (log z) 2) in y 3.554 * [taylor]: Taking taylor expansion of (log z) in y 3.554 * [taylor]: Taking taylor expansion of z in y 3.554 * [taylor]: Taking taylor expansion of (* y (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2)))) in y 3.554 * [taylor]: Taking taylor expansion of y in y 3.554 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in y 3.555 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y 3.555 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.555 * [taylor]: Taking taylor expansion of z in y 3.555 * [taylor]: Taking taylor expansion of 1.0 in y 3.555 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in y 3.555 * [taylor]: Taking taylor expansion of (* 2.0 z) in y 3.555 * [taylor]: Taking taylor expansion of 2.0 in y 3.555 * [taylor]: Taking taylor expansion of z in y 3.555 * [taylor]: Taking taylor expansion of (pow (log z) 2) in y 3.555 * [taylor]: Taking taylor expansion of (log z) in y 3.555 * [taylor]: Taking taylor expansion of z in y 3.556 * [taylor]: Taking taylor expansion of 0 in z 3.563 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in z 3.564 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z 3.564 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.564 * [taylor]: Taking taylor expansion of z in z 3.564 * [taylor]: Taking taylor expansion of 1.0 in z 3.564 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in z 3.564 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 3.564 * [taylor]: Taking taylor expansion of 2.0 in z 3.564 * [taylor]: Taking taylor expansion of z in z 3.564 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.564 * [taylor]: Taking taylor expansion of (log z) in z 3.564 * [taylor]: Taking taylor expansion of z in z 3.570 * [taylor]: Taking taylor expansion of 0 in z 3.580 * [taylor]: Taking taylor expansion of 0 in z 3.585 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) y) in (y z) around 0 3.585 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) y) in z 3.585 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in z 3.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.585 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.585 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.585 * [taylor]: Taking taylor expansion of z in z 3.586 * [taylor]: Taking taylor expansion of 1.0 in z 3.586 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in z 3.586 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.586 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.586 * [taylor]: Taking taylor expansion of z in z 3.587 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.587 * [taylor]: Taking taylor expansion of 2.0 in z 3.587 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.587 * [taylor]: Taking taylor expansion of z in z 3.587 * [taylor]: Taking taylor expansion of y in z 3.588 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) y) in y 3.588 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in y 3.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.588 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.588 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.588 * [taylor]: Taking taylor expansion of z in y 3.588 * [taylor]: Taking taylor expansion of 1.0 in y 3.588 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in y 3.588 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in y 3.588 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.588 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.588 * [taylor]: Taking taylor expansion of z in y 3.588 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.588 * [taylor]: Taking taylor expansion of 2.0 in y 3.589 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.589 * [taylor]: Taking taylor expansion of z in y 3.589 * [taylor]: Taking taylor expansion of y in y 3.589 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) y) in y 3.590 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in y 3.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.590 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.590 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.590 * [taylor]: Taking taylor expansion of z in y 3.590 * [taylor]: Taking taylor expansion of 1.0 in y 3.590 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in y 3.590 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in y 3.590 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 3.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.590 * [taylor]: Taking taylor expansion of z in y 3.590 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.590 * [taylor]: Taking taylor expansion of 2.0 in y 3.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.590 * [taylor]: Taking taylor expansion of z in y 3.590 * [taylor]: Taking taylor expansion of y in y 3.591 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in z 3.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.591 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.591 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.591 * [taylor]: Taking taylor expansion of z in z 3.592 * [taylor]: Taking taylor expansion of 1.0 in z 3.592 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in z 3.592 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.592 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.592 * [taylor]: Taking taylor expansion of z in z 3.593 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.593 * [taylor]: Taking taylor expansion of 2.0 in z 3.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.593 * [taylor]: Taking taylor expansion of z in z 3.597 * [taylor]: Taking taylor expansion of 0 in z 3.604 * [taylor]: Taking taylor expansion of 0 in z 3.609 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) y)) in (y z) around 0 3.609 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) y)) in z 3.609 * [taylor]: Taking taylor expansion of -1 in z 3.609 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) y) in z 3.609 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in z 3.609 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in z 3.609 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.609 * [taylor]: Taking taylor expansion of 2.0 in z 3.609 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.609 * [taylor]: Taking taylor expansion of z in z 3.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.609 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.609 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.609 * [taylor]: Taking taylor expansion of z in z 3.610 * [taylor]: Taking taylor expansion of 1.0 in z 3.610 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.610 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.610 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.610 * [taylor]: Taking taylor expansion of -1 in z 3.610 * [taylor]: Taking taylor expansion of z in z 3.611 * [taylor]: Taking taylor expansion of y in z 3.612 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) y)) in y 3.612 * [taylor]: Taking taylor expansion of -1 in y 3.612 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) y) in y 3.612 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in y 3.612 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in y 3.612 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.612 * [taylor]: Taking taylor expansion of 2.0 in y 3.612 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.612 * [taylor]: Taking taylor expansion of z in y 3.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.612 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.612 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.612 * [taylor]: Taking taylor expansion of z in y 3.612 * [taylor]: Taking taylor expansion of 1.0 in y 3.613 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in y 3.613 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 3.613 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.613 * [taylor]: Taking taylor expansion of -1 in y 3.613 * [taylor]: Taking taylor expansion of z in y 3.613 * [taylor]: Taking taylor expansion of y in y 3.614 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) y)) in y 3.614 * [taylor]: Taking taylor expansion of -1 in y 3.614 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) y) in y 3.614 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in y 3.614 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in y 3.614 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y 3.614 * [taylor]: Taking taylor expansion of 2.0 in y 3.614 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.614 * [taylor]: Taking taylor expansion of z in y 3.614 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y 3.614 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 3.614 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.614 * [taylor]: Taking taylor expansion of z in y 3.614 * [taylor]: Taking taylor expansion of 1.0 in y 3.614 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in y 3.614 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 3.614 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.614 * [taylor]: Taking taylor expansion of -1 in y 3.614 * [taylor]: Taking taylor expansion of z in y 3.614 * [taylor]: Taking taylor expansion of y in y 3.615 * [taylor]: Taking taylor expansion of (* -1 (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2))) in z 3.615 * [taylor]: Taking taylor expansion of -1 in z 3.615 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in z 3.615 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in z 3.615 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.615 * [taylor]: Taking taylor expansion of 2.0 in z 3.615 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.615 * [taylor]: Taking taylor expansion of z in z 3.616 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.616 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.616 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.616 * [taylor]: Taking taylor expansion of z in z 3.616 * [taylor]: Taking taylor expansion of 1.0 in z 3.617 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.617 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.617 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.617 * [taylor]: Taking taylor expansion of -1 in z 3.617 * [taylor]: Taking taylor expansion of z in z 3.623 * [taylor]: Taking taylor expansion of 0 in z 3.632 * [taylor]: Taking taylor expansion of 0 in z 3.643 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 3.643 * [approximate]: Taking taylor expansion of (pow (log z) 2) in (z) around 0 3.643 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.643 * [taylor]: Taking taylor expansion of (log z) in z 3.643 * [taylor]: Taking taylor expansion of z in z 3.644 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.644 * [taylor]: Taking taylor expansion of (log z) in z 3.644 * [taylor]: Taking taylor expansion of z in z 3.693 * [approximate]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in (z) around 0 3.693 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.693 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.693 * [taylor]: Taking taylor expansion of z in z 3.694 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.694 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.694 * [taylor]: Taking taylor expansion of z in z 3.746 * [approximate]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in (z) around 0 3.746 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.746 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.746 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.746 * [taylor]: Taking taylor expansion of -1 in z 3.746 * [taylor]: Taking taylor expansion of z in z 3.747 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.747 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.747 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.747 * [taylor]: Taking taylor expansion of -1 in z 3.747 * [taylor]: Taking taylor expansion of z in z 3.802 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 3.802 * [approximate]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in (z) around 0 3.802 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in z 3.802 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z 3.802 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.802 * [taylor]: Taking taylor expansion of z in z 3.802 * [taylor]: Taking taylor expansion of 1.0 in z 3.802 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in z 3.802 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 3.803 * [taylor]: Taking taylor expansion of 2.0 in z 3.803 * [taylor]: Taking taylor expansion of z in z 3.803 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.803 * [taylor]: Taking taylor expansion of (log z) in z 3.803 * [taylor]: Taking taylor expansion of z in z 3.803 * [taylor]: Taking taylor expansion of (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) in z 3.803 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z 3.803 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.803 * [taylor]: Taking taylor expansion of z in z 3.803 * [taylor]: Taking taylor expansion of 1.0 in z 3.803 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) (pow (log z) 2)) in z 3.803 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 3.803 * [taylor]: Taking taylor expansion of 2.0 in z 3.803 * [taylor]: Taking taylor expansion of z in z 3.803 * [taylor]: Taking taylor expansion of (pow (log z) 2) in z 3.803 * [taylor]: Taking taylor expansion of (log z) in z 3.803 * [taylor]: Taking taylor expansion of z in z 3.815 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in (z) around 0 3.815 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in z 3.815 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.815 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.815 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.815 * [taylor]: Taking taylor expansion of z in z 3.815 * [taylor]: Taking taylor expansion of 1.0 in z 3.816 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in z 3.816 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.816 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.816 * [taylor]: Taking taylor expansion of z in z 3.816 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.817 * [taylor]: Taking taylor expansion of 2.0 in z 3.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.817 * [taylor]: Taking taylor expansion of z in z 3.817 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z)))) in z 3.817 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.817 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.817 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.817 * [taylor]: Taking taylor expansion of z in z 3.817 * [taylor]: Taking taylor expansion of 1.0 in z 3.817 * [taylor]: Taking taylor expansion of (+ (pow (log (/ 1 z)) 2) (* 2.0 (/ 1 z))) in z 3.817 * [taylor]: Taking taylor expansion of (pow (log (/ 1 z)) 2) in z 3.817 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.818 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.818 * [taylor]: Taking taylor expansion of z in z 3.818 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.818 * [taylor]: Taking taylor expansion of 2.0 in z 3.818 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.818 * [taylor]: Taking taylor expansion of z in z 3.832 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in (z) around 0 3.833 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in z 3.833 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in z 3.833 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.833 * [taylor]: Taking taylor expansion of 2.0 in z 3.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.833 * [taylor]: Taking taylor expansion of z in z 3.833 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.833 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.833 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.833 * [taylor]: Taking taylor expansion of z in z 3.834 * [taylor]: Taking taylor expansion of 1.0 in z 3.834 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.834 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.834 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.834 * [taylor]: Taking taylor expansion of -1 in z 3.834 * [taylor]: Taking taylor expansion of z in z 3.835 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) (pow (log (/ -1 z)) 2)) in z 3.835 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) (+ (/ 1 (pow z 2)) 1.0)) in z 3.835 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 3.835 * [taylor]: Taking taylor expansion of 2.0 in z 3.835 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.835 * [taylor]: Taking taylor expansion of z in z 3.835 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z 3.835 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.835 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.835 * [taylor]: Taking taylor expansion of z in z 3.836 * [taylor]: Taking taylor expansion of 1.0 in z 3.836 * [taylor]: Taking taylor expansion of (pow (log (/ -1 z)) 2) in z 3.836 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 3.836 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.836 * [taylor]: Taking taylor expansion of -1 in z 3.836 * [taylor]: Taking taylor expansion of z in z 3.848 * * * [progress]: simplifying candidates 3.850 * [simplify]: Simplifying using # : (- (+ (log y) (log (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (log (- (- 1.0 z) (log z)))) (- (log (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (log (- (- 1.0 z) (log z)))) (log (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (exp (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (/ (* (* (* y y) y) (* (* (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* (* (- (- 1.0 z) (log z)) (- (- 1.0 z) (log z))) (- (- 1.0 z) (log z)))) (/ (* (* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* (* (- (- 1.0 z) (log z)) (- (- 1.0 z) (log z))) (- (- 1.0 z) (log z)))) (* (cbrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (cbrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z))))) (cbrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (* (* (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (sqrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (sqrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))) (- (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (- (- (- 1.0 z) (log z))) (/ y (* (cbrt (- (- 1.0 z) (log z))) (cbrt (- (- 1.0 z) (log z))))) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (cbrt (- (- 1.0 z) (log z)))) (/ y (sqrt (- (- 1.0 z) (log z)))) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (sqrt (- (- 1.0 z) (log z)))) (/ y 1) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (- 1.0 z) (log z))) (/ y (+ (sqrt (- 1.0 z)) (sqrt (log z)))) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (sqrt (- 1.0 z)) (sqrt (log z)))) (/ y 1) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (- 1.0 z) (log z))) (/ y 1) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (- 1.0 z) (log z))) (/ y 1) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (- 1.0 z) (log z))) (/ y 1) (/ (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (- 1.0 z) (log z))) (/ 1 (- (- 1.0 z) (log z))) (/ (- (- 1.0 z) (log z)) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* (cbrt (- (- 1.0 z) (log z))) (cbrt (- (- 1.0 z) (log z))))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (sqrt (- (- 1.0 z) (log z)))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) 1) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (+ (sqrt (- 1.0 z)) (sqrt (log z)))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) 1) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) 1) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) 1) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) 1) (/ (- (- 1.0 z) (log z)) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (pow (- 1.0 z) 3) (pow (log z) 3))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* (- (- 1.0 z) (log z)) (+ (* (* (- 1.0 z) (- 1.0 z)) (* (- 1.0 z) (- 1.0 z))) (+ (* (* (log z) (log z)) (* (log z) (log z))) (* (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))))) (* (- (- 1.0 z) (log z)) (+ (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (+ (log y) (log (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (log (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (exp (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* (* (* y y) y) (* (* (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* (cbrt (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (cbrt (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))))) (cbrt (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* (* (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (sqrt (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (sqrt (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* (sqrt y) (sqrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* (sqrt y) (sqrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* y (* (- 1.0 z) (- 1.0 z))) (* y (- (* (log z) (log z)))) (* y (* (- 1.0 z) 1.0)) (* y (- (* (- 1.0 z) (- z)) (* (log z) (log z)))) (* y (* (- 1.0 z) 1.0)) (* y (- (* (- 1.0 z) (- z)) (* (log z) (log z)))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (* (log z) (log z)))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (* (log z) (log z)))) (* y (* (- 1.0 z) (- 1.0 z))) (* y (- (* (log z) (log z)))) (* (* (- 1.0 z) (- 1.0 z)) y) (* (- (* (log z) (log z))) y) (* (* (- 1.0 z) 1.0) y) (* (- (* (- 1.0 z) (- z)) (* (log z) (log z))) y) (* (* (- 1.0 z) 1.0) y) (* (- (* (- 1.0 z) (- z)) (* (log z) (log z))) y) (* (* 1.0 (- 1.0 z)) y) (* (- (* (- z) (- 1.0 z)) (* (log z) (log z))) y) (* (* 1.0 (- 1.0 z)) y) (* (- (* (- z) (- 1.0 z)) (* (log z) (log z))) y) (* (* (- 1.0 z) (- 1.0 z)) y) (* (- (* (log z) (log z))) y) (* y (* (cbrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (cbrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))))) (* y (sqrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (* y 1) (* y (+ (- 1.0 z) (log z))) (* (cbrt y) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* (sqrt y) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* y (- (pow (* (- 1.0 z) (- 1.0 z)) 3) (pow (* (log z) (log z)) 3))) (* y (- (* (* (- 1.0 z) (- 1.0 z)) (* (- 1.0 z) (- 1.0 z))) (* (* (log z) (log z)) (* (log z) (log z))))) (+ 1 1) (* (log z) (log z)) (+ 1 1) (+ (log (log z)) (log (log z))) (log (* (log z) (log z))) (exp (* (log z) (log z))) (* (* (* (log z) (log z)) (log z)) (* (* (log z) (log z)) (log z))) (* (cbrt (* (log z) (log z))) (cbrt (* (log z) (log z)))) (cbrt (* (log z) (log z))) (* (* (* (log z) (log z)) (* (log z) (log z))) (* (log z) (log z))) (sqrt (* (log z) (log z))) (sqrt (* (log z) (log z))) (* 1 1) (* (log z) (log z)) (* 1 1) (* (log z) (log z)) (* (* (cbrt (log z)) (cbrt (log z))) (* (cbrt (log z)) (cbrt (log z)))) (* (cbrt (log z)) (cbrt (log z))) (* (sqrt (log z)) (sqrt (log z))) (* (sqrt (log z)) (sqrt (log z))) (* 1 1) (* (log z) (log z)) (* 1 1) (* (log z) (log z)) (* (sqrt (log z)) (sqrt (log z))) (* (sqrt (log z)) (sqrt (log z))) (* 2 1) (* (log z) (log (* (cbrt z) (cbrt z)))) (* (log z) (log (cbrt z))) (* (log z) (log (sqrt z))) (* (log z) (log (sqrt z))) (* (log z) (log 1)) (* (log z) (log z)) (* (log (* (cbrt z) (cbrt z))) (log z)) (* (log (cbrt z)) (log z)) (* (log (sqrt z)) (log z)) (* (log (sqrt z)) (log z)) (* (log 1) (log z)) (* (log z) (log z)) (* (log z) 1) (* (log z) (* (cbrt (log z)) (cbrt (log z)))) (* (log z) (sqrt (log z))) (* (log z) 1) (* (log z) (log z)) (* (cbrt (log z)) (log z)) (* (sqrt (log z)) (log z)) (* (log z) (log z)) (/ (exp (* (- 1.0 z) (- 1.0 z))) (exp (* (log z) (log z)))) (log (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (exp (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* (cbrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (cbrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (cbrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (* (* (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (sqrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (sqrt (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (pow (* (- 1.0 z) (- 1.0 z)) 3) (pow (* (log z) (log z)) 3)) (+ (* (* (- 1.0 z) (- 1.0 z)) (* (- 1.0 z) (- 1.0 z))) (+ (* (* (log z) (log z)) (* (log z) (log z))) (* (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))) (- (* (log z) (log z))) (- (* (* (- 1.0 z) (- 1.0 z)) (* (- 1.0 z) (- 1.0 z))) (* (* (log z) (log z)) (* (log z) (log z)))) (+ (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))) (+ (- 1.0 z) (log z)) (- (- 1.0 z) (log z)) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log (* (cbrt z) (cbrt z))))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log (sqrt z)))) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log 1))) (- (* (- 1.0 z) (- 1.0 z)) (* (log (* (cbrt z) (cbrt z))) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log (sqrt z)) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log 1) (log z))) (- (* (- 1.0 z) (- z)) (* (log z) (log z))) (- (* (- 1.0 z) (- z)) (* (log z) (log z))) (- (* (- z) (- 1.0 z)) (* (log z) (log z))) (- (* (- z) (- 1.0 z)) (* (log z) (log z))) (- (* (log z) (log z))) (- (+ (* 1.0 (/ (* (pow z 2) y) (pow (- 1.0 (log z)) 3))) (+ (/ (* (pow z 2) y) (- 1.0 (log z))) (+ (* 1.0 (/ y (- 1.0 (log z)))) (* 1.0 (/ (* z y) (pow (- 1.0 (log z)) 2)))))) (+ (* 2.0 (/ (* z y) (- 1.0 (log z)))) (+ (/ (* (pow (log z) 2) y) (- 1.0 (log z))) (+ (* 2.0 (/ (* (pow z 2) y) (pow (- 1.0 (log z)) 2))) (+ (/ (* (pow (log z) 2) (* (pow z 2) y)) (pow (- 1.0 (log z)) 3)) (/ (* (pow (log z) 2) (* z y)) (pow (- 1.0 (log z)) 2))))))) (- (* 1.0 y) (+ (* z y) (* (log (/ 1 z)) y))) (- (+ (* (log -1) y) (* 1.0 y)) (+ (* z y) (* (log (/ -1 z)) y))) (- (+ (* (pow z 2) y) (* 1.0 y)) (+ (* 2.0 (* z y)) (* (pow (log z) 2) y))) (- (+ (* (pow z 2) y) (* 1.0 y)) (+ (* 2.0 (* z y)) (* (pow (log (/ 1 z)) 2) y))) (- (+ (* 1.0 y) (+ (* 2 (* (log -1) (* y (log (/ -1 z))))) (* (pow z 2) y))) (+ (* y (pow (log (/ -1 z)) 2)) (+ (* 2.0 (* z y)) (* (pow (log -1) 2) y)))) (pow (log z) 2) (pow (log (/ 1 z)) 2) (pow (- (log -1) (log (/ -1 z))) 2) (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) (- (+ (pow z 2) 1.0) (+ (pow (log (/ 1 z)) 2) (* 2.0 z))) (- (+ (pow z 2) (+ (* 2 (* (log -1) (log (/ -1 z)))) 1.0)) (+ (* 2.0 z) (+ (pow (log -1) 2) (pow (log (/ -1 z)) 2)))) 3.858 * * [simplify]: iteration 0 : 248 enodes (cost 2685 ) 3.934 * * [simplify]: iteration 1 : 650 enodes (cost 2411 ) 4.262 * * [simplify]: iteration 2 : 2395 enodes (cost 2101 ) 4.819 * * [simplify]: iteration done : 5001 enodes (cost 2101 ) 4.820 * [simplify]: Simplified to: (log (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (log (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (log (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (exp (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (pow (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z))) 3) (pow (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z))) 3) (* (cbrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (cbrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z))))) (cbrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (pow (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z))) 3) (sqrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (sqrt (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (- 1.0 z) (log z)))) (- (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (- (- (- 1.0 z) (log z))) (/ y (* (cbrt (- (- 1.0 z) (log z))) (cbrt (- (- 1.0 z) (log z))))) (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (cbrt (- (- 1.0 z) (log z)))) (/ y (sqrt (- (- 1.0 z) (log z)))) (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (sqrt (- (- 1.0 z) (log z)))) y (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (- (- 1.0 z) (log z))) (/ y (+ (sqrt (- 1.0 z)) (sqrt (log z)))) (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (- (sqrt (- 1.0 z)) (sqrt (log z)))) y (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (- (- 1.0 z) (log z))) y (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (- (- 1.0 z) (log z))) y (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (- (- 1.0 z) (log z))) y (/ (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (- (- 1.0 z) (log z))) (/ 1 (- (- 1.0 z) (log z))) (/ (- (- 1.0 z) (log z)) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (* (cbrt (- (- 1.0 z) (log z))) (cbrt (- (- 1.0 z) (log z))))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (sqrt (- (- 1.0 z) (log z)))) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (+ (sqrt (- 1.0 z)) (sqrt (log z)))) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (/ (- (- 1.0 z) (log z)) (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (/ (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (pow (- 1.0 z) 3) (pow (log z) 3))) y (* (+ (+ (pow (- 1.0 z) 4) (* (pow (log z) 2) (* (- 1.0 z) (- 1.0 z)))) (pow (log z) 4)) (- (- 1.0 z) (log z))) (* (+ (pow (log z) 2) (* (- 1.0 z) (- 1.0 z))) (- (- 1.0 z) (log z))) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (log (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (log (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (exp (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (pow (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) 3) (* (cbrt (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (cbrt (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))))) (cbrt (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (pow (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) 3) (sqrt (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (sqrt (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (* (sqrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (sqrt y)) (* (sqrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (sqrt y)) (* (* (- 1.0 z) (- 1.0 z)) y) (- (* (pow (log z) 2) y)) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* (* (- 1.0 z) (- 1.0 z)) y) (- (* (pow (log z) 2) y)) (* (* (- 1.0 z) (- 1.0 z)) y) (- (* (pow (log z) 2) y)) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* y (* 1.0 (- 1.0 z))) (* y (- (* (- z) (- 1.0 z)) (pow (log z) 2))) (* (* (- 1.0 z) (- 1.0 z)) y) (- (* (pow (log z) 2) y)) (* y (* (cbrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (cbrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))))) (* (sqrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) y) y (* y (+ (- 1.0 z) (log z))) (* (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (cbrt y)) (* (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) (sqrt y)) (* y (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (* (- (pow (- 1.0 z) 6) (pow (log z) 6)) y) (* y (- (pow (- 1.0 z) 4) (pow (log z) 4))) 2 (pow (log z) 2) 2 (* 2 (log (log z))) (* 2 (log (log z))) (pow z (log z)) (pow (log z) 6) (* (cbrt (pow (log z) 2)) (cbrt (pow (log z) 2))) (cbrt (pow (log z) 2)) (pow (log z) 6) (fabs (log z)) (fabs (log z)) 1 (pow (log z) 2) 1 (pow (log z) 2) (* (pow (cbrt (log z)) 3) (cbrt (log z))) (* (cbrt (log z)) (cbrt (log z))) (log z) (log z) 1 (pow (log z) 2) 1 (pow (log z) 2) (log z) (log z) 2 (* (* 2 (log (cbrt z))) (log z)) (* (log (cbrt z)) (log z)) (* (log (sqrt z)) (log z)) (* (log (sqrt z)) (log z)) 0 (pow (log z) 2) (* (* 2 (log (cbrt z))) (log z)) (* (log (cbrt z)) (log z)) (* (log (sqrt z)) (log z)) (* (log (sqrt z)) (log z)) 0 (pow (log z) 2) (log z) (* (log z) (* (cbrt (log z)) (cbrt (log z)))) (pow (sqrt (log z)) 3) (log z) (pow (log z) 2) (* (cbrt (log z)) (log z)) (pow (sqrt (log z)) 3) (pow (log z) 2) (exp (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (log (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (exp (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (* (cbrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (cbrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)))) (cbrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (pow (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2)) 3) (sqrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (sqrt (- (* (- 1.0 z) (- 1.0 z)) (pow (log z) 2))) (- (pow (- 1.0 z) 6) (pow (log z) 6)) (+ (+ (pow (- 1.0 z) 4) (* (pow (log z) 2) (* (- 1.0 z) (- 1.0 z)))) (pow (log z) 4)) (- (pow (log z) 2)) (- (pow (- 1.0 z) 4) (pow (log z) 4)) (+ (pow (log z) 2) (* (- 1.0 z) (- 1.0 z))) (+ (- 1.0 z) (log z)) (- (- 1.0 z) (log z)) (- (* (- 1.0 z) (- 1.0 z)) (* (* 2 (log (cbrt z))) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log (sqrt z)) (log z))) (+ (* (- 1.0 z) (- 1.0 z)) 0) (- (* (- 1.0 z) (- 1.0 z)) (* (* 2 (log (cbrt z))) (log z))) (- (* (- 1.0 z) (- 1.0 z)) (* (log (sqrt z)) (log z))) (+ (* (- 1.0 z) (- 1.0 z)) 0) (- (* (- z) (- 1.0 z)) (pow (log z) 2)) (- (* (- z) (- 1.0 z)) (pow (log z) 2)) (- (* (- z) (- 1.0 z)) (pow (log z) 2)) (- (* (- z) (- 1.0 z)) (pow (log z) 2)) (- (pow (log z) 2)) (- (+ (+ (* 1.0 (/ (* (pow z 2) y) (pow (- 1.0 (log z)) 3))) (/ (* (pow z 2) y) (- 1.0 (log z)))) (* 1.0 (+ (/ y (- 1.0 (log z))) (/ (* z y) (pow (- 1.0 (log z)) 2))))) (+ (* 2.0 (/ (* z y) (- 1.0 (log z)))) (+ (/ (* (pow (log z) 2) y) (- 1.0 (log z))) (+ (* 2.0 (/ (* (pow z 2) y) (pow (- 1.0 (log z)) 2))) (+ (/ (* (pow (log z) 2) (* (pow z 2) y)) (pow (- 1.0 (log z)) 3)) (/ (* (pow (log z) 2) (* z y)) (pow (- 1.0 (log z)) 2))))))) (* y (+ (- 1.0 z) (log z))) (* y (- (+ (log -1) 1.0) (+ z (log (/ -1 z))))) (- (* y (+ (pow z 2) 1.0)) (* y (+ (* 2.0 z) (pow (log z) 2)))) (- (* y (+ (pow z 2) 1.0)) (* y (+ (* 2.0 z) (pow (log z) 2)))) (- (- (+ (* y (+ (pow z 2) 1.0)) (* 2 (* (log -1) (* y (log (/ -1 z)))))) (* y (pow (log (/ -1 z)) 2))) (* y (+ (* 2.0 z) (pow (log -1) 2)))) (pow (log z) 2) (pow (log z) 2) (pow (- (log -1) (log (/ -1 z))) 2) (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) (- (+ (pow z 2) 1.0) (+ (* 2.0 z) (pow (log z) 2))) (- (+ (pow z 2) (+ (* 2 (* (log -1) (log (/ -1 z)))) 1.0)) (+ (* 2.0 z) (+ (pow (log -1) 2) (pow (log (/ -1 z)) 2)))) 4.821 * * * [progress]: adding candidates to table 5.185 * * [progress]: iteration 4 / 4 5.185 * * * [progress]: picking best candidate 5.197 * * * * [pick]: Picked # 5.197 * * * [progress]: localizing error 5.211 * * * [progress]: generating rewritten candidates 5.211 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.226 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 5.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.529 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 5.536 * * * [progress]: generating series expansions 5.536 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.536 * [approximate]: Taking taylor expansion of (- (+ (log z) 1.0) z) in (z) around 0 5.536 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 5.537 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 5.537 * [taylor]: Taking taylor expansion of (log z) in z 5.537 * [taylor]: Taking taylor expansion of z in z 5.537 * [taylor]: Taking taylor expansion of 1.0 in z 5.537 * [taylor]: Taking taylor expansion of z in z 5.537 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 5.537 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 5.537 * [taylor]: Taking taylor expansion of (log z) in z 5.537 * [taylor]: Taking taylor expansion of z in z 5.538 * [taylor]: Taking taylor expansion of 1.0 in z 5.538 * [taylor]: Taking taylor expansion of z in z 5.606 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in (z) around 0 5.606 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 5.606 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 5.606 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.606 * [taylor]: Taking taylor expansion of z in z 5.606 * [taylor]: Taking taylor expansion of 1.0 in z 5.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.606 * [taylor]: Taking taylor expansion of z in z 5.607 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 5.607 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 5.607 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.607 * [taylor]: Taking taylor expansion of z in z 5.607 * [taylor]: Taking taylor expansion of 1.0 in z 5.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.607 * [taylor]: Taking taylor expansion of z in z 5.657 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in (z) around 0 5.657 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 5.657 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.657 * [taylor]: Taking taylor expansion of z in z 5.657 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 5.657 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.657 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.657 * [taylor]: Taking taylor expansion of -1 in z 5.657 * [taylor]: Taking taylor expansion of z in z 5.658 * [taylor]: Taking taylor expansion of 1.0 in z 5.658 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 5.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.658 * [taylor]: Taking taylor expansion of z in z 5.658 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 5.658 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.658 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.658 * [taylor]: Taking taylor expansion of -1 in z 5.658 * [taylor]: Taking taylor expansion of z in z 5.659 * [taylor]: Taking taylor expansion of 1.0 in z 5.709 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 5.710 * [approximate]: Taking taylor expansion of (pow (- (+ (log z) 1.0) z) 3) in (z) around 0 5.710 * [taylor]: Taking taylor expansion of (pow (- (+ (log z) 1.0) z) 3) in z 5.710 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 5.710 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 5.710 * [taylor]: Taking taylor expansion of (log z) in z 5.710 * [taylor]: Taking taylor expansion of z in z 5.710 * [taylor]: Taking taylor expansion of 1.0 in z 5.710 * [taylor]: Taking taylor expansion of z in z 5.711 * [taylor]: Taking taylor expansion of (pow (- (+ (log z) 1.0) z) 3) in z 5.711 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 5.711 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 5.711 * [taylor]: Taking taylor expansion of (log z) in z 5.711 * [taylor]: Taking taylor expansion of z in z 5.711 * [taylor]: Taking taylor expansion of 1.0 in z 5.711 * [taylor]: Taking taylor expansion of z in z 5.718 * [approximate]: Taking taylor expansion of (pow (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) 3) in (z) around 0 5.718 * [taylor]: Taking taylor expansion of (pow (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) 3) in z 5.718 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 5.718 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 5.718 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.718 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.718 * [taylor]: Taking taylor expansion of z in z 5.719 * [taylor]: Taking taylor expansion of 1.0 in z 5.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.719 * [taylor]: Taking taylor expansion of z in z 5.720 * [taylor]: Taking taylor expansion of (pow (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) 3) in z 5.720 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 5.720 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 5.720 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.720 * [taylor]: Taking taylor expansion of z in z 5.721 * [taylor]: Taking taylor expansion of 1.0 in z 5.721 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.721 * [taylor]: Taking taylor expansion of z in z 5.728 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) 3) in (z) around 0 5.728 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) 3) in z 5.728 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 5.728 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.728 * [taylor]: Taking taylor expansion of z in z 5.729 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 5.729 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.729 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.729 * [taylor]: Taking taylor expansion of -1 in z 5.729 * [taylor]: Taking taylor expansion of z in z 5.730 * [taylor]: Taking taylor expansion of 1.0 in z 5.730 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) 3) in z 5.730 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 5.730 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.730 * [taylor]: Taking taylor expansion of z in z 5.730 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 5.730 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.730 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.730 * [taylor]: Taking taylor expansion of -1 in z 5.730 * [taylor]: Taking taylor expansion of z in z 5.731 * [taylor]: Taking taylor expansion of 1.0 in z 5.753 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.753 * [approximate]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in (y z) around 0 5.753 * [taylor]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in z 5.753 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 5.753 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 5.753 * [taylor]: Taking taylor expansion of (log z) in z 5.753 * [taylor]: Taking taylor expansion of z in z 5.754 * [taylor]: Taking taylor expansion of 1.0 in z 5.754 * [taylor]: Taking taylor expansion of z in z 5.754 * [taylor]: Taking taylor expansion of y in z 5.754 * [taylor]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in y 5.754 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in y 5.754 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in y 5.754 * [taylor]: Taking taylor expansion of (log z) in y 5.754 * [taylor]: Taking taylor expansion of z in y 5.754 * [taylor]: Taking taylor expansion of 1.0 in y 5.754 * [taylor]: Taking taylor expansion of z in y 5.754 * [taylor]: Taking taylor expansion of y in y 5.754 * [taylor]: Taking taylor expansion of (* (- (+ (log z) 1.0) z) y) in y 5.754 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in y 5.754 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in y 5.754 * [taylor]: Taking taylor expansion of (log z) in y 5.754 * [taylor]: Taking taylor expansion of z in y 5.754 * [taylor]: Taking taylor expansion of 1.0 in y 5.754 * [taylor]: Taking taylor expansion of z in y 5.754 * [taylor]: Taking taylor expansion of y in y 5.754 * [taylor]: Taking taylor expansion of 0 in z 5.756 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 5.756 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 5.756 * [taylor]: Taking taylor expansion of (log z) in z 5.756 * [taylor]: Taking taylor expansion of z in z 5.757 * [taylor]: Taking taylor expansion of 1.0 in z 5.757 * [taylor]: Taking taylor expansion of z in z 5.760 * [taylor]: Taking taylor expansion of 0 in z 5.765 * [taylor]: Taking taylor expansion of 0 in z 5.772 * [taylor]: Taking taylor expansion of 0 in z 5.772 * [approximate]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in (y z) around 0 5.772 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in z 5.772 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 5.772 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 5.772 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.772 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.772 * [taylor]: Taking taylor expansion of z in z 5.773 * [taylor]: Taking taylor expansion of 1.0 in z 5.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.773 * [taylor]: Taking taylor expansion of z in z 5.773 * [taylor]: Taking taylor expansion of y in z 5.774 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in y 5.774 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in y 5.774 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in y 5.774 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 5.774 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.774 * [taylor]: Taking taylor expansion of z in y 5.774 * [taylor]: Taking taylor expansion of 1.0 in y 5.774 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.774 * [taylor]: Taking taylor expansion of z in y 5.774 * [taylor]: Taking taylor expansion of y in y 5.774 * [taylor]: Taking taylor expansion of (/ (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) y) in y 5.774 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in y 5.774 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in y 5.774 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 5.775 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.775 * [taylor]: Taking taylor expansion of z in y 5.775 * [taylor]: Taking taylor expansion of 1.0 in y 5.775 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.775 * [taylor]: Taking taylor expansion of z in y 5.775 * [taylor]: Taking taylor expansion of y in y 5.775 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 5.775 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 5.775 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.775 * [taylor]: Taking taylor expansion of z in z 5.776 * [taylor]: Taking taylor expansion of 1.0 in z 5.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.776 * [taylor]: Taking taylor expansion of z in z 5.779 * [taylor]: Taking taylor expansion of 0 in z 5.786 * [taylor]: Taking taylor expansion of 0 in z 5.793 * [taylor]: Taking taylor expansion of 0 in z 5.802 * [taylor]: Taking taylor expansion of 0 in z 5.803 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in (y z) around 0 5.803 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in z 5.803 * [taylor]: Taking taylor expansion of -1 in z 5.803 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y) in z 5.803 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 5.803 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.803 * [taylor]: Taking taylor expansion of z in z 5.803 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 5.803 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.803 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.804 * [taylor]: Taking taylor expansion of -1 in z 5.804 * [taylor]: Taking taylor expansion of z in z 5.804 * [taylor]: Taking taylor expansion of 1.0 in z 5.804 * [taylor]: Taking taylor expansion of y in z 5.805 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in y 5.805 * [taylor]: Taking taylor expansion of -1 in y 5.805 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y) in y 5.805 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in y 5.805 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.805 * [taylor]: Taking taylor expansion of z in y 5.805 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in y 5.805 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 5.805 * [taylor]: Taking taylor expansion of (/ -1 z) in y 5.805 * [taylor]: Taking taylor expansion of -1 in y 5.805 * [taylor]: Taking taylor expansion of z in y 5.805 * [taylor]: Taking taylor expansion of 1.0 in y 5.805 * [taylor]: Taking taylor expansion of y in y 5.805 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y)) in y 5.805 * [taylor]: Taking taylor expansion of -1 in y 5.805 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) y) in y 5.805 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in y 5.805 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.805 * [taylor]: Taking taylor expansion of z in y 5.805 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in y 5.805 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 5.805 * [taylor]: Taking taylor expansion of (/ -1 z) in y 5.805 * [taylor]: Taking taylor expansion of -1 in y 5.805 * [taylor]: Taking taylor expansion of z in y 5.805 * [taylor]: Taking taylor expansion of 1.0 in y 5.805 * [taylor]: Taking taylor expansion of y in y 5.806 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 z) (+ (log (/ -1 z)) 1.0))) in z 5.806 * [taylor]: Taking taylor expansion of -1 in z 5.806 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 5.806 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.806 * [taylor]: Taking taylor expansion of z in z 5.806 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 5.806 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.806 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.806 * [taylor]: Taking taylor expansion of -1 in z 5.806 * [taylor]: Taking taylor expansion of z in z 5.807 * [taylor]: Taking taylor expansion of 1.0 in z 5.810 * [taylor]: Taking taylor expansion of 0 in z 5.817 * [taylor]: Taking taylor expansion of 0 in z 5.826 * [taylor]: Taking taylor expansion of 0 in z 5.837 * [taylor]: Taking taylor expansion of 0 in z 5.838 * * * * [progress]: [ 4 / 4 ] generating series at (2) 5.839 * [approximate]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in (x y z) around 0 5.839 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in z 5.839 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in z 5.839 * [taylor]: Taking taylor expansion of (* (log z) y) in z 5.839 * [taylor]: Taking taylor expansion of (log z) in z 5.839 * [taylor]: Taking taylor expansion of z in z 5.839 * [taylor]: Taking taylor expansion of y in z 5.839 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in z 5.839 * [taylor]: Taking taylor expansion of (* 0.5 x) in z 5.839 * [taylor]: Taking taylor expansion of 0.5 in z 5.839 * [taylor]: Taking taylor expansion of x in z 5.839 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 5.839 * [taylor]: Taking taylor expansion of 1.0 in z 5.839 * [taylor]: Taking taylor expansion of y in z 5.839 * [taylor]: Taking taylor expansion of (* z y) in z 5.839 * [taylor]: Taking taylor expansion of z in z 5.839 * [taylor]: Taking taylor expansion of y in z 5.839 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in y 5.839 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in y 5.839 * [taylor]: Taking taylor expansion of (* (log z) y) in y 5.839 * [taylor]: Taking taylor expansion of (log z) in y 5.839 * [taylor]: Taking taylor expansion of z in y 5.839 * [taylor]: Taking taylor expansion of y in y 5.839 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in y 5.839 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 5.839 * [taylor]: Taking taylor expansion of 0.5 in y 5.840 * [taylor]: Taking taylor expansion of x in y 5.840 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.840 * [taylor]: Taking taylor expansion of 1.0 in y 5.840 * [taylor]: Taking taylor expansion of y in y 5.840 * [taylor]: Taking taylor expansion of (* z y) in y 5.840 * [taylor]: Taking taylor expansion of z in y 5.840 * [taylor]: Taking taylor expansion of y in y 5.840 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in x 5.840 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in x 5.840 * [taylor]: Taking taylor expansion of (* (log z) y) in x 5.840 * [taylor]: Taking taylor expansion of (log z) in x 5.840 * [taylor]: Taking taylor expansion of z in x 5.840 * [taylor]: Taking taylor expansion of y in x 5.840 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in x 5.840 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 5.840 * [taylor]: Taking taylor expansion of 0.5 in x 5.840 * [taylor]: Taking taylor expansion of x in x 5.840 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.840 * [taylor]: Taking taylor expansion of 1.0 in x 5.840 * [taylor]: Taking taylor expansion of y in x 5.840 * [taylor]: Taking taylor expansion of (* z y) in x 5.840 * [taylor]: Taking taylor expansion of z in x 5.840 * [taylor]: Taking taylor expansion of y in x 5.840 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) (* z y)) in x 5.840 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (+ (* 0.5 x) (* 1.0 y))) in x 5.840 * [taylor]: Taking taylor expansion of (* (log z) y) in x 5.840 * [taylor]: Taking taylor expansion of (log z) in x 5.840 * [taylor]: Taking taylor expansion of z in x 5.840 * [taylor]: Taking taylor expansion of y in x 5.840 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 1.0 y)) in x 5.840 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 5.840 * [taylor]: Taking taylor expansion of 0.5 in x 5.840 * [taylor]: Taking taylor expansion of x in x 5.840 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 5.840 * [taylor]: Taking taylor expansion of 1.0 in x 5.840 * [taylor]: Taking taylor expansion of y in x 5.840 * [taylor]: Taking taylor expansion of (* z y) in x 5.840 * [taylor]: Taking taylor expansion of z in x 5.840 * [taylor]: Taking taylor expansion of y in x 5.841 * [taylor]: Taking taylor expansion of (- (+ (* (log z) y) (* 1.0 y)) (* z y)) in y 5.841 * [taylor]: Taking taylor expansion of (+ (* (log z) y) (* 1.0 y)) in y 5.841 * [taylor]: Taking taylor expansion of (* (log z) y) in y 5.841 * [taylor]: Taking taylor expansion of (log z) in y 5.841 * [taylor]: Taking taylor expansion of z in y 5.841 * [taylor]: Taking taylor expansion of y in y 5.841 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 5.841 * [taylor]: Taking taylor expansion of 1.0 in y 5.841 * [taylor]: Taking taylor expansion of y in y 5.841 * [taylor]: Taking taylor expansion of (* z y) in y 5.841 * [taylor]: Taking taylor expansion of z in y 5.841 * [taylor]: Taking taylor expansion of y in y 5.843 * [taylor]: Taking taylor expansion of 0 in z 5.846 * [taylor]: Taking taylor expansion of 0.5 in y 5.846 * [taylor]: Taking taylor expansion of 0.5 in z 5.848 * [taylor]: Taking taylor expansion of (- (+ (log z) 1.0) z) in z 5.848 * [taylor]: Taking taylor expansion of (+ (log z) 1.0) in z 5.848 * [taylor]: Taking taylor expansion of (log z) in z 5.848 * [taylor]: Taking taylor expansion of z in z 5.848 * [taylor]: Taking taylor expansion of 1.0 in z 5.848 * [taylor]: Taking taylor expansion of z in z 5.853 * [taylor]: Taking taylor expansion of 0 in y 5.853 * [taylor]: Taking taylor expansion of 0 in z 5.853 * [taylor]: Taking taylor expansion of 0 in z 5.856 * [taylor]: Taking taylor expansion of 0 in z 5.858 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in (x y z) around 0 5.858 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in z 5.858 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in z 5.858 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 5.858 * [taylor]: Taking taylor expansion of 1.0 in z 5.859 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.859 * [taylor]: Taking taylor expansion of y in z 5.859 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in z 5.859 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in z 5.859 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.859 * [taylor]: Taking taylor expansion of z in z 5.859 * [taylor]: Taking taylor expansion of y in z 5.860 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 5.860 * [taylor]: Taking taylor expansion of 0.5 in z 5.860 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.860 * [taylor]: Taking taylor expansion of x in z 5.860 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.860 * [taylor]: Taking taylor expansion of (* z y) in z 5.860 * [taylor]: Taking taylor expansion of z in z 5.860 * [taylor]: Taking taylor expansion of y in z 5.861 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in y 5.861 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in y 5.861 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.861 * [taylor]: Taking taylor expansion of 1.0 in y 5.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.861 * [taylor]: Taking taylor expansion of y in y 5.861 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in y 5.861 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y 5.861 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 5.861 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.861 * [taylor]: Taking taylor expansion of z in y 5.861 * [taylor]: Taking taylor expansion of y in y 5.861 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 5.861 * [taylor]: Taking taylor expansion of 0.5 in y 5.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.861 * [taylor]: Taking taylor expansion of x in y 5.861 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.861 * [taylor]: Taking taylor expansion of (* z y) in y 5.861 * [taylor]: Taking taylor expansion of z in y 5.861 * [taylor]: Taking taylor expansion of y in y 5.862 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in x 5.862 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in x 5.862 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.862 * [taylor]: Taking taylor expansion of 1.0 in x 5.862 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.862 * [taylor]: Taking taylor expansion of y in x 5.862 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in x 5.862 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x 5.862 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 5.862 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.862 * [taylor]: Taking taylor expansion of z in x 5.862 * [taylor]: Taking taylor expansion of y in x 5.862 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 5.862 * [taylor]: Taking taylor expansion of 0.5 in x 5.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.862 * [taylor]: Taking taylor expansion of x in x 5.863 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.863 * [taylor]: Taking taylor expansion of (* z y) in x 5.863 * [taylor]: Taking taylor expansion of z in x 5.863 * [taylor]: Taking taylor expansion of y in x 5.863 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) (/ 1 (* z y))) in x 5.863 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x)))) in x 5.863 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.863 * [taylor]: Taking taylor expansion of 1.0 in x 5.863 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.863 * [taylor]: Taking taylor expansion of y in x 5.863 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 z)) y) (* 0.5 (/ 1 x))) in x 5.863 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in x 5.863 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 5.863 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.863 * [taylor]: Taking taylor expansion of z in x 5.863 * [taylor]: Taking taylor expansion of y in x 5.863 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 5.863 * [taylor]: Taking taylor expansion of 0.5 in x 5.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.863 * [taylor]: Taking taylor expansion of x in x 5.863 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.863 * [taylor]: Taking taylor expansion of (* z y) in x 5.863 * [taylor]: Taking taylor expansion of z in x 5.864 * [taylor]: Taking taylor expansion of y in x 5.865 * [taylor]: Taking taylor expansion of 0.5 in y 5.866 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (/ (log (/ 1 z)) y)) (/ 1 (* z y))) in y 5.866 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log (/ 1 z)) y)) in y 5.866 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.866 * [taylor]: Taking taylor expansion of 1.0 in y 5.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.866 * [taylor]: Taking taylor expansion of y in y 5.867 * [taylor]: Taking taylor expansion of (/ (log (/ 1 z)) y) in y 5.867 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 5.867 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.867 * [taylor]: Taking taylor expansion of z in y 5.867 * [taylor]: Taking taylor expansion of y in y 5.867 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.867 * [taylor]: Taking taylor expansion of (* z y) in y 5.867 * [taylor]: Taking taylor expansion of z in y 5.867 * [taylor]: Taking taylor expansion of y in y 5.868 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 z)) 1.0) (/ 1 z)) in z 5.868 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) 1.0) in z 5.868 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 5.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.868 * [taylor]: Taking taylor expansion of z in z 5.868 * [taylor]: Taking taylor expansion of 1.0 in z 5.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.868 * [taylor]: Taking taylor expansion of z in z 5.869 * [taylor]: Taking taylor expansion of 0.5 in z 5.873 * [taylor]: Taking taylor expansion of 0 in y 5.877 * [taylor]: Taking taylor expansion of 0 in z 5.877 * [taylor]: Taking taylor expansion of 0 in z 5.879 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in (x y z) around 0 5.879 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in z 5.879 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in z 5.879 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.879 * [taylor]: Taking taylor expansion of (* z y) in z 5.879 * [taylor]: Taking taylor expansion of z in z 5.879 * [taylor]: Taking taylor expansion of y in z 5.879 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in z 5.879 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 5.879 * [taylor]: Taking taylor expansion of 1.0 in z 5.879 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.879 * [taylor]: Taking taylor expansion of y in z 5.879 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in z 5.879 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in z 5.879 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.879 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.879 * [taylor]: Taking taylor expansion of -1 in z 5.879 * [taylor]: Taking taylor expansion of z in z 5.883 * [taylor]: Taking taylor expansion of y in z 5.884 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 5.884 * [taylor]: Taking taylor expansion of 0.5 in z 5.885 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.885 * [taylor]: Taking taylor expansion of x in z 5.885 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in y 5.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in y 5.885 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.885 * [taylor]: Taking taylor expansion of (* z y) in y 5.885 * [taylor]: Taking taylor expansion of z in y 5.885 * [taylor]: Taking taylor expansion of y in y 5.885 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in y 5.885 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.885 * [taylor]: Taking taylor expansion of 1.0 in y 5.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.885 * [taylor]: Taking taylor expansion of y in y 5.885 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in y 5.885 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y 5.885 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 5.886 * [taylor]: Taking taylor expansion of (/ -1 z) in y 5.886 * [taylor]: Taking taylor expansion of -1 in y 5.886 * [taylor]: Taking taylor expansion of z in y 5.886 * [taylor]: Taking taylor expansion of y in y 5.886 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 5.886 * [taylor]: Taking taylor expansion of 0.5 in y 5.886 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.886 * [taylor]: Taking taylor expansion of x in y 5.886 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in x 5.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in x 5.886 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.886 * [taylor]: Taking taylor expansion of (* z y) in x 5.886 * [taylor]: Taking taylor expansion of z in x 5.886 * [taylor]: Taking taylor expansion of y in x 5.886 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in x 5.886 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.886 * [taylor]: Taking taylor expansion of 1.0 in x 5.886 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.886 * [taylor]: Taking taylor expansion of y in x 5.886 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in x 5.886 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x 5.886 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x 5.886 * [taylor]: Taking taylor expansion of (/ -1 z) in x 5.886 * [taylor]: Taking taylor expansion of -1 in x 5.886 * [taylor]: Taking taylor expansion of z in x 5.886 * [taylor]: Taking taylor expansion of y in x 5.886 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 5.886 * [taylor]: Taking taylor expansion of 0.5 in x 5.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.886 * [taylor]: Taking taylor expansion of x in x 5.887 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))))) in x 5.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))))) in x 5.887 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.887 * [taylor]: Taking taylor expansion of (* z y) in x 5.887 * [taylor]: Taking taylor expansion of z in x 5.887 * [taylor]: Taking taylor expansion of y in x 5.887 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x)))) in x 5.887 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 5.887 * [taylor]: Taking taylor expansion of 1.0 in x 5.887 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.887 * [taylor]: Taking taylor expansion of y in x 5.887 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 z)) y) (* 0.5 (/ 1 x))) in x 5.887 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in x 5.887 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x 5.887 * [taylor]: Taking taylor expansion of (/ -1 z) in x 5.887 * [taylor]: Taking taylor expansion of -1 in x 5.887 * [taylor]: Taking taylor expansion of z in x 5.887 * [taylor]: Taking taylor expansion of y in x 5.887 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 5.887 * [taylor]: Taking taylor expansion of 0.5 in x 5.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.887 * [taylor]: Taking taylor expansion of x in x 5.889 * [taylor]: Taking taylor expansion of (- 0.5) in y 5.889 * [taylor]: Taking taylor expansion of 0.5 in y 5.891 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y)))) in y 5.891 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y))) in y 5.891 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.891 * [taylor]: Taking taylor expansion of (* z y) in y 5.891 * [taylor]: Taking taylor expansion of z in y 5.891 * [taylor]: Taking taylor expansion of y in y 5.891 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log (/ -1 z)) y)) in y 5.891 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 5.891 * [taylor]: Taking taylor expansion of 1.0 in y 5.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.891 * [taylor]: Taking taylor expansion of y in y 5.892 * [taylor]: Taking taylor expansion of (/ (log (/ -1 z)) y) in y 5.892 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y 5.892 * [taylor]: Taking taylor expansion of (/ -1 z) in y 5.892 * [taylor]: Taking taylor expansion of -1 in y 5.892 * [taylor]: Taking taylor expansion of z in y 5.892 * [taylor]: Taking taylor expansion of y in y 5.892 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (log (/ -1 z)) 1.0))) in z 5.892 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (log (/ -1 z)) 1.0)) in z 5.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.892 * [taylor]: Taking taylor expansion of z in z 5.893 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) 1.0) in z 5.893 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 5.893 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.893 * [taylor]: Taking taylor expansion of -1 in z 5.893 * [taylor]: Taking taylor expansion of z in z 5.893 * [taylor]: Taking taylor expansion of 1.0 in z 5.894 * [taylor]: Taking taylor expansion of (- 0.5) in z 5.894 * [taylor]: Taking taylor expansion of 0.5 in z 5.898 * [taylor]: Taking taylor expansion of 0 in y 5.901 * [taylor]: Taking taylor expansion of 0 in z 5.901 * [taylor]: Taking taylor expansion of 0 in z 5.906 * * * [progress]: simplifying candidates 5.908 * [simplify]: Simplifying using # : (log (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (exp (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (pow (* (cbrt (+ (log z) (- 1.0 z))) (cbrt (+ (log z) (- 1.0 z)))) 3)) (cbrt (pow (cbrt (+ (log z) (- 1.0 z))) 3)) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3)) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (* (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z)))) (cbrt (+ (log z) (- 1.0 z))) (cbrt (* (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (cbrt (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (pow (* (cbrt (+ (log z) (- 1.0 z))) (cbrt (+ (log z) (- 1.0 z)))) 3)) (cbrt (pow (cbrt (+ (log z) (- 1.0 z))) 3)) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3)) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (+ (log z) (- 1.0 z))) (cbrt (* (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z)))) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt 1) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow (+ (log z) (- 1.0 z)) (/ 3 2))) (cbrt (pow (+ (log z) (- 1.0 z)) (/ 3 2))) (cbrt (pow (+ (pow (log z) 3) (pow (- 1.0 z) 3)) 3)) (cbrt (pow (+ (* (log z) (log z)) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (- 1.0 z)))) 3)) (cbrt (pow (- (* (log z) (log z)) (* (- 1.0 z) (- 1.0 z))) 3)) (cbrt (pow (- (log z) (- 1.0 z)) 3)) (* (cbrt (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (cbrt (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* (* (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (sqrt (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (sqrt (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* (log (+ (log z) (- 1.0 z))) 3) (* (log (+ (log z) (- 1.0 z))) 3) (* 1 3) (pow (+ (log z) (- 1.0 z)) (* (cbrt 3) (cbrt 3))) (pow (+ (log z) (- 1.0 z)) (sqrt 3)) (pow (+ (log z) (- 1.0 z)) 1) (pow (* (cbrt (+ (log z) (- 1.0 z))) (cbrt (+ (log z) (- 1.0 z)))) 3) (pow (cbrt (+ (log z) (- 1.0 z))) 3) (pow (sqrt (+ (log z) (- 1.0 z))) 3) (pow (sqrt (+ (log z) (- 1.0 z))) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (* (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z))) (log (pow (+ (log z) (- 1.0 z)) 3)) (exp (pow (+ (log z) (- 1.0 z)) 3)) (* (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (* (* (pow (+ (log z) (- 1.0 z)) 3) (pow (+ (log z) (- 1.0 z)) 3)) (pow (+ (log z) (- 1.0 z)) 3)) (pow (* (cbrt (+ (log z) (- 1.0 z))) (cbrt (+ (log z) (- 1.0 z)))) 3) (pow (cbrt (+ (log z) (- 1.0 z))) 3) (pow (sqrt (+ (log z) (- 1.0 z))) 3) (pow (sqrt (+ (log z) (- 1.0 z))) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow 1 3) (pow (+ (log z) (- 1.0 z)) 3) (pow (+ (pow (log z) 3) (pow (- 1.0 z) 3)) 3) (pow (+ (* (log z) (log z)) (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (- 1.0 z)))) 3) (pow (- (* (log z) (log z)) (* (- 1.0 z) (- 1.0 z))) 3) (pow (- (log z) (- 1.0 z)) 3) (* (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z))) (sqrt (pow (+ (log z) (- 1.0 z)) 3)) (sqrt (pow (+ (log z) (- 1.0 z)) 3)) (pow (+ (log z) (- 1.0 z)) (/ 3 2)) (pow (+ (log z) (- 1.0 z)) (/ 3 2)) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (+ (log y) (log (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (log (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (exp (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (* (* y y) y) (pow (+ (log z) (- 1.0 z)) 3)) (* (cbrt (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (cbrt (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (cbrt (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (* (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (sqrt (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (sqrt (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (sqrt y) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3))) (* (sqrt y) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3))) (* (sqrt y) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3))) (* (sqrt y) (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3))) (* (sqrt y) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (sqrt y) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (sqrt y) (cbrt (pow (+ (log z) (- 1.0 z)) (/ 3 2)))) (* (sqrt y) (cbrt (pow (+ (log z) (- 1.0 z)) (/ 3 2)))) (* (sqrt y) (sqrt (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (sqrt y) (sqrt (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* y (cbrt (pow (* (cbrt (+ (log z) (- 1.0 z))) (cbrt (+ (log z) (- 1.0 z)))) 3))) (* y (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (* (+ (log z) (- 1.0 z)) (+ (log z) (- 1.0 z))))) (* y (cbrt (* (cbrt (pow (+ (log z) (- 1.0 z)) 3)) (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (* y (cbrt (pow (* (cbrt (+ (log z) (- 1.0 z))) (cbrt (+ (log z) (- 1.0 z)))) 3))) (* y (cbrt (pow (sqrt (+ (log z) (- 1.0 z))) 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (pow 1 3))) (* y (cbrt (+ (log z) (- 1.0 z)))) (* y (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3)))) (* y (cbrt 1)) (* y (cbrt (pow (+ (log z) (- 1.0 z)) (/ 3 2)))) (* y (* (cbrt (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (* y (sqrt (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* y 1) (* (cbrt y) (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* (sqrt y) (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* y (cbrt (pow (+ (pow (log z) 3) (pow (- 1.0 z) 3)) 3))) (* y (cbrt (pow (- (* (log z) (log z)) (* (- 1.0 z) (- 1.0 z))) 3))) (* (exp (* x 0.5)) (exp (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (log (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (exp (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (* (cbrt (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (cbrt (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))))) (cbrt (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (* (* (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (sqrt (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (sqrt (+ (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (+ (pow (* x 0.5) 3) (pow (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))) 3)) (+ (* (* x 0.5) (* x 0.5)) (- (* (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))))) (- (* (* x 0.5) (* x 0.5)) (* (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3))))) (- (* x 0.5) (* y (cbrt (pow (+ (log z) (- 1.0 z)) 3)))) (- (+ (log z) 1.0) z) (- 1.0 (+ z (log (/ 1 z)))) (- (+ (log -1) 1.0) (+ z (log (/ -1 z)))) (- (+ (* 3.0 (log z)) (+ (pow (log z) 3) (+ (* 3.0 (pow (log z) 2)) (+ (* 3 (* (log z) (pow z 2))) (+ (* 3.0 (pow z 2)) 1.0))))) (+ (* 3 (* (pow (log z) 2) z)) (+ (* 6.0 (* (log z) z)) (* 3.0 z)))) (- (+ (* 6.0 (* z (log (/ 1 z)))) (* 3.0 (pow z 2))) (+ (* 3 (* (pow z 2) (log (/ 1 z)))) (+ (* 3 (* z (pow (log (/ 1 z)) 2))) (+ (* 3.0 z) (pow z 3))))) (- (+ (* 6.0 (* z (log (/ -1 z)))) (+ (* 6 (* (log -1) (* z (log (/ -1 z))))) (+ (* 3.0 (pow z 2)) (* 3 (* (log -1) (pow z 2)))))) (+ (pow z 3) (+ (* 3 (* (pow z 2) (log (/ -1 z)))) (+ (* 6.0 (* (log -1) z)) (+ (* 3.0 z) (+ (* 3 (* (pow (log -1) 2) z)) (* 3 (* z (pow (log (/ -1 z)) 2))))))))) (- (+ (* (log z) y) (* 1.0 y)) (* z y)) (- (* 1.0 y) (+ (* z y) (* (log (/ 1 z)) y))) (- (+ (* (log -1) y) (* 1.0 y)) (+ (* z y) (* (log (/ -1 z)) y))) (- (+ (* (log z) y) (+ (* 1.0 y) (* 0.5 x))) (* z y)) (- (+ (* 0.5 x) (* 1.0 y)) (+ (* z y) (* y (log (/ 1 z))))) (- (+ (* 0.5 x) (+ (* 1.0 y) (* (log -1) y))) (+ (* z y) (* y (log (/ -1 z))))) 5.916 * * [simplify]: iteration 0 : 226 enodes (cost 2143 ) 5.982 * * [simplify]: iteration 1 : 606 enodes (cost 1647 ) 6.156 * * [simplify]: iteration 2 : 2102 enodes (cost 1490 ) 6.752 * * [simplify]: iteration done : 5000 enodes (cost 1489 ) 6.753 * [simplify]: Simplified to: (log (- (+ (log z) 1.0) z)) (exp (- (+ (log z) 1.0) z)) (cbrt (pow (- (+ (log z) 1.0) z) 2)) (cbrt (+ (log z) (- 1.0 z))) (sqrt (- (+ (log z) 1.0) z)) (sqrt (- (+ (log z) 1.0) z)) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) (cbrt (pow (- (+ (log z) 1.0) z) 2)) (cbrt (+ (log z) (- 1.0 z))) (cbrt (pow (- (+ (log z) 1.0) z) 2)) (cbrt (+ (log z) (- 1.0 z))) (cbrt (pow (- (+ (log z) 1.0) z) 2)) (cbrt (+ (log z) (- 1.0 z))) (sqrt (- (+ (log z) 1.0) z)) (sqrt (- (+ (log z) 1.0) z)) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) 1 (- (+ (log z) 1.0) z) (cbrt (+ (log z) (- 1.0 z))) (cbrt (pow (- (+ (log z) 1.0) z) 2)) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3))) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3))) 1 (- (+ (log z) 1.0) z) (cbrt (pow (- (+ (log z) 1.0) z) 3/2)) (cbrt (pow (- (+ (log z) 1.0) z) 3/2)) (+ (pow (log z) 3) (pow (- 1.0 z) 3)) (+ (pow (log z) 2) (* (- 1.0 z) (- (- 1.0 z) (log z)))) (- (pow (log z) 2) (* (- 1.0 z) (- 1.0 z))) (- (log z) (- 1.0 z)) (cbrt (pow (- (+ (log z) 1.0) z) 2)) (cbrt (+ (log z) (- 1.0 z))) (pow (- (+ (log z) 1.0) z) 3) (sqrt (- (+ (log z) 1.0) z)) (sqrt (- (+ (log z) 1.0) z)) (log (pow (+ (log z) (- 1.0 z)) 3)) (log (pow (+ (log z) (- 1.0 z)) 3)) 3 (pow (+ (log z) (- 1.0 z)) (* (cbrt 3) (cbrt 3))) (pow (+ (log z) (- 1.0 z)) (sqrt 3)) (- (+ (log z) 1.0) z) (pow (- (+ (log z) 1.0) z) 2) (- (+ (log z) 1.0) z) (pow (sqrt (+ (log z) (- 1.0 z))) 3) (pow (sqrt (+ (log z) (- 1.0 z))) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) (pow (- (+ (log z) 1.0) z) 2) (log (pow (+ (log z) (- 1.0 z)) 3)) (exp (pow (+ (log z) (- 1.0 z)) 3)) (pow (- (+ (log z) 1.0) z) 2) (- (+ (log z) 1.0) z) (pow (pow (- (+ (log z) 1.0) z) 3) 3) (pow (- (+ (log z) 1.0) z) 2) (- (+ (log z) 1.0) z) (pow (sqrt (+ (log z) (- 1.0 z))) 3) (pow (sqrt (+ (log z) (- 1.0 z))) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) 1 (pow (- (+ (log z) 1.0) z) 3) (pow (+ (pow (log z) 3) (pow (- 1.0 z) 3)) 3) (pow (+ (pow (log z) 2) (* (- 1.0 z) (- (- 1.0 z) (log z)))) 3) (pow (- (pow (log z) 2) (* (- 1.0 z) (- 1.0 z))) 3) (pow (- (log z) (- 1.0 z)) 3) (pow (- (+ (log z) 1.0) z) 2) (sqrt (pow (+ (log z) (- 1.0 z)) 3)) (sqrt (pow (+ (log z) (- 1.0 z)) 3)) (pow (- (+ (log z) 1.0) z) 3/2) (pow (- (+ (log z) 1.0) z) 3/2) (* (- (+ (log z) 1.0) z) y) (log (* (- (+ (log z) 1.0) z) y)) (log (* (- (+ (log z) 1.0) z) y)) (exp (* (- (+ (log z) 1.0) z) y)) (pow (* (- (+ (log z) 1.0) z) y) 3) (* (cbrt (* (- (+ (log z) 1.0) z) y)) (cbrt (* (- (+ (log z) 1.0) z) y))) (cbrt (* (- (+ (log z) 1.0) z) y)) (pow (* (- (+ (log z) 1.0) z) y) 3) (sqrt (* (- (+ (log z) 1.0) z) y)) (sqrt (* (- (+ (log z) 1.0) z) y)) (* (sqrt y) (sqrt (+ (log z) (- 1.0 z)))) (* (sqrt y) (sqrt (+ (log z) (- 1.0 z)))) (* (sqrt y) (sqrt (+ (log z) (- 1.0 z)))) (* (sqrt y) (sqrt (+ (log z) (- 1.0 z)))) (* (sqrt y) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (sqrt y) (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3)))) (* (sqrt y) (cbrt (pow (- (+ (log z) 1.0) z) 3/2))) (* (sqrt y) (cbrt (pow (- (+ (log z) 1.0) z) 3/2))) (* (sqrt y) (sqrt (+ (log z) (- 1.0 z)))) (* (sqrt y) (sqrt (+ (log z) (- 1.0 z)))) (* y (cbrt (pow (- (+ (log z) 1.0) z) 2))) (* (sqrt (- (+ (log z) 1.0) z)) y) y y y y y (* y (cbrt (pow (- (+ (log z) 1.0) z) 2))) (* y (cbrt (pow (- (+ (log z) 1.0) z) 2))) (* y (cbrt (pow (- (+ (log z) 1.0) z) 2))) (* (sqrt (- (+ (log z) 1.0) z)) y) y y y y y (* y (cbrt (+ (log z) (- 1.0 z)))) (* y (cbrt (sqrt (pow (+ (log z) (- 1.0 z)) 3)))) y (* (cbrt (pow (- (+ (log z) 1.0) z) 3/2)) y) (* y (cbrt (pow (- (+ (log z) 1.0) z) 2))) (* (sqrt (- (+ (log z) 1.0) z)) y) y (* (cbrt y) (- (+ (log z) 1.0) z)) (* (- (+ (log z) 1.0) z) (sqrt y)) (* (- (+ (log z) 1.0) z) y) (* y (+ (pow (log z) 3) (pow (- 1.0 z) 3))) (* y (- (pow (log z) 2) (* (- 1.0 z) (- 1.0 z)))) (exp (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x))) (log (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x))) (exp (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x))) (* (cbrt (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x))) (cbrt (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x)))) (cbrt (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x))) (pow (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x)) 3) (sqrt (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x))) (sqrt (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x))) (+ (pow (* x 0.5) 3) (pow (* (- (+ (log z) 1.0) z) y) 3)) (+ (* (* (- (+ (log z) 1.0) z) y) (- (* (- (+ (log z) 1.0) z) y) (* x 0.5))) (* (* x 0.5) (* x 0.5))) (- (* (* x 0.5) (* x 0.5)) (* (pow (- (+ (log z) 1.0) z) 2) (* y y))) (- (* x 0.5) (* (- (+ (log z) 1.0) z) y)) (- (+ (log z) 1.0) z) (- (+ (log z) 1.0) z) (- (+ (log -1) 1.0) (+ z (log (/ -1 z)))) (- (- (+ (+ (* (pow z 2) (+ (* 3 (log z)) 3.0)) (+ 1.0 (* 3.0 (pow (log z) 2)))) (+ (* 3.0 (log z)) (pow (log z) 3))) (* z (+ (* 3 (pow (log z) 2)) (* 6.0 (log z))))) (* 3.0 z)) (- (- (* 3.0 (pow z 2)) (+ (* 3 (+ (* (- (log z)) (pow z 2)) (* (pow (log z) 2) z))) (+ (* 3.0 z) (pow z 3)))) (* 6.0 (* (log z) z))) (- (+ (* (* z (log (/ -1 z))) (+ 6.0 (* 6 (log -1)))) (* (pow z 2) (+ 3.0 (* 3 (log -1))))) (+ (+ (* z (+ (* 6.0 (log -1)) 3.0)) (* 3 (* z (+ (pow (log -1) 2) (pow (log (/ -1 z)) 2))))) (+ (pow z 3) (* 3 (* (pow z 2) (log (/ -1 z))))))) (* (- (+ (log z) 1.0) z) y) (* (- (+ (log z) 1.0) z) y) (* y (- (+ (log -1) 1.0) (+ z (log (/ -1 z))))) (- (+ (* y (+ (log z) 1.0)) (* x 0.5)) (* z y)) (+ (* (- (+ (log z) 1.0) z) y) (* 0.5 x)) (+ (* y (- (+ (log -1) 1.0) (+ z (log (/ -1 z))))) (* x 0.5)) 6.754 * * * [progress]: adding candidates to table 7.045 * [progress]: [Phase 3 of 3] Extracting. 7.045 * * [regime]: Finding splitpoints for: (# # # # #) 7.047 * * * [regime-changes]: Trying 6 branch expressions: ((+ (- 1.0 z) (log z)) (* y (+ (- 1.0 z) (log z))) (* x 0.5) z y x) 7.047 * * * * [regimes]: Trying to branch on (+ (- 1.0 z) (log z)) from (# # # # #) 7.077 * * * * [regimes]: Trying to branch on (* y (+ (- 1.0 z) (log z))) from (# # # # #) 7.109 * * * * [regimes]: Trying to branch on (* x 0.5) from (# # # # #) 7.137 * * * * [regimes]: Trying to branch on z from (# # # # #) 7.162 * * * * [regimes]: Trying to branch on y from (# # # # #) 7.189 * * * * [regimes]: Trying to branch on x from (# # # # #) 7.215 * * * [regime]: Found split indices: #