23.047 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.318 * * * [progress]: [2/2] Setting up program. 1.321 * [progress]: [Phase 2 of 3] Improving. 1.322 * [simplify]: Simplifying using # : (+.f64 (/.f64 x y) (/.f64 (+.f64 2.0 (*.f64 (*.f64 z 2.0) (-.f64 1.0 t))) (*.f64 t z))) 1.381 * * [simplify]: iteration 0 : 4924 enodes (cost 15 ) 1.381 * * [simplify]: iteration 1 : 4924 enodes (cost 15 ) 1.382 * [simplify]: Simplified to: (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) 1.387 * * [progress]: iteration 1 / 4 1.387 * * * [progress]: picking best candidate 1.393 * * * * [pick]: Picked # 1.393 * * * [progress]: localizing error 1.404 * * * [progress]: generating rewritten candidates 1.404 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 1.416 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.438 * * * [progress]: generating series expansions 1.438 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 1.439 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in (t z) around 0 1.439 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in z 1.439 * [taylor]: Taking taylor expansion of 2.0 in z 1.439 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in z 1.439 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.439 * [taylor]: Taking taylor expansion of z in z 1.439 * [taylor]: Taking taylor expansion of 1.0 in z 1.439 * [taylor]: Taking taylor expansion of t in z 1.439 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in t 1.439 * [taylor]: Taking taylor expansion of 2.0 in t 1.439 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t 1.439 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t 1.439 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.439 * [taylor]: Taking taylor expansion of z in t 1.439 * [taylor]: Taking taylor expansion of 1.0 in t 1.439 * [taylor]: Taking taylor expansion of t in t 1.439 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 z) 1.0) t)) in t 1.439 * [taylor]: Taking taylor expansion of 2.0 in t 1.439 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) t) in t 1.439 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in t 1.439 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.439 * [taylor]: Taking taylor expansion of z in t 1.439 * [taylor]: Taking taylor expansion of 1.0 in t 1.439 * [taylor]: Taking taylor expansion of t in t 1.439 * [taylor]: Taking taylor expansion of (* 2.0 (+ (/ 1 z) 1.0)) in z 1.439 * [taylor]: Taking taylor expansion of 2.0 in z 1.439 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.440 * [taylor]: Taking taylor expansion of z in z 1.440 * [taylor]: Taking taylor expansion of 1.0 in z 1.440 * [taylor]: Taking taylor expansion of 0 in z 1.440 * [taylor]: Taking taylor expansion of 0 in z 1.441 * [taylor]: Taking taylor expansion of 0 in z 1.441 * [taylor]: Taking taylor expansion of 0 in z 1.441 * [approximate]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in (t z) around 0 1.441 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in z 1.441 * [taylor]: Taking taylor expansion of 2.0 in z 1.442 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in z 1.442 * [taylor]: Taking taylor expansion of t in z 1.442 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.442 * [taylor]: Taking taylor expansion of z in z 1.442 * [taylor]: Taking taylor expansion of 1.0 in z 1.442 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in t 1.442 * [taylor]: Taking taylor expansion of 2.0 in t 1.442 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t 1.442 * [taylor]: Taking taylor expansion of t in t 1.442 * [taylor]: Taking taylor expansion of (+ z 1.0) in t 1.442 * [taylor]: Taking taylor expansion of z in t 1.442 * [taylor]: Taking taylor expansion of 1.0 in t 1.442 * [taylor]: Taking taylor expansion of (* 2.0 (* t (+ z 1.0))) in t 1.442 * [taylor]: Taking taylor expansion of 2.0 in t 1.442 * [taylor]: Taking taylor expansion of (* t (+ z 1.0)) in t 1.442 * [taylor]: Taking taylor expansion of t in t 1.442 * [taylor]: Taking taylor expansion of (+ z 1.0) in t 1.442 * [taylor]: Taking taylor expansion of z in t 1.442 * [taylor]: Taking taylor expansion of 1.0 in t 1.442 * [taylor]: Taking taylor expansion of 0 in z 1.442 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z 1.442 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.442 * [taylor]: Taking taylor expansion of 2.0 in z 1.442 * [taylor]: Taking taylor expansion of z in z 1.442 * [taylor]: Taking taylor expansion of 2.0 in z 1.442 * [taylor]: Taking taylor expansion of 0 in z 1.443 * [taylor]: Taking taylor expansion of 0 in z 1.443 * [taylor]: Taking taylor expansion of 0 in z 1.443 * [approximate]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in (t z) around 0 1.443 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in z 1.443 * [taylor]: Taking taylor expansion of -2.0 in z 1.443 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in z 1.443 * [taylor]: Taking taylor expansion of t in z 1.443 * [taylor]: Taking taylor expansion of (- 1.0 z) in z 1.443 * [taylor]: Taking taylor expansion of 1.0 in z 1.443 * [taylor]: Taking taylor expansion of z in z 1.443 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in t 1.443 * [taylor]: Taking taylor expansion of -2.0 in t 1.443 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t 1.443 * [taylor]: Taking taylor expansion of t in t 1.443 * [taylor]: Taking taylor expansion of (- 1.0 z) in t 1.443 * [taylor]: Taking taylor expansion of 1.0 in t 1.443 * [taylor]: Taking taylor expansion of z in t 1.443 * [taylor]: Taking taylor expansion of (* -2.0 (* t (- 1.0 z))) in t 1.443 * [taylor]: Taking taylor expansion of -2.0 in t 1.443 * [taylor]: Taking taylor expansion of (* t (- 1.0 z)) in t 1.443 * [taylor]: Taking taylor expansion of t in t 1.443 * [taylor]: Taking taylor expansion of (- 1.0 z) in t 1.444 * [taylor]: Taking taylor expansion of 1.0 in t 1.444 * [taylor]: Taking taylor expansion of z in t 1.444 * [taylor]: Taking taylor expansion of 0 in z 1.444 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z 1.444 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.444 * [taylor]: Taking taylor expansion of 2.0 in z 1.444 * [taylor]: Taking taylor expansion of z in z 1.444 * [taylor]: Taking taylor expansion of 2.0 in z 1.444 * [taylor]: Taking taylor expansion of 0 in z 1.444 * [taylor]: Taking taylor expansion of 0 in z 1.445 * [taylor]: Taking taylor expansion of 0 in z 1.445 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.445 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (x y t z) around 0 1.445 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z 1.445 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z 1.445 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z 1.445 * [taylor]: Taking taylor expansion of 2.0 in z 1.445 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.445 * [taylor]: Taking taylor expansion of (* t z) in z 1.445 * [taylor]: Taking taylor expansion of t in z 1.445 * [taylor]: Taking taylor expansion of z in z 1.445 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z 1.445 * [taylor]: Taking taylor expansion of (/ x y) in z 1.445 * [taylor]: Taking taylor expansion of x in z 1.445 * [taylor]: Taking taylor expansion of y in z 1.445 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z 1.445 * [taylor]: Taking taylor expansion of 2.0 in z 1.445 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.445 * [taylor]: Taking taylor expansion of t in z 1.445 * [taylor]: Taking taylor expansion of 2.0 in z 1.446 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t 1.446 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t 1.446 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.446 * [taylor]: Taking taylor expansion of 2.0 in t 1.446 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.446 * [taylor]: Taking taylor expansion of (* t z) in t 1.446 * [taylor]: Taking taylor expansion of t in t 1.446 * [taylor]: Taking taylor expansion of z in t 1.446 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t 1.446 * [taylor]: Taking taylor expansion of (/ x y) in t 1.446 * [taylor]: Taking taylor expansion of x in t 1.446 * [taylor]: Taking taylor expansion of y in t 1.446 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.446 * [taylor]: Taking taylor expansion of 2.0 in t 1.446 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.446 * [taylor]: Taking taylor expansion of t in t 1.446 * [taylor]: Taking taylor expansion of 2.0 in t 1.446 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y 1.446 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y 1.446 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y 1.446 * [taylor]: Taking taylor expansion of 2.0 in y 1.446 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.446 * [taylor]: Taking taylor expansion of (* t z) in y 1.446 * [taylor]: Taking taylor expansion of t in y 1.446 * [taylor]: Taking taylor expansion of z in y 1.446 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y 1.446 * [taylor]: Taking taylor expansion of (/ x y) in y 1.446 * [taylor]: Taking taylor expansion of x in y 1.446 * [taylor]: Taking taylor expansion of y in y 1.446 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y 1.446 * [taylor]: Taking taylor expansion of 2.0 in y 1.446 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.446 * [taylor]: Taking taylor expansion of t in y 1.446 * [taylor]: Taking taylor expansion of 2.0 in y 1.446 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x 1.446 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x 1.446 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x 1.446 * [taylor]: Taking taylor expansion of 2.0 in x 1.446 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.446 * [taylor]: Taking taylor expansion of (* t z) in x 1.446 * [taylor]: Taking taylor expansion of t in x 1.446 * [taylor]: Taking taylor expansion of z in x 1.446 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x 1.447 * [taylor]: Taking taylor expansion of (/ x y) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.447 * [taylor]: Taking taylor expansion of y in x 1.447 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x 1.447 * [taylor]: Taking taylor expansion of 2.0 in x 1.447 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.447 * [taylor]: Taking taylor expansion of t in x 1.447 * [taylor]: Taking taylor expansion of 2.0 in x 1.447 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x 1.447 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x 1.447 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x 1.447 * [taylor]: Taking taylor expansion of 2.0 in x 1.447 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.447 * [taylor]: Taking taylor expansion of (* t z) in x 1.447 * [taylor]: Taking taylor expansion of t in x 1.447 * [taylor]: Taking taylor expansion of z in x 1.447 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x 1.447 * [taylor]: Taking taylor expansion of (/ x y) in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.447 * [taylor]: Taking taylor expansion of y in x 1.447 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x 1.447 * [taylor]: Taking taylor expansion of 2.0 in x 1.447 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.447 * [taylor]: Taking taylor expansion of t in x 1.447 * [taylor]: Taking taylor expansion of 2.0 in x 1.447 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in y 1.447 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in y 1.447 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y 1.447 * [taylor]: Taking taylor expansion of 2.0 in y 1.447 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.447 * [taylor]: Taking taylor expansion of (* t z) in y 1.448 * [taylor]: Taking taylor expansion of t in y 1.448 * [taylor]: Taking taylor expansion of z in y 1.448 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y 1.448 * [taylor]: Taking taylor expansion of 2.0 in y 1.448 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.448 * [taylor]: Taking taylor expansion of t in y 1.448 * [taylor]: Taking taylor expansion of 2.0 in y 1.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.448 * [taylor]: Taking taylor expansion of y in y 1.448 * [taylor]: Taking taylor expansion of 1 in t 1.448 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t 1.448 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t 1.448 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.448 * [taylor]: Taking taylor expansion of 2.0 in t 1.448 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.448 * [taylor]: Taking taylor expansion of (* t z) in t 1.448 * [taylor]: Taking taylor expansion of t in t 1.449 * [taylor]: Taking taylor expansion of z in t 1.449 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.449 * [taylor]: Taking taylor expansion of 2.0 in t 1.449 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.449 * [taylor]: Taking taylor expansion of t in t 1.449 * [taylor]: Taking taylor expansion of 2.0 in t 1.449 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z 1.449 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 1.449 * [taylor]: Taking taylor expansion of 2.0 in z 1.449 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.449 * [taylor]: Taking taylor expansion of z in z 1.449 * [taylor]: Taking taylor expansion of 2.0 in z 1.449 * [taylor]: Taking taylor expansion of 0 in y 1.450 * [taylor]: Taking taylor expansion of 0 in t 1.450 * [taylor]: Taking taylor expansion of 0 in t 1.450 * [taylor]: Taking taylor expansion of 1 in z 1.450 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.450 * [taylor]: Taking taylor expansion of 2.0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in y 1.451 * [taylor]: Taking taylor expansion of 0 in t 1.451 * [taylor]: Taking taylor expansion of 0 in t 1.451 * [taylor]: Taking taylor expansion of 0 in t 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.452 * [taylor]: Taking taylor expansion of 0 in z 1.452 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (x y t z) around 0 1.452 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z 1.452 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z 1.452 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.452 * [taylor]: Taking taylor expansion of 2.0 in z 1.452 * [taylor]: Taking taylor expansion of (* t z) in z 1.452 * [taylor]: Taking taylor expansion of t in z 1.452 * [taylor]: Taking taylor expansion of z in z 1.452 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z 1.452 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.453 * [taylor]: Taking taylor expansion of 2.0 in z 1.453 * [taylor]: Taking taylor expansion of t in z 1.453 * [taylor]: Taking taylor expansion of (/ y x) in z 1.453 * [taylor]: Taking taylor expansion of y in z 1.453 * [taylor]: Taking taylor expansion of x in z 1.453 * [taylor]: Taking taylor expansion of 2.0 in z 1.453 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t 1.453 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t 1.453 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.453 * [taylor]: Taking taylor expansion of 2.0 in t 1.453 * [taylor]: Taking taylor expansion of (* t z) in t 1.453 * [taylor]: Taking taylor expansion of t in t 1.453 * [taylor]: Taking taylor expansion of z in t 1.453 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t 1.453 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.453 * [taylor]: Taking taylor expansion of 2.0 in t 1.453 * [taylor]: Taking taylor expansion of t in t 1.453 * [taylor]: Taking taylor expansion of (/ y x) in t 1.453 * [taylor]: Taking taylor expansion of y in t 1.453 * [taylor]: Taking taylor expansion of x in t 1.453 * [taylor]: Taking taylor expansion of 2.0 in t 1.453 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y 1.453 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y 1.453 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.453 * [taylor]: Taking taylor expansion of 2.0 in y 1.453 * [taylor]: Taking taylor expansion of (* t z) in y 1.453 * [taylor]: Taking taylor expansion of t in y 1.453 * [taylor]: Taking taylor expansion of z in y 1.453 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y 1.453 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.453 * [taylor]: Taking taylor expansion of 2.0 in y 1.453 * [taylor]: Taking taylor expansion of t in y 1.453 * [taylor]: Taking taylor expansion of (/ y x) in y 1.453 * [taylor]: Taking taylor expansion of y in y 1.453 * [taylor]: Taking taylor expansion of x in y 1.453 * [taylor]: Taking taylor expansion of 2.0 in y 1.453 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x 1.453 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x 1.453 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.453 * [taylor]: Taking taylor expansion of 2.0 in x 1.453 * [taylor]: Taking taylor expansion of (* t z) in x 1.453 * [taylor]: Taking taylor expansion of t in x 1.453 * [taylor]: Taking taylor expansion of z in x 1.453 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x 1.453 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.453 * [taylor]: Taking taylor expansion of 2.0 in x 1.453 * [taylor]: Taking taylor expansion of t in x 1.453 * [taylor]: Taking taylor expansion of (/ y x) in x 1.453 * [taylor]: Taking taylor expansion of y in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.453 * [taylor]: Taking taylor expansion of 2.0 in x 1.454 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x 1.454 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x 1.454 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.454 * [taylor]: Taking taylor expansion of 2.0 in x 1.454 * [taylor]: Taking taylor expansion of (* t z) in x 1.454 * [taylor]: Taking taylor expansion of t in x 1.454 * [taylor]: Taking taylor expansion of z in x 1.454 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x 1.454 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.454 * [taylor]: Taking taylor expansion of 2.0 in x 1.454 * [taylor]: Taking taylor expansion of t in x 1.454 * [taylor]: Taking taylor expansion of (/ y x) in x 1.454 * [taylor]: Taking taylor expansion of y in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of 2.0 in x 1.454 * [taylor]: Taking taylor expansion of y in y 1.454 * [taylor]: Taking taylor expansion of 0 in t 1.454 * [taylor]: Taking taylor expansion of 0 in z 1.454 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in y 1.454 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in y 1.454 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.454 * [taylor]: Taking taylor expansion of 2.0 in y 1.454 * [taylor]: Taking taylor expansion of (* t z) in y 1.454 * [taylor]: Taking taylor expansion of t in y 1.454 * [taylor]: Taking taylor expansion of z in y 1.454 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.454 * [taylor]: Taking taylor expansion of 2.0 in y 1.454 * [taylor]: Taking taylor expansion of t in y 1.454 * [taylor]: Taking taylor expansion of 2.0 in y 1.455 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t 1.455 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t 1.455 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.455 * [taylor]: Taking taylor expansion of 2.0 in t 1.455 * [taylor]: Taking taylor expansion of (* t z) in t 1.455 * [taylor]: Taking taylor expansion of t in t 1.455 * [taylor]: Taking taylor expansion of z in t 1.455 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.455 * [taylor]: Taking taylor expansion of 2.0 in t 1.455 * [taylor]: Taking taylor expansion of t in t 1.455 * [taylor]: Taking taylor expansion of 2.0 in t 1.455 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.455 * [taylor]: Taking taylor expansion of 2.0 in z 1.455 * [taylor]: Taking taylor expansion of 1 in t 1.455 * [taylor]: Taking taylor expansion of 1 in z 1.455 * [taylor]: Taking taylor expansion of 0 in z 1.455 * [taylor]: Taking taylor expansion of 0 in y 1.455 * [taylor]: Taking taylor expansion of 0 in t 1.455 * [taylor]: Taking taylor expansion of 0 in z 1.455 * [taylor]: Taking taylor expansion of 0 in t 1.456 * [taylor]: Taking taylor expansion of 0 in z 1.456 * [taylor]: Taking taylor expansion of 0 in t 1.456 * [taylor]: Taking taylor expansion of 0 in z 1.456 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z 1.456 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.456 * [taylor]: Taking taylor expansion of 2.0 in z 1.456 * [taylor]: Taking taylor expansion of z in z 1.456 * [taylor]: Taking taylor expansion of 2.0 in z 1.456 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (x y t z) around 0 1.456 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z 1.456 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z 1.456 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.456 * [taylor]: Taking taylor expansion of 2.0 in z 1.456 * [taylor]: Taking taylor expansion of (* t z) in z 1.456 * [taylor]: Taking taylor expansion of t in z 1.456 * [taylor]: Taking taylor expansion of z in z 1.457 * [taylor]: Taking taylor expansion of (/ y x) in z 1.457 * [taylor]: Taking taylor expansion of y in z 1.457 * [taylor]: Taking taylor expansion of x in z 1.457 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z 1.457 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.457 * [taylor]: Taking taylor expansion of 2.0 in z 1.457 * [taylor]: Taking taylor expansion of t in z 1.457 * [taylor]: Taking taylor expansion of 2.0 in z 1.457 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t 1.457 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t 1.457 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.457 * [taylor]: Taking taylor expansion of 2.0 in t 1.457 * [taylor]: Taking taylor expansion of (* t z) in t 1.457 * [taylor]: Taking taylor expansion of t in t 1.457 * [taylor]: Taking taylor expansion of z in t 1.457 * [taylor]: Taking taylor expansion of (/ y x) in t 1.457 * [taylor]: Taking taylor expansion of y in t 1.457 * [taylor]: Taking taylor expansion of x in t 1.457 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t 1.457 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.457 * [taylor]: Taking taylor expansion of 2.0 in t 1.457 * [taylor]: Taking taylor expansion of t in t 1.457 * [taylor]: Taking taylor expansion of 2.0 in t 1.457 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y 1.457 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y 1.457 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.457 * [taylor]: Taking taylor expansion of 2.0 in y 1.457 * [taylor]: Taking taylor expansion of (* t z) in y 1.457 * [taylor]: Taking taylor expansion of t in y 1.457 * [taylor]: Taking taylor expansion of z in y 1.457 * [taylor]: Taking taylor expansion of (/ y x) in y 1.457 * [taylor]: Taking taylor expansion of y in y 1.457 * [taylor]: Taking taylor expansion of x in y 1.457 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y 1.457 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.457 * [taylor]: Taking taylor expansion of 2.0 in y 1.457 * [taylor]: Taking taylor expansion of t in y 1.457 * [taylor]: Taking taylor expansion of 2.0 in y 1.457 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x 1.457 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x 1.457 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.457 * [taylor]: Taking taylor expansion of 2.0 in x 1.457 * [taylor]: Taking taylor expansion of (* t z) in x 1.457 * [taylor]: Taking taylor expansion of t in x 1.457 * [taylor]: Taking taylor expansion of z in x 1.457 * [taylor]: Taking taylor expansion of (/ y x) in x 1.457 * [taylor]: Taking taylor expansion of y in x 1.457 * [taylor]: Taking taylor expansion of x in x 1.457 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x 1.457 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.457 * [taylor]: Taking taylor expansion of 2.0 in x 1.457 * [taylor]: Taking taylor expansion of t in x 1.458 * [taylor]: Taking taylor expansion of 2.0 in x 1.458 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x 1.458 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x 1.458 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.458 * [taylor]: Taking taylor expansion of 2.0 in x 1.458 * [taylor]: Taking taylor expansion of (* t z) in x 1.458 * [taylor]: Taking taylor expansion of t in x 1.458 * [taylor]: Taking taylor expansion of z in x 1.458 * [taylor]: Taking taylor expansion of (/ y x) in x 1.458 * [taylor]: Taking taylor expansion of y in x 1.458 * [taylor]: Taking taylor expansion of x in x 1.458 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x 1.458 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.458 * [taylor]: Taking taylor expansion of 2.0 in x 1.458 * [taylor]: Taking taylor expansion of t in x 1.458 * [taylor]: Taking taylor expansion of 2.0 in x 1.458 * [taylor]: Taking taylor expansion of y in y 1.458 * [taylor]: Taking taylor expansion of 0 in t 1.458 * [taylor]: Taking taylor expansion of 0 in z 1.458 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in y 1.458 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.458 * [taylor]: Taking taylor expansion of 2.0 in y 1.458 * [taylor]: Taking taylor expansion of (* t z) in y 1.458 * [taylor]: Taking taylor expansion of t in y 1.458 * [taylor]: Taking taylor expansion of z in y 1.458 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y 1.458 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.458 * [taylor]: Taking taylor expansion of 2.0 in y 1.458 * [taylor]: Taking taylor expansion of t in y 1.458 * [taylor]: Taking taylor expansion of 2.0 in y 1.459 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t 1.459 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.459 * [taylor]: Taking taylor expansion of 2.0 in t 1.459 * [taylor]: Taking taylor expansion of (* t z) in t 1.459 * [taylor]: Taking taylor expansion of t in t 1.459 * [taylor]: Taking taylor expansion of z in t 1.459 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t 1.459 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.459 * [taylor]: Taking taylor expansion of 2.0 in t 1.459 * [taylor]: Taking taylor expansion of t in t 1.459 * [taylor]: Taking taylor expansion of 2.0 in t 1.459 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.459 * [taylor]: Taking taylor expansion of 2.0 in z 1.459 * [taylor]: Taking taylor expansion of 1 in t 1.459 * [taylor]: Taking taylor expansion of 1 in z 1.459 * [taylor]: Taking taylor expansion of 0 in z 1.459 * [taylor]: Taking taylor expansion of 0 in y 1.459 * [taylor]: Taking taylor expansion of 0 in t 1.459 * [taylor]: Taking taylor expansion of 0 in z 1.460 * [taylor]: Taking taylor expansion of 0 in t 1.460 * [taylor]: Taking taylor expansion of 0 in z 1.460 * [taylor]: Taking taylor expansion of 0 in t 1.460 * [taylor]: Taking taylor expansion of 0 in z 1.460 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z 1.460 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.460 * [taylor]: Taking taylor expansion of 2.0 in z 1.460 * [taylor]: Taking taylor expansion of z in z 1.460 * [taylor]: Taking taylor expansion of 2.0 in z 1.460 * * * [progress]: simplifying candidates 1.461 * [simplify]: Simplifying using # : (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (-.f64 (log.f64 2.0) (log.f64 t)) (log.f64 (+.f64 (/.f64 1 z) 1.0))) (+.f64 (log.f64 (/.f64 2.0 t)) (log.f64 (+.f64 (/.f64 1 z) 1.0))) (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (exp.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 (/.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (+.f64 (/.f64 1 z) 1.0) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (/.f64 1 z) 1.0))) (*.f64 (*.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (/.f64 2.0 t)) (*.f64 (*.f64 (+.f64 (/.f64 1 z) 1.0) (+.f64 (/.f64 1 z) 1.0)) (+.f64 (/.f64 1 z) 1.0))) (*.f64 (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))) (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 2.0 (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))) (*.f64 t (+.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1 z) 1.0)))) (*.f64 2.0 (-.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (*.f64 1.0 1.0))) (*.f64 t (-.f64 (/.f64 1 z) 1.0)) (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (/.f64 2.0 t) (/.f64 1 z)) (*.f64 (/.f64 2.0 t) 1.0) (*.f64 (/.f64 1 z) (/.f64 2.0 t)) (*.f64 1.0 (/.f64 2.0 t)) (*.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))) (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (/.f64 2.0 t) 1) (*.f64 (/.f64 2.0 t) 1) (*.f64 (/.f64 2.0 t) 1) (*.f64 (cbrt.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (sqrt.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 (cbrt.f64 2.0) t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 (sqrt.f64 2.0) t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 (cbrt.f64 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 (sqrt.f64 t)) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 1 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))) (*.f64 (/.f64 2.0 t) (-.f64 (*.f64 (/.f64 1 z) (/.f64 1 z)) (*.f64 1.0 1.0))) (*.f64 2.0 (+.f64 (/.f64 1 z) 1.0)) (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (exp.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (exp.f64 2.0))) (*.f64 (exp.f64 (/.f64 x y)) (exp.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (log.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (*.f64 (*.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (+.f64 (*.f64 x (+.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))) (*.f64 y (-.f64 (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3) (pow.f64 2.0 3)))) (*.f64 y (+.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))) (+.f64 (*.f64 x (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (*.f64 y (-.f64 (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 2.0 2.0)))) (*.f64 y (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) 3)) (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (-.f64 (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (*.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))) (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (-.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (+.f64 (/.f64 x y) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 (/.f64 x y) (*.f64 (/.f64 2.0 t) (/.f64 1 z))) (+.f64 (/.f64 x y) (*.f64 (/.f64 1 z) (/.f64 2.0 t))) (+.f64 (/.f64 x y) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t)))) (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0) (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0) 1.482 * * [simplify]: iteration 0 : 5413 enodes (cost 932 ) 1.485 * [simplify]: Simplified to: (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (log.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (exp.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3) (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3) (*.f64 (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))) (cbrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3) (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (sqrt.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (*.f64 2.0 (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))) (*.f64 t (+.f64 (/.f64 (/.f64 1 z) z) (-.f64 (*.f64 1.0 1.0) (/.f64 1.0 z)))) (*.f64 2.0 (-.f64 (/.f64 (/.f64 1 z) z) (*.f64 1.0 1.0))) (*.f64 t (-.f64 (/.f64 1 z) 1.0)) (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (*.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (/.f64 (sqrt.f64 2.0) (sqrt.f64 t))) (*.f64 (sqrt.f64 (+.f64 (/.f64 1 z) 1.0)) (/.f64 (sqrt.f64 2.0) (sqrt.f64 t))) (/.f64 (/.f64 2.0 t) z) (*.f64 (/.f64 2.0 t) 1.0) (/.f64 (/.f64 2.0 t) z) (*.f64 (/.f64 2.0 t) 1.0) (*.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)) (cbrt.f64 (+.f64 (/.f64 1 z) 1.0)))) (*.f64 (/.f64 2.0 t) (sqrt.f64 (+.f64 (/.f64 1 z) 1.0))) (/.f64 2.0 t) (/.f64 2.0 t) (/.f64 2.0 t) (*.f64 (+.f64 (/.f64 1 z) 1.0) (cbrt.f64 (/.f64 2.0 t))) (*.f64 (+.f64 (/.f64 1 z) 1.0) (sqrt.f64 (/.f64 2.0 t))) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (cbrt.f64 2.0) (cbrt.f64 t))) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (cbrt.f64 2.0) (sqrt.f64 t))) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (cbrt.f64 2.0) t)) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (sqrt.f64 2.0) (cbrt.f64 t))) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 t))) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 (sqrt.f64 2.0) t)) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 2.0 (cbrt.f64 t))) (*.f64 (+.f64 (/.f64 1 z) 1.0) (/.f64 2.0 (sqrt.f64 t))) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (/.f64 (+.f64 (/.f64 1 z) 1.0) t) (*.f64 (/.f64 2.0 t) (+.f64 (pow.f64 (/.f64 1 z) 3) (pow.f64 1.0 3))) (*.f64 (/.f64 2.0 t) (-.f64 (/.f64 (/.f64 1 z) z) (*.f64 1.0 1.0))) (*.f64 2.0 (+.f64 (/.f64 1 z) 1.0)) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (log.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (pow.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) 3) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (+.f64 (*.f64 x (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))))) (*.f64 y (-.f64 (pow.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 3) (pow.f64 2.0 3)))) (*.f64 y (+.f64 (*.f64 2.0 2.0) (*.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))))) (*.f64 (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0))) (+.f64 x (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) y))) (*.f64 y (+.f64 2.0 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)))) (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) 3)) (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (/.f64 x y)))) (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0))) (-.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) 2.0)) (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (/.f64 x y)) (+.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 x y)) (+.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 x y)) (+.f64 (*.f64 (/.f64 2.0 t) (+.f64 (/.f64 1 z) 1.0)) (/.f64 x y)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (+.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 x y))) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0) 1.486 * * * [progress]: adding candidates to table 1.579 * * [progress]: iteration 2 / 4 1.579 * * * [progress]: picking best candidate 1.600 * * * * [pick]: Picked # 1.600 * * * [progress]: localizing error 1.612 * * * [progress]: generating rewritten candidates 1.612 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2) 1.618 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 1.644 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.686 * * * [progress]: generating series expansions 1.686 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2) 1.687 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0 1.687 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z 1.687 * [taylor]: Taking taylor expansion of 2.0 in z 1.687 * [taylor]: Taking taylor expansion of (* t z) in z 1.687 * [taylor]: Taking taylor expansion of t in z 1.687 * [taylor]: Taking taylor expansion of z in z 1.687 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t 1.687 * [taylor]: Taking taylor expansion of 2.0 in t 1.687 * [taylor]: Taking taylor expansion of (* t z) in t 1.687 * [taylor]: Taking taylor expansion of t in t 1.687 * [taylor]: Taking taylor expansion of z in t 1.687 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t 1.687 * [taylor]: Taking taylor expansion of 2.0 in t 1.687 * [taylor]: Taking taylor expansion of (* t z) in t 1.687 * [taylor]: Taking taylor expansion of t in t 1.687 * [taylor]: Taking taylor expansion of z in t 1.687 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 1.687 * [taylor]: Taking taylor expansion of 2.0 in z 1.687 * [taylor]: Taking taylor expansion of z in z 1.687 * [taylor]: Taking taylor expansion of 0 in z 1.688 * [taylor]: Taking taylor expansion of 0 in z 1.688 * [taylor]: Taking taylor expansion of 0 in z 1.688 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0 1.688 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.688 * [taylor]: Taking taylor expansion of 2.0 in z 1.688 * [taylor]: Taking taylor expansion of (* t z) in z 1.688 * [taylor]: Taking taylor expansion of t in z 1.688 * [taylor]: Taking taylor expansion of z in z 1.688 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.688 * [taylor]: Taking taylor expansion of 2.0 in t 1.688 * [taylor]: Taking taylor expansion of (* t z) in t 1.688 * [taylor]: Taking taylor expansion of t in t 1.688 * [taylor]: Taking taylor expansion of z in t 1.688 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.688 * [taylor]: Taking taylor expansion of 2.0 in t 1.688 * [taylor]: Taking taylor expansion of (* t z) in t 1.688 * [taylor]: Taking taylor expansion of t in t 1.688 * [taylor]: Taking taylor expansion of z in t 1.689 * [taylor]: Taking taylor expansion of 0 in z 1.689 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.689 * [taylor]: Taking taylor expansion of 2.0 in z 1.689 * [taylor]: Taking taylor expansion of z in z 1.689 * [taylor]: Taking taylor expansion of 0 in z 1.689 * [taylor]: Taking taylor expansion of 0 in z 1.689 * [taylor]: Taking taylor expansion of 0 in z 1.689 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0 1.689 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.690 * [taylor]: Taking taylor expansion of 2.0 in z 1.690 * [taylor]: Taking taylor expansion of (* t z) in z 1.690 * [taylor]: Taking taylor expansion of t in z 1.690 * [taylor]: Taking taylor expansion of z in z 1.690 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.690 * [taylor]: Taking taylor expansion of 2.0 in t 1.690 * [taylor]: Taking taylor expansion of (* t z) in t 1.690 * [taylor]: Taking taylor expansion of t in t 1.690 * [taylor]: Taking taylor expansion of z in t 1.690 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.690 * [taylor]: Taking taylor expansion of 2.0 in t 1.690 * [taylor]: Taking taylor expansion of (* t z) in t 1.690 * [taylor]: Taking taylor expansion of t in t 1.690 * [taylor]: Taking taylor expansion of z in t 1.690 * [taylor]: Taking taylor expansion of 0 in z 1.690 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.690 * [taylor]: Taking taylor expansion of 2.0 in z 1.690 * [taylor]: Taking taylor expansion of z in z 1.690 * [taylor]: Taking taylor expansion of 0 in z 1.690 * [taylor]: Taking taylor expansion of 0 in z 1.691 * [taylor]: Taking taylor expansion of 0 in z 1.691 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 1.691 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in (t z) around 0 1.691 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z 1.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z 1.691 * [taylor]: Taking taylor expansion of 2.0 in z 1.691 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.691 * [taylor]: Taking taylor expansion of (* t z) in z 1.691 * [taylor]: Taking taylor expansion of t in z 1.691 * [taylor]: Taking taylor expansion of z in z 1.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z 1.691 * [taylor]: Taking taylor expansion of 2.0 in z 1.691 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.691 * [taylor]: Taking taylor expansion of t in z 1.691 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t 1.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.691 * [taylor]: Taking taylor expansion of 2.0 in t 1.691 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.691 * [taylor]: Taking taylor expansion of (* t z) in t 1.691 * [taylor]: Taking taylor expansion of t in t 1.691 * [taylor]: Taking taylor expansion of z in t 1.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.691 * [taylor]: Taking taylor expansion of 2.0 in t 1.691 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.691 * [taylor]: Taking taylor expansion of t in t 1.691 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t 1.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.691 * [taylor]: Taking taylor expansion of 2.0 in t 1.691 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.691 * [taylor]: Taking taylor expansion of (* t z) in t 1.691 * [taylor]: Taking taylor expansion of t in t 1.692 * [taylor]: Taking taylor expansion of z in t 1.692 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.692 * [taylor]: Taking taylor expansion of 2.0 in t 1.692 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.692 * [taylor]: Taking taylor expansion of t in t 1.692 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z 1.692 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 1.692 * [taylor]: Taking taylor expansion of 2.0 in z 1.692 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.692 * [taylor]: Taking taylor expansion of z in z 1.692 * [taylor]: Taking taylor expansion of 2.0 in z 1.692 * [taylor]: Taking taylor expansion of 0 in z 1.693 * [taylor]: Taking taylor expansion of 0 in z 1.693 * [taylor]: Taking taylor expansion of 0 in z 1.694 * [taylor]: Taking taylor expansion of 0 in z 1.694 * [approximate]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0 1.694 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z 1.694 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.694 * [taylor]: Taking taylor expansion of 2.0 in z 1.694 * [taylor]: Taking taylor expansion of (* t z) in z 1.694 * [taylor]: Taking taylor expansion of t in z 1.694 * [taylor]: Taking taylor expansion of z in z 1.694 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.694 * [taylor]: Taking taylor expansion of 2.0 in z 1.694 * [taylor]: Taking taylor expansion of t in z 1.694 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t 1.694 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.694 * [taylor]: Taking taylor expansion of 2.0 in t 1.694 * [taylor]: Taking taylor expansion of (* t z) in t 1.694 * [taylor]: Taking taylor expansion of t in t 1.694 * [taylor]: Taking taylor expansion of z in t 1.695 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.695 * [taylor]: Taking taylor expansion of 2.0 in t 1.695 * [taylor]: Taking taylor expansion of t in t 1.695 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t 1.695 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.695 * [taylor]: Taking taylor expansion of 2.0 in t 1.695 * [taylor]: Taking taylor expansion of (* t z) in t 1.695 * [taylor]: Taking taylor expansion of t in t 1.695 * [taylor]: Taking taylor expansion of z in t 1.695 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.695 * [taylor]: Taking taylor expansion of 2.0 in t 1.695 * [taylor]: Taking taylor expansion of t in t 1.695 * [taylor]: Taking taylor expansion of 0 in z 1.695 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z 1.695 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.695 * [taylor]: Taking taylor expansion of 2.0 in z 1.695 * [taylor]: Taking taylor expansion of z in z 1.695 * [taylor]: Taking taylor expansion of 2.0 in z 1.695 * [taylor]: Taking taylor expansion of 0 in z 1.696 * [taylor]: Taking taylor expansion of 0 in z 1.696 * [taylor]: Taking taylor expansion of 0 in z 1.696 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0 1.696 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in z 1.696 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.696 * [taylor]: Taking taylor expansion of 2.0 in z 1.696 * [taylor]: Taking taylor expansion of (* t z) in z 1.696 * [taylor]: Taking taylor expansion of t in z 1.696 * [taylor]: Taking taylor expansion of z in z 1.696 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.696 * [taylor]: Taking taylor expansion of 2.0 in z 1.696 * [taylor]: Taking taylor expansion of t in z 1.696 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t 1.696 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.696 * [taylor]: Taking taylor expansion of 2.0 in t 1.696 * [taylor]: Taking taylor expansion of (* t z) in t 1.696 * [taylor]: Taking taylor expansion of t in t 1.696 * [taylor]: Taking taylor expansion of z in t 1.696 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.696 * [taylor]: Taking taylor expansion of 2.0 in t 1.697 * [taylor]: Taking taylor expansion of t in t 1.697 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t 1.697 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.697 * [taylor]: Taking taylor expansion of 2.0 in t 1.697 * [taylor]: Taking taylor expansion of (* t z) in t 1.697 * [taylor]: Taking taylor expansion of t in t 1.697 * [taylor]: Taking taylor expansion of z in t 1.697 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.697 * [taylor]: Taking taylor expansion of 2.0 in t 1.697 * [taylor]: Taking taylor expansion of t in t 1.697 * [taylor]: Taking taylor expansion of 0 in z 1.697 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z 1.697 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.697 * [taylor]: Taking taylor expansion of 2.0 in z 1.697 * [taylor]: Taking taylor expansion of z in z 1.697 * [taylor]: Taking taylor expansion of 2.0 in z 1.697 * [taylor]: Taking taylor expansion of 0 in z 1.698 * [taylor]: Taking taylor expansion of 0 in z 1.698 * [taylor]: Taking taylor expansion of 0 in z 1.698 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.698 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (x y t z) around 0 1.698 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z 1.698 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z 1.698 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z 1.698 * [taylor]: Taking taylor expansion of 2.0 in z 1.698 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.698 * [taylor]: Taking taylor expansion of (* t z) in z 1.698 * [taylor]: Taking taylor expansion of t in z 1.699 * [taylor]: Taking taylor expansion of z in z 1.699 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z 1.699 * [taylor]: Taking taylor expansion of (/ x y) in z 1.699 * [taylor]: Taking taylor expansion of x in z 1.699 * [taylor]: Taking taylor expansion of y in z 1.699 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z 1.699 * [taylor]: Taking taylor expansion of 2.0 in z 1.699 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.699 * [taylor]: Taking taylor expansion of t in z 1.699 * [taylor]: Taking taylor expansion of 2.0 in z 1.699 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t 1.699 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t 1.699 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.699 * [taylor]: Taking taylor expansion of 2.0 in t 1.699 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.699 * [taylor]: Taking taylor expansion of (* t z) in t 1.699 * [taylor]: Taking taylor expansion of t in t 1.699 * [taylor]: Taking taylor expansion of z in t 1.699 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t 1.699 * [taylor]: Taking taylor expansion of (/ x y) in t 1.699 * [taylor]: Taking taylor expansion of x in t 1.699 * [taylor]: Taking taylor expansion of y in t 1.699 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.699 * [taylor]: Taking taylor expansion of 2.0 in t 1.699 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.699 * [taylor]: Taking taylor expansion of t in t 1.699 * [taylor]: Taking taylor expansion of 2.0 in t 1.699 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y 1.699 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y 1.699 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y 1.699 * [taylor]: Taking taylor expansion of 2.0 in y 1.699 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.699 * [taylor]: Taking taylor expansion of (* t z) in y 1.699 * [taylor]: Taking taylor expansion of t in y 1.699 * [taylor]: Taking taylor expansion of z in y 1.699 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y 1.699 * [taylor]: Taking taylor expansion of (/ x y) in y 1.699 * [taylor]: Taking taylor expansion of x in y 1.699 * [taylor]: Taking taylor expansion of y in y 1.700 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y 1.700 * [taylor]: Taking taylor expansion of 2.0 in y 1.700 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.700 * [taylor]: Taking taylor expansion of t in y 1.700 * [taylor]: Taking taylor expansion of 2.0 in y 1.700 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x 1.700 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x 1.700 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x 1.700 * [taylor]: Taking taylor expansion of 2.0 in x 1.700 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.700 * [taylor]: Taking taylor expansion of (* t z) in x 1.700 * [taylor]: Taking taylor expansion of t in x 1.700 * [taylor]: Taking taylor expansion of z in x 1.700 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x 1.700 * [taylor]: Taking taylor expansion of (/ x y) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of y in x 1.700 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x 1.700 * [taylor]: Taking taylor expansion of 2.0 in x 1.700 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.700 * [taylor]: Taking taylor expansion of t in x 1.700 * [taylor]: Taking taylor expansion of 2.0 in x 1.700 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x 1.700 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x 1.700 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x 1.700 * [taylor]: Taking taylor expansion of 2.0 in x 1.700 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.700 * [taylor]: Taking taylor expansion of (* t z) in x 1.700 * [taylor]: Taking taylor expansion of t in x 1.700 * [taylor]: Taking taylor expansion of z in x 1.700 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x 1.700 * [taylor]: Taking taylor expansion of (/ x y) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of y in x 1.700 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x 1.700 * [taylor]: Taking taylor expansion of 2.0 in x 1.700 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.700 * [taylor]: Taking taylor expansion of t in x 1.700 * [taylor]: Taking taylor expansion of 2.0 in x 1.701 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in y 1.701 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in y 1.701 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y 1.701 * [taylor]: Taking taylor expansion of 2.0 in y 1.701 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.701 * [taylor]: Taking taylor expansion of (* t z) in y 1.701 * [taylor]: Taking taylor expansion of t in y 1.701 * [taylor]: Taking taylor expansion of z in y 1.701 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y 1.701 * [taylor]: Taking taylor expansion of 2.0 in y 1.701 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.701 * [taylor]: Taking taylor expansion of t in y 1.701 * [taylor]: Taking taylor expansion of 2.0 in y 1.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.701 * [taylor]: Taking taylor expansion of y in y 1.701 * [taylor]: Taking taylor expansion of 1 in t 1.702 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t 1.702 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t 1.702 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.702 * [taylor]: Taking taylor expansion of 2.0 in t 1.702 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.702 * [taylor]: Taking taylor expansion of (* t z) in t 1.702 * [taylor]: Taking taylor expansion of t in t 1.702 * [taylor]: Taking taylor expansion of z in t 1.702 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.702 * [taylor]: Taking taylor expansion of 2.0 in t 1.702 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.702 * [taylor]: Taking taylor expansion of t in t 1.702 * [taylor]: Taking taylor expansion of 2.0 in t 1.702 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z 1.702 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 1.702 * [taylor]: Taking taylor expansion of 2.0 in z 1.702 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.702 * [taylor]: Taking taylor expansion of z in z 1.702 * [taylor]: Taking taylor expansion of 2.0 in z 1.703 * [taylor]: Taking taylor expansion of 0 in y 1.703 * [taylor]: Taking taylor expansion of 0 in t 1.703 * [taylor]: Taking taylor expansion of 0 in t 1.703 * [taylor]: Taking taylor expansion of 1 in z 1.704 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.704 * [taylor]: Taking taylor expansion of 2.0 in z 1.704 * [taylor]: Taking taylor expansion of 0 in y 1.704 * [taylor]: Taking taylor expansion of 0 in t 1.704 * [taylor]: Taking taylor expansion of 0 in t 1.705 * [taylor]: Taking taylor expansion of 0 in t 1.705 * [taylor]: Taking taylor expansion of 0 in z 1.705 * [taylor]: Taking taylor expansion of 0 in z 1.705 * [taylor]: Taking taylor expansion of 0 in z 1.705 * [taylor]: Taking taylor expansion of 0 in z 1.706 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (x y t z) around 0 1.706 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z 1.706 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z 1.706 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.706 * [taylor]: Taking taylor expansion of 2.0 in z 1.706 * [taylor]: Taking taylor expansion of (* t z) in z 1.706 * [taylor]: Taking taylor expansion of t in z 1.706 * [taylor]: Taking taylor expansion of z in z 1.706 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z 1.706 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.706 * [taylor]: Taking taylor expansion of 2.0 in z 1.706 * [taylor]: Taking taylor expansion of t in z 1.706 * [taylor]: Taking taylor expansion of (/ y x) in z 1.706 * [taylor]: Taking taylor expansion of y in z 1.706 * [taylor]: Taking taylor expansion of x in z 1.706 * [taylor]: Taking taylor expansion of 2.0 in z 1.706 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t 1.706 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t 1.706 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.706 * [taylor]: Taking taylor expansion of 2.0 in t 1.706 * [taylor]: Taking taylor expansion of (* t z) in t 1.706 * [taylor]: Taking taylor expansion of t in t 1.706 * [taylor]: Taking taylor expansion of z in t 1.706 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t 1.706 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.706 * [taylor]: Taking taylor expansion of 2.0 in t 1.706 * [taylor]: Taking taylor expansion of t in t 1.706 * [taylor]: Taking taylor expansion of (/ y x) in t 1.706 * [taylor]: Taking taylor expansion of y in t 1.706 * [taylor]: Taking taylor expansion of x in t 1.706 * [taylor]: Taking taylor expansion of 2.0 in t 1.706 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y 1.706 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y 1.706 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.706 * [taylor]: Taking taylor expansion of 2.0 in y 1.706 * [taylor]: Taking taylor expansion of (* t z) in y 1.706 * [taylor]: Taking taylor expansion of t in y 1.706 * [taylor]: Taking taylor expansion of z in y 1.706 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y 1.707 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.707 * [taylor]: Taking taylor expansion of 2.0 in y 1.707 * [taylor]: Taking taylor expansion of t in y 1.707 * [taylor]: Taking taylor expansion of (/ y x) in y 1.707 * [taylor]: Taking taylor expansion of y in y 1.707 * [taylor]: Taking taylor expansion of x in y 1.707 * [taylor]: Taking taylor expansion of 2.0 in y 1.707 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x 1.707 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x 1.707 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.707 * [taylor]: Taking taylor expansion of 2.0 in x 1.707 * [taylor]: Taking taylor expansion of (* t z) in x 1.707 * [taylor]: Taking taylor expansion of t in x 1.707 * [taylor]: Taking taylor expansion of z in x 1.707 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x 1.707 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.707 * [taylor]: Taking taylor expansion of 2.0 in x 1.707 * [taylor]: Taking taylor expansion of t in x 1.707 * [taylor]: Taking taylor expansion of (/ y x) in x 1.707 * [taylor]: Taking taylor expansion of y in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of 2.0 in x 1.707 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x 1.707 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x 1.707 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.707 * [taylor]: Taking taylor expansion of 2.0 in x 1.707 * [taylor]: Taking taylor expansion of (* t z) in x 1.707 * [taylor]: Taking taylor expansion of t in x 1.707 * [taylor]: Taking taylor expansion of z in x 1.707 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x 1.707 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.707 * [taylor]: Taking taylor expansion of 2.0 in x 1.707 * [taylor]: Taking taylor expansion of t in x 1.707 * [taylor]: Taking taylor expansion of (/ y x) in x 1.707 * [taylor]: Taking taylor expansion of y in x 1.707 * [taylor]: Taking taylor expansion of x in x 1.707 * [taylor]: Taking taylor expansion of 2.0 in x 1.707 * [taylor]: Taking taylor expansion of y in y 1.707 * [taylor]: Taking taylor expansion of 0 in t 1.707 * [taylor]: Taking taylor expansion of 0 in z 1.708 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in y 1.708 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in y 1.708 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.708 * [taylor]: Taking taylor expansion of 2.0 in y 1.708 * [taylor]: Taking taylor expansion of (* t z) in y 1.708 * [taylor]: Taking taylor expansion of t in y 1.708 * [taylor]: Taking taylor expansion of z in y 1.708 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.708 * [taylor]: Taking taylor expansion of 2.0 in y 1.708 * [taylor]: Taking taylor expansion of t in y 1.708 * [taylor]: Taking taylor expansion of 2.0 in y 1.708 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t 1.708 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t 1.708 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.708 * [taylor]: Taking taylor expansion of 2.0 in t 1.708 * [taylor]: Taking taylor expansion of (* t z) in t 1.708 * [taylor]: Taking taylor expansion of t in t 1.708 * [taylor]: Taking taylor expansion of z in t 1.708 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.708 * [taylor]: Taking taylor expansion of 2.0 in t 1.708 * [taylor]: Taking taylor expansion of t in t 1.708 * [taylor]: Taking taylor expansion of 2.0 in t 1.708 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.708 * [taylor]: Taking taylor expansion of 2.0 in z 1.708 * [taylor]: Taking taylor expansion of 1 in t 1.708 * [taylor]: Taking taylor expansion of 1 in z 1.709 * [taylor]: Taking taylor expansion of 0 in z 1.709 * [taylor]: Taking taylor expansion of 0 in y 1.709 * [taylor]: Taking taylor expansion of 0 in t 1.709 * [taylor]: Taking taylor expansion of 0 in z 1.709 * [taylor]: Taking taylor expansion of 0 in t 1.709 * [taylor]: Taking taylor expansion of 0 in z 1.709 * [taylor]: Taking taylor expansion of 0 in t 1.709 * [taylor]: Taking taylor expansion of 0 in z 1.709 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z 1.709 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.709 * [taylor]: Taking taylor expansion of 2.0 in z 1.709 * [taylor]: Taking taylor expansion of z in z 1.709 * [taylor]: Taking taylor expansion of 2.0 in z 1.710 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (x y t z) around 0 1.710 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z 1.710 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z 1.710 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.710 * [taylor]: Taking taylor expansion of 2.0 in z 1.710 * [taylor]: Taking taylor expansion of (* t z) in z 1.710 * [taylor]: Taking taylor expansion of t in z 1.710 * [taylor]: Taking taylor expansion of z in z 1.710 * [taylor]: Taking taylor expansion of (/ y x) in z 1.710 * [taylor]: Taking taylor expansion of y in z 1.710 * [taylor]: Taking taylor expansion of x in z 1.710 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z 1.710 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.710 * [taylor]: Taking taylor expansion of 2.0 in z 1.710 * [taylor]: Taking taylor expansion of t in z 1.710 * [taylor]: Taking taylor expansion of 2.0 in z 1.710 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t 1.710 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t 1.710 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.710 * [taylor]: Taking taylor expansion of 2.0 in t 1.710 * [taylor]: Taking taylor expansion of (* t z) in t 1.710 * [taylor]: Taking taylor expansion of t in t 1.710 * [taylor]: Taking taylor expansion of z in t 1.710 * [taylor]: Taking taylor expansion of (/ y x) in t 1.710 * [taylor]: Taking taylor expansion of y in t 1.710 * [taylor]: Taking taylor expansion of x in t 1.710 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t 1.710 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.710 * [taylor]: Taking taylor expansion of 2.0 in t 1.710 * [taylor]: Taking taylor expansion of t in t 1.710 * [taylor]: Taking taylor expansion of 2.0 in t 1.710 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y 1.711 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y 1.711 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.711 * [taylor]: Taking taylor expansion of 2.0 in y 1.711 * [taylor]: Taking taylor expansion of (* t z) in y 1.711 * [taylor]: Taking taylor expansion of t in y 1.711 * [taylor]: Taking taylor expansion of z in y 1.711 * [taylor]: Taking taylor expansion of (/ y x) in y 1.711 * [taylor]: Taking taylor expansion of y in y 1.711 * [taylor]: Taking taylor expansion of x in y 1.711 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y 1.711 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.711 * [taylor]: Taking taylor expansion of 2.0 in y 1.711 * [taylor]: Taking taylor expansion of t in y 1.711 * [taylor]: Taking taylor expansion of 2.0 in y 1.711 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x 1.711 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x 1.711 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.711 * [taylor]: Taking taylor expansion of 2.0 in x 1.711 * [taylor]: Taking taylor expansion of (* t z) in x 1.711 * [taylor]: Taking taylor expansion of t in x 1.711 * [taylor]: Taking taylor expansion of z in x 1.711 * [taylor]: Taking taylor expansion of (/ y x) in x 1.711 * [taylor]: Taking taylor expansion of y in x 1.711 * [taylor]: Taking taylor expansion of x in x 1.711 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x 1.711 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.711 * [taylor]: Taking taylor expansion of 2.0 in x 1.711 * [taylor]: Taking taylor expansion of t in x 1.711 * [taylor]: Taking taylor expansion of 2.0 in x 1.711 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x 1.711 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x 1.711 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.711 * [taylor]: Taking taylor expansion of 2.0 in x 1.711 * [taylor]: Taking taylor expansion of (* t z) in x 1.711 * [taylor]: Taking taylor expansion of t in x 1.711 * [taylor]: Taking taylor expansion of z in x 1.711 * [taylor]: Taking taylor expansion of (/ y x) in x 1.711 * [taylor]: Taking taylor expansion of y in x 1.711 * [taylor]: Taking taylor expansion of x in x 1.711 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x 1.711 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.711 * [taylor]: Taking taylor expansion of 2.0 in x 1.711 * [taylor]: Taking taylor expansion of t in x 1.711 * [taylor]: Taking taylor expansion of 2.0 in x 1.711 * [taylor]: Taking taylor expansion of y in y 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in z 1.712 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in y 1.712 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.712 * [taylor]: Taking taylor expansion of 2.0 in y 1.712 * [taylor]: Taking taylor expansion of (* t z) in y 1.712 * [taylor]: Taking taylor expansion of t in y 1.712 * [taylor]: Taking taylor expansion of z in y 1.712 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y 1.712 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.712 * [taylor]: Taking taylor expansion of 2.0 in y 1.712 * [taylor]: Taking taylor expansion of t in y 1.712 * [taylor]: Taking taylor expansion of 2.0 in y 1.712 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t 1.712 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.712 * [taylor]: Taking taylor expansion of 2.0 in t 1.712 * [taylor]: Taking taylor expansion of (* t z) in t 1.712 * [taylor]: Taking taylor expansion of t in t 1.712 * [taylor]: Taking taylor expansion of z in t 1.712 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t 1.712 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.712 * [taylor]: Taking taylor expansion of 2.0 in t 1.712 * [taylor]: Taking taylor expansion of t in t 1.712 * [taylor]: Taking taylor expansion of 2.0 in t 1.712 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.713 * [taylor]: Taking taylor expansion of 2.0 in z 1.713 * [taylor]: Taking taylor expansion of 1 in t 1.713 * [taylor]: Taking taylor expansion of 1 in z 1.713 * [taylor]: Taking taylor expansion of 0 in z 1.713 * [taylor]: Taking taylor expansion of 0 in y 1.713 * [taylor]: Taking taylor expansion of 0 in t 1.713 * [taylor]: Taking taylor expansion of 0 in z 1.713 * [taylor]: Taking taylor expansion of 0 in t 1.713 * [taylor]: Taking taylor expansion of 0 in z 1.713 * [taylor]: Taking taylor expansion of 0 in t 1.713 * [taylor]: Taking taylor expansion of 0 in z 1.713 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z 1.713 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.713 * [taylor]: Taking taylor expansion of 2.0 in z 1.713 * [taylor]: Taking taylor expansion of z in z 1.713 * [taylor]: Taking taylor expansion of 2.0 in z 1.714 * * * [progress]: simplifying candidates 1.715 * [simplify]: Simplifying using # : (-.f64 (-.f64 (log.f64 2.0) (log.f64 t)) (log.f64 z)) (-.f64 (log.f64 (/.f64 2.0 t)) (log.f64 z)) (log.f64 (/.f64 (/.f64 2.0 t) z)) (exp.f64 (/.f64 (/.f64 2.0 t) z)) (/.f64 (/.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 z z) z)) (/.f64 (*.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (/.f64 2.0 t)) (*.f64 (*.f64 z z) z)) (*.f64 (cbrt.f64 (/.f64 (/.f64 2.0 t) z)) (cbrt.f64 (/.f64 (/.f64 2.0 t) z))) (cbrt.f64 (/.f64 (/.f64 2.0 t) z)) (*.f64 (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z)) (/.f64 (/.f64 2.0 t) z)) (sqrt.f64 (/.f64 (/.f64 2.0 t) z)) (sqrt.f64 (/.f64 (/.f64 2.0 t) z)) (neg.f64 (/.f64 2.0 t)) (neg.f64 z) (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 z)) (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (sqrt.f64 z)) (/.f64 (cbrt.f64 (/.f64 2.0 t)) (sqrt.f64 z)) (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) 1) (/.f64 (cbrt.f64 (/.f64 2.0 t)) z) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (cbrt.f64 z)) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z)) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z)) (/.f64 (sqrt.f64 (/.f64 2.0 t)) 1) (/.f64 (sqrt.f64 (/.f64 2.0 t)) z) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z)) (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) 1) (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) z) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) 1) (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) z) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (cbrt.f64 2.0) t) (cbrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) 1) (sqrt.f64 z)) (/.f64 (/.f64 (cbrt.f64 2.0) t) (sqrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) 1) 1) (/.f64 (/.f64 (cbrt.f64 2.0) t) z) (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) 1) (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) z) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) 1) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) z) (/.f64 (/.f64 (sqrt.f64 2.0) 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sqrt.f64 2.0) t) (cbrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) 1) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) t) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) 1) 1) (/.f64 (/.f64 (sqrt.f64 2.0) t) z) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z)) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) 1) (/.f64 (/.f64 2.0 (cbrt.f64 t)) z) (/.f64 (/.f64 1 (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (sqrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 1 (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 2.0 (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 1 (sqrt.f64 t)) 1) (/.f64 (/.f64 2.0 (sqrt.f64 t)) z) (/.f64 (/.f64 1 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 t) (cbrt.f64 z)) (/.f64 (/.f64 1 1) (sqrt.f64 z)) (/.f64 (/.f64 2.0 t) (sqrt.f64 z)) (/.f64 (/.f64 1 1) 1) (/.f64 (/.f64 2.0 t) z) (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 t) (cbrt.f64 z)) (/.f64 1 (sqrt.f64 z)) (/.f64 (/.f64 2.0 t) (sqrt.f64 z)) (/.f64 1 1) (/.f64 (/.f64 2.0 t) z) (/.f64 2.0 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 1 t) (cbrt.f64 z)) (/.f64 2.0 (sqrt.f64 z)) (/.f64 (/.f64 1 t) (sqrt.f64 z)) (/.f64 2.0 1) (/.f64 (/.f64 1 t) z) (/.f64 1 z) (/.f64 z (/.f64 2.0 t)) (/.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 t) (sqrt.f64 z)) (/.f64 (/.f64 2.0 t) 1) (/.f64 z (cbrt.f64 (/.f64 2.0 t))) (/.f64 z (sqrt.f64 (/.f64 2.0 t))) (/.f64 z (/.f64 (cbrt.f64 2.0) (cbrt.f64 t))) (/.f64 z (/.f64 (cbrt.f64 2.0) (sqrt.f64 t))) (/.f64 z (/.f64 (cbrt.f64 2.0) t)) (/.f64 z (/.f64 (sqrt.f64 2.0) (cbrt.f64 t))) (/.f64 z (/.f64 (sqrt.f64 2.0) (sqrt.f64 t))) (/.f64 z (/.f64 (sqrt.f64 2.0) t)) (/.f64 z (/.f64 2.0 (cbrt.f64 t))) (/.f64 z (/.f64 2.0 (sqrt.f64 t))) (/.f64 z (/.f64 2.0 t)) (/.f64 z (/.f64 2.0 t)) (/.f64 z (/.f64 1 t)) (*.f64 z t) (*.f64 (exp.f64 (/.f64 2.0 t)) (exp.f64 (/.f64 (/.f64 2.0 t) z))) (log.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (exp.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (*.f64 (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (*.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (*.f64 2.0 z) (*.f64 t (/.f64 2.0 t))) (*.f64 t z) (+.f64 (pow.f64 (/.f64 2.0 t) 3) (pow.f64 (/.f64 (/.f64 2.0 t) z) 3)) (+.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (-.f64 (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z)) (*.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))) (-.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z))) (-.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (*.f64 (exp.f64 (/.f64 2.0 t)) (exp.f64 (/.f64 (/.f64 2.0 t) z))) (exp.f64 2.0))) (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (exp.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (exp.f64 2.0))) (*.f64 (exp.f64 (/.f64 x y)) (exp.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (log.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (*.f64 (*.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))) (*.f64 y (-.f64 (pow.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 3) (pow.f64 2.0 3)))) (*.f64 y (+.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))) (+.f64 (*.f64 x (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (*.f64 y (-.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (*.f64 2.0 2.0)))) (*.f64 y (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) 3)) (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (-.f64 (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (*.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))) (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (-.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (/.f64 x y) (/.f64 2.0 t)) (+.f64 (/.f64 x y) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z)) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t)))) (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0) (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0) 1.753 * * [simplify]: iteration 0 : 4987 enodes (cost 1493 ) 1.754 * * [simplify]: iteration 1 : 4987 enodes (cost 1493 ) 1.759 * [simplify]: Simplified to: (log.f64 (/.f64 (/.f64 2.0 t) z)) (log.f64 (/.f64 (/.f64 2.0 t) z)) (log.f64 (/.f64 (/.f64 2.0 t) z)) (exp.f64 (/.f64 (/.f64 2.0 t) z)) (pow.f64 (/.f64 (/.f64 2.0 t) z) 3) (pow.f64 (/.f64 (/.f64 2.0 t) z) 3) (*.f64 (cbrt.f64 (/.f64 (/.f64 2.0 t) z)) (cbrt.f64 (/.f64 (/.f64 2.0 t) z))) (cbrt.f64 (/.f64 (/.f64 2.0 t) z)) (pow.f64 (/.f64 (/.f64 2.0 t) z) 3) (sqrt.f64 (/.f64 (/.f64 2.0 t) z)) (sqrt.f64 (/.f64 (/.f64 2.0 t) z)) (neg.f64 (/.f64 2.0 t)) (neg.f64 z) (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 z)) (/.f64 (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (sqrt.f64 z)) (/.f64 (cbrt.f64 (/.f64 2.0 t)) (sqrt.f64 z)) (*.f64 (cbrt.f64 (/.f64 2.0 t)) (cbrt.f64 (/.f64 2.0 t))) (/.f64 (cbrt.f64 (/.f64 2.0 t)) z) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (cbrt.f64 z)) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z)) (/.f64 (sqrt.f64 (/.f64 2.0 t)) (sqrt.f64 z)) (sqrt.f64 (/.f64 2.0 t)) (/.f64 (sqrt.f64 (/.f64 2.0 t)) z) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z)) (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z)) (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (/.f64 (cbrt.f64 2.0) (cbrt.f64 t)) z) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 t)) (/.f64 (/.f64 (cbrt.f64 2.0) (sqrt.f64 t)) z) (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (cbrt.f64 2.0) t) (cbrt.f64 z)) (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (sqrt.f64 z)) (/.f64 (/.f64 (cbrt.f64 2.0) t) (sqrt.f64 z)) (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) (/.f64 (/.f64 (cbrt.f64 2.0) t) z) (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) (sqrt.f64 z)) (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (/.f64 (sqrt.f64 2.0) (cbrt.f64 t)) z) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) (/.f64 (/.f64 (sqrt.f64 2.0) (sqrt.f64 t)) z) (/.f64 (sqrt.f64 2.0) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sqrt.f64 2.0) t) (cbrt.f64 z)) (/.f64 (sqrt.f64 2.0) (sqrt.f64 z)) (/.f64 (/.f64 (sqrt.f64 2.0) t) (sqrt.f64 z)) (sqrt.f64 2.0) (/.f64 (/.f64 (sqrt.f64 2.0) t) z) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (sqrt.f64 z)) (/.f64 (/.f64 2.0 (cbrt.f64 t)) (sqrt.f64 z)) (/.f64 1 (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (/.f64 2.0 (cbrt.f64 t)) z) (/.f64 (/.f64 1 (sqrt.f64 t)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 (sqrt.f64 t)) (cbrt.f64 z)) (/.f64 (/.f64 1 (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 (/.f64 2.0 (sqrt.f64 t)) (sqrt.f64 z)) (/.f64 1 (sqrt.f64 t)) (/.f64 (/.f64 2.0 (sqrt.f64 t)) z) (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 t) (cbrt.f64 z)) (/.f64 1 (sqrt.f64 z)) (/.f64 (/.f64 2.0 t) (sqrt.f64 z)) 1 (/.f64 (/.f64 2.0 t) z) (/.f64 1 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 t) (cbrt.f64 z)) (/.f64 1 (sqrt.f64 z)) (/.f64 (/.f64 2.0 t) (sqrt.f64 z)) 1 (/.f64 (/.f64 2.0 t) z) (/.f64 2.0 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 1 t) (cbrt.f64 z)) (/.f64 2.0 (sqrt.f64 z)) (/.f64 (/.f64 1 (sqrt.f64 z)) t) 2.0 (/.f64 (/.f64 1 t) z) (/.f64 1 z) (/.f64 z (/.f64 2.0 t)) (/.f64 (/.f64 2.0 t) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 2.0 t) (sqrt.f64 z)) (/.f64 2.0 t) (/.f64 z (cbrt.f64 (/.f64 2.0 t))) (/.f64 z (sqrt.f64 (/.f64 2.0 t))) (/.f64 z (/.f64 (cbrt.f64 2.0) (cbrt.f64 t))) (/.f64 z (/.f64 (cbrt.f64 2.0) (sqrt.f64 t))) (/.f64 z (/.f64 (cbrt.f64 2.0) t)) (/.f64 z (/.f64 (sqrt.f64 2.0) (cbrt.f64 t))) (/.f64 z (/.f64 (sqrt.f64 2.0) (sqrt.f64 t))) (/.f64 z (/.f64 (sqrt.f64 2.0) t)) (/.f64 z (/.f64 2.0 (cbrt.f64 t))) (/.f64 z (/.f64 2.0 (sqrt.f64 t))) (/.f64 z (/.f64 2.0 t)) (/.f64 z (/.f64 2.0 t)) (*.f64 t z) (*.f64 t z) (pow.f64 (exp.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1)) (log.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (pow.f64 (exp.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1)) (*.f64 (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (pow.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 3) (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 (*.f64 2.0 z) (*.f64 t (/.f64 2.0 t))) (*.f64 t z) (+.f64 (pow.f64 (/.f64 2.0 t) 3) (pow.f64 (/.f64 (/.f64 2.0 t) z) 3)) (+.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 2.0 t) (/.f64 (-.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 2.0 t)) z))) (-.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z))) (-.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (log.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (pow.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) 3) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (+.f64 (*.f64 x (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))))) (*.f64 y (-.f64 (pow.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 3) (pow.f64 2.0 3)))) (*.f64 y (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))))) (*.f64 (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z))) (+.f64 x (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) y))) (*.f64 y (+.f64 2.0 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)))) (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) 3)) (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (/.f64 x y)))) (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0))) (-.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) 2.0)) (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (/.f64 x y)) (+.f64 (/.f64 2.0 t) (/.f64 x y)) (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (/.f64 x y)) (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z) (/.f64 (/.f64 2.0 t) z) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 t) z)) (/.f64 x y)) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0) 1.760 * * * [progress]: adding candidates to table 1.902 * * [progress]: iteration 3 / 4 1.902 * * * [progress]: picking best candidate 1.920 * * * * [pick]: Picked # 1.920 * * * [progress]: localizing error 1.933 * * * [progress]: generating rewritten candidates 1.933 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2) 1.938 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 1.947 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.968 * * * [progress]: generating series expansions 1.968 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2) 1.968 * [approximate]: Taking taylor expansion of (/ 2.0 (* t z)) in (t z) around 0 1.968 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in z 1.968 * [taylor]: Taking taylor expansion of 2.0 in z 1.968 * [taylor]: Taking taylor expansion of (* t z) in z 1.968 * [taylor]: Taking taylor expansion of t in z 1.968 * [taylor]: Taking taylor expansion of z in z 1.968 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t 1.968 * [taylor]: Taking taylor expansion of 2.0 in t 1.968 * [taylor]: Taking taylor expansion of (* t z) in t 1.968 * [taylor]: Taking taylor expansion of t in t 1.968 * [taylor]: Taking taylor expansion of z in t 1.968 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t 1.969 * [taylor]: Taking taylor expansion of 2.0 in t 1.969 * [taylor]: Taking taylor expansion of (* t z) in t 1.969 * [taylor]: Taking taylor expansion of t in t 1.969 * [taylor]: Taking taylor expansion of z in t 1.969 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 1.969 * [taylor]: Taking taylor expansion of 2.0 in z 1.969 * [taylor]: Taking taylor expansion of z in z 1.969 * [taylor]: Taking taylor expansion of 0 in z 1.969 * [taylor]: Taking taylor expansion of 0 in z 1.969 * [taylor]: Taking taylor expansion of 0 in z 1.970 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0 1.970 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.970 * [taylor]: Taking taylor expansion of 2.0 in z 1.970 * [taylor]: Taking taylor expansion of (* t z) in z 1.970 * [taylor]: Taking taylor expansion of t in z 1.970 * [taylor]: Taking taylor expansion of z in z 1.970 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.970 * [taylor]: Taking taylor expansion of 2.0 in t 1.970 * [taylor]: Taking taylor expansion of (* t z) in t 1.970 * [taylor]: Taking taylor expansion of t in t 1.970 * [taylor]: Taking taylor expansion of z in t 1.970 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.970 * [taylor]: Taking taylor expansion of 2.0 in t 1.970 * [taylor]: Taking taylor expansion of (* t z) in t 1.970 * [taylor]: Taking taylor expansion of t in t 1.970 * [taylor]: Taking taylor expansion of z in t 1.970 * [taylor]: Taking taylor expansion of 0 in z 1.970 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.970 * [taylor]: Taking taylor expansion of 2.0 in z 1.970 * [taylor]: Taking taylor expansion of z in z 1.970 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [approximate]: Taking taylor expansion of (* 2.0 (* t z)) in (t z) around 0 1.971 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.971 * [taylor]: Taking taylor expansion of 2.0 in z 1.971 * [taylor]: Taking taylor expansion of (* t z) in z 1.971 * [taylor]: Taking taylor expansion of t in z 1.971 * [taylor]: Taking taylor expansion of z in z 1.971 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.971 * [taylor]: Taking taylor expansion of 2.0 in t 1.971 * [taylor]: Taking taylor expansion of (* t z) in t 1.971 * [taylor]: Taking taylor expansion of t in t 1.971 * [taylor]: Taking taylor expansion of z in t 1.971 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.971 * [taylor]: Taking taylor expansion of 2.0 in t 1.971 * [taylor]: Taking taylor expansion of (* t z) in t 1.971 * [taylor]: Taking taylor expansion of t in t 1.971 * [taylor]: Taking taylor expansion of z in t 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.971 * [taylor]: Taking taylor expansion of 2.0 in z 1.971 * [taylor]: Taking taylor expansion of z in z 1.972 * [taylor]: Taking taylor expansion of 0 in z 1.972 * [taylor]: Taking taylor expansion of 0 in z 1.972 * [taylor]: Taking taylor expansion of 0 in z 1.972 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 1.972 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in (t z) around 0 1.972 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in z 1.972 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z 1.972 * [taylor]: Taking taylor expansion of 2.0 in z 1.972 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.972 * [taylor]: Taking taylor expansion of (* t z) in z 1.972 * [taylor]: Taking taylor expansion of t in z 1.972 * [taylor]: Taking taylor expansion of z in z 1.973 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z 1.973 * [taylor]: Taking taylor expansion of 2.0 in z 1.973 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.973 * [taylor]: Taking taylor expansion of t in z 1.973 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t 1.973 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.973 * [taylor]: Taking taylor expansion of 2.0 in t 1.973 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.973 * [taylor]: Taking taylor expansion of (* t z) in t 1.973 * [taylor]: Taking taylor expansion of t in t 1.973 * [taylor]: Taking taylor expansion of z in t 1.973 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.973 * [taylor]: Taking taylor expansion of 2.0 in t 1.973 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.973 * [taylor]: Taking taylor expansion of t in t 1.973 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t 1.973 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.973 * [taylor]: Taking taylor expansion of 2.0 in t 1.973 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.973 * [taylor]: Taking taylor expansion of (* t z) in t 1.973 * [taylor]: Taking taylor expansion of t in t 1.973 * [taylor]: Taking taylor expansion of z in t 1.973 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.973 * [taylor]: Taking taylor expansion of 2.0 in t 1.973 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.973 * [taylor]: Taking taylor expansion of t in t 1.973 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z 1.973 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 1.973 * [taylor]: Taking taylor expansion of 2.0 in z 1.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.973 * [taylor]: Taking taylor expansion of z in z 1.973 * [taylor]: Taking taylor expansion of 2.0 in z 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [taylor]: Taking taylor expansion of 0 in z 1.976 * [approximate]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0 1.976 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in z 1.976 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.976 * [taylor]: Taking taylor expansion of 2.0 in z 1.976 * [taylor]: Taking taylor expansion of (* t z) in z 1.976 * [taylor]: Taking taylor expansion of t in z 1.976 * [taylor]: Taking taylor expansion of z in z 1.976 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.976 * [taylor]: Taking taylor expansion of 2.0 in z 1.976 * [taylor]: Taking taylor expansion of t in z 1.976 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t 1.976 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.976 * [taylor]: Taking taylor expansion of 2.0 in t 1.976 * [taylor]: Taking taylor expansion of (* t z) in t 1.976 * [taylor]: Taking taylor expansion of t in t 1.976 * [taylor]: Taking taylor expansion of z in t 1.976 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.976 * [taylor]: Taking taylor expansion of 2.0 in t 1.976 * [taylor]: Taking taylor expansion of t in t 1.976 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t 1.976 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.976 * [taylor]: Taking taylor expansion of 2.0 in t 1.976 * [taylor]: Taking taylor expansion of (* t z) in t 1.976 * [taylor]: Taking taylor expansion of t in t 1.976 * [taylor]: Taking taylor expansion of z in t 1.976 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.976 * [taylor]: Taking taylor expansion of 2.0 in t 1.976 * [taylor]: Taking taylor expansion of t in t 1.976 * [taylor]: Taking taylor expansion of 0 in z 1.976 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z 1.976 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.976 * [taylor]: Taking taylor expansion of 2.0 in z 1.976 * [taylor]: Taking taylor expansion of z in z 1.976 * [taylor]: Taking taylor expansion of 2.0 in z 1.977 * [taylor]: Taking taylor expansion of 0 in z 1.977 * [taylor]: Taking taylor expansion of 0 in z 1.977 * [taylor]: Taking taylor expansion of 0 in z 1.977 * [approximate]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in (t z) around 0 1.977 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in z 1.978 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.978 * [taylor]: Taking taylor expansion of 2.0 in z 1.978 * [taylor]: Taking taylor expansion of (* t z) in z 1.978 * [taylor]: Taking taylor expansion of t in z 1.978 * [taylor]: Taking taylor expansion of z in z 1.978 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.978 * [taylor]: Taking taylor expansion of 2.0 in z 1.978 * [taylor]: Taking taylor expansion of t in z 1.978 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t 1.978 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.978 * [taylor]: Taking taylor expansion of 2.0 in t 1.978 * [taylor]: Taking taylor expansion of (* t z) in t 1.978 * [taylor]: Taking taylor expansion of t in t 1.978 * [taylor]: Taking taylor expansion of z in t 1.978 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.978 * [taylor]: Taking taylor expansion of 2.0 in t 1.978 * [taylor]: Taking taylor expansion of t in t 1.978 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (* 2.0 t)) in t 1.978 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.978 * [taylor]: Taking taylor expansion of 2.0 in t 1.978 * [taylor]: Taking taylor expansion of (* t z) in t 1.978 * [taylor]: Taking taylor expansion of t in t 1.978 * [taylor]: Taking taylor expansion of z in t 1.978 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.978 * [taylor]: Taking taylor expansion of 2.0 in t 1.978 * [taylor]: Taking taylor expansion of t in t 1.978 * [taylor]: Taking taylor expansion of 0 in z 1.978 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z 1.978 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.978 * [taylor]: Taking taylor expansion of 2.0 in z 1.978 * [taylor]: Taking taylor expansion of z in z 1.978 * [taylor]: Taking taylor expansion of 2.0 in z 1.979 * [taylor]: Taking taylor expansion of 0 in z 1.979 * [taylor]: Taking taylor expansion of 0 in z 1.979 * [taylor]: Taking taylor expansion of 0 in z 1.979 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.980 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in (x y t z) around 0 1.980 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in z 1.980 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in z 1.980 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in z 1.980 * [taylor]: Taking taylor expansion of 2.0 in z 1.980 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.980 * [taylor]: Taking taylor expansion of (* t z) in z 1.980 * [taylor]: Taking taylor expansion of t in z 1.980 * [taylor]: Taking taylor expansion of z in z 1.980 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in z 1.980 * [taylor]: Taking taylor expansion of (/ x y) in z 1.980 * [taylor]: Taking taylor expansion of x in z 1.980 * [taylor]: Taking taylor expansion of y in z 1.980 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in z 1.980 * [taylor]: Taking taylor expansion of 2.0 in z 1.980 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.980 * [taylor]: Taking taylor expansion of t in z 1.980 * [taylor]: Taking taylor expansion of 2.0 in z 1.980 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in t 1.980 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in t 1.980 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.980 * [taylor]: Taking taylor expansion of 2.0 in t 1.980 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.980 * [taylor]: Taking taylor expansion of (* t z) in t 1.980 * [taylor]: Taking taylor expansion of t in t 1.980 * [taylor]: Taking taylor expansion of z in t 1.980 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in t 1.980 * [taylor]: Taking taylor expansion of (/ x y) in t 1.980 * [taylor]: Taking taylor expansion of x in t 1.980 * [taylor]: Taking taylor expansion of y in t 1.980 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.980 * [taylor]: Taking taylor expansion of 2.0 in t 1.980 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.980 * [taylor]: Taking taylor expansion of t in t 1.980 * [taylor]: Taking taylor expansion of 2.0 in t 1.981 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in y 1.981 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in y 1.981 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y 1.981 * [taylor]: Taking taylor expansion of 2.0 in y 1.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.981 * [taylor]: Taking taylor expansion of (* t z) in y 1.981 * [taylor]: Taking taylor expansion of t in y 1.981 * [taylor]: Taking taylor expansion of z in y 1.981 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in y 1.981 * [taylor]: Taking taylor expansion of (/ x y) in y 1.981 * [taylor]: Taking taylor expansion of x in y 1.981 * [taylor]: Taking taylor expansion of y in y 1.981 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y 1.981 * [taylor]: Taking taylor expansion of 2.0 in y 1.981 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.981 * [taylor]: Taking taylor expansion of t in y 1.981 * [taylor]: Taking taylor expansion of 2.0 in y 1.981 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x 1.981 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x 1.981 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x 1.981 * [taylor]: Taking taylor expansion of 2.0 in x 1.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.981 * [taylor]: Taking taylor expansion of (* t z) in x 1.981 * [taylor]: Taking taylor expansion of t in x 1.981 * [taylor]: Taking taylor expansion of z in x 1.981 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x 1.981 * [taylor]: Taking taylor expansion of (/ x y) in x 1.981 * [taylor]: Taking taylor expansion of x in x 1.981 * [taylor]: Taking taylor expansion of y in x 1.981 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x 1.981 * [taylor]: Taking taylor expansion of 2.0 in x 1.981 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.981 * [taylor]: Taking taylor expansion of t in x 1.981 * [taylor]: Taking taylor expansion of 2.0 in x 1.981 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) 2.0) in x 1.981 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (+ (/ x y) (* 2.0 (/ 1 t)))) in x 1.981 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in x 1.981 * [taylor]: Taking taylor expansion of 2.0 in x 1.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.981 * [taylor]: Taking taylor expansion of (* t z) in x 1.981 * [taylor]: Taking taylor expansion of t in x 1.981 * [taylor]: Taking taylor expansion of z in x 1.981 * [taylor]: Taking taylor expansion of (+ (/ x y) (* 2.0 (/ 1 t))) in x 1.982 * [taylor]: Taking taylor expansion of (/ x y) in x 1.982 * [taylor]: Taking taylor expansion of x in x 1.982 * [taylor]: Taking taylor expansion of y in x 1.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in x 1.982 * [taylor]: Taking taylor expansion of 2.0 in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.982 * [taylor]: Taking taylor expansion of t in x 1.982 * [taylor]: Taking taylor expansion of 2.0 in x 1.982 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in y 1.982 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in y 1.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in y 1.982 * [taylor]: Taking taylor expansion of 2.0 in y 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.982 * [taylor]: Taking taylor expansion of (* t z) in y 1.982 * [taylor]: Taking taylor expansion of t in y 1.982 * [taylor]: Taking taylor expansion of z in y 1.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in y 1.982 * [taylor]: Taking taylor expansion of 2.0 in y 1.982 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.982 * [taylor]: Taking taylor expansion of t in y 1.982 * [taylor]: Taking taylor expansion of 2.0 in y 1.983 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.983 * [taylor]: Taking taylor expansion of y in y 1.983 * [taylor]: Taking taylor expansion of 1 in t 1.983 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) 2.0) in t 1.983 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* t z))) (* 2.0 (/ 1 t))) in t 1.983 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t z))) in t 1.983 * [taylor]: Taking taylor expansion of 2.0 in t 1.983 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.983 * [taylor]: Taking taylor expansion of (* t z) in t 1.983 * [taylor]: Taking taylor expansion of t in t 1.983 * [taylor]: Taking taylor expansion of z in t 1.983 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 1.983 * [taylor]: Taking taylor expansion of 2.0 in t 1.983 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.983 * [taylor]: Taking taylor expansion of t in t 1.983 * [taylor]: Taking taylor expansion of 2.0 in t 1.983 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 z)) 2.0) in z 1.983 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z 1.983 * [taylor]: Taking taylor expansion of 2.0 in z 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.984 * [taylor]: Taking taylor expansion of 2.0 in z 1.984 * [taylor]: Taking taylor expansion of 0 in y 1.984 * [taylor]: Taking taylor expansion of 0 in t 1.984 * [taylor]: Taking taylor expansion of 0 in t 1.985 * [taylor]: Taking taylor expansion of 1 in z 1.985 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.985 * [taylor]: Taking taylor expansion of 2.0 in z 1.985 * [taylor]: Taking taylor expansion of 0 in y 1.986 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [taylor]: Taking taylor expansion of 0 in z 1.986 * [taylor]: Taking taylor expansion of 0 in z 1.986 * [taylor]: Taking taylor expansion of 0 in z 1.986 * [taylor]: Taking taylor expansion of 0 in z 1.987 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in (x y t z) around 0 1.987 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in z 1.987 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in z 1.987 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.987 * [taylor]: Taking taylor expansion of 2.0 in z 1.987 * [taylor]: Taking taylor expansion of (* t z) in z 1.987 * [taylor]: Taking taylor expansion of t in z 1.987 * [taylor]: Taking taylor expansion of z in z 1.987 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in z 1.987 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.987 * [taylor]: Taking taylor expansion of 2.0 in z 1.987 * [taylor]: Taking taylor expansion of t in z 1.987 * [taylor]: Taking taylor expansion of (/ y x) in z 1.987 * [taylor]: Taking taylor expansion of y in z 1.987 * [taylor]: Taking taylor expansion of x in z 1.987 * [taylor]: Taking taylor expansion of 2.0 in z 1.987 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in t 1.987 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in t 1.987 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.987 * [taylor]: Taking taylor expansion of 2.0 in t 1.987 * [taylor]: Taking taylor expansion of (* t z) in t 1.987 * [taylor]: Taking taylor expansion of t in t 1.987 * [taylor]: Taking taylor expansion of z in t 1.987 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in t 1.987 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.987 * [taylor]: Taking taylor expansion of 2.0 in t 1.987 * [taylor]: Taking taylor expansion of t in t 1.988 * [taylor]: Taking taylor expansion of (/ y x) in t 1.988 * [taylor]: Taking taylor expansion of y in t 1.988 * [taylor]: Taking taylor expansion of x in t 1.988 * [taylor]: Taking taylor expansion of 2.0 in t 1.988 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in y 1.988 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in y 1.988 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.988 * [taylor]: Taking taylor expansion of 2.0 in y 1.988 * [taylor]: Taking taylor expansion of (* t z) in y 1.988 * [taylor]: Taking taylor expansion of t in y 1.988 * [taylor]: Taking taylor expansion of z in y 1.988 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in y 1.988 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.988 * [taylor]: Taking taylor expansion of 2.0 in y 1.988 * [taylor]: Taking taylor expansion of t in y 1.988 * [taylor]: Taking taylor expansion of (/ y x) in y 1.988 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of x in y 1.988 * [taylor]: Taking taylor expansion of 2.0 in y 1.988 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x 1.988 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x 1.988 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.988 * [taylor]: Taking taylor expansion of 2.0 in x 1.988 * [taylor]: Taking taylor expansion of (* t z) in x 1.988 * [taylor]: Taking taylor expansion of t in x 1.988 * [taylor]: Taking taylor expansion of z in x 1.988 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x 1.988 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.988 * [taylor]: Taking taylor expansion of 2.0 in x 1.988 * [taylor]: Taking taylor expansion of t in x 1.988 * [taylor]: Taking taylor expansion of (/ y x) in x 1.988 * [taylor]: Taking taylor expansion of y in x 1.988 * [taylor]: Taking taylor expansion of x in x 1.988 * [taylor]: Taking taylor expansion of 2.0 in x 1.988 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) 2.0) in x 1.988 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (+ (* 2.0 t) (/ y x))) in x 1.988 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.988 * [taylor]: Taking taylor expansion of 2.0 in x 1.988 * [taylor]: Taking taylor expansion of (* t z) in x 1.988 * [taylor]: Taking taylor expansion of t in x 1.988 * [taylor]: Taking taylor expansion of z in x 1.988 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) (/ y x)) in x 1.988 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.988 * [taylor]: Taking taylor expansion of 2.0 in x 1.988 * [taylor]: Taking taylor expansion of t in x 1.988 * [taylor]: Taking taylor expansion of (/ y x) in x 1.988 * [taylor]: Taking taylor expansion of y in x 1.988 * [taylor]: Taking taylor expansion of x in x 1.988 * [taylor]: Taking taylor expansion of 2.0 in x 1.989 * [taylor]: Taking taylor expansion of y in y 1.989 * [taylor]: Taking taylor expansion of 0 in t 1.989 * [taylor]: Taking taylor expansion of 0 in z 1.989 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in y 1.989 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in y 1.989 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.989 * [taylor]: Taking taylor expansion of 2.0 in y 1.989 * [taylor]: Taking taylor expansion of (* t z) in y 1.989 * [taylor]: Taking taylor expansion of t in y 1.989 * [taylor]: Taking taylor expansion of z in y 1.989 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.989 * [taylor]: Taking taylor expansion of 2.0 in y 1.989 * [taylor]: Taking taylor expansion of t in y 1.989 * [taylor]: Taking taylor expansion of 2.0 in y 1.989 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (* 2.0 t)) 2.0) in t 1.989 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (* 2.0 t)) in t 1.989 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.989 * [taylor]: Taking taylor expansion of 2.0 in t 1.989 * [taylor]: Taking taylor expansion of (* t z) in t 1.989 * [taylor]: Taking taylor expansion of t in t 1.989 * [taylor]: Taking taylor expansion of z in t 1.989 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.989 * [taylor]: Taking taylor expansion of 2.0 in t 1.989 * [taylor]: Taking taylor expansion of t in t 1.990 * [taylor]: Taking taylor expansion of 2.0 in t 1.990 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.990 * [taylor]: Taking taylor expansion of 2.0 in z 1.990 * [taylor]: Taking taylor expansion of 1 in t 1.990 * [taylor]: Taking taylor expansion of 1 in z 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of 0 in y 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of (+ (* 2.0 z) 2.0) in z 1.991 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.991 * [taylor]: Taking taylor expansion of 2.0 in z 1.991 * [taylor]: Taking taylor expansion of z in z 1.991 * [taylor]: Taking taylor expansion of 2.0 in z 1.991 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in (x y t z) around 0 1.991 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in z 1.991 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in z 1.991 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in z 1.991 * [taylor]: Taking taylor expansion of 2.0 in z 1.991 * [taylor]: Taking taylor expansion of (* t z) in z 1.991 * [taylor]: Taking taylor expansion of t in z 1.991 * [taylor]: Taking taylor expansion of z in z 1.991 * [taylor]: Taking taylor expansion of (/ y x) in z 1.991 * [taylor]: Taking taylor expansion of y in z 1.991 * [taylor]: Taking taylor expansion of x in z 1.991 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in z 1.991 * [taylor]: Taking taylor expansion of (* 2.0 t) in z 1.991 * [taylor]: Taking taylor expansion of 2.0 in z 1.991 * [taylor]: Taking taylor expansion of t in z 1.991 * [taylor]: Taking taylor expansion of 2.0 in z 1.991 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in t 1.991 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in t 1.991 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.992 * [taylor]: Taking taylor expansion of 2.0 in t 1.992 * [taylor]: Taking taylor expansion of (* t z) in t 1.992 * [taylor]: Taking taylor expansion of t in t 1.992 * [taylor]: Taking taylor expansion of z in t 1.992 * [taylor]: Taking taylor expansion of (/ y x) in t 1.992 * [taylor]: Taking taylor expansion of y in t 1.992 * [taylor]: Taking taylor expansion of x in t 1.992 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t 1.992 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.992 * [taylor]: Taking taylor expansion of 2.0 in t 1.992 * [taylor]: Taking taylor expansion of t in t 1.992 * [taylor]: Taking taylor expansion of 2.0 in t 1.992 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in y 1.992 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in y 1.992 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.992 * [taylor]: Taking taylor expansion of 2.0 in y 1.992 * [taylor]: Taking taylor expansion of (* t z) in y 1.992 * [taylor]: Taking taylor expansion of t in y 1.992 * [taylor]: Taking taylor expansion of z in y 1.992 * [taylor]: Taking taylor expansion of (/ y x) in y 1.992 * [taylor]: Taking taylor expansion of y in y 1.992 * [taylor]: Taking taylor expansion of x in y 1.992 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y 1.992 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.992 * [taylor]: Taking taylor expansion of 2.0 in y 1.992 * [taylor]: Taking taylor expansion of t in y 1.992 * [taylor]: Taking taylor expansion of 2.0 in y 1.992 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x 1.992 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x 1.992 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.992 * [taylor]: Taking taylor expansion of 2.0 in x 1.992 * [taylor]: Taking taylor expansion of (* t z) in x 1.992 * [taylor]: Taking taylor expansion of t in x 1.992 * [taylor]: Taking taylor expansion of z in x 1.992 * [taylor]: Taking taylor expansion of (/ y x) in x 1.992 * [taylor]: Taking taylor expansion of y in x 1.992 * [taylor]: Taking taylor expansion of x in x 1.992 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x 1.992 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.992 * [taylor]: Taking taylor expansion of 2.0 in x 1.992 * [taylor]: Taking taylor expansion of t in x 1.992 * [taylor]: Taking taylor expansion of 2.0 in x 1.992 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (* t z)) (/ y x)) (+ (* 2.0 t) 2.0)) in x 1.992 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* t z)) (/ y x)) in x 1.992 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in x 1.992 * [taylor]: Taking taylor expansion of 2.0 in x 1.992 * [taylor]: Taking taylor expansion of (* t z) in x 1.992 * [taylor]: Taking taylor expansion of t in x 1.992 * [taylor]: Taking taylor expansion of z in x 1.992 * [taylor]: Taking taylor expansion of (/ y x) in x 1.992 * [taylor]: Taking taylor expansion of y in x 1.992 * [taylor]: Taking taylor expansion of x in x 1.993 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in x 1.993 * [taylor]: Taking taylor expansion of (* 2.0 t) in x 1.993 * [taylor]: Taking taylor expansion of 2.0 in x 1.993 * [taylor]: Taking taylor expansion of t in x 1.993 * [taylor]: Taking taylor expansion of 2.0 in x 1.993 * [taylor]: Taking taylor expansion of y in y 1.993 * [taylor]: Taking taylor expansion of 0 in t 1.993 * [taylor]: Taking taylor expansion of 0 in z 1.993 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in y 1.993 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in y 1.993 * [taylor]: Taking taylor expansion of 2.0 in y 1.993 * [taylor]: Taking taylor expansion of (* t z) in y 1.993 * [taylor]: Taking taylor expansion of t in y 1.993 * [taylor]: Taking taylor expansion of z in y 1.993 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in y 1.993 * [taylor]: Taking taylor expansion of (* 2.0 t) in y 1.993 * [taylor]: Taking taylor expansion of 2.0 in y 1.993 * [taylor]: Taking taylor expansion of t in y 1.993 * [taylor]: Taking taylor expansion of 2.0 in y 1.993 * [taylor]: Taking taylor expansion of (- (* 2.0 (* t z)) (+ (* 2.0 t) 2.0)) in t 1.993 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 1.993 * [taylor]: Taking taylor expansion of 2.0 in t 1.994 * [taylor]: Taking taylor expansion of (* t z) in t 1.994 * [taylor]: Taking taylor expansion of t in t 1.994 * [taylor]: Taking taylor expansion of z in t 1.994 * [taylor]: Taking taylor expansion of (+ (* 2.0 t) 2.0) in t 1.994 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 1.994 * [taylor]: Taking taylor expansion of 2.0 in t 1.994 * [taylor]: Taking taylor expansion of t in t 1.994 * [taylor]: Taking taylor expansion of 2.0 in t 1.994 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.994 * [taylor]: Taking taylor expansion of 2.0 in z 1.994 * [taylor]: Taking taylor expansion of 1 in t 1.994 * [taylor]: Taking taylor expansion of 1 in z 1.994 * [taylor]: Taking taylor expansion of 0 in z 1.994 * [taylor]: Taking taylor expansion of 0 in y 1.994 * [taylor]: Taking taylor expansion of 0 in t 1.994 * [taylor]: Taking taylor expansion of 0 in z 1.994 * [taylor]: Taking taylor expansion of 0 in t 1.994 * [taylor]: Taking taylor expansion of 0 in z 1.994 * [taylor]: Taking taylor expansion of 0 in t 1.994 * [taylor]: Taking taylor expansion of 0 in z 1.995 * [taylor]: Taking taylor expansion of (- (* 2.0 z) 2.0) in z 1.995 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 1.995 * [taylor]: Taking taylor expansion of 2.0 in z 1.995 * [taylor]: Taking taylor expansion of z in z 1.995 * [taylor]: Taking taylor expansion of 2.0 in z 1.995 * * * [progress]: simplifying candidates 1.996 * [simplify]: Simplifying using # : (-.f64 (log.f64 2.0) (+.f64 (log.f64 t) (log.f64 z))) (-.f64 (log.f64 2.0) (log.f64 (*.f64 t z))) (log.f64 (/.f64 2.0 (*.f64 t z))) (exp.f64 (/.f64 2.0 (*.f64 t z))) (/.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 z z) z))) (/.f64 (*.f64 (*.f64 2.0 2.0) 2.0) (*.f64 (*.f64 (*.f64 t z) (*.f64 t z)) (*.f64 t z))) (*.f64 (cbrt.f64 (/.f64 2.0 (*.f64 t z))) (cbrt.f64 (/.f64 2.0 (*.f64 t z)))) (cbrt.f64 (/.f64 2.0 (*.f64 t z))) (*.f64 (*.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z))) (/.f64 2.0 (*.f64 t z))) (sqrt.f64 (/.f64 2.0 (*.f64 t z))) (sqrt.f64 (/.f64 2.0 (*.f64 t z))) (neg.f64 2.0) (neg.f64 (*.f64 t z)) (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) t) (/.f64 (cbrt.f64 2.0) z) (/.f64 (sqrt.f64 2.0) t) (/.f64 (sqrt.f64 2.0) z) (/.f64 1 t) (/.f64 2.0 z) (/.f64 1 (*.f64 t z)) (/.f64 (*.f64 t z) 2.0) (/.f64 2.0 t) (/.f64 (*.f64 t z) (cbrt.f64 2.0)) (/.f64 (*.f64 t z) (sqrt.f64 2.0)) (/.f64 (*.f64 t z) 2.0) (*.f64 (exp.f64 (/.f64 2.0 t)) (exp.f64 (/.f64 2.0 (*.f64 t z)))) (log.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (exp.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (*.f64 (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))))) (cbrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (*.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (sqrt.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (+.f64 (*.f64 2.0 (*.f64 t z)) (*.f64 t 2.0)) (*.f64 t (*.f64 t z)) (+.f64 (pow.f64 (/.f64 2.0 t) 3) (pow.f64 (/.f64 2.0 (*.f64 t z)) 3)) (+.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (-.f64 (*.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z))) (*.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))))) (-.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z)))) (-.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) (+.f64 (/.f64 1 t) (/.f64 1 (*.f64 t z))) (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (*.f64 (exp.f64 (/.f64 2.0 t)) (exp.f64 (/.f64 2.0 (*.f64 t z)))) (exp.f64 2.0))) (*.f64 (exp.f64 (/.f64 x y)) (/.f64 (exp.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (exp.f64 2.0))) (*.f64 (exp.f64 (/.f64 x y)) (exp.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (log.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (*.f64 (*.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (+.f64 (*.f64 x (+.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)))) (*.f64 y (-.f64 (pow.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 3) (pow.f64 2.0 3)))) (*.f64 y (+.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)))) (+.f64 (*.f64 x (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (*.f64 y (-.f64 (*.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (*.f64 2.0 2.0)))) (*.f64 y (+.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0) 3)) (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (-.f64 (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (*.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)))) (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0))) (-.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) 2.0)) (+.f64 (/.f64 x y) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (+.f64 (/.f64 x y) (/.f64 2.0 t)) (+.f64 (/.f64 x y) (+.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z)))) (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z)) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (*.f64 2.0 (/.f64 1 t))) (+.f64 (*.f64 2.0 (/.f64 1 (*.f64 t z))) (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t)))) (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0) (-.f64 (+.f64 (/.f64 x y) (*.f64 2.0 (/.f64 1 t))) 2.0) 2.043 * * [simplify]: iteration 0 : 4974 enodes (cost 860 ) 2.043 * * [simplify]: iteration 1 : 4974 enodes (cost 860 ) 2.047 * [simplify]: Simplified to: (log.f64 (/.f64 2.0 (*.f64 t z))) (log.f64 (/.f64 2.0 (*.f64 t z))) (log.f64 (/.f64 2.0 (*.f64 t z))) (exp.f64 (/.f64 2.0 (*.f64 t z))) (pow.f64 (/.f64 2.0 (*.f64 t z)) 3) (pow.f64 (/.f64 2.0 (*.f64 t z)) 3) (*.f64 (cbrt.f64 (/.f64 2.0 (*.f64 t z))) (cbrt.f64 (/.f64 2.0 (*.f64 t z)))) (cbrt.f64 (/.f64 2.0 (*.f64 t z))) (pow.f64 (/.f64 2.0 (*.f64 t z)) 3) (sqrt.f64 (/.f64 2.0 (*.f64 t z))) (sqrt.f64 (/.f64 2.0 (*.f64 t z))) (neg.f64 2.0) (neg.f64 (*.f64 t z)) (/.f64 (*.f64 (cbrt.f64 2.0) (cbrt.f64 2.0)) t) (/.f64 (cbrt.f64 2.0) z) (/.f64 (sqrt.f64 2.0) t) (/.f64 (sqrt.f64 2.0) z) (/.f64 1 t) (/.f64 2.0 z) (/.f64 1 (*.f64 t z)) (/.f64 t (/.f64 2.0 z)) (/.f64 2.0 t) (/.f64 t (/.f64 (cbrt.f64 2.0) z)) (/.f64 t (/.f64 (sqrt.f64 2.0) z)) (/.f64 t (/.f64 2.0 z)) (pow.f64 (exp.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1)) (log.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t))) (pow.f64 (exp.f64 (/.f64 2.0 t)) (+.f64 (/.f64 1 z) 1)) (*.f64 (cbrt.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t))) (cbrt.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)))) (cbrt.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t))) (pow.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 3) (sqrt.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t))) (sqrt.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t))) (*.f64 2.0 (+.f64 t (*.f64 t z))) (*.f64 t (*.f64 t z)) (+.f64 (pow.f64 (/.f64 2.0 (*.f64 t z)) 3) (pow.f64 (/.f64 2.0 t) 3)) (+.f64 (*.f64 (/.f64 2.0 t) (/.f64 2.0 t)) (*.f64 (/.f64 2.0 (*.f64 t z)) (-.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)))) (*.f64 (/.f64 2.0 t) (-.f64 (/.f64 2.0 t) (/.f64 (/.f64 2.0 (*.f64 t z)) z))) (-.f64 (/.f64 2.0 t) (/.f64 2.0 (*.f64 t z))) (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (+.f64 (/.f64 1 t) (/.f64 1 (*.f64 t z))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (log.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (exp.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (*.f64 (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0)))) (cbrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (pow.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0)) 3) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (sqrt.f64 (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (+.f64 (*.f64 x (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (+.f64 2.0 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)))))) (*.f64 y (-.f64 (pow.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 3) (pow.f64 2.0 3)))) (*.f64 y (+.f64 (*.f64 2.0 2.0) (*.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (+.f64 2.0 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)))))) (*.f64 (+.f64 2.0 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t))) (+.f64 x (*.f64 (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0) y))) (*.f64 y (+.f64 2.0 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)))) (+.f64 (pow.f64 (/.f64 x y) 3) (pow.f64 (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0) 3)) (+.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0) (-.f64 (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0) (/.f64 x y)))) (-.f64 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0))) (-.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0)) (+.f64 (/.f64 x y) (-.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) 2.0)) (+.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (/.f64 x y)) (+.f64 (/.f64 2.0 t) (/.f64 x y)) (+.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (/.f64 x y)) (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 (*.f64 t z)) (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (+.f64 (+.f64 (/.f64 2.0 (*.f64 t z)) (/.f64 2.0 t)) (/.f64 x y)) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0) (-.f64 (+.f64 (/.f64 2.0 t) (/.f64 x y)) 2.0) 2.047 * * * [progress]: adding candidates to table 2.126 * * [progress]: iteration 4 / 4 2.126 * * * [progress]: picking best candidate 2.140 * * * * [pick]: Picked # 2.141 * * * [progress]: localizing error 2.154 * * * [progress]: generating rewritten candidates 2.154 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 2.155 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2 2) 2.157 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2 1) 2.158 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2) 2.168 * * * [progress]: generating series expansions 2.168 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 2.168 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.168 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.168 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.168 * [taylor]: Taking taylor expansion of 1/3 in z 2.168 * [taylor]: Taking taylor expansion of (log z) in z 2.168 * [taylor]: Taking taylor expansion of z in z 2.168 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.168 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.168 * [taylor]: Taking taylor expansion of 1/3 in z 2.168 * [taylor]: Taking taylor expansion of (log z) in z 2.168 * [taylor]: Taking taylor expansion of z in z 2.173 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.173 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.173 * [taylor]: Taking taylor expansion of 1/3 in z 2.173 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.173 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.173 * [taylor]: Taking taylor expansion of z in z 2.173 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.173 * [taylor]: Taking taylor expansion of 1/3 in z 2.173 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.173 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.173 * [taylor]: Taking taylor expansion of z in z 2.178 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.178 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.178 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.178 * [taylor]: Taking taylor expansion of -1 in z 2.178 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.178 * [taylor]: Taking taylor expansion of 1/3 in z 2.178 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.178 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.178 * [taylor]: Taking taylor expansion of z in z 2.178 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.178 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.178 * [taylor]: Taking taylor expansion of -1 in z 2.178 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.179 * [taylor]: Taking taylor expansion of 1/3 in z 2.179 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.179 * [taylor]: Taking taylor expansion of z in z 2.185 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2 2) 2.186 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.186 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.186 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.186 * [taylor]: Taking taylor expansion of 1/3 in z 2.186 * [taylor]: Taking taylor expansion of (log z) in z 2.186 * [taylor]: Taking taylor expansion of z in z 2.186 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.186 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.186 * [taylor]: Taking taylor expansion of 1/3 in z 2.186 * [taylor]: Taking taylor expansion of (log z) in z 2.186 * [taylor]: Taking taylor expansion of z in z 2.191 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.191 * [taylor]: Taking taylor expansion of 1/3 in z 2.191 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.191 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.191 * [taylor]: Taking taylor expansion of z in z 2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.191 * [taylor]: Taking taylor expansion of 1/3 in z 2.191 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.191 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.191 * [taylor]: Taking taylor expansion of z in z 2.196 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.196 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.196 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.196 * [taylor]: Taking taylor expansion of -1 in z 2.196 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.196 * [taylor]: Taking taylor expansion of 1/3 in z 2.196 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.196 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.196 * [taylor]: Taking taylor expansion of z in z 2.197 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.197 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.197 * [taylor]: Taking taylor expansion of -1 in z 2.197 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.197 * [taylor]: Taking taylor expansion of 1/3 in z 2.197 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.197 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.197 * [taylor]: Taking taylor expansion of z in z 2.204 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2 1) 2.204 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.204 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.204 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.204 * [taylor]: Taking taylor expansion of 1/3 in z 2.204 * [taylor]: Taking taylor expansion of (log z) in z 2.204 * [taylor]: Taking taylor expansion of z in z 2.204 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.204 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.204 * [taylor]: Taking taylor expansion of 1/3 in z 2.204 * [taylor]: Taking taylor expansion of (log z) in z 2.204 * [taylor]: Taking taylor expansion of z in z 2.208 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.208 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.208 * [taylor]: Taking taylor expansion of 1/3 in z 2.208 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.208 * [taylor]: Taking taylor expansion of z in z 2.209 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.209 * [taylor]: Taking taylor expansion of 1/3 in z 2.209 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.209 * [taylor]: Taking taylor expansion of z in z 2.214 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.214 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.214 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.214 * [taylor]: Taking taylor expansion of -1 in z 2.214 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.214 * [taylor]: Taking taylor expansion of 1/3 in z 2.214 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.214 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.214 * [taylor]: Taking taylor expansion of z in z 2.214 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 2.214 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.214 * [taylor]: Taking taylor expansion of -1 in z 2.214 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.214 * [taylor]: Taking taylor expansion of 1/3 in z 2.214 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.214 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.214 * [taylor]: Taking taylor expansion of z in z 2.221 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2) 2.221 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 2.221 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.221 * [taylor]: Taking taylor expansion of 1/3 in z 2.221 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.221 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.221 * [taylor]: Taking taylor expansion of z in z 2.222 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.222 * [taylor]: Taking taylor expansion of 1/3 in z 2.222 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.222 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.222 * [taylor]: Taking taylor expansion of z in z 2.227 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 2.227 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.227 * [taylor]: Taking taylor expansion of 1/3 in z 2.227 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.227 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.227 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.227 * [taylor]: Taking taylor expansion of z in z 2.227 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.227 * [taylor]: Taking taylor expansion of 1/3 in z 2.227 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.227 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.227 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.227 * [taylor]: Taking taylor expansion of z in z 2.233 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0 2.233 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 2.233 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.233 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.233 * [taylor]: Taking taylor expansion of -1 in z 2.233 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.233 * [taylor]: Taking taylor expansion of 1/3 in z 2.233 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.233 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.233 * [taylor]: Taking taylor expansion of z in z 2.233 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z 2.233 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.233 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.233 * [taylor]: Taking taylor expansion of -1 in z 2.233 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.233 * [taylor]: Taking taylor expansion of 1/3 in z 2.233 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.233 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.233 * [taylor]: Taking taylor expansion of z in z 2.245 * * * [progress]: simplifying candidates 2.246 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 z)) (exp.f64 (cbrt.f64 z)) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 1) (cbrt.f64 z) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (log.f64 (cbrt.f64 z)) (exp.f64 (cbrt.f64 z)) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 1) (cbrt.f64 z) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (log.f64 (cbrt.f64 z)) (exp.f64 (cbrt.f64 z)) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 1) (cbrt.f64 z) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (+.f64 1/3 1/3) (+.f64 1 1) (*.f64 z z) (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (+.f64 1 1) (+.f64 (log.f64 (cbrt.f64 z)) (log.f64 (cbrt.f64 z))) (log.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (exp.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 z z) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (sqrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (sqrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 1 1) (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 (sqrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (sqrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 2 1/3) (*.f64 2 1) (*.f64 (cbrt.f64 z) (cbrt.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)))) (*.f64 (cbrt.f64 z) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 z) (cbrt.f64 1)) (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z)))) (*.f64 (cbrt.f64 z) (sqrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 z) 1) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 z)) (*.f64 (sqrt.f64 (cbrt.f64 z)) (cbrt.f64 z)) (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (pow.f64 z 1/3) (pow.f64 (/.f64 1 z) -1/3) (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1)) (pow.f64 z 1/3) (pow.f64 (/.f64 1 z) -1/3) (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1)) (pow.f64 z 1/3) (pow.f64 (/.f64 1 z) -1/3) (*.f64 (pow.f64 (*.f64 -1 z) 1/3) (cbrt.f64 -1)) (pow.f64 z 2/3) (pow.f64 (/.f64 1 z) -2/3) (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 z 2) 1/3)) 2.289 * * [simplify]: iteration 0 : 4940 enodes (cost 374 ) 2.290 * * [simplify]: iteration 1 : 4940 enodes (cost 374 ) 2.293 * [simplify]: Simplified to: (log.f64 (cbrt.f64 z)) (exp.f64 (cbrt.f64 z)) (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 1) (cbrt.f64 z) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) (cbrt.f64 (cbrt.f64 z)) z (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (log.f64 (cbrt.f64 z)) (exp.f64 (cbrt.f64 z)) (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 1) (cbrt.f64 z) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) (cbrt.f64 (cbrt.f64 z)) z (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) (log.f64 (cbrt.f64 z)) (exp.f64 (cbrt.f64 z)) (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 1) (cbrt.f64 z) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) (cbrt.f64 (cbrt.f64 z)) z (sqrt.f64 (cbrt.f64 z)) (sqrt.f64 (cbrt.f64 z)) 2/3 2 (*.f64 z z) (pow.f64 z 2/3) 2 (*.f64 2/3 (log.f64 z)) (*.f64 2/3 (log.f64 z)) (exp.f64 (pow.f64 z 2/3)) (*.f64 z z) (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3))) (cbrt.f64 (pow.f64 z 2/3)) (*.f64 z z) (fabs.f64 (cbrt.f64 z)) (fabs.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3))) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 z 2/3) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) (cbrt.f64 z) (cbrt.f64 z) 1 (pow.f64 z 2/3) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (sqrt.f64 (cbrt.f64 z))) (cbrt.f64 z) (cbrt.f64 z) 2/3 2 (*.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 z 2/3))) (*.f64 (cbrt.f64 z) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 z) (cbrt.f64 1)) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 5) (pow.f64 (sqrt.f64 (cbrt.f64 z)) 3) (cbrt.f64 z) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4) (*.f64 (cbrt.f64 z) (cbrt.f64 (sqrt.f64 z))) (pow.f64 z 2/3) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 4) (pow.f64 (sqrt.f64 (cbrt.f64 z)) 3) (pow.f64 z 2/3) (cbrt.f64 z) (pow.f64 (/.f64 1 z) -1/3) (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 -1)) (cbrt.f64 z) (pow.f64 (/.f64 1 z) -1/3) (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 -1)) (cbrt.f64 z) (pow.f64 (/.f64 1 z) -1/3) (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 -1)) (pow.f64 z 2/3) (pow.f64 (/.f64 1 z) -2/3) (*.f64 (pow.f64 z 2/3) (pow.f64 (cbrt.f64 -1) 2)) 2.294 * * * [progress]: adding candidates to table 2.394 * [progress]: [Phase 3 of 3] Extracting. 2.394 * * [regime]: Finding splitpoints for: (# # # # # #) 2.396 * * * [regime-changes]: Trying 5 branch expressions: ((/.f64 x y) t z y x) 2.396 * * * * [regimes]: Trying to branch on (/.f64 x y) from (# # # # # #) 2.462 * * * * [regimes]: Trying to branch on t from (# # # # # #) 2.527 * * * * [regimes]: Trying to branch on z from (# # # # # #) 2.591 * * * * [regimes]: Trying to branch on y from (# # # # # #) 2.656 * * * * [regimes]: Trying to branch on x from (# # # # # #) 2.724 * * * [regime]: Found split indices: #