24.401 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.657 * * * [progress]: [2/2] Setting up program.
2.662 * [progress]: [Phase 2 of 3] Improving.
2.662 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
2.665 * * [simplify]: iteration  0 :  30  enodes  (cost  8 )
2.666 * * [simplify]: iteration  1 :  85  enodes  (cost  8 )
2.668 * * [simplify]: iteration  2 :  273  enodes  (cost  8 )
2.673 * * [simplify]: iteration  3 :  800  enodes  (cost  8 )
2.684 * * [simplify]: iteration  4 :  2123  enodes  (cost  8 )
2.713 * * [simplify]: iteration  5 :  5001  enodes  (cost  8 )
2.714 * [simplify]: Simplified to:
   (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
2.715 * * [progress]: iteration 1 / 4
2.715 * * * [progress]: picking best candidate
2.719 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))>
2.719 * * * [progress]: localizing error
2.732 * * * [progress]: generating rewritten candidates
2.732 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.737 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.745 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.756 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.764 * * * [progress]: generating series expansions
2.764 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.764 * [approximate]: Taking taylor expansion of (* (log t) z) in (z t) around 0
2.764 * [taylor]: Taking taylor expansion of (* (log t) z) in t
2.764 * [taylor]: Taking taylor expansion of (log t) in t
2.764 * [taylor]: Taking taylor expansion of t in t
2.764 * [taylor]: Taking taylor expansion of z in t
2.764 * [taylor]: Taking taylor expansion of (* (log t) z) in z
2.764 * [taylor]: Taking taylor expansion of (log t) in z
2.764 * [taylor]: Taking taylor expansion of t in z
2.764 * [taylor]: Taking taylor expansion of z in z
2.764 * [taylor]: Taking taylor expansion of (* (log t) z) in z
2.764 * [taylor]: Taking taylor expansion of (log t) in z
2.764 * [taylor]: Taking taylor expansion of t in z
2.764 * [taylor]: Taking taylor expansion of z in z
2.765 * [taylor]: Taking taylor expansion of 0 in t
2.765 * [taylor]: Taking taylor expansion of (log t) in t
2.765 * [taylor]: Taking taylor expansion of t in t
2.765 * [taylor]: Taking taylor expansion of 0 in t
2.766 * [taylor]: Taking taylor expansion of 0 in t
2.766 * [approximate]: Taking taylor expansion of (/ (log (/ 1 t)) z) in (z t) around 0
2.766 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
2.766 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.766 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.766 * [taylor]: Taking taylor expansion of t in t
2.766 * [taylor]: Taking taylor expansion of z in t
2.766 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
2.766 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
2.766 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.766 * [taylor]: Taking taylor expansion of t in z
2.766 * [taylor]: Taking taylor expansion of z in z
2.766 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
2.766 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
2.766 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.766 * [taylor]: Taking taylor expansion of t in z
2.766 * [taylor]: Taking taylor expansion of z in z
2.766 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.766 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.766 * [taylor]: Taking taylor expansion of t in t
2.767 * [taylor]: Taking taylor expansion of 0 in t
2.767 * [taylor]: Taking taylor expansion of 0 in t
2.768 * [taylor]: Taking taylor expansion of 0 in t
2.768 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in (z t) around 0
2.768 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in t
2.768 * [taylor]: Taking taylor expansion of -1 in t
2.768 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
2.768 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
2.768 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.768 * [taylor]: Taking taylor expansion of -1 in t
2.768 * [taylor]: Taking taylor expansion of t in t
2.768 * [taylor]: Taking taylor expansion of z in t
2.768 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
2.768 * [taylor]: Taking taylor expansion of -1 in z
2.768 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
2.768 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
2.769 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.769 * [taylor]: Taking taylor expansion of -1 in z
2.769 * [taylor]: Taking taylor expansion of t in z
2.769 * [taylor]: Taking taylor expansion of z in z
2.769 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
2.769 * [taylor]: Taking taylor expansion of -1 in z
2.769 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
2.769 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
2.769 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.769 * [taylor]: Taking taylor expansion of -1 in z
2.769 * [taylor]: Taking taylor expansion of t in z
2.769 * [taylor]: Taking taylor expansion of z in z
2.769 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 t))) in t
2.769 * [taylor]: Taking taylor expansion of -1 in t
2.769 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
2.769 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.769 * [taylor]: Taking taylor expansion of -1 in t
2.769 * [taylor]: Taking taylor expansion of t in t
2.769 * [taylor]: Taking taylor expansion of 0 in t
2.770 * [taylor]: Taking taylor expansion of 0 in t
2.771 * [taylor]: Taking taylor expansion of 0 in t
2.771 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.771 * [approximate]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in (x y z t) around 0
2.771 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in t
2.771 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in t
2.771 * [taylor]: Taking taylor expansion of x in t
2.771 * [taylor]: Taking taylor expansion of (+ z y) in t
2.771 * [taylor]: Taking taylor expansion of z in t
2.771 * [taylor]: Taking taylor expansion of y in t
2.771 * [taylor]: Taking taylor expansion of (* (log t) z) in t
2.771 * [taylor]: Taking taylor expansion of (log t) in t
2.771 * [taylor]: Taking taylor expansion of t in t
2.771 * [taylor]: Taking taylor expansion of z in t
2.771 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in z
2.771 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
2.771 * [taylor]: Taking taylor expansion of x in z
2.771 * [taylor]: Taking taylor expansion of (+ z y) in z
2.771 * [taylor]: Taking taylor expansion of z in z
2.771 * [taylor]: Taking taylor expansion of y in z
2.771 * [taylor]: Taking taylor expansion of (* (log t) z) in z
2.771 * [taylor]: Taking taylor expansion of (log t) in z
2.771 * [taylor]: Taking taylor expansion of t in z
2.772 * [taylor]: Taking taylor expansion of z in z
2.772 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in y
2.772 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
2.772 * [taylor]: Taking taylor expansion of x in y
2.772 * [taylor]: Taking taylor expansion of (+ z y) in y
2.772 * [taylor]: Taking taylor expansion of z in y
2.772 * [taylor]: Taking taylor expansion of y in y
2.772 * [taylor]: Taking taylor expansion of (* (log t) z) in y
2.772 * [taylor]: Taking taylor expansion of (log t) in y
2.772 * [taylor]: Taking taylor expansion of t in y
2.772 * [taylor]: Taking taylor expansion of z in y
2.772 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
2.772 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.772 * [taylor]: Taking taylor expansion of x in x
2.772 * [taylor]: Taking taylor expansion of (+ z y) in x
2.772 * [taylor]: Taking taylor expansion of z in x
2.772 * [taylor]: Taking taylor expansion of y in x
2.772 * [taylor]: Taking taylor expansion of (* (log t) z) in x
2.772 * [taylor]: Taking taylor expansion of (log t) in x
2.772 * [taylor]: Taking taylor expansion of t in x
2.772 * [taylor]: Taking taylor expansion of z in x
2.772 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
2.772 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.772 * [taylor]: Taking taylor expansion of x in x
2.772 * [taylor]: Taking taylor expansion of (+ z y) in x
2.772 * [taylor]: Taking taylor expansion of z in x
2.772 * [taylor]: Taking taylor expansion of y in x
2.772 * [taylor]: Taking taylor expansion of (* (log t) z) in x
2.772 * [taylor]: Taking taylor expansion of (log t) in x
2.772 * [taylor]: Taking taylor expansion of t in x
2.772 * [taylor]: Taking taylor expansion of z in x
2.772 * [taylor]: Taking taylor expansion of (- (+ z y) (* (log t) z)) in y
2.772 * [taylor]: Taking taylor expansion of (+ z y) in y
2.772 * [taylor]: Taking taylor expansion of z in y
2.772 * [taylor]: Taking taylor expansion of y in y
2.772 * [taylor]: Taking taylor expansion of (* (log t) z) in y
2.772 * [taylor]: Taking taylor expansion of (log t) in y
2.772 * [taylor]: Taking taylor expansion of t in y
2.772 * [taylor]: Taking taylor expansion of z in y
2.772 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z
2.772 * [taylor]: Taking taylor expansion of z in z
2.772 * [taylor]: Taking taylor expansion of (* (log t) z) in z
2.773 * [taylor]: Taking taylor expansion of (log t) in z
2.773 * [taylor]: Taking taylor expansion of t in z
2.773 * [taylor]: Taking taylor expansion of z in z
2.773 * [taylor]: Taking taylor expansion of 0 in t
2.773 * [taylor]: Taking taylor expansion of 1 in y
2.773 * [taylor]: Taking taylor expansion of 1 in z
2.773 * [taylor]: Taking taylor expansion of 1 in t
2.773 * [taylor]: Taking taylor expansion of 1 in z
2.773 * [taylor]: Taking taylor expansion of 1 in t
2.773 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
2.773 * [taylor]: Taking taylor expansion of 1 in t
2.773 * [taylor]: Taking taylor expansion of (log t) in t
2.773 * [taylor]: Taking taylor expansion of t in t
2.774 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in (x y z t) around 0
2.774 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in t
2.774 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
2.774 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.774 * [taylor]: Taking taylor expansion of y in t
2.774 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
2.774 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.774 * [taylor]: Taking taylor expansion of z in t
2.774 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.774 * [taylor]: Taking taylor expansion of x in t
2.774 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
2.774 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.774 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.774 * [taylor]: Taking taylor expansion of t in t
2.774 * [taylor]: Taking taylor expansion of z in t
2.775 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in z
2.775 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
2.775 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.775 * [taylor]: Taking taylor expansion of y in z
2.775 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
2.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.775 * [taylor]: Taking taylor expansion of z in z
2.775 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.775 * [taylor]: Taking taylor expansion of x in z
2.775 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
2.775 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
2.775 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.775 * [taylor]: Taking taylor expansion of t in z
2.775 * [taylor]: Taking taylor expansion of z in z
2.775 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in y
2.775 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
2.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.775 * [taylor]: Taking taylor expansion of y in y
2.775 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
2.775 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.775 * [taylor]: Taking taylor expansion of z in y
2.775 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.775 * [taylor]: Taking taylor expansion of x in y
2.775 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
2.775 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
2.775 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.775 * [taylor]: Taking taylor expansion of t in y
2.775 * [taylor]: Taking taylor expansion of z in y
2.775 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
2.775 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
2.775 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.775 * [taylor]: Taking taylor expansion of y in x
2.775 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
2.775 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.775 * [taylor]: Taking taylor expansion of z in x
2.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.775 * [taylor]: Taking taylor expansion of x in x
2.775 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
2.775 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
2.775 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.775 * [taylor]: Taking taylor expansion of t in x
2.775 * [taylor]: Taking taylor expansion of z in x
2.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
2.776 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
2.776 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.776 * [taylor]: Taking taylor expansion of y in x
2.776 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
2.776 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.776 * [taylor]: Taking taylor expansion of z in x
2.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.776 * [taylor]: Taking taylor expansion of x in x
2.776 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
2.776 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
2.776 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.776 * [taylor]: Taking taylor expansion of t in x
2.776 * [taylor]: Taking taylor expansion of z in x
2.776 * [taylor]: Taking taylor expansion of 1 in y
2.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ 1 t)) z)) in y
2.776 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
2.776 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.776 * [taylor]: Taking taylor expansion of z in y
2.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.776 * [taylor]: Taking taylor expansion of y in y
2.776 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
2.776 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
2.776 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.776 * [taylor]: Taking taylor expansion of t in y
2.776 * [taylor]: Taking taylor expansion of z in y
2.776 * [taylor]: Taking taylor expansion of 1 in z
2.776 * [taylor]: Taking taylor expansion of 1 in z
2.777 * [taylor]: Taking taylor expansion of 0 in y
2.777 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
2.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.777 * [taylor]: Taking taylor expansion of z in z
2.777 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
2.777 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
2.777 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.777 * [taylor]: Taking taylor expansion of t in z
2.777 * [taylor]: Taking taylor expansion of z in z
2.777 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
2.777 * [taylor]: Taking taylor expansion of 1 in t
2.777 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.777 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.777 * [taylor]: Taking taylor expansion of t in t
2.778 * [taylor]: Taking taylor expansion of 0 in z
2.778 * [taylor]: Taking taylor expansion of 1 in t
2.778 * [taylor]: Taking taylor expansion of 1 in t
2.778 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z t) around 0
2.778 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in t
2.778 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
2.778 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
2.778 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.778 * [taylor]: Taking taylor expansion of -1 in t
2.778 * [taylor]: Taking taylor expansion of t in t
2.778 * [taylor]: Taking taylor expansion of z in t
2.778 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
2.778 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.778 * [taylor]: Taking taylor expansion of y in t
2.779 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
2.779 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.779 * [taylor]: Taking taylor expansion of z in t
2.779 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.779 * [taylor]: Taking taylor expansion of x in t
2.779 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
2.779 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
2.779 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
2.779 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.779 * [taylor]: Taking taylor expansion of -1 in z
2.779 * [taylor]: Taking taylor expansion of t in z
2.779 * [taylor]: Taking taylor expansion of z in z
2.779 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
2.779 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.779 * [taylor]: Taking taylor expansion of y in z
2.779 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
2.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.779 * [taylor]: Taking taylor expansion of z in z
2.779 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.779 * [taylor]: Taking taylor expansion of x in z
2.779 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
2.779 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
2.779 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
2.779 * [taylor]: Taking taylor expansion of (/ -1 t) in y
2.779 * [taylor]: Taking taylor expansion of -1 in y
2.779 * [taylor]: Taking taylor expansion of t in y
2.779 * [taylor]: Taking taylor expansion of z in y
2.779 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
2.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.779 * [taylor]: Taking taylor expansion of y in y
2.779 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
2.779 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.779 * [taylor]: Taking taylor expansion of z in y
2.779 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.779 * [taylor]: Taking taylor expansion of x in y
2.779 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
2.779 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
2.779 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
2.779 * [taylor]: Taking taylor expansion of (/ -1 t) in x
2.779 * [taylor]: Taking taylor expansion of -1 in x
2.779 * [taylor]: Taking taylor expansion of t in x
2.779 * [taylor]: Taking taylor expansion of z in x
2.779 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.780 * [taylor]: Taking taylor expansion of y in x
2.780 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
2.780 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.780 * [taylor]: Taking taylor expansion of z in x
2.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.780 * [taylor]: Taking taylor expansion of x in x
2.780 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
2.780 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
2.780 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
2.780 * [taylor]: Taking taylor expansion of (/ -1 t) in x
2.780 * [taylor]: Taking taylor expansion of -1 in x
2.780 * [taylor]: Taking taylor expansion of t in x
2.780 * [taylor]: Taking taylor expansion of z in x
2.780 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.780 * [taylor]: Taking taylor expansion of y in x
2.780 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
2.780 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.780 * [taylor]: Taking taylor expansion of z in x
2.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.780 * [taylor]: Taking taylor expansion of x in x
2.780 * [taylor]: Taking taylor expansion of (neg 1) in y
2.780 * [taylor]: Taking taylor expansion of 1 in y
2.780 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (/ 1 z))) in y
2.780 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
2.780 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
2.780 * [taylor]: Taking taylor expansion of (/ -1 t) in y
2.780 * [taylor]: Taking taylor expansion of -1 in y
2.780 * [taylor]: Taking taylor expansion of t in y
2.780 * [taylor]: Taking taylor expansion of z in y
2.781 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.781 * [taylor]: Taking taylor expansion of y in y
2.781 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.781 * [taylor]: Taking taylor expansion of z in y
2.781 * [taylor]: Taking taylor expansion of (neg 1) in z
2.781 * [taylor]: Taking taylor expansion of 1 in z
2.781 * [taylor]: Taking taylor expansion of (neg 1) in z
2.781 * [taylor]: Taking taylor expansion of 1 in z
2.781 * [taylor]: Taking taylor expansion of 0 in y
2.781 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
2.781 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
2.781 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
2.781 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.781 * [taylor]: Taking taylor expansion of -1 in z
2.781 * [taylor]: Taking taylor expansion of t in z
2.781 * [taylor]: Taking taylor expansion of z in z
2.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.782 * [taylor]: Taking taylor expansion of z in z
2.782 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
2.782 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
2.782 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.782 * [taylor]: Taking taylor expansion of -1 in t
2.782 * [taylor]: Taking taylor expansion of t in t
2.782 * [taylor]: Taking taylor expansion of 1 in t
2.782 * [taylor]: Taking taylor expansion of 0 in z
2.782 * [taylor]: Taking taylor expansion of (neg 1) in t
2.782 * [taylor]: Taking taylor expansion of 1 in t
2.782 * [taylor]: Taking taylor expansion of (neg 1) in t
2.782 * [taylor]: Taking taylor expansion of 1 in t
2.782 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.783 * [approximate]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in (x y z t a b) around 0
2.783 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in b
2.783 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in b
2.783 * [taylor]: Taking taylor expansion of x in b
2.783 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in b
2.783 * [taylor]: Taking taylor expansion of (* a b) in b
2.783 * [taylor]: Taking taylor expansion of a in b
2.783 * [taylor]: Taking taylor expansion of b in b
2.783 * [taylor]: Taking taylor expansion of (+ z y) in b
2.783 * [taylor]: Taking taylor expansion of z in b
2.783 * [taylor]: Taking taylor expansion of y in b
2.783 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in b
2.783 * [taylor]: Taking taylor expansion of (* (log t) z) in b
2.783 * [taylor]: Taking taylor expansion of (log t) in b
2.783 * [taylor]: Taking taylor expansion of t in b
2.783 * [taylor]: Taking taylor expansion of z in b
2.783 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
2.783 * [taylor]: Taking taylor expansion of 0.5 in b
2.783 * [taylor]: Taking taylor expansion of b in b
2.783 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in a
2.783 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in a
2.783 * [taylor]: Taking taylor expansion of x in a
2.783 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in a
2.783 * [taylor]: Taking taylor expansion of (* a b) in a
2.783 * [taylor]: Taking taylor expansion of a in a
2.783 * [taylor]: Taking taylor expansion of b in a
2.783 * [taylor]: Taking taylor expansion of (+ z y) in a
2.783 * [taylor]: Taking taylor expansion of z in a
2.783 * [taylor]: Taking taylor expansion of y in a
2.783 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in a
2.783 * [taylor]: Taking taylor expansion of (* (log t) z) in a
2.783 * [taylor]: Taking taylor expansion of (log t) in a
2.783 * [taylor]: Taking taylor expansion of t in a
2.783 * [taylor]: Taking taylor expansion of z in a
2.783 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
2.783 * [taylor]: Taking taylor expansion of 0.5 in a
2.783 * [taylor]: Taking taylor expansion of b in a
2.783 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in t
2.783 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in t
2.783 * [taylor]: Taking taylor expansion of x in t
2.783 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in t
2.783 * [taylor]: Taking taylor expansion of (* a b) in t
2.783 * [taylor]: Taking taylor expansion of a in t
2.783 * [taylor]: Taking taylor expansion of b in t
2.783 * [taylor]: Taking taylor expansion of (+ z y) in t
2.783 * [taylor]: Taking taylor expansion of z in t
2.783 * [taylor]: Taking taylor expansion of y in t
2.783 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in t
2.783 * [taylor]: Taking taylor expansion of (* (log t) z) in t
2.783 * [taylor]: Taking taylor expansion of (log t) in t
2.783 * [taylor]: Taking taylor expansion of t in t
2.783 * [taylor]: Taking taylor expansion of z in t
2.783 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
2.783 * [taylor]: Taking taylor expansion of 0.5 in t
2.783 * [taylor]: Taking taylor expansion of b in t
2.783 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in z
2.783 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in z
2.783 * [taylor]: Taking taylor expansion of x in z
2.783 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in z
2.784 * [taylor]: Taking taylor expansion of (* a b) in z
2.784 * [taylor]: Taking taylor expansion of a in z
2.784 * [taylor]: Taking taylor expansion of b in z
2.784 * [taylor]: Taking taylor expansion of (+ z y) in z
2.784 * [taylor]: Taking taylor expansion of z in z
2.784 * [taylor]: Taking taylor expansion of y in z
2.784 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in z
2.784 * [taylor]: Taking taylor expansion of (* (log t) z) in z
2.784 * [taylor]: Taking taylor expansion of (log t) in z
2.784 * [taylor]: Taking taylor expansion of t in z
2.784 * [taylor]: Taking taylor expansion of z in z
2.784 * [taylor]: Taking taylor expansion of (* 0.5 b) in z
2.784 * [taylor]: Taking taylor expansion of 0.5 in z
2.784 * [taylor]: Taking taylor expansion of b in z
2.784 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in y
2.784 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in y
2.784 * [taylor]: Taking taylor expansion of x in y
2.784 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in y
2.784 * [taylor]: Taking taylor expansion of (* a b) in y
2.784 * [taylor]: Taking taylor expansion of a in y
2.784 * [taylor]: Taking taylor expansion of b in y
2.784 * [taylor]: Taking taylor expansion of (+ z y) in y
2.784 * [taylor]: Taking taylor expansion of z in y
2.784 * [taylor]: Taking taylor expansion of y in y
2.784 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in y
2.784 * [taylor]: Taking taylor expansion of (* (log t) z) in y
2.784 * [taylor]: Taking taylor expansion of (log t) in y
2.784 * [taylor]: Taking taylor expansion of t in y
2.784 * [taylor]: Taking taylor expansion of z in y
2.784 * [taylor]: Taking taylor expansion of (* 0.5 b) in y
2.784 * [taylor]: Taking taylor expansion of 0.5 in y
2.784 * [taylor]: Taking taylor expansion of b in y
2.784 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in x
2.784 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in x
2.784 * [taylor]: Taking taylor expansion of x in x
2.784 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in x
2.784 * [taylor]: Taking taylor expansion of (* a b) in x
2.784 * [taylor]: Taking taylor expansion of a in x
2.784 * [taylor]: Taking taylor expansion of b in x
2.784 * [taylor]: Taking taylor expansion of (+ z y) in x
2.784 * [taylor]: Taking taylor expansion of z in x
2.784 * [taylor]: Taking taylor expansion of y in x
2.784 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in x
2.784 * [taylor]: Taking taylor expansion of (* (log t) z) in x
2.784 * [taylor]: Taking taylor expansion of (log t) in x
2.784 * [taylor]: Taking taylor expansion of t in x
2.784 * [taylor]: Taking taylor expansion of z in x
2.784 * [taylor]: Taking taylor expansion of (* 0.5 b) in x
2.784 * [taylor]: Taking taylor expansion of 0.5 in x
2.784 * [taylor]: Taking taylor expansion of b in x
2.784 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in x
2.784 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in x
2.784 * [taylor]: Taking taylor expansion of x in x
2.784 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in x
2.784 * [taylor]: Taking taylor expansion of (* a b) in x
2.784 * [taylor]: Taking taylor expansion of a in x
2.784 * [taylor]: Taking taylor expansion of b in x
2.784 * [taylor]: Taking taylor expansion of (+ z y) in x
2.784 * [taylor]: Taking taylor expansion of z in x
2.784 * [taylor]: Taking taylor expansion of y in x
2.784 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in x
2.784 * [taylor]: Taking taylor expansion of (* (log t) z) in x
2.785 * [taylor]: Taking taylor expansion of (log t) in x
2.785 * [taylor]: Taking taylor expansion of t in x
2.785 * [taylor]: Taking taylor expansion of z in x
2.785 * [taylor]: Taking taylor expansion of (* 0.5 b) in x
2.785 * [taylor]: Taking taylor expansion of 0.5 in x
2.785 * [taylor]: Taking taylor expansion of b in x
2.785 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ z y)) (+ (* (log t) z) (* 0.5 b))) in y
2.785 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in y
2.785 * [taylor]: Taking taylor expansion of (* a b) in y
2.785 * [taylor]: Taking taylor expansion of a in y
2.785 * [taylor]: Taking taylor expansion of b in y
2.785 * [taylor]: Taking taylor expansion of (+ z y) in y
2.785 * [taylor]: Taking taylor expansion of z in y
2.785 * [taylor]: Taking taylor expansion of y in y
2.785 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in y
2.785 * [taylor]: Taking taylor expansion of (* (log t) z) in y
2.785 * [taylor]: Taking taylor expansion of (log t) in y
2.785 * [taylor]: Taking taylor expansion of t in y
2.785 * [taylor]: Taking taylor expansion of z in y
2.785 * [taylor]: Taking taylor expansion of (* 0.5 b) in y
2.785 * [taylor]: Taking taylor expansion of 0.5 in y
2.785 * [taylor]: Taking taylor expansion of b in y
2.786 * [taylor]: Taking taylor expansion of (- (+ (* a b) z) (+ (* (log t) z) (* 0.5 b))) in z
2.786 * [taylor]: Taking taylor expansion of (+ (* a b) z) in z
2.786 * [taylor]: Taking taylor expansion of (* a b) in z
2.786 * [taylor]: Taking taylor expansion of a in z
2.786 * [taylor]: Taking taylor expansion of b in z
2.786 * [taylor]: Taking taylor expansion of z in z
2.786 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in z
2.786 * [taylor]: Taking taylor expansion of (* (log t) z) in z
2.786 * [taylor]: Taking taylor expansion of (log t) in z
2.786 * [taylor]: Taking taylor expansion of t in z
2.786 * [taylor]: Taking taylor expansion of z in z
2.786 * [taylor]: Taking taylor expansion of (* 0.5 b) in z
2.786 * [taylor]: Taking taylor expansion of 0.5 in z
2.786 * [taylor]: Taking taylor expansion of b in z
2.786 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in t
2.786 * [taylor]: Taking taylor expansion of (* a b) in t
2.786 * [taylor]: Taking taylor expansion of a in t
2.786 * [taylor]: Taking taylor expansion of b in t
2.786 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
2.786 * [taylor]: Taking taylor expansion of 0.5 in t
2.786 * [taylor]: Taking taylor expansion of b in t
2.786 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in a
2.786 * [taylor]: Taking taylor expansion of (* a b) in a
2.786 * [taylor]: Taking taylor expansion of a in a
2.786 * [taylor]: Taking taylor expansion of b in a
2.786 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
2.786 * [taylor]: Taking taylor expansion of 0.5 in a
2.786 * [taylor]: Taking taylor expansion of b in a
2.789 * [taylor]: Taking taylor expansion of (neg (* 0.5 b)) in b
2.789 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
2.789 * [taylor]: Taking taylor expansion of 0.5 in b
2.789 * [taylor]: Taking taylor expansion of b in b
2.789 * [taylor]: Taking taylor expansion of 1 in y
2.789 * [taylor]: Taking taylor expansion of 1 in z
2.790 * [taylor]: Taking taylor expansion of 1 in t
2.790 * [taylor]: Taking taylor expansion of 1 in a
2.790 * [taylor]: Taking taylor expansion of 1 in b
2.791 * [taylor]: Taking taylor expansion of 1 in z
2.791 * [taylor]: Taking taylor expansion of 1 in t
2.791 * [taylor]: Taking taylor expansion of 1 in a
2.791 * [taylor]: Taking taylor expansion of 1 in b
2.791 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
2.791 * [taylor]: Taking taylor expansion of 1 in t
2.791 * [taylor]: Taking taylor expansion of (log t) in t
2.791 * [taylor]: Taking taylor expansion of t in t
2.791 * [taylor]: Taking taylor expansion of (- 1 (+ (log t) (log 1))) in a
2.791 * [taylor]: Taking taylor expansion of 1 in a
2.791 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in a
2.791 * [taylor]: Taking taylor expansion of (log t) in a
2.791 * [taylor]: Taking taylor expansion of t in a
2.791 * [taylor]: Taking taylor expansion of (log 1) in a
2.791 * [taylor]: Taking taylor expansion of 1 in a
2.791 * [taylor]: Taking taylor expansion of (- 1 (+ (log t) (log 1))) in b
2.791 * [taylor]: Taking taylor expansion of 1 in b
2.791 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in b
2.791 * [taylor]: Taking taylor expansion of (log t) in b
2.791 * [taylor]: Taking taylor expansion of t in b
2.791 * [taylor]: Taking taylor expansion of (log 1) in b
2.791 * [taylor]: Taking taylor expansion of 1 in b
2.792 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in (x y z t a b) around 0
2.792 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in b
2.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in b
2.792 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.792 * [taylor]: Taking taylor expansion of (* a b) in b
2.792 * [taylor]: Taking taylor expansion of a in b
2.792 * [taylor]: Taking taylor expansion of b in b
2.792 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in b
2.792 * [taylor]: Taking taylor expansion of (/ 1 z) in b
2.792 * [taylor]: Taking taylor expansion of z in b
2.792 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b
2.792 * [taylor]: Taking taylor expansion of (/ 1 y) in b
2.792 * [taylor]: Taking taylor expansion of y in b
2.792 * [taylor]: Taking taylor expansion of (/ 1 x) in b
2.792 * [taylor]: Taking taylor expansion of x in b
2.792 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in b
2.793 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
2.793 * [taylor]: Taking taylor expansion of 0.5 in b
2.793 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.793 * [taylor]: Taking taylor expansion of b in b
2.793 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in b
2.793 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
2.793 * [taylor]: Taking taylor expansion of (/ 1 t) in b
2.793 * [taylor]: Taking taylor expansion of t in b
2.793 * [taylor]: Taking taylor expansion of z in b
2.793 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in a
2.793 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in a
2.793 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.793 * [taylor]: Taking taylor expansion of (* a b) in a
2.793 * [taylor]: Taking taylor expansion of a in a
2.793 * [taylor]: Taking taylor expansion of b in a
2.793 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in a
2.793 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.793 * [taylor]: Taking taylor expansion of z in a
2.793 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
2.793 * [taylor]: Taking taylor expansion of (/ 1 y) in a
2.793 * [taylor]: Taking taylor expansion of y in a
2.793 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.793 * [taylor]: Taking taylor expansion of x in a
2.793 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in a
2.793 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
2.793 * [taylor]: Taking taylor expansion of 0.5 in a
2.793 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.793 * [taylor]: Taking taylor expansion of b in a
2.793 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in a
2.793 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.793 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.793 * [taylor]: Taking taylor expansion of t in a
2.793 * [taylor]: Taking taylor expansion of z in a
2.793 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in t
2.793 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
2.793 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
2.793 * [taylor]: Taking taylor expansion of (* a b) in t
2.793 * [taylor]: Taking taylor expansion of a in t
2.793 * [taylor]: Taking taylor expansion of b in t
2.793 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
2.793 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.793 * [taylor]: Taking taylor expansion of z in t
2.794 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
2.794 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.794 * [taylor]: Taking taylor expansion of y in t
2.794 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.794 * [taylor]: Taking taylor expansion of x in t
2.794 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in t
2.794 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
2.794 * [taylor]: Taking taylor expansion of 0.5 in t
2.794 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.794 * [taylor]: Taking taylor expansion of b in t
2.794 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
2.794 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.794 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.794 * [taylor]: Taking taylor expansion of t in t
2.794 * [taylor]: Taking taylor expansion of z in t
2.794 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z
2.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
2.794 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.794 * [taylor]: Taking taylor expansion of (* a b) in z
2.794 * [taylor]: Taking taylor expansion of a in z
2.794 * [taylor]: Taking taylor expansion of b in z
2.794 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
2.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.794 * [taylor]: Taking taylor expansion of z in z
2.794 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.794 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.794 * [taylor]: Taking taylor expansion of y in z
2.794 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.794 * [taylor]: Taking taylor expansion of x in z
2.794 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z
2.794 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
2.794 * [taylor]: Taking taylor expansion of 0.5 in z
2.794 * [taylor]: Taking taylor expansion of (/ 1 b) in z
2.794 * [taylor]: Taking taylor expansion of b in z
2.794 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
2.795 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
2.795 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.795 * [taylor]: Taking taylor expansion of t in z
2.795 * [taylor]: Taking taylor expansion of z in z
2.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y
2.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
2.795 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.795 * [taylor]: Taking taylor expansion of (* a b) in y
2.795 * [taylor]: Taking taylor expansion of a in y
2.795 * [taylor]: Taking taylor expansion of b in y
2.795 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
2.795 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.795 * [taylor]: Taking taylor expansion of z in y
2.795 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.795 * [taylor]: Taking taylor expansion of y in y
2.795 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.795 * [taylor]: Taking taylor expansion of x in y
2.795 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y
2.795 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
2.795 * [taylor]: Taking taylor expansion of 0.5 in y
2.795 * [taylor]: Taking taylor expansion of (/ 1 b) in y
2.795 * [taylor]: Taking taylor expansion of b in y
2.795 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
2.795 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
2.795 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.795 * [taylor]: Taking taylor expansion of t in y
2.795 * [taylor]: Taking taylor expansion of z in y
2.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x
2.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
2.795 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.795 * [taylor]: Taking taylor expansion of (* a b) in x
2.795 * [taylor]: Taking taylor expansion of a in x
2.795 * [taylor]: Taking taylor expansion of b in x
2.795 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
2.795 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.795 * [taylor]: Taking taylor expansion of z in x
2.795 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.795 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.795 * [taylor]: Taking taylor expansion of y in x
2.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.795 * [taylor]: Taking taylor expansion of x in x
2.796 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x
2.796 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
2.796 * [taylor]: Taking taylor expansion of 0.5 in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 b) in x
2.796 * [taylor]: Taking taylor expansion of b in x
2.796 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
2.796 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.796 * [taylor]: Taking taylor expansion of t in x
2.796 * [taylor]: Taking taylor expansion of z in x
2.796 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x
2.796 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.796 * [taylor]: Taking taylor expansion of (* a b) in x
2.796 * [taylor]: Taking taylor expansion of a in x
2.796 * [taylor]: Taking taylor expansion of b in x
2.796 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.796 * [taylor]: Taking taylor expansion of z in x
2.796 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.796 * [taylor]: Taking taylor expansion of y in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.796 * [taylor]: Taking taylor expansion of x in x
2.796 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x
2.796 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
2.796 * [taylor]: Taking taylor expansion of 0.5 in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 b) in x
2.796 * [taylor]: Taking taylor expansion of b in x
2.796 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
2.796 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
2.796 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.796 * [taylor]: Taking taylor expansion of t in x
2.796 * [taylor]: Taking taylor expansion of z in x
2.796 * [taylor]: Taking taylor expansion of 1 in y
2.797 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (/ 1 y))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y
2.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (/ 1 y))) in y
2.797 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.797 * [taylor]: Taking taylor expansion of (* a b) in y
2.797 * [taylor]: Taking taylor expansion of a in y
2.797 * [taylor]: Taking taylor expansion of b in y
2.797 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
2.797 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.797 * [taylor]: Taking taylor expansion of z in y
2.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.797 * [taylor]: Taking taylor expansion of y in y
2.797 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y
2.797 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
2.797 * [taylor]: Taking taylor expansion of 0.5 in y
2.797 * [taylor]: Taking taylor expansion of (/ 1 b) in y
2.797 * [taylor]: Taking taylor expansion of b in y
2.797 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
2.797 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
2.797 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.797 * [taylor]: Taking taylor expansion of t in y
2.797 * [taylor]: Taking taylor expansion of z in y
2.797 * [taylor]: Taking taylor expansion of 1 in z
2.797 * [taylor]: Taking taylor expansion of 1 in z
2.798 * [taylor]: Taking taylor expansion of 0 in y
2.798 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (/ 1 z)) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z
2.799 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 z)) in z
2.799 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.799 * [taylor]: Taking taylor expansion of (* a b) in z
2.799 * [taylor]: Taking taylor expansion of a in z
2.799 * [taylor]: Taking taylor expansion of b in z
2.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.799 * [taylor]: Taking taylor expansion of z in z
2.799 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z
2.799 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
2.799 * [taylor]: Taking taylor expansion of 0.5 in z
2.799 * [taylor]: Taking taylor expansion of (/ 1 b) in z
2.799 * [taylor]: Taking taylor expansion of b in z
2.799 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
2.799 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
2.799 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.799 * [taylor]: Taking taylor expansion of t in z
2.799 * [taylor]: Taking taylor expansion of z in z
2.799 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
2.799 * [taylor]: Taking taylor expansion of 1 in t
2.799 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.799 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.799 * [taylor]: Taking taylor expansion of t in t
2.799 * [taylor]: Taking taylor expansion of (- (+ (log t) 1) (log 1)) in a
2.799 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
2.799 * [taylor]: Taking taylor expansion of (log t) in a
2.799 * [taylor]: Taking taylor expansion of t in a
2.799 * [taylor]: Taking taylor expansion of 1 in a
2.799 * [taylor]: Taking taylor expansion of (log 1) in a
2.799 * [taylor]: Taking taylor expansion of 1 in a
2.799 * [taylor]: Taking taylor expansion of 0 in z
2.799 * [taylor]: Taking taylor expansion of 1 in t
2.799 * [taylor]: Taking taylor expansion of 1 in a
2.799 * [taylor]: Taking taylor expansion of 1 in t
2.799 * [taylor]: Taking taylor expansion of 1 in a
2.800 * [taylor]: Taking taylor expansion of 0 in y
2.800 * [taylor]: Taking taylor expansion of 0 in z
2.801 * [taylor]: Taking taylor expansion of 0 in z
2.801 * [taylor]: Taking taylor expansion of 0 in z
2.801 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t
2.801 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
2.801 * [taylor]: Taking taylor expansion of (* a b) in t
2.801 * [taylor]: Taking taylor expansion of a in t
2.801 * [taylor]: Taking taylor expansion of b in t
2.801 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
2.801 * [taylor]: Taking taylor expansion of 0.5 in t
2.801 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.801 * [taylor]: Taking taylor expansion of b in t
2.802 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a
2.802 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.802 * [taylor]: Taking taylor expansion of (* a b) in a
2.802 * [taylor]: Taking taylor expansion of a in a
2.802 * [taylor]: Taking taylor expansion of b in a
2.802 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
2.802 * [taylor]: Taking taylor expansion of 0.5 in a
2.802 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.802 * [taylor]: Taking taylor expansion of b in a
2.802 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.802 * [taylor]: Taking taylor expansion of b in b
2.802 * [taylor]: Taking taylor expansion of 0 in t
2.802 * [taylor]: Taking taylor expansion of 0 in a
2.802 * [taylor]: Taking taylor expansion of 0 in t
2.802 * [taylor]: Taking taylor expansion of 0 in a
2.802 * [taylor]: Taking taylor expansion of 0 in t
2.802 * [taylor]: Taking taylor expansion of 0 in a
2.802 * [taylor]: Taking taylor expansion of 0 in a
2.802 * [taylor]: Taking taylor expansion of 0 in a
2.802 * [taylor]: Taking taylor expansion of 0 in a
2.802 * [taylor]: Taking taylor expansion of (- (+ (log t) 1) (log 1)) in b
2.802 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
2.802 * [taylor]: Taking taylor expansion of (log t) in b
2.802 * [taylor]: Taking taylor expansion of t in b
2.802 * [taylor]: Taking taylor expansion of 1 in b
2.802 * [taylor]: Taking taylor expansion of (log 1) in b
2.803 * [taylor]: Taking taylor expansion of 1 in b
2.803 * [taylor]: Taking taylor expansion of 1 in b
2.803 * [taylor]: Taking taylor expansion of 1 in b
2.804 * [taylor]: Taking taylor expansion of 0 in y
2.804 * [taylor]: Taking taylor expansion of 0 in z
2.804 * [taylor]: Taking taylor expansion of 0 in z
2.804 * [taylor]: Taking taylor expansion of 0 in z
2.805 * [taylor]: Taking taylor expansion of 0 in z
2.805 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of 0 in a
2.805 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of 0 in a
2.805 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of 0 in a
2.805 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of 0 in a
2.805 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of 0 in a
2.805 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of 0 in a
2.805 * [taylor]: Taking taylor expansion of 0 in t
2.805 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of 0 in a
2.806 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 b))) in b
2.806 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
2.806 * [taylor]: Taking taylor expansion of 0.5 in b
2.806 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.806 * [taylor]: Taking taylor expansion of b in b
2.806 * [taylor]: Taking taylor expansion of 0 in b
2.806 * [taylor]: Taking taylor expansion of 0 in b
2.806 * [taylor]: Taking taylor expansion of 0 in b
2.806 * [taylor]: Taking taylor expansion of 0 in b
2.806 * [taylor]: Taking taylor expansion of 0 in b
2.807 * [taylor]: Taking taylor expansion of 0 in b
2.807 * [taylor]: Taking taylor expansion of 0 in b
2.807 * [taylor]: Taking taylor expansion of 0 in b
2.807 * [taylor]: Taking taylor expansion of 0 in b
2.808 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in (x y z t a b) around 0
2.808 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in b
2.808 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in b
2.808 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.808 * [taylor]: Taking taylor expansion of (* a b) in b
2.808 * [taylor]: Taking taylor expansion of a in b
2.808 * [taylor]: Taking taylor expansion of b in b
2.808 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in b
2.808 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in b
2.808 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in b
2.808 * [taylor]: Taking taylor expansion of (/ -1 t) in b
2.808 * [taylor]: Taking taylor expansion of -1 in b
2.808 * [taylor]: Taking taylor expansion of t in b
2.808 * [taylor]: Taking taylor expansion of z in b
2.808 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
2.808 * [taylor]: Taking taylor expansion of 0.5 in b
2.808 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.808 * [taylor]: Taking taylor expansion of b in b
2.808 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in b
2.808 * [taylor]: Taking taylor expansion of (/ 1 z) in b
2.808 * [taylor]: Taking taylor expansion of z in b
2.808 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b
2.808 * [taylor]: Taking taylor expansion of (/ 1 y) in b
2.808 * [taylor]: Taking taylor expansion of y in b
2.808 * [taylor]: Taking taylor expansion of (/ 1 x) in b
2.808 * [taylor]: Taking taylor expansion of x in b
2.808 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in a
2.808 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in a
2.808 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.808 * [taylor]: Taking taylor expansion of (* a b) in a
2.808 * [taylor]: Taking taylor expansion of a in a
2.808 * [taylor]: Taking taylor expansion of b in a
2.809 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in a
2.809 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in a
2.809 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
2.809 * [taylor]: Taking taylor expansion of (/ -1 t) in a
2.809 * [taylor]: Taking taylor expansion of -1 in a
2.809 * [taylor]: Taking taylor expansion of t in a
2.809 * [taylor]: Taking taylor expansion of z in a
2.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
2.809 * [taylor]: Taking taylor expansion of 0.5 in a
2.809 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.809 * [taylor]: Taking taylor expansion of b in a
2.809 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in a
2.809 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.809 * [taylor]: Taking taylor expansion of z in a
2.809 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
2.809 * [taylor]: Taking taylor expansion of (/ 1 y) in a
2.809 * [taylor]: Taking taylor expansion of y in a
2.809 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.809 * [taylor]: Taking taylor expansion of x in a
2.809 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
2.809 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in t
2.809 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
2.809 * [taylor]: Taking taylor expansion of (* a b) in t
2.809 * [taylor]: Taking taylor expansion of a in t
2.809 * [taylor]: Taking taylor expansion of b in t
2.809 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in t
2.809 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
2.809 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
2.809 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.809 * [taylor]: Taking taylor expansion of -1 in t
2.809 * [taylor]: Taking taylor expansion of t in t
2.809 * [taylor]: Taking taylor expansion of z in t
2.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
2.809 * [taylor]: Taking taylor expansion of 0.5 in t
2.809 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.809 * [taylor]: Taking taylor expansion of b in t
2.809 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
2.809 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.810 * [taylor]: Taking taylor expansion of z in t
2.810 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
2.810 * [taylor]: Taking taylor expansion of (/ 1 y) in t
2.810 * [taylor]: Taking taylor expansion of y in t
2.810 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.810 * [taylor]: Taking taylor expansion of x in t
2.810 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
2.810 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in z
2.810 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.810 * [taylor]: Taking taylor expansion of (* a b) in z
2.810 * [taylor]: Taking taylor expansion of a in z
2.810 * [taylor]: Taking taylor expansion of b in z
2.810 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in z
2.810 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
2.810 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
2.810 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.810 * [taylor]: Taking taylor expansion of -1 in z
2.810 * [taylor]: Taking taylor expansion of t in z
2.810 * [taylor]: Taking taylor expansion of z in z
2.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
2.810 * [taylor]: Taking taylor expansion of 0.5 in z
2.810 * [taylor]: Taking taylor expansion of (/ 1 b) in z
2.810 * [taylor]: Taking taylor expansion of b in z
2.810 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
2.810 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.810 * [taylor]: Taking taylor expansion of z in z
2.810 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.810 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.810 * [taylor]: Taking taylor expansion of y in z
2.810 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.810 * [taylor]: Taking taylor expansion of x in z
2.810 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
2.810 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in y
2.810 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.810 * [taylor]: Taking taylor expansion of (* a b) in y
2.810 * [taylor]: Taking taylor expansion of a in y
2.810 * [taylor]: Taking taylor expansion of b in y
2.810 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in y
2.810 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
2.810 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
2.810 * [taylor]: Taking taylor expansion of (/ -1 t) in y
2.810 * [taylor]: Taking taylor expansion of -1 in y
2.810 * [taylor]: Taking taylor expansion of t in y
2.810 * [taylor]: Taking taylor expansion of z in y
2.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
2.811 * [taylor]: Taking taylor expansion of 0.5 in y
2.811 * [taylor]: Taking taylor expansion of (/ 1 b) in y
2.811 * [taylor]: Taking taylor expansion of b in y
2.811 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
2.811 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.811 * [taylor]: Taking taylor expansion of z in y
2.811 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.811 * [taylor]: Taking taylor expansion of y in y
2.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.811 * [taylor]: Taking taylor expansion of x in y
2.811 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
2.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.811 * [taylor]: Taking taylor expansion of (* a b) in x
2.811 * [taylor]: Taking taylor expansion of a in x
2.811 * [taylor]: Taking taylor expansion of b in x
2.811 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in x
2.811 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
2.811 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
2.811 * [taylor]: Taking taylor expansion of (/ -1 t) in x
2.811 * [taylor]: Taking taylor expansion of -1 in x
2.811 * [taylor]: Taking taylor expansion of t in x
2.811 * [taylor]: Taking taylor expansion of z in x
2.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
2.811 * [taylor]: Taking taylor expansion of 0.5 in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 b) in x
2.811 * [taylor]: Taking taylor expansion of b in x
2.811 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.811 * [taylor]: Taking taylor expansion of z in x
2.811 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.811 * [taylor]: Taking taylor expansion of y in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.811 * [taylor]: Taking taylor expansion of x in x
2.811 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
2.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in x
2.811 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.811 * [taylor]: Taking taylor expansion of (* a b) in x
2.811 * [taylor]: Taking taylor expansion of a in x
2.811 * [taylor]: Taking taylor expansion of b in x
2.811 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in x
2.812 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
2.812 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
2.812 * [taylor]: Taking taylor expansion of (/ -1 t) in x
2.812 * [taylor]: Taking taylor expansion of -1 in x
2.812 * [taylor]: Taking taylor expansion of t in x
2.812 * [taylor]: Taking taylor expansion of z in x
2.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
2.812 * [taylor]: Taking taylor expansion of 0.5 in x
2.812 * [taylor]: Taking taylor expansion of (/ 1 b) in x
2.812 * [taylor]: Taking taylor expansion of b in x
2.812 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
2.812 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.812 * [taylor]: Taking taylor expansion of z in x
2.812 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.812 * [taylor]: Taking taylor expansion of y in x
2.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.812 * [taylor]: Taking taylor expansion of x in x
2.812 * [taylor]: Taking taylor expansion of (neg 1) in y
2.812 * [taylor]: Taking taylor expansion of 1 in y
2.813 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (/ 1 y))) in y
2.813 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in y
2.813 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.813 * [taylor]: Taking taylor expansion of (* a b) in y
2.813 * [taylor]: Taking taylor expansion of a in y
2.813 * [taylor]: Taking taylor expansion of b in y
2.813 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in y
2.813 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
2.813 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
2.813 * [taylor]: Taking taylor expansion of (/ -1 t) in y
2.813 * [taylor]: Taking taylor expansion of -1 in y
2.813 * [taylor]: Taking taylor expansion of t in y
2.813 * [taylor]: Taking taylor expansion of z in y
2.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
2.813 * [taylor]: Taking taylor expansion of 0.5 in y
2.813 * [taylor]: Taking taylor expansion of (/ 1 b) in y
2.813 * [taylor]: Taking taylor expansion of b in y
2.813 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
2.813 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.813 * [taylor]: Taking taylor expansion of z in y
2.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.813 * [taylor]: Taking taylor expansion of y in y
2.813 * [taylor]: Taking taylor expansion of (neg 1) in z
2.813 * [taylor]: Taking taylor expansion of 1 in z
2.813 * [taylor]: Taking taylor expansion of (neg 1) in z
2.813 * [taylor]: Taking taylor expansion of 1 in z
2.814 * [taylor]: Taking taylor expansion of 0 in y
2.814 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (/ 1 z)) in z
2.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in z
2.814 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.814 * [taylor]: Taking taylor expansion of (* a b) in z
2.814 * [taylor]: Taking taylor expansion of a in z
2.814 * [taylor]: Taking taylor expansion of b in z
2.814 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in z
2.814 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
2.814 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
2.814 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.814 * [taylor]: Taking taylor expansion of -1 in z
2.814 * [taylor]: Taking taylor expansion of t in z
2.814 * [taylor]: Taking taylor expansion of z in z
2.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
2.815 * [taylor]: Taking taylor expansion of 0.5 in z
2.815 * [taylor]: Taking taylor expansion of (/ 1 b) in z
2.815 * [taylor]: Taking taylor expansion of b in z
2.815 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.815 * [taylor]: Taking taylor expansion of z in z
2.815 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
2.815 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
2.815 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.815 * [taylor]: Taking taylor expansion of -1 in t
2.815 * [taylor]: Taking taylor expansion of t in t
2.815 * [taylor]: Taking taylor expansion of 1 in t
2.815 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in a
2.815 * [taylor]: Taking taylor expansion of (log -1) in a
2.815 * [taylor]: Taking taylor expansion of -1 in a
2.815 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
2.815 * [taylor]: Taking taylor expansion of (log t) in a
2.815 * [taylor]: Taking taylor expansion of t in a
2.815 * [taylor]: Taking taylor expansion of 1 in a
2.815 * [taylor]: Taking taylor expansion of 0 in z
2.815 * [taylor]: Taking taylor expansion of (neg 1) in t
2.815 * [taylor]: Taking taylor expansion of 1 in t
2.815 * [taylor]: Taking taylor expansion of (neg 1) in a
2.815 * [taylor]: Taking taylor expansion of 1 in a
2.815 * [taylor]: Taking taylor expansion of (neg 1) in t
2.815 * [taylor]: Taking taylor expansion of 1 in t
2.815 * [taylor]: Taking taylor expansion of (neg 1) in a
2.815 * [taylor]: Taking taylor expansion of 1 in a
2.816 * [taylor]: Taking taylor expansion of 0 in y
2.816 * [taylor]: Taking taylor expansion of 0 in z
2.817 * [taylor]: Taking taylor expansion of 0 in z
2.817 * [taylor]: Taking taylor expansion of 0 in z
2.817 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t
2.817 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
2.817 * [taylor]: Taking taylor expansion of (* a b) in t
2.817 * [taylor]: Taking taylor expansion of a in t
2.817 * [taylor]: Taking taylor expansion of b in t
2.817 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
2.817 * [taylor]: Taking taylor expansion of 0.5 in t
2.817 * [taylor]: Taking taylor expansion of (/ 1 b) in t
2.817 * [taylor]: Taking taylor expansion of b in t
2.818 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a
2.818 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.818 * [taylor]: Taking taylor expansion of (* a b) in a
2.818 * [taylor]: Taking taylor expansion of a in a
2.818 * [taylor]: Taking taylor expansion of b in a
2.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
2.818 * [taylor]: Taking taylor expansion of 0.5 in a
2.818 * [taylor]: Taking taylor expansion of (/ 1 b) in a
2.818 * [taylor]: Taking taylor expansion of b in a
2.818 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.818 * [taylor]: Taking taylor expansion of b in b
2.818 * [taylor]: Taking taylor expansion of 0 in t
2.818 * [taylor]: Taking taylor expansion of 0 in a
2.818 * [taylor]: Taking taylor expansion of 0 in t
2.818 * [taylor]: Taking taylor expansion of 0 in a
2.818 * [taylor]: Taking taylor expansion of 0 in t
2.818 * [taylor]: Taking taylor expansion of 0 in a
2.818 * [taylor]: Taking taylor expansion of 0 in a
2.818 * [taylor]: Taking taylor expansion of 0 in a
2.818 * [taylor]: Taking taylor expansion of 0 in a
2.818 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in b
2.818 * [taylor]: Taking taylor expansion of (log -1) in b
2.818 * [taylor]: Taking taylor expansion of -1 in b
2.819 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
2.819 * [taylor]: Taking taylor expansion of (log t) in b
2.819 * [taylor]: Taking taylor expansion of t in b
2.819 * [taylor]: Taking taylor expansion of 1 in b
2.819 * [taylor]: Taking taylor expansion of (neg 1) in b
2.819 * [taylor]: Taking taylor expansion of 1 in b
2.819 * [taylor]: Taking taylor expansion of (neg 1) in b
2.819 * [taylor]: Taking taylor expansion of 1 in b
2.820 * [taylor]: Taking taylor expansion of 0 in y
2.820 * [taylor]: Taking taylor expansion of 0 in z
2.820 * [taylor]: Taking taylor expansion of 0 in z
2.821 * [taylor]: Taking taylor expansion of 0 in z
2.821 * [taylor]: Taking taylor expansion of 0 in z
2.821 * [taylor]: Taking taylor expansion of 0 in t
2.821 * [taylor]: Taking taylor expansion of 0 in a
2.821 * [taylor]: Taking taylor expansion of 0 in t
2.821 * [taylor]: Taking taylor expansion of 0 in a
2.821 * [taylor]: Taking taylor expansion of 0 in t
2.821 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in t
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in t
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in t
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in t
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.822 * [taylor]: Taking taylor expansion of 0 in a
2.823 * [taylor]: Taking taylor expansion of 0 in a
2.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
2.823 * [taylor]: Taking taylor expansion of 0.5 in b
2.823 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.823 * [taylor]: Taking taylor expansion of b in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.823 * [taylor]: Taking taylor expansion of 0 in b
2.824 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.824 * [approximate]: Taking taylor expansion of (* b (- a 0.5)) in (a b) around 0
2.824 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in b
2.824 * [taylor]: Taking taylor expansion of b in b
2.824 * [taylor]: Taking taylor expansion of (- a 0.5) in b
2.824 * [taylor]: Taking taylor expansion of a in b
2.824 * [taylor]: Taking taylor expansion of 0.5 in b
2.824 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in a
2.824 * [taylor]: Taking taylor expansion of b in a
2.825 * [taylor]: Taking taylor expansion of (- a 0.5) in a
2.825 * [taylor]: Taking taylor expansion of a in a
2.825 * [taylor]: Taking taylor expansion of 0.5 in a
2.825 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in a
2.825 * [taylor]: Taking taylor expansion of b in a
2.825 * [taylor]: Taking taylor expansion of (- a 0.5) in a
2.825 * [taylor]: Taking taylor expansion of a in a
2.825 * [taylor]: Taking taylor expansion of 0.5 in a
2.825 * [taylor]: Taking taylor expansion of (* -0.5 b) in b
2.825 * [taylor]: Taking taylor expansion of -0.5 in b
2.825 * [taylor]: Taking taylor expansion of b in b
2.825 * [taylor]: Taking taylor expansion of b in b
2.825 * [taylor]: Taking taylor expansion of 0 in b
2.825 * [taylor]: Taking taylor expansion of 0 in b
2.825 * [taylor]: Taking taylor expansion of 0 in b
2.825 * [approximate]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in (a b) around 0
2.825 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in b
2.825 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b
2.825 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.825 * [taylor]: Taking taylor expansion of a in b
2.825 * [taylor]: Taking taylor expansion of 0.5 in b
2.826 * [taylor]: Taking taylor expansion of b in b
2.826 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a
2.826 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
2.826 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.826 * [taylor]: Taking taylor expansion of a in a
2.826 * [taylor]: Taking taylor expansion of 0.5 in a
2.826 * [taylor]: Taking taylor expansion of b in a
2.826 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a
2.826 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
2.826 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.826 * [taylor]: Taking taylor expansion of a in a
2.826 * [taylor]: Taking taylor expansion of 0.5 in a
2.826 * [taylor]: Taking taylor expansion of b in a
2.826 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.826 * [taylor]: Taking taylor expansion of b in b
2.826 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 b))) in b
2.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
2.826 * [taylor]: Taking taylor expansion of 0.5 in b
2.826 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.826 * [taylor]: Taking taylor expansion of b in b
2.826 * [taylor]: Taking taylor expansion of 0 in b
2.827 * [taylor]: Taking taylor expansion of 0 in b
2.827 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in (a b) around 0
2.827 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in b
2.827 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b
2.827 * [taylor]: Taking taylor expansion of (/ 1 a) in b
2.827 * [taylor]: Taking taylor expansion of a in b
2.827 * [taylor]: Taking taylor expansion of 0.5 in b
2.827 * [taylor]: Taking taylor expansion of b in b
2.827 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a
2.827 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
2.827 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.827 * [taylor]: Taking taylor expansion of a in a
2.827 * [taylor]: Taking taylor expansion of 0.5 in a
2.827 * [taylor]: Taking taylor expansion of b in a
2.827 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a
2.827 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
2.827 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.827 * [taylor]: Taking taylor expansion of a in a
2.827 * [taylor]: Taking taylor expansion of 0.5 in a
2.827 * [taylor]: Taking taylor expansion of b in a
2.827 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.827 * [taylor]: Taking taylor expansion of b in b
2.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
2.828 * [taylor]: Taking taylor expansion of 0.5 in b
2.828 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.828 * [taylor]: Taking taylor expansion of b in b
2.828 * [taylor]: Taking taylor expansion of 0 in b
2.828 * [taylor]: Taking taylor expansion of 0 in b
2.828 * * * [progress]: simplifying candidates
2.830 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (log t))
  (+ (log z) (log (log t)))
  (log (* z (log t)))
  (exp (* z (log t)))
  (* (* (* z z) z) (* (* (log t) (log t)) (log t)))
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (* (* (* z (log t)) (* z (log t))) (* z (log t)))
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* z (log (* (cbrt t) (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  (* z (log 1))
  (* z (log t))
  (* (log (* (cbrt t) (cbrt t))) z)
  (* (log (cbrt t)) z)
  (* (log (sqrt t)) z)
  (* (log (sqrt t)) z)
  (* (log 1) z)
  (* (log t) z)
  (* z 1)
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  (* z 1)
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* z (log t))
  (/ (* (* (exp x) (exp y)) (exp z)) (exp (* z (log t))))
  (/ (* (exp (+ x y)) (exp z)) (exp (* z (log t))))
  (/ (exp (+ (+ x y) z)) (exp (* z (log t))))
  (log (- (+ (+ x y) z) (* z (log t))))
  (exp (- (+ (+ x y) z) (* z (log t))))
  (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t)))))
  (cbrt (- (+ (+ x y) z) (* z (log t))))
  (* (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (- (+ (+ x y) z) (* z (log t))))
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3))
  (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t)))))
  (neg (* z (log t)))
  (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t))))
  (+ (+ (+ x y) z) (* z (log t)))
  (- (+ (+ x y) z) (* z (log (* (cbrt t) (cbrt t)))))
  (- (+ (+ x y) z) (* z (log (sqrt t))))
  (- (+ (+ x y) z) (* z (log 1)))
  (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z))
  (- (+ (+ x y) z) (* (log (sqrt t)) z))
  (- (+ (+ x y) z) (* (log 1) z))
  (- z (* z (log t)))
  (neg (* z (log t)))
  (* (/ (* (* (exp x) (exp y)) (exp z)) (exp (* z (log t)))) (exp (* (- a 0.5) b)))
  (* (/ (* (exp (+ x y)) (exp z)) (exp (* z (log t)))) (exp (* (- a 0.5) b)))
  (* (/ (exp (+ (+ x y) z)) (exp (* z (log t)))) (exp (* (- a 0.5) b)))
  (* (exp (- (+ (+ x y) z) (* z (log t)))) (exp (* (- a 0.5) b)))
  (log (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (exp (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))))
  (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (* (* (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ a 0.5)) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (+ a 0.5))
  (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (+ (+ x y) z) (* z (log t))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ a 0.5)) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ (+ (+ x y) z) (* z (log t))) (+ a 0.5))
  (+ (pow (- (+ (+ x y) z) (* z (log t))) 3) (pow (* (- a 0.5) b) 3))
  (+ (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (- (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))))
  (- (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (* (* (- a 0.5) b) (* (- a 0.5) b)))
  (- (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
  (+ (neg (* z (log t))) (* (- a 0.5) b))
  (+ (- z (* z (log t))) (* (- a 0.5) b))
  (+ (neg (* z (log t))) (* (- a 0.5) b))
  (- (* z (log t)) (* (- a 0.5) b))
  (* (- a 0.5) b)
  (+ (log (- a 0.5)) (log b))
  (log (* (- a 0.5) b))
  (exp (* (- a 0.5) b))
  (* (* (* (- a 0.5) (- a 0.5)) (- a 0.5)) (* (* b b) b))
  (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b)))
  (cbrt (* (- a 0.5) b))
  (* (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (- a 0.5) (* (cbrt b) (cbrt b)))
  (* (- a 0.5) (sqrt b))
  (* (- a 0.5) 1)
  (* (cbrt (- a 0.5)) b)
  (* (sqrt (- a 0.5)) b)
  (* (- a 0.5) b)
  (* (- (sqrt a) (sqrt 0.5)) b)
  (* (- a 0.5) b)
  (* (- (pow a 3) (pow 0.5 3)) b)
  (* (- (* a a) (* 0.5 0.5)) b)
  (* (+ (log t) (log 1)) z)
  (* (- (log 1) (log (/ 1 t))) z)
  (* z (- (log -1) (log (/ -1 t))))
  (- (+ x (+ z y)) (+ (* (log t) z) (* (log 1) z)))
  (- (+ x (+ z (+ (* (log (/ 1 t)) z) y))) (* (log 1) z))
  (- (+ (* (log (/ -1 t)) z) (+ x (+ z y))) (* (log -1) z))
  (- (+ x (+ z y)) (+ (* (log t) z) (* (log 1) z)))
  (- (+ (* (log (/ 1 t)) z) (+ (* a b) z)) (+ (* (log 1) z) (* 0.5 b)))
  (- (+ (* (log (/ -1 t)) z) (+ z (* a b))) (+ (* (log -1) z) (* 0.5 b)))
  (- (* a b) (* 0.5 b))
  (- (* a b) (* 0.5 b))
  (- (* a b) (* 0.5 b))
2.836 * * [simplify]: iteration  0 :  557  enodes  (cost  780 )
2.847 * * [simplify]: iteration  1 :  2647  enodes  (cost  719 )
2.897 * * [simplify]: iteration  2 :  5002  enodes  (cost  707 )
2.901 * [simplify]: Simplified to:
   (* z (log t))
  (log (* z (log t)))
  (log (* z (log t)))
  (pow t z)
  (pow (* z (log t)) 3)
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (pow (* z (log t)) 3)
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* z (* 2 (log (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* z (log t))
  (* z (* 2 (log (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* z (log t))
  z
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  z
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* z (log t))
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (log (- (+ (+ x y) z) (* z (log t))))
  (/ (exp (+ x (+ z y))) (pow t z))
  (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t)))))
  (cbrt (- (+ (+ x y) z) (* z (log t))))
  (pow (- (+ (+ x y) z) (* z (log t))) 3)
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (sqrt (- (+ (+ x y) z) (* z (log t))))
  (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3))
  (+ (* (* z (log t)) (+ (* z (log t)) (+ (+ x y) z))) (* (+ (+ x y) z) (+ (+ x y) z)))
  (neg (* z (log t)))
  (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t))))
  (+ (+ (+ x y) z) (* z (log t)))
  (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z))
  (- (+ (+ x y) z) (* (log (sqrt t)) z))
  (+ x (+ z y))
  (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z))
  (- (+ (+ x y) z) (* (log (sqrt t)) z))
  (+ x (+ z y))
  (- z (* z (log t)))
  (neg (* z (log t)))
  (/ (exp (+ (* b (- a 0.5)) (+ x (+ z y)))) (pow t z))
  (/ (exp (+ (* b (- a 0.5)) (+ x (+ z y)))) (pow t z))
  (/ (exp (+ (* b (- a 0.5)) (+ x (+ z y)))) (pow t z))
  (/ (exp (+ (* b (- a 0.5)) (+ x (+ z y)))) (pow t z))
  (log (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (/ (exp (+ (* b (- a 0.5)) (+ x (+ z y)))) (pow t z))
  (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))))
  (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (pow (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) 3)
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))
  (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (+ (* (* z (log t)) (+ (* z (log t)) (+ (+ x y) z))) (* (+ (+ x y) z) (+ (+ x y) z))))
  (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ a 0.5)) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ a 0.5) (+ (* (* z (log t)) (+ (* z (log t)) (+ (+ x y) z))) (* (+ (+ x y) z) (+ (+ x y) z))))
  (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (+ (+ (+ x y) z) (* z (log t))))
  (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ a 0.5)) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ (+ (+ x y) z) (* z (log t))) (+ a 0.5))
  (+ (pow (- (+ (+ x y) z) (* z (log t))) 3) (pow (* (- a 0.5) b) 3))
  (+ (* (* (- a 0.5) b) (- (* (- a 0.5) b) (- (+ (+ x y) z) (* z (log t))))) (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))))
  (- (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (* (* (- a 0.5) b) (* (- a 0.5) b)))
  (- (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
  (- (* b (- a 0.5)) (* z (log t)))
  (+ (- z (* z (log t))) (* (- a 0.5) b))
  (- (* b (- a 0.5)) (* z (log t)))
  (- (* z (log t)) (* (- a 0.5) b))
  (* b (- a 0.5))
  (log (* (- a 0.5) b))
  (log (* (- a 0.5) b))
  (exp (* (- a 0.5) b))
  (pow (* (- a 0.5) b) 3)
  (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b)))
  (cbrt (* (- a 0.5) b))
  (pow (* (- a 0.5) b) 3)
  (sqrt (* (- a 0.5) b))
  (sqrt (* (- a 0.5) b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (sqrt (- a 0.5)) (sqrt b))
  (* (- a 0.5) (* (cbrt b) (cbrt b)))
  (* (- a 0.5) (sqrt b))
  (- a 0.5)
  (* (cbrt (- a 0.5)) b)
  (* (sqrt (- a 0.5)) b)
  (* b (- a 0.5))
  (* (- (sqrt a) (sqrt 0.5)) b)
  (* b (- a 0.5))
  (* (- (pow a 3) (pow 0.5 3)) b)
  (* (- (* a a) (* 0.5 0.5)) b)
  (* z (log t))
  (* z (log t))
  (* z (log t))
  (- (+ (+ x y) z) (* z (log t)))
  (- (+ (+ x y) z) (* z (log t)))
  (- (+ (* (log (/ -1 t)) z) (+ x (+ z y))) (* (log -1) z))
  (- (+ (+ x y) z) (* z (log t)))
  (+ (- z (* z (log t))) (* (- a 0.5) b))
  (- (+ (* (log (/ -1 t)) z) (+ z (* a b))) (+ (* (log -1) z) (* 0.5 b)))
  (* b (- a 0.5))
  (* b (- a 0.5))
  (* b (- a 0.5))
2.902 * * * [progress]: adding candidates to table
3.017 * * [progress]: iteration 2 / 4
3.017 * * * [progress]: picking best candidate
3.044 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>
3.044 * * * [progress]: localizing error
3.057 * * * [progress]: generating rewritten candidates
3.057 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
3.061 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
3.065 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.072 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.086 * * * [progress]: generating series expansions
3.086 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
3.086 * [approximate]: Taking taylor expansion of (* (log t) z) in (z t) around 0
3.086 * [taylor]: Taking taylor expansion of (* (log t) z) in t
3.086 * [taylor]: Taking taylor expansion of (log t) in t
3.086 * [taylor]: Taking taylor expansion of t in t
3.086 * [taylor]: Taking taylor expansion of z in t
3.086 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.086 * [taylor]: Taking taylor expansion of (log t) in z
3.086 * [taylor]: Taking taylor expansion of t in z
3.087 * [taylor]: Taking taylor expansion of z in z
3.087 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.087 * [taylor]: Taking taylor expansion of (log t) in z
3.087 * [taylor]: Taking taylor expansion of t in z
3.087 * [taylor]: Taking taylor expansion of z in z
3.087 * [taylor]: Taking taylor expansion of 0 in t
3.087 * [taylor]: Taking taylor expansion of (log t) in t
3.087 * [taylor]: Taking taylor expansion of t in t
3.087 * [taylor]: Taking taylor expansion of 0 in t
3.088 * [taylor]: Taking taylor expansion of 0 in t
3.088 * [approximate]: Taking taylor expansion of (/ (log (/ 1 t)) z) in (z t) around 0
3.088 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
3.088 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.088 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.088 * [taylor]: Taking taylor expansion of t in t
3.088 * [taylor]: Taking taylor expansion of z in t
3.088 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.088 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.088 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.088 * [taylor]: Taking taylor expansion of t in z
3.088 * [taylor]: Taking taylor expansion of z in z
3.088 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.088 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.088 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.088 * [taylor]: Taking taylor expansion of t in z
3.088 * [taylor]: Taking taylor expansion of z in z
3.088 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.088 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.088 * [taylor]: Taking taylor expansion of t in t
3.089 * [taylor]: Taking taylor expansion of 0 in t
3.089 * [taylor]: Taking taylor expansion of 0 in t
3.090 * [taylor]: Taking taylor expansion of 0 in t
3.090 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in (z t) around 0
3.090 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in t
3.090 * [taylor]: Taking taylor expansion of -1 in t
3.090 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
3.090 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.090 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.090 * [taylor]: Taking taylor expansion of -1 in t
3.090 * [taylor]: Taking taylor expansion of t in t
3.090 * [taylor]: Taking taylor expansion of z in t
3.090 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
3.090 * [taylor]: Taking taylor expansion of -1 in z
3.090 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.090 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.091 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.091 * [taylor]: Taking taylor expansion of -1 in z
3.091 * [taylor]: Taking taylor expansion of t in z
3.091 * [taylor]: Taking taylor expansion of z in z
3.091 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
3.091 * [taylor]: Taking taylor expansion of -1 in z
3.091 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.091 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.091 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.091 * [taylor]: Taking taylor expansion of -1 in z
3.091 * [taylor]: Taking taylor expansion of t in z
3.091 * [taylor]: Taking taylor expansion of z in z
3.091 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 t))) in t
3.091 * [taylor]: Taking taylor expansion of -1 in t
3.091 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.091 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.091 * [taylor]: Taking taylor expansion of -1 in t
3.091 * [taylor]: Taking taylor expansion of t in t
3.091 * [taylor]: Taking taylor expansion of 0 in t
3.092 * [taylor]: Taking taylor expansion of 0 in t
3.093 * [taylor]: Taking taylor expansion of 0 in t
3.093 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
3.093 * [approximate]: Taking taylor expansion of (- z (* (log t) z)) in (z t) around 0
3.093 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in t
3.093 * [taylor]: Taking taylor expansion of z in t
3.093 * [taylor]: Taking taylor expansion of (* (log t) z) in t
3.093 * [taylor]: Taking taylor expansion of (log t) in t
3.093 * [taylor]: Taking taylor expansion of t in t
3.093 * [taylor]: Taking taylor expansion of z in t
3.093 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z
3.093 * [taylor]: Taking taylor expansion of z in z
3.093 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.093 * [taylor]: Taking taylor expansion of (log t) in z
3.093 * [taylor]: Taking taylor expansion of t in z
3.093 * [taylor]: Taking taylor expansion of z in z
3.093 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z
3.093 * [taylor]: Taking taylor expansion of z in z
3.093 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.093 * [taylor]: Taking taylor expansion of (log t) in z
3.093 * [taylor]: Taking taylor expansion of t in z
3.093 * [taylor]: Taking taylor expansion of z in z
3.093 * [taylor]: Taking taylor expansion of 0 in t
3.094 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
3.094 * [taylor]: Taking taylor expansion of 1 in t
3.094 * [taylor]: Taking taylor expansion of (log t) in t
3.094 * [taylor]: Taking taylor expansion of t in t
3.094 * [taylor]: Taking taylor expansion of 0 in t
3.095 * [taylor]: Taking taylor expansion of 0 in t
3.095 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in (z t) around 0
3.095 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in t
3.095 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.095 * [taylor]: Taking taylor expansion of z in t
3.095 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
3.095 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.095 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.095 * [taylor]: Taking taylor expansion of t in t
3.095 * [taylor]: Taking taylor expansion of z in t
3.095 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
3.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.095 * [taylor]: Taking taylor expansion of z in z
3.095 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.095 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.095 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.095 * [taylor]: Taking taylor expansion of t in z
3.095 * [taylor]: Taking taylor expansion of z in z
3.095 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
3.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.095 * [taylor]: Taking taylor expansion of z in z
3.095 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.095 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.095 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.095 * [taylor]: Taking taylor expansion of t in z
3.096 * [taylor]: Taking taylor expansion of z in z
3.096 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
3.096 * [taylor]: Taking taylor expansion of 1 in t
3.096 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.096 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.096 * [taylor]: Taking taylor expansion of t in t
3.096 * [taylor]: Taking taylor expansion of 0 in t
3.097 * [taylor]: Taking taylor expansion of 0 in t
3.097 * [taylor]: Taking taylor expansion of 0 in t
3.098 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in (z t) around 0
3.098 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in t
3.098 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
3.098 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.098 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.098 * [taylor]: Taking taylor expansion of -1 in t
3.098 * [taylor]: Taking taylor expansion of t in t
3.098 * [taylor]: Taking taylor expansion of z in t
3.098 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.098 * [taylor]: Taking taylor expansion of z in t
3.098 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
3.098 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.098 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.098 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.098 * [taylor]: Taking taylor expansion of -1 in z
3.098 * [taylor]: Taking taylor expansion of t in z
3.098 * [taylor]: Taking taylor expansion of z in z
3.098 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.098 * [taylor]: Taking taylor expansion of z in z
3.098 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
3.098 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.098 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.098 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.098 * [taylor]: Taking taylor expansion of -1 in z
3.098 * [taylor]: Taking taylor expansion of t in z
3.098 * [taylor]: Taking taylor expansion of z in z
3.098 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.098 * [taylor]: Taking taylor expansion of z in z
3.099 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
3.099 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.099 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.099 * [taylor]: Taking taylor expansion of -1 in t
3.099 * [taylor]: Taking taylor expansion of t in t
3.099 * [taylor]: Taking taylor expansion of 1 in t
3.099 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * [taylor]: Taking taylor expansion of 0 in t
3.100 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.101 * [approximate]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in (x y z t) around 0
3.101 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in t
3.101 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in t
3.101 * [taylor]: Taking taylor expansion of x in t
3.101 * [taylor]: Taking taylor expansion of (+ z y) in t
3.101 * [taylor]: Taking taylor expansion of z in t
3.101 * [taylor]: Taking taylor expansion of y in t
3.101 * [taylor]: Taking taylor expansion of (* (log t) z) in t
3.101 * [taylor]: Taking taylor expansion of (log t) in t
3.101 * [taylor]: Taking taylor expansion of t in t
3.101 * [taylor]: Taking taylor expansion of z in t
3.101 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in z
3.101 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
3.101 * [taylor]: Taking taylor expansion of x in z
3.101 * [taylor]: Taking taylor expansion of (+ z y) in z
3.101 * [taylor]: Taking taylor expansion of z in z
3.101 * [taylor]: Taking taylor expansion of y in z
3.101 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.101 * [taylor]: Taking taylor expansion of (log t) in z
3.101 * [taylor]: Taking taylor expansion of t in z
3.101 * [taylor]: Taking taylor expansion of z in z
3.101 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in y
3.101 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
3.101 * [taylor]: Taking taylor expansion of x in y
3.101 * [taylor]: Taking taylor expansion of (+ z y) in y
3.101 * [taylor]: Taking taylor expansion of z in y
3.101 * [taylor]: Taking taylor expansion of y in y
3.101 * [taylor]: Taking taylor expansion of (* (log t) z) in y
3.101 * [taylor]: Taking taylor expansion of (log t) in y
3.101 * [taylor]: Taking taylor expansion of t in y
3.101 * [taylor]: Taking taylor expansion of z in y
3.101 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
3.101 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
3.101 * [taylor]: Taking taylor expansion of x in x
3.101 * [taylor]: Taking taylor expansion of (+ z y) in x
3.101 * [taylor]: Taking taylor expansion of z in x
3.101 * [taylor]: Taking taylor expansion of y in x
3.101 * [taylor]: Taking taylor expansion of (* (log t) z) in x
3.101 * [taylor]: Taking taylor expansion of (log t) in x
3.101 * [taylor]: Taking taylor expansion of t in x
3.101 * [taylor]: Taking taylor expansion of z in x
3.101 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
3.101 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
3.101 * [taylor]: Taking taylor expansion of x in x
3.101 * [taylor]: Taking taylor expansion of (+ z y) in x
3.101 * [taylor]: Taking taylor expansion of z in x
3.101 * [taylor]: Taking taylor expansion of y in x
3.101 * [taylor]: Taking taylor expansion of (* (log t) z) in x
3.101 * [taylor]: Taking taylor expansion of (log t) in x
3.101 * [taylor]: Taking taylor expansion of t in x
3.101 * [taylor]: Taking taylor expansion of z in x
3.102 * [taylor]: Taking taylor expansion of (- (+ z y) (* (log t) z)) in y
3.102 * [taylor]: Taking taylor expansion of (+ z y) in y
3.102 * [taylor]: Taking taylor expansion of z in y
3.102 * [taylor]: Taking taylor expansion of y in y
3.102 * [taylor]: Taking taylor expansion of (* (log t) z) in y
3.102 * [taylor]: Taking taylor expansion of (log t) in y
3.102 * [taylor]: Taking taylor expansion of t in y
3.102 * [taylor]: Taking taylor expansion of z in y
3.102 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z
3.102 * [taylor]: Taking taylor expansion of z in z
3.102 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.102 * [taylor]: Taking taylor expansion of (log t) in z
3.102 * [taylor]: Taking taylor expansion of t in z
3.102 * [taylor]: Taking taylor expansion of z in z
3.102 * [taylor]: Taking taylor expansion of 0 in t
3.102 * [taylor]: Taking taylor expansion of 1 in y
3.102 * [taylor]: Taking taylor expansion of 1 in z
3.102 * [taylor]: Taking taylor expansion of 1 in t
3.102 * [taylor]: Taking taylor expansion of 1 in z
3.102 * [taylor]: Taking taylor expansion of 1 in t
3.103 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
3.103 * [taylor]: Taking taylor expansion of 1 in t
3.103 * [taylor]: Taking taylor expansion of (log t) in t
3.103 * [taylor]: Taking taylor expansion of t in t
3.103 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) (/ (log (/ 1 t)) z)) in (x y z t) around 0
3.103 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) (/ (log (/ 1 t)) z)) in t
3.103 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
3.103 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.103 * [taylor]: Taking taylor expansion of z in t
3.103 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
3.103 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.103 * [taylor]: Taking taylor expansion of y in t
3.103 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.103 * [taylor]: Taking taylor expansion of x in t
3.103 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
3.103 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.103 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.103 * [taylor]: Taking taylor expansion of t in t
3.104 * [taylor]: Taking taylor expansion of z in t
3.104 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) (/ (log (/ 1 t)) z)) in z
3.104 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
3.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.104 * [taylor]: Taking taylor expansion of z in z
3.104 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
3.104 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.104 * [taylor]: Taking taylor expansion of y in z
3.104 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.104 * [taylor]: Taking taylor expansion of x in z
3.104 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.104 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.104 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.104 * [taylor]: Taking taylor expansion of t in z
3.104 * [taylor]: Taking taylor expansion of z in z
3.104 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) (/ (log (/ 1 t)) z)) in y
3.104 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
3.104 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.104 * [taylor]: Taking taylor expansion of z in y
3.104 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.104 * [taylor]: Taking taylor expansion of y in y
3.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.104 * [taylor]: Taking taylor expansion of x in y
3.104 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
3.104 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
3.104 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.104 * [taylor]: Taking taylor expansion of t in y
3.104 * [taylor]: Taking taylor expansion of z in y
3.104 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
3.104 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
3.104 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.104 * [taylor]: Taking taylor expansion of z in x
3.104 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.104 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.104 * [taylor]: Taking taylor expansion of y in x
3.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.104 * [taylor]: Taking taylor expansion of x in x
3.104 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
3.105 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.105 * [taylor]: Taking taylor expansion of t in x
3.105 * [taylor]: Taking taylor expansion of z in x
3.105 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
3.105 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.105 * [taylor]: Taking taylor expansion of z in x
3.105 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.105 * [taylor]: Taking taylor expansion of y in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.105 * [taylor]: Taking taylor expansion of x in x
3.105 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
3.105 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
3.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.105 * [taylor]: Taking taylor expansion of t in x
3.105 * [taylor]: Taking taylor expansion of z in x
3.105 * [taylor]: Taking taylor expansion of 1 in y
3.105 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ 1 t)) z)) in y
3.105 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
3.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.105 * [taylor]: Taking taylor expansion of y in y
3.105 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.105 * [taylor]: Taking taylor expansion of z in y
3.105 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
3.105 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
3.105 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.105 * [taylor]: Taking taylor expansion of t in y
3.105 * [taylor]: Taking taylor expansion of z in y
3.106 * [taylor]: Taking taylor expansion of 1 in z
3.106 * [taylor]: Taking taylor expansion of 1 in z
3.106 * [taylor]: Taking taylor expansion of 0 in y
3.106 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
3.106 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.106 * [taylor]: Taking taylor expansion of z in z
3.106 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.106 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.106 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.106 * [taylor]: Taking taylor expansion of t in z
3.106 * [taylor]: Taking taylor expansion of z in z
3.106 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
3.106 * [taylor]: Taking taylor expansion of 1 in t
3.106 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.106 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.107 * [taylor]: Taking taylor expansion of t in t
3.107 * [taylor]: Taking taylor expansion of 0 in z
3.107 * [taylor]: Taking taylor expansion of 1 in t
3.107 * [taylor]: Taking taylor expansion of 1 in t
3.107 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in (x y z t) around 0
3.107 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
3.107 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
3.107 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.107 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.107 * [taylor]: Taking taylor expansion of -1 in t
3.107 * [taylor]: Taking taylor expansion of t in t
3.107 * [taylor]: Taking taylor expansion of z in t
3.107 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
3.108 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.108 * [taylor]: Taking taylor expansion of z in t
3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
3.108 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.108 * [taylor]: Taking taylor expansion of y in t
3.108 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.108 * [taylor]: Taking taylor expansion of x in t
3.108 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
3.108 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.108 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.108 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.108 * [taylor]: Taking taylor expansion of -1 in z
3.108 * [taylor]: Taking taylor expansion of t in z
3.108 * [taylor]: Taking taylor expansion of z in z
3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
3.108 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.108 * [taylor]: Taking taylor expansion of z in z
3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
3.108 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.108 * [taylor]: Taking taylor expansion of y in z
3.108 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.108 * [taylor]: Taking taylor expansion of x in z
3.108 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
3.108 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
3.108 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
3.108 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.108 * [taylor]: Taking taylor expansion of -1 in y
3.108 * [taylor]: Taking taylor expansion of t in y
3.108 * [taylor]: Taking taylor expansion of z in y
3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
3.108 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.108 * [taylor]: Taking taylor expansion of z in y
3.108 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.108 * [taylor]: Taking taylor expansion of y in y
3.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.108 * [taylor]: Taking taylor expansion of x in y
3.108 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
3.108 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
3.108 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
3.108 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.108 * [taylor]: Taking taylor expansion of -1 in x
3.108 * [taylor]: Taking taylor expansion of t in x
3.108 * [taylor]: Taking taylor expansion of z in x
3.109 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.109 * [taylor]: Taking taylor expansion of z in x
3.109 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.109 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
3.109 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
3.109 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
3.109 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.109 * [taylor]: Taking taylor expansion of -1 in x
3.109 * [taylor]: Taking taylor expansion of t in x
3.109 * [taylor]: Taking taylor expansion of z in x
3.109 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.109 * [taylor]: Taking taylor expansion of z in x
3.109 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.109 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.109 * [taylor]: Taking taylor expansion of x in x
3.109 * [taylor]: Taking taylor expansion of (neg 1) in y
3.109 * [taylor]: Taking taylor expansion of 1 in y
3.109 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (/ 1 y))) in y
3.109 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
3.109 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
3.109 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.109 * [taylor]: Taking taylor expansion of -1 in y
3.109 * [taylor]: Taking taylor expansion of t in y
3.110 * [taylor]: Taking taylor expansion of z in y
3.110 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
3.110 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.110 * [taylor]: Taking taylor expansion of z in y
3.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.110 * [taylor]: Taking taylor expansion of y in y
3.110 * [taylor]: Taking taylor expansion of (neg 1) in z
3.110 * [taylor]: Taking taylor expansion of 1 in z
3.110 * [taylor]: Taking taylor expansion of (neg 1) in z
3.110 * [taylor]: Taking taylor expansion of 1 in z
3.110 * [taylor]: Taking taylor expansion of 0 in y
3.110 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
3.110 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.110 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.110 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.110 * [taylor]: Taking taylor expansion of -1 in z
3.110 * [taylor]: Taking taylor expansion of t in z
3.110 * [taylor]: Taking taylor expansion of z in z
3.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.111 * [taylor]: Taking taylor expansion of z in z
3.111 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
3.111 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.111 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.111 * [taylor]: Taking taylor expansion of -1 in t
3.111 * [taylor]: Taking taylor expansion of t in t
3.111 * [taylor]: Taking taylor expansion of 1 in t
3.111 * [taylor]: Taking taylor expansion of 0 in z
3.111 * [taylor]: Taking taylor expansion of (neg 1) in t
3.111 * [taylor]: Taking taylor expansion of 1 in t
3.111 * [taylor]: Taking taylor expansion of (neg 1) in t
3.111 * [taylor]: Taking taylor expansion of 1 in t
3.111 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.112 * [approximate]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in (x y z t a b) around 0
3.112 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in b
3.112 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in b
3.112 * [taylor]: Taking taylor expansion of x in b
3.112 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in b
3.112 * [taylor]: Taking taylor expansion of (* a b) in b
3.112 * [taylor]: Taking taylor expansion of a in b
3.112 * [taylor]: Taking taylor expansion of b in b
3.112 * [taylor]: Taking taylor expansion of (+ z y) in b
3.112 * [taylor]: Taking taylor expansion of z in b
3.112 * [taylor]: Taking taylor expansion of y in b
3.112 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in b
3.112 * [taylor]: Taking taylor expansion of (* (log t) z) in b
3.112 * [taylor]: Taking taylor expansion of (log t) in b
3.112 * [taylor]: Taking taylor expansion of t in b
3.112 * [taylor]: Taking taylor expansion of z in b
3.112 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
3.112 * [taylor]: Taking taylor expansion of 0.5 in b
3.112 * [taylor]: Taking taylor expansion of b in b
3.112 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in a
3.112 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in a
3.112 * [taylor]: Taking taylor expansion of x in a
3.112 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in a
3.112 * [taylor]: Taking taylor expansion of (* a b) in a
3.112 * [taylor]: Taking taylor expansion of a in a
3.112 * [taylor]: Taking taylor expansion of b in a
3.112 * [taylor]: Taking taylor expansion of (+ z y) in a
3.112 * [taylor]: Taking taylor expansion of z in a
3.112 * [taylor]: Taking taylor expansion of y in a
3.112 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in a
3.112 * [taylor]: Taking taylor expansion of (* (log t) z) in a
3.112 * [taylor]: Taking taylor expansion of (log t) in a
3.112 * [taylor]: Taking taylor expansion of t in a
3.112 * [taylor]: Taking taylor expansion of z in a
3.112 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
3.112 * [taylor]: Taking taylor expansion of 0.5 in a
3.112 * [taylor]: Taking taylor expansion of b in a
3.112 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in t
3.112 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in t
3.112 * [taylor]: Taking taylor expansion of x in t
3.112 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in t
3.112 * [taylor]: Taking taylor expansion of (* a b) in t
3.112 * [taylor]: Taking taylor expansion of a in t
3.112 * [taylor]: Taking taylor expansion of b in t
3.112 * [taylor]: Taking taylor expansion of (+ z y) in t
3.112 * [taylor]: Taking taylor expansion of z in t
3.112 * [taylor]: Taking taylor expansion of y in t
3.112 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in t
3.112 * [taylor]: Taking taylor expansion of (* (log t) z) in t
3.112 * [taylor]: Taking taylor expansion of (log t) in t
3.112 * [taylor]: Taking taylor expansion of t in t
3.112 * [taylor]: Taking taylor expansion of z in t
3.112 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
3.112 * [taylor]: Taking taylor expansion of 0.5 in t
3.112 * [taylor]: Taking taylor expansion of b in t
3.112 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in z
3.112 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in z
3.113 * [taylor]: Taking taylor expansion of x in z
3.113 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in z
3.113 * [taylor]: Taking taylor expansion of (* a b) in z
3.113 * [taylor]: Taking taylor expansion of a in z
3.113 * [taylor]: Taking taylor expansion of b in z
3.113 * [taylor]: Taking taylor expansion of (+ z y) in z
3.113 * [taylor]: Taking taylor expansion of z in z
3.113 * [taylor]: Taking taylor expansion of y in z
3.113 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in z
3.113 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.113 * [taylor]: Taking taylor expansion of (log t) in z
3.113 * [taylor]: Taking taylor expansion of t in z
3.113 * [taylor]: Taking taylor expansion of z in z
3.113 * [taylor]: Taking taylor expansion of (* 0.5 b) in z
3.113 * [taylor]: Taking taylor expansion of 0.5 in z
3.113 * [taylor]: Taking taylor expansion of b in z
3.113 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in y
3.113 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in y
3.113 * [taylor]: Taking taylor expansion of x in y
3.113 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in y
3.113 * [taylor]: Taking taylor expansion of (* a b) in y
3.113 * [taylor]: Taking taylor expansion of a in y
3.113 * [taylor]: Taking taylor expansion of b in y
3.113 * [taylor]: Taking taylor expansion of (+ z y) in y
3.113 * [taylor]: Taking taylor expansion of z in y
3.113 * [taylor]: Taking taylor expansion of y in y
3.113 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in y
3.113 * [taylor]: Taking taylor expansion of (* (log t) z) in y
3.113 * [taylor]: Taking taylor expansion of (log t) in y
3.113 * [taylor]: Taking taylor expansion of t in y
3.113 * [taylor]: Taking taylor expansion of z in y
3.113 * [taylor]: Taking taylor expansion of (* 0.5 b) in y
3.113 * [taylor]: Taking taylor expansion of 0.5 in y
3.113 * [taylor]: Taking taylor expansion of b in y
3.113 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in x
3.113 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in x
3.113 * [taylor]: Taking taylor expansion of x in x
3.113 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in x
3.113 * [taylor]: Taking taylor expansion of (* a b) in x
3.113 * [taylor]: Taking taylor expansion of a in x
3.113 * [taylor]: Taking taylor expansion of b in x
3.113 * [taylor]: Taking taylor expansion of (+ z y) in x
3.113 * [taylor]: Taking taylor expansion of z in x
3.113 * [taylor]: Taking taylor expansion of y in x
3.113 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in x
3.113 * [taylor]: Taking taylor expansion of (* (log t) z) in x
3.113 * [taylor]: Taking taylor expansion of (log t) in x
3.113 * [taylor]: Taking taylor expansion of t in x
3.113 * [taylor]: Taking taylor expansion of z in x
3.113 * [taylor]: Taking taylor expansion of (* 0.5 b) in x
3.113 * [taylor]: Taking taylor expansion of 0.5 in x
3.113 * [taylor]: Taking taylor expansion of b in x
3.113 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in x
3.113 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in x
3.113 * [taylor]: Taking taylor expansion of x in x
3.113 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in x
3.113 * [taylor]: Taking taylor expansion of (* a b) in x
3.114 * [taylor]: Taking taylor expansion of a in x
3.114 * [taylor]: Taking taylor expansion of b in x
3.114 * [taylor]: Taking taylor expansion of (+ z y) in x
3.114 * [taylor]: Taking taylor expansion of z in x
3.114 * [taylor]: Taking taylor expansion of y in x
3.114 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in x
3.114 * [taylor]: Taking taylor expansion of (* (log t) z) in x
3.114 * [taylor]: Taking taylor expansion of (log t) in x
3.114 * [taylor]: Taking taylor expansion of t in x
3.114 * [taylor]: Taking taylor expansion of z in x
3.114 * [taylor]: Taking taylor expansion of (* 0.5 b) in x
3.114 * [taylor]: Taking taylor expansion of 0.5 in x
3.114 * [taylor]: Taking taylor expansion of b in x
3.114 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ z y)) (+ (* (log t) z) (* 0.5 b))) in y
3.114 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in y
3.114 * [taylor]: Taking taylor expansion of (* a b) in y
3.114 * [taylor]: Taking taylor expansion of a in y
3.114 * [taylor]: Taking taylor expansion of b in y
3.114 * [taylor]: Taking taylor expansion of (+ z y) in y
3.114 * [taylor]: Taking taylor expansion of z in y
3.114 * [taylor]: Taking taylor expansion of y in y
3.114 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in y
3.114 * [taylor]: Taking taylor expansion of (* (log t) z) in y
3.114 * [taylor]: Taking taylor expansion of (log t) in y
3.114 * [taylor]: Taking taylor expansion of t in y
3.114 * [taylor]: Taking taylor expansion of z in y
3.114 * [taylor]: Taking taylor expansion of (* 0.5 b) in y
3.114 * [taylor]: Taking taylor expansion of 0.5 in y
3.114 * [taylor]: Taking taylor expansion of b in y
3.115 * [taylor]: Taking taylor expansion of (- (+ (* a b) z) (+ (* (log t) z) (* 0.5 b))) in z
3.115 * [taylor]: Taking taylor expansion of (+ (* a b) z) in z
3.115 * [taylor]: Taking taylor expansion of (* a b) in z
3.115 * [taylor]: Taking taylor expansion of a in z
3.115 * [taylor]: Taking taylor expansion of b in z
3.115 * [taylor]: Taking taylor expansion of z in z
3.115 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in z
3.115 * [taylor]: Taking taylor expansion of (* (log t) z) in z
3.115 * [taylor]: Taking taylor expansion of (log t) in z
3.115 * [taylor]: Taking taylor expansion of t in z
3.115 * [taylor]: Taking taylor expansion of z in z
3.115 * [taylor]: Taking taylor expansion of (* 0.5 b) in z
3.115 * [taylor]: Taking taylor expansion of 0.5 in z
3.115 * [taylor]: Taking taylor expansion of b in z
3.115 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in t
3.115 * [taylor]: Taking taylor expansion of (* a b) in t
3.115 * [taylor]: Taking taylor expansion of a in t
3.115 * [taylor]: Taking taylor expansion of b in t
3.115 * [taylor]: Taking taylor expansion of (* 0.5 b) in t
3.115 * [taylor]: Taking taylor expansion of 0.5 in t
3.115 * [taylor]: Taking taylor expansion of b in t
3.118 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in a
3.118 * [taylor]: Taking taylor expansion of (* a b) in a
3.118 * [taylor]: Taking taylor expansion of a in a
3.118 * [taylor]: Taking taylor expansion of b in a
3.118 * [taylor]: Taking taylor expansion of (* 0.5 b) in a
3.118 * [taylor]: Taking taylor expansion of 0.5 in a
3.118 * [taylor]: Taking taylor expansion of b in a
3.118 * [taylor]: Taking taylor expansion of (neg (* 0.5 b)) in b
3.118 * [taylor]: Taking taylor expansion of (* 0.5 b) in b
3.118 * [taylor]: Taking taylor expansion of 0.5 in b
3.118 * [taylor]: Taking taylor expansion of b in b
3.118 * [taylor]: Taking taylor expansion of 1 in y
3.118 * [taylor]: Taking taylor expansion of 1 in z
3.118 * [taylor]: Taking taylor expansion of 1 in t
3.118 * [taylor]: Taking taylor expansion of 1 in a
3.118 * [taylor]: Taking taylor expansion of 1 in b
3.118 * [taylor]: Taking taylor expansion of 1 in z
3.119 * [taylor]: Taking taylor expansion of 1 in t
3.119 * [taylor]: Taking taylor expansion of 1 in a
3.119 * [taylor]: Taking taylor expansion of 1 in b
3.119 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
3.119 * [taylor]: Taking taylor expansion of 1 in t
3.119 * [taylor]: Taking taylor expansion of (log t) in t
3.119 * [taylor]: Taking taylor expansion of t in t
3.119 * [taylor]: Taking taylor expansion of (- 1 (+ (log t) (log 1))) in a
3.119 * [taylor]: Taking taylor expansion of 1 in a
3.119 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in a
3.119 * [taylor]: Taking taylor expansion of (log t) in a
3.119 * [taylor]: Taking taylor expansion of t in a
3.119 * [taylor]: Taking taylor expansion of (log 1) in a
3.119 * [taylor]: Taking taylor expansion of 1 in a
3.119 * [taylor]: Taking taylor expansion of (- 1 (+ (log t) (log 1))) in b
3.119 * [taylor]: Taking taylor expansion of 1 in b
3.119 * [taylor]: Taking taylor expansion of (+ (log t) (log 1)) in b
3.119 * [taylor]: Taking taylor expansion of (log t) in b
3.119 * [taylor]: Taking taylor expansion of t in b
3.119 * [taylor]: Taking taylor expansion of (log 1) in b
3.119 * [taylor]: Taking taylor expansion of 1 in b
3.120 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in (x y z t a b) around 0
3.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in b
3.120 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in b
3.120 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.120 * [taylor]: Taking taylor expansion of (* a b) in b
3.120 * [taylor]: Taking taylor expansion of a in b
3.120 * [taylor]: Taking taylor expansion of b in b
3.120 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in b
3.120 * [taylor]: Taking taylor expansion of (/ 1 y) in b
3.120 * [taylor]: Taking taylor expansion of y in b
3.120 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in b
3.120 * [taylor]: Taking taylor expansion of (/ 1 z) in b
3.120 * [taylor]: Taking taylor expansion of z in b
3.120 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.120 * [taylor]: Taking taylor expansion of x in b
3.120 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in b
3.120 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
3.120 * [taylor]: Taking taylor expansion of 0.5 in b
3.120 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.120 * [taylor]: Taking taylor expansion of b in b
3.120 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in b
3.120 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
3.120 * [taylor]: Taking taylor expansion of (/ 1 t) in b
3.120 * [taylor]: Taking taylor expansion of t in b
3.120 * [taylor]: Taking taylor expansion of z in b
3.121 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in a
3.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in a
3.121 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.121 * [taylor]: Taking taylor expansion of (* a b) in a
3.121 * [taylor]: Taking taylor expansion of a in a
3.121 * [taylor]: Taking taylor expansion of b in a
3.121 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in a
3.121 * [taylor]: Taking taylor expansion of (/ 1 y) in a
3.121 * [taylor]: Taking taylor expansion of y in a
3.121 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in a
3.121 * [taylor]: Taking taylor expansion of (/ 1 z) in a
3.121 * [taylor]: Taking taylor expansion of z in a
3.121 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.121 * [taylor]: Taking taylor expansion of x in a
3.121 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in a
3.121 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
3.121 * [taylor]: Taking taylor expansion of 0.5 in a
3.121 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.121 * [taylor]: Taking taylor expansion of b in a
3.121 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in a
3.121 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
3.121 * [taylor]: Taking taylor expansion of (/ 1 t) in a
3.121 * [taylor]: Taking taylor expansion of t in a
3.121 * [taylor]: Taking taylor expansion of z in a
3.121 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in t
3.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in t
3.121 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
3.121 * [taylor]: Taking taylor expansion of (* a b) in t
3.121 * [taylor]: Taking taylor expansion of a in t
3.121 * [taylor]: Taking taylor expansion of b in t
3.121 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
3.121 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.121 * [taylor]: Taking taylor expansion of y in t
3.121 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
3.121 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.121 * [taylor]: Taking taylor expansion of z in t
3.121 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.121 * [taylor]: Taking taylor expansion of x in t
3.121 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in t
3.121 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
3.121 * [taylor]: Taking taylor expansion of 0.5 in t
3.121 * [taylor]: Taking taylor expansion of (/ 1 b) in t
3.121 * [taylor]: Taking taylor expansion of b in t
3.122 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
3.122 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.122 * [taylor]: Taking taylor expansion of t in t
3.122 * [taylor]: Taking taylor expansion of z in t
3.122 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z
3.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
3.122 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.122 * [taylor]: Taking taylor expansion of (* a b) in z
3.122 * [taylor]: Taking taylor expansion of a in z
3.122 * [taylor]: Taking taylor expansion of b in z
3.122 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
3.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.122 * [taylor]: Taking taylor expansion of y in z
3.122 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.122 * [taylor]: Taking taylor expansion of z in z
3.122 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.122 * [taylor]: Taking taylor expansion of x in z
3.122 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z
3.122 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
3.122 * [taylor]: Taking taylor expansion of 0.5 in z
3.122 * [taylor]: Taking taylor expansion of (/ 1 b) in z
3.122 * [taylor]: Taking taylor expansion of b in z
3.122 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.122 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.122 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.122 * [taylor]: Taking taylor expansion of t in z
3.122 * [taylor]: Taking taylor expansion of z in z
3.122 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y
3.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
3.122 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.122 * [taylor]: Taking taylor expansion of (* a b) in y
3.122 * [taylor]: Taking taylor expansion of a in y
3.122 * [taylor]: Taking taylor expansion of b in y
3.122 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
3.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.122 * [taylor]: Taking taylor expansion of y in y
3.122 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.123 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.123 * [taylor]: Taking taylor expansion of z in y
3.123 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.123 * [taylor]: Taking taylor expansion of x in y
3.123 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y
3.123 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
3.123 * [taylor]: Taking taylor expansion of 0.5 in y
3.123 * [taylor]: Taking taylor expansion of (/ 1 b) in y
3.123 * [taylor]: Taking taylor expansion of b in y
3.123 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
3.123 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
3.123 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.123 * [taylor]: Taking taylor expansion of t in y
3.123 * [taylor]: Taking taylor expansion of z in y
3.123 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x
3.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
3.123 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.123 * [taylor]: Taking taylor expansion of (* a b) in x
3.123 * [taylor]: Taking taylor expansion of a in x
3.123 * [taylor]: Taking taylor expansion of b in x
3.123 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
3.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.123 * [taylor]: Taking taylor expansion of y in x
3.123 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.123 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.123 * [taylor]: Taking taylor expansion of z in x
3.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.123 * [taylor]: Taking taylor expansion of x in x
3.123 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x
3.123 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
3.123 * [taylor]: Taking taylor expansion of 0.5 in x
3.123 * [taylor]: Taking taylor expansion of (/ 1 b) in x
3.123 * [taylor]: Taking taylor expansion of b in x
3.123 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
3.123 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
3.123 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.123 * [taylor]: Taking taylor expansion of t in x
3.123 * [taylor]: Taking taylor expansion of z in x
3.123 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x
3.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
3.123 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.123 * [taylor]: Taking taylor expansion of (* a b) in x
3.123 * [taylor]: Taking taylor expansion of a in x
3.123 * [taylor]: Taking taylor expansion of b in x
3.124 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
3.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.124 * [taylor]: Taking taylor expansion of y in x
3.124 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.124 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.124 * [taylor]: Taking taylor expansion of z in x
3.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.124 * [taylor]: Taking taylor expansion of x in x
3.124 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x
3.124 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
3.124 * [taylor]: Taking taylor expansion of 0.5 in x
3.124 * [taylor]: Taking taylor expansion of (/ 1 b) in x
3.124 * [taylor]: Taking taylor expansion of b in x
3.124 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
3.124 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
3.124 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.124 * [taylor]: Taking taylor expansion of t in x
3.124 * [taylor]: Taking taylor expansion of z in x
3.124 * [taylor]: Taking taylor expansion of 1 in y
3.125 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 z))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y
3.125 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 z))) in y
3.125 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.125 * [taylor]: Taking taylor expansion of (* a b) in y
3.125 * [taylor]: Taking taylor expansion of a in y
3.125 * [taylor]: Taking taylor expansion of b in y
3.125 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
3.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.125 * [taylor]: Taking taylor expansion of y in y
3.125 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.125 * [taylor]: Taking taylor expansion of z in y
3.125 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y
3.125 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
3.125 * [taylor]: Taking taylor expansion of 0.5 in y
3.125 * [taylor]: Taking taylor expansion of (/ 1 b) in y
3.125 * [taylor]: Taking taylor expansion of b in y
3.125 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
3.125 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
3.125 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.125 * [taylor]: Taking taylor expansion of t in y
3.125 * [taylor]: Taking taylor expansion of z in y
3.125 * [taylor]: Taking taylor expansion of 1 in z
3.125 * [taylor]: Taking taylor expansion of 1 in z
3.126 * [taylor]: Taking taylor expansion of 0 in y
3.126 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (/ 1 z)) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z
3.126 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 z)) in z
3.126 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.126 * [taylor]: Taking taylor expansion of (* a b) in z
3.126 * [taylor]: Taking taylor expansion of a in z
3.126 * [taylor]: Taking taylor expansion of b in z
3.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.126 * [taylor]: Taking taylor expansion of z in z
3.126 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z
3.126 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
3.126 * [taylor]: Taking taylor expansion of 0.5 in z
3.126 * [taylor]: Taking taylor expansion of (/ 1 b) in z
3.126 * [taylor]: Taking taylor expansion of b in z
3.126 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
3.126 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
3.126 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.126 * [taylor]: Taking taylor expansion of t in z
3.126 * [taylor]: Taking taylor expansion of z in z
3.127 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
3.127 * [taylor]: Taking taylor expansion of 1 in t
3.127 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.127 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.127 * [taylor]: Taking taylor expansion of t in t
3.127 * [taylor]: Taking taylor expansion of (- (+ (log t) 1) (log 1)) in a
3.127 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
3.127 * [taylor]: Taking taylor expansion of (log t) in a
3.127 * [taylor]: Taking taylor expansion of t in a
3.127 * [taylor]: Taking taylor expansion of 1 in a
3.127 * [taylor]: Taking taylor expansion of (log 1) in a
3.127 * [taylor]: Taking taylor expansion of 1 in a
3.127 * [taylor]: Taking taylor expansion of 0 in z
3.127 * [taylor]: Taking taylor expansion of 1 in t
3.127 * [taylor]: Taking taylor expansion of 1 in a
3.127 * [taylor]: Taking taylor expansion of 1 in t
3.127 * [taylor]: Taking taylor expansion of 1 in a
3.128 * [taylor]: Taking taylor expansion of 0 in y
3.128 * [taylor]: Taking taylor expansion of 0 in z
3.128 * [taylor]: Taking taylor expansion of 0 in z
3.128 * [taylor]: Taking taylor expansion of 0 in z
3.129 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t
3.129 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
3.129 * [taylor]: Taking taylor expansion of (* a b) in t
3.129 * [taylor]: Taking taylor expansion of a in t
3.129 * [taylor]: Taking taylor expansion of b in t
3.129 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
3.129 * [taylor]: Taking taylor expansion of 0.5 in t
3.129 * [taylor]: Taking taylor expansion of (/ 1 b) in t
3.129 * [taylor]: Taking taylor expansion of b in t
3.129 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a
3.129 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.129 * [taylor]: Taking taylor expansion of (* a b) in a
3.129 * [taylor]: Taking taylor expansion of a in a
3.129 * [taylor]: Taking taylor expansion of b in a
3.129 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
3.129 * [taylor]: Taking taylor expansion of 0.5 in a
3.129 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.129 * [taylor]: Taking taylor expansion of b in a
3.129 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.129 * [taylor]: Taking taylor expansion of b in b
3.129 * [taylor]: Taking taylor expansion of 0 in t
3.129 * [taylor]: Taking taylor expansion of 0 in a
3.129 * [taylor]: Taking taylor expansion of 0 in t
3.129 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [taylor]: Taking taylor expansion of 0 in t
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [taylor]: Taking taylor expansion of 0 in a
3.130 * [taylor]: Taking taylor expansion of (- (+ (log t) 1) (log 1)) in b
3.130 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
3.130 * [taylor]: Taking taylor expansion of (log t) in b
3.130 * [taylor]: Taking taylor expansion of t in b
3.130 * [taylor]: Taking taylor expansion of 1 in b
3.130 * [taylor]: Taking taylor expansion of (log 1) in b
3.130 * [taylor]: Taking taylor expansion of 1 in b
3.130 * [taylor]: Taking taylor expansion of 1 in b
3.130 * [taylor]: Taking taylor expansion of 1 in b
3.131 * [taylor]: Taking taylor expansion of 0 in y
3.131 * [taylor]: Taking taylor expansion of 0 in z
3.131 * [taylor]: Taking taylor expansion of 0 in z
3.132 * [taylor]: Taking taylor expansion of 0 in z
3.132 * [taylor]: Taking taylor expansion of 0 in z
3.132 * [taylor]: Taking taylor expansion of 0 in t
3.132 * [taylor]: Taking taylor expansion of 0 in a
3.132 * [taylor]: Taking taylor expansion of 0 in t
3.132 * [taylor]: Taking taylor expansion of 0 in a
3.132 * [taylor]: Taking taylor expansion of 0 in t
3.132 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in t
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in t
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in t
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in t
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.133 * [taylor]: Taking taylor expansion of 0 in a
3.134 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 b))) in b
3.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
3.134 * [taylor]: Taking taylor expansion of 0.5 in b
3.134 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.134 * [taylor]: Taking taylor expansion of b in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.134 * [taylor]: Taking taylor expansion of 0 in b
3.135 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z t a b) around 0
3.135 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in b
3.135 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in b
3.135 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.135 * [taylor]: Taking taylor expansion of (* a b) in b
3.135 * [taylor]: Taking taylor expansion of a in b
3.135 * [taylor]: Taking taylor expansion of b in b
3.135 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in b
3.135 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in b
3.135 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in b
3.135 * [taylor]: Taking taylor expansion of (/ -1 t) in b
3.135 * [taylor]: Taking taylor expansion of -1 in b
3.135 * [taylor]: Taking taylor expansion of t in b
3.136 * [taylor]: Taking taylor expansion of z in b
3.136 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
3.136 * [taylor]: Taking taylor expansion of 0.5 in b
3.136 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.136 * [taylor]: Taking taylor expansion of b in b
3.136 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in b
3.136 * [taylor]: Taking taylor expansion of (/ 1 y) in b
3.136 * [taylor]: Taking taylor expansion of y in b
3.136 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in b
3.136 * [taylor]: Taking taylor expansion of (/ 1 z) in b
3.136 * [taylor]: Taking taylor expansion of z in b
3.136 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.136 * [taylor]: Taking taylor expansion of x in b
3.136 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in a
3.136 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in a
3.136 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.136 * [taylor]: Taking taylor expansion of (* a b) in a
3.136 * [taylor]: Taking taylor expansion of a in a
3.136 * [taylor]: Taking taylor expansion of b in a
3.136 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in a
3.136 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in a
3.136 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
3.136 * [taylor]: Taking taylor expansion of (/ -1 t) in a
3.136 * [taylor]: Taking taylor expansion of -1 in a
3.136 * [taylor]: Taking taylor expansion of t in a
3.136 * [taylor]: Taking taylor expansion of z in a
3.136 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
3.136 * [taylor]: Taking taylor expansion of 0.5 in a
3.136 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.136 * [taylor]: Taking taylor expansion of b in a
3.136 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in a
3.136 * [taylor]: Taking taylor expansion of (/ 1 y) in a
3.136 * [taylor]: Taking taylor expansion of y in a
3.136 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in a
3.136 * [taylor]: Taking taylor expansion of (/ 1 z) in a
3.136 * [taylor]: Taking taylor expansion of z in a
3.136 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.136 * [taylor]: Taking taylor expansion of x in a
3.136 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in t
3.136 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in t
3.136 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
3.136 * [taylor]: Taking taylor expansion of (* a b) in t
3.136 * [taylor]: Taking taylor expansion of a in t
3.137 * [taylor]: Taking taylor expansion of b in t
3.137 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in t
3.137 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
3.137 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.137 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.137 * [taylor]: Taking taylor expansion of -1 in t
3.137 * [taylor]: Taking taylor expansion of t in t
3.137 * [taylor]: Taking taylor expansion of z in t
3.137 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
3.137 * [taylor]: Taking taylor expansion of 0.5 in t
3.137 * [taylor]: Taking taylor expansion of (/ 1 b) in t
3.137 * [taylor]: Taking taylor expansion of b in t
3.137 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
3.137 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.137 * [taylor]: Taking taylor expansion of y in t
3.137 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
3.137 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.137 * [taylor]: Taking taylor expansion of z in t
3.137 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.137 * [taylor]: Taking taylor expansion of x in t
3.137 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
3.137 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in z
3.137 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.137 * [taylor]: Taking taylor expansion of (* a b) in z
3.137 * [taylor]: Taking taylor expansion of a in z
3.137 * [taylor]: Taking taylor expansion of b in z
3.137 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in z
3.137 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.137 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.137 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.137 * [taylor]: Taking taylor expansion of -1 in z
3.137 * [taylor]: Taking taylor expansion of t in z
3.137 * [taylor]: Taking taylor expansion of z in z
3.137 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
3.137 * [taylor]: Taking taylor expansion of 0.5 in z
3.137 * [taylor]: Taking taylor expansion of (/ 1 b) in z
3.137 * [taylor]: Taking taylor expansion of b in z
3.137 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
3.137 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.138 * [taylor]: Taking taylor expansion of y in z
3.138 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
3.138 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.138 * [taylor]: Taking taylor expansion of z in z
3.138 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.138 * [taylor]: Taking taylor expansion of x in z
3.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
3.138 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in y
3.138 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.138 * [taylor]: Taking taylor expansion of (* a b) in y
3.138 * [taylor]: Taking taylor expansion of a in y
3.138 * [taylor]: Taking taylor expansion of b in y
3.138 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in y
3.138 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
3.138 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
3.138 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.138 * [taylor]: Taking taylor expansion of -1 in y
3.138 * [taylor]: Taking taylor expansion of t in y
3.138 * [taylor]: Taking taylor expansion of z in y
3.138 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
3.138 * [taylor]: Taking taylor expansion of 0.5 in y
3.138 * [taylor]: Taking taylor expansion of (/ 1 b) in y
3.138 * [taylor]: Taking taylor expansion of b in y
3.138 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
3.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.138 * [taylor]: Taking taylor expansion of y in y
3.138 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
3.138 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.138 * [taylor]: Taking taylor expansion of z in y
3.138 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.138 * [taylor]: Taking taylor expansion of x in y
3.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
3.138 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in x
3.138 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.138 * [taylor]: Taking taylor expansion of (* a b) in x
3.138 * [taylor]: Taking taylor expansion of a in x
3.138 * [taylor]: Taking taylor expansion of b in x
3.138 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in x
3.138 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
3.138 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
3.138 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.138 * [taylor]: Taking taylor expansion of -1 in x
3.138 * [taylor]: Taking taylor expansion of t in x
3.138 * [taylor]: Taking taylor expansion of z in x
3.139 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
3.139 * [taylor]: Taking taylor expansion of 0.5 in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 b) in x
3.139 * [taylor]: Taking taylor expansion of b in x
3.139 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.139 * [taylor]: Taking taylor expansion of y in x
3.139 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.139 * [taylor]: Taking taylor expansion of z in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.139 * [taylor]: Taking taylor expansion of x in x
3.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
3.139 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.139 * [taylor]: Taking taylor expansion of (* a b) in x
3.139 * [taylor]: Taking taylor expansion of a in x
3.139 * [taylor]: Taking taylor expansion of b in x
3.139 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in x
3.139 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
3.139 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
3.139 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.139 * [taylor]: Taking taylor expansion of -1 in x
3.139 * [taylor]: Taking taylor expansion of t in x
3.139 * [taylor]: Taking taylor expansion of z in x
3.139 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x
3.139 * [taylor]: Taking taylor expansion of 0.5 in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 b) in x
3.139 * [taylor]: Taking taylor expansion of b in x
3.139 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.139 * [taylor]: Taking taylor expansion of y in x
3.139 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.139 * [taylor]: Taking taylor expansion of z in x
3.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.139 * [taylor]: Taking taylor expansion of x in x
3.139 * [taylor]: Taking taylor expansion of (neg 1) in y
3.139 * [taylor]: Taking taylor expansion of 1 in y
3.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 y) (/ 1 z))) in y
3.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in y
3.140 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
3.140 * [taylor]: Taking taylor expansion of (* a b) in y
3.140 * [taylor]: Taking taylor expansion of a in y
3.140 * [taylor]: Taking taylor expansion of b in y
3.140 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in y
3.140 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
3.140 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
3.140 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.140 * [taylor]: Taking taylor expansion of -1 in y
3.140 * [taylor]: Taking taylor expansion of t in y
3.140 * [taylor]: Taking taylor expansion of z in y
3.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y
3.140 * [taylor]: Taking taylor expansion of 0.5 in y
3.140 * [taylor]: Taking taylor expansion of (/ 1 b) in y
3.140 * [taylor]: Taking taylor expansion of b in y
3.140 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
3.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.140 * [taylor]: Taking taylor expansion of y in y
3.140 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.140 * [taylor]: Taking taylor expansion of z in y
3.140 * [taylor]: Taking taylor expansion of (neg 1) in z
3.140 * [taylor]: Taking taylor expansion of 1 in z
3.141 * [taylor]: Taking taylor expansion of (neg 1) in z
3.141 * [taylor]: Taking taylor expansion of 1 in z
3.141 * [taylor]: Taking taylor expansion of 0 in y
3.142 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (/ 1 z)) in z
3.142 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in z
3.142 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
3.142 * [taylor]: Taking taylor expansion of (* a b) in z
3.142 * [taylor]: Taking taylor expansion of a in z
3.142 * [taylor]: Taking taylor expansion of b in z
3.142 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in z
3.142 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
3.142 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
3.142 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.142 * [taylor]: Taking taylor expansion of -1 in z
3.142 * [taylor]: Taking taylor expansion of t in z
3.142 * [taylor]: Taking taylor expansion of z in z
3.142 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z
3.142 * [taylor]: Taking taylor expansion of 0.5 in z
3.142 * [taylor]: Taking taylor expansion of (/ 1 b) in z
3.142 * [taylor]: Taking taylor expansion of b in z
3.142 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.142 * [taylor]: Taking taylor expansion of z in z
3.142 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
3.142 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.142 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.142 * [taylor]: Taking taylor expansion of -1 in t
3.142 * [taylor]: Taking taylor expansion of t in t
3.142 * [taylor]: Taking taylor expansion of 1 in t
3.142 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in a
3.142 * [taylor]: Taking taylor expansion of (log -1) in a
3.142 * [taylor]: Taking taylor expansion of -1 in a
3.142 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
3.142 * [taylor]: Taking taylor expansion of (log t) in a
3.142 * [taylor]: Taking taylor expansion of t in a
3.142 * [taylor]: Taking taylor expansion of 1 in a
3.142 * [taylor]: Taking taylor expansion of 0 in z
3.142 * [taylor]: Taking taylor expansion of (neg 1) in t
3.142 * [taylor]: Taking taylor expansion of 1 in t
3.143 * [taylor]: Taking taylor expansion of (neg 1) in a
3.143 * [taylor]: Taking taylor expansion of 1 in a
3.143 * [taylor]: Taking taylor expansion of (neg 1) in t
3.143 * [taylor]: Taking taylor expansion of 1 in t
3.143 * [taylor]: Taking taylor expansion of (neg 1) in a
3.143 * [taylor]: Taking taylor expansion of 1 in a
3.143 * [taylor]: Taking taylor expansion of 0 in y
3.143 * [taylor]: Taking taylor expansion of 0 in z
3.144 * [taylor]: Taking taylor expansion of 0 in z
3.144 * [taylor]: Taking taylor expansion of 0 in z
3.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t
3.144 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
3.144 * [taylor]: Taking taylor expansion of (* a b) in t
3.144 * [taylor]: Taking taylor expansion of a in t
3.144 * [taylor]: Taking taylor expansion of b in t
3.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t
3.145 * [taylor]: Taking taylor expansion of 0.5 in t
3.145 * [taylor]: Taking taylor expansion of (/ 1 b) in t
3.145 * [taylor]: Taking taylor expansion of b in t
3.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a
3.145 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.145 * [taylor]: Taking taylor expansion of (* a b) in a
3.145 * [taylor]: Taking taylor expansion of a in a
3.145 * [taylor]: Taking taylor expansion of b in a
3.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a
3.145 * [taylor]: Taking taylor expansion of 0.5 in a
3.145 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.145 * [taylor]: Taking taylor expansion of b in a
3.145 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.145 * [taylor]: Taking taylor expansion of b in b
3.145 * [taylor]: Taking taylor expansion of 0 in t
3.145 * [taylor]: Taking taylor expansion of 0 in a
3.145 * [taylor]: Taking taylor expansion of 0 in t
3.145 * [taylor]: Taking taylor expansion of 0 in a
3.145 * [taylor]: Taking taylor expansion of 0 in t
3.145 * [taylor]: Taking taylor expansion of 0 in a
3.145 * [taylor]: Taking taylor expansion of 0 in a
3.145 * [taylor]: Taking taylor expansion of 0 in a
3.145 * [taylor]: Taking taylor expansion of 0 in a
3.146 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in b
3.146 * [taylor]: Taking taylor expansion of (log -1) in b
3.146 * [taylor]: Taking taylor expansion of -1 in b
3.146 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
3.146 * [taylor]: Taking taylor expansion of (log t) in b
3.146 * [taylor]: Taking taylor expansion of t in b
3.146 * [taylor]: Taking taylor expansion of 1 in b
3.146 * [taylor]: Taking taylor expansion of (neg 1) in b
3.146 * [taylor]: Taking taylor expansion of 1 in b
3.146 * [taylor]: Taking taylor expansion of (neg 1) in b
3.146 * [taylor]: Taking taylor expansion of 1 in b
3.147 * [taylor]: Taking taylor expansion of 0 in y
3.147 * [taylor]: Taking taylor expansion of 0 in z
3.147 * [taylor]: Taking taylor expansion of 0 in z
3.148 * [taylor]: Taking taylor expansion of 0 in z
3.148 * [taylor]: Taking taylor expansion of 0 in z
3.148 * [taylor]: Taking taylor expansion of 0 in t
3.148 * [taylor]: Taking taylor expansion of 0 in a
3.148 * [taylor]: Taking taylor expansion of 0 in t
3.148 * [taylor]: Taking taylor expansion of 0 in a
3.148 * [taylor]: Taking taylor expansion of 0 in t
3.148 * [taylor]: Taking taylor expansion of 0 in a
3.148 * [taylor]: Taking taylor expansion of 0 in t
3.148 * [taylor]: Taking taylor expansion of 0 in a
3.148 * [taylor]: Taking taylor expansion of 0 in t
3.148 * [taylor]: Taking taylor expansion of 0 in a
3.148 * [taylor]: Taking taylor expansion of 0 in t
3.148 * [taylor]: Taking taylor expansion of 0 in a
3.148 * [taylor]: Taking taylor expansion of 0 in t
3.148 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of 0 in a
3.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b
3.149 * [taylor]: Taking taylor expansion of 0.5 in b
3.149 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.149 * [taylor]: Taking taylor expansion of b in b
3.149 * [taylor]: Taking taylor expansion of 0 in b
3.149 * [taylor]: Taking taylor expansion of 0 in b
3.149 * [taylor]: Taking taylor expansion of 0 in b
3.150 * [taylor]: Taking taylor expansion of 0 in b
3.150 * [taylor]: Taking taylor expansion of 0 in b
3.150 * [taylor]: Taking taylor expansion of 0 in b
3.150 * [taylor]: Taking taylor expansion of 0 in b
3.150 * [taylor]: Taking taylor expansion of 0 in b
3.150 * [taylor]: Taking taylor expansion of 0 in b
3.151 * * * [progress]: simplifying candidates
3.152 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (log t))
  (+ (log z) (log (log t)))
  (log (* z (log t)))
  (exp (* z (log t)))
  (* (* (* z z) z) (* (* (log t) (log t)) (log t)))
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (* (* (* z (log t)) (* z (log t))) (* z (log t)))
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* z (log (* (cbrt t) (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  (* z (log 1))
  (* z (log t))
  (* (log (* (cbrt t) (cbrt t))) z)
  (* (log (cbrt t)) z)
  (* (log (sqrt t)) z)
  (* (log (sqrt t)) z)
  (* (log 1) z)
  (* (log t) z)
  (* z 1)
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  (* z 1)
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* z (log t))
  (/ (exp z) (exp (* z (log t))))
  (log (- z (* z (log t))))
  (exp (- z (* z (log t))))
  (* (cbrt (- z (* z (log t)))) (cbrt (- z (* z (log t)))))
  (cbrt (- z (* z (log t))))
  (* (* (- z (* z (log t))) (- z (* z (log t)))) (- z (* z (log t))))
  (sqrt (- z (* z (log t))))
  (sqrt (- z (* z (log t))))
  (- (pow z 3) (pow (* z (log t)) 3))
  (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))
  (neg (* z (log t)))
  (- (* z z) (* (* z (log t)) (* z (log t))))
  (+ z (* z (log t)))
  (- z (* z (log (* (cbrt t) (cbrt t)))))
  (- z (* z (log (sqrt t))))
  (- z (* z (log 1)))
  (- z (* (log (* (cbrt t) (cbrt t))) z))
  (- z (* (log (sqrt t)) z))
  (- z (* (log 1) z))
  (neg (* z (log t)))
  (* (* (exp x) (exp y)) (/ (exp z) (exp (* z (log t)))))
  (* (* (exp x) (exp y)) (exp (- z (* z (log t)))))
  (* (exp (+ x y)) (/ (exp z) (exp (* z (log t)))))
  (* (exp (+ x y)) (exp (- z (* z (log t)))))
  (log (+ (+ x y) (- z (* z (log t)))))
  (exp (+ (+ x y) (- z (* z (log t)))))
  (* (cbrt (+ (+ x y) (- z (* z (log t))))) (cbrt (+ (+ x y) (- z (* z (log t))))))
  (cbrt (+ (+ x y) (- z (* z (log t)))))
  (* (* (+ (+ x y) (- z (* z (log t)))) (+ (+ x y) (- z (* z (log t))))) (+ (+ x y) (- z (* z (log t)))))
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (+ (* (+ (pow x 3) (pow y 3)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (+ (* x x) (- (* y y) (* x y))) (- (pow z 3) (pow (* z (log t)) 3))))
  (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t))))))
  (+ (* (+ (pow x 3) (pow y 3)) (+ z (* z (log t)))) (* (+ (* x x) (- (* y y) (* x y))) (- (* z z) (* (* z (log t)) (* z (log t))))))
  (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t))))
  (+ (* (- (* x x) (* y y)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- x y) (- (pow z 3) (pow (* z (log t)) 3))))
  (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t))))))
  (+ (* (- (* x x) (* y y)) (+ z (* z (log t)))) (* (- x y) (- (* z z) (* (* z (log t)) (* z (log t))))))
  (* (- x y) (+ z (* z (log t))))
  (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3))
  (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t))))))
  (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t)))))
  (- (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ y (- z (* z (log t))))
  (+ (+ x y) z)
  (* (* (* (exp x) (exp y)) (/ (exp z) (exp (* z (log t))))) (exp (* (- a 0.5) b)))
  (* (* (* (exp x) (exp y)) (exp (- z (* z (log t))))) (exp (* (- a 0.5) b)))
  (* (* (exp (+ x y)) (/ (exp z) (exp (* z (log t))))) (exp (* (- a 0.5) b)))
  (* (* (exp (+ x y)) (exp (- z (* z (log t))))) (exp (* (- a 0.5) b)))
  (* (exp (+ (+ x y) (- z (* z (log t))))) (exp (* (- a 0.5) b)))
  (log (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (exp (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (* (cbrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))) (cbrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))))
  (cbrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (* (* (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (sqrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (sqrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (+ (* x x) (- (* y y) (* x y))) (- (pow z 3) (pow (* z (log t)) 3)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (+ (* x x) (- (* y y) (* x y))) (- (pow z 3) (pow (* z (log t)) 3)))) (+ a 0.5)) (* (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (+ a 0.5))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ z (* z (log t)))) (* (+ (* x x) (- (* y y) (* x y))) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t)))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ z (* z (log t)))) (* (+ (* x x) (- (* y y) (* x y))) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ a 0.5)) (* (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t)))) (+ a 0.5))
  (+ (* (+ (* (- (* x x) (* y y)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- x y) (- (pow z 3) (pow (* z (log t)) 3)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (+ (* (- (* x x) (* y y)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- x y) (- (pow z 3) (pow (* z (log t)) 3)))) (+ a 0.5)) (* (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (+ a 0.5))
  (+ (* (+ (* (- (* x x) (* y y)) (+ z (* z (log t)))) (* (- x y) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (- x y) (+ z (* z (log t)))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (* (- x y) (+ z (* z (log t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (+ (* (- (* x x) (* y y)) (+ z (* z (log t)))) (* (- x y) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ a 0.5)) (* (* (- x y) (+ z (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (* (- x y) (+ z (* z (log t)))) (+ a 0.5))
  (+ (* (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t)))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t)))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3)) (+ a 0.5)) (* (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t)))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t)))))) (+ a 0.5))
  (+ (* (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (- (+ x y) (- z (* z (log t)))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (- (+ x y) (- z (* z (log t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t))))) (+ a 0.5)) (* (- (+ x y) (- z (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (- (+ x y) (- z (* z (log t)))) (+ a 0.5))
  (+ (pow (+ (+ x y) (- z (* z (log t)))) 3) (pow (* (- a 0.5) b) 3))
  (+ (* (+ (+ x y) (- z (* z (log t)))) (+ (+ x y) (- z (* z (log t))))) (- (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))))
  (- (* (+ (+ x y) (- z (* z (log t)))) (+ (+ x y) (- z (* z (log t))))) (* (* (- a 0.5) b) (* (- a 0.5) b)))
  (- (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))
  (+ (- z (* z (log t))) (* (- a 0.5) b))
  (- (* z (log t)) (* (- a 0.5) b))
  (* (+ (log t) (log 1)) z)
  (* (- (log 1) (log (/ 1 t))) z)
  (* z (- (log -1) (log (/ -1 t))))
  (* (- 1 (+ (log t) (log 1))) z)
  (* z (- (+ (log (/ 1 t)) 1) (log 1)))
  (* -1 (* (- (log -1) (+ (log (/ -1 t)) 1)) z))
  (- (+ x (+ z y)) (+ (* (log t) z) (* (log 1) z)))
  (- (+ x (+ z (+ (* (log (/ 1 t)) z) y))) (* (log 1) z))
  (- (+ (* (log (/ -1 t)) z) (+ x (+ z y))) (* (log -1) z))
  (- (+ x (+ z y)) (+ (* (log t) z) (* (log 1) z)))
  (- (+ (* (log (/ 1 t)) z) (+ (* a b) z)) (+ (* (log 1) z) (* 0.5 b)))
  (- (+ (* (log (/ -1 t)) z) (+ z (* a b))) (+ (* (log -1) z) (* 0.5 b)))
3.162 * * [simplify]: iteration  0 :  890  enodes  (cost  1345 )
3.180 * * [simplify]: iteration  1 :  4452  enodes  (cost  1306 )
3.251 * * [simplify]: iteration  2 :  5001  enodes  (cost  1276 )
3.258 * [simplify]: Simplified to:
   (* z (log t))
  (log (* z (log t)))
  (log (* z (log t)))
  (pow t z)
  (pow (* z (log t)) 3)
  (* (cbrt (* z (log t))) (cbrt (* z (log t))))
  (cbrt (* z (log t)))
  (pow (* z (log t)) 3)
  (sqrt (* z (log t)))
  (sqrt (* z (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* (sqrt z) (sqrt (log t)))
  (* z (* 2 (log (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* z (log t))
  (* z (* 2 (log (cbrt t))))
  (* z (log (cbrt t)))
  (* z (log (sqrt t)))
  (* z (log (sqrt t)))
  0
  (* z (log t))
  z
  (* z (* (cbrt (log t)) (cbrt (log t))))
  (* z (sqrt (log t)))
  z
  (* (cbrt z) (log t))
  (* (sqrt z) (log t))
  (* z (log t))
  (/ (exp z) (pow t z))
  (log (- z (* z (log t))))
  (/ (exp z) (pow t z))
  (* (cbrt (- z (* z (log t)))) (cbrt (- z (* z (log t)))))
  (cbrt (- z (* z (log t))))
  (pow (- z (* z (log t))) 3)
  (sqrt (- z (* z (log t))))
  (sqrt (- z (* z (log t))))
  (- (pow z 3) (pow (* z (log t)) 3))
  (+ (* (* z (log t)) (+ (* z (log t)) z)) (* z z))
  (neg (* z (log t)))
  (* z (- z (* (log t) (* z (log t)))))
  (+ z (* z (log t)))
  (- z (* (log (* (cbrt t) (cbrt t))) z))
  (- z (* (log (sqrt t)) z))
  z
  (- z (* (log (* (cbrt t) (cbrt t))) z))
  (- z (* (log (sqrt t)) z))
  z
  (neg (* z (log t)))
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (/ (exp (+ x (+ z y))) (pow t z))
  (log (+ (+ x y) (- z (* z (log t)))))
  (/ (exp (+ x (+ z y))) (pow t z))
  (* (cbrt (+ (+ x y) (- z (* z (log t))))) (cbrt (+ (+ x y) (- z (* z (log t))))))
  (cbrt (+ (+ x y) (- z (* z (log t)))))
  (pow (+ (+ x y) (- z (* z (log t)))) 3)
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (sqrt (+ (+ x y) (- z (* z (log t)))))
  (+ (* (+ (pow x 3) (pow y 3)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (+ (* x x) (- (* y y) (* x y))) (- (pow z 3) (pow (* z (log t)) 3))))
  (* (+ (* (* z (log t)) (+ (* z (log t)) z)) (* z z)) (+ (* y (- y x)) (* x x)))
  (+ (* (+ (pow x 3) (pow y 3)) (+ z (* z (log t)))) (* (+ (* x x) (- (* y y) (* x y))) (- (* z z) (* (* z (log t)) (* z (log t))))))
  (* (+ z (* z (log t))) (+ (* y (- y x)) (* x x)))
  (+ (* (- (* x x) (* y y)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- x y) (- (pow z 3) (pow (* z (log t)) 3))))
  (* (+ (* (* z (log t)) (+ (* z (log t)) z)) (* z z)) (- x y))
  (+ (* (- (* x x) (* y y)) (+ z (* z (log t)))) (* (- x y) (- (* z z) (* (* z (log t)) (* z (log t))))))
  (* (- x y) (+ z (* z (log t))))
  (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3))
  (+ (* (- z (* z (log t))) (- (- z (* z (log t))) (+ x y))) (* (+ x y) (+ x y)))
  (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t)))))
  (- (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ y (- z (* z (log t))))
  (+ x (+ z y))
  (exp (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (exp (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (exp (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (exp (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (exp (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (log (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (exp (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (* (cbrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))) (cbrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))))
  (cbrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (pow (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)) 3)
  (sqrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (sqrt (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (+ (* x x) (- (* y y) (* x y))) (- (pow z 3) (pow (* z (log t)) 3)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (* (+ (* (* z (log t)) (+ (* z (log t)) z)) (* z z)) (+ (* y (- y x)) (* x x))))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (+ (* x x) (- (* y y) (* x y))) (- (pow z 3) (pow (* z (log t)) 3)))) (+ a 0.5)) (* (* (+ (* x x) (- (* y y) (* x y))) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ a 0.5) (* (+ (* (* z (log t)) (+ (* z (log t)) z)) (* z z)) (+ (* y (- y x)) (* x x))))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ z (* z (log t)))) (* (+ (* x x) (- (* y y) (* x y))) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t)))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (* (+ z (* z (log t))) (+ (* y (- y x)) (* x x))))
  (+ (* (+ (* (+ (pow x 3) (pow y 3)) (+ z (* z (log t)))) (* (+ (* x x) (- (* y y) (* x y))) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ a 0.5)) (* (* (+ (* x x) (- (* y y) (* x y))) (+ z (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ a 0.5) (* (+ z (* z (log t))) (+ (* y (- y x)) (* x x))))
  (+ (* (+ (* (- (* x x) (* y y)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- x y) (- (pow z 3) (pow (* z (log t)) 3)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (* (+ (* (* z (log t)) (+ (* z (log t)) z)) (* z z)) (- x y)))
  (+ (* (+ (* (- (* x x) (* y y)) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- x y) (- (pow z 3) (pow (* z (log t)) 3)))) (+ a 0.5)) (* (* (- x y) (+ (* z z) (+ (* (* z (log t)) (* z (log t))) (* z (* z (log t)))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ a 0.5) (* (+ (* (* z (log t)) (+ (* z (log t)) z)) (* z z)) (- x y)))
  (+ (* (+ (* (- (* x x) (* y y)) (+ z (* z (log t)))) (* (- x y) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (* (- x y) (+ z (* z (log t)))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (* (- x y) (+ z (* z (log t)))))
  (+ (* (+ (* (- (* x x) (* y y)) (+ z (* z (log t)))) (* (- x y) (- (* z z) (* (* z (log t)) (* z (log t)))))) (+ a 0.5)) (* (* (- x y) (+ z (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (* (- x y) (+ z (* z (log t)))) (+ a 0.5))
  (+ (* (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t)))))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (+ (* (- z (* z (log t))) (- (- z (* z (log t))) (+ x y))) (* (+ x y) (+ x y))))
  (+ (* (+ (pow (+ x y) 3) (pow (- z (* z (log t))) 3)) (+ a 0.5)) (* (+ (* (+ x y) (+ x y)) (- (* (- z (* z (log t))) (- z (* z (log t)))) (* (+ x y) (- z (* z (log t)))))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (+ a 0.5) (+ (* (- z (* z (log t))) (- (- z (* z (log t))) (+ x y))) (* (+ x y) (+ x y))))
  (+ (* (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (- (+ x y) (- z (* z (log t)))) (* (- (pow a 3) (pow 0.5 3)) b)))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (- (+ x y) (- z (* z (log t)))))
  (+ (* (- (* (+ x y) (+ x y)) (* (- z (* z (log t))) (- z (* z (log t))))) (+ a 0.5)) (* (- (+ x y) (- z (* z (log t)))) (* (- (* a a) (* 0.5 0.5)) b)))
  (* (- (+ x y) (- z (* z (log t)))) (+ a 0.5))
  (+ (pow (+ (+ x y) (- z (* z (log t)))) 3) (pow (* (- a 0.5) b) 3))
  (+ (* (* (- a 0.5) b) (- (* (- a 0.5) b) (+ (+ x y) (- z (* z (log t)))))) (* (+ (+ x y) (- z (* z (log t)))) (+ (+ x y) (- z (* z (log t))))))
  (- (* (+ (+ x y) (- z (* z (log t)))) (+ (+ x y) (- z (* z (log t))))) (* (* (- a 0.5) b) (* (- a 0.5) b)))
  (- (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))
  (+ (- z (* z (log t))) (* (- a 0.5) b))
  (- (* z (log t)) (* (- a 0.5) b))
  (* z (log t))
  (* z (log t))
  (* z (log t))
  (- z (* z (log t)))
  (- z (* z (log t)))
  (- z (* z (log t)))
  (+ (+ x y) (- z (* z (log t))))
  (+ (+ x y) (- z (* z (log t))))
  (- (+ (* (log (/ -1 t)) z) (+ x (+ z y))) (* (log -1) z))
  (+ (+ x y) (- z (* z (log t))))
  (- (+ (* (log (/ 1 t)) z) (+ (* a b) z)) (* 0.5 b))
  (- (+ (* (log (/ -1 t)) z) (+ z (* a b))) (+ (* (log -1) z) (* 0.5 b)))
3.259 * * * [progress]: adding candidates to table
3.384 * * [progress]: iteration 3 / 4
3.385 * * * [progress]: picking best candidate
3.405 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))>
3.405 * * * [progress]: localizing error
3.426 * * * [progress]: generating rewritten candidates
3.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1)
3.428 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2)
3.429 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1)
3.430 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
3.437 * * * [progress]: generating series expansions
3.437 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1)
3.438 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
3.438 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.438 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.438 * [taylor]: Taking taylor expansion of 1/3 in t
3.438 * [taylor]: Taking taylor expansion of (log t) in t
3.438 * [taylor]: Taking taylor expansion of t in t
3.438 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.438 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.438 * [taylor]: Taking taylor expansion of 1/3 in t
3.438 * [taylor]: Taking taylor expansion of (log t) in t
3.438 * [taylor]: Taking taylor expansion of t in t
3.444 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
3.444 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.444 * [taylor]: Taking taylor expansion of 1/3 in t
3.444 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.444 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.444 * [taylor]: Taking taylor expansion of t in t
3.444 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.444 * [taylor]: Taking taylor expansion of 1/3 in t
3.444 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.444 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.444 * [taylor]: Taking taylor expansion of t in t
3.450 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
3.450 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.450 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.450 * [taylor]: Taking taylor expansion of -1 in t
3.450 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.450 * [taylor]: Taking taylor expansion of 1/3 in t
3.450 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.450 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.450 * [taylor]: Taking taylor expansion of t in t
3.450 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.451 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.451 * [taylor]: Taking taylor expansion of -1 in t
3.451 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.451 * [taylor]: Taking taylor expansion of 1/3 in t
3.451 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.451 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.451 * [taylor]: Taking taylor expansion of t in t
3.458 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2)
3.458 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
3.458 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.458 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.458 * [taylor]: Taking taylor expansion of 1/3 in t
3.458 * [taylor]: Taking taylor expansion of (log t) in t
3.458 * [taylor]: Taking taylor expansion of t in t
3.459 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.459 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.459 * [taylor]: Taking taylor expansion of 1/3 in t
3.459 * [taylor]: Taking taylor expansion of (log t) in t
3.459 * [taylor]: Taking taylor expansion of t in t
3.464 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
3.465 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.465 * [taylor]: Taking taylor expansion of 1/3 in t
3.465 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.465 * [taylor]: Taking taylor expansion of t in t
3.465 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.465 * [taylor]: Taking taylor expansion of 1/3 in t
3.465 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.465 * [taylor]: Taking taylor expansion of t in t
3.471 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
3.471 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.471 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.471 * [taylor]: Taking taylor expansion of -1 in t
3.471 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.471 * [taylor]: Taking taylor expansion of 1/3 in t
3.471 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.471 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.471 * [taylor]: Taking taylor expansion of t in t
3.471 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.471 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.471 * [taylor]: Taking taylor expansion of -1 in t
3.472 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.472 * [taylor]: Taking taylor expansion of 1/3 in t
3.472 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.472 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.472 * [taylor]: Taking taylor expansion of t in t
3.479 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1)
3.479 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
3.479 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.479 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.479 * [taylor]: Taking taylor expansion of 1/3 in t
3.479 * [taylor]: Taking taylor expansion of (log t) in t
3.479 * [taylor]: Taking taylor expansion of t in t
3.480 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.480 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.480 * [taylor]: Taking taylor expansion of 1/3 in t
3.480 * [taylor]: Taking taylor expansion of (log t) in t
3.480 * [taylor]: Taking taylor expansion of t in t
3.485 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
3.485 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.485 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.485 * [taylor]: Taking taylor expansion of 1/3 in t
3.485 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.485 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.485 * [taylor]: Taking taylor expansion of t in t
3.486 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.486 * [taylor]: Taking taylor expansion of 1/3 in t
3.486 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.486 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.486 * [taylor]: Taking taylor expansion of t in t
3.495 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
3.495 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.496 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.496 * [taylor]: Taking taylor expansion of -1 in t
3.496 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.496 * [taylor]: Taking taylor expansion of 1/3 in t
3.496 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.496 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.496 * [taylor]: Taking taylor expansion of t in t
3.496 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.496 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.496 * [taylor]: Taking taylor expansion of -1 in t
3.496 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.496 * [taylor]: Taking taylor expansion of 1/3 in t
3.496 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.496 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.496 * [taylor]: Taking taylor expansion of t in t
3.504 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
3.504 * [approximate]: Taking taylor expansion of (pow (pow t 2) 1/3) in (t) around 0
3.504 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
3.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
3.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
3.504 * [taylor]: Taking taylor expansion of 1/3 in t
3.504 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
3.504 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.504 * [taylor]: Taking taylor expansion of t in t
3.504 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
3.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
3.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
3.504 * [taylor]: Taking taylor expansion of 1/3 in t
3.504 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
3.504 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.504 * [taylor]: Taking taylor expansion of t in t
3.511 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in (t) around 0
3.511 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.511 * [taylor]: Taking taylor expansion of 1/3 in t
3.511 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.511 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.511 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.511 * [taylor]: Taking taylor expansion of t in t
3.511 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.511 * [taylor]: Taking taylor expansion of 1/3 in t
3.511 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.511 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.511 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.511 * [taylor]: Taking taylor expansion of t in t
3.518 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in (t) around 0
3.518 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
3.518 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
3.518 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.518 * [taylor]: Taking taylor expansion of -1 in t
3.518 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.518 * [taylor]: Taking taylor expansion of 1/3 in t
3.518 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.518 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.518 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.518 * [taylor]: Taking taylor expansion of t in t
3.519 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
3.519 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
3.519 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.519 * [taylor]: Taking taylor expansion of -1 in t
3.519 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
3.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
3.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
3.519 * [taylor]: Taking taylor expansion of 1/3 in t
3.519 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
3.519 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
3.519 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.519 * [taylor]: Taking taylor expansion of t in t
3.528 * * * [progress]: simplifying candidates
3.529 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (+ 1/3 1/3)
  (+ 1 1)
  (* t t)
  (* (cbrt t) (cbrt t))
  (+ 1 1)
  (+ (log (cbrt t)) (log (cbrt t)))
  (log (* (cbrt t) (cbrt t)))
  (exp (* (cbrt t) (cbrt t)))
  (* t t)
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (* (cbrt t) (cbrt t)))
  (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))
  (sqrt (* (cbrt t) (cbrt t)))
  (sqrt (* (cbrt t) (cbrt t)))
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt t) (cbrt t))
  (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* 1 1)
  (* (cbrt t) (cbrt t))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (cbrt (sqrt t)))
  (* (sqrt (cbrt t)) (cbrt (sqrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt t) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt t) (cbrt (sqrt t)))
  (* (cbrt t) (cbrt 1))
  (* (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (cbrt t) (sqrt (cbrt t)))
  (* (cbrt t) 1)
  (* (cbrt (cbrt t)) (cbrt t))
  (* (cbrt (sqrt t)) (cbrt t))
  (* (cbrt t) (cbrt t))
  (* (cbrt (cbrt t)) (cbrt t))
  (* (sqrt (cbrt t)) (cbrt t))
  (* (cbrt t) (cbrt t))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (exp (* 1/3 (+ (log t) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (exp (* 1/3 (+ (* 2 (log t)) (log 1))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 t))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 t)))))))
3.533 * * [simplify]: iteration  0 :  148  enodes  (cost  349 )
3.537 * * [simplify]: iteration  1 :  471  enodes  (cost  322 )
3.548 * * [simplify]: iteration  2 :  2276  enodes  (cost  265 )
3.603 * * [simplify]: iteration  3 :  5002  enodes  (cost  252 )
3.605 * [simplify]: Simplified to:
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  2/3
  2
  (* t t)
  (pow t 2/3)
  2
  (* 2 (log (cbrt t)))
  (* 2 (log (cbrt t)))
  (exp (* (cbrt t) (cbrt t)))
  (* t t)
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (* (cbrt t) (cbrt t)))
  (* t t)
  (fabs (cbrt t))
  (fabs (cbrt t))
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  1
  (pow t 2/3)
  (pow (cbrt (cbrt t)) 4)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt t)
  (cbrt t)
  1
  (pow t 2/3)
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (cbrt t)
  (cbrt t)
  2/3
  2
  (* (cbrt t) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt t) (cbrt (sqrt t)))
  (cbrt t)
  (pow (cbrt (cbrt t)) 5)
  (pow (sqrt (cbrt t)) 3)
  (cbrt t)
  (pow (cbrt (cbrt t)) 4)
  (* (cbrt t) (cbrt (sqrt t)))
  (pow t 2/3)
  (pow (cbrt (cbrt t)) 4)
  (pow (sqrt (cbrt t)) 3)
  (pow t 2/3)
  (cbrt t)
  (cbrt t)
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (cbrt t)
  (cbrt t)
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (cbrt t)
  (cbrt t)
  (* (exp (* 1/3 (- (log 1) (log (/ -1 t))))) (cbrt -1))
  (pow t 2/3)
  (pow t 2/3)
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 t)))))))
3.606 * * * [progress]: adding candidates to table
3.697 * * [progress]: iteration 4 / 4
3.697 * * * [progress]: picking best candidate
3.718 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))>
3.718 * * * [progress]: localizing error
3.734 * * * [progress]: generating rewritten candidates
3.734 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
3.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2)
3.737 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1)
3.738 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
3.746 * * * [progress]: generating series expansions
3.746 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
3.746 * [approximate]: Taking taylor expansion of (pow (log t) 1/3) in (t) around 0
3.746 * [taylor]: Taking taylor expansion of (pow (log t) 1/3) in t
3.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log t)))) in t
3.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (log t))) in t
3.746 * [taylor]: Taking taylor expansion of 1/3 in t
3.746 * [taylor]: Taking taylor expansion of (log (log t)) in t
3.746 * [taylor]: Taking taylor expansion of (log t) in t
3.746 * [taylor]: Taking taylor expansion of t in t
3.747 * [taylor]: Taking taylor expansion of (pow (log t) 1/3) in t
3.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log t)))) in t
3.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (log t))) in t
3.747 * [taylor]: Taking taylor expansion of 1/3 in t
3.747 * [taylor]: Taking taylor expansion of (log (log t)) in t
3.747 * [taylor]: Taking taylor expansion of (log t) in t
3.747 * [taylor]: Taking taylor expansion of t in t
3.759 * [approximate]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in (t) around 0
3.759 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in t
3.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 t))))) in t
3.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 t)))) in t
3.759 * [taylor]: Taking taylor expansion of 1/3 in t
3.759 * [taylor]: Taking taylor expansion of (log (log (/ 1 t))) in t
3.759 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.759 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.759 * [taylor]: Taking taylor expansion of t in t
3.760 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in t
3.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 t))))) in t
3.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 t)))) in t
3.760 * [taylor]: Taking taylor expansion of 1/3 in t
3.760 * [taylor]: Taking taylor expansion of (log (log (/ 1 t))) in t
3.760 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.760 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.760 * [taylor]: Taking taylor expansion of t in t
3.771 * [approximate]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in (t) around 0
3.771 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in t
3.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 t))))) in t
3.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 t)))) in t
3.771 * [taylor]: Taking taylor expansion of 1/3 in t
3.771 * [taylor]: Taking taylor expansion of (log (log (/ -1 t))) in t
3.771 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.771 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.771 * [taylor]: Taking taylor expansion of -1 in t
3.771 * [taylor]: Taking taylor expansion of t in t
3.771 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in t
3.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 t))))) in t
3.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 t)))) in t
3.771 * [taylor]: Taking taylor expansion of 1/3 in t
3.771 * [taylor]: Taking taylor expansion of (log (log (/ -1 t))) in t
3.771 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.771 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.771 * [taylor]: Taking taylor expansion of -1 in t
3.771 * [taylor]: Taking taylor expansion of t in t
3.782 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2)
3.782 * [approximate]: Taking taylor expansion of (pow (log t) 1/3) in (t) around 0
3.782 * [taylor]: Taking taylor expansion of (pow (log t) 1/3) in t
3.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log t)))) in t
3.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (log t))) in t
3.782 * [taylor]: Taking taylor expansion of 1/3 in t
3.782 * [taylor]: Taking taylor expansion of (log (log t)) in t
3.782 * [taylor]: Taking taylor expansion of (log t) in t
3.782 * [taylor]: Taking taylor expansion of t in t
3.782 * [taylor]: Taking taylor expansion of (pow (log t) 1/3) in t
3.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log t)))) in t
3.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (log t))) in t
3.782 * [taylor]: Taking taylor expansion of 1/3 in t
3.782 * [taylor]: Taking taylor expansion of (log (log t)) in t
3.782 * [taylor]: Taking taylor expansion of (log t) in t
3.782 * [taylor]: Taking taylor expansion of t in t
3.793 * [approximate]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in (t) around 0
3.793 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in t
3.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 t))))) in t
3.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 t)))) in t
3.793 * [taylor]: Taking taylor expansion of 1/3 in t
3.793 * [taylor]: Taking taylor expansion of (log (log (/ 1 t))) in t
3.793 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.793 * [taylor]: Taking taylor expansion of t in t
3.793 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in t
3.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 t))))) in t
3.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 t)))) in t
3.793 * [taylor]: Taking taylor expansion of 1/3 in t
3.793 * [taylor]: Taking taylor expansion of (log (log (/ 1 t))) in t
3.793 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.793 * [taylor]: Taking taylor expansion of t in t
3.804 * [approximate]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in (t) around 0
3.804 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in t
3.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 t))))) in t
3.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 t)))) in t
3.804 * [taylor]: Taking taylor expansion of 1/3 in t
3.804 * [taylor]: Taking taylor expansion of (log (log (/ -1 t))) in t
3.804 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.804 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.804 * [taylor]: Taking taylor expansion of -1 in t
3.804 * [taylor]: Taking taylor expansion of t in t
3.804 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in t
3.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 t))))) in t
3.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 t)))) in t
3.804 * [taylor]: Taking taylor expansion of 1/3 in t
3.804 * [taylor]: Taking taylor expansion of (log (log (/ -1 t))) in t
3.804 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.804 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.804 * [taylor]: Taking taylor expansion of -1 in t
3.804 * [taylor]: Taking taylor expansion of t in t
3.815 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1)
3.815 * [approximate]: Taking taylor expansion of (pow (log t) 1/3) in (t) around 0
3.815 * [taylor]: Taking taylor expansion of (pow (log t) 1/3) in t
3.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log t)))) in t
3.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (log t))) in t
3.815 * [taylor]: Taking taylor expansion of 1/3 in t
3.815 * [taylor]: Taking taylor expansion of (log (log t)) in t
3.815 * [taylor]: Taking taylor expansion of (log t) in t
3.815 * [taylor]: Taking taylor expansion of t in t
3.816 * [taylor]: Taking taylor expansion of (pow (log t) 1/3) in t
3.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log t)))) in t
3.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (log t))) in t
3.816 * [taylor]: Taking taylor expansion of 1/3 in t
3.816 * [taylor]: Taking taylor expansion of (log (log t)) in t
3.816 * [taylor]: Taking taylor expansion of (log t) in t
3.816 * [taylor]: Taking taylor expansion of t in t
3.826 * [approximate]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in (t) around 0
3.826 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in t
3.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 t))))) in t
3.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 t)))) in t
3.826 * [taylor]: Taking taylor expansion of 1/3 in t
3.826 * [taylor]: Taking taylor expansion of (log (log (/ 1 t))) in t
3.826 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.826 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.826 * [taylor]: Taking taylor expansion of t in t
3.826 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 1/3) in t
3.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ 1 t))))) in t
3.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ 1 t)))) in t
3.826 * [taylor]: Taking taylor expansion of 1/3 in t
3.826 * [taylor]: Taking taylor expansion of (log (log (/ 1 t))) in t
3.826 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.826 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.826 * [taylor]: Taking taylor expansion of t in t
3.837 * [approximate]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in (t) around 0
3.837 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in t
3.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 t))))) in t
3.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 t)))) in t
3.837 * [taylor]: Taking taylor expansion of 1/3 in t
3.837 * [taylor]: Taking taylor expansion of (log (log (/ -1 t))) in t
3.837 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.837 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.837 * [taylor]: Taking taylor expansion of -1 in t
3.837 * [taylor]: Taking taylor expansion of t in t
3.838 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 1/3) in t
3.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (log (/ -1 t))))) in t
3.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (log (/ -1 t)))) in t
3.838 * [taylor]: Taking taylor expansion of 1/3 in t
3.838 * [taylor]: Taking taylor expansion of (log (log (/ -1 t))) in t
3.838 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.838 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.838 * [taylor]: Taking taylor expansion of -1 in t
3.838 * [taylor]: Taking taylor expansion of t in t
3.850 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
3.850 * [approximate]: Taking taylor expansion of (pow (pow (log t) 2) 1/3) in (t) around 0
3.850 * [taylor]: Taking taylor expansion of (pow (pow (log t) 2) 1/3) in t
3.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log t) 2)))) in t
3.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log t) 2))) in t
3.850 * [taylor]: Taking taylor expansion of 1/3 in t
3.850 * [taylor]: Taking taylor expansion of (log (pow (log t) 2)) in t
3.850 * [taylor]: Taking taylor expansion of (pow (log t) 2) in t
3.850 * [taylor]: Taking taylor expansion of (log t) in t
3.850 * [taylor]: Taking taylor expansion of t in t
3.851 * [taylor]: Taking taylor expansion of (pow (pow (log t) 2) 1/3) in t
3.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log t) 2)))) in t
3.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log t) 2))) in t
3.851 * [taylor]: Taking taylor expansion of 1/3 in t
3.851 * [taylor]: Taking taylor expansion of (log (pow (log t) 2)) in t
3.851 * [taylor]: Taking taylor expansion of (pow (log t) 2) in t
3.851 * [taylor]: Taking taylor expansion of (log t) in t
3.851 * [taylor]: Taking taylor expansion of t in t
3.863 * [approximate]: Taking taylor expansion of (pow (pow (log (/ 1 t)) 2) 1/3) in (t) around 0
3.863 * [taylor]: Taking taylor expansion of (pow (pow (log (/ 1 t)) 2) 1/3) in t
3.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ 1 t)) 2)))) in t
3.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ 1 t)) 2))) in t
3.863 * [taylor]: Taking taylor expansion of 1/3 in t
3.863 * [taylor]: Taking taylor expansion of (log (pow (log (/ 1 t)) 2)) in t
3.863 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 2) in t
3.863 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.863 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.863 * [taylor]: Taking taylor expansion of t in t
3.864 * [taylor]: Taking taylor expansion of (pow (pow (log (/ 1 t)) 2) 1/3) in t
3.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ 1 t)) 2)))) in t
3.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ 1 t)) 2))) in t
3.864 * [taylor]: Taking taylor expansion of 1/3 in t
3.864 * [taylor]: Taking taylor expansion of (log (pow (log (/ 1 t)) 2)) in t
3.864 * [taylor]: Taking taylor expansion of (pow (log (/ 1 t)) 2) in t
3.864 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.864 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.864 * [taylor]: Taking taylor expansion of t in t
3.876 * [approximate]: Taking taylor expansion of (pow (pow (log (/ -1 t)) 2) 1/3) in (t) around 0
3.876 * [taylor]: Taking taylor expansion of (pow (pow (log (/ -1 t)) 2) 1/3) in t
3.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ -1 t)) 2)))) in t
3.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ -1 t)) 2))) in t
3.876 * [taylor]: Taking taylor expansion of 1/3 in t
3.876 * [taylor]: Taking taylor expansion of (log (pow (log (/ -1 t)) 2)) in t
3.876 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 2) in t
3.876 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.876 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.876 * [taylor]: Taking taylor expansion of -1 in t
3.876 * [taylor]: Taking taylor expansion of t in t
3.876 * [taylor]: Taking taylor expansion of (pow (pow (log (/ -1 t)) 2) 1/3) in t
3.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (log (/ -1 t)) 2)))) in t
3.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (log (/ -1 t)) 2))) in t
3.877 * [taylor]: Taking taylor expansion of 1/3 in t
3.877 * [taylor]: Taking taylor expansion of (log (pow (log (/ -1 t)) 2)) in t
3.877 * [taylor]: Taking taylor expansion of (pow (log (/ -1 t)) 2) in t
3.877 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
3.877 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.877 * [taylor]: Taking taylor expansion of -1 in t
3.877 * [taylor]: Taking taylor expansion of t in t
3.889 * * * [progress]: simplifying candidates
3.890 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (log t)))
  (exp (cbrt (log t)))
  (cbrt 1)
  (cbrt (log t))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt 1)
  (cbrt (log t))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (* (* (cbrt (log t)) (cbrt (log t))) (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (log (cbrt (log t)))
  (exp (cbrt (log t)))
  (cbrt 1)
  (cbrt (log t))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt 1)
  (cbrt (log t))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (* (* (cbrt (log t)) (cbrt (log t))) (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (log (cbrt (log t)))
  (exp (cbrt (log t)))
  (cbrt 1)
  (cbrt (log t))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt 1)
  (cbrt (log t))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (* (* (cbrt (log t)) (cbrt (log t))) (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (log t) (log t))
  (* (cbrt (log t)) (cbrt (log t)))
  (+ 1 1)
  (+ (log (cbrt (log t))) (log (cbrt (log t))))
  (log (* (cbrt (log t)) (cbrt (log t))))
  (exp (* (cbrt (log t)) (cbrt (log t))))
  (* (log t) (log t))
  (* (cbrt (* (cbrt (log t)) (cbrt (log t)))) (cbrt (* (cbrt (log t)) (cbrt (log t)))))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (* (* (* (cbrt (log t)) (cbrt (log t))) (* (cbrt (log t)) (cbrt (log t)))) (* (cbrt (log t)) (cbrt (log t))))
  (sqrt (* (cbrt (log t)) (cbrt (log t))))
  (sqrt (* (cbrt (log t)) (cbrt (log t))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log t)) (cbrt (log t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log t)) (cbrt (log t)))
  (* (cbrt (* (cbrt (log t)) (cbrt (log t)))) (cbrt (* (cbrt (log t)) (cbrt (log t)))))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log t)) (cbrt (log t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (log t)) (cbrt (log t)))
  (* (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t)))) (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t)))))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (* (sqrt (cbrt (log t))) (sqrt (cbrt (log t))))
  (* (sqrt (cbrt (log t))) (sqrt (cbrt (log t))))
  (* 1 1)
  (* (cbrt (log t)) (cbrt (log t)))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  (* (cbrt (sqrt (log t))) (sqrt (cbrt (log t))))
  (* (cbrt (sqrt (log t))) (sqrt (cbrt (log t))))
  (* (sqrt (cbrt (log t))) (cbrt (sqrt (log t))))
  (* (sqrt (cbrt (log t))) (cbrt (sqrt (log t))))
  (* (sqrt (cbrt (log t))) (sqrt (cbrt (log t))))
  (* (sqrt (cbrt (log t))) (sqrt (cbrt (log t))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (log t)) (cbrt 1))
  (* (cbrt (log t)) (cbrt (* (cbrt (log t)) (cbrt (log t)))))
  (* (cbrt (log t)) (cbrt (sqrt (log t))))
  (* (cbrt (log t)) (cbrt 1))
  (* (cbrt (log t)) (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t)))))
  (* (cbrt (log t)) (sqrt (cbrt (log t))))
  (* (cbrt (log t)) 1)
  (* (cbrt (log t)) (cbrt (log t)))
  (* (cbrt (cbrt (log t))) (cbrt (log t)))
  (* (cbrt (sqrt (log t))) (cbrt (log t)))
  (* (cbrt (log t)) (cbrt (log t)))
  (* (cbrt (cbrt (log t))) (cbrt (log t)))
  (* (sqrt (cbrt (log t))) (cbrt (log t)))
  (* (cbrt (log t)) (cbrt (log t)))
  (pow (+ (log t) (log 1)) 1/3)
  (pow (- (log 1) (log (/ 1 t))) 1/3)
  (pow (- (log -1) (log (/ -1 t))) 1/3)
  (pow (+ (log t) (log 1)) 1/3)
  (pow (- (log 1) (log (/ 1 t))) 1/3)
  (pow (- (log -1) (log (/ -1 t))) 1/3)
  (pow (+ (log t) (log 1)) 1/3)
  (pow (- (log 1) (log (/ 1 t))) 1/3)
  (pow (- (log -1) (log (/ -1 t))) 1/3)
  (pow (pow (+ (log t) (log 1)) 2) 1/3)
  (pow (pow (- (log 1) (log (/ 1 t))) 2) 1/3)
  (pow (pow (- (log -1) (log (/ -1 t))) 2) 1/3)
3.894 * * [simplify]: iteration  0 :  127  enodes  (cost  502 )
3.897 * * [simplify]: iteration  1 :  388  enodes  (cost  461 )
3.906 * * [simplify]: iteration  2 :  1756  enodes  (cost  389 )
3.948 * * [simplify]: iteration  3 :  5001  enodes  (cost  367 )
3.951 * [simplify]: Simplified to:
   (log (cbrt (log t)))
  (exp (cbrt (log t)))
  1
  (cbrt (log t))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt (sqrt (log t)))
  1
  (cbrt (log t))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (log t)
  (sqrt (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (log (cbrt (log t)))
  (exp (cbrt (log t)))
  1
  (cbrt (log t))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt (sqrt (log t)))
  1
  (cbrt (log t))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (log t)
  (sqrt (cbrt (log t)))
  (sqrt (cbrt (log t)))
  (log (cbrt (log t)))
  (exp (cbrt (log t)))
  1
  (cbrt (log t))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (cbrt (sqrt (log t)))
  (cbrt (sqrt (log t)))
  1
  (cbrt (log t))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (cbrt (cbrt (log t)))
  (log t)
  (sqrt (cbrt (log t)))
  (sqrt (cbrt (log t)))
  2/3
  2
  (pow (log t) 2)
  (cbrt (pow (log t) 2))
  2
  (* 2 (log (cbrt (log t))))
  (* 2 (log (cbrt (log t))))
  (exp (* (cbrt (log t)) (cbrt (log t))))
  (pow (log t) 2)
  (* (cbrt (* (cbrt (log t)) (cbrt (log t)))) (cbrt (* (cbrt (log t)) (cbrt (log t)))))
  (cbrt (* (cbrt (log t)) (cbrt (log t))))
  (pow (log t) 2)
  (fabs (cbrt (log t)))
  (fabs (cbrt (log t)))
  1
  (cbrt (pow (log t) 2))
  1
  (cbrt (pow (log t) 2))
  (* (cbrt (* (cbrt (log t)) (cbrt (log t)))) (cbrt (* (cbrt (log t)) (cbrt (log t)))))
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  1
  (cbrt (pow (log t) 2))
  1
  (cbrt (pow (log t) 2))
  (pow (cbrt (cbrt (log t))) 4)
  (* (cbrt (cbrt (log t))) (cbrt (cbrt (log t))))
  (cbrt (log t))
  (cbrt (log t))
  1
  (cbrt (pow (log t) 2))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  (* (cbrt (sqrt (log t))) (cbrt (sqrt (log t))))
  (* (cbrt (sqrt (log t))) (sqrt (cbrt (log t))))
  (* (cbrt (sqrt (log t))) (sqrt (cbrt (log t))))
  (* (cbrt (sqrt (log t))) (sqrt (cbrt (log t))))
  (* (cbrt (sqrt (log t))) (sqrt (cbrt (log t))))
  (cbrt (log t))
  (cbrt (log t))
  2/3
  2
  (cbrt (log t))
  (* (cbrt (log t)) (cbrt (* (cbrt (log t)) (cbrt (log t)))))
  (* (cbrt (log t)) (cbrt (sqrt (log t))))
  (cbrt (log t))
  (pow (cbrt (cbrt (log t))) 5)
  (pow (sqrt (cbrt (log t))) 3)
  (cbrt (log t))
  (cbrt (pow (log t) 2))
  (pow (cbrt (cbrt (log t))) 4)
  (* (cbrt (log t)) (cbrt (sqrt (log t))))
  (cbrt (pow (log t) 2))
  (pow (cbrt (cbrt (log t))) 4)
  (pow (sqrt (cbrt (log t))) 3)
  (cbrt (pow (log t) 2))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (log t))
  (cbrt (pow (log t) 2))
  (cbrt (pow (log t) 2))
  (cbrt (pow (log t) 2))
3.952 * * * [progress]: adding candidates to table
4.027 * [progress]: [Phase 3 of 3] Extracting.
4.027 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.030 * * * [regime-changes]: Trying 12 branch expressions: ((- a 0.5) (* (- a 0.5) b) (log t) (+ x y) (- (+ (+ x y) z) (* z (log t))) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) b a t z y x)
4.030 * * * * [regimes]: Trying to branch on (- a 0.5) from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.104 * * * * [regimes]: Trying to branch on (* (- a 0.5) b) from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.184 * * * * [regimes]: Trying to branch on (log t) from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.270 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.351 * * * * [regimes]: Trying to branch on (- (+ (+ x y) z) (* z (log t))) from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.439 * * * * [regimes]: Trying to branch on (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.529 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.608 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.688 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.769 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.849 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
4.930 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (* (cbrt (log t)) (cbrt (log t)))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (* (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))))> #<alt (λ (x y z t a b) (+ (- (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (* z (log (cbrt t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (- (+ (+ x y) z) (* (* z (cbrt (pow (log t) 2))) (cbrt (log t)))) (* (- a 0.5) b)))> #<alt (λ (x y z t a b) (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b)))>)
5.010 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
5.010 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))
5.011 * * [simplify]: iteration  0 :  20  enodes  (cost  8 )
5.011 * * [simplify]: iteration  1 :  20  enodes  (cost  8 )
5.011 * [simplify]: Simplified to:
   (+ (+ (+ x y) (- z (* z (log t)))) (* (- a 0.5) b))
10.334 * [regime-testing]: End program error score: 0.0934291598953475
10.480 * [regime-testing]: Target error score: 0.38928230716537887