14.422 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.070 * * * [progress]: [2/2] Setting up program. 0.073 * [progress]: [Phase 2 of 3] Improving. 0.073 * [simplify]: Simplifying using # : (+ (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) 0.076 * * [simplify]: iteration 0 : 37 enodes (cost 12 ) 0.078 * * [simplify]: iteration 1 : 84 enodes (cost 12 ) 0.080 * * [simplify]: iteration 2 : 245 enodes (cost 12 ) 0.083 * * [simplify]: iteration 3 : 581 enodes (cost 12 ) 0.090 * * [simplify]: iteration 4 : 1280 enodes (cost 12 ) 0.102 * * [simplify]: iteration 5 : 2462 enodes (cost 12 ) 0.125 * * [simplify]: iteration 6 : 5001 enodes (cost 12 ) 0.126 * [simplify]: Simplified to: (+ (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) 0.126 * * [progress]: iteration 1 / 4 0.126 * * * [progress]: picking best candidate 0.128 * * * * [pick]: Picked # 0.129 * * * [progress]: localizing error 0.145 * * * [progress]: generating rewritten candidates 0.145 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.157 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.164 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.171 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.183 * * * [progress]: generating series expansions 0.183 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.183 * [approximate]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in (y z x) around 0 0.183 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in x 0.183 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in x 0.183 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in x 0.183 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.183 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.183 * [taylor]: Taking taylor expansion of z in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in x 0.184 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in x 0.184 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 0.184 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.184 * [taylor]: Taking taylor expansion of z in x 0.184 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 0.184 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in x 0.184 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 0.184 * [taylor]: Taking taylor expansion of z in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in z 0.185 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in z 0.185 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in z 0.185 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.185 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.185 * [taylor]: Taking taylor expansion of y in z 0.185 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 0.185 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 0.185 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 0.185 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.185 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 0.185 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 0.185 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.185 * [taylor]: Taking taylor expansion of x in z 0.187 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 0.187 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 0.187 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 0.187 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.187 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.187 * [taylor]: Taking taylor expansion of z in y 0.187 * [taylor]: Taking taylor expansion of y in y 0.187 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 0.187 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 0.187 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 0.187 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.187 * [taylor]: Taking taylor expansion of z in y 0.187 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 0.187 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 0.187 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 0.187 * [taylor]: Taking taylor expansion of z in y 0.187 * [taylor]: Taking taylor expansion of x in y 0.188 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 0.188 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 0.188 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 0.188 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.188 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.188 * [taylor]: Taking taylor expansion of z in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.188 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 0.188 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 0.188 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 0.188 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.188 * [taylor]: Taking taylor expansion of z in y 0.188 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 0.188 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 0.188 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 0.188 * [taylor]: Taking taylor expansion of z in y 0.188 * [taylor]: Taking taylor expansion of x in y 0.189 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) x) in z 0.189 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) in z 0.189 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 0.189 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 0.189 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 0.189 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.189 * [taylor]: Taking taylor expansion of z in z 0.189 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 0.189 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 0.189 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 0.189 * [taylor]: Taking taylor expansion of z in z 0.189 * [taylor]: Taking taylor expansion of x in z 0.190 * [taylor]: Taking taylor expansion of (/ 0.083333333333333 x) in x 0.190 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.192 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.192 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.192 * [taylor]: Taking taylor expansion of z in z 0.192 * [taylor]: Taking taylor expansion of x in z 0.195 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 (/ 1 x))) in x 0.195 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of 0 in z 0.199 * [taylor]: Taking taylor expansion of 0 in x 0.201 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 x)) in x 0.201 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.206 * [approximate]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in (y z x) around 0 0.207 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in x 0.207 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in x 0.207 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in x 0.207 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 0.207 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.207 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.207 * [taylor]: Taking taylor expansion of z in x 0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.207 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.207 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.207 * [taylor]: Taking taylor expansion of z in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 0.207 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 0.207 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.207 * [taylor]: Taking taylor expansion of z in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in z 0.207 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in z 0.207 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in z 0.207 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 0.207 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.207 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.207 * [taylor]: Taking taylor expansion of z in z 0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in z 0.208 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.208 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.208 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.208 * [taylor]: Taking taylor expansion of z in z 0.208 * [taylor]: Taking taylor expansion of y in z 0.208 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 0.208 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 0.208 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 0.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.208 * [taylor]: Taking taylor expansion of z in z 0.209 * [taylor]: Taking taylor expansion of x in z 0.209 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 0.209 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 0.209 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 0.209 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 0.209 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.209 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.209 * [taylor]: Taking taylor expansion of z in y 0.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 0.209 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.209 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.209 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.209 * [taylor]: Taking taylor expansion of z in y 0.209 * [taylor]: Taking taylor expansion of y in y 0.209 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 0.210 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 0.210 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 0.210 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.210 * [taylor]: Taking taylor expansion of z in y 0.210 * [taylor]: Taking taylor expansion of x in y 0.210 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 0.210 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 0.210 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 0.210 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 0.210 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.210 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.210 * [taylor]: Taking taylor expansion of z in y 0.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 0.210 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.210 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.210 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.210 * [taylor]: Taking taylor expansion of z in y 0.210 * [taylor]: Taking taylor expansion of y in y 0.210 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 0.211 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 0.211 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 0.211 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.211 * [taylor]: Taking taylor expansion of z in y 0.211 * [taylor]: Taking taylor expansion of x in y 0.211 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.211 * [taylor]: Taking taylor expansion of x in z 0.211 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.211 * [taylor]: Taking taylor expansion of z in z 0.211 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) (* 0.0027777777777778 (/ x z))) in z 0.213 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) in z 0.213 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 0.213 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 0.213 * [taylor]: Taking taylor expansion of x in z 0.213 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 0.213 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 0.213 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.213 * [taylor]: Taking taylor expansion of x in z 0.213 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.213 * [taylor]: Taking taylor expansion of z in z 0.214 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 0.214 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 0.214 * [taylor]: Taking taylor expansion of (/ x z) in z 0.214 * [taylor]: Taking taylor expansion of x in z 0.214 * [taylor]: Taking taylor expansion of z in z 0.214 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 0.214 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of 0 in x 0.218 * [taylor]: Taking taylor expansion of 0 in z 0.220 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 0.220 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 0.220 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of 0 in x 0.228 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 0.231 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 0.231 * [taylor]: Taking taylor expansion of x in x 0.233 * [taylor]: Taking taylor expansion of 0 in x 0.235 * [approximate]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in (y z x) around 0 0.235 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in x 0.235 * [taylor]: Taking taylor expansion of -1 in x 0.235 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in x 0.235 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in x 0.235 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in x 0.236 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 0.236 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.236 * [taylor]: Taking taylor expansion of z in x 0.236 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in x 0.236 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 0.236 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.236 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.236 * [taylor]: Taking taylor expansion of z in x 0.236 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.236 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.236 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.236 * [taylor]: Taking taylor expansion of z in x 0.236 * [taylor]: Taking taylor expansion of y in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in z 0.236 * [taylor]: Taking taylor expansion of -1 in z 0.236 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in z 0.236 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in z 0.236 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in z 0.236 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 0.236 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 0.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.237 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in z 0.237 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 0.237 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.237 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.237 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 0.237 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.237 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.237 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.237 * [taylor]: Taking taylor expansion of y in z 0.238 * [taylor]: Taking taylor expansion of x in z 0.238 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 0.238 * [taylor]: Taking taylor expansion of -1 in y 0.238 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 0.238 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 0.238 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 0.238 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 0.238 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 0.238 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.238 * [taylor]: Taking taylor expansion of z in y 0.238 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 0.238 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 0.238 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 0.238 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.238 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.238 * [taylor]: Taking taylor expansion of z in y 0.238 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 0.238 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.238 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.238 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.238 * [taylor]: Taking taylor expansion of z in y 0.238 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of x in y 0.239 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 0.239 * [taylor]: Taking taylor expansion of -1 in y 0.239 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 0.239 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 0.239 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 0.239 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 0.239 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.239 * [taylor]: Taking taylor expansion of z in y 0.239 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 0.239 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 0.239 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 0.239 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.239 * [taylor]: Taking taylor expansion of z in y 0.239 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.239 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.239 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.239 * [taylor]: Taking taylor expansion of z in y 0.239 * [taylor]: Taking taylor expansion of y in y 0.240 * [taylor]: Taking taylor expansion of x in y 0.240 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.240 * [taylor]: Taking taylor expansion of x in z 0.240 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.240 * [taylor]: Taking taylor expansion of z in z 0.241 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))))) in z 0.243 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z)))) in z 0.243 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 0.243 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 0.243 * [taylor]: Taking taylor expansion of x in z 0.243 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))) in z 0.243 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 0.243 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 0.243 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.243 * [taylor]: Taking taylor expansion of x in z 0.243 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.243 * [taylor]: Taking taylor expansion of z in z 0.243 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 0.243 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 0.243 * [taylor]: Taking taylor expansion of (/ x z) in z 0.244 * [taylor]: Taking taylor expansion of x in z 0.244 * [taylor]: Taking taylor expansion of z in z 0.244 * [taylor]: Taking taylor expansion of (- (* 0.0007936500793651 x)) in x 0.244 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 0.244 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of 0 in x 0.249 * [taylor]: Taking taylor expansion of 0 in z 0.250 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 0.250 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 0.250 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.252 * [taylor]: Taking taylor expansion of 0 in x 0.259 * [taylor]: Taking taylor expansion of 0 in z 0.262 * [taylor]: Taking taylor expansion of (- (* 0.083333333333333 x)) in x 0.262 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 0.262 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of 0 in x 0.267 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.267 * [approximate]: Taking taylor expansion of (* (log x) (- x 0.5)) in (x) around 0 0.267 * [taylor]: Taking taylor expansion of (* (log x) (- x 0.5)) in x 0.267 * [taylor]: Taking taylor expansion of (log x) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (- x 0.5) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of 0.5 in x 0.267 * [taylor]: Taking taylor expansion of (* (log x) (- x 0.5)) in x 0.267 * [taylor]: Taking taylor expansion of (log x) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (- x 0.5) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of 0.5 in x 0.340 * [approximate]: Taking taylor expansion of (* (log (/ 1 x)) (- (/ 1 x) 0.5)) in (x) around 0 0.340 * [taylor]: Taking taylor expansion of (* (log (/ 1 x)) (- (/ 1 x) 0.5)) in x 0.340 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.340 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.5) in x 0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of 0.5 in x 0.341 * [taylor]: Taking taylor expansion of (* (log (/ 1 x)) (- (/ 1 x) 0.5)) in x 0.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.5) in x 0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.342 * [taylor]: Taking taylor expansion of 0.5 in x 0.422 * [approximate]: Taking taylor expansion of (* -1 (* (+ 0.5 (/ 1 x)) (log (/ -1 x)))) in (x) around 0 0.422 * [taylor]: Taking taylor expansion of (* -1 (* (+ 0.5 (/ 1 x)) (log (/ -1 x)))) in x 0.422 * [taylor]: Taking taylor expansion of -1 in x 0.422 * [taylor]: Taking taylor expansion of (* (+ 0.5 (/ 1 x)) (log (/ -1 x))) in x 0.422 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in x 0.422 * [taylor]: Taking taylor expansion of 0.5 in x 0.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.423 * [taylor]: Taking taylor expansion of -1 in x 0.423 * [taylor]: Taking taylor expansion of x in x 0.423 * [taylor]: Taking taylor expansion of (* -1 (* (+ 0.5 (/ 1 x)) (log (/ -1 x)))) in x 0.423 * [taylor]: Taking taylor expansion of -1 in x 0.424 * [taylor]: Taking taylor expansion of (* (+ 0.5 (/ 1 x)) (log (/ -1 x))) in x 0.424 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in x 0.424 * [taylor]: Taking taylor expansion of 0.5 in x 0.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.424 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.424 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.424 * [taylor]: Taking taylor expansion of -1 in x 0.424 * [taylor]: Taking taylor expansion of x in x 0.529 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.529 * [approximate]: Taking taylor expansion of (- (* (log x) x) (+ (* 0.5 (log x)) x)) in (x) around 0 0.529 * [taylor]: Taking taylor expansion of (- (* (log x) x) (+ (* 0.5 (log x)) x)) in x 0.529 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.529 * [taylor]: Taking taylor expansion of (log x) in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log x)) x) in x 0.530 * [taylor]: Taking taylor expansion of (* 0.5 (log x)) in x 0.530 * [taylor]: Taking taylor expansion of 0.5 in x 0.530 * [taylor]: Taking taylor expansion of (log x) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of (- (* (log x) x) (+ (* 0.5 (log x)) x)) in x 0.530 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.530 * [taylor]: Taking taylor expansion of (log x) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.530 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log x)) x) in x 0.530 * [taylor]: Taking taylor expansion of (* 0.5 (log x)) in x 0.530 * [taylor]: Taking taylor expansion of 0.5 in x 0.530 * [taylor]: Taking taylor expansion of (log x) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.531 * [taylor]: Taking taylor expansion of x in x 0.673 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 x)) x) (+ (* 0.5 (log (/ 1 x))) (/ 1 x))) in (x) around 0 0.673 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 x)) x) (+ (* 0.5 (log (/ 1 x))) (/ 1 x))) in x 0.673 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.673 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.675 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 x))) (/ 1 x)) in x 0.675 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 x))) in x 0.675 * [taylor]: Taking taylor expansion of 0.5 in x 0.675 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.675 * [taylor]: Taking taylor expansion of x in x 0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.676 * [taylor]: Taking taylor expansion of x in x 0.676 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 x)) x) (+ (* 0.5 (log (/ 1 x))) (/ 1 x))) in x 0.676 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.676 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.676 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 x))) (/ 1 x)) in x 0.677 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of 0.5 in x 0.677 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.804 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ -1 x)) x) (* 0.5 (log (/ -1 x))))) in (x) around 0 0.804 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ -1 x)) x) (* 0.5 (log (/ -1 x))))) in x 0.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.804 * [taylor]: Taking taylor expansion of x in x 0.804 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 x)) x) (* 0.5 (log (/ -1 x)))) in x 0.804 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.804 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.804 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.804 * [taylor]: Taking taylor expansion of -1 in x 0.804 * [taylor]: Taking taylor expansion of x in x 0.805 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 x))) in x 0.806 * [taylor]: Taking taylor expansion of 0.5 in x 0.806 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.806 * [taylor]: Taking taylor expansion of -1 in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ -1 x)) x) (* 0.5 (log (/ -1 x))))) in x 0.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 x)) x) (* 0.5 (log (/ -1 x)))) in x 0.807 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.807 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.807 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.807 * [taylor]: Taking taylor expansion of -1 in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 x))) in x 0.809 * [taylor]: Taking taylor expansion of 0.5 in x 0.809 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.809 * [taylor]: Taking taylor expansion of -1 in x 0.809 * [taylor]: Taking taylor expansion of x in x 0.950 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.950 * [approximate]: Taking taylor expansion of (- (+ 0.91893853320467 (* (log x) x)) (+ (* 0.5 (log x)) x)) in (x) around 0 0.951 * [taylor]: Taking taylor expansion of (- (+ 0.91893853320467 (* (log x) x)) (+ (* 0.5 (log x)) x)) in x 0.951 * [taylor]: Taking taylor expansion of (+ 0.91893853320467 (* (log x) x)) in x 0.951 * [taylor]: Taking taylor expansion of 0.91893853320467 in x 0.951 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.951 * [taylor]: Taking taylor expansion of (log x) in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log x)) x) in x 0.951 * [taylor]: Taking taylor expansion of (* 0.5 (log x)) in x 0.951 * [taylor]: Taking taylor expansion of 0.5 in x 0.951 * [taylor]: Taking taylor expansion of (log x) in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of (- (+ 0.91893853320467 (* (log x) x)) (+ (* 0.5 (log x)) x)) in x 0.951 * [taylor]: Taking taylor expansion of (+ 0.91893853320467 (* (log x) x)) in x 0.951 * [taylor]: Taking taylor expansion of 0.91893853320467 in x 0.951 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.951 * [taylor]: Taking taylor expansion of (log x) in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.952 * [taylor]: Taking taylor expansion of x in x 0.952 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log x)) x) in x 0.952 * [taylor]: Taking taylor expansion of (* 0.5 (log x)) in x 0.952 * [taylor]: Taking taylor expansion of 0.5 in x 0.952 * [taylor]: Taking taylor expansion of (log x) in x 0.952 * [taylor]: Taking taylor expansion of x in x 0.952 * [taylor]: Taking taylor expansion of x in x 1.094 * [approximate]: Taking taylor expansion of (- (+ 0.91893853320467 (/ (log (/ 1 x)) x)) (+ (* 0.5 (log (/ 1 x))) (/ 1 x))) in (x) around 0 1.094 * [taylor]: Taking taylor expansion of (- (+ 0.91893853320467 (/ (log (/ 1 x)) x)) (+ (* 0.5 (log (/ 1 x))) (/ 1 x))) in x 1.094 * [taylor]: Taking taylor expansion of (+ 0.91893853320467 (/ (log (/ 1 x)) x)) in x 1.094 * [taylor]: Taking taylor expansion of 0.91893853320467 in x 1.094 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 1.094 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.095 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 x))) (/ 1 x)) in x 1.095 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 x))) in x 1.095 * [taylor]: Taking taylor expansion of 0.5 in x 1.095 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.095 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of (- (+ 0.91893853320467 (/ (log (/ 1 x)) x)) (+ (* 0.5 (log (/ 1 x))) (/ 1 x))) in x 1.096 * [taylor]: Taking taylor expansion of (+ 0.91893853320467 (/ (log (/ 1 x)) x)) in x 1.096 * [taylor]: Taking taylor expansion of 0.91893853320467 in x 1.096 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 1.096 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.096 * [taylor]: Taking taylor expansion of x in x 1.097 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 x))) (/ 1 x)) in x 1.097 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 x))) in x 1.097 * [taylor]: Taking taylor expansion of 0.5 in x 1.097 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.097 * [taylor]: Taking taylor expansion of x in x 1.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.098 * [taylor]: Taking taylor expansion of x in x 1.227 * [approximate]: Taking taylor expansion of (- (+ 0.91893853320467 (/ 1 x)) (+ (* 0.5 (log (/ -1 x))) (/ (log (/ -1 x)) x))) in (x) around 0 1.227 * [taylor]: Taking taylor expansion of (- (+ 0.91893853320467 (/ 1 x)) (+ (* 0.5 (log (/ -1 x))) (/ (log (/ -1 x)) x))) in x 1.227 * [taylor]: Taking taylor expansion of (+ 0.91893853320467 (/ 1 x)) in x 1.227 * [taylor]: Taking taylor expansion of 0.91893853320467 in x 1.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.227 * [taylor]: Taking taylor expansion of x in x 1.228 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 x))) (/ (log (/ -1 x)) x)) in x 1.228 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 x))) in x 1.228 * [taylor]: Taking taylor expansion of 0.5 in x 1.228 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.228 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.228 * [taylor]: Taking taylor expansion of -1 in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 1.228 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.228 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.228 * [taylor]: Taking taylor expansion of -1 in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.229 * [taylor]: Taking taylor expansion of x in x 1.230 * [taylor]: Taking taylor expansion of (- (+ 0.91893853320467 (/ 1 x)) (+ (* 0.5 (log (/ -1 x))) (/ (log (/ -1 x)) x))) in x 1.230 * [taylor]: Taking taylor expansion of (+ 0.91893853320467 (/ 1 x)) in x 1.230 * [taylor]: Taking taylor expansion of 0.91893853320467 in x 1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.230 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 x))) (/ (log (/ -1 x)) x)) in x 1.231 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 x))) in x 1.231 * [taylor]: Taking taylor expansion of 0.5 in x 1.231 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.231 * [taylor]: Taking taylor expansion of -1 in x 1.231 * [taylor]: Taking taylor expansion of x in x 1.231 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 1.231 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.231 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.231 * [taylor]: Taking taylor expansion of -1 in x 1.231 * [taylor]: Taking taylor expansion of x in x 1.232 * [taylor]: Taking taylor expansion of x in x 1.375 * * * [progress]: simplifying candidates 1.377 * [simplify]: Simplifying using # : (- (log (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (* (* (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (* x x) x)) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (* (* (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (- x) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (* (cbrt x) (cbrt x))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) 1) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (cbrt x) (cbrt x))) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) 1) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ 1 1) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) 1) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* x (+ (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)) (- (* 0.083333333333333 0.083333333333333) (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)))) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (- x 0.5) (log x)) (+ (log (- x 0.5)) (log (log x))) (log (* (- x 0.5) (log x))) (exp (* (- x 0.5) (log x))) (* (* (* (- x 0.5) (- x 0.5)) (- x 0.5)) (* (* (log x) (log x)) (log x))) (* (cbrt (* (- x 0.5) (log x))) (cbrt (* (- x 0.5) (log x)))) (cbrt (* (- x 0.5) (log x))) (* (* (* (- x 0.5) (log x)) (* (- x 0.5) (log x))) (* (- x 0.5) (log x))) (sqrt (* (- x 0.5) (log x))) (sqrt (* (- x 0.5) (log x))) (* (sqrt (- x 0.5)) (sqrt (log x))) (* (sqrt (- x 0.5)) (sqrt (log x))) (* (- x 0.5) (log (* (cbrt x) (cbrt x)))) (* (- x 0.5) (log (cbrt x))) (* (- x 0.5) (log (sqrt x))) (* (- x 0.5) (log (sqrt x))) (* (- x 0.5) (log 1)) (* (- x 0.5) (log x)) (* (log (* (cbrt x) (cbrt x))) (- x 0.5)) (* (log (cbrt x)) (- x 0.5)) (* (log (sqrt x)) (- x 0.5)) (* (log (sqrt x)) (- x 0.5)) (* (log 1) (- x 0.5)) (* (log x) (- x 0.5)) (* (- x 0.5) 1) (* (- x 0.5) (* (cbrt (log x)) (cbrt (log x)))) (* (- x 0.5) (sqrt (log x))) (* (- x 0.5) 1) (* (cbrt (- x 0.5)) (log x)) (* (sqrt (- x 0.5)) (log x)) (* (- x 0.5) (log x)) (* (- (sqrt x) (sqrt 0.5)) (log x)) (* (- x 0.5) (log x)) (* (- (pow x 3) (pow 0.5 3)) (log x)) (* (- (* x x) (* 0.5 0.5)) (log x)) (/ (exp (* (- x 0.5) (log x))) (exp x)) (log (- (* (- x 0.5) (log x)) x)) (exp (- (* (- x 0.5) (log x)) x)) (* (cbrt (- (* (- x 0.5) (log x)) x)) (cbrt (- (* (- x 0.5) (log x)) x))) (cbrt (- (* (- x 0.5) (log x)) x)) (* (* (- (* (- x 0.5) (log x)) x) (- (* (- x 0.5) (log x)) x)) (- (* (- x 0.5) (log x)) x)) (sqrt (- (* (- x 0.5) (log x)) x)) (sqrt (- (* (- x 0.5) (log x)) x)) (- (pow (* (- x 0.5) (log x)) 3) (pow x 3)) (+ (* (* (- x 0.5) (log x)) (* (- x 0.5) (log x))) (+ (* x x) (* (* (- x 0.5) (log x)) x))) (- x) (- (* (* (- x 0.5) (log x)) (* (- x 0.5) (log x))) (* x x)) (+ (* (- x 0.5) (log x)) x) (- (* (- x 0.5) (log (cbrt x))) x) (- (* (- x 0.5) (log (sqrt x))) x) (- (* (- x 0.5) (log x)) x) (- (* (log (cbrt x)) (- x 0.5)) x) (- (* (log (sqrt x)) (- x 0.5)) x) (- (* (log x) (- x 0.5)) x) (- x) (* (/ (exp (* (- x 0.5) (log x))) (exp x)) (exp 0.91893853320467)) (* (exp (- (* (- x 0.5) (log x)) x)) (exp 0.91893853320467)) (log (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (exp (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (* (cbrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (cbrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467))) (cbrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (* (* (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (sqrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (sqrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (+ (pow (- (* (- x 0.5) (log x)) x) 3) (pow 0.91893853320467 3)) (+ (* (- (* (- x 0.5) (log x)) x) (- (* (- x 0.5) (log x)) x)) (- (* 0.91893853320467 0.91893853320467) (* (- (* (- x 0.5) (log x)) x) 0.91893853320467))) (- (* (- (* (- x 0.5) (log x)) x) (- (* (- x 0.5) (log x)) x)) (* 0.91893853320467 0.91893853320467)) (- (- (* (- x 0.5) (log x)) x) 0.91893853320467) (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) (+ (- x) 0.91893853320467) (+ (- (* (- x 0.5) (log (cbrt x))) x) 0.91893853320467) (+ (- (* (- x 0.5) (log (sqrt x))) x) 0.91893853320467) (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) (+ (- (* (log (cbrt x)) (- x 0.5)) x) 0.91893853320467) (+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467) (+ (- (* (log x) (- x 0.5)) x) 0.91893853320467) (+ (- x) 0.91893853320467) (- x 0.91893853320467) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.083333333333333 (/ 1 x))) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (* (log x) x) (* 0.5 (log x))) (- (* 0.5 (log (/ 1 x))) (* x (log (/ 1 x)))) (- (+ (* (log -1) x) (* 0.5 (log (/ -1 x)))) (+ (* 0.5 (log -1)) (* x (log (/ -1 x))))) (- (* (log x) x) (+ (* 0.5 (log x)) x)) (- (* 0.5 (log (/ 1 x))) (+ x (* x (log (/ 1 x))))) (- (+ (* (log -1) x) (* 0.5 (log (/ -1 x)))) (+ (* 0.5 (log -1)) (+ x (* x (log (/ -1 x)))))) (- (+ 0.91893853320467 (* (log x) x)) (+ (* 0.5 (log x)) x)) (- (+ (* 0.5 (log (/ 1 x))) 0.91893853320467) (+ x (* x (log (/ 1 x))))) (- (+ 0.91893853320467 (+ (* (log -1) x) (* 0.5 (log (/ -1 x))))) (+ (* 0.5 (log -1)) (+ x (* x (log (/ -1 x)))))) 1.384 * * [simplify]: iteration 0 : 501 enodes (cost 839 ) 1.391 * * [simplify]: iteration 1 : 1642 enodes (cost 776 ) 1.419 * * [simplify]: iteration 2 : 5002 enodes (cost 763 ) 1.424 * [simplify]: Simplified to: (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (- x) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (* (cbrt x) (cbrt x))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (cbrt x) (cbrt x))) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) 1 (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (+ (* 0.083333333333333 (- 0.083333333333333 (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z))) (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z))) x) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (- x 0.5) (log x)) (log (* (- x 0.5) (log x))) (log (* (- x 0.5) (log x))) (pow x (- x 0.5)) (pow (* (- x 0.5) (log x)) 3) (* (cbrt (* (- x 0.5) (log x))) (cbrt (* (- x 0.5) (log x)))) (cbrt (* (- x 0.5) (log x))) (pow (* (- x 0.5) (log x)) 3) (sqrt (* (- x 0.5) (log x))) (sqrt (* (- x 0.5) (log x))) (* (sqrt (- x 0.5)) (sqrt (log x))) (* (sqrt (- x 0.5)) (sqrt (log x))) (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))) (* (- x 0.5) (log (sqrt x))) (* (- x 0.5) (log (sqrt x))) 0 (* (- x 0.5) (log x)) (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))) (* (- x 0.5) (log (sqrt x))) (* (- x 0.5) (log (sqrt x))) 0 (* (- x 0.5) (log x)) (- x 0.5) (* (- x 0.5) (* (cbrt (log x)) (cbrt (log x)))) (* (- x 0.5) (sqrt (log x))) (- x 0.5) (* (cbrt (- x 0.5)) (log x)) (* (sqrt (- x 0.5)) (log x)) (* (- x 0.5) (log x)) (* (- (sqrt x) (sqrt 0.5)) (log x)) (* (- x 0.5) (log x)) (* (- (pow x 3) (pow 0.5 3)) (log x)) (* (- (* x x) (* 0.5 0.5)) (log x)) (exp (- (* (- x 0.5) (log x)) x)) (log (- (* (- x 0.5) (log x)) x)) (exp (- (* (- x 0.5) (log x)) x)) (* (cbrt (- (* (- x 0.5) (log x)) x)) (cbrt (- (* (- x 0.5) (log x)) x))) (cbrt (- (* (- x 0.5) (log x)) x)) (pow (- (* (- x 0.5) (log x)) x) 3) (sqrt (- (* (- x 0.5) (log x)) x)) (sqrt (- (* (- x 0.5) (log x)) x)) (- (pow (* (- x 0.5) (log x)) 3) (pow x 3)) (+ (* (* (- x 0.5) (log x)) (+ (* (- x 0.5) (log x)) x)) (* x x)) (- x) (- (* (* (- x 0.5) (log x)) (* (- x 0.5) (log x))) (* x x)) (+ (* (- x 0.5) (log x)) x) (- (* (log (cbrt x)) (- x 0.5)) x) (- (* (log (sqrt x)) (- x 0.5)) x) (- (* (log x) (- x 0.5)) x) (- (* (log (cbrt x)) (- x 0.5)) x) (- (* (log (sqrt x)) (- x 0.5)) x) (- (* (log x) (- x 0.5)) x) (- x) (/ (pow x (- x 0.5)) (exp (- x 0.91893853320467))) (/ (pow x (- x 0.5)) (exp (- x 0.91893853320467))) (log (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (/ (pow x (- x 0.5)) (exp (- x 0.91893853320467))) (* (cbrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (cbrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467))) (cbrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (pow (+ (- (* (log x) (- x 0.5)) x) 0.91893853320467) 3) (sqrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (sqrt (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)) (+ (pow (- (* (- x 0.5) (log x)) x) 3) (pow 0.91893853320467 3)) (+ (* 0.91893853320467 (- 0.91893853320467 (- (* (- x 0.5) (log x)) x))) (* (- (* (- x 0.5) (log x)) x) (- (* (- x 0.5) (log x)) x))) (- (* (- (* (- x 0.5) (log x)) x) (- (* (- x 0.5) (log x)) x)) (* 0.91893853320467 0.91893853320467)) (- (- (* (- x 0.5) (log x)) x) 0.91893853320467) (- (+ 0.91893853320467 (* (log x) (- x 0.5))) x) (- 0.91893853320467 x) (+ (- (* (log (cbrt x)) (- x 0.5)) x) 0.91893853320467) (+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467) (- (+ 0.91893853320467 (* (log x) (- x 0.5))) x) (+ (- (* (log (cbrt x)) (- x 0.5)) x) 0.91893853320467) (+ (- (* (log (sqrt x)) (- x 0.5)) x) 0.91893853320467) (- (+ 0.91893853320467 (* (log x) (- x 0.5))) x) (- 0.91893853320467 x) (- x 0.91893853320467) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.083333333333333 (/ 1 x))) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (* (- x 0.5) (log x)) (* (- x 0.5) (log x)) (- (+ (* (log -1) x) (* 0.5 (log (/ -1 x)))) (+ (* 0.5 (log -1)) (* x (log (/ -1 x))))) (- (* (log x) (- x 0.5)) x) (- (* (log x) (- x 0.5)) x) (- (+ (* (log -1) x) (* 0.5 (log (/ -1 x)))) (+ (* 0.5 (log -1)) (+ x (* x (log (/ -1 x)))))) (- (+ 0.91893853320467 (* (log x) (- x 0.5))) x) (- (+ 0.91893853320467 (* (log x) (- x 0.5))) x) (- (+ 0.91893853320467 (+ (* (log -1) x) (* 0.5 (log (/ -1 x))))) (+ (* 0.5 (log -1)) (+ x (* x (log (/ -1 x)))))) 1.424 * * * [progress]: adding candidates to table 1.762 * * [progress]: iteration 2 / 4 1.762 * * * [progress]: picking best candidate 1.796 * * * * [pick]: Picked # 1.796 * * * [progress]: localizing error 1.823 * * * [progress]: generating rewritten candidates 1.823 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.834 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1) 1.835 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 2) 1.837 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1) 1.839 * * * [progress]: generating series expansions 1.839 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.839 * [approximate]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in (y z x) around 0 1.839 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in x 1.840 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in x 1.840 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in x 1.840 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 1.840 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.840 * [taylor]: Taking taylor expansion of z in x 1.840 * [taylor]: Taking taylor expansion of y in x 1.840 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in x 1.840 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in x 1.840 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 1.840 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.840 * [taylor]: Taking taylor expansion of z in x 1.840 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 1.840 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in x 1.840 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 1.840 * [taylor]: Taking taylor expansion of z in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in z 1.841 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in z 1.841 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in z 1.841 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 1.841 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.841 * [taylor]: Taking taylor expansion of z in z 1.841 * [taylor]: Taking taylor expansion of y in z 1.841 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 1.841 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 1.841 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 1.841 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.841 * [taylor]: Taking taylor expansion of z in z 1.841 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 1.841 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 1.841 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 1.841 * [taylor]: Taking taylor expansion of z in z 1.841 * [taylor]: Taking taylor expansion of x in z 1.843 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 1.843 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 1.843 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 1.843 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.843 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.843 * [taylor]: Taking taylor expansion of z in y 1.843 * [taylor]: Taking taylor expansion of y in y 1.843 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 1.843 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 1.843 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 1.843 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.843 * [taylor]: Taking taylor expansion of z in y 1.843 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 1.843 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 1.843 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 1.843 * [taylor]: Taking taylor expansion of z in y 1.843 * [taylor]: Taking taylor expansion of x in y 1.844 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 1.844 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 1.844 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 1.844 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.844 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.844 * [taylor]: Taking taylor expansion of z in y 1.844 * [taylor]: Taking taylor expansion of y in y 1.844 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 1.844 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 1.844 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 1.844 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.844 * [taylor]: Taking taylor expansion of z in y 1.844 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 1.844 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 1.844 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 1.844 * [taylor]: Taking taylor expansion of z in y 1.844 * [taylor]: Taking taylor expansion of x in y 1.845 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) x) in z 1.845 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) in z 1.845 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 1.845 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 1.845 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 1.845 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.845 * [taylor]: Taking taylor expansion of z in z 1.845 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 1.845 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 1.845 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 1.845 * [taylor]: Taking taylor expansion of z in z 1.845 * [taylor]: Taking taylor expansion of x in z 1.846 * [taylor]: Taking taylor expansion of (/ 0.083333333333333 x) in x 1.846 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.848 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 1.848 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.848 * [taylor]: Taking taylor expansion of z in z 1.848 * [taylor]: Taking taylor expansion of x in z 1.851 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 (/ 1 x))) in x 1.851 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 x)) in x 1.851 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 1.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.851 * [taylor]: Taking taylor expansion of x in x 1.855 * [taylor]: Taking taylor expansion of 0 in z 1.855 * [taylor]: Taking taylor expansion of 0 in x 1.857 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 x)) in x 1.858 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 1.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.858 * [taylor]: Taking taylor expansion of x in x 1.859 * [approximate]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in (y z x) around 0 1.859 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in x 1.859 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in x 1.859 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in x 1.859 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 1.859 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 1.859 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 1.859 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.859 * [taylor]: Taking taylor expansion of z in x 1.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in x 1.859 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 1.859 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 1.859 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.859 * [taylor]: Taking taylor expansion of z in x 1.859 * [taylor]: Taking taylor expansion of y in x 1.860 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 1.860 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 1.860 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 1.860 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.860 * [taylor]: Taking taylor expansion of z in x 1.860 * [taylor]: Taking taylor expansion of x in x 1.860 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in z 1.860 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in z 1.860 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in z 1.860 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 1.860 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 1.860 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.860 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.860 * [taylor]: Taking taylor expansion of z in z 1.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in z 1.860 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 1.860 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 1.860 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.860 * [taylor]: Taking taylor expansion of z in z 1.860 * [taylor]: Taking taylor expansion of y in z 1.861 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 1.861 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 1.861 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 1.861 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.861 * [taylor]: Taking taylor expansion of z in z 1.861 * [taylor]: Taking taylor expansion of x in z 1.861 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 1.861 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 1.861 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 1.861 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 1.861 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 1.861 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.861 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.861 * [taylor]: Taking taylor expansion of z in y 1.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 1.861 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 1.861 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.861 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.861 * [taylor]: Taking taylor expansion of z in y 1.861 * [taylor]: Taking taylor expansion of y in y 1.862 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 1.862 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 1.862 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 1.862 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.862 * [taylor]: Taking taylor expansion of z in y 1.862 * [taylor]: Taking taylor expansion of x in y 1.862 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 1.862 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 1.862 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 1.862 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 1.862 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 1.862 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.862 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.862 * [taylor]: Taking taylor expansion of z in y 1.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 1.862 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 1.862 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.862 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.862 * [taylor]: Taking taylor expansion of z in y 1.862 * [taylor]: Taking taylor expansion of y in y 1.863 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 1.863 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 1.863 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 1.863 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.863 * [taylor]: Taking taylor expansion of z in y 1.863 * [taylor]: Taking taylor expansion of x in y 1.863 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 1.863 * [taylor]: Taking taylor expansion of x in z 1.863 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.863 * [taylor]: Taking taylor expansion of z in z 1.864 * [taylor]: Taking taylor expansion of x in x 1.866 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) (* 0.0027777777777778 (/ x z))) in z 1.866 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) in z 1.866 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 1.866 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 1.866 * [taylor]: Taking taylor expansion of x in z 1.866 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 1.866 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 1.866 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 1.866 * [taylor]: Taking taylor expansion of x in z 1.866 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.866 * [taylor]: Taking taylor expansion of z in z 1.866 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 1.866 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 1.866 * [taylor]: Taking taylor expansion of (/ x z) in z 1.866 * [taylor]: Taking taylor expansion of x in z 1.866 * [taylor]: Taking taylor expansion of z in z 1.866 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 1.866 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 1.866 * [taylor]: Taking taylor expansion of x in x 1.867 * [taylor]: Taking taylor expansion of 0 in x 1.871 * [taylor]: Taking taylor expansion of 0 in z 1.872 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 1.872 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 1.872 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 1.872 * [taylor]: Taking taylor expansion of x in x 1.874 * [taylor]: Taking taylor expansion of 0 in x 1.880 * [taylor]: Taking taylor expansion of 0 in z 1.883 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 1.883 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 1.883 * [taylor]: Taking taylor expansion of x in x 1.885 * [taylor]: Taking taylor expansion of 0 in x 1.887 * [approximate]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in (y z x) around 0 1.887 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in x 1.887 * [taylor]: Taking taylor expansion of -1 in x 1.887 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in x 1.887 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in x 1.887 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in x 1.887 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 1.887 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 1.887 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.887 * [taylor]: Taking taylor expansion of z in x 1.887 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in x 1.887 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 1.887 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 1.887 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 1.887 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.887 * [taylor]: Taking taylor expansion of z in x 1.888 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 1.888 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 1.888 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 1.888 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.888 * [taylor]: Taking taylor expansion of z in x 1.888 * [taylor]: Taking taylor expansion of y in x 1.888 * [taylor]: Taking taylor expansion of x in x 1.888 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in z 1.888 * [taylor]: Taking taylor expansion of -1 in z 1.888 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in z 1.888 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in z 1.888 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in z 1.888 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 1.888 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 1.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.888 * [taylor]: Taking taylor expansion of z in z 1.888 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in z 1.888 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 1.888 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 1.888 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.888 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.888 * [taylor]: Taking taylor expansion of z in z 1.889 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 1.889 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 1.889 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 1.889 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.889 * [taylor]: Taking taylor expansion of z in z 1.889 * [taylor]: Taking taylor expansion of y in z 1.889 * [taylor]: Taking taylor expansion of x in z 1.889 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 1.889 * [taylor]: Taking taylor expansion of -1 in y 1.889 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 1.889 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 1.889 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 1.889 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 1.889 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 1.889 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.889 * [taylor]: Taking taylor expansion of z in y 1.890 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 1.890 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 1.890 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 1.890 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.890 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.890 * [taylor]: Taking taylor expansion of z in y 1.890 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 1.890 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 1.890 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.890 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.890 * [taylor]: Taking taylor expansion of z in y 1.890 * [taylor]: Taking taylor expansion of y in y 1.890 * [taylor]: Taking taylor expansion of x in y 1.890 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 1.890 * [taylor]: Taking taylor expansion of -1 in y 1.890 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 1.890 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 1.890 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 1.890 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 1.890 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 1.890 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.890 * [taylor]: Taking taylor expansion of z in y 1.891 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 1.891 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 1.891 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 1.891 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.891 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.891 * [taylor]: Taking taylor expansion of z in y 1.891 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 1.891 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 1.891 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.891 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.891 * [taylor]: Taking taylor expansion of z in y 1.891 * [taylor]: Taking taylor expansion of y in y 1.891 * [taylor]: Taking taylor expansion of x in y 1.892 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 1.892 * [taylor]: Taking taylor expansion of x in z 1.892 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.892 * [taylor]: Taking taylor expansion of x in x 1.894 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))))) in z 1.894 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z)))) in z 1.894 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 1.894 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 1.894 * [taylor]: Taking taylor expansion of x in z 1.894 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))) in z 1.895 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 1.895 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 1.895 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 1.895 * [taylor]: Taking taylor expansion of x in z 1.895 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 1.895 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 1.895 * [taylor]: Taking taylor expansion of (/ x z) in z 1.895 * [taylor]: Taking taylor expansion of x in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * [taylor]: Taking taylor expansion of (- (* 0.0007936500793651 x)) in x 1.895 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 1.895 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 1.895 * [taylor]: Taking taylor expansion of x in x 1.896 * [taylor]: Taking taylor expansion of 0 in x 1.901 * [taylor]: Taking taylor expansion of 0 in z 1.902 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 1.902 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 1.902 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 1.902 * [taylor]: Taking taylor expansion of x in x 1.904 * [taylor]: Taking taylor expansion of 0 in x 1.911 * [taylor]: Taking taylor expansion of 0 in z 1.918 * [taylor]: Taking taylor expansion of (- (* 0.083333333333333 x)) in x 1.918 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 1.918 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 1.918 * [taylor]: Taking taylor expansion of x in x 1.920 * [taylor]: Taking taylor expansion of 0 in x 1.923 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1) 1.923 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.923 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.923 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.923 * [taylor]: Taking taylor expansion of 1/3 in x 1.923 * [taylor]: Taking taylor expansion of (log x) in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.924 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.924 * [taylor]: Taking taylor expansion of 1/3 in x 1.924 * [taylor]: Taking taylor expansion of (log x) in x 1.924 * [taylor]: Taking taylor expansion of x in x 1.971 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.972 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.972 * [taylor]: Taking taylor expansion of 1/3 in x 1.972 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.972 * [taylor]: Taking taylor expansion of x in x 1.972 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.973 * [taylor]: Taking taylor expansion of 1/3 in x 1.973 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.973 * [taylor]: Taking taylor expansion of x in x 2.031 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.031 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.031 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.031 * [taylor]: Taking taylor expansion of -1 in x 2.032 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.032 * [taylor]: Taking taylor expansion of 1/3 in x 2.032 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.032 * [taylor]: Taking taylor expansion of x in x 2.033 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.033 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.033 * [taylor]: Taking taylor expansion of -1 in x 2.034 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.034 * [taylor]: Taking taylor expansion of 1/3 in x 2.034 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.034 * [taylor]: Taking taylor expansion of x in x 2.101 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 2) 2.101 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.102 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.102 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.102 * [taylor]: Taking taylor expansion of 1/3 in x 2.102 * [taylor]: Taking taylor expansion of (log x) in x 2.102 * [taylor]: Taking taylor expansion of x in x 2.102 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.102 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.102 * [taylor]: Taking taylor expansion of 1/3 in x 2.102 * [taylor]: Taking taylor expansion of (log x) in x 2.102 * [taylor]: Taking taylor expansion of x in x 2.157 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.157 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.157 * [taylor]: Taking taylor expansion of 1/3 in x 2.157 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.157 * [taylor]: Taking taylor expansion of x in x 2.158 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.158 * [taylor]: Taking taylor expansion of 1/3 in x 2.158 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.158 * [taylor]: Taking taylor expansion of x in x 2.209 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.210 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.210 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.210 * [taylor]: Taking taylor expansion of -1 in x 2.210 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.210 * [taylor]: Taking taylor expansion of 1/3 in x 2.210 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.210 * [taylor]: Taking taylor expansion of x in x 2.211 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.211 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.211 * [taylor]: Taking taylor expansion of -1 in x 2.212 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.212 * [taylor]: Taking taylor expansion of 1/3 in x 2.212 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.212 * [taylor]: Taking taylor expansion of x in x 2.281 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1) 2.281 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.281 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.281 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.281 * [taylor]: Taking taylor expansion of 1/3 in x 2.281 * [taylor]: Taking taylor expansion of (log x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.282 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.282 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.282 * [taylor]: Taking taylor expansion of 1/3 in x 2.282 * [taylor]: Taking taylor expansion of (log x) in x 2.282 * [taylor]: Taking taylor expansion of x in x 2.337 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.337 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.337 * [taylor]: Taking taylor expansion of 1/3 in x 2.337 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.337 * [taylor]: Taking taylor expansion of x in x 2.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.338 * [taylor]: Taking taylor expansion of 1/3 in x 2.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.338 * [taylor]: Taking taylor expansion of x in x 2.395 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.395 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.395 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.395 * [taylor]: Taking taylor expansion of -1 in x 2.396 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.396 * [taylor]: Taking taylor expansion of 1/3 in x 2.396 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.396 * [taylor]: Taking taylor expansion of x in x 2.397 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.397 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.397 * [taylor]: Taking taylor expansion of -1 in x 2.397 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.398 * [taylor]: Taking taylor expansion of 1/3 in x 2.398 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.398 * [taylor]: Taking taylor expansion of x in x 2.466 * * * [progress]: simplifying candidates 2.468 * [simplify]: Simplifying using # : (- (log (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (* (* (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (* x x) x)) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (* (* (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (- x) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (* (cbrt x) (cbrt x))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) 1) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (cbrt x) (cbrt x))) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) 1) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ 1 1) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) 1) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* x (+ (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)) (- (* 0.083333333333333 0.083333333333333) (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)))) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.083333333333333 (/ 1 x))) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 2.472 * * [simplify]: iteration 0 : 212 enodes (cost 462 ) 2.476 * * [simplify]: iteration 1 : 697 enodes (cost 420 ) 2.491 * * [simplify]: iteration 2 : 3321 enodes (cost 413 ) 2.562 * * [simplify]: iteration 3 : 5001 enodes (cost 410 ) 2.565 * [simplify]: Simplified to: (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* -1 x) (* (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (pow x 2/3)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (pow x 2/3)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (pow x 2/3) 1)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) 1 (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (pow x 2/3)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (+ (* 0.083333333333333 (- 0.083333333333333 (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z))) (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z))) x) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (+ (- (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.0027777777777778 (/ z x))) (/ 0.083333333333333 x)) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 2.565 * * * [progress]: adding candidates to table 2.840 * * [progress]: iteration 3 / 4 2.840 * * * [progress]: picking best candidate 2.878 * * * * [pick]: Picked # 2.878 * * * [progress]: localizing error 2.899 * * * [progress]: generating rewritten candidates 2.899 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.910 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1) 2.911 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 2.913 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 2.930 * * * [progress]: generating series expansions 2.930 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.931 * [approximate]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in (y z x) around 0 2.931 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in x 2.931 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in x 2.931 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in x 2.931 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 2.931 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.931 * [taylor]: Taking taylor expansion of z in x 2.931 * [taylor]: Taking taylor expansion of y in x 2.931 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in x 2.931 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in x 2.931 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 2.931 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.931 * [taylor]: Taking taylor expansion of z in x 2.931 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 2.931 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in x 2.931 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 2.931 * [taylor]: Taking taylor expansion of z in x 2.931 * [taylor]: Taking taylor expansion of x in x 2.932 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in z 2.932 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in z 2.932 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in z 2.932 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 2.932 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.932 * [taylor]: Taking taylor expansion of z in z 2.932 * [taylor]: Taking taylor expansion of y in z 2.932 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 2.932 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 2.932 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 2.932 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.932 * [taylor]: Taking taylor expansion of z in z 2.932 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 2.932 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 2.932 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 2.932 * [taylor]: Taking taylor expansion of z in z 2.932 * [taylor]: Taking taylor expansion of x in z 2.934 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 2.934 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 2.934 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 2.934 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 2.934 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.934 * [taylor]: Taking taylor expansion of z in y 2.934 * [taylor]: Taking taylor expansion of y in y 2.934 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 2.934 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 2.934 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 2.934 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.934 * [taylor]: Taking taylor expansion of z in y 2.934 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 2.934 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 2.934 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 2.934 * [taylor]: Taking taylor expansion of z in y 2.934 * [taylor]: Taking taylor expansion of x in y 2.935 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 2.935 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 2.935 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 2.935 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 2.935 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.935 * [taylor]: Taking taylor expansion of z in y 2.935 * [taylor]: Taking taylor expansion of y in y 2.935 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 2.935 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 2.935 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 2.935 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.935 * [taylor]: Taking taylor expansion of z in y 2.935 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 2.935 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 2.935 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 2.935 * [taylor]: Taking taylor expansion of z in y 2.935 * [taylor]: Taking taylor expansion of x in y 2.936 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) x) in z 2.936 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) in z 2.936 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 2.936 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 2.936 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 2.936 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.936 * [taylor]: Taking taylor expansion of z in z 2.936 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 2.936 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 2.936 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 2.936 * [taylor]: Taking taylor expansion of z in z 2.936 * [taylor]: Taking taylor expansion of x in z 2.937 * [taylor]: Taking taylor expansion of (/ 0.083333333333333 x) in x 2.937 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 2.937 * [taylor]: Taking taylor expansion of x in x 2.939 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 2.939 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.939 * [taylor]: Taking taylor expansion of z in z 2.939 * [taylor]: Taking taylor expansion of x in z 2.942 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 (/ 1 x))) in x 2.942 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 x)) in x 2.942 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 2.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.942 * [taylor]: Taking taylor expansion of x in x 2.951 * [taylor]: Taking taylor expansion of 0 in z 2.951 * [taylor]: Taking taylor expansion of 0 in x 2.953 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 x)) in x 2.953 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 2.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.953 * [taylor]: Taking taylor expansion of x in x 2.954 * [approximate]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in (y z x) around 0 2.954 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in x 2.954 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in x 2.954 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in x 2.954 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 2.954 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 2.954 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 2.954 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.954 * [taylor]: Taking taylor expansion of z in x 2.955 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in x 2.955 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 2.955 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 2.955 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.955 * [taylor]: Taking taylor expansion of z in x 2.955 * [taylor]: Taking taylor expansion of y in x 2.955 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 2.955 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 2.955 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 2.955 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.955 * [taylor]: Taking taylor expansion of z in x 2.955 * [taylor]: Taking taylor expansion of x in x 2.955 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in z 2.955 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in z 2.955 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in z 2.955 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 2.955 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 2.955 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.955 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.955 * [taylor]: Taking taylor expansion of z in z 2.956 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in z 2.956 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 2.956 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 2.956 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.956 * [taylor]: Taking taylor expansion of z in z 2.956 * [taylor]: Taking taylor expansion of y in z 2.956 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 2.956 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 2.956 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 2.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.956 * [taylor]: Taking taylor expansion of z in z 2.956 * [taylor]: Taking taylor expansion of x in z 2.956 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 2.956 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 2.956 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 2.956 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 2.956 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 2.956 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.956 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.956 * [taylor]: Taking taylor expansion of z in y 2.957 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 2.957 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 2.957 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 2.957 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.957 * [taylor]: Taking taylor expansion of z in y 2.957 * [taylor]: Taking taylor expansion of y in y 2.957 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 2.957 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 2.957 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 2.957 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.957 * [taylor]: Taking taylor expansion of z in y 2.957 * [taylor]: Taking taylor expansion of x in y 2.957 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 2.957 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 2.957 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 2.957 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 2.957 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 2.957 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.957 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.957 * [taylor]: Taking taylor expansion of z in y 2.958 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 2.958 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 2.958 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 2.958 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.958 * [taylor]: Taking taylor expansion of z in y 2.958 * [taylor]: Taking taylor expansion of y in y 2.958 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 2.958 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 2.958 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 2.958 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.958 * [taylor]: Taking taylor expansion of z in y 2.958 * [taylor]: Taking taylor expansion of x in y 2.959 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 2.959 * [taylor]: Taking taylor expansion of x in z 2.959 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.959 * [taylor]: Taking taylor expansion of z in z 2.959 * [taylor]: Taking taylor expansion of x in x 2.961 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) (* 0.0027777777777778 (/ x z))) in z 2.961 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) in z 2.961 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 2.961 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 2.961 * [taylor]: Taking taylor expansion of x in z 2.961 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 2.961 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 2.961 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 2.961 * [taylor]: Taking taylor expansion of x in z 2.961 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.961 * [taylor]: Taking taylor expansion of z in z 2.961 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 2.961 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 2.961 * [taylor]: Taking taylor expansion of (/ x z) in z 2.961 * [taylor]: Taking taylor expansion of x in z 2.961 * [taylor]: Taking taylor expansion of z in z 2.961 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 2.961 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 2.961 * [taylor]: Taking taylor expansion of x in x 2.963 * [taylor]: Taking taylor expansion of 0 in x 2.966 * [taylor]: Taking taylor expansion of 0 in z 2.967 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 2.967 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 2.967 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 2.967 * [taylor]: Taking taylor expansion of x in x 2.969 * [taylor]: Taking taylor expansion of 0 in x 2.975 * [taylor]: Taking taylor expansion of 0 in z 2.978 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 2.978 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 2.978 * [taylor]: Taking taylor expansion of x in x 2.980 * [taylor]: Taking taylor expansion of 0 in x 2.982 * [approximate]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in (y z x) around 0 2.982 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in x 2.982 * [taylor]: Taking taylor expansion of -1 in x 2.982 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in x 2.982 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in x 2.982 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in x 2.982 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 2.982 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 2.982 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.982 * [taylor]: Taking taylor expansion of z in x 2.982 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in x 2.982 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 2.982 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 2.982 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 2.982 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.982 * [taylor]: Taking taylor expansion of z in x 2.982 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 2.982 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 2.982 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 2.982 * [taylor]: Taking taylor expansion of (pow z 2) in x 2.982 * [taylor]: Taking taylor expansion of z in x 2.982 * [taylor]: Taking taylor expansion of y in x 2.983 * [taylor]: Taking taylor expansion of x in x 2.983 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in z 2.983 * [taylor]: Taking taylor expansion of -1 in z 2.983 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in z 2.983 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in z 2.983 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in z 2.983 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 2.983 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 2.983 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.983 * [taylor]: Taking taylor expansion of z in z 2.983 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in z 2.983 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 2.983 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 2.983 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.983 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.983 * [taylor]: Taking taylor expansion of z in z 2.984 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 2.984 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 2.984 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 2.984 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.984 * [taylor]: Taking taylor expansion of z in z 2.984 * [taylor]: Taking taylor expansion of y in z 2.984 * [taylor]: Taking taylor expansion of x in z 2.984 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 2.984 * [taylor]: Taking taylor expansion of -1 in y 2.984 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 2.984 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 2.984 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 2.984 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 2.984 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 2.984 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.984 * [taylor]: Taking taylor expansion of z in y 2.984 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 2.984 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 2.984 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 2.984 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.984 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.984 * [taylor]: Taking taylor expansion of z in y 2.984 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 2.984 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 2.984 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 2.984 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.984 * [taylor]: Taking taylor expansion of z in y 2.985 * [taylor]: Taking taylor expansion of y in y 2.985 * [taylor]: Taking taylor expansion of x in y 2.985 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 2.985 * [taylor]: Taking taylor expansion of -1 in y 2.985 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 2.985 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 2.985 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 2.985 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 2.985 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 2.985 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.985 * [taylor]: Taking taylor expansion of z in y 2.985 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 2.985 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 2.985 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 2.985 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 2.985 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.985 * [taylor]: Taking taylor expansion of z in y 2.985 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 2.985 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 2.985 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 2.985 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.986 * [taylor]: Taking taylor expansion of z in y 2.986 * [taylor]: Taking taylor expansion of y in y 2.986 * [taylor]: Taking taylor expansion of x in y 2.986 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 2.986 * [taylor]: Taking taylor expansion of x in z 2.986 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.986 * [taylor]: Taking taylor expansion of z in z 2.987 * [taylor]: Taking taylor expansion of x in x 2.989 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))))) in z 2.989 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z)))) in z 2.989 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 2.989 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 2.989 * [taylor]: Taking taylor expansion of x in z 2.989 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))) in z 2.989 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 2.989 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 2.989 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 2.989 * [taylor]: Taking taylor expansion of x in z 2.989 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.989 * [taylor]: Taking taylor expansion of z in z 2.990 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 2.990 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 2.990 * [taylor]: Taking taylor expansion of (/ x z) in z 2.990 * [taylor]: Taking taylor expansion of x in z 2.990 * [taylor]: Taking taylor expansion of z in z 2.990 * [taylor]: Taking taylor expansion of (- (* 0.0007936500793651 x)) in x 2.990 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 2.990 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 2.990 * [taylor]: Taking taylor expansion of x in x 2.991 * [taylor]: Taking taylor expansion of 0 in x 2.995 * [taylor]: Taking taylor expansion of 0 in z 2.996 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 2.996 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 2.996 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 2.996 * [taylor]: Taking taylor expansion of x in x 2.998 * [taylor]: Taking taylor expansion of 0 in x 3.005 * [taylor]: Taking taylor expansion of 0 in z 3.008 * [taylor]: Taking taylor expansion of (- (* 0.083333333333333 x)) in x 3.008 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 3.008 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 3.008 * [taylor]: Taking taylor expansion of x in x 3.010 * [taylor]: Taking taylor expansion of 0 in x 3.012 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1) 3.012 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 3.012 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.012 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.012 * [taylor]: Taking taylor expansion of 1/3 in x 3.012 * [taylor]: Taking taylor expansion of (log x) in x 3.012 * [taylor]: Taking taylor expansion of x in x 3.013 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.013 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.013 * [taylor]: Taking taylor expansion of 1/3 in x 3.013 * [taylor]: Taking taylor expansion of (log x) in x 3.013 * [taylor]: Taking taylor expansion of x in x 3.065 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 3.065 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.065 * [taylor]: Taking taylor expansion of 1/3 in x 3.065 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.065 * [taylor]: Taking taylor expansion of x in x 3.066 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.066 * [taylor]: Taking taylor expansion of 1/3 in x 3.066 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.066 * [taylor]: Taking taylor expansion of x in x 3.122 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 3.122 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.122 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.122 * [taylor]: Taking taylor expansion of -1 in x 3.123 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.123 * [taylor]: Taking taylor expansion of 1/3 in x 3.123 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.123 * [taylor]: Taking taylor expansion of x in x 3.124 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.124 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.124 * [taylor]: Taking taylor expansion of -1 in x 3.125 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.125 * [taylor]: Taking taylor expansion of 1/3 in x 3.125 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.125 * [taylor]: Taking taylor expansion of x in x 3.195 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 2 1) 3.195 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 3.195 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.195 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.195 * [taylor]: Taking taylor expansion of 1/3 in x 3.195 * [taylor]: Taking taylor expansion of (log x) in x 3.195 * [taylor]: Taking taylor expansion of x in x 3.196 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.196 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.196 * [taylor]: Taking taylor expansion of 1/3 in x 3.196 * [taylor]: Taking taylor expansion of (log x) in x 3.196 * [taylor]: Taking taylor expansion of x in x 3.243 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 3.243 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.243 * [taylor]: Taking taylor expansion of 1/3 in x 3.243 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.243 * [taylor]: Taking taylor expansion of x in x 3.244 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.244 * [taylor]: Taking taylor expansion of 1/3 in x 3.244 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.244 * [taylor]: Taking taylor expansion of x in x 3.301 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 3.301 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.301 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.301 * [taylor]: Taking taylor expansion of -1 in x 3.302 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.302 * [taylor]: Taking taylor expansion of 1/3 in x 3.302 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.302 * [taylor]: Taking taylor expansion of x in x 3.303 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.303 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.303 * [taylor]: Taking taylor expansion of -1 in x 3.304 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.304 * [taylor]: Taking taylor expansion of 1/3 in x 3.304 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.304 * [taylor]: Taking taylor expansion of x in x 3.372 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 3.372 * [approximate]: Taking taylor expansion of (- (* 3 (* x (log (pow x 1/3)))) (* 1.5 (log (pow x 1/3)))) in (x) around 0 3.372 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow x 1/3)))) (* 1.5 (log (pow x 1/3)))) in x 3.372 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 3.372 * [taylor]: Taking taylor expansion of 3 in x 3.372 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 3.372 * [taylor]: Taking taylor expansion of x in x 3.372 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 3.372 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.372 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.372 * [taylor]: Taking taylor expansion of 1/3 in x 3.372 * [taylor]: Taking taylor expansion of (log x) in x 3.372 * [taylor]: Taking taylor expansion of x in x 3.373 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow x 1/3))) in x 3.373 * [taylor]: Taking taylor expansion of 1.5 in x 3.373 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 3.373 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.373 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.373 * [taylor]: Taking taylor expansion of 1/3 in x 3.373 * [taylor]: Taking taylor expansion of (log x) in x 3.373 * [taylor]: Taking taylor expansion of x in x 3.374 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow x 1/3)))) (* 1.5 (log (pow x 1/3)))) in x 3.374 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 3.374 * [taylor]: Taking taylor expansion of 3 in x 3.374 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 3.374 * [taylor]: Taking taylor expansion of x in x 3.374 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 3.374 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.374 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.374 * [taylor]: Taking taylor expansion of 1/3 in x 3.374 * [taylor]: Taking taylor expansion of (log x) in x 3.374 * [taylor]: Taking taylor expansion of x in x 3.375 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow x 1/3))) in x 3.375 * [taylor]: Taking taylor expansion of 1.5 in x 3.375 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 3.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.375 * [taylor]: Taking taylor expansion of 1/3 in x 3.375 * [taylor]: Taking taylor expansion of (log x) in x 3.375 * [taylor]: Taking taylor expansion of x in x 3.624 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) (* 1.5 (log (pow (/ 1 x) 1/3)))) in (x) around 0 3.624 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) (* 1.5 (log (pow (/ 1 x) 1/3)))) in x 3.624 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 3.624 * [taylor]: Taking taylor expansion of 3 in x 3.624 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 3.624 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 3.624 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.625 * [taylor]: Taking taylor expansion of 1/3 in x 3.625 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.625 * [taylor]: Taking taylor expansion of x in x 3.625 * [taylor]: Taking taylor expansion of x in x 3.626 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 x) 1/3))) in x 3.626 * [taylor]: Taking taylor expansion of 1.5 in x 3.626 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 3.626 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.626 * [taylor]: Taking taylor expansion of 1/3 in x 3.626 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.626 * [taylor]: Taking taylor expansion of x in x 3.627 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) (* 1.5 (log (pow (/ 1 x) 1/3)))) in x 3.627 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 3.627 * [taylor]: Taking taylor expansion of 3 in x 3.627 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 3.627 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 3.627 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.627 * [taylor]: Taking taylor expansion of 1/3 in x 3.627 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.627 * [taylor]: Taking taylor expansion of x in x 3.628 * [taylor]: Taking taylor expansion of x in x 3.628 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 x) 1/3))) in x 3.628 * [taylor]: Taking taylor expansion of 1.5 in x 3.628 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 3.628 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.628 * [taylor]: Taking taylor expansion of 1/3 in x 3.628 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.628 * [taylor]: Taking taylor expansion of x in x 3.848 * [approximate]: Taking taylor expansion of (- (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)))) in (x) around 0 3.848 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)))) in x 3.848 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 3.848 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 3.848 * [taylor]: Taking taylor expansion of 1.5 in x 3.848 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 3.848 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.848 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.848 * [taylor]: Taking taylor expansion of -1 in x 3.849 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.849 * [taylor]: Taking taylor expansion of 1/3 in x 3.849 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.849 * [taylor]: Taking taylor expansion of x in x 3.850 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 3.850 * [taylor]: Taking taylor expansion of 3 in x 3.850 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 3.850 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 3.850 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.850 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.850 * [taylor]: Taking taylor expansion of -1 in x 3.851 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.851 * [taylor]: Taking taylor expansion of 1/3 in x 3.851 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.851 * [taylor]: Taking taylor expansion of x in x 3.853 * [taylor]: Taking taylor expansion of x in x 3.853 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)))) in x 3.853 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 3.853 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 3.853 * [taylor]: Taking taylor expansion of 1.5 in x 3.853 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 3.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.853 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.853 * [taylor]: Taking taylor expansion of -1 in x 3.854 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.854 * [taylor]: Taking taylor expansion of 1/3 in x 3.854 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.854 * [taylor]: Taking taylor expansion of x in x 3.856 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 3.856 * [taylor]: Taking taylor expansion of 3 in x 3.856 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 3.856 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 3.856 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.856 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.856 * [taylor]: Taking taylor expansion of -1 in x 3.856 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.856 * [taylor]: Taking taylor expansion of 1/3 in x 3.856 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.856 * [taylor]: Taking taylor expansion of x in x 3.858 * [taylor]: Taking taylor expansion of x in x 4.316 * * * [progress]: simplifying candidates 4.318 * [simplify]: Simplifying using # : (- (log (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (* (* (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (* x x) x)) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (* (* (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (- x) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (* (cbrt x) (cbrt x))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) 1) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (cbrt x) (cbrt x))) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) 1) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ 1 1) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) 1) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* x (+ (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)) (- (* 0.083333333333333 0.083333333333333) (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)))) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* (exp (* (- x 0.5) (* 2 (log (cbrt x))))) (exp (* (- x 0.5) (log (cbrt x))))) (log (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (exp (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (* (cbrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (cbrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x)))))) (cbrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (* (* (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (sqrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (sqrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (+ (* (* (- (pow x 3) (pow 0.5 3)) (* 2 (log (cbrt x)))) (+ (* x x) (+ (* 0.5 0.5) (* x 0.5)))) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (* (- (pow x 3) (pow 0.5 3)) (log (cbrt x))))) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (+ (* x x) (+ (* 0.5 0.5) (* x 0.5)))) (+ (* (* (- (pow x 3) (pow 0.5 3)) (* 2 (log (cbrt x)))) (+ x 0.5)) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (* (- (* x x) (* 0.5 0.5)) (log (cbrt x))))) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (+ x 0.5)) (+ (* (* (- (* x x) (* 0.5 0.5)) (* 2 (log (cbrt x)))) (+ (* x x) (+ (* 0.5 0.5) (* x 0.5)))) (* (+ x 0.5) (* (- (pow x 3) (pow 0.5 3)) (log (cbrt x))))) (* (+ x 0.5) (+ (* x x) (+ (* 0.5 0.5) (* x 0.5)))) (+ (* (* (- (* x x) (* 0.5 0.5)) (* 2 (log (cbrt x)))) (+ x 0.5)) (* (+ x 0.5) (* (- (* x x) (* 0.5 0.5)) (log (cbrt x))))) (* (+ x 0.5) (+ x 0.5)) (+ (pow (* (- x 0.5) (* 2 (log (cbrt x)))) 3) (pow (* (- x 0.5) (log (cbrt x))) 3)) (+ (* (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (* 2 (log (cbrt x))))) (- (* (* (- x 0.5) (log (cbrt x))) (* (- x 0.5) (log (cbrt x)))) (* (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x)))))) (- (* (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (* 2 (log (cbrt x))))) (* (* (- x 0.5) (log (cbrt x))) (* (- x 0.5) (log (cbrt x))))) (- (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x)))) (+ (* 2 (log (cbrt x))) (log (cbrt x))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt (* (cbrt x) (cbrt x)))))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt (sqrt x))))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt 1)))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (sqrt (cbrt x))))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log 1))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (log (cbrt (* (cbrt x) (cbrt x)))) (- x 0.5))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (log (cbrt (sqrt x))) (- x 0.5))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (log (cbrt 1)) (- x 0.5))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (- x 0.5))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (log (sqrt (cbrt x))) (- x 0.5))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (log 1) (- x 0.5))) (+ (* (- x 0.5) (* 2 (log (cbrt (cbrt x))))) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* 2 (log (cbrt (sqrt x))))) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* 2 (log (cbrt (cbrt x))))) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* 2 (log (sqrt (cbrt x))))) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* (log (cbrt (cbrt x))) 2)) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* (log (cbrt (sqrt x))) 2)) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* (log (cbrt x)) 2)) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* (log (cbrt (cbrt x))) 2)) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* (log (sqrt (cbrt x))) 2)) (* (- x 0.5) (log (cbrt x)))) (+ (* (- x 0.5) (* (log (cbrt x)) 2)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* 2 (log (cbrt (cbrt x)))) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* 2 (log (cbrt (sqrt x)))) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* 2 (log (cbrt (cbrt x)))) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* 2 (log (sqrt (cbrt x)))) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* (log (cbrt (cbrt x))) 2) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* (log (cbrt (sqrt x))) 2) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* (log (cbrt x)) 2) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* (log (cbrt (cbrt x))) 2) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* (log (sqrt (cbrt x))) 2) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (+ (* (* (log (cbrt x)) 2) (- x 0.5)) (* (- x 0.5) (log (cbrt x)))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.083333333333333 (/ 1 x))) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (- (* 3 (* x (log (pow x 1/3)))) (* 1.5 (log (pow x 1/3)))) (- (* 3 (* (log (pow (/ 1 x) -1/3)) x)) (* 1.5 (log (pow (/ 1 x) -1/3)))) (- (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (* 1.5 (log (* (pow (* -1 x) 1/3) (cbrt -1))))) 4.326 * * [simplify]: iteration 0 : 624 enodes (cost 1080 ) 4.337 * * [simplify]: iteration 1 : 2446 enodes (cost 943 ) 4.383 * * [simplify]: iteration 2 : 5001 enodes (cost 919 ) 4.389 * [simplify]: Simplified to: (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* -1 x) (* (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (pow x 2/3)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (pow x 2/3)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (pow x 2/3) 1)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) 1 (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (pow x 2/3)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (+ (* 0.083333333333333 (- 0.083333333333333 (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z))) (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z))) x) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log (pow x 1/3)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (pow x 1/3)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow (pow (pow x 1/3) (- x 0.5)) 3) (+ (log (- x 0.5)) (log (* 3 (log (cbrt x))))) (pow (pow (pow x 1/3) (- x 0.5)) 3) (* (cbrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (cbrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x)))))) (cbrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (pow (* (log x) (- x 0.5)) 3) (sqrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (sqrt (+ (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (log (cbrt x))))) (* (+ (* 0.5 (+ 0.5 x)) (* x x)) (+ (* (- (pow x 3) (pow 0.5 3)) (log (cbrt x))) (* (- (pow x 3) (pow 0.5 3)) (* 2 (log (cbrt x)))))) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (+ (* x x) (+ (* 0.5 0.5) (* x 0.5)))) (+ (* (* (- (pow x 3) (pow 0.5 3)) (* 2 (log (cbrt x)))) (+ x 0.5)) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (* (- (* x x) (* 0.5 0.5)) (log (cbrt x))))) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (+ x 0.5)) (+ (* (* (- (* x x) (* 0.5 0.5)) (* 2 (log (cbrt x)))) (+ (* x x) (+ (* 0.5 0.5) (* x 0.5)))) (* (+ x 0.5) (* (- (pow x 3) (pow 0.5 3)) (log (cbrt x))))) (* (+ (* x x) (+ (* 0.5 0.5) (* x 0.5))) (+ x 0.5)) (* (+ x 0.5) (+ (* (- (* x x) (* 0.5 0.5)) (log (cbrt x))) (* (- (* x x) (* 0.5 0.5)) (* 2 (log (cbrt x)))))) (* (+ x 0.5) (+ x 0.5)) (* (pow (- x 0.5) 3) (+ (pow (log (cbrt x)) 3) (pow (* 2 (log (cbrt x))) 3))) (+ (* (* (- x 0.5) (log (cbrt x))) (- (* (- x 0.5) (log (cbrt x))) (* (- x 0.5) (* 2 (log (cbrt x)))))) (* (* (- x 0.5) (* 2 (log (cbrt x)))) (* (- x 0.5) (* 2 (log (cbrt x)))))) (* (- x 0.5) (* (* 1 (log x)) (* (log (pow x 1/3)) (- (* 2 (- x 0.5)) (- x 0.5))))) (* (log (pow x 1/3)) (- (* 2 (- x 0.5)) (- x 0.5))) (log x) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (cbrt 1)))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (sqrt (cbrt x))))) (* (- x 0.5) (* (log (cbrt x)) 2)) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (cbrt (sqrt x))))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (cbrt 1)))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (* (- x 0.5) (+ (* 2 (log (cbrt x))) (log (sqrt (cbrt x))))) (* (- x 0.5) (* (log (cbrt x)) 2)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (cbrt (sqrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (* (- x 0.5) (+ (* (log (cbrt (cbrt x))) 2) (log (cbrt x)))) (* (- x 0.5) (+ (* (log (sqrt (cbrt x))) 2) (log (cbrt x)))) (* (log x) (- x 0.5)) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.083333333333333 (/ 1 x))) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (* (log (pow x 1/3)) (- (* 3 x) 1.5)) (- (* 3 (* (log (pow (/ 1 x) -1/3)) x)) (* 1.5 (log (pow (/ 1 x) -1/3)))) (* (log (* (pow (* -1 x) 1/3) (cbrt -1))) (- (* 3 x) 1.5)) 4.389 * * * [progress]: adding candidates to table 4.881 * * [progress]: iteration 4 / 4 4.881 * * * [progress]: picking best candidate 4.921 * * * * [pick]: Picked # 4.921 * * * [progress]: localizing error 4.947 * * * [progress]: generating rewritten candidates 4.948 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 4.959 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1) 4.961 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 4.962 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 2 1) 4.965 * * * [progress]: generating series expansions 4.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 4.965 * [approximate]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in (y z x) around 0 4.965 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in x 4.965 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in x 4.965 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in x 4.965 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 4.965 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.965 * [taylor]: Taking taylor expansion of z in x 4.965 * [taylor]: Taking taylor expansion of y in x 4.965 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in x 4.965 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in x 4.965 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 4.966 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.966 * [taylor]: Taking taylor expansion of z in x 4.966 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 4.966 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in x 4.966 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 4.966 * [taylor]: Taking taylor expansion of z in x 4.966 * [taylor]: Taking taylor expansion of x in x 4.967 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in z 4.967 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in z 4.967 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in z 4.967 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 4.967 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.967 * [taylor]: Taking taylor expansion of z in z 4.967 * [taylor]: Taking taylor expansion of y in z 4.967 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 4.967 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 4.967 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 4.967 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.967 * [taylor]: Taking taylor expansion of z in z 4.967 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 4.967 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 4.967 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 4.967 * [taylor]: Taking taylor expansion of z in z 4.967 * [taylor]: Taking taylor expansion of x in z 4.969 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 4.969 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 4.969 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 4.969 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 4.969 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.969 * [taylor]: Taking taylor expansion of z in y 4.969 * [taylor]: Taking taylor expansion of y in y 4.969 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 4.969 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 4.969 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 4.969 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.969 * [taylor]: Taking taylor expansion of z in y 4.969 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 4.969 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 4.969 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 4.969 * [taylor]: Taking taylor expansion of z in y 4.969 * [taylor]: Taking taylor expansion of x in y 4.973 * [taylor]: Taking taylor expansion of (/ (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) x) in y 4.974 * [taylor]: Taking taylor expansion of (- (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) (* 0.0027777777777778 z)) in y 4.974 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333)) in y 4.974 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 4.974 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.974 * [taylor]: Taking taylor expansion of z in y 4.974 * [taylor]: Taking taylor expansion of y in y 4.974 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in y 4.974 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in y 4.974 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 4.974 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.974 * [taylor]: Taking taylor expansion of z in y 4.974 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 4.974 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in y 4.974 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 4.974 * [taylor]: Taking taylor expansion of z in y 4.974 * [taylor]: Taking taylor expansion of x in y 4.975 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) x) in z 4.975 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) (* 0.0027777777777778 z)) in z 4.975 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (pow z 2)) 0.083333333333333) in z 4.975 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (pow z 2)) in z 4.975 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 4.975 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.975 * [taylor]: Taking taylor expansion of z in z 4.975 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 4.975 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 z) in z 4.975 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 4.975 * [taylor]: Taking taylor expansion of z in z 4.975 * [taylor]: Taking taylor expansion of x in z 4.976 * [taylor]: Taking taylor expansion of (/ 0.083333333333333 x) in x 4.976 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 4.976 * [taylor]: Taking taylor expansion of x in x 4.978 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 4.978 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.978 * [taylor]: Taking taylor expansion of z in z 4.978 * [taylor]: Taking taylor expansion of x in z 4.981 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 (/ 1 x))) in x 4.981 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 x)) in x 4.981 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 4.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.981 * [taylor]: Taking taylor expansion of x in x 4.985 * [taylor]: Taking taylor expansion of 0 in z 4.985 * [taylor]: Taking taylor expansion of 0 in x 4.987 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 x)) in x 4.987 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 4.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.987 * [taylor]: Taking taylor expansion of x in x 4.989 * [approximate]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in (y z x) around 0 4.989 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in x 4.989 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in x 4.989 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in x 4.989 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 4.989 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 4.989 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 4.989 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.989 * [taylor]: Taking taylor expansion of z in x 4.989 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in x 4.989 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 4.989 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 4.989 * [taylor]: Taking taylor expansion of (pow z 2) in x 4.989 * [taylor]: Taking taylor expansion of z in x 4.989 * [taylor]: Taking taylor expansion of y in x 4.989 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 4.989 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 4.990 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 4.990 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.990 * [taylor]: Taking taylor expansion of z in x 4.990 * [taylor]: Taking taylor expansion of x in x 4.990 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in z 4.990 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in z 4.990 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in z 4.990 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 4.990 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 4.990 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.990 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.990 * [taylor]: Taking taylor expansion of z in z 4.990 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in z 4.990 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 4.990 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 4.990 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.990 * [taylor]: Taking taylor expansion of z in z 4.990 * [taylor]: Taking taylor expansion of y in z 4.991 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 4.991 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 4.991 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 4.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.991 * [taylor]: Taking taylor expansion of z in z 4.991 * [taylor]: Taking taylor expansion of x in z 4.991 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 4.991 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 4.991 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 4.991 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 4.991 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 4.991 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 4.991 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.991 * [taylor]: Taking taylor expansion of z in y 4.991 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 4.991 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 4.991 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 4.991 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.991 * [taylor]: Taking taylor expansion of z in y 4.991 * [taylor]: Taking taylor expansion of y in y 4.992 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 4.992 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 4.992 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 4.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.992 * [taylor]: Taking taylor expansion of z in y 4.992 * [taylor]: Taking taylor expansion of x in y 4.992 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) x) in y 4.992 * [taylor]: Taking taylor expansion of (- (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) (* 0.0027777777777778 (/ 1 z))) in y 4.992 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) (+ (/ 1 (* (pow z 2) y)) 0.083333333333333)) in y 4.992 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 4.992 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 4.992 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 4.992 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.992 * [taylor]: Taking taylor expansion of z in y 4.992 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) 0.083333333333333) in y 4.992 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 4.992 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 4.992 * [taylor]: Taking taylor expansion of (pow z 2) in y 4.992 * [taylor]: Taking taylor expansion of z in y 4.992 * [taylor]: Taking taylor expansion of y in y 4.993 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 4.993 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 4.993 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 4.993 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.993 * [taylor]: Taking taylor expansion of z in y 4.993 * [taylor]: Taking taylor expansion of x in y 4.993 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 4.993 * [taylor]: Taking taylor expansion of x in z 4.993 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.993 * [taylor]: Taking taylor expansion of z in z 4.994 * [taylor]: Taking taylor expansion of x in x 4.995 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) (* 0.0027777777777778 (/ x z))) in z 4.995 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (* 0.0007936500793651 (/ x (pow z 2)))) in z 4.995 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 4.996 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 4.996 * [taylor]: Taking taylor expansion of x in z 4.996 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 4.996 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 4.996 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 4.996 * [taylor]: Taking taylor expansion of x in z 4.996 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.996 * [taylor]: Taking taylor expansion of z in z 4.996 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 4.996 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 4.996 * [taylor]: Taking taylor expansion of (/ x z) in z 4.996 * [taylor]: Taking taylor expansion of x in z 4.996 * [taylor]: Taking taylor expansion of z in z 4.996 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 4.996 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 4.996 * [taylor]: Taking taylor expansion of x in x 4.997 * [taylor]: Taking taylor expansion of 0 in x 5.001 * [taylor]: Taking taylor expansion of 0 in z 5.002 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 5.002 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 5.002 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 5.002 * [taylor]: Taking taylor expansion of x in x 5.004 * [taylor]: Taking taylor expansion of 0 in x 5.009 * [taylor]: Taking taylor expansion of 0 in z 5.012 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 5.012 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 5.012 * [taylor]: Taking taylor expansion of x in x 5.014 * [taylor]: Taking taylor expansion of 0 in x 5.017 * [approximate]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in (y z x) around 0 5.017 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in x 5.017 * [taylor]: Taking taylor expansion of -1 in x 5.017 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in x 5.017 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in x 5.017 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in x 5.017 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in x 5.017 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 5.017 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.017 * [taylor]: Taking taylor expansion of z in x 5.017 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in x 5.017 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in x 5.017 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 5.017 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 5.017 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.017 * [taylor]: Taking taylor expansion of z in x 5.017 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 5.017 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 5.017 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 5.017 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.017 * [taylor]: Taking taylor expansion of z in x 5.017 * [taylor]: Taking taylor expansion of y in x 5.017 * [taylor]: Taking taylor expansion of x in x 5.017 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in z 5.018 * [taylor]: Taking taylor expansion of -1 in z 5.018 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in z 5.018 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in z 5.018 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in z 5.018 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in z 5.018 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 5.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.018 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in z 5.018 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in z 5.018 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 5.018 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 5.018 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.018 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 5.019 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 5.019 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.019 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.019 * [taylor]: Taking taylor expansion of z in z 5.019 * [taylor]: Taking taylor expansion of y in z 5.019 * [taylor]: Taking taylor expansion of x in z 5.019 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 5.019 * [taylor]: Taking taylor expansion of -1 in y 5.019 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 5.019 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 5.019 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 5.019 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 5.019 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 5.019 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.019 * [taylor]: Taking taylor expansion of z in y 5.019 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 5.019 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 5.019 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 5.019 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 5.019 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.019 * [taylor]: Taking taylor expansion of z in y 5.019 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 5.019 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.019 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.019 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.019 * [taylor]: Taking taylor expansion of z in y 5.019 * [taylor]: Taking taylor expansion of y in y 5.020 * [taylor]: Taking taylor expansion of x in y 5.020 * [taylor]: Taking taylor expansion of (* -1 (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x)) in y 5.020 * [taylor]: Taking taylor expansion of -1 in y 5.020 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) x) in y 5.020 * [taylor]: Taking taylor expansion of (- (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) (/ 1 (* (pow z 2) y))) in y 5.020 * [taylor]: Taking taylor expansion of (+ (* 0.0027777777777778 (/ 1 z)) (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333)) in y 5.020 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ 1 z)) in y 5.020 * [taylor]: Taking taylor expansion of 0.0027777777777778 in y 5.020 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.020 * [taylor]: Taking taylor expansion of z in y 5.020 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ 1 (pow z 2))) 0.083333333333333) in y 5.020 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ 1 (pow z 2))) in y 5.020 * [taylor]: Taking taylor expansion of 0.0007936500793651 in y 5.020 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 5.020 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.020 * [taylor]: Taking taylor expansion of z in y 5.020 * [taylor]: Taking taylor expansion of 0.083333333333333 in y 5.020 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.020 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.020 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.020 * [taylor]: Taking taylor expansion of z in y 5.020 * [taylor]: Taking taylor expansion of y in y 5.021 * [taylor]: Taking taylor expansion of x in y 5.021 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 5.021 * [taylor]: Taking taylor expansion of x in z 5.021 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.021 * [taylor]: Taking taylor expansion of z in z 5.022 * [taylor]: Taking taylor expansion of x in x 5.024 * [taylor]: Taking taylor expansion of (- (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))))) in z 5.024 * [taylor]: Taking taylor expansion of (+ (* 0.083333333333333 x) (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z)))) in z 5.024 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in z 5.024 * [taylor]: Taking taylor expansion of 0.083333333333333 in z 5.024 * [taylor]: Taking taylor expansion of x in z 5.024 * [taylor]: Taking taylor expansion of (+ (* 0.0007936500793651 (/ x (pow z 2))) (* 0.0027777777777778 (/ x z))) in z 5.024 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 (/ x (pow z 2))) in z 5.024 * [taylor]: Taking taylor expansion of 0.0007936500793651 in z 5.024 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 5.024 * [taylor]: Taking taylor expansion of x in z 5.024 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.024 * [taylor]: Taking taylor expansion of z in z 5.024 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 (/ x z)) in z 5.025 * [taylor]: Taking taylor expansion of 0.0027777777777778 in z 5.025 * [taylor]: Taking taylor expansion of (/ x z) in z 5.025 * [taylor]: Taking taylor expansion of x in z 5.025 * [taylor]: Taking taylor expansion of z in z 5.025 * [taylor]: Taking taylor expansion of (- (* 0.0007936500793651 x)) in x 5.025 * [taylor]: Taking taylor expansion of (* 0.0007936500793651 x) in x 5.025 * [taylor]: Taking taylor expansion of 0.0007936500793651 in x 5.025 * [taylor]: Taking taylor expansion of x in x 5.026 * [taylor]: Taking taylor expansion of 0 in x 5.030 * [taylor]: Taking taylor expansion of 0 in z 5.031 * [taylor]: Taking taylor expansion of (- (* 0.0027777777777778 x)) in x 5.031 * [taylor]: Taking taylor expansion of (* 0.0027777777777778 x) in x 5.031 * [taylor]: Taking taylor expansion of 0.0027777777777778 in x 5.031 * [taylor]: Taking taylor expansion of x in x 5.033 * [taylor]: Taking taylor expansion of 0 in x 5.040 * [taylor]: Taking taylor expansion of 0 in z 5.043 * [taylor]: Taking taylor expansion of (- (* 0.083333333333333 x)) in x 5.043 * [taylor]: Taking taylor expansion of (* 0.083333333333333 x) in x 5.043 * [taylor]: Taking taylor expansion of 0.083333333333333 in x 5.043 * [taylor]: Taking taylor expansion of x in x 5.045 * [taylor]: Taking taylor expansion of 0 in x 5.047 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1) 5.048 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 5.048 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 5.048 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 5.048 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 5.048 * [taylor]: Taking taylor expansion of 1/6 in x 5.048 * [taylor]: Taking taylor expansion of (log x) in x 5.048 * [taylor]: Taking taylor expansion of x in x 5.048 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 5.048 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 5.048 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 5.048 * [taylor]: Taking taylor expansion of 1/6 in x 5.048 * [taylor]: Taking taylor expansion of (log x) in x 5.048 * [taylor]: Taking taylor expansion of x in x 5.100 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 5.100 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 5.100 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 5.100 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 5.100 * [taylor]: Taking taylor expansion of 1/6 in x 5.100 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.100 * [taylor]: Taking taylor expansion of x in x 5.101 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 5.101 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 5.101 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 5.101 * [taylor]: Taking taylor expansion of 1/6 in x 5.101 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.101 * [taylor]: Taking taylor expansion of x in x 5.156 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 5.156 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 5.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 5.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 5.156 * [taylor]: Taking taylor expansion of 1/3 in x 5.156 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 5.156 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.156 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.156 * [taylor]: Taking taylor expansion of -1 in x 5.156 * [taylor]: Taking taylor expansion of x in x 5.159 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 5.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 5.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 5.159 * [taylor]: Taking taylor expansion of 1/3 in x 5.159 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 5.159 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.159 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.159 * [taylor]: Taking taylor expansion of -1 in x 5.159 * [taylor]: Taking taylor expansion of x in x 5.193 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 2 1) 5.193 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0 5.193 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 5.193 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 5.193 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 5.193 * [taylor]: Taking taylor expansion of 1/6 in x 5.193 * [taylor]: Taking taylor expansion of (log x) in x 5.193 * [taylor]: Taking taylor expansion of x in x 5.194 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 5.194 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 5.194 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 5.194 * [taylor]: Taking taylor expansion of 1/6 in x 5.194 * [taylor]: Taking taylor expansion of (log x) in x 5.194 * [taylor]: Taking taylor expansion of x in x 5.247 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0 5.247 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 5.247 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 5.247 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 5.247 * [taylor]: Taking taylor expansion of 1/6 in x 5.247 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.247 * [taylor]: Taking taylor expansion of x in x 5.248 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 5.248 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 5.248 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 5.248 * [taylor]: Taking taylor expansion of 1/6 in x 5.248 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.248 * [taylor]: Taking taylor expansion of x in x 5.303 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0 5.303 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 5.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 5.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 5.303 * [taylor]: Taking taylor expansion of 1/3 in x 5.303 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 5.303 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.303 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.303 * [taylor]: Taking taylor expansion of -1 in x 5.304 * [taylor]: Taking taylor expansion of x in x 5.307 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x 5.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x 5.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x 5.307 * [taylor]: Taking taylor expansion of 1/3 in x 5.307 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 5.307 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 5.307 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.307 * [taylor]: Taking taylor expansion of -1 in x 5.307 * [taylor]: Taking taylor expansion of x in x 5.340 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 2 1) 5.341 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.341 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.341 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.341 * [taylor]: Taking taylor expansion of 1/3 in x 5.341 * [taylor]: Taking taylor expansion of (log x) in x 5.341 * [taylor]: Taking taylor expansion of x in x 5.341 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.341 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.341 * [taylor]: Taking taylor expansion of 1/3 in x 5.341 * [taylor]: Taking taylor expansion of (log x) in x 5.341 * [taylor]: Taking taylor expansion of x in x 5.396 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.396 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.396 * [taylor]: Taking taylor expansion of 1/3 in x 5.396 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.396 * [taylor]: Taking taylor expansion of x in x 5.397 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.397 * [taylor]: Taking taylor expansion of 1/3 in x 5.397 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.397 * [taylor]: Taking taylor expansion of x in x 5.454 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.454 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.454 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.454 * [taylor]: Taking taylor expansion of -1 in x 5.455 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.455 * [taylor]: Taking taylor expansion of 1/3 in x 5.455 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.455 * [taylor]: Taking taylor expansion of x in x 5.456 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.456 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.456 * [taylor]: Taking taylor expansion of -1 in x 5.457 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.457 * [taylor]: Taking taylor expansion of 1/3 in x 5.457 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.457 * [taylor]: Taking taylor expansion of x in x 5.527 * * * [progress]: simplifying candidates 5.528 * [simplify]: Simplifying using # : (- (log (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (* (* (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (* x x) x)) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (* (* (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (- x) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (* (cbrt x) (cbrt x))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) 1) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (cbrt x) (cbrt x))) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) 1) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ 1 1) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (* (cbrt x) (cbrt x))) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) 1) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* x (+ (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z)) (- (* 0.083333333333333 0.083333333333333) (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)))) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt 1)) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.083333333333333 (/ 1 x))) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3)))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 5.533 * * [simplify]: iteration 0 : 277 enodes (cost 548 ) 5.539 * * [simplify]: iteration 1 : 911 enodes (cost 500 ) 5.559 * * [simplify]: iteration 2 : 4738 enodes (cost 481 ) 5.673 * * [simplify]: iteration 3 : 5003 enodes (cost 481 ) 5.676 * [simplify]: Simplified to: (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (log (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (exp (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (* (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))) (cbrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (pow (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) 3) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (sqrt (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)) (- (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* -1 x) (* (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (pow x 2/3)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (sqrt x)) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (* (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (pow x 2/3)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (cbrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (sqrt x)) (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) x) (/ 1 (* (pow x 2/3) 1)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (cbrt x)) (/ 1 (sqrt x)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) 1 (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) (/ 1 x) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (pow x 2/3)) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (sqrt x)) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) (/ x (cbrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (sqrt (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333))) (/ x (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* (+ (* (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (* 0.083333333333333 0.083333333333333)) x) (* x (- (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333)) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt (sqrt x))) (exp (cbrt (sqrt x))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))) (cbrt 1) (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (cbrt (cbrt (sqrt x))) (sqrt x) (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (+ (- (* 0.0007936500793651 (/ (pow z 2) x)) (* 0.0027777777777778 (/ z x))) (/ 0.083333333333333 x)) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (- (+ (* 0.0007936500793651 (/ (pow z 2) x)) (/ (* (pow z 2) y) x)) (* 0.0027777777777778 (/ z x))) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) (pow x 1/6) (pow (/ 1 x) -1/6) (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2)))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 5.677 * * * [progress]: adding candidates to table 6.082 * [progress]: [Phase 3 of 3] Extracting. 6.082 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 6.092 * * * [regime-changes]: Trying 6 branch expressions: ((+ y 0.0007936500793651) (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) z y x) 6.092 * * * * [regimes]: Trying to branch on (+ y 0.0007936500793651) from (# # # # # # # # # # #) 6.142 * * * * [regimes]: Trying to branch on (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) from (# # # # # # # # # # #) 6.210 * * * * [regimes]: Trying to branch on (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) from (# # # # # # # #) 6.251 * * * * [regimes]: Trying to branch on (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) from (# # # # # # # # # # #) 6.310 * * * * [regimes]: Trying to branch on (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) from (# # # # # # # #) 6.345 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 6.401 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 6.455 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 6.517 * * * [regime]: Found split indices: #