22.542 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying using # : (- x (/ (* y (- z t)) a)) 0.037 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.038 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.040 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 0.044 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 0.054 * * [simplify]: iteration 4 : 138 enodes (cost 9 ) 0.085 * * [simplify]: iteration 5 : 213 enodes (cost 9 ) 0.125 * * [simplify]: iteration 6 : 267 enodes (cost 9 ) 0.169 * * [simplify]: iteration 7 : 287 enodes (cost 9 ) 0.217 * * [simplify]: iteration 8 : 341 enodes (cost 9 ) 0.304 * * [simplify]: iteration 9 : 439 enodes (cost 9 ) 0.378 * * [simplify]: iteration 10 : 446 enodes (cost 9 ) 0.447 * * [simplify]: iteration done : 446 enodes (cost 9 ) 0.447 * [simplify]: Simplified to: (- x (/ (* y (- z t)) a)) 0.448 * * [progress]: iteration 1 / 4 0.448 * * * [progress]: picking best candidate 0.451 * * * * [pick]: Picked # 0.451 * * * [progress]: localizing error 0.458 * * * [progress]: generating rewritten candidates 0.458 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.467 * * * [progress]: generating series expansions 0.467 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.467 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (y z t a) around 0 0.467 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a 0.467 * [taylor]: Taking taylor expansion of (* (- z t) y) in a 0.467 * [taylor]: Taking taylor expansion of (- z t) in a 0.467 * [taylor]: Taking taylor expansion of z in a 0.467 * [taylor]: Taking taylor expansion of t in a 0.467 * [taylor]: Taking taylor expansion of y in a 0.467 * [taylor]: Taking taylor expansion of a in a 0.467 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t 0.467 * [taylor]: Taking taylor expansion of (* (- z t) y) in t 0.467 * [taylor]: Taking taylor expansion of (- z t) in t 0.467 * [taylor]: Taking taylor expansion of z in t 0.467 * [taylor]: Taking taylor expansion of t in t 0.467 * [taylor]: Taking taylor expansion of y in t 0.467 * [taylor]: Taking taylor expansion of a in t 0.468 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z 0.468 * [taylor]: Taking taylor expansion of (* (- z t) y) in z 0.468 * [taylor]: Taking taylor expansion of (- z t) in z 0.468 * [taylor]: Taking taylor expansion of z in z 0.468 * [taylor]: Taking taylor expansion of t in z 0.468 * [taylor]: Taking taylor expansion of y in z 0.468 * [taylor]: Taking taylor expansion of a in z 0.468 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y 0.468 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 0.468 * [taylor]: Taking taylor expansion of (- z t) in y 0.468 * [taylor]: Taking taylor expansion of z in y 0.468 * [taylor]: Taking taylor expansion of t in y 0.468 * [taylor]: Taking taylor expansion of y in y 0.468 * [taylor]: Taking taylor expansion of a in y 0.468 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y 0.468 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 0.468 * [taylor]: Taking taylor expansion of (- z t) in y 0.468 * [taylor]: Taking taylor expansion of z in y 0.468 * [taylor]: Taking taylor expansion of t in y 0.468 * [taylor]: Taking taylor expansion of y in y 0.468 * [taylor]: Taking taylor expansion of a in y 0.468 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 0.468 * [taylor]: Taking taylor expansion of (- z t) in z 0.468 * [taylor]: Taking taylor expansion of z in z 0.468 * [taylor]: Taking taylor expansion of t in z 0.468 * [taylor]: Taking taylor expansion of a in z 0.468 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 0.468 * [taylor]: Taking taylor expansion of -1 in t 0.468 * [taylor]: Taking taylor expansion of (/ t a) in t 0.468 * [taylor]: Taking taylor expansion of t in t 0.469 * [taylor]: Taking taylor expansion of a in t 0.469 * [taylor]: Taking taylor expansion of 0 in z 0.469 * [taylor]: Taking taylor expansion of 0 in t 0.469 * [taylor]: Taking taylor expansion of 0 in a 0.469 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.469 * [taylor]: Taking taylor expansion of a in t 0.469 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.469 * [taylor]: Taking taylor expansion of a in a 0.469 * [taylor]: Taking taylor expansion of (/ -1 a) in a 0.469 * [taylor]: Taking taylor expansion of -1 in a 0.469 * [taylor]: Taking taylor expansion of a in a 0.469 * [taylor]: Taking taylor expansion of 0 in z 0.469 * [taylor]: Taking taylor expansion of 0 in t 0.469 * [taylor]: Taking taylor expansion of 0 in a 0.469 * [taylor]: Taking taylor expansion of 0 in t 0.469 * [taylor]: Taking taylor expansion of 0 in a 0.469 * [taylor]: Taking taylor expansion of 0 in t 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in z 0.470 * [taylor]: Taking taylor expansion of 0 in t 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in t 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in t 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in t 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.470 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0 0.471 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 0.471 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 0.471 * [taylor]: Taking taylor expansion of a in a 0.471 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 0.471 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.471 * [taylor]: Taking taylor expansion of z in a 0.471 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.471 * [taylor]: Taking taylor expansion of t in a 0.471 * [taylor]: Taking taylor expansion of y in a 0.472 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 0.472 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 0.472 * [taylor]: Taking taylor expansion of a in t 0.472 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 0.472 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.472 * [taylor]: Taking taylor expansion of z in t 0.472 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.472 * [taylor]: Taking taylor expansion of t in t 0.472 * [taylor]: Taking taylor expansion of y in t 0.472 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 0.472 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 0.472 * [taylor]: Taking taylor expansion of a in z 0.472 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.472 * [taylor]: Taking taylor expansion of z in z 0.472 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.472 * [taylor]: Taking taylor expansion of t in z 0.472 * [taylor]: Taking taylor expansion of y in z 0.472 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 0.472 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 0.472 * [taylor]: Taking taylor expansion of a in y 0.472 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.472 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.472 * [taylor]: Taking taylor expansion of z in y 0.472 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.472 * [taylor]: Taking taylor expansion of t in y 0.472 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 0.473 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 0.473 * [taylor]: Taking taylor expansion of a in y 0.473 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 0.473 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.473 * [taylor]: Taking taylor expansion of z in y 0.473 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.473 * [taylor]: Taking taylor expansion of t in y 0.473 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 0.473 * [taylor]: Taking taylor expansion of a in z 0.473 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 0.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.473 * [taylor]: Taking taylor expansion of z in z 0.473 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.473 * [taylor]: Taking taylor expansion of t in z 0.473 * [taylor]: Taking taylor expansion of a in t 0.473 * [taylor]: Taking taylor expansion of 0 in z 0.474 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t 0.474 * [taylor]: Taking taylor expansion of (/ a t) in t 0.474 * [taylor]: Taking taylor expansion of a in t 0.474 * [taylor]: Taking taylor expansion of t in t 0.474 * [taylor]: Taking taylor expansion of (neg a) in a 0.474 * [taylor]: Taking taylor expansion of a in a 0.474 * [taylor]: Taking taylor expansion of a in a 0.474 * [taylor]: Taking taylor expansion of 0 in z 0.474 * [taylor]: Taking taylor expansion of 0 in t 0.474 * [taylor]: Taking taylor expansion of 0 in t 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.474 * [taylor]: Taking taylor expansion of 0 in a 0.475 * [taylor]: Taking taylor expansion of 0 in z 0.475 * [taylor]: Taking taylor expansion of 0 in t 0.475 * [taylor]: Taking taylor expansion of 0 in t 0.475 * [taylor]: Taking taylor expansion of 0 in t 0.475 * [taylor]: Taking taylor expansion of 0 in a 0.475 * [taylor]: Taking taylor expansion of 0 in a 0.476 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0 0.476 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 0.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 0.476 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 0.476 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.476 * [taylor]: Taking taylor expansion of t in a 0.476 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.476 * [taylor]: Taking taylor expansion of z in a 0.476 * [taylor]: Taking taylor expansion of a in a 0.476 * [taylor]: Taking taylor expansion of y in a 0.476 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 0.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 0.476 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 0.476 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.476 * [taylor]: Taking taylor expansion of t in t 0.476 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.476 * [taylor]: Taking taylor expansion of z in t 0.476 * [taylor]: Taking taylor expansion of a in t 0.476 * [taylor]: Taking taylor expansion of y in t 0.476 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 0.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 0.476 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.476 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.476 * [taylor]: Taking taylor expansion of t in z 0.476 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.476 * [taylor]: Taking taylor expansion of z in z 0.476 * [taylor]: Taking taylor expansion of a in z 0.476 * [taylor]: Taking taylor expansion of y in z 0.477 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 0.477 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 0.477 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.477 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.477 * [taylor]: Taking taylor expansion of t in y 0.477 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.477 * [taylor]: Taking taylor expansion of z in y 0.477 * [taylor]: Taking taylor expansion of a in y 0.477 * [taylor]: Taking taylor expansion of y in y 0.477 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 0.477 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 0.477 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 0.477 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.477 * [taylor]: Taking taylor expansion of t in y 0.477 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.477 * [taylor]: Taking taylor expansion of z in y 0.477 * [taylor]: Taking taylor expansion of a in y 0.477 * [taylor]: Taking taylor expansion of y in y 0.477 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 0.477 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 0.477 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.477 * [taylor]: Taking taylor expansion of t in z 0.477 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.477 * [taylor]: Taking taylor expansion of z in z 0.477 * [taylor]: Taking taylor expansion of a in z 0.478 * [taylor]: Taking taylor expansion of (* -1 a) in t 0.478 * [taylor]: Taking taylor expansion of -1 in t 0.478 * [taylor]: Taking taylor expansion of a in t 0.478 * [taylor]: Taking taylor expansion of 0 in z 0.478 * [taylor]: Taking taylor expansion of (/ a t) in t 0.478 * [taylor]: Taking taylor expansion of a in t 0.478 * [taylor]: Taking taylor expansion of t in t 0.478 * [taylor]: Taking taylor expansion of a in a 0.478 * [taylor]: Taking taylor expansion of (* -1 a) in a 0.478 * [taylor]: Taking taylor expansion of -1 in a 0.478 * [taylor]: Taking taylor expansion of a in a 0.478 * [taylor]: Taking taylor expansion of 0 in z 0.479 * [taylor]: Taking taylor expansion of 0 in t 0.479 * [taylor]: Taking taylor expansion of 0 in t 0.479 * [taylor]: Taking taylor expansion of 0 in a 0.479 * [taylor]: Taking taylor expansion of 0 in a 0.479 * [taylor]: Taking taylor expansion of 0 in z 0.479 * [taylor]: Taking taylor expansion of 0 in t 0.479 * [taylor]: Taking taylor expansion of 0 in t 0.480 * [taylor]: Taking taylor expansion of 0 in t 0.480 * [taylor]: Taking taylor expansion of 0 in a 0.480 * [taylor]: Taking taylor expansion of 0 in a 0.480 * * * [progress]: simplifying candidates 0.480 * [simplify]: Simplifying using # : (- (+ (log y) (log (- z t))) (log a)) (- (log (* y (- z t))) (log a)) (log (/ (* y (- z t)) a)) (exp (/ (* y (- z t)) a)) (/ (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t))) (* (* a a) a)) (/ (* (* (* y (- z t)) (* y (- z t))) (* y (- z t))) (* (* a a) a)) (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a))) (cbrt (/ (* y (- z t)) a)) (* (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (neg (* y (- z t))) (neg a) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) (/ y 1) (/ (- z t) a) (/ 1 a) (/ a (* y (- z t))) (/ (* y (- z t)) (* (cbrt a) (cbrt a))) (/ (* y (- z t)) (sqrt a)) (/ (* y (- z t)) 1) (/ a (- z t)) (* a (+ (* z z) (+ (* t t) (* z t)))) (* a (+ z t)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) 0.482 * * [simplify]: iteration 0 : 63 enodes (cost 276 ) 0.497 * * [simplify]: iteration 1 : 164 enodes (cost 267 ) 0.528 * * [simplify]: iteration 2 : 515 enodes (cost 225 ) 0.984 * * [simplify]: iteration 3 : 2351 enodes (cost 213 ) 2.193 * * [simplify]: iteration done : 5000 enodes (cost 212 ) 2.194 * [simplify]: Simplified to: (log (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (exp (/ (* y (- z t)) a)) (pow (/ (* y (- z t)) a) 3) (pow (/ (* y (- z t)) a) 3) (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a))) (cbrt (/ (* y (- z t)) a)) (pow (/ (* y (- z t)) a) 3) (sqrt (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (* (- t z) y) (neg a) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) y (/ (- z t) a) (/ 1 a) (/ a (* y (- z t))) (/ (* y (- z t)) (* (cbrt a) (cbrt a))) (/ (* y (- z t)) (sqrt a)) (* y (- z t)) (/ a (- z t)) (* a (+ (* z z) (* t (+ z t)))) (* a (+ z t)) (/ y (/ a (- z t))) (/ y (/ a (- z t))) (/ y (/ a (- z t))) 2.194 * * * [progress]: adding candidates to table 2.225 * * [progress]: iteration 2 / 4 2.225 * * * [progress]: picking best candidate 2.250 * * * * [pick]: Picked # 2.250 * * * [progress]: localizing error 2.257 * * * [progress]: generating rewritten candidates 2.257 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.267 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 2.277 * * * [progress]: generating series expansions 2.277 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.277 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (y z t a) around 0 2.277 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a 2.277 * [taylor]: Taking taylor expansion of (* (- z t) y) in a 2.277 * [taylor]: Taking taylor expansion of (- z t) in a 2.277 * [taylor]: Taking taylor expansion of z in a 2.277 * [taylor]: Taking taylor expansion of t in a 2.277 * [taylor]: Taking taylor expansion of y in a 2.277 * [taylor]: Taking taylor expansion of a in a 2.277 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t 2.277 * [taylor]: Taking taylor expansion of (* (- z t) y) in t 2.277 * [taylor]: Taking taylor expansion of (- z t) in t 2.277 * [taylor]: Taking taylor expansion of z in t 2.277 * [taylor]: Taking taylor expansion of t in t 2.277 * [taylor]: Taking taylor expansion of y in t 2.277 * [taylor]: Taking taylor expansion of a in t 2.277 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z 2.277 * [taylor]: Taking taylor expansion of (* (- z t) y) in z 2.277 * [taylor]: Taking taylor expansion of (- z t) in z 2.277 * [taylor]: Taking taylor expansion of z in z 2.277 * [taylor]: Taking taylor expansion of t in z 2.277 * [taylor]: Taking taylor expansion of y in z 2.277 * [taylor]: Taking taylor expansion of a in z 2.277 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y 2.277 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 2.277 * [taylor]: Taking taylor expansion of (- z t) in y 2.277 * [taylor]: Taking taylor expansion of z in y 2.277 * [taylor]: Taking taylor expansion of t in y 2.277 * [taylor]: Taking taylor expansion of y in y 2.277 * [taylor]: Taking taylor expansion of a in y 2.278 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y 2.278 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 2.278 * [taylor]: Taking taylor expansion of (- z t) in y 2.278 * [taylor]: Taking taylor expansion of z in y 2.278 * [taylor]: Taking taylor expansion of t in y 2.278 * [taylor]: Taking taylor expansion of y in y 2.278 * [taylor]: Taking taylor expansion of a in y 2.278 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 2.278 * [taylor]: Taking taylor expansion of (- z t) in z 2.278 * [taylor]: Taking taylor expansion of z in z 2.278 * [taylor]: Taking taylor expansion of t in z 2.278 * [taylor]: Taking taylor expansion of a in z 2.278 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 2.278 * [taylor]: Taking taylor expansion of -1 in t 2.278 * [taylor]: Taking taylor expansion of (/ t a) in t 2.278 * [taylor]: Taking taylor expansion of t in t 2.278 * [taylor]: Taking taylor expansion of a in t 2.278 * [taylor]: Taking taylor expansion of 0 in z 2.278 * [taylor]: Taking taylor expansion of 0 in t 2.278 * [taylor]: Taking taylor expansion of 0 in a 2.278 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.278 * [taylor]: Taking taylor expansion of a in t 2.278 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.278 * [taylor]: Taking taylor expansion of a in a 2.279 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.279 * [taylor]: Taking taylor expansion of -1 in a 2.279 * [taylor]: Taking taylor expansion of a in a 2.279 * [taylor]: Taking taylor expansion of 0 in z 2.279 * [taylor]: Taking taylor expansion of 0 in t 2.279 * [taylor]: Taking taylor expansion of 0 in a 2.279 * [taylor]: Taking taylor expansion of 0 in t 2.279 * [taylor]: Taking taylor expansion of 0 in a 2.279 * [taylor]: Taking taylor expansion of 0 in t 2.279 * [taylor]: Taking taylor expansion of 0 in a 2.279 * [taylor]: Taking taylor expansion of 0 in a 2.279 * [taylor]: Taking taylor expansion of 0 in a 2.279 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in z 2.280 * [taylor]: Taking taylor expansion of 0 in t 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in t 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in t 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in t 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.280 * [taylor]: Taking taylor expansion of 0 in a 2.281 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0 2.281 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 2.281 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 2.281 * [taylor]: Taking taylor expansion of a in a 2.281 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 2.281 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.281 * [taylor]: Taking taylor expansion of z in a 2.281 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.281 * [taylor]: Taking taylor expansion of t in a 2.281 * [taylor]: Taking taylor expansion of y in a 2.281 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 2.281 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 2.281 * [taylor]: Taking taylor expansion of a in t 2.281 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 2.281 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.281 * [taylor]: Taking taylor expansion of z in t 2.281 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.281 * [taylor]: Taking taylor expansion of t in t 2.281 * [taylor]: Taking taylor expansion of y in t 2.282 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 2.282 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.282 * [taylor]: Taking taylor expansion of a in z 2.282 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.282 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.282 * [taylor]: Taking taylor expansion of z in z 2.282 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.282 * [taylor]: Taking taylor expansion of t in z 2.282 * [taylor]: Taking taylor expansion of y in z 2.282 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 2.282 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 2.282 * [taylor]: Taking taylor expansion of a in y 2.282 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 2.282 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.282 * [taylor]: Taking taylor expansion of z in y 2.282 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.282 * [taylor]: Taking taylor expansion of t in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.282 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 2.282 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 2.282 * [taylor]: Taking taylor expansion of a in y 2.282 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 2.282 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.282 * [taylor]: Taking taylor expansion of z in y 2.282 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.282 * [taylor]: Taking taylor expansion of t in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.283 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.283 * [taylor]: Taking taylor expansion of a in z 2.283 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.283 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.283 * [taylor]: Taking taylor expansion of z in z 2.283 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.283 * [taylor]: Taking taylor expansion of t in z 2.283 * [taylor]: Taking taylor expansion of a in t 2.283 * [taylor]: Taking taylor expansion of 0 in z 2.283 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t 2.283 * [taylor]: Taking taylor expansion of (/ a t) in t 2.283 * [taylor]: Taking taylor expansion of a in t 2.283 * [taylor]: Taking taylor expansion of t in t 2.283 * [taylor]: Taking taylor expansion of (neg a) in a 2.283 * [taylor]: Taking taylor expansion of a in a 2.283 * [taylor]: Taking taylor expansion of a in a 2.284 * [taylor]: Taking taylor expansion of 0 in z 2.284 * [taylor]: Taking taylor expansion of 0 in t 2.284 * [taylor]: Taking taylor expansion of 0 in t 2.284 * [taylor]: Taking taylor expansion of 0 in a 2.284 * [taylor]: Taking taylor expansion of 0 in a 2.284 * [taylor]: Taking taylor expansion of 0 in z 2.284 * [taylor]: Taking taylor expansion of 0 in t 2.285 * [taylor]: Taking taylor expansion of 0 in t 2.285 * [taylor]: Taking taylor expansion of 0 in t 2.285 * [taylor]: Taking taylor expansion of 0 in a 2.285 * [taylor]: Taking taylor expansion of 0 in a 2.285 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0 2.285 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 2.285 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 2.285 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 2.285 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.285 * [taylor]: Taking taylor expansion of t in a 2.285 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.285 * [taylor]: Taking taylor expansion of z in a 2.285 * [taylor]: Taking taylor expansion of a in a 2.285 * [taylor]: Taking taylor expansion of y in a 2.286 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 2.286 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 2.286 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 2.286 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.286 * [taylor]: Taking taylor expansion of t in t 2.286 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.286 * [taylor]: Taking taylor expansion of z in t 2.286 * [taylor]: Taking taylor expansion of a in t 2.286 * [taylor]: Taking taylor expansion of y in t 2.286 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 2.286 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.286 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.286 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.286 * [taylor]: Taking taylor expansion of t in z 2.286 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.286 * [taylor]: Taking taylor expansion of z in z 2.286 * [taylor]: Taking taylor expansion of a in z 2.286 * [taylor]: Taking taylor expansion of y in z 2.286 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 2.286 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 2.286 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 2.286 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.286 * [taylor]: Taking taylor expansion of t in y 2.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.286 * [taylor]: Taking taylor expansion of z in y 2.286 * [taylor]: Taking taylor expansion of a in y 2.286 * [taylor]: Taking taylor expansion of y in y 2.287 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 2.287 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 2.287 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 2.287 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.287 * [taylor]: Taking taylor expansion of t in y 2.287 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.287 * [taylor]: Taking taylor expansion of z in y 2.287 * [taylor]: Taking taylor expansion of a in y 2.287 * [taylor]: Taking taylor expansion of y in y 2.287 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.287 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.287 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.287 * [taylor]: Taking taylor expansion of t in z 2.287 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.287 * [taylor]: Taking taylor expansion of z in z 2.287 * [taylor]: Taking taylor expansion of a in z 2.287 * [taylor]: Taking taylor expansion of (* -1 a) in t 2.287 * [taylor]: Taking taylor expansion of -1 in t 2.287 * [taylor]: Taking taylor expansion of a in t 2.287 * [taylor]: Taking taylor expansion of 0 in z 2.288 * [taylor]: Taking taylor expansion of (/ a t) in t 2.288 * [taylor]: Taking taylor expansion of a in t 2.288 * [taylor]: Taking taylor expansion of t in t 2.288 * [taylor]: Taking taylor expansion of a in a 2.288 * [taylor]: Taking taylor expansion of (* -1 a) in a 2.288 * [taylor]: Taking taylor expansion of -1 in a 2.288 * [taylor]: Taking taylor expansion of a in a 2.288 * [taylor]: Taking taylor expansion of 0 in z 2.288 * [taylor]: Taking taylor expansion of 0 in t 2.288 * [taylor]: Taking taylor expansion of 0 in t 2.288 * [taylor]: Taking taylor expansion of 0 in a 2.288 * [taylor]: Taking taylor expansion of 0 in a 2.289 * [taylor]: Taking taylor expansion of 0 in z 2.289 * [taylor]: Taking taylor expansion of 0 in t 2.289 * [taylor]: Taking taylor expansion of 0 in t 2.289 * [taylor]: Taking taylor expansion of 0 in t 2.289 * [taylor]: Taking taylor expansion of 0 in a 2.289 * [taylor]: Taking taylor expansion of 0 in a 2.290 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 2.290 * [approximate]: Taking taylor expansion of (/ (- z t) a) in (z t a) around 0 2.290 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a 2.290 * [taylor]: Taking taylor expansion of (- z t) in a 2.290 * [taylor]: Taking taylor expansion of z in a 2.290 * [taylor]: Taking taylor expansion of t in a 2.290 * [taylor]: Taking taylor expansion of a in a 2.290 * [taylor]: Taking taylor expansion of (/ (- z t) a) in t 2.290 * [taylor]: Taking taylor expansion of (- z t) in t 2.290 * [taylor]: Taking taylor expansion of z in t 2.290 * [taylor]: Taking taylor expansion of t in t 2.290 * [taylor]: Taking taylor expansion of a in t 2.290 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 2.290 * [taylor]: Taking taylor expansion of (- z t) in z 2.290 * [taylor]: Taking taylor expansion of z in z 2.290 * [taylor]: Taking taylor expansion of t in z 2.290 * [taylor]: Taking taylor expansion of a in z 2.290 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 2.290 * [taylor]: Taking taylor expansion of (- z t) in z 2.290 * [taylor]: Taking taylor expansion of z in z 2.290 * [taylor]: Taking taylor expansion of t in z 2.290 * [taylor]: Taking taylor expansion of a in z 2.290 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 2.290 * [taylor]: Taking taylor expansion of -1 in t 2.290 * [taylor]: Taking taylor expansion of (/ t a) in t 2.290 * [taylor]: Taking taylor expansion of t in t 2.290 * [taylor]: Taking taylor expansion of a in t 2.290 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.290 * [taylor]: Taking taylor expansion of a in t 2.290 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.290 * [taylor]: Taking taylor expansion of a in a 2.291 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.291 * [taylor]: Taking taylor expansion of -1 in a 2.291 * [taylor]: Taking taylor expansion of a in a 2.291 * [taylor]: Taking taylor expansion of 0 in t 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in t 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.292 * [approximate]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in (z t a) around 0 2.292 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 2.292 * [taylor]: Taking taylor expansion of a in a 2.292 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 2.292 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.292 * [taylor]: Taking taylor expansion of z in a 2.292 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.292 * [taylor]: Taking taylor expansion of t in a 2.292 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 2.292 * [taylor]: Taking taylor expansion of a in t 2.292 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 2.292 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.292 * [taylor]: Taking taylor expansion of z in t 2.292 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.292 * [taylor]: Taking taylor expansion of t in t 2.292 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.292 * [taylor]: Taking taylor expansion of a in z 2.292 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.292 * [taylor]: Taking taylor expansion of z in z 2.292 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.292 * [taylor]: Taking taylor expansion of t in z 2.292 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.292 * [taylor]: Taking taylor expansion of a in z 2.292 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.292 * [taylor]: Taking taylor expansion of z in z 2.292 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.292 * [taylor]: Taking taylor expansion of t in z 2.292 * [taylor]: Taking taylor expansion of a in t 2.293 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t 2.293 * [taylor]: Taking taylor expansion of (/ a t) in t 2.293 * [taylor]: Taking taylor expansion of a in t 2.293 * [taylor]: Taking taylor expansion of t in t 2.293 * [taylor]: Taking taylor expansion of (neg a) in a 2.293 * [taylor]: Taking taylor expansion of a in a 2.293 * [taylor]: Taking taylor expansion of a in a 2.293 * [taylor]: Taking taylor expansion of 0 in t 2.293 * [taylor]: Taking taylor expansion of 0 in a 2.293 * [taylor]: Taking taylor expansion of 0 in a 2.293 * [taylor]: Taking taylor expansion of 0 in t 2.293 * [taylor]: Taking taylor expansion of 0 in a 2.293 * [taylor]: Taking taylor expansion of 0 in a 2.293 * [taylor]: Taking taylor expansion of 0 in a 2.294 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in (z t a) around 0 2.294 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in a 2.294 * [taylor]: Taking taylor expansion of -1 in a 2.294 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 2.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.294 * [taylor]: Taking taylor expansion of t in a 2.294 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.294 * [taylor]: Taking taylor expansion of z in a 2.294 * [taylor]: Taking taylor expansion of a in a 2.294 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in t 2.294 * [taylor]: Taking taylor expansion of -1 in t 2.294 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 2.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.294 * [taylor]: Taking taylor expansion of t in t 2.294 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.294 * [taylor]: Taking taylor expansion of z in t 2.294 * [taylor]: Taking taylor expansion of a in t 2.294 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in z 2.294 * [taylor]: Taking taylor expansion of -1 in z 2.294 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.294 * [taylor]: Taking taylor expansion of t in z 2.294 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.294 * [taylor]: Taking taylor expansion of z in z 2.294 * [taylor]: Taking taylor expansion of a in z 2.294 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in z 2.294 * [taylor]: Taking taylor expansion of -1 in z 2.294 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.294 * [taylor]: Taking taylor expansion of t in z 2.294 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.294 * [taylor]: Taking taylor expansion of z in z 2.294 * [taylor]: Taking taylor expansion of a in z 2.295 * [taylor]: Taking taylor expansion of a in t 2.295 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t 2.295 * [taylor]: Taking taylor expansion of (/ a t) in t 2.295 * [taylor]: Taking taylor expansion of a in t 2.295 * [taylor]: Taking taylor expansion of t in t 2.295 * [taylor]: Taking taylor expansion of (neg a) in a 2.295 * [taylor]: Taking taylor expansion of a in a 2.295 * [taylor]: Taking taylor expansion of a in a 2.295 * [taylor]: Taking taylor expansion of 0 in t 2.295 * [taylor]: Taking taylor expansion of 0 in a 2.295 * [taylor]: Taking taylor expansion of 0 in a 2.296 * [taylor]: Taking taylor expansion of 0 in t 2.296 * [taylor]: Taking taylor expansion of 0 in a 2.296 * [taylor]: Taking taylor expansion of 0 in a 2.296 * [taylor]: Taking taylor expansion of 0 in a 2.296 * * * [progress]: simplifying candidates 2.297 * [simplify]: Simplifying using # : (* y (/ (- z t) a)) (+ (log y) (- (log (- z t)) (log a))) (+ (log y) (log (/ (- z t) a))) (log (* y (/ (- z t) a))) (exp (* y (/ (- z t) a))) (* (* (* y y) y) (/ (* (* (- z t) (- z t)) (- z t)) (* (* a a) a))) (* (* (* y y) y) (* (* (/ (- z t) a) (/ (- z t) a)) (/ (- z t) a))) (* (cbrt (* y (/ (- z t) a))) (cbrt (* y (/ (- z t) a)))) (cbrt (* y (/ (- z t) a))) (* (* (* y (/ (- z t) a)) (* y (/ (- z t) a))) (* y (/ (- z t) a))) (sqrt (* y (/ (- z t) a))) (sqrt (* y (/ (- z t) a))) (* (sqrt y) (sqrt (/ (- z t) a))) (* (sqrt y) (sqrt (/ (- z t) a))) (* (sqrt y) (/ (sqrt (- z t)) (sqrt a))) (* (sqrt y) (/ (sqrt (- z t)) (sqrt a))) (* y (* (cbrt (/ (- z t) a)) (cbrt (/ (- z t) a)))) (* y (sqrt (/ (- z t) a))) (* y (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a)))) (* y (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a))) (* y (/ (* (cbrt (- z t)) (cbrt (- z t))) 1)) (* y (/ (sqrt (- z t)) (* (cbrt a) (cbrt a)))) (* y (/ (sqrt (- z t)) (sqrt a))) (* y (/ (sqrt (- z t)) 1)) (* y (/ 1 (* (cbrt a) (cbrt a)))) (* y (/ 1 (sqrt a))) (* y (/ 1 1)) (* y (/ (+ (sqrt z) (sqrt t)) (* (cbrt a) (cbrt a)))) (* y (/ (+ (sqrt z) (sqrt t)) (sqrt a))) (* y (/ (+ (sqrt z) (sqrt t)) 1)) (* y (/ 1 (* (cbrt a) (cbrt a)))) (* y (/ 1 (sqrt a))) (* y (/ 1 1)) (* y 1) (* y (- z t)) (* (cbrt y) (/ (- z t) a)) (* (sqrt y) (/ (- z t) a)) (* y (/ (- z t) a)) (* y (- z t)) (- (log (- z t)) (log a)) (log (/ (- z t) a)) (exp (/ (- z t) a)) (/ (* (* (- z t) (- z t)) (- z t)) (* (* a a) a)) (* (cbrt (/ (- z t) a)) (cbrt (/ (- z t) a))) (cbrt (/ (- z t) a)) (* (* (/ (- z t) a) (/ (- z t) a)) (/ (- z t) a)) (sqrt (/ (- z t) a)) (sqrt (/ (- z t) a)) (neg (- z t)) (neg a) (/ z a) (/ t a) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a))) (/ (cbrt (- z t)) (cbrt a)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a)) (/ (cbrt (- z t)) (sqrt a)) (/ (* (cbrt (- z t)) (cbrt (- z t))) 1) (/ (cbrt (- z t)) a) (/ (sqrt (- z t)) (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (cbrt a)) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) 1) (/ (sqrt (- z t)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ 1 (sqrt a)) (/ (- z t) (sqrt a)) (/ 1 1) (/ (- z t) a) (/ (+ (sqrt z) (sqrt t)) (* (cbrt a) (cbrt a))) (/ (- (sqrt z) (sqrt t)) (cbrt a)) (/ (+ (sqrt z) (sqrt t)) (sqrt a)) (/ (- (sqrt z) (sqrt t)) (sqrt a)) (/ (+ (sqrt z) (sqrt t)) 1) (/ (- (sqrt z) (sqrt t)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ 1 (sqrt a)) (/ (- z t) (sqrt a)) (/ 1 1) (/ (- z t) a) (/ 1 a) (/ a (- z t)) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (- z t) (sqrt a)) (/ (- z t) 1) (/ a (cbrt (- z t))) (/ a (sqrt (- z t))) (/ a (- z t)) (/ a (- (sqrt z) (sqrt t))) (/ a (- z t)) (* a (+ (* z z) (+ (* t t) (* z t)))) (* a (+ z t)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ z a) (/ t a)) (- (/ z a) (/ t a)) (- (/ z a) (/ t a)) 2.300 * * [simplify]: iteration 0 : 116 enodes (cost 831 ) 2.329 * * [simplify]: iteration 1 : 276 enodes (cost 783 ) 2.396 * * [simplify]: iteration 2 : 747 enodes (cost 721 ) 2.852 * * [simplify]: iteration 3 : 2448 enodes (cost 709 ) 3.754 * * [simplify]: iteration done : 5001 enodes (cost 708 ) 3.754 * [simplify]: Simplified to: (* y (/ (- z t) a)) (log (* y (/ (- z t) a))) (log (* y (/ (- z t) a))) (log (* y (/ (- z t) a))) (exp (* y (/ (- z t) a))) (pow (* y (/ (- z t) a)) 3) (pow (* y (/ (- z t) a)) 3) (* (cbrt (* y (/ (- z t) a))) (cbrt (* y (/ (- z t) a)))) (cbrt (* y (/ (- z t) a))) (pow (* y (/ (- z t) a)) 3) (sqrt (* y (/ (- z t) a))) (sqrt (* y (/ (- z t) a))) (* (sqrt y) (sqrt (/ (- z t) a))) (* (sqrt y) (sqrt (/ (- z t) a))) (* (sqrt y) (/ (sqrt (- z t)) (sqrt a))) (* (sqrt y) (/ (sqrt (- z t)) (sqrt a))) (* y (* (cbrt (/ (- z t) a)) (cbrt (/ (- z t) a)))) (* y (sqrt (/ (- z t) a))) (* y (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a)))) (* y (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a))) (* (* (cbrt (- z t)) (cbrt (- z t))) y) (* y (/ (sqrt (- z t)) (* (cbrt a) (cbrt a)))) (* y (/ (sqrt (- z t)) (sqrt a))) (* (sqrt (- z t)) y) (/ y (* (cbrt a) (cbrt a))) (/ y (sqrt a)) y (* y (/ (+ (sqrt z) (sqrt t)) (* (cbrt a) (cbrt a)))) (* y (/ (+ (sqrt z) (sqrt t)) (sqrt a))) (* y (+ (sqrt z) (sqrt t))) (/ y (* (cbrt a) (cbrt a))) (/ y (sqrt a)) y y (* y (- z t)) (* (cbrt y) (/ (- z t) a)) (* (sqrt y) (/ (- z t) a)) (* y (/ (- z t) a)) (* y (- z t)) (log (/ (- z t) a)) (log (/ (- z t) a)) (exp (/ (- z t) a)) (pow (/ (- z t) a) 3) (* (cbrt (/ (- z t) a)) (cbrt (/ (- z t) a))) (cbrt (/ (- z t) a)) (pow (/ (- z t) a) 3) (sqrt (/ (- z t) a)) (sqrt (/ (- z t) a)) (- t z) (neg a) (/ z a) (/ t a) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a))) (/ (cbrt (- z t)) (cbrt a)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a)) (/ (cbrt (- z t)) (sqrt a)) (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) a) (/ (sqrt (- z t)) (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (cbrt a)) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) (sqrt a)) (sqrt (- z t)) (/ (sqrt (- z t)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ 1 (sqrt a)) (/ (- z t) (sqrt a)) 1 (/ (- z t) a) (/ (+ (sqrt z) (sqrt t)) (* (cbrt a) (cbrt a))) (/ (- (sqrt z) (sqrt t)) (cbrt a)) (/ (+ (sqrt z) (sqrt t)) (sqrt a)) (/ (- (sqrt z) (sqrt t)) (sqrt a)) (+ (sqrt z) (sqrt t)) (/ (- (sqrt z) (sqrt t)) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ 1 (sqrt a)) (/ (- z t) (sqrt a)) 1 (/ (- z t) a) (/ 1 a) (/ a (- z t)) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (- z t) (sqrt a)) (- z t) (/ a (cbrt (- z t))) (/ a (sqrt (- z t))) (/ a (- z t)) (/ a (- (sqrt z) (sqrt t))) (/ a (- z t)) (* a (+ (* t (+ z t)) (* z z))) (* a (+ z t)) (* y (/ (- z t) a)) (* y (/ (- z t) a)) (* y (/ (- z t) a)) (/ (- z t) a) (/ (- z t) a) (/ (- z t) a) 3.755 * * * [progress]: adding candidates to table 3.818 * * [progress]: iteration 3 / 4 3.818 * * * [progress]: picking best candidate 3.837 * * * * [pick]: Picked # 3.837 * * * [progress]: localizing error 3.846 * * * [progress]: generating rewritten candidates 3.846 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.857 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 3.870 * * * [progress]: generating series expansions 3.870 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.870 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (y z t a) around 0 3.870 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a 3.870 * [taylor]: Taking taylor expansion of (* (- z t) y) in a 3.870 * [taylor]: Taking taylor expansion of (- z t) in a 3.870 * [taylor]: Taking taylor expansion of z in a 3.870 * [taylor]: Taking taylor expansion of t in a 3.870 * [taylor]: Taking taylor expansion of y in a 3.870 * [taylor]: Taking taylor expansion of a in a 3.870 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t 3.870 * [taylor]: Taking taylor expansion of (* (- z t) y) in t 3.870 * [taylor]: Taking taylor expansion of (- z t) in t 3.870 * [taylor]: Taking taylor expansion of z in t 3.870 * [taylor]: Taking taylor expansion of t in t 3.870 * [taylor]: Taking taylor expansion of y in t 3.870 * [taylor]: Taking taylor expansion of a in t 3.870 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z 3.870 * [taylor]: Taking taylor expansion of (* (- z t) y) in z 3.870 * [taylor]: Taking taylor expansion of (- z t) in z 3.870 * [taylor]: Taking taylor expansion of z in z 3.870 * [taylor]: Taking taylor expansion of t in z 3.870 * [taylor]: Taking taylor expansion of y in z 3.870 * [taylor]: Taking taylor expansion of a in z 3.870 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y 3.870 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 3.870 * [taylor]: Taking taylor expansion of (- z t) in y 3.870 * [taylor]: Taking taylor expansion of z in y 3.870 * [taylor]: Taking taylor expansion of t in y 3.871 * [taylor]: Taking taylor expansion of y in y 3.871 * [taylor]: Taking taylor expansion of a in y 3.871 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y 3.871 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 3.871 * [taylor]: Taking taylor expansion of (- z t) in y 3.871 * [taylor]: Taking taylor expansion of z in y 3.871 * [taylor]: Taking taylor expansion of t in y 3.871 * [taylor]: Taking taylor expansion of y in y 3.871 * [taylor]: Taking taylor expansion of a in y 3.871 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 3.871 * [taylor]: Taking taylor expansion of (- z t) in z 3.871 * [taylor]: Taking taylor expansion of z in z 3.871 * [taylor]: Taking taylor expansion of t in z 3.871 * [taylor]: Taking taylor expansion of a in z 3.871 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 3.871 * [taylor]: Taking taylor expansion of -1 in t 3.871 * [taylor]: Taking taylor expansion of (/ t a) in t 3.871 * [taylor]: Taking taylor expansion of t in t 3.871 * [taylor]: Taking taylor expansion of a in t 3.871 * [taylor]: Taking taylor expansion of 0 in z 3.871 * [taylor]: Taking taylor expansion of 0 in t 3.871 * [taylor]: Taking taylor expansion of 0 in a 3.871 * [taylor]: Taking taylor expansion of (/ 1 a) in t 3.871 * [taylor]: Taking taylor expansion of a in t 3.872 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.872 * [taylor]: Taking taylor expansion of a in a 3.872 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.872 * [taylor]: Taking taylor expansion of -1 in a 3.872 * [taylor]: Taking taylor expansion of a in a 3.872 * [taylor]: Taking taylor expansion of 0 in z 3.872 * [taylor]: Taking taylor expansion of 0 in t 3.872 * [taylor]: Taking taylor expansion of 0 in a 3.872 * [taylor]: Taking taylor expansion of 0 in t 3.872 * [taylor]: Taking taylor expansion of 0 in a 3.872 * [taylor]: Taking taylor expansion of 0 in t 3.872 * [taylor]: Taking taylor expansion of 0 in a 3.872 * [taylor]: Taking taylor expansion of 0 in a 3.872 * [taylor]: Taking taylor expansion of 0 in a 3.872 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in z 3.873 * [taylor]: Taking taylor expansion of 0 in t 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in t 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in t 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in t 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.873 * [taylor]: Taking taylor expansion of 0 in a 3.874 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0 3.874 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 3.874 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 3.874 * [taylor]: Taking taylor expansion of a in a 3.874 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 3.874 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.874 * [taylor]: Taking taylor expansion of z in a 3.874 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.874 * [taylor]: Taking taylor expansion of t in a 3.874 * [taylor]: Taking taylor expansion of y in a 3.874 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 3.874 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 3.874 * [taylor]: Taking taylor expansion of a in t 3.874 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 3.874 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.874 * [taylor]: Taking taylor expansion of z in t 3.874 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.874 * [taylor]: Taking taylor expansion of t in t 3.874 * [taylor]: Taking taylor expansion of y in t 3.874 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 3.874 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 3.874 * [taylor]: Taking taylor expansion of a in z 3.874 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.874 * [taylor]: Taking taylor expansion of z in z 3.874 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.874 * [taylor]: Taking taylor expansion of t in z 3.875 * [taylor]: Taking taylor expansion of y in z 3.875 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 3.875 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 3.875 * [taylor]: Taking taylor expansion of a in y 3.875 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 3.875 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.875 * [taylor]: Taking taylor expansion of z in y 3.875 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.875 * [taylor]: Taking taylor expansion of t in y 3.875 * [taylor]: Taking taylor expansion of y in y 3.875 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 3.875 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 3.875 * [taylor]: Taking taylor expansion of a in y 3.875 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 3.875 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.875 * [taylor]: Taking taylor expansion of z in y 3.875 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.875 * [taylor]: Taking taylor expansion of t in y 3.875 * [taylor]: Taking taylor expansion of y in y 3.875 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 3.875 * [taylor]: Taking taylor expansion of a in z 3.875 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.875 * [taylor]: Taking taylor expansion of z in z 3.875 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.875 * [taylor]: Taking taylor expansion of t in z 3.876 * [taylor]: Taking taylor expansion of a in t 3.876 * [taylor]: Taking taylor expansion of 0 in z 3.876 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t 3.876 * [taylor]: Taking taylor expansion of (/ a t) in t 3.876 * [taylor]: Taking taylor expansion of a in t 3.876 * [taylor]: Taking taylor expansion of t in t 3.876 * [taylor]: Taking taylor expansion of (neg a) in a 3.876 * [taylor]: Taking taylor expansion of a in a 3.876 * [taylor]: Taking taylor expansion of a in a 3.876 * [taylor]: Taking taylor expansion of 0 in z 3.876 * [taylor]: Taking taylor expansion of 0 in t 3.877 * [taylor]: Taking taylor expansion of 0 in t 3.877 * [taylor]: Taking taylor expansion of 0 in a 3.877 * [taylor]: Taking taylor expansion of 0 in a 3.877 * [taylor]: Taking taylor expansion of 0 in z 3.877 * [taylor]: Taking taylor expansion of 0 in t 3.877 * [taylor]: Taking taylor expansion of 0 in t 3.877 * [taylor]: Taking taylor expansion of 0 in t 3.877 * [taylor]: Taking taylor expansion of 0 in a 3.877 * [taylor]: Taking taylor expansion of 0 in a 3.878 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0 3.878 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 3.878 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 3.878 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 3.878 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.878 * [taylor]: Taking taylor expansion of t in a 3.878 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.878 * [taylor]: Taking taylor expansion of z in a 3.878 * [taylor]: Taking taylor expansion of a in a 3.878 * [taylor]: Taking taylor expansion of y in a 3.878 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 3.878 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 3.878 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 3.878 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.878 * [taylor]: Taking taylor expansion of t in t 3.878 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.879 * [taylor]: Taking taylor expansion of z in t 3.879 * [taylor]: Taking taylor expansion of a in t 3.879 * [taylor]: Taking taylor expansion of y in t 3.879 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 3.879 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 3.879 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.879 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.879 * [taylor]: Taking taylor expansion of t in z 3.879 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.879 * [taylor]: Taking taylor expansion of z in z 3.879 * [taylor]: Taking taylor expansion of a in z 3.879 * [taylor]: Taking taylor expansion of y in z 3.879 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 3.879 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 3.879 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 3.879 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.879 * [taylor]: Taking taylor expansion of t in y 3.879 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.879 * [taylor]: Taking taylor expansion of z in y 3.879 * [taylor]: Taking taylor expansion of a in y 3.879 * [taylor]: Taking taylor expansion of y in y 3.879 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 3.879 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 3.879 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 3.879 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.879 * [taylor]: Taking taylor expansion of t in y 3.879 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.879 * [taylor]: Taking taylor expansion of z in y 3.879 * [taylor]: Taking taylor expansion of a in y 3.879 * [taylor]: Taking taylor expansion of y in y 3.880 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 3.880 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.880 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.880 * [taylor]: Taking taylor expansion of t in z 3.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.880 * [taylor]: Taking taylor expansion of z in z 3.880 * [taylor]: Taking taylor expansion of a in z 3.880 * [taylor]: Taking taylor expansion of (* -1 a) in t 3.880 * [taylor]: Taking taylor expansion of -1 in t 3.880 * [taylor]: Taking taylor expansion of a in t 3.880 * [taylor]: Taking taylor expansion of 0 in z 3.880 * [taylor]: Taking taylor expansion of (/ a t) in t 3.880 * [taylor]: Taking taylor expansion of a in t 3.880 * [taylor]: Taking taylor expansion of t in t 3.880 * [taylor]: Taking taylor expansion of a in a 3.880 * [taylor]: Taking taylor expansion of (* -1 a) in a 3.880 * [taylor]: Taking taylor expansion of -1 in a 3.880 * [taylor]: Taking taylor expansion of a in a 3.881 * [taylor]: Taking taylor expansion of 0 in z 3.881 * [taylor]: Taking taylor expansion of 0 in t 3.881 * [taylor]: Taking taylor expansion of 0 in t 3.881 * [taylor]: Taking taylor expansion of 0 in a 3.881 * [taylor]: Taking taylor expansion of 0 in a 3.882 * [taylor]: Taking taylor expansion of 0 in z 3.882 * [taylor]: Taking taylor expansion of 0 in t 3.882 * [taylor]: Taking taylor expansion of 0 in t 3.882 * [taylor]: Taking taylor expansion of 0 in t 3.882 * [taylor]: Taking taylor expansion of 0 in a 3.882 * [taylor]: Taking taylor expansion of 0 in a 3.882 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 3.883 * [approximate]: Taking taylor expansion of (/ (- z t) a) in (z t a) around 0 3.883 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a 3.883 * [taylor]: Taking taylor expansion of (- z t) in a 3.883 * [taylor]: Taking taylor expansion of z in a 3.883 * [taylor]: Taking taylor expansion of t in a 3.883 * [taylor]: Taking taylor expansion of a in a 3.883 * [taylor]: Taking taylor expansion of (/ (- z t) a) in t 3.883 * [taylor]: Taking taylor expansion of (- z t) in t 3.883 * [taylor]: Taking taylor expansion of z in t 3.883 * [taylor]: Taking taylor expansion of t in t 3.883 * [taylor]: Taking taylor expansion of a in t 3.883 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 3.883 * [taylor]: Taking taylor expansion of (- z t) in z 3.883 * [taylor]: Taking taylor expansion of z in z 3.883 * [taylor]: Taking taylor expansion of t in z 3.883 * [taylor]: Taking taylor expansion of a in z 3.883 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 3.883 * [taylor]: Taking taylor expansion of (- z t) in z 3.883 * [taylor]: Taking taylor expansion of z in z 3.883 * [taylor]: Taking taylor expansion of t in z 3.883 * [taylor]: Taking taylor expansion of a in z 3.883 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 3.883 * [taylor]: Taking taylor expansion of -1 in t 3.883 * [taylor]: Taking taylor expansion of (/ t a) in t 3.883 * [taylor]: Taking taylor expansion of t in t 3.883 * [taylor]: Taking taylor expansion of a in t 3.883 * [taylor]: Taking taylor expansion of (/ 1 a) in t 3.883 * [taylor]: Taking taylor expansion of a in t 3.883 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.883 * [taylor]: Taking taylor expansion of a in a 3.883 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.883 * [taylor]: Taking taylor expansion of -1 in a 3.884 * [taylor]: Taking taylor expansion of a in a 3.884 * [taylor]: Taking taylor expansion of 0 in t 3.884 * [taylor]: Taking taylor expansion of 0 in a 3.884 * [taylor]: Taking taylor expansion of 0 in a 3.884 * [taylor]: Taking taylor expansion of 0 in a 3.887 * [taylor]: Taking taylor expansion of 0 in t 3.887 * [taylor]: Taking taylor expansion of 0 in a 3.887 * [taylor]: Taking taylor expansion of 0 in a 3.887 * [taylor]: Taking taylor expansion of 0 in a 3.887 * [taylor]: Taking taylor expansion of 0 in a 3.887 * [approximate]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in (z t a) around 0 3.887 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 3.887 * [taylor]: Taking taylor expansion of a in a 3.887 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 3.887 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.887 * [taylor]: Taking taylor expansion of z in a 3.887 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.887 * [taylor]: Taking taylor expansion of t in a 3.887 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 3.887 * [taylor]: Taking taylor expansion of a in t 3.887 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 3.888 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.888 * [taylor]: Taking taylor expansion of z in t 3.888 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.888 * [taylor]: Taking taylor expansion of t in t 3.888 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 3.888 * [taylor]: Taking taylor expansion of a in z 3.888 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.888 * [taylor]: Taking taylor expansion of z in z 3.888 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.888 * [taylor]: Taking taylor expansion of t in z 3.888 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 3.888 * [taylor]: Taking taylor expansion of a in z 3.888 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.888 * [taylor]: Taking taylor expansion of z in z 3.888 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.888 * [taylor]: Taking taylor expansion of t in z 3.888 * [taylor]: Taking taylor expansion of a in t 3.888 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t 3.888 * [taylor]: Taking taylor expansion of (/ a t) in t 3.888 * [taylor]: Taking taylor expansion of a in t 3.888 * [taylor]: Taking taylor expansion of t in t 3.888 * [taylor]: Taking taylor expansion of (neg a) in a 3.888 * [taylor]: Taking taylor expansion of a in a 3.888 * [taylor]: Taking taylor expansion of a in a 3.888 * [taylor]: Taking taylor expansion of 0 in t 3.889 * [taylor]: Taking taylor expansion of 0 in a 3.889 * [taylor]: Taking taylor expansion of 0 in a 3.889 * [taylor]: Taking taylor expansion of 0 in t 3.889 * [taylor]: Taking taylor expansion of 0 in a 3.889 * [taylor]: Taking taylor expansion of 0 in a 3.889 * [taylor]: Taking taylor expansion of 0 in a 3.889 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in (z t a) around 0 3.889 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in a 3.889 * [taylor]: Taking taylor expansion of -1 in a 3.889 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 3.889 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 3.889 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.889 * [taylor]: Taking taylor expansion of t in a 3.889 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.889 * [taylor]: Taking taylor expansion of z in a 3.890 * [taylor]: Taking taylor expansion of a in a 3.890 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in t 3.890 * [taylor]: Taking taylor expansion of -1 in t 3.890 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 3.890 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 3.890 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.890 * [taylor]: Taking taylor expansion of t in t 3.890 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.890 * [taylor]: Taking taylor expansion of z in t 3.890 * [taylor]: Taking taylor expansion of a in t 3.890 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in z 3.890 * [taylor]: Taking taylor expansion of -1 in z 3.890 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 3.890 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.890 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.890 * [taylor]: Taking taylor expansion of t in z 3.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.890 * [taylor]: Taking taylor expansion of z in z 3.890 * [taylor]: Taking taylor expansion of a in z 3.890 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 t) (/ 1 z)) a)) in z 3.890 * [taylor]: Taking taylor expansion of -1 in z 3.890 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 3.890 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.890 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.890 * [taylor]: Taking taylor expansion of t in z 3.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.890 * [taylor]: Taking taylor expansion of z in z 3.890 * [taylor]: Taking taylor expansion of a in z 3.890 * [taylor]: Taking taylor expansion of a in t 3.890 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t 3.890 * [taylor]: Taking taylor expansion of (/ a t) in t 3.890 * [taylor]: Taking taylor expansion of a in t 3.890 * [taylor]: Taking taylor expansion of t in t 3.890 * [taylor]: Taking taylor expansion of (neg a) in a 3.891 * [taylor]: Taking taylor expansion of a in a 3.891 * [taylor]: Taking taylor expansion of a in a 3.891 * [taylor]: Taking taylor expansion of 0 in t 3.891 * [taylor]: Taking taylor expansion of 0 in a 3.891 * [taylor]: Taking taylor expansion of 0 in a 3.891 * [taylor]: Taking taylor expansion of 0 in t 3.891 * [taylor]: Taking taylor expansion of 0 in a 3.892 * [taylor]: Taking taylor expansion of 0 in a 3.892 * [taylor]: Taking taylor expansion of 0 in a 3.892 * * * [progress]: simplifying candidates 3.893 * [simplify]: Simplifying using # : (* y (* (- z t) (/ 1 a))) (* y (* (- z t) (/ 1 a))) (+ (log y) (+ (log (- z t)) (neg (log a)))) (+ (log y) (+ (log (- z t)) (- 0 (log a)))) (+ (log y) (+ (log (- z t)) (- (log 1) (log a)))) (+ (log y) (+ (log (- z t)) (log (/ 1 a)))) (+ (log y) (log (* (- z t) (/ 1 a)))) (log (* y (* (- z t) (/ 1 a)))) (exp (* y (* (- z t) (/ 1 a)))) (* (* (* y y) y) (* (* (* (- z t) (- z t)) (- z t)) (/ (* (* 1 1) 1) (* (* a a) a)))) (* (* (* y y) y) (* (* (* (- z t) (- z t)) (- z t)) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))) (* (* (* y y) y) (* (* (* (- z t) (/ 1 a)) (* (- z t) (/ 1 a))) (* (- z t) (/ 1 a)))) (* (cbrt (* y (* (- z t) (/ 1 a)))) (cbrt (* y (* (- z t) (/ 1 a))))) (cbrt (* y (* (- z t) (/ 1 a)))) (* (* (* y (* (- z t) (/ 1 a))) (* y (* (- z t) (/ 1 a)))) (* y (* (- z t) (/ 1 a)))) (sqrt (* y (* (- z t) (/ 1 a)))) (sqrt (* y (* (- z t) (/ 1 a)))) (* y (- z t)) (* (cbrt y) (* (- z t) (/ 1 a))) (* (sqrt y) (* (- z t) (/ 1 a))) (* y (* (- z t) (/ 1 a))) (* y (* (- (pow z 3) (pow t 3)) 1)) (* y (* (- (* z z) (* t t)) 1)) (* y (- z t)) (* y (* (- z t) 1)) (* y (* (- (pow z 3) (pow t 3)) (/ 1 a))) (* y (* (- (* z z) (* t t)) (/ 1 a))) (* (- z t) (/ 1 a)) (+ (log (- z t)) (neg (log a))) (+ (log (- z t)) (- 0 (log a))) (+ (log (- z t)) (- (log 1) (log a))) (+ (log (- z t)) (log (/ 1 a))) (log (* (- z t) (/ 1 a))) (exp (* (- z t) (/ 1 a))) (* (* (* (- z t) (- z t)) (- z t)) (/ (* (* 1 1) 1) (* (* a a) a))) (* (* (* (- z t) (- z t)) (- z t)) (* (* (/ 1 a) (/ 1 a)) (/ 1 a))) (* (cbrt (* (- z t) (/ 1 a))) (cbrt (* (- z t) (/ 1 a)))) (cbrt (* (- z t) (/ 1 a))) (* (* (* (- z t) (/ 1 a)) (* (- z t) (/ 1 a))) (* (- z t) (/ 1 a))) (sqrt (* (- z t) (/ 1 a))) (sqrt (* (- z t) (/ 1 a))) (* (- (pow z 3) (pow t 3)) 1) (* (+ (* z z) (+ (* t t) (* z t))) a) (* (- (* z z) (* t t)) 1) (* (+ z t) a) (* (sqrt (- z t)) (sqrt (/ 1 a))) (* (sqrt (- z t)) (sqrt (/ 1 a))) (* (sqrt (- z t)) (/ (sqrt 1) (sqrt a))) (* (sqrt (- z t)) (/ (sqrt 1) (sqrt a))) (* (sqrt (- z t)) (/ 1 (sqrt a))) (* (sqrt (- z t)) (/ 1 (sqrt a))) (* (- z t) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (* (- z t) (sqrt (/ 1 a))) (* (- z t) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)))) (* (- z t) (/ (* (cbrt 1) (cbrt 1)) (sqrt a))) (* (- z t) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- z t) (/ (sqrt 1) (* (cbrt a) (cbrt a)))) (* (- z t) (/ (sqrt 1) (sqrt a))) (* (- z t) (/ (sqrt 1) 1)) (* (- z t) (/ 1 (* (cbrt a) (cbrt a)))) (* (- z t) (/ 1 (sqrt a))) (* (- z t) (/ 1 1)) (* (- z t) 1) (* (- z t) 1) (* (cbrt (- z t)) (/ 1 a)) (* (sqrt (- z t)) (/ 1 a)) (* (- z t) (/ 1 a)) (* (- (sqrt z) (sqrt t)) (/ 1 a)) (* (- z t) (/ 1 a)) (* (- z t) 1) (* (- (pow z 3) (pow t 3)) (/ 1 a)) (* (- (* z z) (* t t)) (/ 1 a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ z a) (/ t a)) (- (/ z a) (/ t a)) (- (/ z a) (/ t a)) 3.896 * * [simplify]: iteration 0 : 133 enodes (cost 863 ) 3.927 * * [simplify]: iteration 1 : 336 enodes (cost 695 ) 4.006 * * [simplify]: iteration 2 : 991 enodes (cost 573 ) 5.878 * * [simplify]: iteration 3 : 4327 enodes (cost 561 ) 6.856 * * [simplify]: iteration done : 5000 enodes (cost 561 ) 6.856 * [simplify]: Simplified to: (* (/ (- z t) a) y) (* (/ (- z t) a) y) (log (* (/ (- z t) a) y)) (log (* (/ (- z t) a) y)) (log (* (/ (- z t) a) y)) (log (* (/ (- z t) a) y)) (log (* (/ (- z t) a) y)) (log (* (/ (- z t) a) y)) (exp (* (/ (- z t) a) y)) (pow (* (/ (- z t) a) y) 3) (pow (* (/ (- z t) a) y) 3) (pow (* (/ (- z t) a) y) 3) (* (cbrt (* (/ (- z t) a) y)) (cbrt (* (/ (- z t) a) y))) (cbrt (* (/ (- z t) a) y)) (pow (* (/ (- z t) a) y) 3) (sqrt (* (/ (- z t) a) y)) (sqrt (* (/ (- z t) a) y)) (* y (- z t)) (* (/ (- z t) a) (cbrt y)) (* (/ (- z t) a) (sqrt y)) (* (/ (- z t) a) y) (* y (- (pow z 3) (pow t 3))) (* y (- (* z z) (* t t))) (* y (- z t)) (* y (- z t)) (* y (/ (- (pow z 3) (pow t 3)) a)) (* (/ (- (* z z) (* t t)) a) y) (/ (- z t) a) (log (/ (- z t) a)) (log (/ (- z t) a)) (log (/ (- z t) a)) (log (/ (- z t) a)) (log (/ (- z t) a)) (exp (/ (- z t) a)) (pow (/ (- z t) a) 3) (pow (/ (- z t) a) 3) (* (cbrt (/ (- z t) a)) (cbrt (/ (- z t) a))) (cbrt (/ (- z t) a)) (pow (/ (- z t) a) 3) (sqrt (/ (- z t) a)) (sqrt (/ (- z t) a)) (- (pow z 3) (pow t 3)) (* (+ (* z z) (* t (+ z t))) a) (- (* z z) (* t t)) (* (+ z t) a) (* (sqrt (- z t)) (sqrt (/ 1 a))) (* (sqrt (- z t)) (sqrt (/ 1 a))) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) (sqrt a)) (* (- z t) (* (cbrt (/ 1 a)) (cbrt (/ 1 a)))) (* (- z t) (sqrt (/ 1 a))) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (- z t) (sqrt a)) (- z t) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (- z t) (sqrt a)) (- z t) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (- z t) (sqrt a)) (- z t) (- z t) (- z t) (/ (cbrt (- z t)) a) (/ (sqrt (- z t)) a) (/ (- z t) a) (/ (- (sqrt z) (sqrt t)) a) (/ (- z t) a) (- z t) (/ (- (pow z 3) (pow t 3)) a) (/ (- (* z z) (* t t)) a) (* (/ (- z t) a) y) (* (/ (- z t) a) y) (* (/ (- z t) a) y) (/ (- z t) a) (/ (- z t) a) (/ (- z t) a) 6.857 * * * [progress]: adding candidates to table 6.919 * * [progress]: iteration 4 / 4 6.919 * * * [progress]: picking best candidate 6.934 * * * * [pick]: Picked # 6.934 * * * [progress]: localizing error 6.943 * * * [progress]: generating rewritten candidates 6.943 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2) 6.951 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.964 * * * [progress]: generating series expansions 6.964 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2) 6.965 * [approximate]: Taking taylor expansion of (/ a (* (- z t) y)) in (a y z t) around 0 6.965 * [taylor]: Taking taylor expansion of (/ a (* (- z t) y)) in t 6.965 * [taylor]: Taking taylor expansion of a in t 6.965 * [taylor]: Taking taylor expansion of (* (- z t) y) in t 6.965 * [taylor]: Taking taylor expansion of (- z t) in t 6.965 * [taylor]: Taking taylor expansion of z in t 6.965 * [taylor]: Taking taylor expansion of t in t 6.965 * [taylor]: Taking taylor expansion of y in t 6.965 * [taylor]: Taking taylor expansion of (/ a (* (- z t) y)) in z 6.965 * [taylor]: Taking taylor expansion of a in z 6.965 * [taylor]: Taking taylor expansion of (* (- z t) y) in z 6.965 * [taylor]: Taking taylor expansion of (- z t) in z 6.965 * [taylor]: Taking taylor expansion of z in z 6.965 * [taylor]: Taking taylor expansion of t in z 6.965 * [taylor]: Taking taylor expansion of y in z 6.965 * [taylor]: Taking taylor expansion of (/ a (* (- z t) y)) in y 6.965 * [taylor]: Taking taylor expansion of a in y 6.965 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 6.965 * [taylor]: Taking taylor expansion of (- z t) in y 6.965 * [taylor]: Taking taylor expansion of z in y 6.965 * [taylor]: Taking taylor expansion of t in y 6.965 * [taylor]: Taking taylor expansion of y in y 6.965 * [taylor]: Taking taylor expansion of (/ a (* (- z t) y)) in a 6.965 * [taylor]: Taking taylor expansion of a in a 6.965 * [taylor]: Taking taylor expansion of (* (- z t) y) in a 6.965 * [taylor]: Taking taylor expansion of (- z t) in a 6.965 * [taylor]: Taking taylor expansion of z in a 6.965 * [taylor]: Taking taylor expansion of t in a 6.965 * [taylor]: Taking taylor expansion of y in a 6.965 * [taylor]: Taking taylor expansion of (/ a (* (- z t) y)) in a 6.965 * [taylor]: Taking taylor expansion of a in a 6.965 * [taylor]: Taking taylor expansion of (* (- z t) y) in a 6.966 * [taylor]: Taking taylor expansion of (- z t) in a 6.966 * [taylor]: Taking taylor expansion of z in a 6.966 * [taylor]: Taking taylor expansion of t in a 6.966 * [taylor]: Taking taylor expansion of y in a 6.966 * [taylor]: Taking taylor expansion of (/ 1 (* (- z t) y)) in y 6.966 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 6.966 * [taylor]: Taking taylor expansion of (- z t) in y 6.966 * [taylor]: Taking taylor expansion of z in y 6.966 * [taylor]: Taking taylor expansion of t in y 6.966 * [taylor]: Taking taylor expansion of y in y 6.966 * [taylor]: Taking taylor expansion of (/ 1 (- z t)) in z 6.966 * [taylor]: Taking taylor expansion of (- z t) in z 6.966 * [taylor]: Taking taylor expansion of z in z 6.966 * [taylor]: Taking taylor expansion of t in z 6.966 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.966 * [taylor]: Taking taylor expansion of -1 in t 6.966 * [taylor]: Taking taylor expansion of t in t 6.966 * [taylor]: Taking taylor expansion of 0 in y 6.966 * [taylor]: Taking taylor expansion of 0 in z 6.967 * [taylor]: Taking taylor expansion of 0 in t 6.967 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow t 2))) in t 6.967 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 6.967 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.967 * [taylor]: Taking taylor expansion of t in t 6.967 * [taylor]: Taking taylor expansion of 0 in y 6.967 * [taylor]: Taking taylor expansion of 0 in z 6.967 * [taylor]: Taking taylor expansion of 0 in t 6.967 * [taylor]: Taking taylor expansion of 0 in z 6.967 * [taylor]: Taking taylor expansion of 0 in t 6.967 * [approximate]: Taking taylor expansion of (/ y (* a (- (/ 1 z) (/ 1 t)))) in (a y z t) around 0 6.968 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 z) (/ 1 t)))) in t 6.968 * [taylor]: Taking taylor expansion of y in t 6.968 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 6.968 * [taylor]: Taking taylor expansion of a in t 6.968 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 6.968 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.968 * [taylor]: Taking taylor expansion of z in t 6.968 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.968 * [taylor]: Taking taylor expansion of t in t 6.968 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 z) (/ 1 t)))) in z 6.968 * [taylor]: Taking taylor expansion of y in z 6.968 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 6.968 * [taylor]: Taking taylor expansion of a in z 6.968 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.968 * [taylor]: Taking taylor expansion of z in z 6.968 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.968 * [taylor]: Taking taylor expansion of t in z 6.968 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 z) (/ 1 t)))) in y 6.968 * [taylor]: Taking taylor expansion of y in y 6.968 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 6.968 * [taylor]: Taking taylor expansion of a in y 6.968 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.968 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.968 * [taylor]: Taking taylor expansion of z in y 6.968 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.968 * [taylor]: Taking taylor expansion of t in y 6.968 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 z) (/ 1 t)))) in a 6.968 * [taylor]: Taking taylor expansion of y in a 6.968 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 6.968 * [taylor]: Taking taylor expansion of a in a 6.968 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 6.968 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.968 * [taylor]: Taking taylor expansion of z in a 6.969 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.969 * [taylor]: Taking taylor expansion of t in a 6.969 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 z) (/ 1 t)))) in a 6.969 * [taylor]: Taking taylor expansion of y in a 6.969 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 6.969 * [taylor]: Taking taylor expansion of a in a 6.969 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 6.969 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.969 * [taylor]: Taking taylor expansion of z in a 6.969 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.969 * [taylor]: Taking taylor expansion of t in a 6.969 * [taylor]: Taking taylor expansion of (/ y (- (/ 1 z) (/ 1 t))) in y 6.969 * [taylor]: Taking taylor expansion of y in y 6.969 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.969 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.969 * [taylor]: Taking taylor expansion of z in y 6.970 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.970 * [taylor]: Taking taylor expansion of t in y 6.970 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 t))) in z 6.970 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.970 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.970 * [taylor]: Taking taylor expansion of z in z 6.970 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.970 * [taylor]: Taking taylor expansion of t in z 6.970 * [taylor]: Taking taylor expansion of 1 in t 6.970 * [taylor]: Taking taylor expansion of 0 in y 6.970 * [taylor]: Taking taylor expansion of 0 in z 6.970 * [taylor]: Taking taylor expansion of 0 in t 6.971 * [taylor]: Taking taylor expansion of 0 in z 6.971 * [taylor]: Taking taylor expansion of 0 in t 6.971 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.971 * [taylor]: Taking taylor expansion of t in t 6.971 * [taylor]: Taking taylor expansion of 0 in y 6.971 * [taylor]: Taking taylor expansion of 0 in z 6.971 * [taylor]: Taking taylor expansion of 0 in t 6.971 * [approximate]: Taking taylor expansion of (/ y (* a (- (/ 1 t) (/ 1 z)))) in (a y z t) around 0 6.972 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 t) (/ 1 z)))) in t 6.972 * [taylor]: Taking taylor expansion of y in t 6.972 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in t 6.972 * [taylor]: Taking taylor expansion of a in t 6.972 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 6.972 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.972 * [taylor]: Taking taylor expansion of t in t 6.972 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.972 * [taylor]: Taking taylor expansion of z in t 6.972 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 t) (/ 1 z)))) in z 6.972 * [taylor]: Taking taylor expansion of y in z 6.972 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in z 6.972 * [taylor]: Taking taylor expansion of a in z 6.972 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.972 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.972 * [taylor]: Taking taylor expansion of t in z 6.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.972 * [taylor]: Taking taylor expansion of z in z 6.972 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 t) (/ 1 z)))) in y 6.972 * [taylor]: Taking taylor expansion of y in y 6.972 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in y 6.972 * [taylor]: Taking taylor expansion of a in y 6.972 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.972 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.972 * [taylor]: Taking taylor expansion of t in y 6.972 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.972 * [taylor]: Taking taylor expansion of z in y 6.972 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 t) (/ 1 z)))) in a 6.972 * [taylor]: Taking taylor expansion of y in a 6.972 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in a 6.972 * [taylor]: Taking taylor expansion of a in a 6.972 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 6.972 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.972 * [taylor]: Taking taylor expansion of t in a 6.972 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.973 * [taylor]: Taking taylor expansion of z in a 6.973 * [taylor]: Taking taylor expansion of (/ y (* a (- (/ 1 t) (/ 1 z)))) in a 6.973 * [taylor]: Taking taylor expansion of y in a 6.973 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in a 6.973 * [taylor]: Taking taylor expansion of a in a 6.973 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 6.973 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.973 * [taylor]: Taking taylor expansion of t in a 6.973 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.973 * [taylor]: Taking taylor expansion of z in a 6.973 * [taylor]: Taking taylor expansion of (/ y (- (/ 1 t) (/ 1 z))) in y 6.973 * [taylor]: Taking taylor expansion of y in y 6.973 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.973 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.973 * [taylor]: Taking taylor expansion of t in y 6.973 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.973 * [taylor]: Taking taylor expansion of z in y 6.974 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 t) (/ 1 z))) in z 6.974 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.974 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.974 * [taylor]: Taking taylor expansion of t in z 6.974 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.974 * [taylor]: Taking taylor expansion of z in z 6.974 * [taylor]: Taking taylor expansion of -1 in t 6.974 * [taylor]: Taking taylor expansion of 0 in y 6.974 * [taylor]: Taking taylor expansion of 0 in z 6.974 * [taylor]: Taking taylor expansion of 0 in t 6.975 * [taylor]: Taking taylor expansion of 0 in z 6.975 * [taylor]: Taking taylor expansion of 0 in t 6.975 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 6.975 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.975 * [taylor]: Taking taylor expansion of t in t 6.975 * [taylor]: Taking taylor expansion of 0 in y 6.975 * [taylor]: Taking taylor expansion of 0 in z 6.975 * [taylor]: Taking taylor expansion of 0 in t 6.975 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.975 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (a y z t) around 0 6.975 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t 6.975 * [taylor]: Taking taylor expansion of (* (- z t) y) in t 6.975 * [taylor]: Taking taylor expansion of (- z t) in t 6.976 * [taylor]: Taking taylor expansion of z in t 6.976 * [taylor]: Taking taylor expansion of t in t 6.976 * [taylor]: Taking taylor expansion of y in t 6.976 * [taylor]: Taking taylor expansion of a in t 6.976 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z 6.976 * [taylor]: Taking taylor expansion of (* (- z t) y) in z 6.976 * [taylor]: Taking taylor expansion of (- z t) in z 6.976 * [taylor]: Taking taylor expansion of z in z 6.976 * [taylor]: Taking taylor expansion of t in z 6.976 * [taylor]: Taking taylor expansion of y in z 6.976 * [taylor]: Taking taylor expansion of a in z 6.976 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y 6.976 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 6.976 * [taylor]: Taking taylor expansion of (- z t) in y 6.976 * [taylor]: Taking taylor expansion of z in y 6.976 * [taylor]: Taking taylor expansion of t in y 6.976 * [taylor]: Taking taylor expansion of y in y 6.976 * [taylor]: Taking taylor expansion of a in y 6.976 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a 6.976 * [taylor]: Taking taylor expansion of (* (- z t) y) in a 6.976 * [taylor]: Taking taylor expansion of (- z t) in a 6.976 * [taylor]: Taking taylor expansion of z in a 6.976 * [taylor]: Taking taylor expansion of t in a 6.976 * [taylor]: Taking taylor expansion of y in a 6.976 * [taylor]: Taking taylor expansion of a in a 6.976 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a 6.976 * [taylor]: Taking taylor expansion of (* (- z t) y) in a 6.976 * [taylor]: Taking taylor expansion of (- z t) in a 6.976 * [taylor]: Taking taylor expansion of z in a 6.976 * [taylor]: Taking taylor expansion of t in a 6.976 * [taylor]: Taking taylor expansion of y in a 6.976 * [taylor]: Taking taylor expansion of a in a 6.977 * [taylor]: Taking taylor expansion of (* (- z t) y) in y 6.977 * [taylor]: Taking taylor expansion of (- z t) in y 6.977 * [taylor]: Taking taylor expansion of z in y 6.977 * [taylor]: Taking taylor expansion of t in y 6.977 * [taylor]: Taking taylor expansion of y in y 6.977 * [taylor]: Taking taylor expansion of (- z t) in z 6.977 * [taylor]: Taking taylor expansion of z in z 6.977 * [taylor]: Taking taylor expansion of t in z 6.977 * [taylor]: Taking taylor expansion of (neg t) in t 6.977 * [taylor]: Taking taylor expansion of t in t 6.977 * [taylor]: Taking taylor expansion of 0 in y 6.977 * [taylor]: Taking taylor expansion of 0 in z 6.977 * [taylor]: Taking taylor expansion of 0 in t 6.977 * [taylor]: Taking taylor expansion of 0 in z 6.977 * [taylor]: Taking taylor expansion of 0 in t 6.977 * [taylor]: Taking taylor expansion of 1 in t 6.977 * [taylor]: Taking taylor expansion of 0 in y 6.977 * [taylor]: Taking taylor expansion of 0 in z 6.977 * [taylor]: Taking taylor expansion of 0 in t 6.977 * [taylor]: Taking taylor expansion of 0 in z 6.977 * [taylor]: Taking taylor expansion of 0 in t 6.978 * [taylor]: Taking taylor expansion of 0 in z 6.978 * [taylor]: Taking taylor expansion of 0 in t 6.978 * [taylor]: Taking taylor expansion of 0 in t 6.978 * [taylor]: Taking taylor expansion of 0 in t 6.978 * [taylor]: Taking taylor expansion of 0 in t 6.978 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (a y z t) around 0 6.978 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 6.978 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 6.978 * [taylor]: Taking taylor expansion of a in t 6.978 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 6.978 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.978 * [taylor]: Taking taylor expansion of z in t 6.978 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.978 * [taylor]: Taking taylor expansion of t in t 6.978 * [taylor]: Taking taylor expansion of y in t 6.978 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 6.978 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 6.978 * [taylor]: Taking taylor expansion of a in z 6.978 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.978 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.978 * [taylor]: Taking taylor expansion of z in z 6.978 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.978 * [taylor]: Taking taylor expansion of t in z 6.978 * [taylor]: Taking taylor expansion of y in z 6.978 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 6.978 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 6.979 * [taylor]: Taking taylor expansion of a in y 6.979 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.979 * [taylor]: Taking taylor expansion of z in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.979 * [taylor]: Taking taylor expansion of t in y 6.979 * [taylor]: Taking taylor expansion of y in y 6.979 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 6.979 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 6.979 * [taylor]: Taking taylor expansion of a in a 6.979 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 6.979 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.979 * [taylor]: Taking taylor expansion of z in a 6.979 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.979 * [taylor]: Taking taylor expansion of t in a 6.979 * [taylor]: Taking taylor expansion of y in a 6.979 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 6.979 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 6.979 * [taylor]: Taking taylor expansion of a in a 6.979 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 6.979 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.979 * [taylor]: Taking taylor expansion of z in a 6.979 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.979 * [taylor]: Taking taylor expansion of t in a 6.980 * [taylor]: Taking taylor expansion of y in a 6.980 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 6.980 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.980 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.980 * [taylor]: Taking taylor expansion of z in y 6.980 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.980 * [taylor]: Taking taylor expansion of t in y 6.980 * [taylor]: Taking taylor expansion of y in y 6.980 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.980 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.980 * [taylor]: Taking taylor expansion of z in z 6.980 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.980 * [taylor]: Taking taylor expansion of t in z 6.980 * [taylor]: Taking taylor expansion of 1 in t 6.981 * [taylor]: Taking taylor expansion of 0 in y 6.981 * [taylor]: Taking taylor expansion of 0 in z 6.981 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t 6.981 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.981 * [taylor]: Taking taylor expansion of t in t 6.981 * [taylor]: Taking taylor expansion of 0 in y 6.981 * [taylor]: Taking taylor expansion of 0 in z 6.982 * [taylor]: Taking taylor expansion of 0 in z 6.982 * [taylor]: Taking taylor expansion of 0 in t 6.982 * [taylor]: Taking taylor expansion of 0 in t 6.982 * [taylor]: Taking taylor expansion of 0 in y 6.982 * [taylor]: Taking taylor expansion of 0 in z 6.982 * [taylor]: Taking taylor expansion of 0 in z 6.983 * [taylor]: Taking taylor expansion of 0 in z 6.983 * [taylor]: Taking taylor expansion of 0 in t 6.983 * [taylor]: Taking taylor expansion of 0 in t 6.983 * [taylor]: Taking taylor expansion of 0 in t 6.983 * [taylor]: Taking taylor expansion of 0 in t 6.983 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 t) (/ 1 z))) y) in (a y z t) around 0 6.983 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 t) (/ 1 z))) y) in t 6.983 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in t 6.983 * [taylor]: Taking taylor expansion of a in t 6.983 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 6.983 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.983 * [taylor]: Taking taylor expansion of t in t 6.983 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.983 * [taylor]: Taking taylor expansion of z in t 6.984 * [taylor]: Taking taylor expansion of y in t 6.984 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 t) (/ 1 z))) y) in z 6.984 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in z 6.984 * [taylor]: Taking taylor expansion of a in z 6.984 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.984 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.984 * [taylor]: Taking taylor expansion of t in z 6.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.984 * [taylor]: Taking taylor expansion of z in z 6.984 * [taylor]: Taking taylor expansion of y in z 6.984 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 t) (/ 1 z))) y) in y 6.984 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in y 6.984 * [taylor]: Taking taylor expansion of a in y 6.984 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.984 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.984 * [taylor]: Taking taylor expansion of t in y 6.984 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.984 * [taylor]: Taking taylor expansion of z in y 6.984 * [taylor]: Taking taylor expansion of y in y 6.984 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 t) (/ 1 z))) y) in a 6.984 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in a 6.984 * [taylor]: Taking taylor expansion of a in a 6.984 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 6.984 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.984 * [taylor]: Taking taylor expansion of t in a 6.984 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.984 * [taylor]: Taking taylor expansion of z in a 6.984 * [taylor]: Taking taylor expansion of y in a 6.985 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 t) (/ 1 z))) y) in a 6.985 * [taylor]: Taking taylor expansion of (* a (- (/ 1 t) (/ 1 z))) in a 6.985 * [taylor]: Taking taylor expansion of a in a 6.985 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 6.985 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.985 * [taylor]: Taking taylor expansion of t in a 6.985 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.985 * [taylor]: Taking taylor expansion of z in a 6.985 * [taylor]: Taking taylor expansion of y in a 6.985 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 6.985 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.985 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.985 * [taylor]: Taking taylor expansion of t in y 6.985 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.985 * [taylor]: Taking taylor expansion of z in y 6.985 * [taylor]: Taking taylor expansion of y in y 6.986 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.986 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.986 * [taylor]: Taking taylor expansion of t in z 6.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.986 * [taylor]: Taking taylor expansion of z in z 6.986 * [taylor]: Taking taylor expansion of (neg 1) in t 6.986 * [taylor]: Taking taylor expansion of 1 in t 6.986 * [taylor]: Taking taylor expansion of 0 in y 6.986 * [taylor]: Taking taylor expansion of 0 in z 6.986 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.986 * [taylor]: Taking taylor expansion of t in t 6.987 * [taylor]: Taking taylor expansion of 0 in y 6.987 * [taylor]: Taking taylor expansion of 0 in z 6.987 * [taylor]: Taking taylor expansion of 0 in z 6.987 * [taylor]: Taking taylor expansion of 0 in t 6.987 * [taylor]: Taking taylor expansion of 0 in t 6.988 * [taylor]: Taking taylor expansion of 0 in y 6.988 * [taylor]: Taking taylor expansion of 0 in z 6.988 * [taylor]: Taking taylor expansion of 0 in z 6.988 * [taylor]: Taking taylor expansion of 0 in z 6.988 * [taylor]: Taking taylor expansion of 0 in t 6.988 * [taylor]: Taking taylor expansion of 0 in t 6.988 * [taylor]: Taking taylor expansion of 0 in t 6.988 * [taylor]: Taking taylor expansion of 0 in t 6.989 * * * [progress]: simplifying candidates 6.990 * [simplify]: Simplifying using # : (- (log a) (+ (log y) (log (- z t)))) (- (log a) (log (* y (- z t)))) (log (/ a (* y (- z t)))) (exp (/ a (* y (- z t)))) (/ (* (* a a) a) (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t)))) (/ (* (* a a) a) (* (* (* y (- z t)) (* y (- z t))) (* y (- z t)))) (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t))))) (cbrt (/ a (* y (- z t)))) (* (* (/ a (* y (- z t))) (/ a (* y (- z t)))) (/ a (* y (- z t)))) (sqrt (/ a (* y (- z t)))) (sqrt (/ a (* y (- z t)))) (neg a) (neg (* y (- z t))) (/ (* (cbrt a) (cbrt a)) y) (/ (cbrt a) (- z t)) (/ (sqrt a) y) (/ (sqrt a) (- z t)) (/ 1 y) (/ a (- z t)) (/ 1 (* y (- z t))) (/ (* y (- z t)) a) (/ a y) (/ (* y (- z t)) (cbrt a)) (/ (* y (- z t)) (sqrt a)) (/ (* y (- z t)) a) (/ a (* y (- (pow z 3) (pow t 3)))) (/ a (* y (- (* z z) (* t t)))) (neg 1) (neg (- (log a) (+ (log y) (log (- z t))))) (neg (- (log a) (log (* y (- z t))))) (neg (log (/ a (* y (- z t))))) (- 0 (- (log a) (+ (log y) (log (- z t))))) (- 0 (- (log a) (log (* y (- z t))))) (- 0 (log (/ a (* y (- z t))))) (- (log 1) (- (log a) (+ (log y) (log (- z t))))) (- (log 1) (- (log a) (log (* y (- z t))))) (- (log 1) (log (/ a (* y (- z t))))) (log (/ 1 (/ a (* y (- z t))))) (exp (/ 1 (/ a (* y (- z t))))) (/ (* (* 1 1) 1) (/ (* (* a a) a) (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t))))) (/ (* (* 1 1) 1) (/ (* (* a a) a) (* (* (* y (- z t)) (* y (- z t))) (* y (- z t))))) (/ (* (* 1 1) 1) (* (* (/ a (* y (- z t))) (/ a (* y (- z t)))) (/ a (* y (- z t))))) (* (cbrt (/ 1 (/ a (* y (- z t))))) (cbrt (/ 1 (/ a (* y (- z t)))))) (cbrt (/ 1 (/ a (* y (- z t))))) (* (* (/ 1 (/ a (* y (- z t)))) (/ 1 (/ a (* y (- z t))))) (/ 1 (/ a (* y (- z t))))) (sqrt (/ 1 (/ a (* y (- z t))))) (sqrt (/ 1 (/ a (* y (- z t))))) (neg 1) (neg (/ a (* y (- z t)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ (cbrt 1) (cbrt (/ a (* y (- z t))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ a (* y (- z t))))) (/ (cbrt 1) (sqrt (/ a (* y (- z t))))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) y)) (/ (cbrt 1) (/ (cbrt a) (- z t))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) y)) (/ (cbrt 1) (/ (sqrt a) (- z t))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 y)) (/ (cbrt 1) (/ a (- z t))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ a (* y (- z t)))) (/ (* (cbrt 1) (cbrt 1)) a) (/ (cbrt 1) (/ 1 (* y (- z t)))) (/ (* (cbrt 1) (cbrt 1)) (/ a (* y (- (pow z 3) (pow t 3))))) (/ (cbrt 1) (+ (* z z) (+ (* t t) (* z t)))) (/ (* (cbrt 1) (cbrt 1)) (/ a (* y (- (* z z) (* t t))))) (/ (cbrt 1) (+ z t)) (/ (sqrt 1) (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ (sqrt 1) (cbrt (/ a (* y (- z t))))) (/ (sqrt 1) (sqrt (/ a (* y (- z t))))) (/ (sqrt 1) (sqrt (/ a (* y (- z t))))) (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) y)) (/ (sqrt 1) (/ (cbrt a) (- z t))) (/ (sqrt 1) (/ (sqrt a) y)) (/ (sqrt 1) (/ (sqrt a) (- z t))) (/ (sqrt 1) (/ 1 y)) (/ (sqrt 1) (/ a (- z t))) (/ (sqrt 1) 1) (/ (sqrt 1) (/ a (* y (- z t)))) (/ (sqrt 1) a) (/ (sqrt 1) (/ 1 (* y (- z t)))) (/ (sqrt 1) (/ a (* y (- (pow z 3) (pow t 3))))) (/ (sqrt 1) (+ (* z z) (+ (* t t) (* z t)))) (/ (sqrt 1) (/ a (* y (- (* z z) (* t t))))) (/ (sqrt 1) (+ z t)) (/ 1 (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ 1 (cbrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ 1 (/ (* (cbrt a) (cbrt a)) y)) (/ 1 (/ (cbrt a) (- z t))) (/ 1 (/ (sqrt a) y)) (/ 1 (/ (sqrt a) (- z t))) (/ 1 (/ 1 y)) (/ 1 (/ a (- z t))) (/ 1 1) (/ 1 (/ a (* y (- z t)))) (/ 1 a) (/ 1 (/ 1 (* y (- z t)))) (/ 1 (/ a (* y (- (pow z 3) (pow t 3))))) (/ 1 (+ (* z z) (+ (* t t) (* z t)))) (/ 1 (/ a (* y (- (* z z) (* t t))))) (/ 1 (+ z t)) (/ 1 (/ a (* y (- z t)))) (/ (/ a (* y (- z t))) 1) (/ 1 (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ 1 (/ (* (cbrt a) (cbrt a)) y)) (/ 1 (/ (sqrt a) y)) (/ 1 (/ 1 y)) (/ 1 1) (/ 1 a) (/ 1 (/ a (* y (- (pow z 3) (pow t 3))))) (/ 1 (/ a (* y (- (* z z) (* t t))))) (/ (/ a (* y (- z t))) (cbrt 1)) (/ (/ a (* y (- z t))) (sqrt 1)) (/ (/ a (* y (- z t))) 1) (/ 1 a) 0 0 0 (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) 6.994 * * [simplify]: iteration 0 : 152 enodes (cost 1254 ) 7.043 * * [simplify]: iteration 1 : 348 enodes (cost 1103 ) 7.104 * * [simplify]: iteration 2 : 919 enodes (cost 947 ) 8.301 * * [simplify]: iteration 3 : 3970 enodes (cost 901 ) 9.659 * * [simplify]: iteration done : 5000 enodes (cost 900 ) 9.660 * [simplify]: Simplified to: (log (/ a (* y (- z t)))) (log (/ a (* y (- z t)))) (log (/ a (* y (- z t)))) (exp (/ a (* y (- z t)))) (pow (/ a (* y (- z t))) 3) (pow (/ a (* y (- z t))) 3) (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t))))) (cbrt (/ a (* y (- z t)))) (pow (/ a (* y (- z t))) 3) (sqrt (/ a (* y (- z t)))) (sqrt (/ a (* y (- z t)))) (neg a) (* y (- t z)) (/ (* (cbrt a) (cbrt a)) y) (/ (cbrt a) (- z t)) (/ (sqrt a) y) (/ (sqrt a) (- z t)) (/ 1 y) (/ a (- z t)) (/ 1 (* y (- z t))) (/ (* y (- z t)) a) (/ a y) (/ (* y (- z t)) (cbrt a)) (/ (* y (- z t)) (sqrt a)) (/ (* y (- z t)) a) (/ a (* y (- (pow z 3) (pow t 3)))) (/ a (* y (- (* z z) (* t t)))) -1 (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (exp (/ (- z t) (/ a y))) (pow (/ (- z t) (/ a y)) 3) (pow (/ (- z t) (/ a y)) 3) (pow (/ (- z t) (/ a y)) 3) (* (cbrt (/ (- z t) (/ a y))) (cbrt (/ (- z t) (/ a y)))) (cbrt (/ (- z t) (/ a y))) (pow (/ (- z t) (/ a y)) 3) (sqrt (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) -1 (neg (/ a (* y (- z t)))) (/ 1 (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ 1 (cbrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) y (/ (- z t) a) 1 (/ (* y (- z t)) a) (/ 1 a) (* y (- z t)) (/ (- (pow z 3) (pow t 3)) (/ a y)) (/ 1 (+ (* z z) (* t (+ z t)))) (* (/ (- (* z z) (* t t)) a) y) (/ 1 (+ z t)) (/ 1 (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ 1 (cbrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) y (/ (- z t) a) 1 (/ (* y (- z t)) a) (/ 1 a) (* y (- z t)) (/ (- (pow z 3) (pow t 3)) (/ a y)) (/ 1 (+ (* z z) (* t (+ z t)))) (* (/ (- (* z z) (* t t)) a) y) (/ 1 (+ z t)) (/ 1 (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ 1 (cbrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) y (/ (- z t) a) 1 (/ (* y (- z t)) a) (/ 1 a) (* y (- z t)) (/ (- (pow z 3) (pow t 3)) (/ a y)) (/ 1 (+ (* z z) (* t (+ z t)))) (* (/ (- (* z z) (* t t)) a) y) (/ 1 (+ z t)) (/ (* y (- z t)) a) (/ a (* y (- z t))) (/ 1 (* (cbrt (/ a (* y (- z t)))) (cbrt (/ a (* y (- z t)))))) (/ 1 (sqrt (/ a (* y (- z t))))) (/ y (* (cbrt a) (cbrt a))) (/ y (sqrt a)) y 1 (/ 1 a) (/ (- (pow z 3) (pow t 3)) (/ a y)) (* (/ (- (* z z) (* t t)) a) y) (/ a (* y (- z t))) (/ a (* y (- z t))) (/ a (* y (- z t))) (/ 1 a) 0 0 0 (/ (* y (- z t)) a) (/ (* y (- z t)) a) (/ (* y (- z t)) a) 9.660 * * * [progress]: adding candidates to table 9.715 * [progress]: [Phase 3 of 3] Extracting. 9.715 * * [regime]: Finding splitpoints for: (# # # # #) 9.716 * * * [regime-changes]: Trying 9 branch expressions: ((- z t) (* y (- z t)) (/ (* y (- z t)) a) (- x (/ (* y (- z t)) a)) a t z y x) 9.716 * * * * [regimes]: Trying to branch on (- z t) from (# # # # #) 9.786 * * * * [regimes]: Trying to branch on (* y (- z t)) from (# # # # #) 9.862 * * * * [regimes]: Trying to branch on (* y (- z t)) from (# #) 9.917 * * * * [regimes]: Trying to branch on (/ (* y (- z t)) a) from (# # # # #) 9.994 * * * * [regimes]: Trying to branch on (- x (/ (* y (- z t)) a)) from (# # # # #) 10.073 * * * * [regimes]: Trying to branch on a from (# # # # #) 10.149 * * * * [regimes]: Trying to branch on t from (# # # # #) 10.215 * * * * [regimes]: Trying to branch on z from (# # # # #) 10.280 * * * * [regimes]: Trying to branch on y from (# # # # #) 10.356 * * * * [regimes]: Trying to branch on x from (# # # # #) 10.434 * * * [regime]: Found split indices: #