19.631 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (- y z) (- t x)))
0.033 * * [simplify]: iteration  0 :  14  enodes  (cost  4 )
0.034 * * [simplify]: iteration  1 :  28  enodes  (cost  4 )
0.036 * * [simplify]: iteration  2 :  80  enodes  (cost  4 )
0.038 * * [simplify]: iteration  3 :  254  enodes  (cost  4 )
0.041 * * [simplify]: iteration  4 :  641  enodes  (cost  4 )
0.048 * * [simplify]: iteration  5 :  1066  enodes  (cost  4 )
0.062 * * [simplify]: iteration  6 :  2373  enodes  (cost  4 )
0.082 * * [simplify]: iteration  7 :  3914  enodes  (cost  4 )
0.114 * * [simplify]: iteration  8 :  5001  enodes  (cost  4 )
0.115 * [simplify]: Simplified to:
   (+ x (* (- y z) (- t x)))
0.115 * * [progress]: iteration 1 / 4
0.115 * * * [progress]: picking best candidate
0.118 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>
0.118 * * * [progress]: localizing error
0.124 * * * [progress]: generating rewritten candidates
0.124 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.138 * * * [progress]: generating series expansions
0.138 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.138 * [approximate]: Taking taylor expansion of (* (- y z) (- t x)) in (y z t x) around 0
0.138 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
0.138 * [taylor]: Taking taylor expansion of (- y z) in x
0.138 * [taylor]: Taking taylor expansion of y in x
0.138 * [taylor]: Taking taylor expansion of z in x
0.138 * [taylor]: Taking taylor expansion of (- t x) in x
0.138 * [taylor]: Taking taylor expansion of t in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
0.138 * [taylor]: Taking taylor expansion of (- y z) in t
0.138 * [taylor]: Taking taylor expansion of y in t
0.138 * [taylor]: Taking taylor expansion of z in t
0.138 * [taylor]: Taking taylor expansion of (- t x) in t
0.138 * [taylor]: Taking taylor expansion of t in t
0.138 * [taylor]: Taking taylor expansion of x in t
0.138 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
0.138 * [taylor]: Taking taylor expansion of (- y z) in z
0.138 * [taylor]: Taking taylor expansion of y in z
0.139 * [taylor]: Taking taylor expansion of z in z
0.139 * [taylor]: Taking taylor expansion of (- t x) in z
0.139 * [taylor]: Taking taylor expansion of t in z
0.139 * [taylor]: Taking taylor expansion of x in z
0.139 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
0.139 * [taylor]: Taking taylor expansion of (- y z) in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.139 * [taylor]: Taking taylor expansion of z in y
0.139 * [taylor]: Taking taylor expansion of (- t x) in y
0.139 * [taylor]: Taking taylor expansion of t in y
0.139 * [taylor]: Taking taylor expansion of x in y
0.139 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
0.139 * [taylor]: Taking taylor expansion of (- y z) in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.139 * [taylor]: Taking taylor expansion of z in y
0.139 * [taylor]: Taking taylor expansion of (- t x) in y
0.139 * [taylor]: Taking taylor expansion of t in y
0.139 * [taylor]: Taking taylor expansion of x in y
0.139 * [taylor]: Taking taylor expansion of (* -1 (* z (- t x))) in z
0.139 * [taylor]: Taking taylor expansion of -1 in z
0.139 * [taylor]: Taking taylor expansion of (* z (- t x)) in z
0.139 * [taylor]: Taking taylor expansion of z in z
0.139 * [taylor]: Taking taylor expansion of (- t x) in z
0.139 * [taylor]: Taking taylor expansion of t in z
0.139 * [taylor]: Taking taylor expansion of x in z
0.139 * [taylor]: Taking taylor expansion of 0 in t
0.139 * [taylor]: Taking taylor expansion of 0 in x
0.139 * [taylor]: Taking taylor expansion of (- t x) in z
0.139 * [taylor]: Taking taylor expansion of t in z
0.139 * [taylor]: Taking taylor expansion of x in z
0.139 * [taylor]: Taking taylor expansion of (- t x) in t
0.139 * [taylor]: Taking taylor expansion of t in t
0.139 * [taylor]: Taking taylor expansion of x in t
0.139 * [taylor]: Taking taylor expansion of (neg x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (- x t) in t
0.140 * [taylor]: Taking taylor expansion of x in t
0.140 * [taylor]: Taking taylor expansion of t in t
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of 0 in x
0.140 * [taylor]: Taking taylor expansion of 0 in z
0.140 * [taylor]: Taking taylor expansion of 0 in t
0.140 * [taylor]: Taking taylor expansion of 0 in x
0.140 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in (y z t x) around 0
0.140 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x
0.140 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.140 * [taylor]: Taking taylor expansion of y in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.140 * [taylor]: Taking taylor expansion of z in x
0.140 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.140 * [taylor]: Taking taylor expansion of t in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t
0.140 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.140 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.140 * [taylor]: Taking taylor expansion of y in t
0.140 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.140 * [taylor]: Taking taylor expansion of z in t
0.140 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.140 * [taylor]: Taking taylor expansion of t in t
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.140 * [taylor]: Taking taylor expansion of x in t
0.140 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z
0.140 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.140 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.140 * [taylor]: Taking taylor expansion of y in z
0.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.140 * [taylor]: Taking taylor expansion of z in z
0.141 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
0.141 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.141 * [taylor]: Taking taylor expansion of t in z
0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.141 * [taylor]: Taking taylor expansion of x in z
0.141 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
0.141 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.141 * [taylor]: Taking taylor expansion of y in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.141 * [taylor]: Taking taylor expansion of z in y
0.141 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.141 * [taylor]: Taking taylor expansion of t in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.141 * [taylor]: Taking taylor expansion of x in y
0.141 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
0.141 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.141 * [taylor]: Taking taylor expansion of y in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.141 * [taylor]: Taking taylor expansion of z in y
0.141 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.141 * [taylor]: Taking taylor expansion of t in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.141 * [taylor]: Taking taylor expansion of x in y
0.141 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
0.141 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.141 * [taylor]: Taking taylor expansion of t in z
0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.141 * [taylor]: Taking taylor expansion of x in z
0.142 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
0.142 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.142 * [taylor]: Taking taylor expansion of (* x z) in z
0.142 * [taylor]: Taking taylor expansion of x in z
0.142 * [taylor]: Taking taylor expansion of z in z
0.142 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.142 * [taylor]: Taking taylor expansion of (* t z) in z
0.142 * [taylor]: Taking taylor expansion of t in z
0.142 * [taylor]: Taking taylor expansion of z in z
0.142 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.142 * [taylor]: Taking taylor expansion of x in t
0.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.142 * [taylor]: Taking taylor expansion of t in t
0.142 * [taylor]: Taking taylor expansion of (neg 1) in x
0.142 * [taylor]: Taking taylor expansion of 1 in x
0.142 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.142 * [taylor]: Taking taylor expansion of t in t
0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.142 * [taylor]: Taking taylor expansion of x in t
0.142 * [taylor]: Taking taylor expansion of 1 in x
0.143 * [taylor]: Taking taylor expansion of 0 in z
0.143 * [taylor]: Taking taylor expansion of 0 in t
0.143 * [taylor]: Taking taylor expansion of 0 in t
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.144 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t x) around 0
0.144 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.144 * [taylor]: Taking taylor expansion of t in x
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.144 * [taylor]: Taking taylor expansion of z in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.144 * [taylor]: Taking taylor expansion of y in x
0.144 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.144 * [taylor]: Taking taylor expansion of x in t
0.144 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.144 * [taylor]: Taking taylor expansion of t in t
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.144 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.144 * [taylor]: Taking taylor expansion of z in t
0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.144 * [taylor]: Taking taylor expansion of y in t
0.144 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.144 * [taylor]: Taking taylor expansion of x in z
0.144 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.144 * [taylor]: Taking taylor expansion of t in z
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.144 * [taylor]: Taking taylor expansion of z in z
0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.144 * [taylor]: Taking taylor expansion of y in z
0.144 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.144 * [taylor]: Taking taylor expansion of x in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.144 * [taylor]: Taking taylor expansion of t in y
0.144 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.144 * [taylor]: Taking taylor expansion of z in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.144 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
0.145 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.145 * [taylor]: Taking taylor expansion of x in y
0.145 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.145 * [taylor]: Taking taylor expansion of t in y
0.145 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.145 * [taylor]: Taking taylor expansion of z in y
0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.145 * [taylor]: Taking taylor expansion of y in y
0.145 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in z
0.145 * [taylor]: Taking taylor expansion of -1 in z
0.145 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.145 * [taylor]: Taking taylor expansion of x in z
0.145 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.145 * [taylor]: Taking taylor expansion of t in z
0.145 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
0.145 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.145 * [taylor]: Taking taylor expansion of (* x z) in z
0.145 * [taylor]: Taking taylor expansion of x in z
0.145 * [taylor]: Taking taylor expansion of z in z
0.145 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.146 * [taylor]: Taking taylor expansion of (* t z) in z
0.146 * [taylor]: Taking taylor expansion of t in z
0.146 * [taylor]: Taking taylor expansion of z in z
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.146 * [taylor]: Taking taylor expansion of x in t
0.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.146 * [taylor]: Taking taylor expansion of t in t
0.146 * [taylor]: Taking taylor expansion of (neg 1) in x
0.146 * [taylor]: Taking taylor expansion of 1 in x
0.146 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in t
0.146 * [taylor]: Taking taylor expansion of -1 in t
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.146 * [taylor]: Taking taylor expansion of x in t
0.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.146 * [taylor]: Taking taylor expansion of t in t
0.146 * [taylor]: Taking taylor expansion of 1 in x
0.146 * [taylor]: Taking taylor expansion of 0 in z
0.147 * [taylor]: Taking taylor expansion of 0 in t
0.147 * [taylor]: Taking taylor expansion of 0 in t
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * * * [progress]: simplifying candidates
0.148 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- y z) (- t x))
  (+ (log (- y z)) (log (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t x) (- t x)) (- t x)))
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (* (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ t x))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ y z) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* t (- y z))
  (* (neg x) (- y z))
  (* t (- y z))
  (* (neg x) (- y z))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (* (- y z) 1)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (* (- y z) 1)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
0.152 * * [simplify]: iteration  0 :  218  enodes  (cost  207 )
0.156 * * [simplify]: iteration  1 :  960  enodes  (cost  193 )
0.176 * * [simplify]: iteration  2 :  5002  enodes  (cost  193 )
0.178 * [simplify]: Simplified to:
   (* (- y z) (- t x))
  (log (* (- y z) (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* x (+ x t)) (* t t)) (+ (* z (+ z y)) (* y y)))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ t x) (+ (* z (+ z y)) (* y y)))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ (* x (+ x t)) (* t t)) (+ y z))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (- y z)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (- y z)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
0.178 * * * [progress]: adding candidates to table
0.214 * * [progress]: iteration 2 / 4
0.214 * * * [progress]: picking best candidate
0.222 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))>
0.222 * * * [progress]: localizing error
0.230 * * * [progress]: generating rewritten candidates
0.230 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
0.237 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.244 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.253 * * * [progress]: generating series expansions
0.253 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
0.253 * [approximate]: Taking taylor expansion of (* (- y z) t) in (y z t) around 0
0.254 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
0.254 * [taylor]: Taking taylor expansion of (- y z) in t
0.254 * [taylor]: Taking taylor expansion of y in t
0.254 * [taylor]: Taking taylor expansion of z in t
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [taylor]: Taking taylor expansion of (* (- y z) t) in z
0.254 * [taylor]: Taking taylor expansion of (- y z) in z
0.254 * [taylor]: Taking taylor expansion of y in z
0.254 * [taylor]: Taking taylor expansion of z in z
0.254 * [taylor]: Taking taylor expansion of t in z
0.254 * [taylor]: Taking taylor expansion of (* (- y z) t) in y
0.254 * [taylor]: Taking taylor expansion of (- y z) in y
0.254 * [taylor]: Taking taylor expansion of y in y
0.254 * [taylor]: Taking taylor expansion of z in y
0.254 * [taylor]: Taking taylor expansion of t in y
0.254 * [taylor]: Taking taylor expansion of (* (- y z) t) in y
0.254 * [taylor]: Taking taylor expansion of (- y z) in y
0.254 * [taylor]: Taking taylor expansion of y in y
0.254 * [taylor]: Taking taylor expansion of z in y
0.254 * [taylor]: Taking taylor expansion of t in y
0.254 * [taylor]: Taking taylor expansion of (* -1 (* t z)) in z
0.254 * [taylor]: Taking taylor expansion of -1 in z
0.254 * [taylor]: Taking taylor expansion of (* t z) in z
0.254 * [taylor]: Taking taylor expansion of t in z
0.254 * [taylor]: Taking taylor expansion of z in z
0.254 * [taylor]: Taking taylor expansion of 0 in t
0.254 * [taylor]: Taking taylor expansion of t in z
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [taylor]: Taking taylor expansion of (neg t) in t
0.254 * [taylor]: Taking taylor expansion of t in t
0.254 * [taylor]: Taking taylor expansion of 0 in z
0.254 * [taylor]: Taking taylor expansion of 0 in t
0.254 * [taylor]: Taking taylor expansion of 0 in t
0.254 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (y z t) around 0
0.255 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.255 * [taylor]: Taking taylor expansion of y in t
0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.255 * [taylor]: Taking taylor expansion of z in t
0.255 * [taylor]: Taking taylor expansion of t in t
0.255 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.255 * [taylor]: Taking taylor expansion of y in z
0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.255 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.255 * [taylor]: Taking taylor expansion of z in y
0.255 * [taylor]: Taking taylor expansion of t in y
0.255 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y
0.255 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.255 * [taylor]: Taking taylor expansion of z in y
0.255 * [taylor]: Taking taylor expansion of t in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.255 * [taylor]: Taking taylor expansion of t in z
0.256 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
0.256 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.256 * [taylor]: Taking taylor expansion of (* t z) in z
0.256 * [taylor]: Taking taylor expansion of t in z
0.256 * [taylor]: Taking taylor expansion of z in z
0.256 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.256 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.256 * [taylor]: Taking taylor expansion of t in t
0.256 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.256 * [taylor]: Taking taylor expansion of t in t
0.256 * [taylor]: Taking taylor expansion of 0 in z
0.256 * [taylor]: Taking taylor expansion of 0 in t
0.256 * [taylor]: Taking taylor expansion of 0 in t
0.256 * [taylor]: Taking taylor expansion of 0 in z
0.257 * [taylor]: Taking taylor expansion of 0 in t
0.257 * [taylor]: Taking taylor expansion of 0 in t
0.257 * [taylor]: Taking taylor expansion of 0 in t
0.257 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (y z t) around 0
0.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
0.257 * [taylor]: Taking taylor expansion of -1 in t
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
0.257 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.257 * [taylor]: Taking taylor expansion of z in t
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.257 * [taylor]: Taking taylor expansion of y in t
0.257 * [taylor]: Taking taylor expansion of t in t
0.257 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z
0.257 * [taylor]: Taking taylor expansion of -1 in z
0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z
0.257 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.257 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.257 * [taylor]: Taking taylor expansion of z in z
0.257 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.258 * [taylor]: Taking taylor expansion of y in z
0.258 * [taylor]: Taking taylor expansion of t in z
0.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y
0.258 * [taylor]: Taking taylor expansion of -1 in y
0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y
0.258 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.258 * [taylor]: Taking taylor expansion of z in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.258 * [taylor]: Taking taylor expansion of t in y
0.258 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y
0.258 * [taylor]: Taking taylor expansion of -1 in y
0.258 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y
0.258 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.258 * [taylor]: Taking taylor expansion of z in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.258 * [taylor]: Taking taylor expansion of t in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.258 * [taylor]: Taking taylor expansion of t in z
0.258 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
0.258 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.258 * [taylor]: Taking taylor expansion of (* t z) in z
0.258 * [taylor]: Taking taylor expansion of t in z
0.258 * [taylor]: Taking taylor expansion of z in z
0.258 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.258 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.258 * [taylor]: Taking taylor expansion of t in t
0.259 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.259 * [taylor]: Taking taylor expansion of t in t
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [taylor]: Taking taylor expansion of 0 in t
0.260 * [taylor]: Taking taylor expansion of 0 in t
0.260 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.260 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (y z x) around 0
0.260 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
0.260 * [taylor]: Taking taylor expansion of -1 in x
0.260 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
0.260 * [taylor]: Taking taylor expansion of (- y z) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of z in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
0.260 * [taylor]: Taking taylor expansion of -1 in z
0.260 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
0.260 * [taylor]: Taking taylor expansion of (- y z) in z
0.260 * [taylor]: Taking taylor expansion of y in z
0.260 * [taylor]: Taking taylor expansion of z in z
0.260 * [taylor]: Taking taylor expansion of x in z
0.260 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
0.260 * [taylor]: Taking taylor expansion of -1 in y
0.260 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
0.260 * [taylor]: Taking taylor expansion of (- y z) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
0.260 * [taylor]: Taking taylor expansion of -1 in y
0.260 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
0.260 * [taylor]: Taking taylor expansion of (- y z) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of z in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (* x z) in z
0.260 * [taylor]: Taking taylor expansion of x in z
0.260 * [taylor]: Taking taylor expansion of z in z
0.261 * [taylor]: Taking taylor expansion of 0 in x
0.261 * [taylor]: Taking taylor expansion of (neg x) in z
0.261 * [taylor]: Taking taylor expansion of x in z
0.261 * [taylor]: Taking taylor expansion of (neg x) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of 0 in z
0.261 * [taylor]: Taking taylor expansion of 0 in x
0.261 * [taylor]: Taking taylor expansion of 0 in x
0.261 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (y z x) around 0
0.261 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
0.261 * [taylor]: Taking taylor expansion of -1 in x
0.261 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
0.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.261 * [taylor]: Taking taylor expansion of y in x
0.261 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.261 * [taylor]: Taking taylor expansion of z in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
0.261 * [taylor]: Taking taylor expansion of -1 in z
0.261 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
0.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.261 * [taylor]: Taking taylor expansion of y in z
0.261 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.261 * [taylor]: Taking taylor expansion of z in z
0.262 * [taylor]: Taking taylor expansion of x in z
0.262 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
0.262 * [taylor]: Taking taylor expansion of -1 in y
0.262 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
0.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.262 * [taylor]: Taking taylor expansion of y in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.262 * [taylor]: Taking taylor expansion of z in y
0.262 * [taylor]: Taking taylor expansion of x in y
0.262 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
0.262 * [taylor]: Taking taylor expansion of -1 in y
0.262 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
0.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.262 * [taylor]: Taking taylor expansion of y in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.262 * [taylor]: Taking taylor expansion of z in y
0.262 * [taylor]: Taking taylor expansion of x in y
0.262 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.262 * [taylor]: Taking taylor expansion of -1 in z
0.262 * [taylor]: Taking taylor expansion of x in z
0.262 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.262 * [taylor]: Taking taylor expansion of (* x z) in z
0.262 * [taylor]: Taking taylor expansion of x in z
0.262 * [taylor]: Taking taylor expansion of z in z
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.262 * [taylor]: Taking taylor expansion of -1 in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of 0 in z
0.263 * [taylor]: Taking taylor expansion of 0 in x
0.263 * [taylor]: Taking taylor expansion of 0 in x
0.263 * [taylor]: Taking taylor expansion of 0 in z
0.263 * [taylor]: Taking taylor expansion of 0 in x
0.263 * [taylor]: Taking taylor expansion of 0 in x
0.264 * [taylor]: Taking taylor expansion of 0 in x
0.264 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (y z x) around 0
0.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
0.264 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.264 * [taylor]: Taking taylor expansion of z in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.264 * [taylor]: Taking taylor expansion of y in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
0.264 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
0.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.264 * [taylor]: Taking taylor expansion of z in z
0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.264 * [taylor]: Taking taylor expansion of y in z
0.264 * [taylor]: Taking taylor expansion of x in z
0.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
0.264 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.264 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.264 * [taylor]: Taking taylor expansion of z in y
0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.264 * [taylor]: Taking taylor expansion of y in y
0.264 * [taylor]: Taking taylor expansion of x in y
0.265 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
0.265 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.265 * [taylor]: Taking taylor expansion of z in y
0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.265 * [taylor]: Taking taylor expansion of y in y
0.265 * [taylor]: Taking taylor expansion of x in y
0.265 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.265 * [taylor]: Taking taylor expansion of -1 in z
0.265 * [taylor]: Taking taylor expansion of x in z
0.265 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.265 * [taylor]: Taking taylor expansion of (* x z) in z
0.265 * [taylor]: Taking taylor expansion of x in z
0.265 * [taylor]: Taking taylor expansion of z in z
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.265 * [taylor]: Taking taylor expansion of -1 in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of 0 in z
0.265 * [taylor]: Taking taylor expansion of 0 in x
0.265 * [taylor]: Taking taylor expansion of 0 in x
0.266 * [taylor]: Taking taylor expansion of 0 in z
0.266 * [taylor]: Taking taylor expansion of 0 in x
0.266 * [taylor]: Taking taylor expansion of 0 in x
0.266 * [taylor]: Taking taylor expansion of 0 in x
0.266 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.266 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in (y z t x) around 0
0.266 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in x
0.267 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in x
0.267 * [taylor]: Taking taylor expansion of (* x z) in x
0.267 * [taylor]: Taking taylor expansion of x in x
0.267 * [taylor]: Taking taylor expansion of z in x
0.267 * [taylor]: Taking taylor expansion of (* t y) in x
0.267 * [taylor]: Taking taylor expansion of t in x
0.267 * [taylor]: Taking taylor expansion of y in x
0.267 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
0.267 * [taylor]: Taking taylor expansion of (* t z) in x
0.267 * [taylor]: Taking taylor expansion of t in x
0.267 * [taylor]: Taking taylor expansion of z in x
0.267 * [taylor]: Taking taylor expansion of (* x y) in x
0.267 * [taylor]: Taking taylor expansion of x in x
0.267 * [taylor]: Taking taylor expansion of y in x
0.267 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in t
0.267 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in t
0.267 * [taylor]: Taking taylor expansion of (* x z) in t
0.267 * [taylor]: Taking taylor expansion of x in t
0.267 * [taylor]: Taking taylor expansion of z in t
0.267 * [taylor]: Taking taylor expansion of (* t y) in t
0.267 * [taylor]: Taking taylor expansion of t in t
0.267 * [taylor]: Taking taylor expansion of y in t
0.267 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
0.267 * [taylor]: Taking taylor expansion of (* t z) in t
0.267 * [taylor]: Taking taylor expansion of t in t
0.267 * [taylor]: Taking taylor expansion of z in t
0.267 * [taylor]: Taking taylor expansion of (* x y) in t
0.267 * [taylor]: Taking taylor expansion of x in t
0.267 * [taylor]: Taking taylor expansion of y in t
0.267 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in z
0.267 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in z
0.267 * [taylor]: Taking taylor expansion of (* x z) in z
0.267 * [taylor]: Taking taylor expansion of x in z
0.267 * [taylor]: Taking taylor expansion of z in z
0.267 * [taylor]: Taking taylor expansion of (* t y) in z
0.267 * [taylor]: Taking taylor expansion of t in z
0.267 * [taylor]: Taking taylor expansion of y in z
0.267 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
0.267 * [taylor]: Taking taylor expansion of (* t z) in z
0.267 * [taylor]: Taking taylor expansion of t in z
0.267 * [taylor]: Taking taylor expansion of z in z
0.267 * [taylor]: Taking taylor expansion of (* x y) in z
0.267 * [taylor]: Taking taylor expansion of x in z
0.267 * [taylor]: Taking taylor expansion of y in z
0.267 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in y
0.267 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in y
0.267 * [taylor]: Taking taylor expansion of (* x z) in y
0.267 * [taylor]: Taking taylor expansion of x in y
0.267 * [taylor]: Taking taylor expansion of z in y
0.267 * [taylor]: Taking taylor expansion of (* t y) in y
0.267 * [taylor]: Taking taylor expansion of t in y
0.267 * [taylor]: Taking taylor expansion of y in y
0.267 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
0.267 * [taylor]: Taking taylor expansion of (* t z) in y
0.267 * [taylor]: Taking taylor expansion of t in y
0.267 * [taylor]: Taking taylor expansion of z in y
0.267 * [taylor]: Taking taylor expansion of (* x y) in y
0.267 * [taylor]: Taking taylor expansion of x in y
0.267 * [taylor]: Taking taylor expansion of y in y
0.267 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in y
0.267 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in y
0.267 * [taylor]: Taking taylor expansion of (* x z) in y
0.267 * [taylor]: Taking taylor expansion of x in y
0.267 * [taylor]: Taking taylor expansion of z in y
0.267 * [taylor]: Taking taylor expansion of (* t y) in y
0.268 * [taylor]: Taking taylor expansion of t in y
0.268 * [taylor]: Taking taylor expansion of y in y
0.268 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
0.268 * [taylor]: Taking taylor expansion of (* t z) in y
0.268 * [taylor]: Taking taylor expansion of t in y
0.268 * [taylor]: Taking taylor expansion of z in y
0.268 * [taylor]: Taking taylor expansion of (* x y) in y
0.268 * [taylor]: Taking taylor expansion of x in y
0.268 * [taylor]: Taking taylor expansion of y in y
0.268 * [taylor]: Taking taylor expansion of (- (* x z) (* t z)) in z
0.268 * [taylor]: Taking taylor expansion of (* x z) in z
0.268 * [taylor]: Taking taylor expansion of x in z
0.268 * [taylor]: Taking taylor expansion of z in z
0.268 * [taylor]: Taking taylor expansion of (* t z) in z
0.268 * [taylor]: Taking taylor expansion of t in z
0.268 * [taylor]: Taking taylor expansion of z in z
0.268 * [taylor]: Taking taylor expansion of 0 in t
0.268 * [taylor]: Taking taylor expansion of 0 in x
0.268 * [taylor]: Taking taylor expansion of (- t x) in z
0.268 * [taylor]: Taking taylor expansion of t in z
0.268 * [taylor]: Taking taylor expansion of x in z
0.268 * [taylor]: Taking taylor expansion of (- t x) in t
0.268 * [taylor]: Taking taylor expansion of t in t
0.268 * [taylor]: Taking taylor expansion of x in t
0.268 * [taylor]: Taking taylor expansion of (neg x) in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of (- x t) in t
0.268 * [taylor]: Taking taylor expansion of x in t
0.268 * [taylor]: Taking taylor expansion of t in t
0.268 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of 0 in x
0.269 * [taylor]: Taking taylor expansion of 0 in z
0.269 * [taylor]: Taking taylor expansion of 0 in t
0.269 * [taylor]: Taking taylor expansion of 0 in x
0.269 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (y z t x) around 0
0.269 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.269 * [taylor]: Taking taylor expansion of (* x z) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of z in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
0.269 * [taylor]: Taking taylor expansion of (* t y) in x
0.269 * [taylor]: Taking taylor expansion of t in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.269 * [taylor]: Taking taylor expansion of (* t z) in x
0.269 * [taylor]: Taking taylor expansion of t in x
0.269 * [taylor]: Taking taylor expansion of z in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.269 * [taylor]: Taking taylor expansion of (* x y) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
0.269 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
0.270 * [taylor]: Taking taylor expansion of (* x z) in t
0.270 * [taylor]: Taking taylor expansion of x in t
0.270 * [taylor]: Taking taylor expansion of z in t
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.270 * [taylor]: Taking taylor expansion of (* t y) in t
0.270 * [taylor]: Taking taylor expansion of t in t
0.270 * [taylor]: Taking taylor expansion of y in t
0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.270 * [taylor]: Taking taylor expansion of (* t z) in t
0.270 * [taylor]: Taking taylor expansion of t in t
0.270 * [taylor]: Taking taylor expansion of z in t
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.270 * [taylor]: Taking taylor expansion of (* x y) in t
0.270 * [taylor]: Taking taylor expansion of x in t
0.270 * [taylor]: Taking taylor expansion of y in t
0.270 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.270 * [taylor]: Taking taylor expansion of (* x z) in z
0.270 * [taylor]: Taking taylor expansion of x in z
0.270 * [taylor]: Taking taylor expansion of z in z
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.270 * [taylor]: Taking taylor expansion of (* t y) in z
0.270 * [taylor]: Taking taylor expansion of t in z
0.270 * [taylor]: Taking taylor expansion of y in z
0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.270 * [taylor]: Taking taylor expansion of (* t z) in z
0.270 * [taylor]: Taking taylor expansion of t in z
0.270 * [taylor]: Taking taylor expansion of z in z
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.270 * [taylor]: Taking taylor expansion of (* x y) in z
0.270 * [taylor]: Taking taylor expansion of x in z
0.270 * [taylor]: Taking taylor expansion of y in z
0.270 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.270 * [taylor]: Taking taylor expansion of (* x z) in y
0.270 * [taylor]: Taking taylor expansion of x in y
0.270 * [taylor]: Taking taylor expansion of z in y
0.270 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.271 * [taylor]: Taking taylor expansion of (* t y) in y
0.271 * [taylor]: Taking taylor expansion of t in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.271 * [taylor]: Taking taylor expansion of (* t z) in y
0.271 * [taylor]: Taking taylor expansion of t in y
0.271 * [taylor]: Taking taylor expansion of z in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.271 * [taylor]: Taking taylor expansion of (* x y) in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.271 * [taylor]: Taking taylor expansion of (* x z) in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.271 * [taylor]: Taking taylor expansion of z in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.271 * [taylor]: Taking taylor expansion of (* t y) in y
0.271 * [taylor]: Taking taylor expansion of t in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.271 * [taylor]: Taking taylor expansion of (* t z) in y
0.271 * [taylor]: Taking taylor expansion of t in y
0.271 * [taylor]: Taking taylor expansion of z in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.271 * [taylor]: Taking taylor expansion of (* x y) in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
0.271 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.271 * [taylor]: Taking taylor expansion of t in z
0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.271 * [taylor]: Taking taylor expansion of x in z
0.272 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
0.272 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.272 * [taylor]: Taking taylor expansion of (* x z) in z
0.272 * [taylor]: Taking taylor expansion of x in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.272 * [taylor]: Taking taylor expansion of (* t z) in z
0.272 * [taylor]: Taking taylor expansion of t in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.272 * [taylor]: Taking taylor expansion of x in t
0.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.272 * [taylor]: Taking taylor expansion of t in t
0.272 * [taylor]: Taking taylor expansion of (neg 1) in x
0.272 * [taylor]: Taking taylor expansion of 1 in x
0.272 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.272 * [taylor]: Taking taylor expansion of t in t
0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.272 * [taylor]: Taking taylor expansion of x in t
0.272 * [taylor]: Taking taylor expansion of 1 in x
0.273 * [taylor]: Taking taylor expansion of 0 in z
0.273 * [taylor]: Taking taylor expansion of 0 in t
0.273 * [taylor]: Taking taylor expansion of 0 in t
0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.274 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (y z t x) around 0
0.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.274 * [taylor]: Taking taylor expansion of (* x z) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of z in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
0.274 * [taylor]: Taking taylor expansion of (* t y) in x
0.274 * [taylor]: Taking taylor expansion of t in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
0.274 * [taylor]: Taking taylor expansion of (* t z) in x
0.274 * [taylor]: Taking taylor expansion of t in x
0.274 * [taylor]: Taking taylor expansion of z in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.274 * [taylor]: Taking taylor expansion of (* x y) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
0.274 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
0.274 * [taylor]: Taking taylor expansion of (* x z) in t
0.274 * [taylor]: Taking taylor expansion of x in t
0.275 * [taylor]: Taking taylor expansion of z in t
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.275 * [taylor]: Taking taylor expansion of (* t y) in t
0.275 * [taylor]: Taking taylor expansion of t in t
0.275 * [taylor]: Taking taylor expansion of y in t
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
0.275 * [taylor]: Taking taylor expansion of (* t z) in t
0.275 * [taylor]: Taking taylor expansion of t in t
0.275 * [taylor]: Taking taylor expansion of z in t
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.275 * [taylor]: Taking taylor expansion of (* x y) in t
0.275 * [taylor]: Taking taylor expansion of x in t
0.275 * [taylor]: Taking taylor expansion of y in t
0.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.275 * [taylor]: Taking taylor expansion of (* x z) in z
0.275 * [taylor]: Taking taylor expansion of x in z
0.275 * [taylor]: Taking taylor expansion of z in z
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.275 * [taylor]: Taking taylor expansion of (* t y) in z
0.275 * [taylor]: Taking taylor expansion of t in z
0.275 * [taylor]: Taking taylor expansion of y in z
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.275 * [taylor]: Taking taylor expansion of (* t z) in z
0.275 * [taylor]: Taking taylor expansion of t in z
0.275 * [taylor]: Taking taylor expansion of z in z
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.275 * [taylor]: Taking taylor expansion of (* x y) in z
0.275 * [taylor]: Taking taylor expansion of x in z
0.275 * [taylor]: Taking taylor expansion of y in z
0.275 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.275 * [taylor]: Taking taylor expansion of (* x z) in y
0.275 * [taylor]: Taking taylor expansion of x in y
0.275 * [taylor]: Taking taylor expansion of z in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.276 * [taylor]: Taking taylor expansion of (* t y) in y
0.276 * [taylor]: Taking taylor expansion of t in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.276 * [taylor]: Taking taylor expansion of (* t z) in y
0.276 * [taylor]: Taking taylor expansion of t in y
0.276 * [taylor]: Taking taylor expansion of z in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.276 * [taylor]: Taking taylor expansion of (* x y) in y
0.276 * [taylor]: Taking taylor expansion of x in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.276 * [taylor]: Taking taylor expansion of (* x z) in y
0.276 * [taylor]: Taking taylor expansion of x in y
0.276 * [taylor]: Taking taylor expansion of z in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.276 * [taylor]: Taking taylor expansion of (* t y) in y
0.276 * [taylor]: Taking taylor expansion of t in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
0.276 * [taylor]: Taking taylor expansion of (* t z) in y
0.276 * [taylor]: Taking taylor expansion of t in y
0.276 * [taylor]: Taking taylor expansion of z in y
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.276 * [taylor]: Taking taylor expansion of (* x y) in y
0.276 * [taylor]: Taking taylor expansion of x in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
0.276 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.276 * [taylor]: Taking taylor expansion of t in z
0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.277 * [taylor]: Taking taylor expansion of x in z
0.277 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
0.277 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.277 * [taylor]: Taking taylor expansion of (* x z) in z
0.277 * [taylor]: Taking taylor expansion of x in z
0.277 * [taylor]: Taking taylor expansion of z in z
0.277 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
0.277 * [taylor]: Taking taylor expansion of (* t z) in z
0.277 * [taylor]: Taking taylor expansion of t in z
0.277 * [taylor]: Taking taylor expansion of z in z
0.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.277 * [taylor]: Taking taylor expansion of x in t
0.277 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.277 * [taylor]: Taking taylor expansion of t in t
0.277 * [taylor]: Taking taylor expansion of (neg 1) in x
0.277 * [taylor]: Taking taylor expansion of 1 in x
0.277 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.277 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.277 * [taylor]: Taking taylor expansion of t in t
0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.277 * [taylor]: Taking taylor expansion of x in t
0.277 * [taylor]: Taking taylor expansion of 1 in x
0.278 * [taylor]: Taking taylor expansion of 0 in z
0.278 * [taylor]: Taking taylor expansion of 0 in t
0.278 * [taylor]: Taking taylor expansion of 0 in t
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.279 * * * [progress]: simplifying candidates
0.280 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- y z) t)
  (+ (log (- y z)) (log t))
  (log (* (- y z) t))
  (exp (* (- y z) t))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* t t) t))
  (* (cbrt (* (- y z) t)) (cbrt (* (- y z) t)))
  (cbrt (* (- y z) t))
  (* (* (* (- y z) t) (* (- y z) t)) (* (- y z) t))
  (sqrt (* (- y z) t))
  (sqrt (* (- y z) t))
  (* (sqrt (- y z)) (sqrt t))
  (* (sqrt (- y z)) (sqrt t))
  (* (- y z) (* (cbrt t) (cbrt t)))
  (* (- y z) (sqrt t))
  (* (- y z) 1)
  (* (cbrt (- y z)) t)
  (* (sqrt (- y z)) t)
  (* (- y z) t)
  (* (- (sqrt y) (sqrt z)) t)
  (* (- y z) t)
  (* (- (pow y 3) (pow z 3)) t)
  (* (- (* y y) (* z z)) t)
  (* (- y z) (neg x))
  (+ (log (- y z)) (log (neg x)))
  (log (* (- y z) (neg x)))
  (exp (* (- y z) (neg x)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (neg x) (neg x)) (neg x)))
  (* (cbrt (* (- y z) (neg x))) (cbrt (* (- y z) (neg x))))
  (cbrt (* (- y z) (neg x)))
  (* (* (* (- y z) (neg x)) (* (- y z) (neg x))) (* (- y z) (neg x)))
  (sqrt (* (- y z) (neg x)))
  (sqrt (* (- y z) (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (- y z) x)
  (* (- y z) (* (cbrt (neg x)) (cbrt (neg x))))
  (* (- y z) (sqrt (neg x)))
  (* (- y z) 1)
  (* (- y z) -1)
  (* (- y z) (neg (* (cbrt x) (cbrt x))))
  (* (- y z) (neg (sqrt x)))
  (* (- y z) (neg 1))
  (* (- y z) (* (cbrt x) (cbrt x)))
  (* (- y z) (sqrt x))
  (* (- y z) 1)
  (* (cbrt (- y z)) (neg x))
  (* (sqrt (- y z)) (neg x))
  (* (- y z) (neg x))
  (* (- (sqrt y) (sqrt z)) (neg x))
  (* (- y z) (neg x))
  (* (- (pow y 3) (pow z 3)) (neg x))
  (* (- (* y y) (* z z)) (neg x))
  (* (exp (* (- y z) t)) (exp (* (- y z) (neg x))))
  (log (+ (* (- y z) t) (* (- y z) (neg x))))
  (exp (+ (* (- y z) t) (* (- y z) (neg x))))
  (* (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))) (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))))
  (cbrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (* (* (+ (* (- y z) t) (* (- y z) (neg x))) (+ (* (- y z) t) (* (- y z) (neg x)))) (+ (* (- y z) t) (* (- y z) (neg x))))
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (+ (* (* (- (pow y 3) (pow z 3)) t) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (pow y 3) (pow z 3)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (* (- (pow y 3) (pow z 3)) t) (+ y z)) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (* y y) (* z z)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ y z))
  (+ (* (* (- (* y y) (* z z)) t) (+ (* y y) (+ (* z z) (* y z)))) (* (+ y z) (* (- (pow y 3) (pow z 3)) (neg x))))
  (* (+ y z) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (* (- (* y y) (* z z)) t) (+ y z)) (* (+ y z) (* (- (* y y) (* z z)) (neg x))))
  (* (+ y z) (+ y z))
  (+ (pow (* (- y z) t) 3) (pow (* (- y z) (neg x)) 3))
  (+ (* (* (- y z) t) (* (- y z) t)) (- (* (* (- y z) (neg x)) (* (- y z) (neg x))) (* (* (- y z) t) (* (- y z) (neg x)))))
  (- (* (* (- y z) t) (* (- y z) t)) (* (* (- y z) (neg x)) (* (- y z) (neg x))))
  (- (* (- y z) t) (* (- y z) (neg x)))
  (+ t (neg x))
  0
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  0
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
0.285 * * [simplify]: iteration  0 :  385  enodes  (cost  436 )
0.293 * * [simplify]: iteration  1 :  1726  enodes  (cost  385 )
0.329 * * [simplify]: iteration  2 :  5002  enodes  (cost  379 )
0.331 * [simplify]: Simplified to:
   (* t (- y z))
  (log (* (- y z) t))
  (log (* (- y z) t))
  (exp (* (- y z) t))
  (pow (* (- y z) t) 3)
  (* (cbrt (* (- y z) t)) (cbrt (* (- y z) t)))
  (cbrt (* (- y z) t))
  (pow (* (- y z) t) 3)
  (sqrt (* (- y z) t))
  (sqrt (* (- y z) t))
  (* (sqrt (- y z)) (sqrt t))
  (* (sqrt (- y z)) (sqrt t))
  (* (- y z) (* (cbrt t) (cbrt t)))
  (* (- y z) (sqrt t))
  (- y z)
  (* (cbrt (- y z)) t)
  (* (sqrt (- y z)) t)
  (* t (- y z))
  (* (- (sqrt y) (sqrt z)) t)
  (* t (- y z))
  (* (- (pow y 3) (pow z 3)) t)
  (* (- (* y y) (* z z)) t)
  (* x (- z y))
  (log (* (- y z) (neg x)))
  (log (* (- y z) (neg x)))
  (exp (* (- y z) (neg x)))
  (pow (* (- y z) (neg x)) 3)
  (* (cbrt (* (- y z) (neg x))) (cbrt (* (- y z) (neg x))))
  (cbrt (* (- y z) (neg x)))
  (pow (* (- y z) (neg x)) 3)
  (sqrt (* (- y z) (neg x)))
  (sqrt (* (- y z) (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (- y z) x)
  (* (- y z) (* (cbrt (neg x)) (cbrt (neg x))))
  (* (- y z) (sqrt (neg x)))
  (- y z)
  (- z y)
  (* (- y z) (neg (* (cbrt x) (cbrt x))))
  (* (- y z) (neg (sqrt x)))
  (- z y)
  (* (- y z) (* (cbrt x) (cbrt x)))
  (* (- y z) (sqrt x))
  (- y z)
  (* (cbrt (- y z)) (neg x))
  (* (sqrt (- y z)) (neg x))
  (* x (- z y))
  (* (- (sqrt y) (sqrt z)) (neg x))
  (* x (- z y))
  (* (- (pow y 3) (pow z 3)) (neg x))
  (* (- (* y y) (* z z)) (neg x))
  (pow (exp (- y z)) (- t x))
  (+ (log (- y z)) (log (- t x)))
  (pow (exp (- y z)) (- t x))
  (* (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))) (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))))
  (cbrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (pow (* (- y z) (- t x)) 3)
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (* (+ (* z (+ z y)) (* y y)) (+ (* (- (pow y 3) (pow z 3)) (neg x)) (* (- (pow y 3) (pow z 3)) t)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (* (- (pow y 3) (pow z 3)) t) (+ y z)) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (* y y) (* z z)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ y z))
  (+ (* (* (- (* y y) (* z z)) t) (+ (* y y) (+ (* z z) (* y z)))) (* (+ y z) (* (- (pow y 3) (pow z 3)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ y z))
  (* (+ y z) (+ (* (- (* y y) (* z z)) (neg x)) (* (- (* y y) (* z z)) t)))
  (* (+ y z) (+ y z))
  (* (pow (- y z) 3) (+ (pow (neg x) 3) (pow t 3)))
  (+ (* (* (- y z) (- y z)) (+ (* t t) (* x x))) (* (* (- y z) x) (* t (- y z))))
  (* (* (- y z) (- y z)) (- (* t t) (* x x)))
  (* (- y z) (- t (neg x)))
  (- t x)
  0
  (* t (- y z))
  (* t (- y z))
  0
  (* x (- z y))
  (* x (- z y))
  0
  (- (* x (- z y)) (* t z))
  (- (* x (- z y)) (* t z))
0.332 * * * [progress]: adding candidates to table
0.407 * * [progress]: iteration 3 / 4
0.407 * * * [progress]: picking best candidate
0.410 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>
0.410 * * * [progress]: localizing error
0.420 * * * [progress]: generating rewritten candidates
0.420 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
0.426 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.429 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.442 * * * [progress]: generating series expansions
0.442 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.443 * [approximate]: Taking taylor expansion of (pow (- t x) 1/3) in (t x) around 0
0.443 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in x
0.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in x
0.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in x
0.443 * [taylor]: Taking taylor expansion of 1/3 in x
0.443 * [taylor]: Taking taylor expansion of (log (- t x)) in x
0.443 * [taylor]: Taking taylor expansion of (- t x) in x
0.443 * [taylor]: Taking taylor expansion of t in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
0.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
0.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
0.443 * [taylor]: Taking taylor expansion of 1/3 in t
0.443 * [taylor]: Taking taylor expansion of (log (- t x)) in t
0.443 * [taylor]: Taking taylor expansion of (- t x) in t
0.443 * [taylor]: Taking taylor expansion of t in t
0.443 * [taylor]: Taking taylor expansion of x in t
0.443 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
0.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
0.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
0.443 * [taylor]: Taking taylor expansion of 1/3 in t
0.443 * [taylor]: Taking taylor expansion of (log (- t x)) in t
0.443 * [taylor]: Taking taylor expansion of (- t x) in t
0.443 * [taylor]: Taking taylor expansion of t in t
0.443 * [taylor]: Taking taylor expansion of x in t
0.443 * [taylor]: Taking taylor expansion of (pow (neg x) 1/3) in x
0.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg x)))) in x
0.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg x))) in x
0.443 * [taylor]: Taking taylor expansion of 1/3 in x
0.443 * [taylor]: Taking taylor expansion of (log (neg x)) in x
0.443 * [taylor]: Taking taylor expansion of (neg x) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow x 2)) 1/3)) in x
0.444 * [taylor]: Taking taylor expansion of -1/3 in x
0.444 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 2)) 1/3) in x
0.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 2))))) in x
0.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 2)))) in x
0.444 * [taylor]: Taking taylor expansion of 1/3 in x
0.444 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 2))) in x
0.444 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
0.444 * [taylor]: Taking taylor expansion of -1 in x
0.444 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow x 5)) 1/3)) in x
0.445 * [taylor]: Taking taylor expansion of -1/9 in x
0.445 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 5)) 1/3) in x
0.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 5))))) in x
0.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 5)))) in x
0.445 * [taylor]: Taking taylor expansion of 1/3 in x
0.446 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 5))) in x
0.446 * [taylor]: Taking taylor expansion of (/ -1 (pow x 5)) in x
0.446 * [taylor]: Taking taylor expansion of -1 in x
0.446 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.446 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in (t x) around 0
0.446 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in x
0.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in x
0.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in x
0.446 * [taylor]: Taking taylor expansion of 1/3 in x
0.446 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in x
0.446 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
0.446 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.446 * [taylor]: Taking taylor expansion of t in x
0.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.447 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
0.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
0.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
0.447 * [taylor]: Taking taylor expansion of 1/3 in t
0.447 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
0.447 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.447 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.447 * [taylor]: Taking taylor expansion of t in t
0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.447 * [taylor]: Taking taylor expansion of x in t
0.447 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
0.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
0.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
0.447 * [taylor]: Taking taylor expansion of 1/3 in t
0.447 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
0.447 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.447 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.447 * [taylor]: Taking taylor expansion of t in t
0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.447 * [taylor]: Taking taylor expansion of x in t
0.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.447 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.447 * [taylor]: Taking taylor expansion of 1/3 in x
0.447 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.447 * [taylor]: Taking taylor expansion of (log 1) in x
0.447 * [taylor]: Taking taylor expansion of 1 in x
0.447 * [taylor]: Taking taylor expansion of (log t) in x
0.447 * [taylor]: Taking taylor expansion of t in x
0.448 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log t)))) x)) in x
0.448 * [taylor]: Taking taylor expansion of -1/3 in x
0.448 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) x) in x
0.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.448 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.448 * [taylor]: Taking taylor expansion of 1/3 in x
0.448 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.448 * [taylor]: Taking taylor expansion of (log 1) in x
0.448 * [taylor]: Taking taylor expansion of 1 in x
0.448 * [taylor]: Taking taylor expansion of (log t) in x
0.448 * [taylor]: Taking taylor expansion of t in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.450 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2))) in x
0.450 * [taylor]: Taking taylor expansion of -1/9 in x
0.450 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2)) in x
0.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.450 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.450 * [taylor]: Taking taylor expansion of 1/3 in x
0.450 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.450 * [taylor]: Taking taylor expansion of (log 1) in x
0.450 * [taylor]: Taking taylor expansion of 1 in x
0.450 * [taylor]: Taking taylor expansion of (log t) in x
0.450 * [taylor]: Taking taylor expansion of t in x
0.450 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.454 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3))) in x
0.454 * [taylor]: Taking taylor expansion of -5/81 in x
0.454 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3)) in x
0.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.454 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.454 * [taylor]: Taking taylor expansion of 1/3 in x
0.454 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.454 * [taylor]: Taking taylor expansion of (log 1) in x
0.454 * [taylor]: Taking taylor expansion of 1 in x
0.454 * [taylor]: Taking taylor expansion of (log t) in x
0.454 * [taylor]: Taking taylor expansion of t in x
0.455 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.457 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in (t x) around 0
0.457 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in x
0.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in x
0.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in x
0.457 * [taylor]: Taking taylor expansion of 1/3 in x
0.457 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in x
0.457 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
0.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.457 * [taylor]: Taking taylor expansion of x in x
0.457 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.457 * [taylor]: Taking taylor expansion of t in x
0.458 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
0.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
0.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
0.458 * [taylor]: Taking taylor expansion of 1/3 in t
0.458 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
0.458 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.458 * [taylor]: Taking taylor expansion of x in t
0.458 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.458 * [taylor]: Taking taylor expansion of t in t
0.458 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
0.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
0.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
0.458 * [taylor]: Taking taylor expansion of 1/3 in t
0.458 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
0.458 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.458 * [taylor]: Taking taylor expansion of x in t
0.458 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.458 * [taylor]: Taking taylor expansion of t in t
0.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.458 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.458 * [taylor]: Taking taylor expansion of 1/3 in x
0.458 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.459 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.459 * [taylor]: Taking taylor expansion of (neg 1) in x
0.459 * [taylor]: Taking taylor expansion of 1 in x
0.459 * [taylor]: Taking taylor expansion of (log t) in x
0.459 * [taylor]: Taking taylor expansion of t in x
0.460 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x)) in x
0.460 * [taylor]: Taking taylor expansion of -1/3 in x
0.460 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x) in x
0.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.460 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.460 * [taylor]: Taking taylor expansion of 1/3 in x
0.460 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.460 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.460 * [taylor]: Taking taylor expansion of (neg 1) in x
0.460 * [taylor]: Taking taylor expansion of 1 in x
0.460 * [taylor]: Taking taylor expansion of (log t) in x
0.460 * [taylor]: Taking taylor expansion of t in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.462 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2))) in x
0.462 * [taylor]: Taking taylor expansion of -1/9 in x
0.462 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2)) in x
0.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.462 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.462 * [taylor]: Taking taylor expansion of 1/3 in x
0.462 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.462 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.462 * [taylor]: Taking taylor expansion of (neg 1) in x
0.462 * [taylor]: Taking taylor expansion of 1 in x
0.462 * [taylor]: Taking taylor expansion of (log t) in x
0.462 * [taylor]: Taking taylor expansion of t in x
0.462 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3))) in x
0.466 * [taylor]: Taking taylor expansion of -5/81 in x
0.466 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3)) in x
0.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.466 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.466 * [taylor]: Taking taylor expansion of 1/3 in x
0.466 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.466 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.466 * [taylor]: Taking taylor expansion of (neg 1) in x
0.466 * [taylor]: Taking taylor expansion of 1 in x
0.466 * [taylor]: Taking taylor expansion of (log t) in x
0.466 * [taylor]: Taking taylor expansion of t in x
0.466 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.469 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
0.469 * [approximate]: Taking taylor expansion of (pow (- t x) 1/3) in (t x) around 0
0.469 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in x
0.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in x
0.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in x
0.469 * [taylor]: Taking taylor expansion of 1/3 in x
0.469 * [taylor]: Taking taylor expansion of (log (- t x)) in x
0.469 * [taylor]: Taking taylor expansion of (- t x) in x
0.469 * [taylor]: Taking taylor expansion of t in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
0.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
0.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
0.469 * [taylor]: Taking taylor expansion of 1/3 in t
0.469 * [taylor]: Taking taylor expansion of (log (- t x)) in t
0.469 * [taylor]: Taking taylor expansion of (- t x) in t
0.469 * [taylor]: Taking taylor expansion of t in t
0.469 * [taylor]: Taking taylor expansion of x in t
0.469 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
0.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
0.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
0.469 * [taylor]: Taking taylor expansion of 1/3 in t
0.469 * [taylor]: Taking taylor expansion of (log (- t x)) in t
0.469 * [taylor]: Taking taylor expansion of (- t x) in t
0.470 * [taylor]: Taking taylor expansion of t in t
0.470 * [taylor]: Taking taylor expansion of x in t
0.470 * [taylor]: Taking taylor expansion of (pow (neg x) 1/3) in x
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg x)))) in x
0.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg x))) in x
0.470 * [taylor]: Taking taylor expansion of 1/3 in x
0.470 * [taylor]: Taking taylor expansion of (log (neg x)) in x
0.470 * [taylor]: Taking taylor expansion of (neg x) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow x 2)) 1/3)) in x
0.470 * [taylor]: Taking taylor expansion of -1/3 in x
0.470 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 2)) 1/3) in x
0.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 2))))) in x
0.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 2)))) in x
0.470 * [taylor]: Taking taylor expansion of 1/3 in x
0.470 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 2))) in x
0.470 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
0.470 * [taylor]: Taking taylor expansion of -1 in x
0.470 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow x 5)) 1/3)) in x
0.472 * [taylor]: Taking taylor expansion of -1/9 in x
0.472 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 5)) 1/3) in x
0.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 5))))) in x
0.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 5)))) in x
0.472 * [taylor]: Taking taylor expansion of 1/3 in x
0.472 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 5))) in x
0.472 * [taylor]: Taking taylor expansion of (/ -1 (pow x 5)) in x
0.472 * [taylor]: Taking taylor expansion of -1 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.473 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in (t x) around 0
0.473 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in x
0.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in x
0.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in x
0.473 * [taylor]: Taking taylor expansion of 1/3 in x
0.473 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in x
0.473 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
0.473 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.473 * [taylor]: Taking taylor expansion of t in x
0.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
0.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
0.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
0.473 * [taylor]: Taking taylor expansion of 1/3 in t
0.473 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
0.473 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.473 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.473 * [taylor]: Taking taylor expansion of t in t
0.473 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.473 * [taylor]: Taking taylor expansion of x in t
0.473 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
0.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
0.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
0.473 * [taylor]: Taking taylor expansion of 1/3 in t
0.473 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
0.473 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.473 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.473 * [taylor]: Taking taylor expansion of t in t
0.473 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.473 * [taylor]: Taking taylor expansion of x in t
0.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.474 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.474 * [taylor]: Taking taylor expansion of 1/3 in x
0.474 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.474 * [taylor]: Taking taylor expansion of (log 1) in x
0.474 * [taylor]: Taking taylor expansion of 1 in x
0.474 * [taylor]: Taking taylor expansion of (log t) in x
0.474 * [taylor]: Taking taylor expansion of t in x
0.474 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log t)))) x)) in x
0.474 * [taylor]: Taking taylor expansion of -1/3 in x
0.475 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) x) in x
0.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.475 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.475 * [taylor]: Taking taylor expansion of 1/3 in x
0.475 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.475 * [taylor]: Taking taylor expansion of (log 1) in x
0.475 * [taylor]: Taking taylor expansion of 1 in x
0.475 * [taylor]: Taking taylor expansion of (log t) in x
0.475 * [taylor]: Taking taylor expansion of t in x
0.475 * [taylor]: Taking taylor expansion of x in x
0.477 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2))) in x
0.477 * [taylor]: Taking taylor expansion of -1/9 in x
0.477 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2)) in x
0.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.477 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.477 * [taylor]: Taking taylor expansion of 1/3 in x
0.477 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.477 * [taylor]: Taking taylor expansion of (log 1) in x
0.477 * [taylor]: Taking taylor expansion of 1 in x
0.477 * [taylor]: Taking taylor expansion of (log t) in x
0.477 * [taylor]: Taking taylor expansion of t in x
0.477 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.477 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3))) in x
0.481 * [taylor]: Taking taylor expansion of -5/81 in x
0.481 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3)) in x
0.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.481 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.481 * [taylor]: Taking taylor expansion of 1/3 in x
0.481 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.481 * [taylor]: Taking taylor expansion of (log 1) in x
0.481 * [taylor]: Taking taylor expansion of 1 in x
0.481 * [taylor]: Taking taylor expansion of (log t) in x
0.481 * [taylor]: Taking taylor expansion of t in x
0.481 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.483 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in (t x) around 0
0.483 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in x
0.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in x
0.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in x
0.483 * [taylor]: Taking taylor expansion of 1/3 in x
0.483 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in x
0.483 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
0.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.484 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.484 * [taylor]: Taking taylor expansion of t in x
0.484 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
0.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
0.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
0.484 * [taylor]: Taking taylor expansion of 1/3 in t
0.484 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
0.484 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.484 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.484 * [taylor]: Taking taylor expansion of x in t
0.484 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.484 * [taylor]: Taking taylor expansion of t in t
0.484 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
0.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
0.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
0.484 * [taylor]: Taking taylor expansion of 1/3 in t
0.484 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
0.484 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.484 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.484 * [taylor]: Taking taylor expansion of x in t
0.484 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.484 * [taylor]: Taking taylor expansion of t in t
0.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.485 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.485 * [taylor]: Taking taylor expansion of 1/3 in x
0.485 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.485 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.485 * [taylor]: Taking taylor expansion of (neg 1) in x
0.485 * [taylor]: Taking taylor expansion of 1 in x
0.485 * [taylor]: Taking taylor expansion of (log t) in x
0.485 * [taylor]: Taking taylor expansion of t in x
0.488 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x)) in x
0.488 * [taylor]: Taking taylor expansion of -1/3 in x
0.488 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x) in x
0.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.488 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.488 * [taylor]: Taking taylor expansion of 1/3 in x
0.488 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.488 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.488 * [taylor]: Taking taylor expansion of (neg 1) in x
0.488 * [taylor]: Taking taylor expansion of 1 in x
0.488 * [taylor]: Taking taylor expansion of (log t) in x
0.488 * [taylor]: Taking taylor expansion of t in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2))) in x
0.490 * [taylor]: Taking taylor expansion of -1/9 in x
0.490 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2)) in x
0.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.490 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.490 * [taylor]: Taking taylor expansion of 1/3 in x
0.490 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.490 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.490 * [taylor]: Taking taylor expansion of (neg 1) in x
0.490 * [taylor]: Taking taylor expansion of 1 in x
0.490 * [taylor]: Taking taylor expansion of (log t) in x
0.490 * [taylor]: Taking taylor expansion of t in x
0.490 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3))) in x
0.494 * [taylor]: Taking taylor expansion of -5/81 in x
0.494 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3)) in x
0.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.494 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.494 * [taylor]: Taking taylor expansion of 1/3 in x
0.494 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.494 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.494 * [taylor]: Taking taylor expansion of (neg 1) in x
0.494 * [taylor]: Taking taylor expansion of 1 in x
0.494 * [taylor]: Taking taylor expansion of (log t) in x
0.494 * [taylor]: Taking taylor expansion of t in x
0.494 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.497 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
0.497 * [approximate]: Taking taylor expansion of (pow (- t x) 1/3) in (t x) around 0
0.497 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in x
0.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in x
0.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in x
0.497 * [taylor]: Taking taylor expansion of 1/3 in x
0.497 * [taylor]: Taking taylor expansion of (log (- t x)) in x
0.497 * [taylor]: Taking taylor expansion of (- t x) in x
0.497 * [taylor]: Taking taylor expansion of t in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
0.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
0.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
0.497 * [taylor]: Taking taylor expansion of 1/3 in t
0.497 * [taylor]: Taking taylor expansion of (log (- t x)) in t
0.497 * [taylor]: Taking taylor expansion of (- t x) in t
0.497 * [taylor]: Taking taylor expansion of t in t
0.497 * [taylor]: Taking taylor expansion of x in t
0.497 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
0.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
0.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
0.497 * [taylor]: Taking taylor expansion of 1/3 in t
0.497 * [taylor]: Taking taylor expansion of (log (- t x)) in t
0.498 * [taylor]: Taking taylor expansion of (- t x) in t
0.498 * [taylor]: Taking taylor expansion of t in t
0.498 * [taylor]: Taking taylor expansion of x in t
0.498 * [taylor]: Taking taylor expansion of (pow (neg x) 1/3) in x
0.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg x)))) in x
0.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg x))) in x
0.498 * [taylor]: Taking taylor expansion of 1/3 in x
0.498 * [taylor]: Taking taylor expansion of (log (neg x)) in x
0.498 * [taylor]: Taking taylor expansion of (neg x) in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow x 2)) 1/3)) in x
0.498 * [taylor]: Taking taylor expansion of -1/3 in x
0.498 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 2)) 1/3) in x
0.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 2))))) in x
0.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 2)))) in x
0.498 * [taylor]: Taking taylor expansion of 1/3 in x
0.498 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 2))) in x
0.498 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
0.498 * [taylor]: Taking taylor expansion of -1 in x
0.498 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.500 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow x 5)) 1/3)) in x
0.500 * [taylor]: Taking taylor expansion of -1/9 in x
0.500 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 5)) 1/3) in x
0.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 5))))) in x
0.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 5)))) in x
0.500 * [taylor]: Taking taylor expansion of 1/3 in x
0.500 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 5))) in x
0.500 * [taylor]: Taking taylor expansion of (/ -1 (pow x 5)) in x
0.500 * [taylor]: Taking taylor expansion of -1 in x
0.500 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.501 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in (t x) around 0
0.501 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in x
0.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in x
0.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in x
0.501 * [taylor]: Taking taylor expansion of 1/3 in x
0.501 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in x
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.501 * [taylor]: Taking taylor expansion of t in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
0.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
0.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
0.501 * [taylor]: Taking taylor expansion of 1/3 in t
0.501 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.501 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.501 * [taylor]: Taking taylor expansion of t in t
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.501 * [taylor]: Taking taylor expansion of x in t
0.501 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
0.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
0.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
0.501 * [taylor]: Taking taylor expansion of 1/3 in t
0.501 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.501 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.501 * [taylor]: Taking taylor expansion of t in t
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.501 * [taylor]: Taking taylor expansion of x in t
0.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.502 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.502 * [taylor]: Taking taylor expansion of 1/3 in x
0.502 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.502 * [taylor]: Taking taylor expansion of (log 1) in x
0.502 * [taylor]: Taking taylor expansion of 1 in x
0.502 * [taylor]: Taking taylor expansion of (log t) in x
0.502 * [taylor]: Taking taylor expansion of t in x
0.502 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log t)))) x)) in x
0.502 * [taylor]: Taking taylor expansion of -1/3 in x
0.503 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) x) in x
0.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.503 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.503 * [taylor]: Taking taylor expansion of 1/3 in x
0.503 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.503 * [taylor]: Taking taylor expansion of (log 1) in x
0.503 * [taylor]: Taking taylor expansion of 1 in x
0.503 * [taylor]: Taking taylor expansion of (log t) in x
0.503 * [taylor]: Taking taylor expansion of t in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.504 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2))) in x
0.504 * [taylor]: Taking taylor expansion of -1/9 in x
0.504 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2)) in x
0.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.505 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.505 * [taylor]: Taking taylor expansion of 1/3 in x
0.505 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.505 * [taylor]: Taking taylor expansion of (log 1) in x
0.505 * [taylor]: Taking taylor expansion of 1 in x
0.505 * [taylor]: Taking taylor expansion of (log t) in x
0.505 * [taylor]: Taking taylor expansion of t in x
0.505 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3))) in x
0.508 * [taylor]: Taking taylor expansion of -5/81 in x
0.508 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3)) in x
0.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
0.508 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
0.508 * [taylor]: Taking taylor expansion of 1/3 in x
0.508 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
0.509 * [taylor]: Taking taylor expansion of (log 1) in x
0.509 * [taylor]: Taking taylor expansion of 1 in x
0.509 * [taylor]: Taking taylor expansion of (log t) in x
0.509 * [taylor]: Taking taylor expansion of t in x
0.509 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.509 * [taylor]: Taking taylor expansion of x in x
0.511 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in (t x) around 0
0.511 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in x
0.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in x
0.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in x
0.511 * [taylor]: Taking taylor expansion of 1/3 in x
0.511 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in x
0.511 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.512 * [taylor]: Taking taylor expansion of x in x
0.512 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.512 * [taylor]: Taking taylor expansion of t in x
0.512 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
0.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
0.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
0.512 * [taylor]: Taking taylor expansion of 1/3 in t
0.512 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.512 * [taylor]: Taking taylor expansion of x in t
0.512 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.512 * [taylor]: Taking taylor expansion of t in t
0.512 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
0.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
0.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
0.512 * [taylor]: Taking taylor expansion of 1/3 in t
0.512 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
0.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.512 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.512 * [taylor]: Taking taylor expansion of x in t
0.512 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.512 * [taylor]: Taking taylor expansion of t in t
0.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.512 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.513 * [taylor]: Taking taylor expansion of 1/3 in x
0.513 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.513 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.513 * [taylor]: Taking taylor expansion of (neg 1) in x
0.513 * [taylor]: Taking taylor expansion of 1 in x
0.513 * [taylor]: Taking taylor expansion of (log t) in x
0.513 * [taylor]: Taking taylor expansion of t in x
0.513 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x)) in x
0.513 * [taylor]: Taking taylor expansion of -1/3 in x
0.513 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x) in x
0.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.513 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.513 * [taylor]: Taking taylor expansion of 1/3 in x
0.513 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.513 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.513 * [taylor]: Taking taylor expansion of (neg 1) in x
0.513 * [taylor]: Taking taylor expansion of 1 in x
0.513 * [taylor]: Taking taylor expansion of (log t) in x
0.514 * [taylor]: Taking taylor expansion of t in x
0.514 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2))) in x
0.515 * [taylor]: Taking taylor expansion of -1/9 in x
0.515 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2)) in x
0.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.515 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.515 * [taylor]: Taking taylor expansion of 1/3 in x
0.515 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.515 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.515 * [taylor]: Taking taylor expansion of (neg 1) in x
0.515 * [taylor]: Taking taylor expansion of 1 in x
0.516 * [taylor]: Taking taylor expansion of (log t) in x
0.516 * [taylor]: Taking taylor expansion of t in x
0.516 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.516 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3))) in x
0.519 * [taylor]: Taking taylor expansion of -5/81 in x
0.520 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3)) in x
0.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
0.520 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
0.520 * [taylor]: Taking taylor expansion of 1/3 in x
0.520 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
0.520 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
0.520 * [taylor]: Taking taylor expansion of (neg 1) in x
0.520 * [taylor]: Taking taylor expansion of 1 in x
0.520 * [taylor]: Taking taylor expansion of (log t) in x
0.520 * [taylor]: Taking taylor expansion of t in x
0.520 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.522 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.522 * [approximate]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in (t x) around 0
0.522 * [taylor]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in x
0.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t x) 2)))) in x
0.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t x) 2))) in x
0.522 * [taylor]: Taking taylor expansion of 1/3 in x
0.523 * [taylor]: Taking taylor expansion of (log (pow (- t x) 2)) in x
0.523 * [taylor]: Taking taylor expansion of (pow (- t x) 2) in x
0.523 * [taylor]: Taking taylor expansion of (- t x) in x
0.523 * [taylor]: Taking taylor expansion of t in x
0.523 * [taylor]: Taking taylor expansion of x in x
0.523 * [taylor]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in t
0.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t x) 2)))) in t
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t x) 2))) in t
0.523 * [taylor]: Taking taylor expansion of 1/3 in t
0.523 * [taylor]: Taking taylor expansion of (log (pow (- t x) 2)) in t
0.523 * [taylor]: Taking taylor expansion of (pow (- t x) 2) in t
0.523 * [taylor]: Taking taylor expansion of (- t x) in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.523 * [taylor]: Taking taylor expansion of x in t
0.523 * [taylor]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in t
0.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t x) 2)))) in t
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t x) 2))) in t
0.523 * [taylor]: Taking taylor expansion of 1/3 in t
0.523 * [taylor]: Taking taylor expansion of (log (pow (- t x) 2)) in t
0.523 * [taylor]: Taking taylor expansion of (pow (- t x) 2) in t
0.523 * [taylor]: Taking taylor expansion of (- t x) in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.523 * [taylor]: Taking taylor expansion of x in t
0.523 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.524 * [taylor]: Taking taylor expansion of 1/3 in x
0.524 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.524 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.524 * [taylor]: Taking taylor expansion of (* -2/3 (pow (/ 1 x) 1/3)) in x
0.524 * [taylor]: Taking taylor expansion of -2/3 in x
0.524 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.524 * [taylor]: Taking taylor expansion of 1/3 in x
0.524 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.524 * [taylor]: Taking taylor expansion of x in x
0.526 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow x 4)) 1/3)) in x
0.526 * [taylor]: Taking taylor expansion of -1/9 in x
0.526 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x
0.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x
0.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x
0.526 * [taylor]: Taking taylor expansion of 1/3 in x
0.526 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in x
0.526 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.526 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.527 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in (t x) around 0
0.527 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in x
0.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2)))) in x
0.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2))) in x
0.527 * [taylor]: Taking taylor expansion of 1/3 in x
0.527 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 x)) 2)) in x
0.527 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 2) in x
0.527 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
0.527 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.527 * [taylor]: Taking taylor expansion of t in x
0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in t
0.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2)))) in t
0.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2))) in t
0.527 * [taylor]: Taking taylor expansion of 1/3 in t
0.527 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 x)) 2)) in t
0.527 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 2) in t
0.527 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.527 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.527 * [taylor]: Taking taylor expansion of t in t
0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.527 * [taylor]: Taking taylor expansion of x in t
0.527 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in t
0.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2)))) in t
0.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2))) in t
0.528 * [taylor]: Taking taylor expansion of 1/3 in t
0.528 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 x)) 2)) in t
0.528 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 2) in t
0.528 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
0.528 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.528 * [taylor]: Taking taylor expansion of t in t
0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.528 * [taylor]: Taking taylor expansion of x in t
0.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.528 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.528 * [taylor]: Taking taylor expansion of 1/3 in x
0.528 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.528 * [taylor]: Taking taylor expansion of (log 1) in x
0.528 * [taylor]: Taking taylor expansion of 1 in x
0.528 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.528 * [taylor]: Taking taylor expansion of 2 in x
0.528 * [taylor]: Taking taylor expansion of (log t) in x
0.528 * [taylor]: Taking taylor expansion of t in x
0.529 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x)) in x
0.529 * [taylor]: Taking taylor expansion of -2/3 in x
0.529 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x) in x
0.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.529 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.529 * [taylor]: Taking taylor expansion of 1/3 in x
0.529 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.529 * [taylor]: Taking taylor expansion of (log 1) in x
0.529 * [taylor]: Taking taylor expansion of 1 in x
0.529 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.529 * [taylor]: Taking taylor expansion of 2 in x
0.529 * [taylor]: Taking taylor expansion of (log t) in x
0.529 * [taylor]: Taking taylor expansion of t in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.531 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2))) in x
0.531 * [taylor]: Taking taylor expansion of -1/9 in x
0.531 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2)) in x
0.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.531 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.531 * [taylor]: Taking taylor expansion of 1/3 in x
0.531 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.531 * [taylor]: Taking taylor expansion of (log 1) in x
0.532 * [taylor]: Taking taylor expansion of 1 in x
0.532 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.532 * [taylor]: Taking taylor expansion of 2 in x
0.532 * [taylor]: Taking taylor expansion of (log t) in x
0.532 * [taylor]: Taking taylor expansion of t in x
0.532 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.532 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3))) in x
0.536 * [taylor]: Taking taylor expansion of -4/81 in x
0.536 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3)) in x
0.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.536 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.536 * [taylor]: Taking taylor expansion of 1/3 in x
0.536 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.537 * [taylor]: Taking taylor expansion of (log 1) in x
0.537 * [taylor]: Taking taylor expansion of 1 in x
0.537 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.537 * [taylor]: Taking taylor expansion of 2 in x
0.537 * [taylor]: Taking taylor expansion of (log t) in x
0.537 * [taylor]: Taking taylor expansion of t in x
0.537 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.537 * [taylor]: Taking taylor expansion of x in x
0.540 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in (t x) around 0
0.540 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in x
0.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2)))) in x
0.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2))) in x
0.540 * [taylor]: Taking taylor expansion of 1/3 in x
0.540 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 t)) 2)) in x
0.540 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 2) in x
0.540 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
0.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.540 * [taylor]: Taking taylor expansion of x in x
0.540 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.540 * [taylor]: Taking taylor expansion of t in x
0.540 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in t
0.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2)))) in t
0.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2))) in t
0.540 * [taylor]: Taking taylor expansion of 1/3 in t
0.540 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 t)) 2)) in t
0.540 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 2) in t
0.540 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.540 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.540 * [taylor]: Taking taylor expansion of x in t
0.540 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.540 * [taylor]: Taking taylor expansion of t in t
0.540 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in t
0.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2)))) in t
0.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2))) in t
0.541 * [taylor]: Taking taylor expansion of 1/3 in t
0.541 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 t)) 2)) in t
0.541 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 2) in t
0.541 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
0.541 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.541 * [taylor]: Taking taylor expansion of x in t
0.541 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.541 * [taylor]: Taking taylor expansion of t in t
0.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.541 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.541 * [taylor]: Taking taylor expansion of 1/3 in x
0.541 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.541 * [taylor]: Taking taylor expansion of (log 1) in x
0.541 * [taylor]: Taking taylor expansion of 1 in x
0.541 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.541 * [taylor]: Taking taylor expansion of 2 in x
0.541 * [taylor]: Taking taylor expansion of (log t) in x
0.541 * [taylor]: Taking taylor expansion of t in x
0.542 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x)) in x
0.542 * [taylor]: Taking taylor expansion of -2/3 in x
0.542 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x) in x
0.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.542 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.542 * [taylor]: Taking taylor expansion of 1/3 in x
0.542 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.542 * [taylor]: Taking taylor expansion of (log 1) in x
0.542 * [taylor]: Taking taylor expansion of 1 in x
0.542 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.542 * [taylor]: Taking taylor expansion of 2 in x
0.542 * [taylor]: Taking taylor expansion of (log t) in x
0.542 * [taylor]: Taking taylor expansion of t in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2))) in x
0.544 * [taylor]: Taking taylor expansion of -1/9 in x
0.544 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2)) in x
0.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.544 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.545 * [taylor]: Taking taylor expansion of 1/3 in x
0.545 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.545 * [taylor]: Taking taylor expansion of (log 1) in x
0.545 * [taylor]: Taking taylor expansion of 1 in x
0.545 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.545 * [taylor]: Taking taylor expansion of 2 in x
0.545 * [taylor]: Taking taylor expansion of (log t) in x
0.545 * [taylor]: Taking taylor expansion of t in x
0.545 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.545 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3))) in x
0.549 * [taylor]: Taking taylor expansion of -4/81 in x
0.549 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3)) in x
0.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
0.549 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
0.549 * [taylor]: Taking taylor expansion of 1/3 in x
0.549 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
0.549 * [taylor]: Taking taylor expansion of (log 1) in x
0.549 * [taylor]: Taking taylor expansion of 1 in x
0.549 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
0.549 * [taylor]: Taking taylor expansion of 2 in x
0.549 * [taylor]: Taking taylor expansion of (log t) in x
0.549 * [taylor]: Taking taylor expansion of t in x
0.549 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.552 * * * [progress]: simplifying candidates
0.553 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- t x) (- t x))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (+ 1 1)
  (+ (log (cbrt (- t x))) (log (cbrt (- t x))))
  (log (* (cbrt (- t x)) (cbrt (- t x))))
  (exp (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- t x) (- t x))
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (* (* (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- t x)) (cbrt (- t x)))) (* (cbrt (- t x)) (cbrt (- t x))))
  (sqrt (* (cbrt (- t x)) (cbrt (- t x))))
  (sqrt (* (cbrt (- t x)) (cbrt (- t x))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ (* t t) (+ (* x x) (* t x)))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ t x)))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (+ t x)) (cbrt (+ (* t t) (+ (* x x) (* t x)))))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ t x)) (cbrt (+ t x)))
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (+ (sqrt t) (sqrt x))) (cbrt (+ (sqrt t) (sqrt x))))
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- (sqrt t) (sqrt x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x)))) (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x)))))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* 1 1)
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (cbrt (sqrt (- t x))))
  (* (sqrt (cbrt (- t x))) (cbrt (sqrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- t x)) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (- t x)) (cbrt (sqrt (- t x))))
  (* (cbrt (- t x)) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (+ (sqrt t) (sqrt x))))
  (* (cbrt (- t x)) (cbrt 1))
  (* (cbrt (- t x)) (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x)))))
  (* (cbrt (- t x)) (sqrt (cbrt (- t x))))
  (* (cbrt (- t x)) 1)
  (* (cbrt (cbrt (- t x))) (cbrt (- t x)))
  (* (cbrt (sqrt (- t x))) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (cbrt (- t x))) (cbrt (- t x)))
  (* (sqrt (cbrt (- t x))) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (- t x)) (cbrt (- (* t t) (* x x))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- t x)))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- t x)))
  (- (exp (* 1/3 (+ (log x) (log (neg 1))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))) (* 1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log x) (log (neg 1))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))) (* 1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log x) (log (neg 1))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))) (* 1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log 1) (* 4 (log x))))))) (* 2/3 (* t (exp (* 1/3 (- (log 1) (log x))))))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 t))))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 t))))))
0.559 * * [simplify]: iteration  0 :  287  enodes  (cost  793 )
0.564 * * [simplify]: iteration  1 :  868  enodes  (cost  756 )
0.583 * * [simplify]: iteration  2 :  3985  enodes  (cost  674 )
0.667 * * [simplify]: iteration  3 :  5002  enodes  (cost  652 )
0.671 * [simplify]: Simplified to:
   (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  1
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  1
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (- t x)
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  1
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  1
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (- t x)
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  1
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  1
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (- t x)
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  2/3
  2
  (pow (cbrt (- t x)) 6)
  (pow (sqrt (cbrt (- t x))) 4)
  2
  (* 2 (log (cbrt (- t x))))
  (* 2 (log (cbrt (- t x))))
  (exp (* (cbrt (- t x)) (cbrt (- t x))))
  (pow (cbrt (- t x)) 6)
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (pow (cbrt (- t x)) 6)
  (fabs (cbrt (- t x)))
  (fabs (cbrt (- t x)))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ (* t t) (+ (* x x) (* t x)))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ t x)))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ t x)))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ t x)) (cbrt (+ t x)))
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  1
  (pow (sqrt (cbrt (- t x))) 4)
  1
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (+ (sqrt t) (sqrt x))) (cbrt (+ (sqrt t) (sqrt x))))
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- (sqrt t) (sqrt x))))
  1
  (pow (sqrt (cbrt (- t x))) 4)
  1
  (pow (sqrt (cbrt (- t x))) 4)
  (pow (cbrt (cbrt (- t x))) 4)
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (- t x))
  (cbrt (- t x))
  1
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (cbrt (- t x))
  (cbrt (- t x))
  2/3
  2
  (* (cbrt (- t x)) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (- t x)) (cbrt (sqrt (- t x))))
  (cbrt (- t x))
  (* (cbrt (- t x)) (cbrt (+ (sqrt t) (sqrt x))))
  (cbrt (- t x))
  (pow (cbrt (cbrt (- t x))) 5)
  (pow (sqrt (cbrt (- t x))) 3)
  (cbrt (- t x))
  (pow (cbrt (cbrt (- t x))) 4)
  (* (cbrt (- t x)) (cbrt (sqrt (- t x))))
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- t x)))
  (pow (sqrt (cbrt (- t x))) 4)
  (pow (cbrt (cbrt (- t x))) 4)
  (pow (sqrt (cbrt (- t x))) 3)
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (- t x)) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (- t x)) (cbrt (- (* t t) (* x x))))
  (* (cbrt (- t x)) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (- t x)) (cbrt (- (* t t) (* x x))))
  (+ (+ (* (pow -1 1/3) (pow x 1/3)) (* -1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))) (* -1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))))
  (pow t 1/3)
  (pow t 1/3)
  (+ (+ (* (pow -1 1/3) (pow x 1/3)) (* -1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))) (* -1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))))
  (pow t 1/3)
  (pow t 1/3)
  (+ (+ (* (pow -1 1/3) (pow x 1/3)) (* -1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))) (* -1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))))
  (pow t 1/3)
  (pow t 1/3)
  (+ (+ (* (pow x 2/3) (pow 1 1/3)) (* -2/3 (* t (exp (* 1/3 (- (log 1) (log x))))))) (* (neg (* 1/9 (pow t 2))) (pow (exp 1/3) (+ (* -4 (log x)) 0))))
  (pow t 2/3)
  (pow (/ -1 t) -2/3)
0.671 * * * [progress]: adding candidates to table
0.770 * [progress]: [Phase 3 of 3] Extracting.
0.771 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>)
0.771 * * * [regime-changes]: Trying 5 branch expressions: ((- y z) t z y x)
0.771 * * * * [regimes]: Trying to branch on (- y z) from (#<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>)
0.818 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>)
0.864 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>)
0.910 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>)
0.956 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>)
1.000 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.000 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (+ (* (- y z) t) (* (- y z) (neg x))))
1.001 * * [simplify]: iteration  0 :  16  enodes  (cost  7 )
1.001 * * [simplify]: iteration  1 :  20  enodes  (cost  7 )
1.001 * * [simplify]: iteration  2 :  21  enodes  (cost  7 )
1.002 * * [simplify]: iteration  3 :  21  enodes  (cost  7 )
1.002 * [simplify]: Simplified to:
   (+ x (+ (* (- y z) t) (* (- y z) (neg x))))
2.218 * [regime-testing]: Baseline error score: 0.029003625453181647
2.219 * [regime-testing]: Oracle error score: 0.025503187898487312
2.220 * [regime-testing]: End program error score: 0.029003625453181647
2.313 * [regime-testing]: Target error score: 0.029003625453181647