20.020 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.552 * * * [progress]: [2/2] Setting up program.
1.556 * [progress]: [Phase 2 of 3] Improving.
1.557 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
1.615 * * [simplify]: iteration  0 :  4977  enodes  (cost  21 )
1.616 * * [simplify]: iteration  1 :  4977  enodes  (cost  21 )
1.616 * [simplify]: Simplified to:
   (+ x (+ (* (+ y (- t 2.0)) b) (+ (* z (- 1.0 y)) (* a (- 1.0 t)))))
1.621 * * [progress]: iteration 1 / 4
1.621 * * * [progress]: picking best candidate
1.625 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))>
1.626 * * * [progress]: localizing error
1.640 * * * [progress]: generating rewritten candidates
1.640 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.648 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.654 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.667 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.676 * * * [progress]: generating series expansions
1.676 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.676 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0
1.676 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b
1.676 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b
1.676 * [taylor]: Taking taylor expansion of (+ t y) in b
1.676 * [taylor]: Taking taylor expansion of t in b
1.676 * [taylor]: Taking taylor expansion of y in b
1.676 * [taylor]: Taking taylor expansion of 2.0 in b
1.676 * [taylor]: Taking taylor expansion of b in b
1.676 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t
1.676 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t
1.676 * [taylor]: Taking taylor expansion of (+ t y) in t
1.676 * [taylor]: Taking taylor expansion of t in t
1.676 * [taylor]: Taking taylor expansion of y in t
1.676 * [taylor]: Taking taylor expansion of 2.0 in t
1.676 * [taylor]: Taking taylor expansion of b in t
1.676 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y
1.676 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
1.676 * [taylor]: Taking taylor expansion of (+ t y) in y
1.676 * [taylor]: Taking taylor expansion of t in y
1.676 * [taylor]: Taking taylor expansion of y in y
1.676 * [taylor]: Taking taylor expansion of 2.0 in y
1.676 * [taylor]: Taking taylor expansion of b in y
1.676 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y
1.676 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
1.676 * [taylor]: Taking taylor expansion of (+ t y) in y
1.676 * [taylor]: Taking taylor expansion of t in y
1.676 * [taylor]: Taking taylor expansion of y in y
1.676 * [taylor]: Taking taylor expansion of 2.0 in y
1.676 * [taylor]: Taking taylor expansion of b in y
1.677 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t
1.677 * [taylor]: Taking taylor expansion of (- t 2.0) in t
1.677 * [taylor]: Taking taylor expansion of t in t
1.677 * [taylor]: Taking taylor expansion of 2.0 in t
1.677 * [taylor]: Taking taylor expansion of b in t
1.677 * [taylor]: Taking taylor expansion of (* -2.0 b) in b
1.677 * [taylor]: Taking taylor expansion of -2.0 in b
1.677 * [taylor]: Taking taylor expansion of b in b
1.677 * [taylor]: Taking taylor expansion of b in t
1.677 * [taylor]: Taking taylor expansion of b in b
1.677 * [taylor]: Taking taylor expansion of b in b
1.677 * [taylor]: Taking taylor expansion of 0 in t
1.677 * [taylor]: Taking taylor expansion of 0 in b
1.677 * [taylor]: Taking taylor expansion of 0 in b
1.677 * [taylor]: Taking taylor expansion of 0 in b
1.677 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0
1.677 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b
1.677 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b
1.677 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b
1.677 * [taylor]: Taking taylor expansion of (/ 1 y) in b
1.677 * [taylor]: Taking taylor expansion of y in b
1.678 * [taylor]: Taking taylor expansion of (/ 1 t) in b
1.678 * [taylor]: Taking taylor expansion of t in b
1.678 * [taylor]: Taking taylor expansion of 2.0 in b
1.678 * [taylor]: Taking taylor expansion of b in b
1.678 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t
1.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t
1.678 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t
1.678 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.678 * [taylor]: Taking taylor expansion of y in t
1.678 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.678 * [taylor]: Taking taylor expansion of t in t
1.678 * [taylor]: Taking taylor expansion of 2.0 in t
1.678 * [taylor]: Taking taylor expansion of b in t
1.678 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y
1.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
1.678 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
1.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.678 * [taylor]: Taking taylor expansion of y in y
1.678 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.678 * [taylor]: Taking taylor expansion of t in y
1.678 * [taylor]: Taking taylor expansion of 2.0 in y
1.678 * [taylor]: Taking taylor expansion of b in y
1.678 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y
1.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
1.678 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
1.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.678 * [taylor]: Taking taylor expansion of y in y
1.678 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.678 * [taylor]: Taking taylor expansion of t in y
1.678 * [taylor]: Taking taylor expansion of 2.0 in y
1.678 * [taylor]: Taking taylor expansion of b in y
1.678 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.678 * [taylor]: Taking taylor expansion of b in t
1.679 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t
1.679 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
1.679 * [taylor]: Taking taylor expansion of (* t b) in t
1.679 * [taylor]: Taking taylor expansion of t in t
1.679 * [taylor]: Taking taylor expansion of b in t
1.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
1.679 * [taylor]: Taking taylor expansion of 2.0 in t
1.679 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.679 * [taylor]: Taking taylor expansion of b in t
1.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.679 * [taylor]: Taking taylor expansion of b in b
1.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.679 * [taylor]: Taking taylor expansion of b in b
1.679 * [taylor]: Taking taylor expansion of 0 in t
1.679 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b
1.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
1.679 * [taylor]: Taking taylor expansion of 2.0 in b
1.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.679 * [taylor]: Taking taylor expansion of b in b
1.680 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0
1.680 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b
1.680 * [taylor]: Taking taylor expansion of (/ 1 y) in b
1.680 * [taylor]: Taking taylor expansion of y in b
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b
1.680 * [taylor]: Taking taylor expansion of (/ 1 t) in b
1.680 * [taylor]: Taking taylor expansion of t in b
1.680 * [taylor]: Taking taylor expansion of 2.0 in b
1.680 * [taylor]: Taking taylor expansion of b in b
1.680 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t
1.680 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.680 * [taylor]: Taking taylor expansion of y in t
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t
1.680 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.680 * [taylor]: Taking taylor expansion of t in t
1.680 * [taylor]: Taking taylor expansion of 2.0 in t
1.680 * [taylor]: Taking taylor expansion of b in t
1.680 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
1.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.680 * [taylor]: Taking taylor expansion of y in y
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.681 * [taylor]: Taking taylor expansion of t in y
1.681 * [taylor]: Taking taylor expansion of 2.0 in y
1.681 * [taylor]: Taking taylor expansion of b in y
1.681 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.681 * [taylor]: Taking taylor expansion of y in y
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.681 * [taylor]: Taking taylor expansion of t in y
1.681 * [taylor]: Taking taylor expansion of 2.0 in y
1.681 * [taylor]: Taking taylor expansion of b in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.681 * [taylor]: Taking taylor expansion of b in t
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t
1.681 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
1.681 * [taylor]: Taking taylor expansion of (* t b) in t
1.681 * [taylor]: Taking taylor expansion of t in t
1.681 * [taylor]: Taking taylor expansion of b in t
1.681 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
1.681 * [taylor]: Taking taylor expansion of 2.0 in t
1.681 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.681 * [taylor]: Taking taylor expansion of b in t
1.681 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.681 * [taylor]: Taking taylor expansion of b in b
1.681 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.681 * [taylor]: Taking taylor expansion of b in b
1.682 * [taylor]: Taking taylor expansion of 0 in t
1.682 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
1.682 * [taylor]: Taking taylor expansion of 2.0 in b
1.682 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.682 * [taylor]: Taking taylor expansion of b in b
1.682 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.682 * [approximate]: Taking taylor expansion of (* z (- y 1.0)) in (y z) around 0
1.682 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z
1.682 * [taylor]: Taking taylor expansion of z in z
1.682 * [taylor]: Taking taylor expansion of (- y 1.0) in z
1.682 * [taylor]: Taking taylor expansion of y in z
1.682 * [taylor]: Taking taylor expansion of 1.0 in z
1.682 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y
1.682 * [taylor]: Taking taylor expansion of z in y
1.682 * [taylor]: Taking taylor expansion of (- y 1.0) in y
1.682 * [taylor]: Taking taylor expansion of y in y
1.682 * [taylor]: Taking taylor expansion of 1.0 in y
1.682 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y
1.682 * [taylor]: Taking taylor expansion of z in y
1.682 * [taylor]: Taking taylor expansion of (- y 1.0) in y
1.682 * [taylor]: Taking taylor expansion of y in y
1.682 * [taylor]: Taking taylor expansion of 1.0 in y
1.683 * [taylor]: Taking taylor expansion of (* -1.0 z) in z
1.683 * [taylor]: Taking taylor expansion of -1.0 in z
1.683 * [taylor]: Taking taylor expansion of z in z
1.683 * [taylor]: Taking taylor expansion of z in z
1.683 * [taylor]: Taking taylor expansion of 0 in z
1.683 * [taylor]: Taking taylor expansion of 0 in z
1.683 * [taylor]: Taking taylor expansion of 0 in z
1.683 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in (y z) around 0
1.683 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z
1.683 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z
1.683 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.683 * [taylor]: Taking taylor expansion of y in z
1.683 * [taylor]: Taking taylor expansion of 1.0 in z
1.683 * [taylor]: Taking taylor expansion of z in z
1.683 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y
1.683 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
1.683 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.683 * [taylor]: Taking taylor expansion of y in y
1.684 * [taylor]: Taking taylor expansion of 1.0 in y
1.684 * [taylor]: Taking taylor expansion of z in y
1.684 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y
1.684 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
1.684 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.684 * [taylor]: Taking taylor expansion of y in y
1.684 * [taylor]: Taking taylor expansion of 1.0 in y
1.684 * [taylor]: Taking taylor expansion of z in y
1.684 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.684 * [taylor]: Taking taylor expansion of z in z
1.684 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z
1.684 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.684 * [taylor]: Taking taylor expansion of 1.0 in z
1.684 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.684 * [taylor]: Taking taylor expansion of z in z
1.684 * [taylor]: Taking taylor expansion of 0 in z
1.684 * [taylor]: Taking taylor expansion of 0 in z
1.685 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in (y z) around 0
1.685 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z
1.685 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
1.685 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.685 * [taylor]: Taking taylor expansion of y in z
1.685 * [taylor]: Taking taylor expansion of 1.0 in z
1.685 * [taylor]: Taking taylor expansion of z in z
1.685 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y
1.685 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.685 * [taylor]: Taking taylor expansion of y in y
1.685 * [taylor]: Taking taylor expansion of 1.0 in y
1.685 * [taylor]: Taking taylor expansion of z in y
1.685 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y
1.685 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.685 * [taylor]: Taking taylor expansion of y in y
1.685 * [taylor]: Taking taylor expansion of 1.0 in y
1.685 * [taylor]: Taking taylor expansion of z in y
1.685 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.685 * [taylor]: Taking taylor expansion of z in z
1.685 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.685 * [taylor]: Taking taylor expansion of 1.0 in z
1.685 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.685 * [taylor]: Taking taylor expansion of z in z
1.686 * [taylor]: Taking taylor expansion of 0 in z
1.686 * [taylor]: Taking taylor expansion of 0 in z
1.686 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.686 * [approximate]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in (x y z t a b) around 0
1.687 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in b
1.687 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) in b
1.687 * [taylor]: Taking taylor expansion of (* t b) in b
1.687 * [taylor]: Taking taylor expansion of t in b
1.687 * [taylor]: Taking taylor expansion of b in b
1.687 * [taylor]: Taking taylor expansion of (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a)))) in b
1.687 * [taylor]: Taking taylor expansion of (* y b) in b
1.687 * [taylor]: Taking taylor expansion of y in b
1.687 * [taylor]: Taking taylor expansion of b in b
1.687 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in b
1.687 * [taylor]: Taking taylor expansion of x in b
1.687 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in b
1.687 * [taylor]: Taking taylor expansion of (* 1.0 z) in b
1.687 * [taylor]: Taking taylor expansion of 1.0 in b
1.687 * [taylor]: Taking taylor expansion of z in b
1.687 * [taylor]: Taking taylor expansion of (* 1.0 a) in b
1.687 * [taylor]: Taking taylor expansion of 1.0 in b
1.687 * [taylor]: Taking taylor expansion of a in b
1.687 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in b
1.687 * [taylor]: Taking taylor expansion of (* z y) in b
1.687 * [taylor]: Taking taylor expansion of z in b
1.687 * [taylor]: Taking taylor expansion of y in b
1.687 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in b
1.687 * [taylor]: Taking taylor expansion of (* 2.0 b) in b
1.687 * [taylor]: Taking taylor expansion of 2.0 in b
1.687 * [taylor]: Taking taylor expansion of b in b
1.687 * [taylor]: Taking taylor expansion of (* t a) in b
1.687 * [taylor]: Taking taylor expansion of t in b
1.687 * [taylor]: Taking taylor expansion of a in b
1.687 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in a
1.687 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) in a
1.687 * [taylor]: Taking taylor expansion of (* t b) in a
1.687 * [taylor]: Taking taylor expansion of t in a
1.687 * [taylor]: Taking taylor expansion of b in a
1.687 * [taylor]: Taking taylor expansion of (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a)))) in a
1.687 * [taylor]: Taking taylor expansion of (* y b) in a
1.687 * [taylor]: Taking taylor expansion of y in a
1.687 * [taylor]: Taking taylor expansion of b in a
1.687 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in a
1.687 * [taylor]: Taking taylor expansion of x in a
1.687 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in a
1.687 * [taylor]: Taking taylor expansion of (* 1.0 z) in a
1.687 * [taylor]: Taking taylor expansion of 1.0 in a
1.687 * [taylor]: Taking taylor expansion of z in a
1.687 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
1.687 * [taylor]: Taking taylor expansion of 1.0 in a
1.687 * [taylor]: Taking taylor expansion of a in a
1.687 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in a
1.687 * [taylor]: Taking taylor expansion of (* z y) in a
1.687 * [taylor]: Taking taylor expansion of z in a
1.687 * [taylor]: Taking taylor expansion of y in a
1.687 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in a
1.687 * [taylor]: Taking taylor expansion of (* 2.0 b) in a
1.687 * [taylor]: Taking taylor expansion of 2.0 in a
1.687 * [taylor]: Taking taylor expansion of b in a
1.687 * [taylor]: Taking taylor expansion of (* t a) in a
1.687 * [taylor]: Taking taylor expansion of t in a
1.687 * [taylor]: Taking taylor expansion of a in a
1.687 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in t
1.687 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) in t
1.688 * [taylor]: Taking taylor expansion of (* t b) in t
1.688 * [taylor]: Taking taylor expansion of t in t
1.688 * [taylor]: Taking taylor expansion of b in t
1.688 * [taylor]: Taking taylor expansion of (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a)))) in t
1.688 * [taylor]: Taking taylor expansion of (* y b) in t
1.688 * [taylor]: Taking taylor expansion of y in t
1.688 * [taylor]: Taking taylor expansion of b in t
1.688 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in t
1.688 * [taylor]: Taking taylor expansion of x in t
1.688 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in t
1.688 * [taylor]: Taking taylor expansion of (* 1.0 z) in t
1.688 * [taylor]: Taking taylor expansion of 1.0 in t
1.688 * [taylor]: Taking taylor expansion of z in t
1.688 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
1.688 * [taylor]: Taking taylor expansion of 1.0 in t
1.688 * [taylor]: Taking taylor expansion of a in t
1.688 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in t
1.688 * [taylor]: Taking taylor expansion of (* z y) in t
1.688 * [taylor]: Taking taylor expansion of z in t
1.688 * [taylor]: Taking taylor expansion of y in t
1.688 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in t
1.688 * [taylor]: Taking taylor expansion of (* 2.0 b) in t
1.688 * [taylor]: Taking taylor expansion of 2.0 in t
1.688 * [taylor]: Taking taylor expansion of b in t
1.688 * [taylor]: Taking taylor expansion of (* t a) in t
1.688 * [taylor]: Taking taylor expansion of t in t
1.688 * [taylor]: Taking taylor expansion of a in t
1.688 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in z
1.688 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) in z
1.688 * [taylor]: Taking taylor expansion of (* t b) in z
1.688 * [taylor]: Taking taylor expansion of t in z
1.688 * [taylor]: Taking taylor expansion of b in z
1.688 * [taylor]: Taking taylor expansion of (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a)))) in z
1.688 * [taylor]: Taking taylor expansion of (* y b) in z
1.688 * [taylor]: Taking taylor expansion of y in z
1.688 * [taylor]: Taking taylor expansion of b in z
1.688 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in z
1.688 * [taylor]: Taking taylor expansion of x in z
1.688 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in z
1.688 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
1.688 * [taylor]: Taking taylor expansion of 1.0 in z
1.688 * [taylor]: Taking taylor expansion of z in z
1.688 * [taylor]: Taking taylor expansion of (* 1.0 a) in z
1.688 * [taylor]: Taking taylor expansion of 1.0 in z
1.688 * [taylor]: Taking taylor expansion of a in z
1.688 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in z
1.688 * [taylor]: Taking taylor expansion of (* z y) in z
1.688 * [taylor]: Taking taylor expansion of z in z
1.688 * [taylor]: Taking taylor expansion of y in z
1.688 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in z
1.688 * [taylor]: Taking taylor expansion of (* 2.0 b) in z
1.688 * [taylor]: Taking taylor expansion of 2.0 in z
1.688 * [taylor]: Taking taylor expansion of b in z
1.688 * [taylor]: Taking taylor expansion of (* t a) in z
1.688 * [taylor]: Taking taylor expansion of t in z
1.688 * [taylor]: Taking taylor expansion of a in z
1.688 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in y
1.688 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) in y
1.688 * [taylor]: Taking taylor expansion of (* t b) in y
1.688 * [taylor]: Taking taylor expansion of t in y
1.688 * [taylor]: Taking taylor expansion of b in y
1.688 * [taylor]: Taking taylor expansion of (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a)))) in y
1.688 * [taylor]: Taking taylor expansion of (* y b) in y
1.689 * [taylor]: Taking taylor expansion of y in y
1.689 * [taylor]: Taking taylor expansion of b in y
1.689 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in y
1.689 * [taylor]: Taking taylor expansion of x in y
1.689 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in y
1.689 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
1.689 * [taylor]: Taking taylor expansion of 1.0 in y
1.689 * [taylor]: Taking taylor expansion of z in y
1.689 * [taylor]: Taking taylor expansion of (* 1.0 a) in y
1.689 * [taylor]: Taking taylor expansion of 1.0 in y
1.689 * [taylor]: Taking taylor expansion of a in y
1.689 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in y
1.689 * [taylor]: Taking taylor expansion of (* z y) in y
1.689 * [taylor]: Taking taylor expansion of z in y
1.689 * [taylor]: Taking taylor expansion of y in y
1.689 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in y
1.689 * [taylor]: Taking taylor expansion of (* 2.0 b) in y
1.689 * [taylor]: Taking taylor expansion of 2.0 in y
1.689 * [taylor]: Taking taylor expansion of b in y
1.689 * [taylor]: Taking taylor expansion of (* t a) in y
1.689 * [taylor]: Taking taylor expansion of t in y
1.689 * [taylor]: Taking taylor expansion of a in y
1.689 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in x
1.689 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) in x
1.689 * [taylor]: Taking taylor expansion of (* t b) in x
1.689 * [taylor]: Taking taylor expansion of t in x
1.689 * [taylor]: Taking taylor expansion of b in x
1.689 * [taylor]: Taking taylor expansion of (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a)))) in x
1.689 * [taylor]: Taking taylor expansion of (* y b) in x
1.689 * [taylor]: Taking taylor expansion of y in x
1.689 * [taylor]: Taking taylor expansion of b in x
1.689 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in x
1.689 * [taylor]: Taking taylor expansion of x in x
1.689 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in x
1.689 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
1.689 * [taylor]: Taking taylor expansion of 1.0 in x
1.689 * [taylor]: Taking taylor expansion of z in x
1.689 * [taylor]: Taking taylor expansion of (* 1.0 a) in x
1.689 * [taylor]: Taking taylor expansion of 1.0 in x
1.689 * [taylor]: Taking taylor expansion of a in x
1.689 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in x
1.689 * [taylor]: Taking taylor expansion of (* z y) in x
1.689 * [taylor]: Taking taylor expansion of z in x
1.689 * [taylor]: Taking taylor expansion of y in x
1.689 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in x
1.689 * [taylor]: Taking taylor expansion of (* 2.0 b) in x
1.689 * [taylor]: Taking taylor expansion of 2.0 in x
1.689 * [taylor]: Taking taylor expansion of b in x
1.689 * [taylor]: Taking taylor expansion of (* t a) in x
1.689 * [taylor]: Taking taylor expansion of t in x
1.689 * [taylor]: Taking taylor expansion of a in x
1.689 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in x
1.689 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a))))) in x
1.689 * [taylor]: Taking taylor expansion of (* t b) in x
1.689 * [taylor]: Taking taylor expansion of t in x
1.689 * [taylor]: Taking taylor expansion of b in x
1.689 * [taylor]: Taking taylor expansion of (+ (* y b) (+ x (+ (* 1.0 z) (* 1.0 a)))) in x
1.689 * [taylor]: Taking taylor expansion of (* y b) in x
1.689 * [taylor]: Taking taylor expansion of y in x
1.689 * [taylor]: Taking taylor expansion of b in x
1.689 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in x
1.689 * [taylor]: Taking taylor expansion of x in x
1.690 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in x
1.690 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
1.690 * [taylor]: Taking taylor expansion of 1.0 in x
1.690 * [taylor]: Taking taylor expansion of z in x
1.690 * [taylor]: Taking taylor expansion of (* 1.0 a) in x
1.690 * [taylor]: Taking taylor expansion of 1.0 in x
1.690 * [taylor]: Taking taylor expansion of a in x
1.690 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in x
1.690 * [taylor]: Taking taylor expansion of (* z y) in x
1.690 * [taylor]: Taking taylor expansion of z in x
1.690 * [taylor]: Taking taylor expansion of y in x
1.690 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in x
1.690 * [taylor]: Taking taylor expansion of (* 2.0 b) in x
1.690 * [taylor]: Taking taylor expansion of 2.0 in x
1.690 * [taylor]: Taking taylor expansion of b in x
1.690 * [taylor]: Taking taylor expansion of (* t a) in x
1.690 * [taylor]: Taking taylor expansion of t in x
1.690 * [taylor]: Taking taylor expansion of a in x
1.691 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in y
1.691 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) in y
1.691 * [taylor]: Taking taylor expansion of (* t b) in y
1.691 * [taylor]: Taking taylor expansion of t in y
1.691 * [taylor]: Taking taylor expansion of b in y
1.691 * [taylor]: Taking taylor expansion of (+ (* y b) (+ (* 1.0 z) (* 1.0 a))) in y
1.691 * [taylor]: Taking taylor expansion of (* y b) in y
1.691 * [taylor]: Taking taylor expansion of y in y
1.691 * [taylor]: Taking taylor expansion of b in y
1.691 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in y
1.691 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
1.691 * [taylor]: Taking taylor expansion of 1.0 in y
1.691 * [taylor]: Taking taylor expansion of z in y
1.691 * [taylor]: Taking taylor expansion of (* 1.0 a) in y
1.691 * [taylor]: Taking taylor expansion of 1.0 in y
1.691 * [taylor]: Taking taylor expansion of a in y
1.691 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in y
1.691 * [taylor]: Taking taylor expansion of (* z y) in y
1.691 * [taylor]: Taking taylor expansion of z in y
1.691 * [taylor]: Taking taylor expansion of y in y
1.691 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in y
1.691 * [taylor]: Taking taylor expansion of (* 2.0 b) in y
1.691 * [taylor]: Taking taylor expansion of 2.0 in y
1.691 * [taylor]: Taking taylor expansion of b in y
1.691 * [taylor]: Taking taylor expansion of (* t a) in y
1.691 * [taylor]: Taking taylor expansion of t in y
1.691 * [taylor]: Taking taylor expansion of a in y
1.692 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (+ (* 1.0 z) (* t b))) (+ (* t a) (* 2.0 b))) in z
1.692 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (+ (* 1.0 z) (* t b))) in z
1.692 * [taylor]: Taking taylor expansion of (* 1.0 a) in z
1.692 * [taylor]: Taking taylor expansion of 1.0 in z
1.692 * [taylor]: Taking taylor expansion of a in z
1.692 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* t b)) in z
1.692 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
1.692 * [taylor]: Taking taylor expansion of 1.0 in z
1.692 * [taylor]: Taking taylor expansion of z in z
1.692 * [taylor]: Taking taylor expansion of (* t b) in z
1.692 * [taylor]: Taking taylor expansion of t in z
1.692 * [taylor]: Taking taylor expansion of b in z
1.692 * [taylor]: Taking taylor expansion of (+ (* t a) (* 2.0 b)) in z
1.692 * [taylor]: Taking taylor expansion of (* t a) in z
1.692 * [taylor]: Taking taylor expansion of t in z
1.692 * [taylor]: Taking taylor expansion of a in z
1.692 * [taylor]: Taking taylor expansion of (* 2.0 b) in z
1.692 * [taylor]: Taking taylor expansion of 2.0 in z
1.692 * [taylor]: Taking taylor expansion of b in z
1.692 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (* t b)) (+ (* t a) (* 2.0 b))) in t
1.692 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (* t b)) in t
1.692 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
1.692 * [taylor]: Taking taylor expansion of 1.0 in t
1.692 * [taylor]: Taking taylor expansion of a in t
1.692 * [taylor]: Taking taylor expansion of (* t b) in t
1.692 * [taylor]: Taking taylor expansion of t in t
1.692 * [taylor]: Taking taylor expansion of b in t
1.692 * [taylor]: Taking taylor expansion of (+ (* t a) (* 2.0 b)) in t
1.692 * [taylor]: Taking taylor expansion of (* t a) in t
1.692 * [taylor]: Taking taylor expansion of t in t
1.692 * [taylor]: Taking taylor expansion of a in t
1.692 * [taylor]: Taking taylor expansion of (* 2.0 b) in t
1.692 * [taylor]: Taking taylor expansion of 2.0 in t
1.692 * [taylor]: Taking taylor expansion of b in t
1.692 * [taylor]: Taking taylor expansion of (- (* 1.0 a) (* 2.0 b)) in a
1.693 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
1.693 * [taylor]: Taking taylor expansion of 1.0 in a
1.693 * [taylor]: Taking taylor expansion of a in a
1.693 * [taylor]: Taking taylor expansion of (* 2.0 b) in a
1.693 * [taylor]: Taking taylor expansion of 2.0 in a
1.693 * [taylor]: Taking taylor expansion of b in a
1.693 * [taylor]: Taking taylor expansion of (neg (* 2.0 b)) in b
1.693 * [taylor]: Taking taylor expansion of (* 2.0 b) in b
1.693 * [taylor]: Taking taylor expansion of 2.0 in b
1.693 * [taylor]: Taking taylor expansion of b in b
1.693 * [taylor]: Taking taylor expansion of 1 in y
1.693 * [taylor]: Taking taylor expansion of 1 in z
1.693 * [taylor]: Taking taylor expansion of 1 in t
1.693 * [taylor]: Taking taylor expansion of 1 in a
1.693 * [taylor]: Taking taylor expansion of 1 in b
1.694 * [taylor]: Taking taylor expansion of (- b z) in z
1.694 * [taylor]: Taking taylor expansion of b in z
1.694 * [taylor]: Taking taylor expansion of z in z
1.694 * [taylor]: Taking taylor expansion of b in t
1.694 * [taylor]: Taking taylor expansion of b in a
1.694 * [taylor]: Taking taylor expansion of b in b
1.694 * [taylor]: Taking taylor expansion of 1.0 in t
1.694 * [taylor]: Taking taylor expansion of 1.0 in a
1.694 * [taylor]: Taking taylor expansion of 1.0 in b
1.694 * [taylor]: Taking taylor expansion of (- b a) in a
1.694 * [taylor]: Taking taylor expansion of b in a
1.694 * [taylor]: Taking taylor expansion of a in a
1.694 * [taylor]: Taking taylor expansion of b in b
1.694 * [taylor]: Taking taylor expansion of 1.0 in b
1.695 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in (x y z t a b) around 0
1.695 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in b
1.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in b
1.695 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b
1.695 * [taylor]: Taking taylor expansion of (* t b) in b
1.695 * [taylor]: Taking taylor expansion of t in b
1.695 * [taylor]: Taking taylor expansion of b in b
1.695 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in b
1.695 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b
1.695 * [taylor]: Taking taylor expansion of 1.0 in b
1.695 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.695 * [taylor]: Taking taylor expansion of z in b
1.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in b
1.695 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b
1.695 * [taylor]: Taking taylor expansion of (* y b) in b
1.695 * [taylor]: Taking taylor expansion of y in b
1.695 * [taylor]: Taking taylor expansion of b in b
1.695 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in b
1.695 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
1.695 * [taylor]: Taking taylor expansion of 1.0 in b
1.695 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.695 * [taylor]: Taking taylor expansion of a in b
1.695 * [taylor]: Taking taylor expansion of (/ 1 x) in b
1.695 * [taylor]: Taking taylor expansion of x in b
1.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in b
1.695 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
1.695 * [taylor]: Taking taylor expansion of (* z y) in b
1.695 * [taylor]: Taking taylor expansion of z in b
1.695 * [taylor]: Taking taylor expansion of y in b
1.695 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in b
1.696 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
1.696 * [taylor]: Taking taylor expansion of 2.0 in b
1.696 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.696 * [taylor]: Taking taylor expansion of b in b
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
1.696 * [taylor]: Taking taylor expansion of (* t a) in b
1.696 * [taylor]: Taking taylor expansion of t in b
1.696 * [taylor]: Taking taylor expansion of a in b
1.696 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in a
1.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in a
1.696 * [taylor]: Taking taylor expansion of (* t b) in a
1.696 * [taylor]: Taking taylor expansion of t in a
1.696 * [taylor]: Taking taylor expansion of b in a
1.696 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in a
1.696 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a
1.696 * [taylor]: Taking taylor expansion of 1.0 in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.696 * [taylor]: Taking taylor expansion of z in a
1.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a
1.696 * [taylor]: Taking taylor expansion of (* y b) in a
1.696 * [taylor]: Taking taylor expansion of y in a
1.696 * [taylor]: Taking taylor expansion of b in a
1.696 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in a
1.696 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.696 * [taylor]: Taking taylor expansion of 1.0 in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.696 * [taylor]: Taking taylor expansion of a in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.696 * [taylor]: Taking taylor expansion of x in a
1.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.696 * [taylor]: Taking taylor expansion of (* z y) in a
1.696 * [taylor]: Taking taylor expansion of z in a
1.696 * [taylor]: Taking taylor expansion of y in a
1.696 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in a
1.696 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a
1.696 * [taylor]: Taking taylor expansion of 2.0 in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.696 * [taylor]: Taking taylor expansion of b in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.696 * [taylor]: Taking taylor expansion of (* t a) in a
1.696 * [taylor]: Taking taylor expansion of t in a
1.696 * [taylor]: Taking taylor expansion of a in a
1.697 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in t
1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
1.697 * [taylor]: Taking taylor expansion of (* t b) in t
1.697 * [taylor]: Taking taylor expansion of t in t
1.697 * [taylor]: Taking taylor expansion of b in t
1.697 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in t
1.697 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t
1.697 * [taylor]: Taking taylor expansion of 1.0 in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.697 * [taylor]: Taking taylor expansion of z in t
1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t
1.697 * [taylor]: Taking taylor expansion of (* y b) in t
1.697 * [taylor]: Taking taylor expansion of y in t
1.697 * [taylor]: Taking taylor expansion of b in t
1.697 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t
1.697 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.697 * [taylor]: Taking taylor expansion of 1.0 in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.697 * [taylor]: Taking taylor expansion of a in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.697 * [taylor]: Taking taylor expansion of x in t
1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.697 * [taylor]: Taking taylor expansion of (* z y) in t
1.697 * [taylor]: Taking taylor expansion of z in t
1.697 * [taylor]: Taking taylor expansion of y in t
1.697 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in t
1.697 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
1.697 * [taylor]: Taking taylor expansion of 2.0 in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.697 * [taylor]: Taking taylor expansion of b in t
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.697 * [taylor]: Taking taylor expansion of (* t a) in t
1.697 * [taylor]: Taking taylor expansion of t in t
1.697 * [taylor]: Taking taylor expansion of a in t
1.697 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in z
1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in z
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z
1.697 * [taylor]: Taking taylor expansion of (* t b) in z
1.697 * [taylor]: Taking taylor expansion of t in z
1.697 * [taylor]: Taking taylor expansion of b in z
1.697 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in z
1.698 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.698 * [taylor]: Taking taylor expansion of 1.0 in z
1.698 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.698 * [taylor]: Taking taylor expansion of z in z
1.698 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in z
1.698 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in z
1.698 * [taylor]: Taking taylor expansion of (* y b) in z
1.698 * [taylor]: Taking taylor expansion of y in z
1.700 * [taylor]: Taking taylor expansion of b in z
1.700 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in z
1.700 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z
1.700 * [taylor]: Taking taylor expansion of 1.0 in z
1.700 * [taylor]: Taking taylor expansion of (/ 1 a) in z
1.700 * [taylor]: Taking taylor expansion of a in z
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.700 * [taylor]: Taking taylor expansion of x in z
1.700 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in z
1.700 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.700 * [taylor]: Taking taylor expansion of (* z y) in z
1.700 * [taylor]: Taking taylor expansion of z in z
1.700 * [taylor]: Taking taylor expansion of y in z
1.700 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in z
1.700 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in z
1.700 * [taylor]: Taking taylor expansion of 2.0 in z
1.700 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.700 * [taylor]: Taking taylor expansion of b in z
1.700 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.700 * [taylor]: Taking taylor expansion of (* t a) in z
1.700 * [taylor]: Taking taylor expansion of t in z
1.700 * [taylor]: Taking taylor expansion of a in z
1.700 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in y
1.700 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in y
1.700 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y
1.700 * [taylor]: Taking taylor expansion of (* t b) in y
1.700 * [taylor]: Taking taylor expansion of t in y
1.700 * [taylor]: Taking taylor expansion of b in y
1.700 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in y
1.700 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.700 * [taylor]: Taking taylor expansion of 1.0 in y
1.700 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.700 * [taylor]: Taking taylor expansion of z in y
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in y
1.701 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y
1.701 * [taylor]: Taking taylor expansion of (* y b) in y
1.701 * [taylor]: Taking taylor expansion of y in y
1.701 * [taylor]: Taking taylor expansion of b in y
1.701 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y
1.701 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
1.701 * [taylor]: Taking taylor expansion of 1.0 in y
1.701 * [taylor]: Taking taylor expansion of (/ 1 a) in y
1.701 * [taylor]: Taking taylor expansion of a in y
1.701 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.701 * [taylor]: Taking taylor expansion of x in y
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in y
1.701 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.701 * [taylor]: Taking taylor expansion of (* z y) in y
1.701 * [taylor]: Taking taylor expansion of z in y
1.701 * [taylor]: Taking taylor expansion of y in y
1.701 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in y
1.701 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y
1.701 * [taylor]: Taking taylor expansion of 2.0 in y
1.701 * [taylor]: Taking taylor expansion of (/ 1 b) in y
1.701 * [taylor]: Taking taylor expansion of b in y
1.701 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.701 * [taylor]: Taking taylor expansion of (* t a) in y
1.701 * [taylor]: Taking taylor expansion of t in y
1.701 * [taylor]: Taking taylor expansion of a in y
1.701 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in x
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in x
1.701 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in x
1.701 * [taylor]: Taking taylor expansion of (* t b) in x
1.701 * [taylor]: Taking taylor expansion of t in x
1.701 * [taylor]: Taking taylor expansion of b in x
1.701 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in x
1.701 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.701 * [taylor]: Taking taylor expansion of 1.0 in x
1.701 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.701 * [taylor]: Taking taylor expansion of z in x
1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x
1.701 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in x
1.701 * [taylor]: Taking taylor expansion of (* y b) in x
1.701 * [taylor]: Taking taylor expansion of y in x
1.701 * [taylor]: Taking taylor expansion of b in x
1.701 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
1.702 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
1.702 * [taylor]: Taking taylor expansion of 1.0 in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 a) in x
1.702 * [taylor]: Taking taylor expansion of a in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.702 * [taylor]: Taking taylor expansion of (* z y) in x
1.702 * [taylor]: Taking taylor expansion of z in x
1.702 * [taylor]: Taking taylor expansion of y in x
1.702 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in x
1.702 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in x
1.702 * [taylor]: Taking taylor expansion of 2.0 in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 b) in x
1.702 * [taylor]: Taking taylor expansion of b in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.702 * [taylor]: Taking taylor expansion of (* t a) in x
1.702 * [taylor]: Taking taylor expansion of t in x
1.702 * [taylor]: Taking taylor expansion of a in x
1.702 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in x
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in x
1.702 * [taylor]: Taking taylor expansion of (* t b) in x
1.702 * [taylor]: Taking taylor expansion of t in x
1.702 * [taylor]: Taking taylor expansion of b in x
1.702 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in x
1.702 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.702 * [taylor]: Taking taylor expansion of 1.0 in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.702 * [taylor]: Taking taylor expansion of z in x
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in x
1.702 * [taylor]: Taking taylor expansion of (* y b) in x
1.702 * [taylor]: Taking taylor expansion of y in x
1.702 * [taylor]: Taking taylor expansion of b in x
1.702 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
1.702 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
1.702 * [taylor]: Taking taylor expansion of 1.0 in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 a) in x
1.702 * [taylor]: Taking taylor expansion of a in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.703 * [taylor]: Taking taylor expansion of (* z y) in x
1.703 * [taylor]: Taking taylor expansion of z in x
1.703 * [taylor]: Taking taylor expansion of y in x
1.703 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in x
1.703 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in x
1.703 * [taylor]: Taking taylor expansion of 2.0 in x
1.703 * [taylor]: Taking taylor expansion of (/ 1 b) in x
1.703 * [taylor]: Taking taylor expansion of b in x
1.703 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.703 * [taylor]: Taking taylor expansion of (* t a) in x
1.703 * [taylor]: Taking taylor expansion of t in x
1.703 * [taylor]: Taking taylor expansion of a in x
1.703 * [taylor]: Taking taylor expansion of 1 in y
1.704 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in y
1.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) in y
1.704 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y
1.704 * [taylor]: Taking taylor expansion of (* t b) in y
1.704 * [taylor]: Taking taylor expansion of t in y
1.704 * [taylor]: Taking taylor expansion of b in y
1.704 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a)))) in y
1.704 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.704 * [taylor]: Taking taylor expansion of 1.0 in y
1.704 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.704 * [taylor]: Taking taylor expansion of z in y
1.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in y
1.704 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y
1.704 * [taylor]: Taking taylor expansion of (* y b) in y
1.704 * [taylor]: Taking taylor expansion of y in y
1.704 * [taylor]: Taking taylor expansion of b in y
1.704 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
1.704 * [taylor]: Taking taylor expansion of 1.0 in y
1.704 * [taylor]: Taking taylor expansion of (/ 1 a) in y
1.704 * [taylor]: Taking taylor expansion of a in y
1.704 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in y
1.705 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.705 * [taylor]: Taking taylor expansion of (* z y) in y
1.705 * [taylor]: Taking taylor expansion of z in y
1.705 * [taylor]: Taking taylor expansion of y in y
1.705 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in y
1.705 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y
1.705 * [taylor]: Taking taylor expansion of 2.0 in y
1.705 * [taylor]: Taking taylor expansion of (/ 1 b) in y
1.705 * [taylor]: Taking taylor expansion of b in y
1.705 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.705 * [taylor]: Taking taylor expansion of (* t a) in y
1.705 * [taylor]: Taking taylor expansion of t in y
1.705 * [taylor]: Taking taylor expansion of a in y
1.705 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in z
1.705 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.705 * [taylor]: Taking taylor expansion of b in z
1.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.705 * [taylor]: Taking taylor expansion of (neg 1) in t
1.705 * [taylor]: Taking taylor expansion of 1 in t
1.705 * [taylor]: Taking taylor expansion of 1 in z
1.706 * [taylor]: Taking taylor expansion of 0 in y
1.707 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) (+ (/ 1 (* t a)) (* 2.0 (/ 1 b)))) in z
1.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z
1.707 * [taylor]: Taking taylor expansion of (* t b) in z
1.707 * [taylor]: Taking taylor expansion of t in z
1.707 * [taylor]: Taking taylor expansion of b in z
1.707 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in z
1.707 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.707 * [taylor]: Taking taylor expansion of 1.0 in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.707 * [taylor]: Taking taylor expansion of z in z
1.707 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z
1.707 * [taylor]: Taking taylor expansion of 1.0 in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 a) in z
1.707 * [taylor]: Taking taylor expansion of a in z
1.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 2.0 (/ 1 b))) in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.707 * [taylor]: Taking taylor expansion of (* t a) in z
1.707 * [taylor]: Taking taylor expansion of t in z
1.707 * [taylor]: Taking taylor expansion of a in z
1.707 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in z
1.707 * [taylor]: Taking taylor expansion of 2.0 in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.707 * [taylor]: Taking taylor expansion of b in z
1.707 * [taylor]: Taking taylor expansion of 1.0 in t
1.707 * [taylor]: Taking taylor expansion of 0 in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.707 * [taylor]: Taking taylor expansion of b in t
1.707 * [taylor]: Taking taylor expansion of 1 in t
1.707 * [taylor]: Taking taylor expansion of (neg 1) in a
1.708 * [taylor]: Taking taylor expansion of 1 in a
1.708 * [taylor]: Taking taylor expansion of 0 in y
1.708 * [taylor]: Taking taylor expansion of 0 in z
1.709 * [taylor]: Taking taylor expansion of 0 in z
1.709 * [taylor]: Taking taylor expansion of 0 in z
1.710 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (* 1.0 (/ 1 a))) (+ (/ 1 (* t a)) (* 2.0 (/ 1 b)))) in t
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 1.0 (/ 1 a))) in t
1.710 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
1.710 * [taylor]: Taking taylor expansion of (* t b) in t
1.710 * [taylor]: Taking taylor expansion of t in t
1.710 * [taylor]: Taking taylor expansion of b in t
1.710 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.710 * [taylor]: Taking taylor expansion of 1.0 in t
1.710 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.710 * [taylor]: Taking taylor expansion of a in t
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 2.0 (/ 1 b))) in t
1.710 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.710 * [taylor]: Taking taylor expansion of (* t a) in t
1.710 * [taylor]: Taking taylor expansion of t in t
1.710 * [taylor]: Taking taylor expansion of a in t
1.710 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
1.710 * [taylor]: Taking taylor expansion of 2.0 in t
1.710 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.710 * [taylor]: Taking taylor expansion of b in t
1.710 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.710 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.710 * [taylor]: Taking taylor expansion of b in a
1.710 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.710 * [taylor]: Taking taylor expansion of a in a
1.710 * [taylor]: Taking taylor expansion of (neg 1) in b
1.710 * [taylor]: Taking taylor expansion of 1 in b
1.710 * [taylor]: Taking taylor expansion of 0 in t
1.710 * [taylor]: Taking taylor expansion of 0 in t
1.710 * [taylor]: Taking taylor expansion of 0 in t
1.710 * [taylor]: Taking taylor expansion of 1.0 in a
1.710 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.710 * [taylor]: Taking taylor expansion of b in a
1.711 * [taylor]: Taking taylor expansion of 1 in a
1.711 * [taylor]: Taking taylor expansion of 0 in a
1.711 * [taylor]: Taking taylor expansion of (neg 1) in b
1.711 * [taylor]: Taking taylor expansion of 1 in b
1.712 * [taylor]: Taking taylor expansion of 0 in y
1.712 * [taylor]: Taking taylor expansion of 0 in z
1.712 * [taylor]: Taking taylor expansion of 0 in z
1.713 * [taylor]: Taking taylor expansion of 0 in z
1.713 * [taylor]: Taking taylor expansion of 0 in z
1.713 * [taylor]: Taking taylor expansion of 0 in t
1.713 * [taylor]: Taking taylor expansion of 0 in t
1.713 * [taylor]: Taking taylor expansion of 0 in t
1.713 * [taylor]: Taking taylor expansion of 0 in t
1.713 * [taylor]: Taking taylor expansion of 0 in t
1.713 * [taylor]: Taking taylor expansion of 0 in t
1.713 * [taylor]: Taking taylor expansion of 0 in t
1.714 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (* 2.0 (/ 1 b))) in a
1.714 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.714 * [taylor]: Taking taylor expansion of 1.0 in a
1.714 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.714 * [taylor]: Taking taylor expansion of a in a
1.714 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a
1.714 * [taylor]: Taking taylor expansion of 2.0 in a
1.714 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.714 * [taylor]: Taking taylor expansion of b in a
1.714 * [taylor]: Taking taylor expansion of 1.0 in b
1.714 * [taylor]: Taking taylor expansion of 0 in a
1.714 * [taylor]: Taking taylor expansion of 0 in a
1.714 * [taylor]: Taking taylor expansion of 0 in a
1.714 * [taylor]: Taking taylor expansion of 0 in a
1.714 * [taylor]: Taking taylor expansion of 0 in a
1.714 * [taylor]: Taking taylor expansion of 0 in a
1.714 * [taylor]: Taking taylor expansion of 0 in a
1.714 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.714 * [taylor]: Taking taylor expansion of b in b
1.714 * [taylor]: Taking taylor expansion of 1.0 in b
1.714 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.714 * [taylor]: Taking taylor expansion of b in b
1.715 * [taylor]: Taking taylor expansion of 1 in b
1.715 * [taylor]: Taking taylor expansion of 0 in b
1.715 * [taylor]: Taking taylor expansion of 0 in b
1.716 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in (x y z t a b) around 0
1.716 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in b
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in b
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b
1.716 * [taylor]: Taking taylor expansion of (* t b) in b
1.716 * [taylor]: Taking taylor expansion of t in b
1.716 * [taylor]: Taking taylor expansion of b in b
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in b
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b
1.716 * [taylor]: Taking taylor expansion of (* y b) in b
1.716 * [taylor]: Taking taylor expansion of y in b
1.716 * [taylor]: Taking taylor expansion of b in b
1.716 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
1.716 * [taylor]: Taking taylor expansion of 2.0 in b
1.716 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.716 * [taylor]: Taking taylor expansion of b in b
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in b
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b
1.716 * [taylor]: Taking taylor expansion of (* z y) in b
1.716 * [taylor]: Taking taylor expansion of z in b
1.716 * [taylor]: Taking taylor expansion of y in b
1.716 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in b
1.716 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b
1.716 * [taylor]: Taking taylor expansion of 1.0 in b
1.716 * [taylor]: Taking taylor expansion of (/ 1 z) in b
1.716 * [taylor]: Taking taylor expansion of z in b
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in b
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
1.716 * [taylor]: Taking taylor expansion of (* t a) in b
1.716 * [taylor]: Taking taylor expansion of t in b
1.716 * [taylor]: Taking taylor expansion of a in b
1.717 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in b
1.717 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
1.717 * [taylor]: Taking taylor expansion of 1.0 in b
1.717 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.717 * [taylor]: Taking taylor expansion of a in b
1.717 * [taylor]: Taking taylor expansion of (/ 1 x) in b
1.717 * [taylor]: Taking taylor expansion of x in b
1.717 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in a
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in a
1.717 * [taylor]: Taking taylor expansion of (* t b) in a
1.717 * [taylor]: Taking taylor expansion of t in a
1.717 * [taylor]: Taking taylor expansion of b in a
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a
1.717 * [taylor]: Taking taylor expansion of (* y b) in a
1.717 * [taylor]: Taking taylor expansion of y in a
1.717 * [taylor]: Taking taylor expansion of b in a
1.717 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a
1.717 * [taylor]: Taking taylor expansion of 2.0 in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.717 * [taylor]: Taking taylor expansion of b in a
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a
1.717 * [taylor]: Taking taylor expansion of (* z y) in a
1.717 * [taylor]: Taking taylor expansion of z in a
1.717 * [taylor]: Taking taylor expansion of y in a
1.717 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in a
1.717 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a
1.717 * [taylor]: Taking taylor expansion of 1.0 in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.717 * [taylor]: Taking taylor expansion of z in a
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
1.717 * [taylor]: Taking taylor expansion of (* t a) in a
1.717 * [taylor]: Taking taylor expansion of t in a
1.717 * [taylor]: Taking taylor expansion of a in a
1.717 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in a
1.717 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.717 * [taylor]: Taking taylor expansion of 1.0 in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.717 * [taylor]: Taking taylor expansion of a in a
1.717 * [taylor]: Taking taylor expansion of (/ 1 x) in a
1.717 * [taylor]: Taking taylor expansion of x in a
1.717 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in t
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
1.718 * [taylor]: Taking taylor expansion of (* t b) in t
1.718 * [taylor]: Taking taylor expansion of t in t
1.718 * [taylor]: Taking taylor expansion of b in t
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t
1.718 * [taylor]: Taking taylor expansion of (* y b) in t
1.718 * [taylor]: Taking taylor expansion of y in t
1.718 * [taylor]: Taking taylor expansion of b in t
1.718 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
1.718 * [taylor]: Taking taylor expansion of 2.0 in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.718 * [taylor]: Taking taylor expansion of b in t
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
1.718 * [taylor]: Taking taylor expansion of (* z y) in t
1.718 * [taylor]: Taking taylor expansion of z in t
1.718 * [taylor]: Taking taylor expansion of y in t
1.718 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in t
1.718 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t
1.718 * [taylor]: Taking taylor expansion of 1.0 in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.718 * [taylor]: Taking taylor expansion of z in t
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.718 * [taylor]: Taking taylor expansion of (* t a) in t
1.718 * [taylor]: Taking taylor expansion of t in t
1.718 * [taylor]: Taking taylor expansion of a in t
1.718 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t
1.718 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.718 * [taylor]: Taking taylor expansion of 1.0 in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.718 * [taylor]: Taking taylor expansion of a in t
1.718 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.718 * [taylor]: Taking taylor expansion of x in t
1.718 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in z
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z
1.718 * [taylor]: Taking taylor expansion of (* t b) in z
1.718 * [taylor]: Taking taylor expansion of t in z
1.718 * [taylor]: Taking taylor expansion of b in z
1.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in z
1.718 * [taylor]: Taking taylor expansion of (* y b) in z
1.719 * [taylor]: Taking taylor expansion of y in z
1.719 * [taylor]: Taking taylor expansion of b in z
1.719 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in z
1.719 * [taylor]: Taking taylor expansion of 2.0 in z
1.719 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.719 * [taylor]: Taking taylor expansion of b in z
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in z
1.719 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.719 * [taylor]: Taking taylor expansion of (* z y) in z
1.719 * [taylor]: Taking taylor expansion of z in z
1.719 * [taylor]: Taking taylor expansion of y in z
1.719 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in z
1.719 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.719 * [taylor]: Taking taylor expansion of 1.0 in z
1.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.719 * [taylor]: Taking taylor expansion of z in z
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in z
1.719 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.719 * [taylor]: Taking taylor expansion of (* t a) in z
1.719 * [taylor]: Taking taylor expansion of t in z
1.719 * [taylor]: Taking taylor expansion of a in z
1.719 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in z
1.719 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z
1.719 * [taylor]: Taking taylor expansion of 1.0 in z
1.719 * [taylor]: Taking taylor expansion of (/ 1 a) in z
1.719 * [taylor]: Taking taylor expansion of a in z
1.719 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.719 * [taylor]: Taking taylor expansion of x in z
1.719 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in y
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in y
1.719 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y
1.719 * [taylor]: Taking taylor expansion of (* t b) in y
1.719 * [taylor]: Taking taylor expansion of t in y
1.719 * [taylor]: Taking taylor expansion of b in y
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in y
1.719 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y
1.719 * [taylor]: Taking taylor expansion of (* y b) in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.719 * [taylor]: Taking taylor expansion of b in y
1.719 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y
1.719 * [taylor]: Taking taylor expansion of 2.0 in y
1.719 * [taylor]: Taking taylor expansion of (/ 1 b) in y
1.719 * [taylor]: Taking taylor expansion of b in y
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in y
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.720 * [taylor]: Taking taylor expansion of (* z y) in y
1.720 * [taylor]: Taking taylor expansion of z in y
1.720 * [taylor]: Taking taylor expansion of y in y
1.720 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in y
1.720 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.720 * [taylor]: Taking taylor expansion of 1.0 in y
1.720 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.720 * [taylor]: Taking taylor expansion of z in y
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in y
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.720 * [taylor]: Taking taylor expansion of (* t a) in y
1.720 * [taylor]: Taking taylor expansion of t in y
1.720 * [taylor]: Taking taylor expansion of a in y
1.720 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y
1.720 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
1.720 * [taylor]: Taking taylor expansion of 1.0 in y
1.720 * [taylor]: Taking taylor expansion of (/ 1 a) in y
1.720 * [taylor]: Taking taylor expansion of a in y
1.720 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.720 * [taylor]: Taking taylor expansion of x in y
1.720 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in x
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in x
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in x
1.720 * [taylor]: Taking taylor expansion of (* t b) in x
1.720 * [taylor]: Taking taylor expansion of t in x
1.720 * [taylor]: Taking taylor expansion of b in x
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in x
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in x
1.720 * [taylor]: Taking taylor expansion of (* y b) in x
1.720 * [taylor]: Taking taylor expansion of y in x
1.720 * [taylor]: Taking taylor expansion of b in x
1.720 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in x
1.720 * [taylor]: Taking taylor expansion of 2.0 in x
1.720 * [taylor]: Taking taylor expansion of (/ 1 b) in x
1.720 * [taylor]: Taking taylor expansion of b in x
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in x
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.720 * [taylor]: Taking taylor expansion of (* z y) in x
1.720 * [taylor]: Taking taylor expansion of z in x
1.720 * [taylor]: Taking taylor expansion of y in x
1.721 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in x
1.721 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.721 * [taylor]: Taking taylor expansion of 1.0 in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.721 * [taylor]: Taking taylor expansion of z in x
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.721 * [taylor]: Taking taylor expansion of (* t a) in x
1.721 * [taylor]: Taking taylor expansion of t in x
1.721 * [taylor]: Taking taylor expansion of a in x
1.721 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
1.721 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
1.721 * [taylor]: Taking taylor expansion of 1.0 in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 a) in x
1.721 * [taylor]: Taking taylor expansion of a in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.721 * [taylor]: Taking taylor expansion of x in x
1.721 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in x
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in x
1.721 * [taylor]: Taking taylor expansion of (* t b) in x
1.721 * [taylor]: Taking taylor expansion of t in x
1.721 * [taylor]: Taking taylor expansion of b in x
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in x
1.721 * [taylor]: Taking taylor expansion of (* y b) in x
1.721 * [taylor]: Taking taylor expansion of y in x
1.721 * [taylor]: Taking taylor expansion of b in x
1.721 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in x
1.721 * [taylor]: Taking taylor expansion of 2.0 in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 b) in x
1.721 * [taylor]: Taking taylor expansion of b in x
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.721 * [taylor]: Taking taylor expansion of (* z y) in x
1.721 * [taylor]: Taking taylor expansion of z in x
1.721 * [taylor]: Taking taylor expansion of y in x
1.721 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in x
1.721 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.721 * [taylor]: Taking taylor expansion of 1.0 in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.721 * [taylor]: Taking taylor expansion of z in x
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
1.721 * [taylor]: Taking taylor expansion of (* t a) in x
1.721 * [taylor]: Taking taylor expansion of t in x
1.722 * [taylor]: Taking taylor expansion of a in x
1.722 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
1.722 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
1.722 * [taylor]: Taking taylor expansion of 1.0 in x
1.722 * [taylor]: Taking taylor expansion of (/ 1 a) in x
1.722 * [taylor]: Taking taylor expansion of a in x
1.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.722 * [taylor]: Taking taylor expansion of x in x
1.722 * [taylor]: Taking taylor expansion of (neg 1) in y
1.722 * [taylor]: Taking taylor expansion of 1 in y
1.723 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in y
1.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in y
1.723 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y
1.723 * [taylor]: Taking taylor expansion of (* t b) in y
1.723 * [taylor]: Taking taylor expansion of t in y
1.723 * [taylor]: Taking taylor expansion of b in y
1.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in y
1.723 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y
1.723 * [taylor]: Taking taylor expansion of (* y b) in y
1.723 * [taylor]: Taking taylor expansion of y in y
1.723 * [taylor]: Taking taylor expansion of b in y
1.723 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y
1.723 * [taylor]: Taking taylor expansion of 2.0 in y
1.723 * [taylor]: Taking taylor expansion of (/ 1 b) in y
1.723 * [taylor]: Taking taylor expansion of b in y
1.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in y
1.723 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.723 * [taylor]: Taking taylor expansion of (* z y) in y
1.723 * [taylor]: Taking taylor expansion of z in y
1.723 * [taylor]: Taking taylor expansion of y in y
1.724 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in y
1.724 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.724 * [taylor]: Taking taylor expansion of 1.0 in y
1.724 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.724 * [taylor]: Taking taylor expansion of z in y
1.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in y
1.724 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
1.724 * [taylor]: Taking taylor expansion of (* t a) in y
1.724 * [taylor]: Taking taylor expansion of t in y
1.724 * [taylor]: Taking taylor expansion of a in y
1.724 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
1.724 * [taylor]: Taking taylor expansion of 1.0 in y
1.724 * [taylor]: Taking taylor expansion of (/ 1 a) in y
1.724 * [taylor]: Taking taylor expansion of a in y
1.724 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in z
1.724 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.724 * [taylor]: Taking taylor expansion of b in z
1.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.724 * [taylor]: Taking taylor expansion of z in z
1.724 * [taylor]: Taking taylor expansion of (neg 1) in t
1.724 * [taylor]: Taking taylor expansion of 1 in t
1.724 * [taylor]: Taking taylor expansion of (neg 1) in z
1.724 * [taylor]: Taking taylor expansion of 1 in z
1.725 * [taylor]: Taking taylor expansion of 0 in y
1.726 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))))) in z
1.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in z
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z
1.726 * [taylor]: Taking taylor expansion of (* t b) in z
1.726 * [taylor]: Taking taylor expansion of t in z
1.726 * [taylor]: Taking taylor expansion of b in z
1.726 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in z
1.726 * [taylor]: Taking taylor expansion of 2.0 in z
1.726 * [taylor]: Taking taylor expansion of (/ 1 b) in z
1.726 * [taylor]: Taking taylor expansion of b in z
1.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) in z
1.726 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z
1.726 * [taylor]: Taking taylor expansion of (* t a) in z
1.726 * [taylor]: Taking taylor expansion of t in z
1.726 * [taylor]: Taking taylor expansion of a in z
1.726 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in z
1.726 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.726 * [taylor]: Taking taylor expansion of 1.0 in z
1.726 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.726 * [taylor]: Taking taylor expansion of z in z
1.726 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z
1.726 * [taylor]: Taking taylor expansion of 1.0 in z
1.726 * [taylor]: Taking taylor expansion of (/ 1 a) in z
1.726 * [taylor]: Taking taylor expansion of a in z
1.726 * [taylor]: Taking taylor expansion of (neg 1.0) in t
1.726 * [taylor]: Taking taylor expansion of 1.0 in t
1.726 * [taylor]: Taking taylor expansion of 0 in z
1.726 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.726 * [taylor]: Taking taylor expansion of b in t
1.726 * [taylor]: Taking taylor expansion of (neg 1) in t
1.726 * [taylor]: Taking taylor expansion of 1 in t
1.727 * [taylor]: Taking taylor expansion of (neg 1) in a
1.727 * [taylor]: Taking taylor expansion of 1 in a
1.727 * [taylor]: Taking taylor expansion of 0 in y
1.727 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in t
1.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t
1.729 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
1.729 * [taylor]: Taking taylor expansion of (* t b) in t
1.729 * [taylor]: Taking taylor expansion of t in t
1.729 * [taylor]: Taking taylor expansion of b in t
1.729 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
1.729 * [taylor]: Taking taylor expansion of 2.0 in t
1.729 * [taylor]: Taking taylor expansion of (/ 1 b) in t
1.729 * [taylor]: Taking taylor expansion of b in t
1.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in t
1.729 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
1.729 * [taylor]: Taking taylor expansion of (* t a) in t
1.729 * [taylor]: Taking taylor expansion of t in t
1.729 * [taylor]: Taking taylor expansion of a in t
1.729 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
1.729 * [taylor]: Taking taylor expansion of 1.0 in t
1.729 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.729 * [taylor]: Taking taylor expansion of a in t
1.729 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.729 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.729 * [taylor]: Taking taylor expansion of b in a
1.729 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.729 * [taylor]: Taking taylor expansion of a in a
1.729 * [taylor]: Taking taylor expansion of (neg 1) in b
1.729 * [taylor]: Taking taylor expansion of 1 in b
1.729 * [taylor]: Taking taylor expansion of 0 in t
1.729 * [taylor]: Taking taylor expansion of 0 in t
1.729 * [taylor]: Taking taylor expansion of 0 in t
1.729 * [taylor]: Taking taylor expansion of (neg 1.0) in a
1.729 * [taylor]: Taking taylor expansion of 1.0 in a
1.729 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.729 * [taylor]: Taking taylor expansion of b in a
1.730 * [taylor]: Taking taylor expansion of (neg 1) in a
1.730 * [taylor]: Taking taylor expansion of 1 in a
1.730 * [taylor]: Taking taylor expansion of 0 in a
1.730 * [taylor]: Taking taylor expansion of (neg 1) in b
1.730 * [taylor]: Taking taylor expansion of 1 in b
1.731 * [taylor]: Taking taylor expansion of 0 in y
1.731 * [taylor]: Taking taylor expansion of 0 in z
1.731 * [taylor]: Taking taylor expansion of 0 in z
1.732 * [taylor]: Taking taylor expansion of 0 in z
1.732 * [taylor]: Taking taylor expansion of 0 in z
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.732 * [taylor]: Taking taylor expansion of 0 in t
1.733 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (* 1.0 (/ 1 a))) in a
1.733 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a
1.733 * [taylor]: Taking taylor expansion of 2.0 in a
1.733 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.733 * [taylor]: Taking taylor expansion of b in a
1.733 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.733 * [taylor]: Taking taylor expansion of 1.0 in a
1.733 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.733 * [taylor]: Taking taylor expansion of a in a
1.733 * [taylor]: Taking taylor expansion of (neg 1.0) in b
1.733 * [taylor]: Taking taylor expansion of 1.0 in b
1.733 * [taylor]: Taking taylor expansion of 0 in a
1.733 * [taylor]: Taking taylor expansion of 0 in a
1.733 * [taylor]: Taking taylor expansion of 0 in a
1.733 * [taylor]: Taking taylor expansion of 0 in a
1.733 * [taylor]: Taking taylor expansion of 0 in a
1.733 * [taylor]: Taking taylor expansion of 0 in a
1.733 * [taylor]: Taking taylor expansion of 0 in a
1.733 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.733 * [taylor]: Taking taylor expansion of b in b
1.733 * [taylor]: Taking taylor expansion of (neg 1.0) in b
1.733 * [taylor]: Taking taylor expansion of 1.0 in b
1.734 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.734 * [taylor]: Taking taylor expansion of b in b
1.734 * [taylor]: Taking taylor expansion of (neg 1) in b
1.734 * [taylor]: Taking taylor expansion of 1 in b
1.734 * [taylor]: Taking taylor expansion of 0 in b
1.734 * [taylor]: Taking taylor expansion of 0 in b
1.734 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.734 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0
1.734 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a
1.734 * [taylor]: Taking taylor expansion of (- t 1.0) in a
1.734 * [taylor]: Taking taylor expansion of t in a
1.734 * [taylor]: Taking taylor expansion of 1.0 in a
1.734 * [taylor]: Taking taylor expansion of a in a
1.734 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t
1.734 * [taylor]: Taking taylor expansion of (- t 1.0) in t
1.734 * [taylor]: Taking taylor expansion of t in t
1.734 * [taylor]: Taking taylor expansion of 1.0 in t
1.734 * [taylor]: Taking taylor expansion of a in t
1.734 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t
1.735 * [taylor]: Taking taylor expansion of (- t 1.0) in t
1.735 * [taylor]: Taking taylor expansion of t in t
1.735 * [taylor]: Taking taylor expansion of 1.0 in t
1.735 * [taylor]: Taking taylor expansion of a in t
1.735 * [taylor]: Taking taylor expansion of (* -1.0 a) in a
1.735 * [taylor]: Taking taylor expansion of -1.0 in a
1.735 * [taylor]: Taking taylor expansion of a in a
1.735 * [taylor]: Taking taylor expansion of a in a
1.735 * [taylor]: Taking taylor expansion of 0 in a
1.735 * [taylor]: Taking taylor expansion of 0 in a
1.735 * [taylor]: Taking taylor expansion of 0 in a
1.735 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0
1.735 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a
1.735 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a
1.735 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.735 * [taylor]: Taking taylor expansion of t in a
1.735 * [taylor]: Taking taylor expansion of 1.0 in a
1.735 * [taylor]: Taking taylor expansion of a in a
1.736 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t
1.736 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t
1.736 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.736 * [taylor]: Taking taylor expansion of t in t
1.736 * [taylor]: Taking taylor expansion of 1.0 in t
1.736 * [taylor]: Taking taylor expansion of a in t
1.736 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t
1.736 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t
1.736 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.736 * [taylor]: Taking taylor expansion of t in t
1.736 * [taylor]: Taking taylor expansion of 1.0 in t
1.736 * [taylor]: Taking taylor expansion of a in t
1.736 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.736 * [taylor]: Taking taylor expansion of a in a
1.736 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in a
1.736 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.736 * [taylor]: Taking taylor expansion of 1.0 in a
1.736 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.736 * [taylor]: Taking taylor expansion of a in a
1.736 * [taylor]: Taking taylor expansion of 0 in a
1.737 * [taylor]: Taking taylor expansion of 0 in a
1.737 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0
1.737 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a
1.737 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
1.737 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.737 * [taylor]: Taking taylor expansion of t in a
1.737 * [taylor]: Taking taylor expansion of 1.0 in a
1.737 * [taylor]: Taking taylor expansion of a in a
1.737 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t
1.737 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.737 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.737 * [taylor]: Taking taylor expansion of t in t
1.737 * [taylor]: Taking taylor expansion of 1.0 in t
1.737 * [taylor]: Taking taylor expansion of a in t
1.737 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t
1.737 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.737 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.737 * [taylor]: Taking taylor expansion of t in t
1.737 * [taylor]: Taking taylor expansion of 1.0 in t
1.737 * [taylor]: Taking taylor expansion of a in t
1.737 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.737 * [taylor]: Taking taylor expansion of a in a
1.738 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
1.738 * [taylor]: Taking taylor expansion of 1.0 in a
1.738 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.738 * [taylor]: Taking taylor expansion of a in a
1.738 * [taylor]: Taking taylor expansion of 0 in a
1.738 * [taylor]: Taking taylor expansion of 0 in a
1.738 * * * [progress]: simplifying candidates
1.740 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (+ y t) 2.0) b)
  (+ (log (- (+ y t) 2.0)) (log b))
  (log (* (- (+ y t) 2.0) b))
  (exp (* (- (+ y t) 2.0) b))
  (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b))
  (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
  (cbrt (* (- (+ y t) 2.0) b))
  (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b))
  (sqrt (* (- (+ y t) 2.0) b))
  (sqrt (* (- (+ y t) 2.0) b))
  (* (sqrt (- (+ y t) 2.0)) (sqrt b))
  (* (sqrt (- (+ y t) 2.0)) (sqrt b))
  (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b)))
  (* (- (+ y t) 2.0) (sqrt b))
  (* (- (+ y t) 2.0) 1)
  (* (cbrt (- (+ y t) 2.0)) b)
  (* (sqrt (- (+ y t) 2.0)) b)
  (* (- (+ y t) 2.0) b)
  (* (- (sqrt (+ y t)) (sqrt 2.0)) b)
  (* (- (+ y t) 2.0) b)
  (* (- (+ y t) 2.0) b)
  (* (- (pow (+ y t) 3) (pow 2.0 3)) b)
  (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
  (* (- y 1.0) z)
  (+ (log (- y 1.0)) (log z))
  (log (* (- y 1.0) z))
  (exp (* (- y 1.0) z))
  (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* z z) z))
  (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z)))
  (cbrt (* (- y 1.0) z))
  (* (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (- y 1.0) z))
  (sqrt (* (- y 1.0) z))
  (sqrt (* (- y 1.0) z))
  (* (sqrt (- y 1.0)) (sqrt z))
  (* (sqrt (- y 1.0)) (sqrt z))
  (* (- y 1.0) (* (cbrt z) (cbrt z)))
  (* (- y 1.0) (sqrt z))
  (* (- y 1.0) 1)
  (* (cbrt (- y 1.0)) z)
  (* (sqrt (- y 1.0)) z)
  (* (- y 1.0) z)
  (* (- (sqrt y) (sqrt 1.0)) z)
  (* (- y 1.0) z)
  (* (- (pow y 3) (pow 1.0 3)) z)
  (* (- (* y y) (* 1.0 1.0)) z)
  (* (/ (/ (exp x) (exp (* (- y 1.0) z))) (exp (* (- t 1.0) a))) (exp (* (- (+ y t) 2.0) b)))
  (* (/ (exp (- x (* (- y 1.0) z))) (exp (* (- t 1.0) a))) (exp (* (- (+ y t) 2.0) b)))
  (* (exp (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (exp (* (- (+ y t) 2.0) b)))
  (log (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
  (exp (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
  (* (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))
  (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
  (* (* (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
  (sqrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
  (sqrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
  (+ (* (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (* (- (pow t 3) (pow 1.0 3)) a))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (- (pow (+ y t) 3) (pow 2.0 3)) b)))
  (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
  (+ (* (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (* (- (pow t 3) (pow 1.0 3)) a))) (+ (+ y t) 2.0)) (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)))
  (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (+ (+ y t) 2.0))
  (+ (* (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ t 1.0)) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (* (- (* t t) (* 1.0 1.0)) a))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ t 1.0)) (* (- (pow (+ y t) 3) (pow 2.0 3)) b)))
  (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ t 1.0)) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
  (+ (* (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ t 1.0)) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (* (- (* t t) (* 1.0 1.0)) a))) (+ (+ y t) 2.0)) (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ t 1.0)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)))
  (* (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ t 1.0)) (+ (+ y t) 2.0))
  (+ (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ x (* (- y 1.0) z)) (* (- (pow t 3) (pow 1.0 3)) a))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (* (+ x (* (- y 1.0) z)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (- (pow (+ y t) 3) (pow 2.0 3)) b)))
  (* (* (+ x (* (- y 1.0) z)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
  (+ (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ x (* (- y 1.0) z)) (* (- (pow t 3) (pow 1.0 3)) a))) (+ (+ y t) 2.0)) (* (* (+ x (* (- y 1.0) z)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)))
  (* (* (+ x (* (- y 1.0) z)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (+ (+ y t) 2.0))
  (+ (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ t 1.0)) (* (+ x (* (- y 1.0) z)) (* (- (* t t) (* 1.0 1.0)) a))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (* (+ x (* (- y 1.0) z)) (+ t 1.0)) (* (- (pow (+ y t) 3) (pow 2.0 3)) b)))
  (* (* (+ x (* (- y 1.0) z)) (+ t 1.0)) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
  (+ (* (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ t 1.0)) (* (+ x (* (- y 1.0) z)) (* (- (* t t) (* 1.0 1.0)) a))) (+ (+ y t) 2.0)) (* (* (+ x (* (- y 1.0) z)) (+ t 1.0)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)))
  (* (* (+ x (* (- y 1.0) z)) (+ t 1.0)) (+ (+ y t) 2.0))
  (+ (* (- (pow (- x (* (- y 1.0) z)) 3) (pow (* (- t 1.0) a) 3)) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (+ (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- x (* (- y 1.0) z)) (* (- t 1.0) a)))) (* (- (pow (+ y t) 3) (pow 2.0 3)) b)))
  (* (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (+ (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- x (* (- y 1.0) z)) (* (- t 1.0) a)))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
  (+ (* (- (pow (- x (* (- y 1.0) z)) 3) (pow (* (- t 1.0) a) 3)) (+ (+ y t) 2.0)) (* (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (+ (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- x (* (- y 1.0) z)) (* (- t 1.0) a)))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)))
  (* (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (+ (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- x (* (- y 1.0) z)) (* (- t 1.0) a)))) (+ (+ y t) 2.0))
  (+ (* (- (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (* (- t 1.0) a) (* (- t 1.0) a))) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0)))) (* (+ (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (pow (+ y t) 3) (pow 2.0 3)) b)))
  (* (+ (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (+ (* (+ y t) (+ y t)) (+ (* 2.0 2.0) (* (+ y t) 2.0))))
  (+ (* (- (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (* (- t 1.0) a) (* (- t 1.0) a))) (+ (+ y t) 2.0)) (* (+ (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)))
  (* (+ (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (+ (+ y t) 2.0))
  (+ (pow (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) 3) (pow (* (- (+ y t) 2.0) b) 3))
  (+ (* (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (- (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))
  (- (* (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)))
  (- (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
  (+ (neg (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
  (+ (- (neg (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
  (- (* (- t 1.0) a) (* (- (+ y t) 2.0) b))
  (* (- t 1.0) a)
  (+ (log (- t 1.0)) (log a))
  (log (* (- t 1.0) a))
  (exp (* (- t 1.0) a))
  (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a))
  (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))
  (cbrt (* (- t 1.0) a))
  (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a))
  (sqrt (* (- t 1.0) a))
  (sqrt (* (- t 1.0) a))
  (* (sqrt (- t 1.0)) (sqrt a))
  (* (sqrt (- t 1.0)) (sqrt a))
  (* (- t 1.0) (* (cbrt a) (cbrt a)))
  (* (- t 1.0) (sqrt a))
  (* (- t 1.0) 1)
  (* (cbrt (- t 1.0)) a)
  (* (sqrt (- t 1.0)) a)
  (* (- t 1.0) a)
  (* (- (sqrt t) (sqrt 1.0)) a)
  (* (- t 1.0) a)
  (* (- (pow t 3) (pow 1.0 3)) a)
  (* (- (* t t) (* 1.0 1.0)) a)
  (- (+ (* y b) (* t b)) (* 2.0 b))
  (- (+ (* y b) (* t b)) (* 2.0 b))
  (- (+ (* y b) (* t b)) (* 2.0 b))
  (- (* z y) (* 1.0 z))
  (- (* z y) (* 1.0 z))
  (- (* z y) (* 1.0 z))
  (+ (* 1.0 a) (+ x (* 1.0 z)))
  (- (+ (* y b) (* t b)) (* a t))
  (- (+ (* y b) (* t b)) (* a t))
  (- (* a t) (* 1.0 a))
  (- (* a t) (* 1.0 a))
  (- (* a t) (* 1.0 a))
1.781 * * [simplify]: iteration  0 :  4970  enodes  (cost  2369 )
1.782 * * [simplify]: iteration  1 :  4970  enodes  (cost  2369 )
1.788 * [simplify]: Simplified to:
   (* (+ y (- t 2.0)) b)
  (log (* (+ y (- t 2.0)) b))
  (log (* (+ y (- t 2.0)) b))
  (pow (exp (+ y (- t 2.0))) b)
  (pow (* (+ y (- t 2.0)) b) 3)
  (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b)))
  (cbrt (* (+ y (- t 2.0)) b))
  (pow (* (+ y (- t 2.0)) b) 3)
  (sqrt (* (+ y (- t 2.0)) b))
  (sqrt (* (+ y (- t 2.0)) b))
  (* (sqrt (+ y (- t 2.0))) (sqrt b))
  (* (sqrt (+ y (- t 2.0))) (sqrt b))
  (* (+ y (- t 2.0)) (* (cbrt b) (cbrt b)))
  (* (+ y (- t 2.0)) (sqrt b))
  (+ y (- t 2.0))
  (* b (cbrt (+ y (- t 2.0))))
  (* b (sqrt (+ y (- t 2.0))))
  (* (+ y (- t 2.0)) b)
  (* b (- (sqrt (+ y t)) (sqrt 2.0)))
  (* (+ y (- t 2.0)) b)
  (* (+ y (- t 2.0)) b)
  (* b (- (pow (+ y t) 3) (pow 2.0 3)))
  (* b (- (* (+ y t) (+ y t)) (* 2.0 2.0)))
  (* (- y 1.0) z)
  (log (* (- y 1.0) z))
  (log (* (- y 1.0) z))
  (pow (exp (- y 1.0)) z)
  (pow (* (- y 1.0) z) 3)
  (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z)))
  (cbrt (* (- y 1.0) z))
  (pow (* (- y 1.0) z) 3)
  (sqrt (* (- y 1.0) z))
  (sqrt (* (- y 1.0) z))
  (* (sqrt (- y 1.0)) (sqrt z))
  (* (sqrt (- y 1.0)) (sqrt z))
  (* (- y 1.0) (* (cbrt z) (cbrt z)))
  (* (- y 1.0) (sqrt z))
  (- y 1.0)
  (* z (cbrt (- y 1.0)))
  (* z (sqrt (- y 1.0)))
  (* (- y 1.0) z)
  (* z (- (sqrt y) (sqrt 1.0)))
  (* (- y 1.0) z)
  (* z (- (pow y 3) (pow 1.0 3)))
  (* z (- (* y y) (* 1.0 1.0)))
  (exp (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (exp (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (exp (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (log (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (exp (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (* (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))))))
  (cbrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (pow (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))) 3)
  (sqrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (sqrt (+ (* (+ y (- t 2.0)) b) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))))
  (+ (* (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* t t) (* 1.0 (+ t 1.0)))) (* a (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (- (pow t 3) (pow 1.0 3))))) (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0))))) (* b (* (- (pow (+ y t) 3) (pow 2.0 3)) (* (+ (* t t) (* 1.0 (+ t 1.0))) (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x))))))))
  (* (+ (* t t) (* 1.0 (+ t 1.0))) (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0))))))
  (+ (* (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* t t) (* 1.0 (+ t 1.0)))) (* a (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (- (pow t 3) (pow 1.0 3))))) (+ y (+ t 2.0))) (* b (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (+ (* t t) (* 1.0 (+ t 1.0))) (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x))))))))
  (* (+ (* t t) (* 1.0 (+ t 1.0))) (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (+ y (+ t 2.0))))
  (+ (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ t 1.0)) (* a (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (- (* t t) (* 1.0 1.0)))))) (* b (* (- (pow (+ y t) 3) (pow 2.0 3)) (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (+ t 1.0)))))
  (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (+ t 1.0)))
  (+ (* (+ y (+ t 2.0)) (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ t 1.0)) (* a (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (- (* t t) (* 1.0 1.0)))))) (* b (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (+ t 1.0)))))
  (* (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (* (+ y (+ t 2.0)) (+ t 1.0)))
  (+ (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (- (* (+ (* t t) (* 1.0 (+ t 1.0))) (- (* x x) (* (- y 1.0) (* z (* (- y 1.0) z))))) (* a (* (- (pow t 3) (pow 1.0 3)) (+ (* (- y 1.0) z) x))))) (* b (* (- (pow (+ y t) 3) (pow 2.0 3)) (* (+ (* t t) (* 1.0 (+ t 1.0))) (+ (* (- y 1.0) z) x)))))
  (* (+ (* t t) (* 1.0 (+ t 1.0))) (* (+ (* (- y 1.0) z) x) (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0))))))
  (+ (* (+ y (+ t 2.0)) (- (* (+ (* t t) (* 1.0 (+ t 1.0))) (- (* x x) (* (- y 1.0) (* z (* (- y 1.0) z))))) (* a (* (- (pow t 3) (pow 1.0 3)) (+ (* (- y 1.0) z) x))))) (* b (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (+ (* t t) (* 1.0 (+ t 1.0))) (+ (* (- y 1.0) z) x)))))
  (* (+ (* t t) (* 1.0 (+ t 1.0))) (* (+ (* (- y 1.0) z) x) (+ y (+ t 2.0))))
  (+ (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (- (* (+ t 1.0) (- (* x x) (* (- y 1.0) (* z (* (- y 1.0) z))))) (* a (* (- (* t t) (* 1.0 1.0)) (+ (* (- y 1.0) z) x))))) (* b (* (- (pow (+ y t) 3) (pow 2.0 3)) (* (+ t 1.0) (+ (* (- y 1.0) z) x)))))
  (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (* (+ t 1.0) (+ (* (- y 1.0) z) x)))
  (+ (* (+ y (+ t 2.0)) (- (* (+ t 1.0) (- (* x x) (* (- y 1.0) (* z (* (- y 1.0) z))))) (* a (* (- (* t t) (* 1.0 1.0)) (+ (* (- y 1.0) z) x))))) (* b (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (+ t 1.0) (+ (* (- y 1.0) z) x)))))
  (* (+ y (+ t 2.0)) (* (+ t 1.0) (+ (* (- y 1.0) z) x)))
  (+ (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (- (pow (- x (* (- y 1.0) z)) 3) (pow (* (- t 1.0) a) 3))) (* b (* (- (pow (+ y t) 3) (pow 2.0 3)) (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (- t 1.0) (* a (+ (* (- t 1.0) a) (- x (* (- y 1.0) z)))))))))
  (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (- t 1.0) (* a (+ (* (- t 1.0) a) (- x (* (- y 1.0) z)))))))
  (+ (* (+ y (+ t 2.0)) (- (pow (- x (* (- y 1.0) z)) 3) (pow (* (- t 1.0) a) 3))) (* b (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (- t 1.0) (* a (+ (* (- t 1.0) a) (- x (* (- y 1.0) z)))))))))
  (* (+ y (+ t 2.0)) (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (- t 1.0) (* a (+ (* (- t 1.0) a) (- x (* (- y 1.0) z)))))))
  (+ (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (- (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (- t 1.0) (* a (* (- t 1.0) a))))) (* b (* (- (pow (+ y t) 3) (pow 2.0 3)) (+ (* (- t 1.0) a) (- x (* (- y 1.0) z))))))
  (* (+ (* (+ y t) (+ y t)) (* 2.0 (+ y (+ t 2.0)))) (+ (* (- t 1.0) a) (- x (* (- y 1.0) z))))
  (+ (* (+ y (+ t 2.0)) (- (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (- t 1.0) (* a (* (- t 1.0) a))))) (* b (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (+ (* (- t 1.0) a) (- x (* (- y 1.0) z))))))
  (* (+ y (+ t 2.0)) (+ (* (- t 1.0) a) (- x (* (- y 1.0) z))))
  (+ (pow (* (+ y (- t 2.0)) b) 3) (pow (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))) 3))
  (+ (* (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (* (+ y (- t 2.0)) (* b (+ (- (* (+ y (- t 2.0)) b) (- x (* (- y 1.0) z))) (* (- t 1.0) a)))))
  (- (* (- x (+ (* (- y 1.0) z) (* (- t 1.0) a))) (- x (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (* (+ y (- t 2.0)) (* b (* (+ y (- t 2.0)) b))))
  (- x (+ (* (- y 1.0) z) (+ (* (+ y (- t 2.0)) b) (* (- t 1.0) a))))
  (- (* (+ y (- t 2.0)) b) (* (- t 1.0) a))
  (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))
  (- (* (- t 1.0) a) (* (+ y (- t 2.0)) b))
  (* (- t 1.0) a)
  (log (* (- t 1.0) a))
  (log (* (- t 1.0) a))
  (pow (exp (- t 1.0)) a)
  (pow (* (- t 1.0) a) 3)
  (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))
  (cbrt (* (- t 1.0) a))
  (pow (* (- t 1.0) a) 3)
  (sqrt (* (- t 1.0) a))
  (sqrt (* (- t 1.0) a))
  (* (sqrt (- t 1.0)) (sqrt a))
  (* (sqrt (- t 1.0)) (sqrt a))
  (* (- t 1.0) (* (cbrt a) (cbrt a)))
  (* (- t 1.0) (sqrt a))
  (- t 1.0)
  (* a (cbrt (- t 1.0)))
  (* a (sqrt (- t 1.0)))
  (* (- t 1.0) a)
  (* a (- (sqrt t) (sqrt 1.0)))
  (* (- t 1.0) a)
  (* a (- (pow t 3) (pow 1.0 3)))
  (* a (- (* t t) (* 1.0 1.0)))
  (* (+ y (- t 2.0)) b)
  (* (+ y (- t 2.0)) b)
  (* (+ y (- t 2.0)) b)
  (* (- y 1.0) z)
  (* (- y 1.0) z)
  (* (- y 1.0) z)
  (+ x (+ (* 1.0 z) (* 1.0 a)))
  (+ (* y b) (* t (- b a)))
  (+ (* y b) (* t (- b a)))
  (* (- t 1.0) a)
  (* (- t 1.0) a)
  (* (- t 1.0) a)
1.789 * * * [progress]: adding candidates to table
1.990 * * [progress]: iteration 2 / 4
1.990 * * * [progress]: picking best candidate
2.010 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))>
2.010 * * * [progress]: localizing error
2.028 * * * [progress]: generating rewritten candidates
2.028 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2)
2.031 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2)
2.035 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1)
2.038 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
2.051 * * * [progress]: generating series expansions
2.051 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2)
2.051 * [approximate]: Taking taylor expansion of (pow (- y 1.0) 1/3) in (y) around 0
2.051 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 1/3) in y
2.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- y 1.0)))) in y
2.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (- y 1.0))) in y
2.052 * [taylor]: Taking taylor expansion of 1/3 in y
2.052 * [taylor]: Taking taylor expansion of (log (- y 1.0)) in y
2.052 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.052 * [taylor]: Taking taylor expansion of y in y
2.052 * [taylor]: Taking taylor expansion of 1.0 in y
2.052 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 1/3) in y
2.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- y 1.0)))) in y
2.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (- y 1.0))) in y
2.052 * [taylor]: Taking taylor expansion of 1/3 in y
2.052 * [taylor]: Taking taylor expansion of (log (- y 1.0)) in y
2.052 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.052 * [taylor]: Taking taylor expansion of y in y
2.052 * [taylor]: Taking taylor expansion of 1.0 in y
2.055 * [approximate]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in (y) around 0
2.055 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in y
2.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 y) 1.0)))) in y
2.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 y) 1.0))) in y
2.055 * [taylor]: Taking taylor expansion of 1/3 in y
2.055 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y
2.055 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.055 * [taylor]: Taking taylor expansion of y in y
2.055 * [taylor]: Taking taylor expansion of 1.0 in y
2.055 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in y
2.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 y) 1.0)))) in y
2.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 y) 1.0))) in y
2.055 * [taylor]: Taking taylor expansion of 1/3 in y
2.055 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y
2.055 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.055 * [taylor]: Taking taylor expansion of y in y
2.056 * [taylor]: Taking taylor expansion of 1.0 in y
2.057 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in (y) around 0
2.057 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in y
2.057 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.057 * [taylor]: Taking taylor expansion of -1 in y
2.057 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
2.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
2.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
2.057 * [taylor]: Taking taylor expansion of 1/3 in y
2.057 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
2.057 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.057 * [taylor]: Taking taylor expansion of y in y
2.058 * [taylor]: Taking taylor expansion of 1.0 in y
2.058 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in y
2.058 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.058 * [taylor]: Taking taylor expansion of -1 in y
2.058 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
2.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
2.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
2.058 * [taylor]: Taking taylor expansion of 1/3 in y
2.058 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
2.058 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.058 * [taylor]: Taking taylor expansion of y in y
2.058 * [taylor]: Taking taylor expansion of 1.0 in y
2.061 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2)
2.061 * [approximate]: Taking taylor expansion of (pow (- y 1.0) 1/3) in (y) around 0
2.061 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 1/3) in y
2.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- y 1.0)))) in y
2.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (- y 1.0))) in y
2.061 * [taylor]: Taking taylor expansion of 1/3 in y
2.061 * [taylor]: Taking taylor expansion of (log (- y 1.0)) in y
2.061 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.061 * [taylor]: Taking taylor expansion of y in y
2.061 * [taylor]: Taking taylor expansion of 1.0 in y
2.061 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 1/3) in y
2.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- y 1.0)))) in y
2.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (- y 1.0))) in y
2.061 * [taylor]: Taking taylor expansion of 1/3 in y
2.061 * [taylor]: Taking taylor expansion of (log (- y 1.0)) in y
2.061 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.061 * [taylor]: Taking taylor expansion of y in y
2.061 * [taylor]: Taking taylor expansion of 1.0 in y
2.063 * [approximate]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in (y) around 0
2.063 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in y
2.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 y) 1.0)))) in y
2.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 y) 1.0))) in y
2.063 * [taylor]: Taking taylor expansion of 1/3 in y
2.063 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y
2.063 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.063 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.063 * [taylor]: Taking taylor expansion of y in y
2.063 * [taylor]: Taking taylor expansion of 1.0 in y
2.063 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in y
2.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 y) 1.0)))) in y
2.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 y) 1.0))) in y
2.063 * [taylor]: Taking taylor expansion of 1/3 in y
2.063 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y
2.063 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.063 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.063 * [taylor]: Taking taylor expansion of y in y
2.064 * [taylor]: Taking taylor expansion of 1.0 in y
2.065 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in (y) around 0
2.065 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in y
2.065 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.065 * [taylor]: Taking taylor expansion of -1 in y
2.065 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
2.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
2.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
2.065 * [taylor]: Taking taylor expansion of 1/3 in y
2.065 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
2.065 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.065 * [taylor]: Taking taylor expansion of y in y
2.065 * [taylor]: Taking taylor expansion of 1.0 in y
2.066 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in y
2.066 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.066 * [taylor]: Taking taylor expansion of -1 in y
2.066 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
2.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
2.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
2.066 * [taylor]: Taking taylor expansion of 1/3 in y
2.066 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
2.066 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.066 * [taylor]: Taking taylor expansion of y in y
2.066 * [taylor]: Taking taylor expansion of 1.0 in y
2.069 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1)
2.069 * [approximate]: Taking taylor expansion of (pow (- y 1.0) 1/3) in (y) around 0
2.069 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 1/3) in y
2.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- y 1.0)))) in y
2.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (- y 1.0))) in y
2.069 * [taylor]: Taking taylor expansion of 1/3 in y
2.069 * [taylor]: Taking taylor expansion of (log (- y 1.0)) in y
2.069 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.069 * [taylor]: Taking taylor expansion of y in y
2.069 * [taylor]: Taking taylor expansion of 1.0 in y
2.069 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 1/3) in y
2.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- y 1.0)))) in y
2.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (- y 1.0))) in y
2.069 * [taylor]: Taking taylor expansion of 1/3 in y
2.069 * [taylor]: Taking taylor expansion of (log (- y 1.0)) in y
2.069 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.069 * [taylor]: Taking taylor expansion of y in y
2.069 * [taylor]: Taking taylor expansion of 1.0 in y
2.071 * [approximate]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in (y) around 0
2.071 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in y
2.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 y) 1.0)))) in y
2.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 y) 1.0))) in y
2.071 * [taylor]: Taking taylor expansion of 1/3 in y
2.071 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y
2.071 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.071 * [taylor]: Taking taylor expansion of y in y
2.071 * [taylor]: Taking taylor expansion of 1.0 in y
2.071 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 1/3) in y
2.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 y) 1.0)))) in y
2.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 y) 1.0))) in y
2.071 * [taylor]: Taking taylor expansion of 1/3 in y
2.071 * [taylor]: Taking taylor expansion of (log (- (/ 1 y) 1.0)) in y
2.071 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.071 * [taylor]: Taking taylor expansion of y in y
2.071 * [taylor]: Taking taylor expansion of 1.0 in y
2.073 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in (y) around 0
2.073 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in y
2.073 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.073 * [taylor]: Taking taylor expansion of -1 in y
2.073 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
2.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
2.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
2.073 * [taylor]: Taking taylor expansion of 1/3 in y
2.073 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
2.073 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.073 * [taylor]: Taking taylor expansion of y in y
2.073 * [taylor]: Taking taylor expansion of 1.0 in y
2.073 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 y) 1.0) 1/3)) in y
2.073 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.073 * [taylor]: Taking taylor expansion of -1 in y
2.073 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 1/3) in y
2.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 y) 1.0)))) in y
2.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 y) 1.0))) in y
2.073 * [taylor]: Taking taylor expansion of 1/3 in y
2.073 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
2.073 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.073 * [taylor]: Taking taylor expansion of y in y
2.073 * [taylor]: Taking taylor expansion of 1.0 in y
2.076 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
2.076 * [approximate]: Taking taylor expansion of (pow (pow (- y 1.0) 2) 1/3) in (y) around 0
2.076 * [taylor]: Taking taylor expansion of (pow (pow (- y 1.0) 2) 1/3) in y
2.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- y 1.0) 2)))) in y
2.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- y 1.0) 2))) in y
2.076 * [taylor]: Taking taylor expansion of 1/3 in y
2.077 * [taylor]: Taking taylor expansion of (log (pow (- y 1.0) 2)) in y
2.077 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 2) in y
2.077 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.077 * [taylor]: Taking taylor expansion of y in y
2.077 * [taylor]: Taking taylor expansion of 1.0 in y
2.077 * [taylor]: Taking taylor expansion of (pow (pow (- y 1.0) 2) 1/3) in y
2.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- y 1.0) 2)))) in y
2.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- y 1.0) 2))) in y
2.077 * [taylor]: Taking taylor expansion of 1/3 in y
2.077 * [taylor]: Taking taylor expansion of (log (pow (- y 1.0) 2)) in y
2.077 * [taylor]: Taking taylor expansion of (pow (- y 1.0) 2) in y
2.077 * [taylor]: Taking taylor expansion of (- y 1.0) in y
2.077 * [taylor]: Taking taylor expansion of y in y
2.077 * [taylor]: Taking taylor expansion of 1.0 in y
2.078 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 y) 1.0) 2) 1/3) in (y) around 0
2.078 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 y) 1.0) 2) 1/3) in y
2.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 y) 1.0) 2)))) in y
2.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 y) 1.0) 2))) in y
2.079 * [taylor]: Taking taylor expansion of 1/3 in y
2.079 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 y) 1.0) 2)) in y
2.079 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y
2.079 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.079 * [taylor]: Taking taylor expansion of y in y
2.079 * [taylor]: Taking taylor expansion of 1.0 in y
2.079 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 y) 1.0) 2) 1/3) in y
2.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 y) 1.0) 2)))) in y
2.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 y) 1.0) 2))) in y
2.079 * [taylor]: Taking taylor expansion of 1/3 in y
2.079 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 y) 1.0) 2)) in y
2.079 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) 1.0) 2) in y
2.079 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
2.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.079 * [taylor]: Taking taylor expansion of y in y
2.079 * [taylor]: Taking taylor expansion of 1.0 in y
2.081 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in (y) around 0
2.081 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in y
2.081 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.081 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.081 * [taylor]: Taking taylor expansion of -1 in y
2.081 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 y) 1.0) 2) 1/3) in y
2.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2)))) in y
2.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2))) in y
2.081 * [taylor]: Taking taylor expansion of 1/3 in y
2.081 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) 1.0) 2)) in y
2.081 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y
2.081 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.081 * [taylor]: Taking taylor expansion of y in y
2.081 * [taylor]: Taking taylor expansion of 1.0 in y
2.081 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 y) 1.0) 2) 1/3)) in y
2.081 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.081 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.081 * [taylor]: Taking taylor expansion of -1 in y
2.082 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 y) 1.0) 2) 1/3) in y
2.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2)))) in y
2.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 y) 1.0) 2))) in y
2.082 * [taylor]: Taking taylor expansion of 1/3 in y
2.082 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 y) 1.0) 2)) in y
2.082 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) 1.0) 2) in y
2.082 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
2.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.082 * [taylor]: Taking taylor expansion of y in y
2.082 * [taylor]: Taking taylor expansion of 1.0 in y
2.086 * * * [progress]: simplifying candidates
2.090 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- y 1.0) (- y 1.0))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (+ 1 1)
  (+ (log (cbrt (- y 1.0))) (log (cbrt (- y 1.0))))
  (log (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (exp (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (- y 1.0) (- y 1.0))
  (* (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (sqrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (sqrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ y 1.0)))
  (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ y 1.0)) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))
  (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))
  (* (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (cbrt (+ (sqrt y) (sqrt 1.0))) (cbrt (+ (sqrt y) (sqrt 1.0))))
  (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))) (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (* (sqrt (cbrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* (sqrt (cbrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* 1 1)
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* (sqrt (cbrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (sqrt (cbrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (sqrt (cbrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* (sqrt (cbrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- y 1.0)) (cbrt (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))))
  (* (cbrt (- y 1.0)) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (- y 1.0)) (cbrt 1))
  (* (cbrt (- y 1.0)) (cbrt (+ (sqrt y) (sqrt 1.0))))
  (* (cbrt (- y 1.0)) (cbrt 1))
  (* (cbrt (- y 1.0)) (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0)))))
  (* (cbrt (- y 1.0)) (sqrt (cbrt (- y 1.0))))
  (* (cbrt (- y 1.0)) 1)
  (* (cbrt (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (- y 1.0)))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- y 1.0)))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (* (sqrt (cbrt (- y 1.0))) (cbrt (- y 1.0)))
  (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))
  (* (cbrt (- y 1.0)) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (- y 1.0)) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- y 1.0)))
  (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- y 1.0)))
  (- (+ (pow (neg 1.0) 1/3) (* 0.05555555555555555 (* (pow -1.0 1/3) (pow y 2)))) (+ (* 0.3333333333333333 (* (pow -1.0 1/3) y)) (* 1/6 (* (pow (/ 1 (pow -1.0 5)) 1/3) (pow y 2)))))
  (- (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 y))))) y))))
  (- (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (pow y 2)))))
  (- (+ (pow (neg 1.0) 1/3) (* 0.05555555555555555 (* (pow -1.0 1/3) (pow y 2)))) (+ (* 0.3333333333333333 (* (pow -1.0 1/3) y)) (* 1/6 (* (pow (/ 1 (pow -1.0 5)) 1/3) (pow y 2)))))
  (- (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 y))))) y))))
  (- (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (pow y 2)))))
  (- (+ (pow (neg 1.0) 1/3) (* 0.05555555555555555 (* (pow -1.0 1/3) (pow y 2)))) (+ (* 0.3333333333333333 (* (pow -1.0 1/3) y)) (* 1/6 (* (pow (/ 1 (pow -1.0 5)) 1/3) (pow y 2)))))
  (- (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (pow y 2))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 y))))) y))))
  (- (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (+ (* 0.3333333333333333 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) y)) (* 0.1111111111111111 (/ (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y)))))) (pow y 2)))))
  (- (+ (pow 1.0 1/3) (* 0.5555555555555556 (* (pow y 2) (pow 1.0 1/3)))) (+ (* 0.6666666666666666 (* (pow y 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 0.6666666666666666 (* y (pow 1.0 1/3)))))
  (- (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y)))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y)))))) (pow y 2))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y)))))) y))))
  (- (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) (+ (* 0.6666666666666666 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) y)) (* 0.1111111111111111 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) (pow y 2)))))
2.118 * * [simplify]: iteration  0 :  5152  enodes  (cost  1250 )
2.123 * [simplify]: Simplified to:
   (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (pow (sqrt (cbrt (- y 1.0))) 4))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (* 1.0 (+ y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (- y 1.0)
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (pow (sqrt (cbrt (- y 1.0))) 4))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (* 1.0 (+ y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (- y 1.0)
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  (log (cbrt (- y 1.0)))
  (exp (cbrt (- y 1.0)))
  (cbrt (pow (sqrt (cbrt (- y 1.0))) 4))
  (cbrt (cbrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt (sqrt (- y 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (+ (sqrt y) (sqrt 1.0)))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- y 1.0))
  (cbrt (- (pow y 3) (pow 1.0 3)))
  (cbrt (+ (* y y) (* 1.0 (+ y 1.0))))
  (cbrt (- (* y y) (* 1.0 1.0)))
  (cbrt (+ y 1.0))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (cbrt (- y 1.0)))
  (- y 1.0)
  (sqrt (cbrt (- y 1.0)))
  (sqrt (cbrt (- y 1.0)))
  2/3
  2
  (pow (cbrt (- y 1.0)) 6)
  (pow (sqrt (cbrt (- y 1.0))) 4)
  2
  (* (log (cbrt (- y 1.0))) 2)
  (* (log (cbrt (- y 1.0))) 2)
  (exp (pow (sqrt (cbrt (- y 1.0))) 4))
  (pow (cbrt (- y 1.0)) 6)
  (* (cbrt (pow (sqrt (cbrt (- y 1.0))) 4)) (cbrt (pow (sqrt (cbrt (- y 1.0))) 4)))
  (cbrt (pow (sqrt (cbrt (- y 1.0))) 4))
  (pow (cbrt (- y 1.0)) 6)
  (fabs (cbrt (- y 1.0)))
  (fabs (cbrt (- y 1.0)))
  (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))) (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))))
  (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))) (cbrt (+ y 1.0)))
  (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))) (cbrt (+ y 1.0)))
  (* (cbrt (- (* y y) (* 1.0 1.0))) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (+ y 1.0)) (cbrt (+ y 1.0)))
  (* (cbrt (pow (sqrt (cbrt (- y 1.0))) 4)) (cbrt (pow (sqrt (cbrt (- y 1.0))) 4)))
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt 1) (cbrt 1))
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (* (cbrt 1) (cbrt 1))
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (* (cbrt (+ (sqrt y) (sqrt 1.0))) (cbrt (+ (sqrt y) (sqrt 1.0))))
  (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0))))
  (* (cbrt 1) (cbrt 1))
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (* (cbrt 1) (cbrt 1))
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (pow (cbrt (cbrt (- y 1.0))) 4)
  (* (cbrt (cbrt (- y 1.0))) (cbrt (cbrt (- y 1.0))))
  (cbrt (- y 1.0))
  (cbrt (- y 1.0))
  1
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (* (cbrt (sqrt (- y 1.0))) (sqrt (cbrt (- y 1.0))))
  (cbrt (- y 1.0))
  (cbrt (- y 1.0))
  2/3
  2
  (* (cbrt (- y 1.0)) (cbrt (pow (sqrt (cbrt (- y 1.0))) 4)))
  (* (cbrt (- y 1.0)) (cbrt (sqrt (- y 1.0))))
  (* (cbrt (- y 1.0)) (cbrt 1))
  (* (cbrt (- y 1.0)) (cbrt (+ (sqrt y) (sqrt 1.0))))
  (* (cbrt (- y 1.0)) (cbrt 1))
  (pow (cbrt (cbrt (- y 1.0))) 5)
  (pow (sqrt (cbrt (- y 1.0))) 3)
  (cbrt (- y 1.0))
  (pow (cbrt (cbrt (- y 1.0))) 4)
  (* (cbrt (- y 1.0)) (cbrt (sqrt (- y 1.0))))
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (* (cbrt (- y 1.0)) (cbrt (- (sqrt y) (sqrt 1.0))))
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (pow (cbrt (cbrt (- y 1.0))) 4)
  (pow (sqrt (cbrt (- y 1.0))) 3)
  (pow (sqrt (cbrt (- y 1.0))) 4)
  (* (cbrt (- y 1.0)) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (- y 1.0)) (cbrt (- (* y y) (* 1.0 1.0))))
  (* (cbrt (- y 1.0)) (cbrt (- (pow y 3) (pow 1.0 3))))
  (* (cbrt (- y 1.0)) (cbrt (- (* y y) (* 1.0 1.0))))
  (+ (cbrt (neg 1.0)) (- (* (* y y) (- (* 0.05555555555555555 (cbrt -1.0)) (* 1/6 (cbrt (/ 1 (pow -1.0 5)))))) (* y (* (cbrt -1.0) 0.3333333333333333))))
  (- (cbrt y) (* (/ (cbrt y) y) (+ (/ 0.1111111111111111 y) 0.3333333333333333)))
  (- (* (cbrt -1) (cbrt (/ 1 (/ -1 y)))) (* (* (cbrt (/ 1 (/ -1 y))) (/ (cbrt -1) y)) (+ (/ 0.1111111111111111 y) 0.3333333333333333)))
  (+ (cbrt (neg 1.0)) (- (* (* y y) (- (* 0.05555555555555555 (cbrt -1.0)) (* 1/6 (cbrt (/ 1 (pow -1.0 5)))))) (* y (* (cbrt -1.0) 0.3333333333333333))))
  (- (cbrt y) (* (/ (cbrt y) y) (+ (/ 0.1111111111111111 y) 0.3333333333333333)))
  (- (* (cbrt -1) (cbrt (/ 1 (/ -1 y)))) (* (* (cbrt (/ 1 (/ -1 y))) (/ (cbrt -1) y)) (+ (/ 0.1111111111111111 y) 0.3333333333333333)))
  (+ (cbrt (neg 1.0)) (- (* (* y y) (- (* 0.05555555555555555 (cbrt -1.0)) (* 1/6 (cbrt (/ 1 (pow -1.0 5)))))) (* y (* (cbrt -1.0) 0.3333333333333333))))
  (- (cbrt y) (* (/ (cbrt y) y) (+ (/ 0.1111111111111111 y) 0.3333333333333333)))
  (- (* (cbrt -1) (cbrt (/ 1 (/ -1 y)))) (* (* (cbrt (/ 1 (/ -1 y))) (/ (cbrt -1) y)) (+ (/ 0.1111111111111111 y) 0.3333333333333333)))
  (- (* (cbrt 1.0) (+ 1 (* y (* y 0.5555555555555556)))) (* 0.6666666666666666 (* y (+ (* y (cbrt (/ 1 (pow 1.0 5)))) (cbrt 1.0)))))
  (- (pow y 2/3) (* (/ (pow y 2/3) y) (+ (/ 0.1111111111111111 y) 0.6666666666666666)))
  (- (* (pow (cbrt -1) 2) (pow (/ -1 y) -2/3)) (* (* (pow (/ -1 y) -2/3) (/ (pow (cbrt -1) 2) y)) (+ (/ 0.1111111111111111 y) 0.6666666666666666)))
2.124 * * * [progress]: adding candidates to table
2.444 * * [progress]: iteration 3 / 4
2.445 * * * [progress]: picking best candidate
2.460 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))>
2.460 * * * [progress]: localizing error
2.478 * * * [progress]: generating rewritten candidates
2.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
2.480 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2)
2.481 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1)
2.482 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
2.489 * * * [progress]: generating series expansions
2.489 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
2.489 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
2.489 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.489 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.489 * [taylor]: Taking taylor expansion of 1/3 in a
2.489 * [taylor]: Taking taylor expansion of (log a) in a
2.489 * [taylor]: Taking taylor expansion of a in a
2.489 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.489 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.489 * [taylor]: Taking taylor expansion of 1/3 in a
2.489 * [taylor]: Taking taylor expansion of (log a) in a
2.489 * [taylor]: Taking taylor expansion of a in a
2.496 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
2.496 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.496 * [taylor]: Taking taylor expansion of 1/3 in a
2.496 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.496 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.496 * [taylor]: Taking taylor expansion of a in a
2.497 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.497 * [taylor]: Taking taylor expansion of 1/3 in a
2.497 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.497 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.497 * [taylor]: Taking taylor expansion of a in a
2.503 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
2.503 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
2.503 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.503 * [taylor]: Taking taylor expansion of -1 in a
2.503 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.503 * [taylor]: Taking taylor expansion of 1/3 in a
2.503 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.503 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.503 * [taylor]: Taking taylor expansion of a in a
2.503 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
2.503 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.504 * [taylor]: Taking taylor expansion of -1 in a
2.504 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.504 * [taylor]: Taking taylor expansion of 1/3 in a
2.504 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.504 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.504 * [taylor]: Taking taylor expansion of a in a
2.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2)
2.512 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
2.512 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.512 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.512 * [taylor]: Taking taylor expansion of 1/3 in a
2.512 * [taylor]: Taking taylor expansion of (log a) in a
2.512 * [taylor]: Taking taylor expansion of a in a
2.512 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.512 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.512 * [taylor]: Taking taylor expansion of 1/3 in a
2.512 * [taylor]: Taking taylor expansion of (log a) in a
2.512 * [taylor]: Taking taylor expansion of a in a
2.518 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
2.518 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.518 * [taylor]: Taking taylor expansion of 1/3 in a
2.518 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.518 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.518 * [taylor]: Taking taylor expansion of a in a
2.518 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.518 * [taylor]: Taking taylor expansion of 1/3 in a
2.518 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.518 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.518 * [taylor]: Taking taylor expansion of a in a
2.525 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
2.525 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
2.525 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.525 * [taylor]: Taking taylor expansion of -1 in a
2.525 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.525 * [taylor]: Taking taylor expansion of 1/3 in a
2.525 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.525 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.525 * [taylor]: Taking taylor expansion of a in a
2.525 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
2.525 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.526 * [taylor]: Taking taylor expansion of -1 in a
2.526 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.526 * [taylor]: Taking taylor expansion of 1/3 in a
2.526 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.526 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.526 * [taylor]: Taking taylor expansion of a in a
2.534 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1)
2.534 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
2.534 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.534 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.534 * [taylor]: Taking taylor expansion of 1/3 in a
2.534 * [taylor]: Taking taylor expansion of (log a) in a
2.534 * [taylor]: Taking taylor expansion of a in a
2.534 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.534 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.534 * [taylor]: Taking taylor expansion of 1/3 in a
2.534 * [taylor]: Taking taylor expansion of (log a) in a
2.534 * [taylor]: Taking taylor expansion of a in a
2.542 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
2.542 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.542 * [taylor]: Taking taylor expansion of 1/3 in a
2.542 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.542 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.542 * [taylor]: Taking taylor expansion of a in a
2.543 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.543 * [taylor]: Taking taylor expansion of 1/3 in a
2.543 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.543 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.543 * [taylor]: Taking taylor expansion of a in a
2.549 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0
2.549 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
2.549 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.549 * [taylor]: Taking taylor expansion of -1 in a
2.549 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.549 * [taylor]: Taking taylor expansion of 1/3 in a
2.549 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.549 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.549 * [taylor]: Taking taylor expansion of a in a
2.550 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a
2.550 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.550 * [taylor]: Taking taylor expansion of -1 in a
2.550 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.550 * [taylor]: Taking taylor expansion of 1/3 in a
2.550 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.550 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.550 * [taylor]: Taking taylor expansion of a in a
2.558 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
2.558 * [approximate]: Taking taylor expansion of (pow (pow a 2) 1/3) in (a) around 0
2.558 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
2.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
2.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
2.558 * [taylor]: Taking taylor expansion of 1/3 in a
2.558 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
2.558 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.558 * [taylor]: Taking taylor expansion of a in a
2.558 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
2.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
2.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
2.558 * [taylor]: Taking taylor expansion of 1/3 in a
2.558 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
2.558 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.558 * [taylor]: Taking taylor expansion of a in a
2.565 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in (a) around 0
2.565 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a
2.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a
2.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a
2.565 * [taylor]: Taking taylor expansion of 1/3 in a
2.565 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a
2.565 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.565 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.565 * [taylor]: Taking taylor expansion of a in a
2.565 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a
2.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a
2.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a
2.565 * [taylor]: Taking taylor expansion of 1/3 in a
2.565 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a
2.565 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.565 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.565 * [taylor]: Taking taylor expansion of a in a
2.572 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow a 2)) 1/3)) in (a) around 0
2.572 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow a 2)) 1/3)) in a
2.572 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
2.572 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.572 * [taylor]: Taking taylor expansion of -1 in a
2.572 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a
2.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a
2.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a
2.572 * [taylor]: Taking taylor expansion of 1/3 in a
2.572 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a
2.572 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.572 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.572 * [taylor]: Taking taylor expansion of a in a
2.573 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow a 2)) 1/3)) in a
2.573 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
2.573 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.573 * [taylor]: Taking taylor expansion of -1 in a
2.573 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a
2.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a
2.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a
2.573 * [taylor]: Taking taylor expansion of 1/3 in a
2.573 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a
2.573 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
2.573 * [taylor]: Taking taylor expansion of (pow a 2) in a
2.573 * [taylor]: Taking taylor expansion of a in a
2.583 * * * [progress]: simplifying candidates
2.584 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (* (cbrt a) (cbrt a)))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  (cbrt 1)
  (cbrt a)
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (cbrt (cbrt a))
  (* (* (cbrt a) (cbrt a)) (cbrt a))
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (+ 1/3 1/3)
  (+ 1 1)
  (* a a)
  (* (cbrt a) (cbrt a))
  (+ 1 1)
  (+ (log (cbrt a)) (log (cbrt a)))
  (log (* (cbrt a) (cbrt a)))
  (exp (* (cbrt a) (cbrt a)))
  (* a a)
  (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (* (cbrt a) (cbrt a))))
  (cbrt (* (cbrt a) (cbrt a)))
  (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)))
  (sqrt (* (cbrt a) (cbrt a)))
  (sqrt (* (cbrt a) (cbrt a)))
  (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (* (cbrt a) (cbrt a))))
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt a) (cbrt a))
  (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (cbrt (cbrt a)) (cbrt (cbrt a))))
  (* (cbrt (cbrt a)) (cbrt (cbrt a)))
  (* (sqrt (cbrt a)) (sqrt (cbrt a)))
  (* (sqrt (cbrt a)) (sqrt (cbrt a)))
  (* 1 1)
  (* (cbrt a) (cbrt a))
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  (* (cbrt (sqrt a)) (sqrt (cbrt a)))
  (* (cbrt (sqrt a)) (sqrt (cbrt a)))
  (* (sqrt (cbrt a)) (cbrt (sqrt a)))
  (* (sqrt (cbrt a)) (cbrt (sqrt a)))
  (* (sqrt (cbrt a)) (sqrt (cbrt a)))
  (* (sqrt (cbrt a)) (sqrt (cbrt a)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt a) (cbrt (* (cbrt a) (cbrt a))))
  (* (cbrt a) (cbrt (sqrt a)))
  (* (cbrt a) (cbrt 1))
  (* (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))))
  (* (cbrt a) (sqrt (cbrt a)))
  (* (cbrt a) 1)
  (* (cbrt (cbrt a)) (cbrt a))
  (* (cbrt (sqrt a)) (cbrt a))
  (* (cbrt a) (cbrt a))
  (* (cbrt (cbrt a)) (cbrt a))
  (* (sqrt (cbrt a)) (cbrt a))
  (* (cbrt a) (cbrt a))
  (exp (* 1/3 (+ (log a) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a))))))
  (exp (* 1/3 (+ (log a) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a))))))
  (exp (* 1/3 (+ (log a) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 a)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 a))))))
  (exp (* 1/3 (+ (* 2 (log a)) (log 1))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 a))))))
  (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 a)))))) (pow (cbrt -1) 2))
2.624 * * [simplify]: iteration  0 :  5165  enodes  (cost  356 )
2.627 * [simplify]: Simplified to:
   (log (cbrt a))
  (exp (cbrt a))
  (cbrt (pow a 2/3))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  1
  (cbrt a)
  (pow (cbrt (cbrt a)) 2)
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (pow a 2/3))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  1
  (cbrt a)
  (pow (cbrt (cbrt a)) 2)
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  (log (cbrt a))
  (exp (cbrt a))
  (cbrt (pow a 2/3))
  (cbrt (cbrt a))
  (cbrt (sqrt a))
  (cbrt (sqrt a))
  1
  (cbrt a)
  (pow (cbrt (cbrt a)) 2)
  (cbrt (cbrt a))
  a
  (sqrt (cbrt a))
  (sqrt (cbrt a))
  2/3
  2
  (* a a)
  (pow a 2/3)
  2
  (* 2/3 (log a))
  (* 2/3 (log a))
  (exp (pow a 2/3))
  (* a a)
  (* (cbrt (pow a 2/3)) (cbrt (pow a 2/3)))
  (cbrt (pow a 2/3))
  (* a a)
  (fabs (cbrt a))
  (fabs (cbrt a))
  (* (cbrt (pow a 2/3)) (cbrt (pow a 2/3)))
  (pow (cbrt (cbrt a)) 2)
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  1
  (pow a 2/3)
  (pow (cbrt (cbrt a)) 4)
  (pow (cbrt (cbrt a)) 2)
  (cbrt a)
  (cbrt a)
  1
  (pow a 2/3)
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  (* (cbrt (sqrt a)) (cbrt (sqrt a)))
  (* (cbrt (sqrt a)) (sqrt (cbrt a)))
  (* (cbrt (sqrt a)) (sqrt (cbrt a)))
  (* (cbrt (sqrt a)) (sqrt (cbrt a)))
  (* (cbrt (sqrt a)) (sqrt (cbrt a)))
  (cbrt a)
  (cbrt a)
  2/3
  2
  (* (cbrt a) (cbrt (pow a 2/3)))
  (* (cbrt a) (cbrt (sqrt a)))
  (cbrt a)
  (pow (cbrt (cbrt a)) 5)
  (pow (sqrt (cbrt a)) 3)
  (cbrt a)
  (pow (cbrt (cbrt a)) 4)
  (* (cbrt a) (cbrt (sqrt a)))
  (pow a 2/3)
  (pow (cbrt (cbrt a)) 4)
  (pow (sqrt (cbrt a)) 3)
  (pow a 2/3)
  (cbrt a)
  (cbrt a)
  (* (cbrt -1) (cbrt (* a -1)))
  (cbrt a)
  (cbrt a)
  (* (cbrt -1) (cbrt (* a -1)))
  (cbrt a)
  (cbrt a)
  (* (cbrt -1) (cbrt (* a -1)))
  (pow a 2/3)
  (pow a 2/3)
  (* (pow a 2/3) (pow (cbrt -1) 2))
2.627 * * * [progress]: adding candidates to table
2.753 * * [progress]: iteration 4 / 4
2.753 * * * [progress]: picking best candidate
2.762 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))>
2.763 * * * [progress]: localizing error
2.781 * * * [progress]: generating rewritten candidates
2.781 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
2.796 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
2.804 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.815 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2)
2.824 * * * [progress]: generating series expansions
2.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
2.824 * [approximate]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in (y z) around 0
2.824 * [taylor]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in z
2.824 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in z
2.824 * [taylor]: Taking taylor expansion of (sqrt y) in z
2.824 * [taylor]: Taking taylor expansion of y in z
2.824 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.824 * [taylor]: Taking taylor expansion of 1.0 in z
2.824 * [taylor]: Taking taylor expansion of (* z (+ (sqrt 1.0) (sqrt y))) in z
2.824 * [taylor]: Taking taylor expansion of z in z
2.824 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in z
2.824 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.824 * [taylor]: Taking taylor expansion of 1.0 in z
2.824 * [taylor]: Taking taylor expansion of (sqrt y) in z
2.824 * [taylor]: Taking taylor expansion of y in z
2.824 * [taylor]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in y
2.824 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y
2.824 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.824 * [taylor]: Taking taylor expansion of y in y
2.824 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.824 * [taylor]: Taking taylor expansion of 1.0 in y
2.824 * [taylor]: Taking taylor expansion of (* z (+ (sqrt 1.0) (sqrt y))) in y
2.824 * [taylor]: Taking taylor expansion of z in y
2.824 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y
2.824 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.824 * [taylor]: Taking taylor expansion of 1.0 in y
2.824 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.825 * [taylor]: Taking taylor expansion of y in y
2.825 * [taylor]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in y
2.825 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y
2.825 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.825 * [taylor]: Taking taylor expansion of y in y
2.825 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.825 * [taylor]: Taking taylor expansion of 1.0 in y
2.825 * [taylor]: Taking taylor expansion of (* z (+ (sqrt 1.0) (sqrt y))) in y
2.825 * [taylor]: Taking taylor expansion of z in y
2.825 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y
2.825 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.825 * [taylor]: Taking taylor expansion of 1.0 in y
2.825 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.825 * [taylor]: Taking taylor expansion of y in y
2.825 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 1.0) 2) z)) in z
2.825 * [taylor]: Taking taylor expansion of -1 in z
2.825 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 2) z) in z
2.825 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z
2.825 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.825 * [taylor]: Taking taylor expansion of 1.0 in z
2.825 * [taylor]: Taking taylor expansion of z in z
2.826 * [taylor]: Taking taylor expansion of 0 in z
2.827 * [taylor]: Taking taylor expansion of (- (+ (* (pow NAN 2) z) (* z (* (pow NAN 3) (sqrt 1.0)))) (* (pow NAN 3) (* z (sqrt 1.0)))) in z
2.827 * [taylor]: Taking taylor expansion of (+ (* (pow NAN 2) z) (* z (* (pow NAN 3) (sqrt 1.0)))) in z
2.827 * [taylor]: Taking taylor expansion of (* (pow NAN 2) z) in z
2.827 * [taylor]: Taking taylor expansion of (pow NAN 2) in z
2.827 * [taylor]: Taking taylor expansion of NAN in z
2.827 * [taylor]: Taking taylor expansion of z in z
2.827 * [taylor]: Taking taylor expansion of (* z (* (pow NAN 3) (sqrt 1.0))) in z
2.827 * [taylor]: Taking taylor expansion of z in z
2.827 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (sqrt 1.0)) in z
2.827 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
2.827 * [taylor]: Taking taylor expansion of NAN in z
2.827 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.827 * [taylor]: Taking taylor expansion of 1.0 in z
2.827 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (* z (sqrt 1.0))) in z
2.827 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
2.827 * [taylor]: Taking taylor expansion of NAN in z
2.827 * [taylor]: Taking taylor expansion of (* z (sqrt 1.0)) in z
2.827 * [taylor]: Taking taylor expansion of z in z
2.827 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.827 * [taylor]: Taking taylor expansion of 1.0 in z
2.829 * [taylor]: Taking taylor expansion of (* 2 (* (pow NAN 4) z)) in z
2.829 * [taylor]: Taking taylor expansion of 2 in z
2.829 * [taylor]: Taking taylor expansion of (* (pow NAN 4) z) in z
2.829 * [taylor]: Taking taylor expansion of (pow NAN 4) in z
2.829 * [taylor]: Taking taylor expansion of NAN in z
2.829 * [taylor]: Taking taylor expansion of z in z
2.832 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* (pow NAN 6) z)) (* z (* (pow NAN 7) (sqrt 1.0)))) (* (pow NAN 7) (* z (sqrt 1.0)))) in z
2.832 * [taylor]: Taking taylor expansion of (+ (* 3 (* (pow NAN 6) z)) (* z (* (pow NAN 7) (sqrt 1.0)))) in z
2.832 * [taylor]: Taking taylor expansion of (* 3 (* (pow NAN 6) z)) in z
2.832 * [taylor]: Taking taylor expansion of 3 in z
2.832 * [taylor]: Taking taylor expansion of (* (pow NAN 6) z) in z
2.832 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
2.832 * [taylor]: Taking taylor expansion of NAN in z
2.832 * [taylor]: Taking taylor expansion of z in z
2.832 * [taylor]: Taking taylor expansion of (* z (* (pow NAN 7) (sqrt 1.0))) in z
2.832 * [taylor]: Taking taylor expansion of z in z
2.832 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (sqrt 1.0)) in z
2.832 * [taylor]: Taking taylor expansion of (pow NAN 7) in z
2.832 * [taylor]: Taking taylor expansion of NAN in z
2.832 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.832 * [taylor]: Taking taylor expansion of 1.0 in z
2.832 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (* z (sqrt 1.0))) in z
2.832 * [taylor]: Taking taylor expansion of (pow NAN 7) in z
2.832 * [taylor]: Taking taylor expansion of NAN in z
2.832 * [taylor]: Taking taylor expansion of (* z (sqrt 1.0)) in z
2.832 * [taylor]: Taking taylor expansion of z in z
2.832 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.832 * [taylor]: Taking taylor expansion of 1.0 in z
2.834 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in (y z) around 0
2.834 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in z
2.834 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) in z
2.834 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in z
2.834 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
2.834 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.834 * [taylor]: Taking taylor expansion of y in z
2.834 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.834 * [taylor]: Taking taylor expansion of 1.0 in z
2.834 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in z
2.834 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
2.834 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.834 * [taylor]: Taking taylor expansion of y in z
2.834 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.834 * [taylor]: Taking taylor expansion of 1.0 in z
2.834 * [taylor]: Taking taylor expansion of z in z
2.835 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in y
2.835 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y
2.835 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.835 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.835 * [taylor]: Taking taylor expansion of y in y
2.835 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.835 * [taylor]: Taking taylor expansion of 1.0 in y
2.835 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.835 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.835 * [taylor]: Taking taylor expansion of y in y
2.835 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.835 * [taylor]: Taking taylor expansion of 1.0 in y
2.835 * [taylor]: Taking taylor expansion of z in y
2.836 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in y
2.836 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y
2.836 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.836 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.836 * [taylor]: Taking taylor expansion of y in y
2.836 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.836 * [taylor]: Taking taylor expansion of 1.0 in y
2.836 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.836 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.836 * [taylor]: Taking taylor expansion of y in y
2.836 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.836 * [taylor]: Taking taylor expansion of 1.0 in y
2.836 * [taylor]: Taking taylor expansion of z in y
2.837 * [taylor]: Taking taylor expansion of (/ (- (pow NAN 2) (pow (sqrt 1.0) 2)) z) in z
2.837 * [taylor]: Taking taylor expansion of (- (pow NAN 2) (pow (sqrt 1.0) 2)) in z
2.837 * [taylor]: Taking taylor expansion of (pow NAN 2) in z
2.837 * [taylor]: Taking taylor expansion of NAN in z
2.837 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z
2.837 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.837 * [taylor]: Taking taylor expansion of 1.0 in z
2.837 * [taylor]: Taking taylor expansion of z in z
2.839 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) z)) in z
2.839 * [taylor]: Taking taylor expansion of 2 in z
2.839 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) z) in z
2.839 * [taylor]: Taking taylor expansion of (pow NAN 4) in z
2.839 * [taylor]: Taking taylor expansion of NAN in z
2.839 * [taylor]: Taking taylor expansion of z in z
2.841 * [taylor]: Taking taylor expansion of (* 3 (/ (pow NAN 6) z)) in z
2.841 * [taylor]: Taking taylor expansion of 3 in z
2.841 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) z) in z
2.841 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
2.841 * [taylor]: Taking taylor expansion of NAN in z
2.841 * [taylor]: Taking taylor expansion of z in z
2.842 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in (y z) around 0
2.842 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in z
2.842 * [taylor]: Taking taylor expansion of -1 in z
2.842 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in z
2.842 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) in z
2.842 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in z
2.842 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
2.842 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.842 * [taylor]: Taking taylor expansion of -1 in z
2.842 * [taylor]: Taking taylor expansion of y in z
2.842 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.842 * [taylor]: Taking taylor expansion of 1.0 in z
2.842 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in z
2.842 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
2.842 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.842 * [taylor]: Taking taylor expansion of -1 in z
2.842 * [taylor]: Taking taylor expansion of y in z
2.842 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.842 * [taylor]: Taking taylor expansion of 1.0 in z
2.842 * [taylor]: Taking taylor expansion of z in z
2.842 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in y
2.843 * [taylor]: Taking taylor expansion of -1 in y
2.843 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in y
2.843 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y
2.843 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.843 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.843 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.843 * [taylor]: Taking taylor expansion of -1 in y
2.843 * [taylor]: Taking taylor expansion of y in y
2.843 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.843 * [taylor]: Taking taylor expansion of 1.0 in y
2.843 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.843 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.843 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.843 * [taylor]: Taking taylor expansion of -1 in y
2.843 * [taylor]: Taking taylor expansion of y in y
2.843 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.843 * [taylor]: Taking taylor expansion of 1.0 in y
2.843 * [taylor]: Taking taylor expansion of z in y
2.844 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in y
2.844 * [taylor]: Taking taylor expansion of -1 in y
2.844 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in y
2.844 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y
2.844 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.844 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.844 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.844 * [taylor]: Taking taylor expansion of -1 in y
2.844 * [taylor]: Taking taylor expansion of y in y
2.844 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.844 * [taylor]: Taking taylor expansion of 1.0 in y
2.844 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.844 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.844 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.844 * [taylor]: Taking taylor expansion of -1 in y
2.844 * [taylor]: Taking taylor expansion of y in y
2.844 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.844 * [taylor]: Taking taylor expansion of 1.0 in y
2.844 * [taylor]: Taking taylor expansion of z in y
2.845 * [taylor]: Taking taylor expansion of (* -1 (/ (- (pow NAN 2) (pow (sqrt 1.0) 2)) z)) in z
2.845 * [taylor]: Taking taylor expansion of -1 in z
2.845 * [taylor]: Taking taylor expansion of (/ (- (pow NAN 2) (pow (sqrt 1.0) 2)) z) in z
2.845 * [taylor]: Taking taylor expansion of (- (pow NAN 2) (pow (sqrt 1.0) 2)) in z
2.845 * [taylor]: Taking taylor expansion of (pow NAN 2) in z
2.845 * [taylor]: Taking taylor expansion of NAN in z
2.845 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z
2.845 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.845 * [taylor]: Taking taylor expansion of 1.0 in z
2.845 * [taylor]: Taking taylor expansion of z in z
2.847 * [taylor]: Taking taylor expansion of (neg (* 2 (/ (pow NAN 4) z))) in z
2.847 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) z)) in z
2.847 * [taylor]: Taking taylor expansion of 2 in z
2.847 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) z) in z
2.847 * [taylor]: Taking taylor expansion of (pow NAN 4) in z
2.847 * [taylor]: Taking taylor expansion of NAN in z
2.847 * [taylor]: Taking taylor expansion of z in z
2.850 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (pow NAN 6) z))) in z
2.850 * [taylor]: Taking taylor expansion of (* 3 (/ (pow NAN 6) z)) in z
2.850 * [taylor]: Taking taylor expansion of 3 in z
2.850 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) z) in z
2.850 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
2.850 * [taylor]: Taking taylor expansion of NAN in z
2.850 * [taylor]: Taking taylor expansion of z in z
2.851 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
2.851 * [approximate]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in (z y) around 0
2.851 * [taylor]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in y
2.851 * [taylor]: Taking taylor expansion of z in y
2.851 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y
2.851 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.851 * [taylor]: Taking taylor expansion of y in y
2.851 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.851 * [taylor]: Taking taylor expansion of 1.0 in y
2.851 * [taylor]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in z
2.851 * [taylor]: Taking taylor expansion of z in z
2.851 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in z
2.851 * [taylor]: Taking taylor expansion of (sqrt y) in z
2.851 * [taylor]: Taking taylor expansion of y in z
2.851 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.851 * [taylor]: Taking taylor expansion of 1.0 in z
2.851 * [taylor]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in z
2.851 * [taylor]: Taking taylor expansion of z in z
2.851 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in z
2.851 * [taylor]: Taking taylor expansion of (sqrt y) in z
2.851 * [taylor]: Taking taylor expansion of y in z
2.851 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.851 * [taylor]: Taking taylor expansion of 1.0 in z
2.851 * [taylor]: Taking taylor expansion of 0 in y
2.852 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y
2.852 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.852 * [taylor]: Taking taylor expansion of y in y
2.852 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.852 * [taylor]: Taking taylor expansion of 1.0 in y
2.852 * [taylor]: Taking taylor expansion of 0 in y
2.852 * [taylor]: Taking taylor expansion of 0 in y
2.853 * [approximate]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in (z y) around 0
2.853 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in y
2.853 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.853 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.853 * [taylor]: Taking taylor expansion of y in y
2.853 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.853 * [taylor]: Taking taylor expansion of 1.0 in y
2.853 * [taylor]: Taking taylor expansion of z in y
2.853 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in z
2.853 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in z
2.853 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
2.853 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.853 * [taylor]: Taking taylor expansion of y in z
2.853 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.853 * [taylor]: Taking taylor expansion of 1.0 in z
2.853 * [taylor]: Taking taylor expansion of z in z
2.853 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in z
2.853 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in z
2.853 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
2.853 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.853 * [taylor]: Taking taylor expansion of y in z
2.854 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.854 * [taylor]: Taking taylor expansion of 1.0 in z
2.854 * [taylor]: Taking taylor expansion of z in z
2.854 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.854 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.854 * [taylor]: Taking taylor expansion of y in y
2.854 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.854 * [taylor]: Taking taylor expansion of 1.0 in y
2.854 * [taylor]: Taking taylor expansion of 0 in y
2.855 * [taylor]: Taking taylor expansion of 0 in y
2.855 * [approximate]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in (z y) around 0
2.855 * [taylor]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in y
2.856 * [taylor]: Taking taylor expansion of -1 in y
2.856 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z) in y
2.856 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.856 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.856 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.856 * [taylor]: Taking taylor expansion of -1 in y
2.856 * [taylor]: Taking taylor expansion of y in y
2.856 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.856 * [taylor]: Taking taylor expansion of 1.0 in y
2.856 * [taylor]: Taking taylor expansion of z in y
2.856 * [taylor]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in z
2.856 * [taylor]: Taking taylor expansion of -1 in z
2.856 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z) in z
2.856 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in z
2.856 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
2.856 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.856 * [taylor]: Taking taylor expansion of -1 in z
2.856 * [taylor]: Taking taylor expansion of y in z
2.856 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.856 * [taylor]: Taking taylor expansion of 1.0 in z
2.856 * [taylor]: Taking taylor expansion of z in z
2.856 * [taylor]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in z
2.856 * [taylor]: Taking taylor expansion of -1 in z
2.856 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z) in z
2.856 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in z
2.856 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
2.856 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.856 * [taylor]: Taking taylor expansion of -1 in z
2.856 * [taylor]: Taking taylor expansion of y in z
2.857 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
2.857 * [taylor]: Taking taylor expansion of 1.0 in z
2.857 * [taylor]: Taking taylor expansion of z in z
2.857 * [taylor]: Taking taylor expansion of (* -1 (- (sqrt (/ -1 y)) (sqrt 1.0))) in y
2.857 * [taylor]: Taking taylor expansion of -1 in y
2.857 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.857 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.857 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.857 * [taylor]: Taking taylor expansion of -1 in y
2.857 * [taylor]: Taking taylor expansion of y in y
2.857 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.857 * [taylor]: Taking taylor expansion of 1.0 in y
2.857 * [taylor]: Taking taylor expansion of 0 in y
2.858 * [taylor]: Taking taylor expansion of 0 in y
2.859 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.859 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0
2.859 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b
2.859 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b
2.859 * [taylor]: Taking taylor expansion of (+ t y) in b
2.859 * [taylor]: Taking taylor expansion of t in b
2.859 * [taylor]: Taking taylor expansion of y in b
2.859 * [taylor]: Taking taylor expansion of 2.0 in b
2.859 * [taylor]: Taking taylor expansion of b in b
2.859 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t
2.859 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t
2.859 * [taylor]: Taking taylor expansion of (+ t y) in t
2.859 * [taylor]: Taking taylor expansion of t in t
2.859 * [taylor]: Taking taylor expansion of y in t
2.859 * [taylor]: Taking taylor expansion of 2.0 in t
2.859 * [taylor]: Taking taylor expansion of b in t
2.859 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y
2.859 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
2.859 * [taylor]: Taking taylor expansion of (+ t y) in y
2.859 * [taylor]: Taking taylor expansion of t in y
2.859 * [taylor]: Taking taylor expansion of y in y
2.859 * [taylor]: Taking taylor expansion of 2.0 in y
2.859 * [taylor]: Taking taylor expansion of b in y
2.859 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y
2.859 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
2.859 * [taylor]: Taking taylor expansion of (+ t y) in y
2.859 * [taylor]: Taking taylor expansion of t in y
2.859 * [taylor]: Taking taylor expansion of y in y
2.859 * [taylor]: Taking taylor expansion of 2.0 in y
2.859 * [taylor]: Taking taylor expansion of b in y
2.860 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t
2.860 * [taylor]: Taking taylor expansion of (- t 2.0) in t
2.860 * [taylor]: Taking taylor expansion of t in t
2.860 * [taylor]: Taking taylor expansion of 2.0 in t
2.860 * [taylor]: Taking taylor expansion of b in t
2.860 * [taylor]: Taking taylor expansion of (* -2.0 b) in b
2.860 * [taylor]: Taking taylor expansion of -2.0 in b
2.860 * [taylor]: Taking taylor expansion of b in b
2.860 * [taylor]: Taking taylor expansion of b in t
2.860 * [taylor]: Taking taylor expansion of b in b
2.860 * [taylor]: Taking taylor expansion of b in b
2.860 * [taylor]: Taking taylor expansion of 0 in t
2.860 * [taylor]: Taking taylor expansion of 0 in b
2.860 * [taylor]: Taking taylor expansion of 0 in b
2.860 * [taylor]: Taking taylor expansion of 0 in b
2.860 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0
2.860 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b
2.860 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b
2.861 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b
2.861 * [taylor]: Taking taylor expansion of (/ 1 y) in b
2.861 * [taylor]: Taking taylor expansion of y in b
2.861 * [taylor]: Taking taylor expansion of (/ 1 t) in b
2.861 * [taylor]: Taking taylor expansion of t in b
2.861 * [taylor]: Taking taylor expansion of 2.0 in b
2.861 * [taylor]: Taking taylor expansion of b in b
2.861 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t
2.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t
2.861 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t
2.861 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.861 * [taylor]: Taking taylor expansion of y in t
2.861 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.861 * [taylor]: Taking taylor expansion of t in t
2.861 * [taylor]: Taking taylor expansion of 2.0 in t
2.861 * [taylor]: Taking taylor expansion of b in t
2.861 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y
2.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
2.861 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
2.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.861 * [taylor]: Taking taylor expansion of y in y
2.861 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.861 * [taylor]: Taking taylor expansion of t in y
2.861 * [taylor]: Taking taylor expansion of 2.0 in y
2.861 * [taylor]: Taking taylor expansion of b in y
2.861 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y
2.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
2.861 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
2.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.861 * [taylor]: Taking taylor expansion of y in y
2.861 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.861 * [taylor]: Taking taylor expansion of t in y
2.861 * [taylor]: Taking taylor expansion of 2.0 in y
2.861 * [taylor]: Taking taylor expansion of b in y
2.862 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.862 * [taylor]: Taking taylor expansion of b in t
2.862 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t
2.862 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
2.862 * [taylor]: Taking taylor expansion of (* t b) in t
2.862 * [taylor]: Taking taylor expansion of t in t
2.862 * [taylor]: Taking taylor expansion of b in t
2.862 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
2.862 * [taylor]: Taking taylor expansion of 2.0 in t
2.862 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.862 * [taylor]: Taking taylor expansion of b in t
2.862 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.862 * [taylor]: Taking taylor expansion of b in b
2.862 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.862 * [taylor]: Taking taylor expansion of b in b
2.862 * [taylor]: Taking taylor expansion of 0 in t
2.863 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b
2.863 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
2.863 * [taylor]: Taking taylor expansion of 2.0 in b
2.863 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.863 * [taylor]: Taking taylor expansion of b in b
2.863 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0
2.863 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b
2.863 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b
2.863 * [taylor]: Taking taylor expansion of (/ 1 y) in b
2.863 * [taylor]: Taking taylor expansion of y in b
2.863 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b
2.863 * [taylor]: Taking taylor expansion of (/ 1 t) in b
2.863 * [taylor]: Taking taylor expansion of t in b
2.863 * [taylor]: Taking taylor expansion of 2.0 in b
2.863 * [taylor]: Taking taylor expansion of b in b
2.863 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t
2.863 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t
2.863 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.863 * [taylor]: Taking taylor expansion of y in t
2.863 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t
2.863 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.863 * [taylor]: Taking taylor expansion of t in t
2.863 * [taylor]: Taking taylor expansion of 2.0 in t
2.863 * [taylor]: Taking taylor expansion of b in t
2.864 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y
2.864 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
2.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.864 * [taylor]: Taking taylor expansion of y in y
2.864 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
2.864 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.864 * [taylor]: Taking taylor expansion of t in y
2.864 * [taylor]: Taking taylor expansion of 2.0 in y
2.864 * [taylor]: Taking taylor expansion of b in y
2.864 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y
2.864 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
2.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.864 * [taylor]: Taking taylor expansion of y in y
2.864 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
2.864 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.864 * [taylor]: Taking taylor expansion of t in y
2.864 * [taylor]: Taking taylor expansion of 2.0 in y
2.864 * [taylor]: Taking taylor expansion of b in y
2.864 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.864 * [taylor]: Taking taylor expansion of b in t
2.864 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t
2.864 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t
2.864 * [taylor]: Taking taylor expansion of (* t b) in t
2.864 * [taylor]: Taking taylor expansion of t in t
2.864 * [taylor]: Taking taylor expansion of b in t
2.864 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
2.864 * [taylor]: Taking taylor expansion of 2.0 in t
2.864 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.864 * [taylor]: Taking taylor expansion of b in t
2.864 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.864 * [taylor]: Taking taylor expansion of b in b
2.864 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.864 * [taylor]: Taking taylor expansion of b in b
2.865 * [taylor]: Taking taylor expansion of 0 in t
2.865 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
2.865 * [taylor]: Taking taylor expansion of 2.0 in b
2.865 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.865 * [taylor]: Taking taylor expansion of b in b
2.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2)
2.865 * [approximate]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in (y) around 0
2.865 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y
2.865 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.865 * [taylor]: Taking taylor expansion of y in y
2.865 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.865 * [taylor]: Taking taylor expansion of 1.0 in y
2.865 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y
2.865 * [taylor]: Taking taylor expansion of (sqrt y) in y
2.865 * [taylor]: Taking taylor expansion of y in y
2.866 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.866 * [taylor]: Taking taylor expansion of 1.0 in y
2.866 * [approximate]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in (y) around 0
2.866 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.866 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.866 * [taylor]: Taking taylor expansion of y in y
2.866 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.866 * [taylor]: Taking taylor expansion of 1.0 in y
2.866 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y
2.866 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
2.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.866 * [taylor]: Taking taylor expansion of y in y
2.867 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.867 * [taylor]: Taking taylor expansion of 1.0 in y
2.867 * [approximate]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in (y) around 0
2.868 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.868 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.868 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.868 * [taylor]: Taking taylor expansion of -1 in y
2.868 * [taylor]: Taking taylor expansion of y in y
2.868 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.868 * [taylor]: Taking taylor expansion of 1.0 in y
2.868 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y
2.868 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
2.868 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.868 * [taylor]: Taking taylor expansion of -1 in y
2.868 * [taylor]: Taking taylor expansion of y in y
2.868 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
2.868 * [taylor]: Taking taylor expansion of 1.0 in y
2.869 * * * [progress]: simplifying candidates
2.870 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))
  (+ (log (+ (sqrt y) (sqrt 1.0))) (+ (log z) (log (- (sqrt y) (sqrt 1.0)))))
  (+ (log (+ (sqrt y) (sqrt 1.0))) (log (* z (- (sqrt y) (sqrt 1.0)))))
  (log (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))))
  (exp (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))))
  (* (* (* (+ (sqrt y) (sqrt 1.0)) (+ (sqrt y) (sqrt 1.0))) (+ (sqrt y) (sqrt 1.0))) (* (* (* z z) z) (* (* (- (sqrt y) (sqrt 1.0)) (- (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))
  (* (* (* (+ (sqrt y) (sqrt 1.0)) (+ (sqrt y) (sqrt 1.0))) (+ (sqrt y) (sqrt 1.0))) (* (* (* z (- (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0)))) (* z (- (sqrt y) (sqrt 1.0)))))
  (* (cbrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (cbrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))))
  (cbrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))))
  (* (* (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))))
  (sqrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))))
  (sqrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))))
  (* (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3)) (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3))))
  (* (+ (* (sqrt y) (sqrt y)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0)))) (+ (* (sqrt y) (sqrt y)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0)))))
  (* (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3)) (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (+ (* (sqrt y) (sqrt y)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0)))) (+ (sqrt y) (sqrt 1.0)))
  (* (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))) (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3))))
  (* (- (sqrt y) (sqrt 1.0)) (+ (* (sqrt y) (sqrt y)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0)))))
  (* (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))) (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (- (sqrt y) (sqrt 1.0)) (+ (sqrt y) (sqrt 1.0)))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (sqrt y)))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (neg (sqrt 1.0))))
  (* (+ (sqrt y) (sqrt 1.0)) (* (sqrt y) z))
  (* (+ (sqrt y) (sqrt 1.0)) (* (neg (sqrt 1.0)) z))
  (* (* z (sqrt y)) (+ (sqrt y) (sqrt 1.0)))
  (* (* z (neg (sqrt 1.0))) (+ (sqrt y) (sqrt 1.0)))
  (* (* (sqrt y) z) (+ (sqrt y) (sqrt 1.0)))
  (* (* (neg (sqrt 1.0)) z) (+ (sqrt y) (sqrt 1.0)))
  (* (+ (sqrt y) (sqrt 1.0)) z)
  (* (cbrt (+ (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0))))
  (* (sqrt (+ (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0))))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3))))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0)))))
  (* (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3)) (* z (- (sqrt y) (sqrt 1.0))))
  (* (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0))))
  (* z (- (sqrt y) (sqrt 1.0)))
  (+ (log z) (log (- (sqrt y) (sqrt 1.0))))
  (log (* z (- (sqrt y) (sqrt 1.0))))
  (exp (* z (- (sqrt y) (sqrt 1.0))))
  (* (* (* z z) z) (* (* (- (sqrt y) (sqrt 1.0)) (- (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0))))
  (* (cbrt (* z (- (sqrt y) (sqrt 1.0)))) (cbrt (* z (- (sqrt y) (sqrt 1.0)))))
  (cbrt (* z (- (sqrt y) (sqrt 1.0))))
  (* (* (* z (- (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0)))) (* z (- (sqrt y) (sqrt 1.0))))
  (sqrt (* z (- (sqrt y) (sqrt 1.0))))
  (sqrt (* z (- (sqrt y) (sqrt 1.0))))
  (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0))))
  (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0))))
  (* z (sqrt y))
  (* z (neg (sqrt 1.0)))
  (* (sqrt y) z)
  (* (neg (sqrt 1.0)) z)
  (* z (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0)))))
  (* z (sqrt (- (sqrt y) (sqrt 1.0))))
  (* z 1)
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  (* z (sqrt 1))
  (* z 1)
  (* (cbrt z) (- (sqrt y) (sqrt 1.0)))
  (* (sqrt z) (- (sqrt y) (sqrt 1.0)))
  (* z (- (sqrt y) (sqrt 1.0)))
  (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3)))
  (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))))
  (* (- (+ y t) 2.0) b)
  (+ (log (- (+ y t) 2.0)) (log b))
  (log (* (- (+ y t) 2.0) b))
  (exp (* (- (+ y t) 2.0) b))
  (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b))
  (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
  (cbrt (* (- (+ y t) 2.0) b))
  (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b))
  (sqrt (* (- (+ y t) 2.0) b))
  (sqrt (* (- (+ y t) 2.0) b))
  (* (sqrt (- (+ y t) 2.0)) (sqrt b))
  (* (sqrt (- (+ y t) 2.0)) (sqrt b))
  (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b)))
  (* (- (+ y t) 2.0) (sqrt b))
  (* (- (+ y t) 2.0) 1)
  (* (cbrt (- (+ y t) 2.0)) b)
  (* (sqrt (- (+ y t) 2.0)) b)
  (* (- (+ y t) 2.0) b)
  (* (- (sqrt (+ y t)) (sqrt 2.0)) b)
  (* (- (+ y t) 2.0) b)
  (* (- (+ y t) 2.0) b)
  (* (- (pow (+ y t) 3) (pow 2.0 3)) b)
  (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
  (/ (exp (sqrt y)) (exp (sqrt 1.0)))
  (log (- (sqrt y) (sqrt 1.0)))
  (exp (- (sqrt y) (sqrt 1.0)))
  (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0))))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (* (* (- (sqrt y) (sqrt 1.0)) (- (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))
  (sqrt (- (sqrt y) (sqrt 1.0)))
  (sqrt (- (sqrt y) (sqrt 1.0)))
  (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3))
  (+ (* (sqrt y) (sqrt y)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0))))
  (neg (sqrt 1.0))
  (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0)))
  (+ (sqrt y) (sqrt 1.0))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt y) (sqrt 1.0))
  (- (sqrt y) (sqrt 1.0))
  (- (+ (* 2 (* (pow NAN 4) (* z (pow y 3)))) (* (pow NAN 2) (* z (pow y 2)))) (* (pow (sqrt 1.0) 2) z))
  (- (+ (* (pow NAN 2) z) (+ (* 3 (/ (* (pow NAN 6) z) (pow y 2))) (* 2 (/ (* (pow NAN 4) z) y)))) (* (pow (sqrt 1.0) 2) z))
  (- (+ (* (pow NAN 2) z) (* 3 (/ (* (pow NAN 6) z) (pow y 2)))) (+ (* 2 (/ (* (pow NAN 4) z) y)) (* (pow (sqrt 1.0) 2) z)))
  (- (+ (* (pow NAN 3) (* z (pow y 2))) (* NAN (* z y))) (* (sqrt 1.0) z))
  (- (+ (/ (* (pow NAN 5) z) (pow y 2)) (+ (/ (* (pow NAN 3) z) y) (* NAN z))) (* (sqrt 1.0) z))
  (- (+ (/ (* (pow NAN 5) z) (pow y 2)) (* NAN z)) (+ (/ (* (pow NAN 3) z) y) (* (sqrt 1.0) z)))
  (- (+ (* y b) (* t b)) (* 2.0 b))
  (- (+ (* y b) (* t b)) (* 2.0 b))
  (- (+ (* y b) (* t b)) (* 2.0 b))
  (- (+ (* (pow NAN 3) (pow y 2)) (* NAN y)) (sqrt 1.0))
  (- (+ (/ (pow NAN 3) y) (+ NAN (/ (pow NAN 5) (pow y 2)))) (sqrt 1.0))
  (- (+ NAN (/ (pow NAN 5) (pow y 2))) (+ (/ (pow NAN 3) y) (sqrt 1.0)))
2.916 * * [simplify]: iteration  0 :  5023  enodes  (cost  1161 )
2.920 * [simplify]: Simplified to:
   (* z (- y 1.0))
  (* z (- y 1.0))
  (log (* z (- y 1.0)))
  (log (* z (- y 1.0)))
  (log (* z (- y 1.0)))
  (pow (exp z) (- y 1.0))
  (pow (* z (- y 1.0)) 3)
  (pow (* z (- y 1.0)) 3)
  (* (cbrt (* z (- y 1.0))) (cbrt (* z (- y 1.0))))
  (cbrt (* z (- y 1.0)))
  (pow (* z (- y 1.0)) 3)
  (sqrt (* z (- y 1.0)))
  (sqrt (* z (- y 1.0)))
  (* z (* (- (pow y 3/2) (* 1.0 (sqrt 1.0))) (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))))
  (* (+ y (- 1.0 (* (sqrt y) (sqrt 1.0)))) (+ y (+ 1.0 (* (sqrt y) (sqrt 1.0)))))
  (* z (* (- y 1.0) (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))))
  (* (+ (sqrt y) (sqrt 1.0)) (+ y (- 1.0 (* (sqrt y) (sqrt 1.0)))))
  (* z (* (- y 1.0) (- (pow y 3/2) (* 1.0 (sqrt 1.0)))))
  (+ (* y (- (sqrt y) (sqrt 1.0))) (* (sqrt 1.0) (- y 1.0)))
  (* z (* (- y 1.0) (- y 1.0)))
  (- y 1.0)
  (* z (+ y (* (sqrt y) (sqrt 1.0))))
  (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0))
  (* z (+ y (* (sqrt y) (sqrt 1.0))))
  (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0))
  (* z (+ y (* (sqrt y) (sqrt 1.0))))
  (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0))
  (* z (+ y (* (sqrt y) (sqrt 1.0))))
  (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0))
  (* (+ (sqrt y) (sqrt 1.0)) z)
  (* z (* (- (sqrt y) (sqrt 1.0)) (cbrt (+ (sqrt y) (sqrt 1.0)))))
  (* z (* (- (sqrt y) (sqrt 1.0)) (sqrt (+ (sqrt y) (sqrt 1.0)))))
  (* z (- y 1.0))
  (* z (- y 1.0))
  (* z (- y 1.0))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- (pow y 3/2) (* 1.0 (sqrt 1.0)))))
  (* (+ (sqrt y) (sqrt 1.0)) (* z (- y 1.0)))
  (* z (* (- (sqrt y) (sqrt 1.0)) (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))))
  (* z (* (- y 1.0) (- (sqrt y) (sqrt 1.0))))
  (* z (- (sqrt y) (sqrt 1.0)))
  (log (* z (- (sqrt y) (sqrt 1.0))))
  (log (* z (- (sqrt y) (sqrt 1.0))))
  (pow (exp (- (sqrt y) (sqrt 1.0))) z)
  (pow (* z (- (sqrt y) (sqrt 1.0))) 3)
  (* (cbrt (* z (- (sqrt y) (sqrt 1.0)))) (cbrt (* z (- (sqrt y) (sqrt 1.0)))))
  (cbrt (* z (- (sqrt y) (sqrt 1.0))))
  (pow (* z (- (sqrt y) (sqrt 1.0))) 3)
  (sqrt (* z (- (sqrt y) (sqrt 1.0))))
  (sqrt (* z (- (sqrt y) (sqrt 1.0))))
  (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0))))
  (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0))))
  (* (sqrt y) z)
  (* (sqrt 1.0) (neg z))
  (* (sqrt y) z)
  (* (sqrt 1.0) (neg z))
  (* z (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0)))))
  (* z (sqrt (- (sqrt y) (sqrt 1.0))))
  z
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0))))
  z
  z
  (* (- (sqrt y) (sqrt 1.0)) (cbrt z))
  (* (- (sqrt y) (sqrt 1.0)) (sqrt z))
  (* z (- (sqrt y) (sqrt 1.0)))
  (* z (- (pow y 3/2) (* 1.0 (sqrt 1.0))))
  (* z (- y 1.0))
  (* (+ y (- t 2.0)) b)
  (log (* (+ y (- t 2.0)) b))
  (log (* (+ y (- t 2.0)) b))
  (pow (exp (+ y (- t 2.0))) b)
  (pow (* (+ y (- t 2.0)) b) 3)
  (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b)))
  (cbrt (* (+ y (- t 2.0)) b))
  (pow (* (+ y (- t 2.0)) b) 3)
  (sqrt (* (+ y (- t 2.0)) b))
  (sqrt (* (+ y (- t 2.0)) b))
  (* (sqrt (+ y (- t 2.0))) (sqrt b))
  (* (sqrt (+ y (- t 2.0))) (sqrt b))
  (* (+ y (- t 2.0)) (* (cbrt b) (cbrt b)))
  (* (+ y (- t 2.0)) (sqrt b))
  (+ y (- t 2.0))
  (* b (cbrt (+ y (- t 2.0))))
  (* b (sqrt (+ y (- t 2.0))))
  (* (+ y (- t 2.0)) b)
  (* b (- (sqrt (+ y t)) (sqrt 2.0)))
  (* (+ y (- t 2.0)) b)
  (* (+ y (- t 2.0)) b)
  (* b (- (pow (+ y t) 3) (pow 2.0 3)))
  (* b (- (* (+ y t) (+ y t)) (* 2.0 2.0)))
  (exp (- (sqrt y) (sqrt 1.0)))
  (log (- (sqrt y) (sqrt 1.0)))
  (exp (- (sqrt y) (sqrt 1.0)))
  (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0))))
  (cbrt (- (sqrt y) (sqrt 1.0)))
  (pow (- (sqrt y) (sqrt 1.0)) 3)
  (sqrt (- (sqrt y) (sqrt 1.0)))
  (sqrt (- (sqrt y) (sqrt 1.0)))
  (- (pow y 3/2) (* 1.0 (sqrt 1.0)))
  (+ y (+ 1.0 (* (sqrt y) (sqrt 1.0))))
  (neg (sqrt 1.0))
  (- y 1.0)
  (+ (sqrt y) (sqrt 1.0))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt (sqrt y)) (sqrt (sqrt 1.0)))
  (- (sqrt y) (sqrt 1.0))
  (- (sqrt y) (sqrt 1.0))
  (+ (* 2 (* z (* (pow NAN 4) (pow y 3)))) (* z (- (* (* NAN NAN) (* y y)) 1.0)))
  (+ (* 3 (* (/ z y) (/ (pow NAN 6) y))) (+ (* 2 (* (/ z y) (pow NAN 4))) (* z (- (* NAN NAN) 1.0))))
  (+ (* 3 (* (/ z y) (/ (pow NAN 6) y))) (+ (* z (- (* NAN NAN) 1.0)) (* (* (/ z y) (pow NAN 4)) -2)))
  (- (* z (* y (+ (* y (pow NAN 3)) NAN))) (* (sqrt 1.0) z))
  (+ (* z (+ NAN (/ (pow NAN 3) y))) (* z (- (/ (pow NAN 5) (* y y)) (sqrt 1.0))))
  (- (* z (+ NAN (/ (pow NAN 5) (* y y)))) (* z (+ (sqrt 1.0) (/ (pow NAN 3) y))))
  (* (+ y (- t 2.0)) b)
  (* (+ y (- t 2.0)) b)
  (* (+ y (- t 2.0)) b)
  (- (* y (+ (* y (pow NAN 3)) NAN)) (sqrt 1.0))
  (+ NAN (+ (/ (pow NAN 5) (* y y)) (- (/ (pow NAN 3) y) (sqrt 1.0))))
  (+ NAN (- (/ (pow NAN 5) (* y y)) (+ (sqrt 1.0) (/ (pow NAN 3) y))))
2.921 * * * [progress]: adding candidates to table
3.158 * [progress]: [Phase 3 of 3] Extracting.
3.158 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (* y b) (* t (- b a))))>)
3.160 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x)
3.160 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (* y b) (* t (- b a))))>)
3.235 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (* y b) (* t (- b a))))>)
3.308 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (* y b) (* t (- b a))))>)
3.383 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (* y b) (* t (- b a))))>)
3.456 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (* y b) (* t (- b a))))>)
3.529 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (- (- x (* (- y 1.0) z)) (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (cbrt a))) (* (- (+ y t) 2.0) b)))> #<alt (λ (x y z t a b) (+ (* y b) (* t (- b a))))>)
3.604 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.604 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* z (cbrt (- y 1.0))))) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
3.608 * * [simplify]: iteration  0 :  285  enodes  (cost  32 )
3.608 * * [simplify]: iteration  1 :  285  enodes  (cost  32 )
3.608 * [simplify]: Simplified to:
   (+ (+ (- x (* (* (cbrt (- y 1.0)) (cbrt (- y 1.0))) (* (cbrt (- y 1.0)) z))) (* a (- 1.0 t))) (* (- (+ y t) 2.0) b))
5.612 * [regime-testing]: End program error score: 0.1657515816688868