28.251 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.146 * * * [progress]: [2/2] Setting up program.
0.149 * [progress]: [Phase 2 of 3] Improving.
0.150 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.152 * * [simplify]: iteration  0 :  27  enodes  (cost  9 )
0.153 * * [simplify]: iteration  1 :  59  enodes  (cost  9 )
0.155 * * [simplify]: iteration  2 :  153  enodes  (cost  9 )
0.157 * * [simplify]: iteration  3 :  360  enodes  (cost  9 )
0.163 * * [simplify]: iteration  4 :  813  enodes  (cost  9 )
0.173 * * [simplify]: iteration  5 :  1639  enodes  (cost  9 )
0.189 * * [simplify]: iteration  6 :  3143  enodes  (cost  9 )
0.208 * * [simplify]: iteration  7 :  5001  enodes  (cost  9 )
0.208 * [simplify]: Simplified to:
   (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
0.208 * * [progress]: iteration 1 / 4
0.208 * * * [progress]: picking best candidate
0.211 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))>
0.211 * * * [progress]: localizing error
0.226 * * * [progress]: generating rewritten candidates
0.226 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.233 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.240 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.254 * * * [progress]: generating series expansions
0.254 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.255 * [approximate]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in (x y z) around 0
0.255 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in z
0.255 * [taylor]: Taking taylor expansion of (log (+ x y)) in z
0.255 * [taylor]: Taking taylor expansion of (+ x y) in z
0.255 * [taylor]: Taking taylor expansion of x in z
0.255 * [taylor]: Taking taylor expansion of y in z
0.255 * [taylor]: Taking taylor expansion of (log z) in z
0.255 * [taylor]: Taking taylor expansion of z in z
0.255 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in y
0.255 * [taylor]: Taking taylor expansion of (log (+ x y)) in y
0.255 * [taylor]: Taking taylor expansion of (+ x y) in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of (log z) in y
0.255 * [taylor]: Taking taylor expansion of z in y
0.255 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in x
0.255 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
0.255 * [taylor]: Taking taylor expansion of (+ x y) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of (log z) in x
0.256 * [taylor]: Taking taylor expansion of z in x
0.256 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in x
0.256 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
0.256 * [taylor]: Taking taylor expansion of (+ x y) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of (log z) in x
0.256 * [taylor]: Taking taylor expansion of z in x
0.256 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in y
0.256 * [taylor]: Taking taylor expansion of (log z) in y
0.256 * [taylor]: Taking taylor expansion of z in y
0.256 * [taylor]: Taking taylor expansion of (log y) in y
0.256 * [taylor]: Taking taylor expansion of y in y
0.257 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in z
0.257 * [taylor]: Taking taylor expansion of (log z) in z
0.257 * [taylor]: Taking taylor expansion of z in z
0.257 * [taylor]: Taking taylor expansion of (log y) in z
0.257 * [taylor]: Taking taylor expansion of y in z
0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.259 * [taylor]: Taking taylor expansion of y in y
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.261 * [taylor]: Taking taylor expansion of 0 in z
0.264 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
0.264 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
0.264 * [taylor]: Taking taylor expansion of 1/2 in y
0.264 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.264 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.264 * [taylor]: Taking taylor expansion of y in y
0.270 * [taylor]: Taking taylor expansion of 0 in z
0.271 * [taylor]: Taking taylor expansion of 0 in z
0.273 * [taylor]: Taking taylor expansion of 0 in z
0.273 * [approximate]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
0.273 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in z
0.273 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.273 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.274 * [taylor]: Taking taylor expansion of z in z
0.274 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in z
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.274 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.274 * [taylor]: Taking taylor expansion of y in z
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.274 * [taylor]: Taking taylor expansion of x in z
0.274 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in y
0.274 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.274 * [taylor]: Taking taylor expansion of z in y
0.274 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in y
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.274 * [taylor]: Taking taylor expansion of y in y
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.275 * [taylor]: Taking taylor expansion of x in y
0.275 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
0.275 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.275 * [taylor]: Taking taylor expansion of z in x
0.275 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.275 * [taylor]: Taking taylor expansion of y in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
0.276 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.276 * [taylor]: Taking taylor expansion of z in x
0.276 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.276 * [taylor]: Taking taylor expansion of y in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log x)) in y
0.278 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.278 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.278 * [taylor]: Taking taylor expansion of z in y
0.278 * [taylor]: Taking taylor expansion of (log x) in y
0.278 * [taylor]: Taking taylor expansion of x in y
0.278 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log x)) in z
0.278 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.278 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.278 * [taylor]: Taking taylor expansion of z in z
0.279 * [taylor]: Taking taylor expansion of (log x) in z
0.279 * [taylor]: Taking taylor expansion of x in z
0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.281 * [taylor]: Taking taylor expansion of y in y
0.281 * [taylor]: Taking taylor expansion of 0 in z
0.283 * [taylor]: Taking taylor expansion of 0 in z
0.288 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
0.288 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
0.288 * [taylor]: Taking taylor expansion of 1/2 in y
0.288 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.288 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.288 * [taylor]: Taking taylor expansion of y in y
0.291 * [taylor]: Taking taylor expansion of 0 in z
0.291 * [taylor]: Taking taylor expansion of 0 in z
0.294 * [taylor]: Taking taylor expansion of 0 in z
0.294 * [approximate]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in (x y z) around 0
0.294 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in z
0.294 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in z
0.294 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z
0.294 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.294 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.294 * [taylor]: Taking taylor expansion of y in z
0.294 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.294 * [taylor]: Taking taylor expansion of x in z
0.295 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.295 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.295 * [taylor]: Taking taylor expansion of -1 in z
0.295 * [taylor]: Taking taylor expansion of z in z
0.295 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in y
0.295 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in y
0.295 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y
0.295 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.295 * [taylor]: Taking taylor expansion of y in y
0.296 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.296 * [taylor]: Taking taylor expansion of x in y
0.297 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.297 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.297 * [taylor]: Taking taylor expansion of -1 in y
0.297 * [taylor]: Taking taylor expansion of z in y
0.297 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in x
0.297 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
0.297 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
0.297 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.297 * [taylor]: Taking taylor expansion of y in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.298 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
0.298 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.298 * [taylor]: Taking taylor expansion of -1 in x
0.298 * [taylor]: Taking taylor expansion of z in x
0.298 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in x
0.298 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
0.298 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
0.298 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.298 * [taylor]: Taking taylor expansion of y in x
0.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.298 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
0.299 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.299 * [taylor]: Taking taylor expansion of -1 in x
0.299 * [taylor]: Taking taylor expansion of z in x
0.300 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log (/ -1 z))) (log x)) in y
0.300 * [taylor]: Taking taylor expansion of (+ (log -1) (log (/ -1 z))) in y
0.300 * [taylor]: Taking taylor expansion of (log -1) in y
0.301 * [taylor]: Taking taylor expansion of -1 in y
0.301 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.301 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.301 * [taylor]: Taking taylor expansion of -1 in y
0.301 * [taylor]: Taking taylor expansion of z in y
0.301 * [taylor]: Taking taylor expansion of (log x) in y
0.301 * [taylor]: Taking taylor expansion of x in y
0.302 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log (/ -1 z))) (log x)) in z
0.302 * [taylor]: Taking taylor expansion of (+ (log -1) (log (/ -1 z))) in z
0.302 * [taylor]: Taking taylor expansion of (log -1) in z
0.302 * [taylor]: Taking taylor expansion of -1 in z
0.302 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.302 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.302 * [taylor]: Taking taylor expansion of -1 in z
0.302 * [taylor]: Taking taylor expansion of z in z
0.302 * [taylor]: Taking taylor expansion of (log x) in z
0.303 * [taylor]: Taking taylor expansion of x in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.307 * [taylor]: Taking taylor expansion of y in y
0.307 * [taylor]: Taking taylor expansion of 0 in z
0.310 * [taylor]: Taking taylor expansion of 0 in z
0.317 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
0.317 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
0.317 * [taylor]: Taking taylor expansion of 1/2 in y
0.317 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.317 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.317 * [taylor]: Taking taylor expansion of y in y
0.320 * [taylor]: Taking taylor expansion of 0 in z
0.321 * [taylor]: Taking taylor expansion of 0 in z
0.325 * [taylor]: Taking taylor expansion of 0 in z
0.325 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.326 * [approximate]: Taking taylor expansion of (* (log t) (- a 0.5)) in (a t) around 0
0.326 * [taylor]: Taking taylor expansion of (* (log t) (- a 0.5)) in t
0.326 * [taylor]: Taking taylor expansion of (log t) in t
0.326 * [taylor]: Taking taylor expansion of t in t
0.326 * [taylor]: Taking taylor expansion of (- a 0.5) in t
0.326 * [taylor]: Taking taylor expansion of a in t
0.326 * [taylor]: Taking taylor expansion of 0.5 in t
0.326 * [taylor]: Taking taylor expansion of (* (log t) (- a 0.5)) in a
0.326 * [taylor]: Taking taylor expansion of (log t) in a
0.326 * [taylor]: Taking taylor expansion of t in a
0.326 * [taylor]: Taking taylor expansion of (- a 0.5) in a
0.326 * [taylor]: Taking taylor expansion of a in a
0.326 * [taylor]: Taking taylor expansion of 0.5 in a
0.326 * [taylor]: Taking taylor expansion of (* (log t) (- a 0.5)) in a
0.326 * [taylor]: Taking taylor expansion of (log t) in a
0.326 * [taylor]: Taking taylor expansion of t in a
0.326 * [taylor]: Taking taylor expansion of (- a 0.5) in a
0.326 * [taylor]: Taking taylor expansion of a in a
0.326 * [taylor]: Taking taylor expansion of 0.5 in a
0.327 * [taylor]: Taking taylor expansion of (* -0.5 (log t)) in t
0.327 * [taylor]: Taking taylor expansion of -0.5 in t
0.327 * [taylor]: Taking taylor expansion of (log t) in t
0.327 * [taylor]: Taking taylor expansion of t in t
0.329 * [taylor]: Taking taylor expansion of (log t) in t
0.329 * [taylor]: Taking taylor expansion of t in t
0.333 * [taylor]: Taking taylor expansion of 0 in t
0.338 * [taylor]: Taking taylor expansion of 0 in t
0.339 * [approximate]: Taking taylor expansion of (* (log (/ 1 t)) (- (/ 1 a) 0.5)) in (a t) around 0
0.339 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) (- (/ 1 a) 0.5)) in t
0.339 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.339 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.339 * [taylor]: Taking taylor expansion of t in t
0.339 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in t
0.339 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.339 * [taylor]: Taking taylor expansion of a in t
0.339 * [taylor]: Taking taylor expansion of 0.5 in t
0.339 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) (- (/ 1 a) 0.5)) in a
0.339 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
0.339 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.339 * [taylor]: Taking taylor expansion of t in a
0.340 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
0.340 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.340 * [taylor]: Taking taylor expansion of a in a
0.340 * [taylor]: Taking taylor expansion of 0.5 in a
0.340 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) (- (/ 1 a) 0.5)) in a
0.340 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
0.340 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.340 * [taylor]: Taking taylor expansion of t in a
0.340 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
0.340 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.340 * [taylor]: Taking taylor expansion of a in a
0.340 * [taylor]: Taking taylor expansion of 0.5 in a
0.341 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.341 * [taylor]: Taking taylor expansion of t in t
0.344 * [taylor]: Taking taylor expansion of (- (* 0.5 (log (/ 1 t)))) in t
0.344 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in t
0.344 * [taylor]: Taking taylor expansion of 0.5 in t
0.344 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.344 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.344 * [taylor]: Taking taylor expansion of t in t
0.348 * [taylor]: Taking taylor expansion of 0 in t
0.358 * [taylor]: Taking taylor expansion of 0 in t
0.358 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) 0.5) (log (/ -1 t)))) in (a t) around 0
0.358 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) 0.5) (log (/ -1 t)))) in t
0.358 * [taylor]: Taking taylor expansion of -1 in t
0.358 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) 0.5) (log (/ -1 t))) in t
0.358 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in t
0.358 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.358 * [taylor]: Taking taylor expansion of a in t
0.358 * [taylor]: Taking taylor expansion of 0.5 in t
0.358 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.358 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.358 * [taylor]: Taking taylor expansion of -1 in t
0.358 * [taylor]: Taking taylor expansion of t in t
0.359 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) 0.5) (log (/ -1 t)))) in a
0.359 * [taylor]: Taking taylor expansion of -1 in a
0.359 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) 0.5) (log (/ -1 t))) in a
0.359 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
0.359 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.359 * [taylor]: Taking taylor expansion of a in a
0.359 * [taylor]: Taking taylor expansion of 0.5 in a
0.359 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
0.359 * [taylor]: Taking taylor expansion of (/ -1 t) in a
0.359 * [taylor]: Taking taylor expansion of -1 in a
0.359 * [taylor]: Taking taylor expansion of t in a
0.359 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) 0.5) (log (/ -1 t)))) in a
0.359 * [taylor]: Taking taylor expansion of -1 in a
0.359 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) 0.5) (log (/ -1 t))) in a
0.359 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
0.359 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.359 * [taylor]: Taking taylor expansion of a in a
0.359 * [taylor]: Taking taylor expansion of 0.5 in a
0.360 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
0.360 * [taylor]: Taking taylor expansion of (/ -1 t) in a
0.360 * [taylor]: Taking taylor expansion of -1 in a
0.360 * [taylor]: Taking taylor expansion of t in a
0.360 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 t))) in t
0.360 * [taylor]: Taking taylor expansion of -1 in t
0.360 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.360 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.360 * [taylor]: Taking taylor expansion of -1 in t
0.360 * [taylor]: Taking taylor expansion of t in t
0.363 * [taylor]: Taking taylor expansion of (- (* 0.5 (log (/ -1 t)))) in t
0.363 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in t
0.364 * [taylor]: Taking taylor expansion of 0.5 in t
0.364 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.364 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.364 * [taylor]: Taking taylor expansion of -1 in t
0.364 * [taylor]: Taking taylor expansion of t in t
0.371 * [taylor]: Taking taylor expansion of 0 in t
0.380 * [taylor]: Taking taylor expansion of 0 in t
0.381 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.382 * [approximate]: Taking taylor expansion of (- (+ (log (+ x y)) (+ (* (log t) a) (log z))) (+ t (* 0.5 (log t)))) in (x y z t a) around 0
0.382 * [taylor]: Taking taylor expansion of (- (+ (log (+ x y)) (+ (* (log t) a) (log z))) (+ t (* 0.5 (log t)))) in a
0.382 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (+ (* (log t) a) (log z))) in a
0.382 * [taylor]: Taking taylor expansion of (log (+ x y)) in a
0.382 * [taylor]: Taking taylor expansion of (+ x y) in a
0.382 * [taylor]: Taking taylor expansion of x in a
0.382 * [taylor]: Taking taylor expansion of y in a
0.382 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (log z)) in a
0.382 * [taylor]: Taking taylor expansion of (* (log t) a) in a
0.382 * [taylor]: Taking taylor expansion of (log t) in a
0.382 * [taylor]: Taking taylor expansion of t in a
0.382 * [taylor]: Taking taylor expansion of a in a
0.382 * [taylor]: Taking taylor expansion of (log z) in a
0.382 * [taylor]: Taking taylor expansion of z in a
0.382 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in a
0.382 * [taylor]: Taking taylor expansion of t in a
0.382 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in a
0.382 * [taylor]: Taking taylor expansion of 0.5 in a
0.382 * [taylor]: Taking taylor expansion of (log t) in a
0.382 * [taylor]: Taking taylor expansion of t in a
0.382 * [taylor]: Taking taylor expansion of (- (+ (log (+ x y)) (+ (* (log t) a) (log z))) (+ t (* 0.5 (log t)))) in t
0.382 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (+ (* (log t) a) (log z))) in t
0.382 * [taylor]: Taking taylor expansion of (log (+ x y)) in t
0.382 * [taylor]: Taking taylor expansion of (+ x y) in t
0.382 * [taylor]: Taking taylor expansion of x in t
0.382 * [taylor]: Taking taylor expansion of y in t
0.382 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (log z)) in t
0.382 * [taylor]: Taking taylor expansion of (* (log t) a) in t
0.382 * [taylor]: Taking taylor expansion of (log t) in t
0.382 * [taylor]: Taking taylor expansion of t in t
0.383 * [taylor]: Taking taylor expansion of a in t
0.383 * [taylor]: Taking taylor expansion of (log z) in t
0.383 * [taylor]: Taking taylor expansion of z in t
0.383 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in t
0.383 * [taylor]: Taking taylor expansion of t in t
0.383 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in t
0.383 * [taylor]: Taking taylor expansion of 0.5 in t
0.383 * [taylor]: Taking taylor expansion of (log t) in t
0.383 * [taylor]: Taking taylor expansion of t in t
0.383 * [taylor]: Taking taylor expansion of (- (+ (log (+ x y)) (+ (* (log t) a) (log z))) (+ t (* 0.5 (log t)))) in z
0.383 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (+ (* (log t) a) (log z))) in z
0.383 * [taylor]: Taking taylor expansion of (log (+ x y)) in z
0.383 * [taylor]: Taking taylor expansion of (+ x y) in z
0.383 * [taylor]: Taking taylor expansion of x in z
0.383 * [taylor]: Taking taylor expansion of y in z
0.383 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (log z)) in z
0.383 * [taylor]: Taking taylor expansion of (* (log t) a) in z
0.383 * [taylor]: Taking taylor expansion of (log t) in z
0.383 * [taylor]: Taking taylor expansion of t in z
0.383 * [taylor]: Taking taylor expansion of a in z
0.383 * [taylor]: Taking taylor expansion of (log z) in z
0.383 * [taylor]: Taking taylor expansion of z in z
0.384 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in z
0.384 * [taylor]: Taking taylor expansion of t in z
0.384 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in z
0.384 * [taylor]: Taking taylor expansion of 0.5 in z
0.384 * [taylor]: Taking taylor expansion of (log t) in z
0.384 * [taylor]: Taking taylor expansion of t in z
0.384 * [taylor]: Taking taylor expansion of (- (+ (log (+ x y)) (+ (* (log t) a) (log z))) (+ t (* 0.5 (log t)))) in y
0.384 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (+ (* (log t) a) (log z))) in y
0.384 * [taylor]: Taking taylor expansion of (log (+ x y)) in y
0.384 * [taylor]: Taking taylor expansion of (+ x y) in y
0.384 * [taylor]: Taking taylor expansion of x in y
0.384 * [taylor]: Taking taylor expansion of y in y
0.384 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (log z)) in y
0.384 * [taylor]: Taking taylor expansion of (* (log t) a) in y
0.384 * [taylor]: Taking taylor expansion of (log t) in y
0.384 * [taylor]: Taking taylor expansion of t in y
0.384 * [taylor]: Taking taylor expansion of a in y
0.384 * [taylor]: Taking taylor expansion of (log z) in y
0.384 * [taylor]: Taking taylor expansion of z in y
0.384 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in y
0.384 * [taylor]: Taking taylor expansion of t in y
0.384 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in y
0.384 * [taylor]: Taking taylor expansion of 0.5 in y
0.384 * [taylor]: Taking taylor expansion of (log t) in y
0.384 * [taylor]: Taking taylor expansion of t in y
0.384 * [taylor]: Taking taylor expansion of (- (+ (log (+ x y)) (+ (* (log t) a) (log z))) (+ t (* 0.5 (log t)))) in x
0.384 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (+ (* (log t) a) (log z))) in x
0.384 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
0.384 * [taylor]: Taking taylor expansion of (+ x y) in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of y in x
0.384 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (log z)) in x
0.384 * [taylor]: Taking taylor expansion of (* (log t) a) in x
0.384 * [taylor]: Taking taylor expansion of (log t) in x
0.384 * [taylor]: Taking taylor expansion of t in x
0.384 * [taylor]: Taking taylor expansion of a in x
0.384 * [taylor]: Taking taylor expansion of (log z) in x
0.385 * [taylor]: Taking taylor expansion of z in x
0.385 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in x
0.385 * [taylor]: Taking taylor expansion of t in x
0.385 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in x
0.385 * [taylor]: Taking taylor expansion of 0.5 in x
0.385 * [taylor]: Taking taylor expansion of (log t) in x
0.385 * [taylor]: Taking taylor expansion of t in x
0.385 * [taylor]: Taking taylor expansion of (- (+ (log (+ x y)) (+ (* (log t) a) (log z))) (+ t (* 0.5 (log t)))) in x
0.385 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (+ (* (log t) a) (log z))) in x
0.385 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
0.385 * [taylor]: Taking taylor expansion of (+ x y) in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.385 * [taylor]: Taking taylor expansion of y in x
0.385 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (log z)) in x
0.385 * [taylor]: Taking taylor expansion of (* (log t) a) in x
0.385 * [taylor]: Taking taylor expansion of (log t) in x
0.385 * [taylor]: Taking taylor expansion of t in x
0.385 * [taylor]: Taking taylor expansion of a in x
0.385 * [taylor]: Taking taylor expansion of (log z) in x
0.385 * [taylor]: Taking taylor expansion of z in x
0.385 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in x
0.385 * [taylor]: Taking taylor expansion of t in x
0.385 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in x
0.385 * [taylor]: Taking taylor expansion of 0.5 in x
0.385 * [taylor]: Taking taylor expansion of (log t) in x
0.385 * [taylor]: Taking taylor expansion of t in x
0.386 * [taylor]: Taking taylor expansion of (- (+ (* (log t) a) (+ (log z) (log y))) (+ t (* 0.5 (log t)))) in y
0.386 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (+ (log z) (log y))) in y
0.386 * [taylor]: Taking taylor expansion of (* (log t) a) in y
0.386 * [taylor]: Taking taylor expansion of (log t) in y
0.386 * [taylor]: Taking taylor expansion of t in y
0.386 * [taylor]: Taking taylor expansion of a in y
0.386 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in y
0.386 * [taylor]: Taking taylor expansion of (log z) in y
0.386 * [taylor]: Taking taylor expansion of z in y
0.386 * [taylor]: Taking taylor expansion of (log y) in y
0.386 * [taylor]: Taking taylor expansion of y in y
0.386 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in y
0.386 * [taylor]: Taking taylor expansion of t in y
0.386 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in y
0.386 * [taylor]: Taking taylor expansion of 0.5 in y
0.386 * [taylor]: Taking taylor expansion of (log t) in y
0.386 * [taylor]: Taking taylor expansion of t in y
0.387 * [taylor]: Taking taylor expansion of (- (+ (* (log t) a) (+ (log z) (log y))) (+ t (* 0.5 (log t)))) in z
0.387 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (+ (log z) (log y))) in z
0.387 * [taylor]: Taking taylor expansion of (* (log t) a) in z
0.387 * [taylor]: Taking taylor expansion of (log t) in z
0.387 * [taylor]: Taking taylor expansion of t in z
0.387 * [taylor]: Taking taylor expansion of a in z
0.387 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in z
0.387 * [taylor]: Taking taylor expansion of (log z) in z
0.387 * [taylor]: Taking taylor expansion of z in z
0.387 * [taylor]: Taking taylor expansion of (log y) in z
0.387 * [taylor]: Taking taylor expansion of y in z
0.387 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in z
0.387 * [taylor]: Taking taylor expansion of t in z
0.387 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in z
0.387 * [taylor]: Taking taylor expansion of 0.5 in z
0.387 * [taylor]: Taking taylor expansion of (log t) in z
0.387 * [taylor]: Taking taylor expansion of t in z
0.388 * [taylor]: Taking taylor expansion of (- (+ (* (log t) a) (+ (log z) (log y))) (+ t (* 0.5 (log t)))) in t
0.388 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (+ (log z) (log y))) in t
0.388 * [taylor]: Taking taylor expansion of (* (log t) a) in t
0.388 * [taylor]: Taking taylor expansion of (log t) in t
0.388 * [taylor]: Taking taylor expansion of t in t
0.388 * [taylor]: Taking taylor expansion of a in t
0.389 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in t
0.389 * [taylor]: Taking taylor expansion of (log z) in t
0.389 * [taylor]: Taking taylor expansion of z in t
0.389 * [taylor]: Taking taylor expansion of (log y) in t
0.389 * [taylor]: Taking taylor expansion of y in t
0.389 * [taylor]: Taking taylor expansion of (+ t (* 0.5 (log t))) in t
0.389 * [taylor]: Taking taylor expansion of t in t
0.389 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in t
0.389 * [taylor]: Taking taylor expansion of 0.5 in t
0.389 * [taylor]: Taking taylor expansion of (log t) in t
0.389 * [taylor]: Taking taylor expansion of t in t
0.390 * [taylor]: Taking taylor expansion of (- (+ (* (log t) a) (+ (log z) (log y))) (* 0.5 (log t))) in a
0.390 * [taylor]: Taking taylor expansion of (+ (* (log t) a) (+ (log z) (log y))) in a
0.390 * [taylor]: Taking taylor expansion of (* (log t) a) in a
0.390 * [taylor]: Taking taylor expansion of (log t) in a
0.390 * [taylor]: Taking taylor expansion of t in a
0.390 * [taylor]: Taking taylor expansion of a in a
0.390 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in a
0.390 * [taylor]: Taking taylor expansion of (log z) in a
0.390 * [taylor]: Taking taylor expansion of z in a
0.390 * [taylor]: Taking taylor expansion of (log y) in a
0.390 * [taylor]: Taking taylor expansion of y in a
0.390 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in a
0.390 * [taylor]: Taking taylor expansion of 0.5 in a
0.390 * [taylor]: Taking taylor expansion of (log t) in a
0.390 * [taylor]: Taking taylor expansion of t in a
0.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.394 * [taylor]: Taking taylor expansion of y in y
0.394 * [taylor]: Taking taylor expansion of 0 in z
0.394 * [taylor]: Taking taylor expansion of 0 in t
0.394 * [taylor]: Taking taylor expansion of 0 in a
0.398 * [taylor]: Taking taylor expansion of 0 in z
0.398 * [taylor]: Taking taylor expansion of 0 in t
0.398 * [taylor]: Taking taylor expansion of 0 in a
0.401 * [taylor]: Taking taylor expansion of 0 in t
0.401 * [taylor]: Taking taylor expansion of 0 in a
0.406 * [taylor]: Taking taylor expansion of -1 in a
0.410 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) (+ (* 0.5 (log (/ 1 t))) (/ 1 t))) in (x y z t a) around 0
0.410 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) (+ (* 0.5 (log (/ 1 t))) (/ 1 t))) in a
0.410 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) in a
0.410 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in a
0.410 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
0.410 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.410 * [taylor]: Taking taylor expansion of t in a
0.410 * [taylor]: Taking taylor expansion of a in a
0.410 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in a
0.410 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in a
0.410 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.410 * [taylor]: Taking taylor expansion of z in a
0.410 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in a
0.410 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
0.410 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.410 * [taylor]: Taking taylor expansion of y in a
0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.410 * [taylor]: Taking taylor expansion of x in a
0.411 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (/ 1 t)) in a
0.411 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in a
0.411 * [taylor]: Taking taylor expansion of 0.5 in a
0.411 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.411 * [taylor]: Taking taylor expansion of t in a
0.411 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.411 * [taylor]: Taking taylor expansion of t in a
0.411 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) (+ (* 0.5 (log (/ 1 t))) (/ 1 t))) in t
0.411 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) in t
0.411 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in t
0.411 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.411 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.411 * [taylor]: Taking taylor expansion of t in t
0.411 * [taylor]: Taking taylor expansion of a in t
0.412 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in t
0.412 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in t
0.412 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.412 * [taylor]: Taking taylor expansion of z in t
0.412 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in t
0.412 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.412 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.412 * [taylor]: Taking taylor expansion of y in t
0.412 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.412 * [taylor]: Taking taylor expansion of x in t
0.412 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (/ 1 t)) in t
0.412 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in t
0.412 * [taylor]: Taking taylor expansion of 0.5 in t
0.412 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.412 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.412 * [taylor]: Taking taylor expansion of t in t
0.413 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.413 * [taylor]: Taking taylor expansion of t in t
0.413 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) (+ (* 0.5 (log (/ 1 t))) (/ 1 t))) in z
0.413 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) in z
0.413 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in z
0.413 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.413 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.413 * [taylor]: Taking taylor expansion of t in z
0.413 * [taylor]: Taking taylor expansion of a in z
0.413 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in z
0.413 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.413 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.413 * [taylor]: Taking taylor expansion of z in z
0.414 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in z
0.414 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.414 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.414 * [taylor]: Taking taylor expansion of y in z
0.414 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.414 * [taylor]: Taking taylor expansion of x in z
0.414 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (/ 1 t)) in z
0.414 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in z
0.414 * [taylor]: Taking taylor expansion of 0.5 in z
0.414 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.414 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.414 * [taylor]: Taking taylor expansion of t in z
0.414 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.414 * [taylor]: Taking taylor expansion of t in z
0.414 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) (+ (* 0.5 (log (/ 1 t))) (/ 1 t))) in y
0.414 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) in y
0.414 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in y
0.414 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.414 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.414 * [taylor]: Taking taylor expansion of t in y
0.415 * [taylor]: Taking taylor expansion of a in y
0.415 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in y
0.415 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.415 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.415 * [taylor]: Taking taylor expansion of z in y
0.415 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in y
0.415 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.415 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.415 * [taylor]: Taking taylor expansion of y in y
0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.415 * [taylor]: Taking taylor expansion of x in y
0.416 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (/ 1 t)) in y
0.416 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in y
0.416 * [taylor]: Taking taylor expansion of 0.5 in y
0.416 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.416 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.416 * [taylor]: Taking taylor expansion of t in y
0.416 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.416 * [taylor]: Taking taylor expansion of t in y
0.416 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) (+ (* 0.5 (log (/ 1 t))) (/ 1 t))) in x
0.416 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) in x
0.416 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in x
0.416 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.416 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.416 * [taylor]: Taking taylor expansion of t in x
0.416 * [taylor]: Taking taylor expansion of a in x
0.416 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
0.416 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
0.416 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.416 * [taylor]: Taking taylor expansion of z in x
0.416 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.416 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.416 * [taylor]: Taking taylor expansion of y in x
0.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.416 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (/ 1 t)) in x
0.417 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in x
0.417 * [taylor]: Taking taylor expansion of 0.5 in x
0.417 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.417 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.417 * [taylor]: Taking taylor expansion of t in x
0.417 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.417 * [taylor]: Taking taylor expansion of t in x
0.417 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) (+ (* 0.5 (log (/ 1 t))) (/ 1 t))) in x
0.417 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x))))) in x
0.417 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in x
0.417 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.417 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.417 * [taylor]: Taking taylor expansion of t in x
0.417 * [taylor]: Taking taylor expansion of a in x
0.417 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
0.418 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
0.418 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.418 * [taylor]: Taking taylor expansion of z in x
0.418 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
0.418 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.418 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.418 * [taylor]: Taking taylor expansion of y in x
0.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.418 * [taylor]: Taking taylor expansion of x in x
0.418 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (/ 1 t)) in x
0.418 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in x
0.418 * [taylor]: Taking taylor expansion of 0.5 in x
0.418 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.418 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.419 * [taylor]: Taking taylor expansion of t in x
0.419 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.419 * [taylor]: Taking taylor expansion of t in x
0.420 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (log (/ 1 z))) (+ (* 0.5 (log (/ 1 t))) (+ (log x) (/ 1 t)))) in y
0.420 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (log (/ 1 z))) in y
0.420 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in y
0.420 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.420 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.420 * [taylor]: Taking taylor expansion of t in y
0.420 * [taylor]: Taking taylor expansion of a in y
0.420 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
0.420 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.420 * [taylor]: Taking taylor expansion of z in y
0.420 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (+ (log x) (/ 1 t))) in y
0.420 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in y
0.420 * [taylor]: Taking taylor expansion of 0.5 in y
0.420 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.420 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.420 * [taylor]: Taking taylor expansion of t in y
0.420 * [taylor]: Taking taylor expansion of (+ (log x) (/ 1 t)) in y
0.420 * [taylor]: Taking taylor expansion of (log x) in y
0.420 * [taylor]: Taking taylor expansion of x in y
0.420 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.420 * [taylor]: Taking taylor expansion of t in y
0.421 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 t)) a) (log (/ 1 z))) (+ (* 0.5 (log (/ 1 t))) (+ (log x) (/ 1 t)))) in z
0.421 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 t)) a) (log (/ 1 z))) in z
0.421 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in z
0.421 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.421 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.421 * [taylor]: Taking taylor expansion of t in z
0.421 * [taylor]: Taking taylor expansion of a in z
0.421 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.421 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.421 * [taylor]: Taking taylor expansion of z in z
0.421 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ 1 t))) (+ (log x) (/ 1 t))) in z
0.421 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in z
0.421 * [taylor]: Taking taylor expansion of 0.5 in z
0.421 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.421 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.422 * [taylor]: Taking taylor expansion of t in z
0.422 * [taylor]: Taking taylor expansion of (+ (log x) (/ 1 t)) in z
0.422 * [taylor]: Taking taylor expansion of (log x) in z
0.422 * [taylor]: Taking taylor expansion of x in z
0.422 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.422 * [taylor]: Taking taylor expansion of t in z
0.423 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 t)) a) (+ (log z) (+ (log x) (+ (/ 1 t) (* 0.5 (log (/ 1 t))))))) in t
0.423 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) a) in t
0.423 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.423 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.423 * [taylor]: Taking taylor expansion of t in t
0.423 * [taylor]: Taking taylor expansion of a in t
0.424 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (+ (/ 1 t) (* 0.5 (log (/ 1 t)))))) in t
0.424 * [taylor]: Taking taylor expansion of (log z) in t
0.424 * [taylor]: Taking taylor expansion of z in t
0.424 * [taylor]: Taking taylor expansion of (+ (log x) (+ (/ 1 t) (* 0.5 (log (/ 1 t))))) in t
0.424 * [taylor]: Taking taylor expansion of (log x) in t
0.424 * [taylor]: Taking taylor expansion of x in t
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.5 (log (/ 1 t)))) in t
0.424 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.424 * [taylor]: Taking taylor expansion of t in t
0.424 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 t))) in t
0.424 * [taylor]: Taking taylor expansion of 0.5 in t
0.424 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.424 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.424 * [taylor]: Taking taylor expansion of t in t
0.426 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.430 * [taylor]: Taking taylor expansion of y in y
0.431 * [taylor]: Taking taylor expansion of 0 in z
0.431 * [taylor]: Taking taylor expansion of 0 in t
0.434 * [taylor]: Taking taylor expansion of 0 in z
0.434 * [taylor]: Taking taylor expansion of 0 in t
0.438 * [taylor]: Taking taylor expansion of 0 in t
0.440 * [taylor]: Taking taylor expansion of (- (* 0.5 (log t)) (+ (log x) (+ (log z) (/ (log t) a)))) in a
0.440 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in a
0.440 * [taylor]: Taking taylor expansion of 0.5 in a
0.440 * [taylor]: Taking taylor expansion of (log t) in a
0.440 * [taylor]: Taking taylor expansion of t in a
0.440 * [taylor]: Taking taylor expansion of (+ (log x) (+ (log z) (/ (log t) a))) in a
0.440 * [taylor]: Taking taylor expansion of (log x) in a
0.440 * [taylor]: Taking taylor expansion of x in a
0.440 * [taylor]: Taking taylor expansion of (+ (log z) (/ (log t) a)) in a
0.440 * [taylor]: Taking taylor expansion of (log z) in a
0.440 * [taylor]: Taking taylor expansion of z in a
0.440 * [taylor]: Taking taylor expansion of (/ (log t) a) in a
0.440 * [taylor]: Taking taylor expansion of (log t) in a
0.440 * [taylor]: Taking taylor expansion of t in a
0.440 * [taylor]: Taking taylor expansion of a in a
0.450 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
0.450 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
0.450 * [taylor]: Taking taylor expansion of 1/2 in y
0.450 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.450 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.450 * [taylor]: Taking taylor expansion of y in y
0.452 * [taylor]: Taking taylor expansion of 0 in z
0.453 * [taylor]: Taking taylor expansion of 0 in t
0.453 * [taylor]: Taking taylor expansion of 0 in z
0.453 * [taylor]: Taking taylor expansion of 0 in t
0.459 * [taylor]: Taking taylor expansion of 0 in z
0.459 * [taylor]: Taking taylor expansion of 0 in t
0.459 * [taylor]: Taking taylor expansion of 0 in t
0.459 * [taylor]: Taking taylor expansion of 0 in t
0.466 * [taylor]: Taking taylor expansion of 0 in t
0.466 * [taylor]: Taking taylor expansion of 0 in a
0.466 * [taylor]: Taking taylor expansion of 0 in a
0.466 * [taylor]: Taking taylor expansion of 0 in a
0.471 * [taylor]: Taking taylor expansion of 0 in a
0.474 * [approximate]: Taking taylor expansion of (- (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a))) in (x y z t a) around 0
0.474 * [taylor]: Taking taylor expansion of (- (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a))) in a
0.474 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) in a
0.474 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in a
0.474 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in a
0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.474 * [taylor]: Taking taylor expansion of y in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.474 * [taylor]: Taking taylor expansion of x in a
0.475 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in a
0.475 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in a
0.475 * [taylor]: Taking taylor expansion of (/ -1 z) in a
0.475 * [taylor]: Taking taylor expansion of -1 in a
0.475 * [taylor]: Taking taylor expansion of z in a
0.475 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.475 * [taylor]: Taking taylor expansion of t in a
0.475 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a)) in a
0.475 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in a
0.475 * [taylor]: Taking taylor expansion of 0.5 in a
0.475 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
0.475 * [taylor]: Taking taylor expansion of (/ -1 t) in a
0.475 * [taylor]: Taking taylor expansion of -1 in a
0.475 * [taylor]: Taking taylor expansion of t in a
0.475 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in a
0.475 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
0.475 * [taylor]: Taking taylor expansion of (/ -1 t) in a
0.475 * [taylor]: Taking taylor expansion of -1 in a
0.475 * [taylor]: Taking taylor expansion of t in a
0.475 * [taylor]: Taking taylor expansion of a in a
0.475 * [taylor]: Taking taylor expansion of (- (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a))) in t
0.475 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) in t
0.475 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in t
0.475 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in t
0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.475 * [taylor]: Taking taylor expansion of y in t
0.475 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.475 * [taylor]: Taking taylor expansion of x in t
0.476 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in t
0.476 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in t
0.476 * [taylor]: Taking taylor expansion of (/ -1 z) in t
0.476 * [taylor]: Taking taylor expansion of -1 in t
0.476 * [taylor]: Taking taylor expansion of z in t
0.476 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.476 * [taylor]: Taking taylor expansion of t in t
0.476 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a)) in t
0.476 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in t
0.476 * [taylor]: Taking taylor expansion of 0.5 in t
0.476 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.476 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.476 * [taylor]: Taking taylor expansion of -1 in t
0.476 * [taylor]: Taking taylor expansion of t in t
0.477 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in t
0.477 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.477 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.477 * [taylor]: Taking taylor expansion of -1 in t
0.477 * [taylor]: Taking taylor expansion of t in t
0.477 * [taylor]: Taking taylor expansion of a in t
0.479 * [taylor]: Taking taylor expansion of (- (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a))) in z
0.479 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) in z
0.479 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in z
0.479 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z
0.479 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.479 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.479 * [taylor]: Taking taylor expansion of y in z
0.479 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.479 * [taylor]: Taking taylor expansion of x in z
0.479 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
0.479 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.479 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.479 * [taylor]: Taking taylor expansion of -1 in z
0.479 * [taylor]: Taking taylor expansion of z in z
0.480 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.480 * [taylor]: Taking taylor expansion of t in z
0.480 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a)) in z
0.480 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in z
0.480 * [taylor]: Taking taylor expansion of 0.5 in z
0.480 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.480 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.480 * [taylor]: Taking taylor expansion of -1 in z
0.480 * [taylor]: Taking taylor expansion of t in z
0.480 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in z
0.480 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.480 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.480 * [taylor]: Taking taylor expansion of -1 in z
0.480 * [taylor]: Taking taylor expansion of t in z
0.480 * [taylor]: Taking taylor expansion of a in z
0.480 * [taylor]: Taking taylor expansion of (- (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a))) in y
0.480 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) in y
0.480 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in y
0.480 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.480 * [taylor]: Taking taylor expansion of y in y
0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.481 * [taylor]: Taking taylor expansion of x in y
0.481 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
0.482 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.482 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.482 * [taylor]: Taking taylor expansion of -1 in y
0.482 * [taylor]: Taking taylor expansion of z in y
0.482 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.482 * [taylor]: Taking taylor expansion of t in y
0.482 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a)) in y
0.482 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in y
0.482 * [taylor]: Taking taylor expansion of 0.5 in y
0.482 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.482 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.482 * [taylor]: Taking taylor expansion of -1 in y
0.482 * [taylor]: Taking taylor expansion of t in y
0.482 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in y
0.482 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.482 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.482 * [taylor]: Taking taylor expansion of -1 in y
0.482 * [taylor]: Taking taylor expansion of t in y
0.482 * [taylor]: Taking taylor expansion of a in y
0.482 * [taylor]: Taking taylor expansion of (- (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a))) in x
0.482 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) in x
0.482 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
0.482 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.482 * [taylor]: Taking taylor expansion of y in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in x
0.483 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
0.483 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.483 * [taylor]: Taking taylor expansion of -1 in x
0.484 * [taylor]: Taking taylor expansion of z 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 (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a)) in x
0.484 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in x
0.484 * [taylor]: Taking taylor expansion of 0.5 in x
0.484 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.484 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.484 * [taylor]: Taking taylor expansion of -1 in x
0.484 * [taylor]: Taking taylor expansion of t in x
0.484 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in x
0.484 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.484 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.484 * [taylor]: Taking taylor expansion of -1 in x
0.484 * [taylor]: Taking taylor expansion of t in x
0.484 * [taylor]: Taking taylor expansion of a in x
0.484 * [taylor]: Taking taylor expansion of (- (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a))) in x
0.484 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (+ (log (/ -1 z)) (/ 1 t))) in x
0.484 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
0.484 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
0.484 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.484 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.484 * [taylor]: Taking taylor expansion of y in x
0.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in x
0.486 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
0.486 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.486 * [taylor]: Taking taylor expansion of -1 in x
0.486 * [taylor]: Taking taylor expansion of z in x
0.486 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.486 * [taylor]: Taking taylor expansion of t in x
0.486 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 t))) (/ (log (/ -1 t)) a)) in x
0.486 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in x
0.486 * [taylor]: Taking taylor expansion of 0.5 in x
0.486 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.486 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.486 * [taylor]: Taking taylor expansion of -1 in x
0.486 * [taylor]: Taking taylor expansion of t in x
0.486 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in x
0.486 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.486 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.486 * [taylor]: Taking taylor expansion of -1 in x
0.486 * [taylor]: Taking taylor expansion of t in x
0.486 * [taylor]: Taking taylor expansion of a in x
0.488 * [taylor]: Taking taylor expansion of (- (+ (log -1) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (+ (log x) (/ (log (/ -1 t)) a)))) in y
0.488 * [taylor]: Taking taylor expansion of (+ (log -1) (+ (log (/ -1 z)) (/ 1 t))) in y
0.488 * [taylor]: Taking taylor expansion of (log -1) in y
0.488 * [taylor]: Taking taylor expansion of -1 in y
0.488 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in y
0.488 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
0.488 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.488 * [taylor]: Taking taylor expansion of -1 in y
0.488 * [taylor]: Taking taylor expansion of z in y
0.488 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.488 * [taylor]: Taking taylor expansion of t in y
0.488 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 t))) (+ (log x) (/ (log (/ -1 t)) a))) in y
0.488 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in y
0.488 * [taylor]: Taking taylor expansion of 0.5 in y
0.488 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.488 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.488 * [taylor]: Taking taylor expansion of -1 in y
0.488 * [taylor]: Taking taylor expansion of t in y
0.489 * [taylor]: Taking taylor expansion of (+ (log x) (/ (log (/ -1 t)) a)) in y
0.489 * [taylor]: Taking taylor expansion of (log x) in y
0.489 * [taylor]: Taking taylor expansion of x in y
0.489 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in y
0.489 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.489 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.489 * [taylor]: Taking taylor expansion of -1 in y
0.489 * [taylor]: Taking taylor expansion of t in y
0.489 * [taylor]: Taking taylor expansion of a in y
0.490 * [taylor]: Taking taylor expansion of (- (+ (log -1) (+ (log (/ -1 z)) (/ 1 t))) (+ (* 0.5 (log (/ -1 t))) (+ (log x) (/ (log (/ -1 t)) a)))) in z
0.490 * [taylor]: Taking taylor expansion of (+ (log -1) (+ (log (/ -1 z)) (/ 1 t))) in z
0.490 * [taylor]: Taking taylor expansion of (log -1) in z
0.490 * [taylor]: Taking taylor expansion of -1 in z
0.490 * [taylor]: Taking taylor expansion of (+ (log (/ -1 z)) (/ 1 t)) in z
0.490 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
0.490 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.490 * [taylor]: Taking taylor expansion of -1 in z
0.490 * [taylor]: Taking taylor expansion of z in z
0.491 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.491 * [taylor]: Taking taylor expansion of t in z
0.491 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 t))) (+ (log x) (/ (log (/ -1 t)) a))) in z
0.491 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in z
0.491 * [taylor]: Taking taylor expansion of 0.5 in z
0.491 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.491 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.491 * [taylor]: Taking taylor expansion of -1 in z
0.491 * [taylor]: Taking taylor expansion of t in z
0.491 * [taylor]: Taking taylor expansion of (+ (log x) (/ (log (/ -1 t)) a)) in z
0.491 * [taylor]: Taking taylor expansion of (log x) in z
0.491 * [taylor]: Taking taylor expansion of x in z
0.491 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in z
0.491 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.491 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.491 * [taylor]: Taking taylor expansion of -1 in z
0.491 * [taylor]: Taking taylor expansion of t in z
0.491 * [taylor]: Taking taylor expansion of a in z
0.494 * [taylor]: Taking taylor expansion of (- (+ (* 2 (log -1)) (/ 1 t)) (+ (log z) (+ (log x) (+ (/ (log (/ -1 t)) a) (* 0.5 (log (/ -1 t))))))) in t
0.494 * [taylor]: Taking taylor expansion of (+ (* 2 (log -1)) (/ 1 t)) in t
0.494 * [taylor]: Taking taylor expansion of (* 2 (log -1)) in t
0.494 * [taylor]: Taking taylor expansion of 2 in t
0.494 * [taylor]: Taking taylor expansion of (log -1) in t
0.494 * [taylor]: Taking taylor expansion of -1 in t
0.494 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.494 * [taylor]: Taking taylor expansion of t in t
0.495 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (+ (/ (log (/ -1 t)) a) (* 0.5 (log (/ -1 t)))))) in t
0.495 * [taylor]: Taking taylor expansion of (log z) in t
0.495 * [taylor]: Taking taylor expansion of z in t
0.495 * [taylor]: Taking taylor expansion of (+ (log x) (+ (/ (log (/ -1 t)) a) (* 0.5 (log (/ -1 t))))) in t
0.495 * [taylor]: Taking taylor expansion of (log x) in t
0.495 * [taylor]: Taking taylor expansion of x in t
0.495 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) a) (* 0.5 (log (/ -1 t)))) in t
0.495 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) a) in t
0.495 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.495 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.495 * [taylor]: Taking taylor expansion of -1 in t
0.495 * [taylor]: Taking taylor expansion of t in t
0.495 * [taylor]: Taking taylor expansion of a in t
0.497 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 t))) in t
0.497 * [taylor]: Taking taylor expansion of 0.5 in t
0.497 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.497 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.497 * [taylor]: Taking taylor expansion of -1 in t
0.497 * [taylor]: Taking taylor expansion of t in t
0.498 * [taylor]: Taking taylor expansion of 1 in a
0.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.502 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of 0 in z
0.503 * [taylor]: Taking taylor expansion of 0 in t
0.507 * [taylor]: Taking taylor expansion of 0 in z
0.507 * [taylor]: Taking taylor expansion of 0 in t
0.512 * [taylor]: Taking taylor expansion of 0 in t
0.520 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (log t)) (+ (* 1.5 (log -1)) (/ (log t) a))) (+ (log z) (+ (/ (log -1) a) (log x)))) in a
0.520 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log t)) (+ (* 1.5 (log -1)) (/ (log t) a))) in a
0.520 * [taylor]: Taking taylor expansion of (* 0.5 (log t)) in a
0.521 * [taylor]: Taking taylor expansion of 0.5 in a
0.521 * [taylor]: Taking taylor expansion of (log t) in a
0.521 * [taylor]: Taking taylor expansion of t in a
0.521 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log -1)) (/ (log t) a)) in a
0.521 * [taylor]: Taking taylor expansion of (* 1.5 (log -1)) in a
0.521 * [taylor]: Taking taylor expansion of 1.5 in a
0.521 * [taylor]: Taking taylor expansion of (log -1) in a
0.521 * [taylor]: Taking taylor expansion of -1 in a
0.521 * [taylor]: Taking taylor expansion of (/ (log t) a) in a
0.521 * [taylor]: Taking taylor expansion of (log t) in a
0.521 * [taylor]: Taking taylor expansion of t in a
0.521 * [taylor]: Taking taylor expansion of a in a
0.521 * [taylor]: Taking taylor expansion of (+ (log z) (+ (/ (log -1) a) (log x))) in a
0.521 * [taylor]: Taking taylor expansion of (log z) in a
0.521 * [taylor]: Taking taylor expansion of z in a
0.521 * [taylor]: Taking taylor expansion of (+ (/ (log -1) a) (log x)) in a
0.521 * [taylor]: Taking taylor expansion of (/ (log -1) a) in a
0.521 * [taylor]: Taking taylor expansion of (log -1) in a
0.521 * [taylor]: Taking taylor expansion of -1 in a
0.522 * [taylor]: Taking taylor expansion of a in a
0.522 * [taylor]: Taking taylor expansion of (log x) in a
0.522 * [taylor]: Taking taylor expansion of x in a
0.535 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
0.535 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
0.535 * [taylor]: Taking taylor expansion of 1/2 in y
0.535 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.535 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.536 * [taylor]: Taking taylor expansion of y in y
0.538 * [taylor]: Taking taylor expansion of 0 in z
0.538 * [taylor]: Taking taylor expansion of 0 in t
0.539 * [taylor]: Taking taylor expansion of 0 in z
0.539 * [taylor]: Taking taylor expansion of 0 in t
0.547 * [taylor]: Taking taylor expansion of 0 in z
0.547 * [taylor]: Taking taylor expansion of 0 in t
0.547 * [taylor]: Taking taylor expansion of 0 in t
0.547 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in a
0.556 * [taylor]: Taking taylor expansion of 0 in a
0.556 * [taylor]: Taking taylor expansion of 0 in a
0.563 * [taylor]: Taking taylor expansion of 0 in a
0.571 * * * [progress]: simplifying candidates
0.572 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (+ x y) z)
  (log (+ (log (+ x y)) (log z)))
  (exp (+ (log (+ x y)) (log z)))
  (* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
  (cbrt (+ (log (+ x y)) (log z)))
  (* (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (+ (pow (log (+ x y)) 3) (pow (log z) 3))
  (+ (* (log (+ x y)) (log (+ x y))) (- (* (log z) (log z)) (* (log (+ x y)) (log z))))
  (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
  (- (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
  (+ (log (+ x y)) (log (sqrt z)))
  (+ (log (+ x y)) (log 1))
  (+ (log (cbrt (+ x y))) (log z))
  (+ (log (sqrt (+ x y))) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (- (log (+ (* x x) (- (* y y) (* x y)))) (log z))
  (- (log (- x y)) (log z))
  (* (- a 0.5) (log t))
  (+ (log (- a 0.5)) (log (log t)))
  (log (* (- a 0.5) (log t)))
  (exp (* (- a 0.5) (log t)))
  (* (* (* (- a 0.5) (- a 0.5)) (- a 0.5)) (* (* (log t) (log t)) (log t)))
  (* (cbrt (* (- a 0.5) (log t))) (cbrt (* (- a 0.5) (log t))))
  (cbrt (* (- a 0.5) (log t)))
  (* (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))) (* (- a 0.5) (log t)))
  (sqrt (* (- a 0.5) (log t)))
  (sqrt (* (- a 0.5) (log t)))
  (* (sqrt (- a 0.5)) (sqrt (log t)))
  (* (sqrt (- a 0.5)) (sqrt (log t)))
  (* (- a 0.5) (log (* (cbrt t) (cbrt t))))
  (* (- a 0.5) (log (cbrt t)))
  (* (- a 0.5) (log (sqrt t)))
  (* (- a 0.5) (log (sqrt t)))
  (* (- a 0.5) (log 1))
  (* (- a 0.5) (log t))
  (* (log (* (cbrt t) (cbrt t))) (- a 0.5))
  (* (log (cbrt t)) (- a 0.5))
  (* (log (sqrt t)) (- a 0.5))
  (* (log (sqrt t)) (- a 0.5))
  (* (log 1) (- a 0.5))
  (* (log t) (- a 0.5))
  (* (- a 0.5) 1)
  (* (- a 0.5) (* (cbrt (log t)) (cbrt (log t))))
  (* (- a 0.5) (sqrt (log t)))
  (* (- a 0.5) 1)
  (* (cbrt (- a 0.5)) (log t))
  (* (sqrt (- a 0.5)) (log t))
  (* (- a 0.5) (log t))
  (* (- (sqrt a) (sqrt 0.5)) (log t))
  (* (- a 0.5) (log t))
  (* (- (pow a 3) (pow 0.5 3)) (log t))
  (* (- (* a a) (* 0.5 0.5)) (log t))
  (* (/ (* (+ x y) z) (exp t)) (exp (* (- a 0.5) (log t))))
  (* (/ (exp (+ (log (+ x y)) (log z))) (exp t)) (exp (* (- a 0.5) (log t))))
  (* (exp (- (+ (log (+ x y)) (log z)) t)) (exp (* (- a 0.5) (log t))))
  (log (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (exp (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
  (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (* (* (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (sqrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (sqrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
  (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ a 0.5)) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (* a a) (* 0.5 0.5)) (log t))))
  (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (+ a 0.5))
  (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (pow a 3) (pow 0.5 3)) (log t))))
  (* (+ (+ (log (+ x y)) (log z)) t) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t))))
  (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))
  (+ (pow (- (+ (log (+ x y)) (log z)) t) 3) (pow (* (- a 0.5) (log t)) 3))
  (+ (* (- (+ (log (+ x y)) (log z)) t) (- (+ (log (+ x y)) (log z)) t)) (- (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))) (* (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
  (- (* (- (+ (log (+ x y)) (log z)) t) (- (+ (log (+ x y)) (log z)) t)) (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))))
  (- (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (* (cbrt t) (cbrt t)))))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t))))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log 1)))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (log (* (cbrt t) (cbrt t))) (- a 0.5)))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (log 1) (- a 0.5)))
  (+ (- t) (* (- a 0.5) (log t)))
  (+ (- (log z) t) (* (- a 0.5) (log t)))
  (+ (- t) (* (- a 0.5) (log t)))
  (- t (* (- a 0.5) (log t)))
  (+ (log z) (log y))
  (- (+ (log (/ 1 x)) (log (/ 1 z))))
  (- (* 2 (log -1)) (+ (log (/ -1 z)) (log (/ -1 x))))
  (- (* (log t) a) (* 0.5 (log t)))
  (- (* 0.5 (log (/ 1 t))) (* (log (/ 1 t)) a))
  (- (+ (* 0.5 (log (/ -1 t))) (* (log -1) a)) (+ (* 0.5 (log -1)) (* a (log (/ -1 t)))))
  (- (+ (* (log t) a) (+ (log z) (log y))) (+ t (* 0.5 (log t))))
  (- (* 0.5 (log (/ 1 t))) (+ t (+ (* (log (/ 1 t)) a) (+ (log (/ 1 x)) (log (/ 1 z))))))
  (- (+ (* 1.5 (log -1)) (+ (* 0.5 (log (/ -1 t))) (* (log -1) a))) (+ (* a (log (/ -1 t))) (+ (log (/ -1 z)) (+ (log (/ -1 x)) t))))
0.579 * * [simplify]: iteration  0 :  585  enodes  (cost  828 )
0.588 * * [simplify]: iteration  1 :  2140  enodes  (cost  771 )
0.622 * * [simplify]: iteration  2 :  5001  enodes  (cost  755 )
0.626 * [simplify]: Simplified to:
   (* (+ x y) z)
  (log (+ (log (+ x y)) (log z)))
  (* (+ x y) z)
  (* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
  (cbrt (+ (log (+ x y)) (log z)))
  (pow (+ (log (+ x y)) (log z)) 3)
  (sqrt (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (+ (pow (log (+ x y)) 3) (pow (log z) 3))
  (+ (* (log z) (- (log z) (log (+ x y)))) (* (log (+ x y)) (log (+ x y))))
  (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
  (- (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
  (+ (log (+ x y)) (log (sqrt z)))
  (log (+ x y))
  (+ (log (cbrt (+ x y))) (log z))
  (+ (log (sqrt (+ x y))) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (- (log (+ (* x x) (- (* y y) (* x y)))) (log z))
  (- (log (- x y)) (log z))
  (* (- a 0.5) (log t))
  (log (* (- a 0.5) (log t)))
  (log (* (- a 0.5) (log t)))
  (pow t (- a 0.5))
  (pow (* (- a 0.5) (log t)) 3)
  (* (cbrt (* (- a 0.5) (log t))) (cbrt (* (- a 0.5) (log t))))
  (cbrt (* (- a 0.5) (log t)))
  (pow (* (- a 0.5) (log t)) 3)
  (sqrt (* (- a 0.5) (log t)))
  (sqrt (* (- a 0.5) (log t)))
  (* (sqrt (- a 0.5)) (sqrt (log t)))
  (* (sqrt (- a 0.5)) (sqrt (log t)))
  (* (- a 0.5) (* 2 (log (cbrt t))))
  (* (- a 0.5) (log (cbrt t)))
  (* (- a 0.5) (log (sqrt t)))
  (* (- a 0.5) (log (sqrt t)))
  0
  (* (- a 0.5) (log t))
  (* (- a 0.5) (* 2 (log (cbrt t))))
  (* (- a 0.5) (log (cbrt t)))
  (* (- a 0.5) (log (sqrt t)))
  (* (- a 0.5) (log (sqrt t)))
  0
  (* (- a 0.5) (log t))
  (- a 0.5)
  (* (- a 0.5) (* (cbrt (log t)) (cbrt (log t))))
  (* (- a 0.5) (sqrt (log t)))
  (- a 0.5)
  (* (cbrt (- a 0.5)) (log t))
  (* (sqrt (- a 0.5)) (log t))
  (* (- a 0.5) (log t))
  (* (- (sqrt a) (sqrt 0.5)) (log t))
  (* (- a 0.5) (log t))
  (* (- (pow a 3) (pow 0.5 3)) (log t))
  (* (- (* a a) (* 0.5 0.5)) (log t))
  (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))
  (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))
  (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))
  (log (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))
  (* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
  (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (pow (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))) 3)
  (sqrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (sqrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t))))
  (+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (pow a 3) (pow 0.5 3)) (log t))))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (+ (* t (+ t (+ (log (+ x y)) (log z)))) (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z)))))
  (+ (* (- (pow (+ (log (+ x y)) (log z)) 3) (pow t 3)) (+ a 0.5)) (* (+ (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (* t t) (* (+ (log (+ x y)) (log z)) t))) (* (- (* a a) (* 0.5 0.5)) (log t))))
  (* (+ a 0.5) (+ (* t (+ t (+ (log (+ x y)) (log z)))) (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z)))))
  (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (pow a 3) (pow 0.5 3)) (log t))))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (+ (+ (log (+ x y)) (log z)) t))
  (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t))))
  (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))
  (+ (pow (- (+ (log (+ x y)) (log z)) t) 3) (pow (* (- a 0.5) (log t)) 3))
  (+ (* (* (- a 0.5) (log t)) (- (* (- a 0.5) (log t)) (- (+ (log (+ x y)) (log z)) t))) (* (- (+ (log (+ x y)) (log z)) t) (- (+ (log (+ x y)) (log z)) t)))
  (- (* (- (+ (log (+ x y)) (log z)) t) (- (+ (log (+ x y)) (log z)) t)) (* (* (- a 0.5) (log t)) (* (- a 0.5) (log t))))
  (- (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (log (* (cbrt t) (cbrt t))) (- a 0.5)))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
  (- (+ (log (+ x y)) (log z)) t)
  (+ (- (+ (log (+ x y)) (log z)) t) (* (log (* (cbrt t) (cbrt t))) (- a 0.5)))
  (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5)))
  (- (+ (log (+ x y)) (log z)) t)
  (- (* (- a 0.5) (log t)) t)
  (+ (- (log z) t) (* (- a 0.5) (log t)))
  (- (* (- a 0.5) (log t)) t)
  (- t (* (- a 0.5) (log t)))
  (+ (log z) (log y))
  (+ (log z) (log x))
  (- (* 2 (log -1)) (+ (log (/ -1 z)) (log (/ -1 x))))
  (* (- a 0.5) (log t))
  (* (- a 0.5) (log t))
  (- (+ (* 0.5 (log (/ -1 t))) (* (log -1) a)) (+ (* 0.5 (log -1)) (* a (log (/ -1 t)))))
  (- (+ (* (log t) a) (+ (log z) (log y))) (+ t (* 0.5 (log t))))
  (- (+ (+ t (* 0.5 (log t))) (- (+ (* (log t) a) (+ (log z) (log x))))))
  (- (+ (* 1.5 (log -1)) (+ (* 0.5 (log (/ -1 t))) (* (log -1) a))) (+ (* a (log (/ -1 t))) (+ (log (/ -1 z)) (+ (log (/ -1 x)) t))))
0.626 * * * [progress]: adding candidates to table
0.901 * * [progress]: iteration 2 / 4
0.901 * * * [progress]: picking best candidate
0.933 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>
0.933 * * * [progress]: localizing error
0.954 * * * [progress]: generating rewritten candidates
0.954 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1)
0.960 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
0.961 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 2)
0.962 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1)
0.965 * * * [progress]: generating series expansions
0.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1)
0.965 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0
0.965 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
0.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
0.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
0.966 * [taylor]: Taking taylor expansion of 1/3 in z
0.966 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.966 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.966 * [taylor]: Taking taylor expansion of z in z
0.967 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
0.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
0.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
0.967 * [taylor]: Taking taylor expansion of 1/3 in z
0.967 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.967 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.967 * [taylor]: Taking taylor expansion of z in z
1.021 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0
1.021 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.021 * [taylor]: Taking taylor expansion of 1/3 in z
1.021 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.021 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.021 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.021 * [taylor]: Taking taylor expansion of z in z
1.022 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.022 * [taylor]: Taking taylor expansion of 1/3 in z
1.022 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.022 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.079 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0
1.079 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z
1.079 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.079 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.079 * [taylor]: Taking taylor expansion of -1 in z
1.080 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.080 * [taylor]: Taking taylor expansion of 1/3 in z
1.080 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.080 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.081 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z
1.081 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.081 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.081 * [taylor]: Taking taylor expansion of -1 in z
1.082 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.082 * [taylor]: Taking taylor expansion of 1/3 in z
1.082 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.082 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.082 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.082 * [taylor]: Taking taylor expansion of z in z
1.156 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.156 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.156 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.156 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.157 * [taylor]: Taking taylor expansion of 1/3 in z
1.157 * [taylor]: Taking taylor expansion of (log z) in z
1.157 * [taylor]: Taking taylor expansion of z in z
1.157 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.157 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.157 * [taylor]: Taking taylor expansion of 1/3 in z
1.157 * [taylor]: Taking taylor expansion of (log z) in z
1.157 * [taylor]: Taking taylor expansion of z in z
1.203 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.203 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.204 * [taylor]: Taking taylor expansion of 1/3 in z
1.204 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.204 * [taylor]: Taking taylor expansion of z in z
1.204 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.204 * [taylor]: Taking taylor expansion of 1/3 in z
1.205 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.205 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.205 * [taylor]: Taking taylor expansion of z in z
1.257 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.257 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.257 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.257 * [taylor]: Taking taylor expansion of -1 in z
1.258 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.258 * [taylor]: Taking taylor expansion of 1/3 in z
1.258 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.258 * [taylor]: Taking taylor expansion of z in z
1.259 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.259 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.259 * [taylor]: Taking taylor expansion of -1 in z
1.260 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.260 * [taylor]: Taking taylor expansion of 1/3 in z
1.260 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.260 * [taylor]: Taking taylor expansion of z in z
1.325 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 2)
1.325 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.325 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.325 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.325 * [taylor]: Taking taylor expansion of 1/3 in z
1.325 * [taylor]: Taking taylor expansion of (log z) in z
1.325 * [taylor]: Taking taylor expansion of z in z
1.325 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.325 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.325 * [taylor]: Taking taylor expansion of 1/3 in z
1.325 * [taylor]: Taking taylor expansion of (log z) in z
1.325 * [taylor]: Taking taylor expansion of z in z
1.375 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.375 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.375 * [taylor]: Taking taylor expansion of 1/3 in z
1.375 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.375 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.375 * [taylor]: Taking taylor expansion of z in z
1.376 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.376 * [taylor]: Taking taylor expansion of 1/3 in z
1.376 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.376 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.376 * [taylor]: Taking taylor expansion of z in z
1.426 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.426 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.426 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.426 * [taylor]: Taking taylor expansion of -1 in z
1.427 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.427 * [taylor]: Taking taylor expansion of 1/3 in z
1.427 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.427 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.427 * [taylor]: Taking taylor expansion of z in z
1.428 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.428 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.428 * [taylor]: Taking taylor expansion of -1 in z
1.429 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.429 * [taylor]: Taking taylor expansion of 1/3 in z
1.429 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.429 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.429 * [taylor]: Taking taylor expansion of z in z
1.496 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1)
1.496 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.496 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.496 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.496 * [taylor]: Taking taylor expansion of 1/3 in z
1.496 * [taylor]: Taking taylor expansion of (log z) in z
1.496 * [taylor]: Taking taylor expansion of z in z
1.497 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.497 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.497 * [taylor]: Taking taylor expansion of 1/3 in z
1.497 * [taylor]: Taking taylor expansion of (log z) in z
1.497 * [taylor]: Taking taylor expansion of z in z
1.549 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.549 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.549 * [taylor]: Taking taylor expansion of 1/3 in z
1.549 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.549 * [taylor]: Taking taylor expansion of z in z
1.550 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.550 * [taylor]: Taking taylor expansion of 1/3 in z
1.550 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.550 * [taylor]: Taking taylor expansion of z in z
1.605 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.605 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.605 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.605 * [taylor]: Taking taylor expansion of -1 in z
1.606 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.606 * [taylor]: Taking taylor expansion of 1/3 in z
1.606 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.606 * [taylor]: Taking taylor expansion of z in z
1.607 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.607 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.607 * [taylor]: Taking taylor expansion of -1 in z
1.608 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.608 * [taylor]: Taking taylor expansion of 1/3 in z
1.608 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.608 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.608 * [taylor]: Taking taylor expansion of z in z
1.673 * * * [progress]: simplifying candidates
1.675 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/3 1/3)
  (+ 1 1)
  (* z z)
  (* (cbrt z) (cbrt z))
  (+ 1 1)
  (+ (log (cbrt z)) (log (cbrt z)))
  (log (* (cbrt z) (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt z) (cbrt z))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 1 1)
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (* (cbrt z) (cbrt 1))
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt z) (sqrt (cbrt z)))
  (* (cbrt z) 1)
  (* (cbrt (cbrt z)) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (cbrt z))
  (* (sqrt (cbrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (pow z 2/3)
  (pow (/ 1 z) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
1.678 * * [simplify]: iteration  0 :  115  enodes  (cost  288 )
1.681 * * [simplify]: iteration  1 :  479  enodes  (cost  261 )
1.695 * * [simplify]: iteration  2 :  2963  enodes  (cost  238 )
1.762 * * [simplify]: iteration  3 :  5002  enodes  (cost  235 )
1.763 * [simplify]: Simplified to:
   2/3
  2
  (pow z 2)
  (pow z 2/3)
  2
  (* 2/3 (log z))
  (* 2/3 (log z))
  (exp (pow z 2/3))
  (pow z 2)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (pow z 2)
  (fabs (pow z 1/3))
  (fabs (pow z 1/3))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  1
  (pow z 2/3)
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (pow z 1/3)
  (pow z 1/3)
  1
  (pow z 2/3)
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (pow z 1/3)
  (pow z 1/3)
  2/3
  2
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (pow z 1/3)
  (pow (cbrt (cbrt z)) 5)
  (pow (sqrt (cbrt z)) 3)
  (pow z 1/3)
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt z) (cbrt (sqrt z)))
  (pow z 2/3)
  (pow (cbrt (cbrt z)) 4)
  (pow (sqrt (cbrt z)) 3)
  (pow z 2/3)
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (pow z 2/3)
  (pow (/ 1 z) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
1.764 * * * [progress]: adding candidates to table
2.104 * * [progress]: iteration 3 / 4
2.104 * * * [progress]: picking best candidate
2.130 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))))>
2.130 * * * [progress]: localizing error
2.150 * * * [progress]: generating rewritten candidates
2.150 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
2.152 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 1)
2.153 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.163 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.181 * * * [progress]: generating series expansions
2.181 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
2.181 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
2.181 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.181 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.181 * [taylor]: Taking taylor expansion of 1/3 in t
2.181 * [taylor]: Taking taylor expansion of (log t) in t
2.181 * [taylor]: Taking taylor expansion of t in t
2.182 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.182 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.182 * [taylor]: Taking taylor expansion of 1/3 in t
2.182 * [taylor]: Taking taylor expansion of (log t) in t
2.182 * [taylor]: Taking taylor expansion of t in t
2.230 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
2.230 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.230 * [taylor]: Taking taylor expansion of 1/3 in t
2.230 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.231 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.231 * [taylor]: Taking taylor expansion of t in t
2.231 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.231 * [taylor]: Taking taylor expansion of 1/3 in t
2.231 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.232 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.232 * [taylor]: Taking taylor expansion of t in t
2.288 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
2.288 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.288 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.289 * [taylor]: Taking taylor expansion of -1 in t
2.289 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.289 * [taylor]: Taking taylor expansion of 1/3 in t
2.289 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.289 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.289 * [taylor]: Taking taylor expansion of t in t
2.290 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.290 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.290 * [taylor]: Taking taylor expansion of -1 in t
2.291 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.291 * [taylor]: Taking taylor expansion of 1/3 in t
2.291 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.291 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.291 * [taylor]: Taking taylor expansion of t in t
2.359 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 1)
2.359 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
2.359 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.359 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.359 * [taylor]: Taking taylor expansion of 1/3 in t
2.359 * [taylor]: Taking taylor expansion of (log t) in t
2.359 * [taylor]: Taking taylor expansion of t in t
2.359 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.359 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.360 * [taylor]: Taking taylor expansion of 1/3 in t
2.360 * [taylor]: Taking taylor expansion of (log t) in t
2.360 * [taylor]: Taking taylor expansion of t in t
2.413 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
2.413 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.413 * [taylor]: Taking taylor expansion of 1/3 in t
2.413 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.413 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.413 * [taylor]: Taking taylor expansion of t in t
2.414 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.414 * [taylor]: Taking taylor expansion of 1/3 in t
2.414 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.414 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.414 * [taylor]: Taking taylor expansion of t in t
2.464 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
2.464 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.464 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.464 * [taylor]: Taking taylor expansion of -1 in t
2.465 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.465 * [taylor]: Taking taylor expansion of 1/3 in t
2.465 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.465 * [taylor]: Taking taylor expansion of t in t
2.471 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.471 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.471 * [taylor]: Taking taylor expansion of -1 in t
2.472 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.472 * [taylor]: Taking taylor expansion of 1/3 in t
2.472 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.472 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.472 * [taylor]: Taking taylor expansion of t in t
2.532 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.532 * [approximate]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in (x y z) around 0
2.532 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in z
2.532 * [taylor]: Taking taylor expansion of (log (+ x y)) in z
2.532 * [taylor]: Taking taylor expansion of (+ x y) in z
2.532 * [taylor]: Taking taylor expansion of x in z
2.532 * [taylor]: Taking taylor expansion of y in z
2.533 * [taylor]: Taking taylor expansion of (log z) in z
2.533 * [taylor]: Taking taylor expansion of z in z
2.533 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in y
2.533 * [taylor]: Taking taylor expansion of (log (+ x y)) in y
2.533 * [taylor]: Taking taylor expansion of (+ x y) in y
2.533 * [taylor]: Taking taylor expansion of x in y
2.533 * [taylor]: Taking taylor expansion of y in y
2.533 * [taylor]: Taking taylor expansion of (log z) in y
2.533 * [taylor]: Taking taylor expansion of z in y
2.533 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in x
2.533 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
2.533 * [taylor]: Taking taylor expansion of (+ x y) in x
2.533 * [taylor]: Taking taylor expansion of x in x
2.533 * [taylor]: Taking taylor expansion of y in x
2.533 * [taylor]: Taking taylor expansion of (log z) in x
2.533 * [taylor]: Taking taylor expansion of z in x
2.533 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in x
2.533 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
2.533 * [taylor]: Taking taylor expansion of (+ x y) in x
2.533 * [taylor]: Taking taylor expansion of x in x
2.533 * [taylor]: Taking taylor expansion of y in x
2.533 * [taylor]: Taking taylor expansion of (log z) in x
2.533 * [taylor]: Taking taylor expansion of z in x
2.533 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in y
2.534 * [taylor]: Taking taylor expansion of (log z) in y
2.534 * [taylor]: Taking taylor expansion of z in y
2.534 * [taylor]: Taking taylor expansion of (log y) in y
2.534 * [taylor]: Taking taylor expansion of y in y
2.534 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in z
2.534 * [taylor]: Taking taylor expansion of (log z) in z
2.534 * [taylor]: Taking taylor expansion of z in z
2.535 * [taylor]: Taking taylor expansion of (log y) in z
2.535 * [taylor]: Taking taylor expansion of y in z
2.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.536 * [taylor]: Taking taylor expansion of y in y
2.537 * [taylor]: Taking taylor expansion of 0 in z
2.539 * [taylor]: Taking taylor expansion of 0 in z
2.543 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
2.543 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
2.543 * [taylor]: Taking taylor expansion of 1/2 in y
2.543 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.543 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.543 * [taylor]: Taking taylor expansion of y in y
2.552 * [taylor]: Taking taylor expansion of 0 in z
2.552 * [taylor]: Taking taylor expansion of 0 in z
2.555 * [taylor]: Taking taylor expansion of 0 in z
2.556 * [approximate]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
2.556 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in z
2.556 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.556 * [taylor]: Taking taylor expansion of z in z
2.556 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in z
2.556 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.556 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.556 * [taylor]: Taking taylor expansion of y in z
2.556 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.556 * [taylor]: Taking taylor expansion of x in z
2.556 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in y
2.556 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
2.556 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.556 * [taylor]: Taking taylor expansion of z in y
2.557 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in y
2.557 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.557 * [taylor]: Taking taylor expansion of y in y
2.557 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.557 * [taylor]: Taking taylor expansion of x in y
2.557 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
2.557 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
2.557 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.557 * [taylor]: Taking taylor expansion of z in x
2.558 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
2.558 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.558 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.558 * [taylor]: Taking taylor expansion of y in x
2.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.558 * [taylor]: Taking taylor expansion of x in x
2.558 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
2.558 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
2.558 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.558 * [taylor]: Taking taylor expansion of z in x
2.559 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
2.559 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.559 * [taylor]: Taking taylor expansion of y in x
2.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.559 * [taylor]: Taking taylor expansion of x in x
2.560 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log x)) in y
2.560 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
2.560 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.560 * [taylor]: Taking taylor expansion of z in y
2.560 * [taylor]: Taking taylor expansion of (log x) in y
2.560 * [taylor]: Taking taylor expansion of x in y
2.560 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log x)) in z
2.560 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.560 * [taylor]: Taking taylor expansion of z in z
2.561 * [taylor]: Taking taylor expansion of (log x) in z
2.561 * [taylor]: Taking taylor expansion of x in z
2.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.563 * [taylor]: Taking taylor expansion of y in y
2.563 * [taylor]: Taking taylor expansion of 0 in z
2.565 * [taylor]: Taking taylor expansion of 0 in z
2.570 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
2.570 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
2.570 * [taylor]: Taking taylor expansion of 1/2 in y
2.570 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.570 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.570 * [taylor]: Taking taylor expansion of y in y
2.573 * [taylor]: Taking taylor expansion of 0 in z
2.573 * [taylor]: Taking taylor expansion of 0 in z
2.576 * [taylor]: Taking taylor expansion of 0 in z
2.576 * [approximate]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in (x y z) around 0
2.577 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in z
2.577 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in z
2.577 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z
2.577 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
2.577 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.577 * [taylor]: Taking taylor expansion of y in z
2.577 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.577 * [taylor]: Taking taylor expansion of x in z
2.577 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
2.577 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.577 * [taylor]: Taking taylor expansion of -1 in z
2.577 * [taylor]: Taking taylor expansion of z in z
2.578 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in y
2.578 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in y
2.578 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y
2.578 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.578 * [taylor]: Taking taylor expansion of y in y
2.578 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.578 * [taylor]: Taking taylor expansion of x in y
2.579 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
2.579 * [taylor]: Taking taylor expansion of (/ -1 z) in y
2.579 * [taylor]: Taking taylor expansion of -1 in y
2.579 * [taylor]: Taking taylor expansion of z in y
2.579 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in x
2.579 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
2.579 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
2.579 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.579 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.579 * [taylor]: Taking taylor expansion of y in x
2.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.579 * [taylor]: Taking taylor expansion of x in x
2.580 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
2.580 * [taylor]: Taking taylor expansion of (/ -1 z) in x
2.580 * [taylor]: Taking taylor expansion of -1 in x
2.580 * [taylor]: Taking taylor expansion of z in x
2.581 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in x
2.581 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
2.581 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
2.581 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.581 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.581 * [taylor]: Taking taylor expansion of y in x
2.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.581 * [taylor]: Taking taylor expansion of x in x
2.582 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
2.582 * [taylor]: Taking taylor expansion of (/ -1 z) in x
2.582 * [taylor]: Taking taylor expansion of -1 in x
2.582 * [taylor]: Taking taylor expansion of z in x
2.583 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log (/ -1 z))) (log x)) in y
2.583 * [taylor]: Taking taylor expansion of (+ (log -1) (log (/ -1 z))) in y
2.583 * [taylor]: Taking taylor expansion of (log -1) in y
2.583 * [taylor]: Taking taylor expansion of -1 in y
2.583 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
2.583 * [taylor]: Taking taylor expansion of (/ -1 z) in y
2.583 * [taylor]: Taking taylor expansion of -1 in y
2.583 * [taylor]: Taking taylor expansion of z in y
2.584 * [taylor]: Taking taylor expansion of (log x) in y
2.584 * [taylor]: Taking taylor expansion of x in y
2.584 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log (/ -1 z))) (log x)) in z
2.584 * [taylor]: Taking taylor expansion of (+ (log -1) (log (/ -1 z))) in z
2.584 * [taylor]: Taking taylor expansion of (log -1) in z
2.584 * [taylor]: Taking taylor expansion of -1 in z
2.585 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
2.585 * [taylor]: Taking taylor expansion of (/ -1 z) in z
2.585 * [taylor]: Taking taylor expansion of -1 in z
2.585 * [taylor]: Taking taylor expansion of z in z
2.585 * [taylor]: Taking taylor expansion of (log x) in z
2.585 * [taylor]: Taking taylor expansion of x in z
2.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.590 * [taylor]: Taking taylor expansion of y in y
2.590 * [taylor]: Taking taylor expansion of 0 in z
2.593 * [taylor]: Taking taylor expansion of 0 in z
2.600 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
2.600 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
2.600 * [taylor]: Taking taylor expansion of 1/2 in y
2.600 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.600 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.600 * [taylor]: Taking taylor expansion of y in y
2.603 * [taylor]: Taking taylor expansion of 0 in z
2.604 * [taylor]: Taking taylor expansion of 0 in z
2.608 * [taylor]: Taking taylor expansion of 0 in z
2.609 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.609 * [approximate]: Taking taylor expansion of (- (* 3 (* a (log (pow t 1/3)))) (* 1.5 (log (pow t 1/3)))) in (a t) around 0
2.609 * [taylor]: Taking taylor expansion of (- (* 3 (* a (log (pow t 1/3)))) (* 1.5 (log (pow t 1/3)))) in t
2.609 * [taylor]: Taking taylor expansion of (* 3 (* a (log (pow t 1/3)))) in t
2.609 * [taylor]: Taking taylor expansion of 3 in t
2.609 * [taylor]: Taking taylor expansion of (* a (log (pow t 1/3))) in t
2.609 * [taylor]: Taking taylor expansion of a in t
2.609 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
2.609 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.609 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.609 * [taylor]: Taking taylor expansion of 1/3 in t
2.609 * [taylor]: Taking taylor expansion of (log t) in t
2.609 * [taylor]: Taking taylor expansion of t in t
2.610 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow t 1/3))) in t
2.610 * [taylor]: Taking taylor expansion of 1.5 in t
2.610 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
2.610 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.610 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.610 * [taylor]: Taking taylor expansion of 1/3 in t
2.610 * [taylor]: Taking taylor expansion of (log t) in t
2.610 * [taylor]: Taking taylor expansion of t in t
2.610 * [taylor]: Taking taylor expansion of (- (* 3 (* a (log (pow t 1/3)))) (* 1.5 (log (pow t 1/3)))) in a
2.611 * [taylor]: Taking taylor expansion of (* 3 (* a (log (pow t 1/3)))) in a
2.611 * [taylor]: Taking taylor expansion of 3 in a
2.611 * [taylor]: Taking taylor expansion of (* a (log (pow t 1/3))) in a
2.611 * [taylor]: Taking taylor expansion of a in a
2.611 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in a
2.611 * [taylor]: Taking taylor expansion of (pow t 1/3) in a
2.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in a
2.611 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in a
2.611 * [taylor]: Taking taylor expansion of 1/3 in a
2.611 * [taylor]: Taking taylor expansion of (log t) in a
2.611 * [taylor]: Taking taylor expansion of t in a
2.611 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow t 1/3))) in a
2.611 * [taylor]: Taking taylor expansion of 1.5 in a
2.611 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in a
2.611 * [taylor]: Taking taylor expansion of (pow t 1/3) in a
2.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in a
2.611 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in a
2.611 * [taylor]: Taking taylor expansion of 1/3 in a
2.611 * [taylor]: Taking taylor expansion of (log t) in a
2.611 * [taylor]: Taking taylor expansion of t in a
2.611 * [taylor]: Taking taylor expansion of (- (* 3 (* a (log (pow t 1/3)))) (* 1.5 (log (pow t 1/3)))) in a
2.611 * [taylor]: Taking taylor expansion of (* 3 (* a (log (pow t 1/3)))) in a
2.611 * [taylor]: Taking taylor expansion of 3 in a
2.611 * [taylor]: Taking taylor expansion of (* a (log (pow t 1/3))) in a
2.611 * [taylor]: Taking taylor expansion of a in a
2.611 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in a
2.611 * [taylor]: Taking taylor expansion of (pow t 1/3) in a
2.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in a
2.611 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in a
2.611 * [taylor]: Taking taylor expansion of 1/3 in a
2.611 * [taylor]: Taking taylor expansion of (log t) in a
2.611 * [taylor]: Taking taylor expansion of t in a
2.611 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow t 1/3))) in a
2.611 * [taylor]: Taking taylor expansion of 1.5 in a
2.611 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in a
2.612 * [taylor]: Taking taylor expansion of (pow t 1/3) in a
2.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in a
2.612 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in a
2.612 * [taylor]: Taking taylor expansion of 1/3 in a
2.612 * [taylor]: Taking taylor expansion of (log t) in a
2.612 * [taylor]: Taking taylor expansion of t in a
2.612 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (pow t 1/3)))) in t
2.612 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow t 1/3))) in t
2.612 * [taylor]: Taking taylor expansion of 1.5 in t
2.612 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
2.612 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.612 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.612 * [taylor]: Taking taylor expansion of 1/3 in t
2.613 * [taylor]: Taking taylor expansion of (log t) in t
2.613 * [taylor]: Taking taylor expansion of t in t
2.618 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in t
2.618 * [taylor]: Taking taylor expansion of 3 in t
2.618 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t
2.618 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
2.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
2.618 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
2.618 * [taylor]: Taking taylor expansion of 1/3 in t
2.618 * [taylor]: Taking taylor expansion of (log t) in t
2.618 * [taylor]: Taking taylor expansion of t in t
2.631 * [taylor]: Taking taylor expansion of 0 in t
2.658 * [taylor]: Taking taylor expansion of 0 in t
2.658 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 t) 1/3)) a)) (* 1.5 (log (pow (/ 1 t) 1/3)))) in (a t) around 0
2.658 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 t) 1/3)) a)) (* 1.5 (log (pow (/ 1 t) 1/3)))) in t
2.658 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 t) 1/3)) a)) in t
2.658 * [taylor]: Taking taylor expansion of 3 in t
2.658 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) a) in t
2.658 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
2.658 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.659 * [taylor]: Taking taylor expansion of 1/3 in t
2.659 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.659 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.659 * [taylor]: Taking taylor expansion of t in t
2.659 * [taylor]: Taking taylor expansion of a in t
2.660 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 t) 1/3))) in t
2.660 * [taylor]: Taking taylor expansion of 1.5 in t
2.660 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
2.660 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.660 * [taylor]: Taking taylor expansion of 1/3 in t
2.660 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.660 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.660 * [taylor]: Taking taylor expansion of t in t
2.661 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 t) 1/3)) a)) (* 1.5 (log (pow (/ 1 t) 1/3)))) in a
2.661 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 t) 1/3)) a)) in a
2.661 * [taylor]: Taking taylor expansion of 3 in a
2.661 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) a) in a
2.661 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in a
2.661 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.661 * [taylor]: Taking taylor expansion of 1/3 in a
2.661 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.661 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.661 * [taylor]: Taking taylor expansion of t in a
2.661 * [taylor]: Taking taylor expansion of a in a
2.661 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 t) 1/3))) in a
2.661 * [taylor]: Taking taylor expansion of 1.5 in a
2.661 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in a
2.661 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.661 * [taylor]: Taking taylor expansion of 1/3 in a
2.661 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.661 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.661 * [taylor]: Taking taylor expansion of t in a
2.662 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 t) 1/3)) a)) (* 1.5 (log (pow (/ 1 t) 1/3)))) in a
2.662 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 t) 1/3)) a)) in a
2.662 * [taylor]: Taking taylor expansion of 3 in a
2.662 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) a) in a
2.662 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in a
2.662 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.662 * [taylor]: Taking taylor expansion of 1/3 in a
2.662 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.662 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.662 * [taylor]: Taking taylor expansion of t in a
2.662 * [taylor]: Taking taylor expansion of a in a
2.662 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 t) 1/3))) in a
2.662 * [taylor]: Taking taylor expansion of 1.5 in a
2.662 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in a
2.662 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.662 * [taylor]: Taking taylor expansion of 1/3 in a
2.662 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.662 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.662 * [taylor]: Taking taylor expansion of t in a
2.663 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 t) 1/3))) in t
2.663 * [taylor]: Taking taylor expansion of 3 in t
2.663 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
2.663 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.663 * [taylor]: Taking taylor expansion of 1/3 in t
2.663 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.663 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.663 * [taylor]: Taking taylor expansion of t in t
2.667 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (pow (/ 1 t) 1/3)))) in t
2.667 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 t) 1/3))) in t
2.667 * [taylor]: Taking taylor expansion of 1.5 in t
2.667 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t
2.667 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.667 * [taylor]: Taking taylor expansion of 1/3 in t
2.667 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.667 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.667 * [taylor]: Taking taylor expansion of t in t
2.679 * [taylor]: Taking taylor expansion of 0 in t
2.699 * [taylor]: Taking taylor expansion of 0 in t
2.700 * [approximate]: Taking taylor expansion of (- (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a)))) in (a t) around 0
2.700 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a)))) in t
2.700 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a))) in t
2.700 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in t
2.700 * [taylor]: Taking taylor expansion of 1.5 in t
2.700 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t
2.700 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.700 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.700 * [taylor]: Taking taylor expansion of -1 in t
2.701 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.701 * [taylor]: Taking taylor expansion of 1/3 in t
2.701 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.701 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.701 * [taylor]: Taking taylor expansion of t in t
2.703 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a)) in t
2.703 * [taylor]: Taking taylor expansion of 3 in t
2.703 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a) in t
2.703 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t
2.703 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.703 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.703 * [taylor]: Taking taylor expansion of -1 in t
2.704 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.704 * [taylor]: Taking taylor expansion of 1/3 in t
2.704 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.704 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.704 * [taylor]: Taking taylor expansion of t in t
2.705 * [taylor]: Taking taylor expansion of a in t
2.706 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a)))) in a
2.706 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a))) in a
2.706 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in a
2.706 * [taylor]: Taking taylor expansion of 1.5 in a
2.706 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in a
2.706 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in a
2.706 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.706 * [taylor]: Taking taylor expansion of -1 in a
2.707 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.707 * [taylor]: Taking taylor expansion of 1/3 in a
2.707 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.707 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.707 * [taylor]: Taking taylor expansion of t in a
2.708 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a)) in a
2.708 * [taylor]: Taking taylor expansion of 3 in a
2.708 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a) in a
2.708 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in a
2.708 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in a
2.708 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.708 * [taylor]: Taking taylor expansion of -1 in a
2.709 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.709 * [taylor]: Taking taylor expansion of 1/3 in a
2.709 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.709 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.709 * [taylor]: Taking taylor expansion of t in a
2.710 * [taylor]: Taking taylor expansion of a in a
2.710 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a)))) in a
2.710 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a))) in a
2.710 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in a
2.710 * [taylor]: Taking taylor expansion of 1.5 in a
2.710 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in a
2.710 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in a
2.710 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.710 * [taylor]: Taking taylor expansion of -1 in a
2.711 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.711 * [taylor]: Taking taylor expansion of 1/3 in a
2.711 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.711 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.711 * [taylor]: Taking taylor expansion of t in a
2.712 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a)) in a
2.712 * [taylor]: Taking taylor expansion of 3 in a
2.712 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) a) in a
2.712 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in a
2.712 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in a
2.712 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.712 * [taylor]: Taking taylor expansion of -1 in a
2.713 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in a
2.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in a
2.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in a
2.713 * [taylor]: Taking taylor expansion of 1/3 in a
2.713 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
2.713 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.713 * [taylor]: Taking taylor expansion of t in a
2.714 * [taylor]: Taking taylor expansion of a in a
2.716 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in t
2.716 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in t
2.716 * [taylor]: Taking taylor expansion of 3 in t
2.716 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t
2.716 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.716 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.716 * [taylor]: Taking taylor expansion of -1 in t
2.716 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.716 * [taylor]: Taking taylor expansion of 1/3 in t
2.716 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.716 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.716 * [taylor]: Taking taylor expansion of t in t
2.725 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in t
2.725 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in t
2.725 * [taylor]: Taking taylor expansion of 1.5 in t
2.725 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t
2.725 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
2.725 * [taylor]: Taking taylor expansion of (cbrt -1) in t
2.725 * [taylor]: Taking taylor expansion of -1 in t
2.725 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
2.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
2.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
2.725 * [taylor]: Taking taylor expansion of 1/3 in t
2.725 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
2.725 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.726 * [taylor]: Taking taylor expansion of t in t
2.750 * [taylor]: Taking taylor expansion of 0 in t
2.780 * [taylor]: Taking taylor expansion of 0 in t
2.781 * * * [progress]: simplifying candidates
2.782 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* (+ x y) z)
  (log (+ (log (+ x y)) (log z)))
  (exp (+ (log (+ x y)) (log z)))
  (* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
  (cbrt (+ (log (+ x y)) (log z)))
  (* (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (+ (pow (log (+ x y)) 3) (pow (log z) 3))
  (+ (* (log (+ x y)) (log (+ x y))) (- (* (log z) (log z)) (* (log (+ x y)) (log z))))
  (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
  (- (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
  (+ (log (+ x y)) (log (sqrt z)))
  (+ (log (+ x y)) (log 1))
  (+ (log (cbrt (+ x y))) (log z))
  (+ (log (sqrt (+ x y))) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (- (log (+ (* x x) (- (* y y) (* x y)))) (log z))
  (- (log (- x y)) (log z))
  (* (exp (* (- a 0.5) (* 2 (log (cbrt t))))) (exp (* (- a 0.5) (log (cbrt t)))))
  (log (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (exp (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (* (cbrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))) (cbrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))))
  (cbrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (* (* (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (sqrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (sqrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (+ (* (* (- (pow a 3) (pow 0.5 3)) (* 2 (log (cbrt t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (* (- (pow a 3) (pow 0.5 3)) (log (cbrt t)))))
  (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (* (- (pow a 3) (pow 0.5 3)) (* 2 (log (cbrt t)))) (+ a 0.5)) (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (* (- (* a a) (* 0.5 0.5)) (log (cbrt t)))))
  (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (+ a 0.5))
  (+ (* (* (- (* a a) (* 0.5 0.5)) (* 2 (log (cbrt t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ a 0.5) (* (- (pow a 3) (pow 0.5 3)) (log (cbrt t)))))
  (* (+ a 0.5) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (* (- (* a a) (* 0.5 0.5)) (* 2 (log (cbrt t)))) (+ a 0.5)) (* (+ a 0.5) (* (- (* a a) (* 0.5 0.5)) (log (cbrt t)))))
  (* (+ a 0.5) (+ a 0.5))
  (+ (pow (* (- a 0.5) (* 2 (log (cbrt t)))) 3) (pow (* (- a 0.5) (log (cbrt t))) 3))
  (+ (* (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (* 2 (log (cbrt t))))) (- (* (* (- a 0.5) (log (cbrt t))) (* (- a 0.5) (log (cbrt t)))) (* (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))))
  (- (* (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (* 2 (log (cbrt t))))) (* (* (- a 0.5) (log (cbrt t))) (* (- a 0.5) (log (cbrt t)))))
  (- (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
  (+ (* 2 (log (cbrt t))) (log (cbrt t)))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt (* (cbrt t) (cbrt t))))))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt (sqrt t)))))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt 1))))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (* (cbrt (cbrt t)) (cbrt (cbrt t))))))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (sqrt (cbrt t)))))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log 1)))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (log (cbrt (* (cbrt t) (cbrt t)))) (- a 0.5)))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (log (cbrt (sqrt t))) (- a 0.5)))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (log (cbrt 1)) (- a 0.5)))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (- a 0.5)))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (log (sqrt (cbrt t))) (- a 0.5)))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (log 1) (- a 0.5)))
  (+ (* (- a 0.5) (* 2 (log (cbrt (cbrt t))))) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* 2 (log (cbrt (sqrt t))))) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* 2 (log (cbrt (cbrt t))))) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* 2 (log (sqrt (cbrt t))))) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* (log (cbrt (cbrt t))) 2)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* (log (cbrt (sqrt t))) 2)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* (log (cbrt t)) 2)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* (log (cbrt (cbrt t))) 2)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* (log (sqrt (cbrt t))) 2)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (- a 0.5) (* (log (cbrt t)) 2)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* 2 (log (cbrt (cbrt t)))) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* 2 (log (cbrt (sqrt t)))) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* 2 (log (cbrt t))) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* 2 (log (cbrt (cbrt t)))) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* 2 (log (sqrt (cbrt t)))) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* 2 (log (cbrt t))) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* (log (cbrt (cbrt t))) 2) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* (log (cbrt (sqrt t))) 2) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* (log (cbrt t)) 2) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* (log (cbrt (cbrt t))) 2) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* (log (sqrt (cbrt t))) 2) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (+ (* (* (log (cbrt t)) 2) (- a 0.5)) (* (- a 0.5) (log (cbrt t))))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (+ (log z) (log y))
  (- (+ (log (/ 1 x)) (log (/ 1 z))))
  (- (* 2 (log -1)) (+ (log (/ -1 z)) (log (/ -1 x))))
  (- (* 3 (* a (log (pow t 1/3)))) (* 1.5 (log (pow t 1/3))))
  (- (* 3 (* a (log (pow (/ 1 t) -1/3)))) (* 1.5 (log (pow (/ 1 t) -1/3))))
  (- (* 3 (* a (log (* (pow (* -1 t) 1/3) (cbrt -1))))) (* 1.5 (log (* (pow (* -1 t) 1/3) (cbrt -1)))))
2.789 * * [simplify]: iteration  0 :  598  enodes  (cost  898 )
2.799 * * [simplify]: iteration  1 :  2124  enodes  (cost  774 )
2.839 * * [simplify]: iteration  2 :  5001  enodes  (cost  748 )
2.843 * [simplify]: Simplified to:
   (log (pow t 1/3))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (pow t 1/3)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (pow t 1/3))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (pow t 1/3)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (* (+ x y) z)
  (log (+ (log (+ x y)) (log z)))
  (* (+ x y) z)
  (* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
  (cbrt (+ (log (+ x y)) (log z)))
  (pow (+ (log (+ x y)) (log z)) 3)
  (sqrt (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (+ (pow (log (+ x y)) 3) (pow (log z) 3))
  (+ (* (log z) (- (log z) (log (+ x y)))) (* (log (+ x y)) (log (+ x y))))
  (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
  (- (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
  (+ (log (+ x y)) (log (sqrt z)))
  (log (+ x y))
  (+ (log (cbrt (+ x y))) (log z))
  (+ (log (sqrt (+ x y))) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (- (log (+ (* x x) (- (* y y) (* x y)))) (log z))
  (- (log (- x y)) (log z))
  (pow (pow (pow t 1/3) (- a 0.5)) 3)
  (+ (log (- a 0.5)) (log (* 3 (log (cbrt t)))))
  (pow (pow (pow t 1/3) (- a 0.5)) 3)
  (* (cbrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))) (cbrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))))
  (cbrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (pow (* (log t) (- a 0.5)) 3)
  (sqrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (sqrt (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t)))))
  (* (+ (* 0.5 (+ 0.5 a)) (* a a)) (+ (* (- (pow a 3) (pow 0.5 3)) (log (cbrt t))) (* (- (pow a 3) (pow 0.5 3)) (* 2 (log (cbrt t))))))
  (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))))
  (+ (* (* (- (pow a 3) (pow 0.5 3)) (* 2 (log (cbrt t)))) (+ a 0.5)) (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (* (- (* a a) (* 0.5 0.5)) (log (cbrt t)))))
  (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (+ a 0.5))
  (+ (* (* (- (* a a) (* 0.5 0.5)) (* 2 (log (cbrt t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ a 0.5) (* (- (pow a 3) (pow 0.5 3)) (log (cbrt t)))))
  (* (+ (* a a) (+ (* 0.5 0.5) (* a 0.5))) (+ a 0.5))
  (* (+ a 0.5) (+ (* (- (* a a) (* 0.5 0.5)) (log (cbrt t))) (* (- (* a a) (* 0.5 0.5)) (* 2 (log (cbrt t))))))
  (* (+ a 0.5) (+ a 0.5))
  (* (pow (- a 0.5) 3) (+ (pow (log (cbrt t)) 3) (pow (* 2 (log (cbrt t))) 3)))
  (+ (* (* (- a 0.5) (log (cbrt t))) (- (* (- a 0.5) (log (cbrt t))) (* (- a 0.5) (* 2 (log (cbrt t)))))) (* (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (* 2 (log (cbrt t))))))
  (* (- a 0.5) (* (* 1 (log t)) (* (log (pow t 1/3)) (- (* 2 (- a 0.5)) (- a 0.5)))))
  (* (log (pow t 1/3)) (- (* 2 (- a 0.5)) (- a 0.5)))
  (log t)
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (* (cbrt t) (cbrt t))))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t)))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt 1))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (* (cbrt (cbrt t)) (cbrt (cbrt t))))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (sqrt (cbrt t)))))
  (* (- a 0.5) (* (log (cbrt t)) 2))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (* (cbrt t) (cbrt t))))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t)))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt 1))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (* (cbrt (cbrt t)) (cbrt (cbrt t))))))
  (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (sqrt (cbrt t)))))
  (* (- a 0.5) (* (log (cbrt t)) 2))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (cbrt (sqrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (sqrt (cbrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (cbrt (sqrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (sqrt (cbrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (cbrt (sqrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (sqrt (cbrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (cbrt (sqrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (* (- a 0.5) (+ (* (log (cbrt (cbrt t))) 2) (log (cbrt t))))
  (* (- a 0.5) (+ (* (log (sqrt (cbrt t))) 2) (log (cbrt t))))
  (* (log t) (- a 0.5))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (+ (log z) (log y))
  (+ (log z) (log x))
  (- (* 2 (log -1)) (+ (log (/ -1 z)) (log (/ -1 x))))
  (* (log (pow t 1/3)) (- (* 3 a) 1.5))
  (* (log (pow (/ 1 t) -1/3)) (- (* 3 a) 1.5))
  (* (log (* (pow (* -1 t) 1/3) (cbrt -1))) (- (* 3 a) 1.5))
2.844 * * * [progress]: adding candidates to table
3.382 * * [progress]: iteration 4 / 4
3.382 * * * [progress]: picking best candidate
3.404 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))>
3.404 * * * [progress]: localizing error
3.429 * * * [progress]: generating rewritten candidates
3.429 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 1)
3.430 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
3.432 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1)
3.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.442 * * * [progress]: generating series expansions
3.442 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 1)
3.442 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
3.442 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.442 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.442 * [taylor]: Taking taylor expansion of 1/3 in t
3.442 * [taylor]: Taking taylor expansion of (log t) in t
3.442 * [taylor]: Taking taylor expansion of t in t
3.443 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
3.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
3.443 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
3.443 * [taylor]: Taking taylor expansion of 1/3 in t
3.443 * [taylor]: Taking taylor expansion of (log t) in t
3.443 * [taylor]: Taking taylor expansion of t in t
3.495 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
3.495 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.495 * [taylor]: Taking taylor expansion of 1/3 in t
3.495 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.495 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.495 * [taylor]: Taking taylor expansion of t in t
3.496 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.496 * [taylor]: Taking taylor expansion of 1/3 in t
3.496 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.496 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.496 * [taylor]: Taking taylor expansion of t in t
3.552 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
3.552 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.552 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.552 * [taylor]: Taking taylor expansion of -1 in t
3.553 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.553 * [taylor]: Taking taylor expansion of 1/3 in t
3.553 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.553 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.553 * [taylor]: Taking taylor expansion of t in t
3.554 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
3.554 * [taylor]: Taking taylor expansion of (cbrt -1) in t
3.554 * [taylor]: Taking taylor expansion of -1 in t
3.555 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
3.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
3.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
3.555 * [taylor]: Taking taylor expansion of 1/3 in t
3.555 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.555 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.555 * [taylor]: Taking taylor expansion of t in t
3.622 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
3.622 * [approximate]: Taking taylor expansion of (pow t 1/6) in (t) around 0
3.622 * [taylor]: Taking taylor expansion of (pow t 1/6) in t
3.622 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log t))) in t
3.622 * [taylor]: Taking taylor expansion of (* 1/6 (log t)) in t
3.622 * [taylor]: Taking taylor expansion of 1/6 in t
3.622 * [taylor]: Taking taylor expansion of (log t) in t
3.622 * [taylor]: Taking taylor expansion of t in t
3.623 * [taylor]: Taking taylor expansion of (pow t 1/6) in t
3.623 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log t))) in t
3.623 * [taylor]: Taking taylor expansion of (* 1/6 (log t)) in t
3.623 * [taylor]: Taking taylor expansion of 1/6 in t
3.623 * [taylor]: Taking taylor expansion of (log t) in t
3.623 * [taylor]: Taking taylor expansion of t in t
3.671 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/6) in (t) around 0
3.671 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/6) in t
3.671 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 t)))) in t
3.671 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 t))) in t
3.671 * [taylor]: Taking taylor expansion of 1/6 in t
3.671 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.671 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.671 * [taylor]: Taking taylor expansion of t in t
3.672 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/6) in t
3.672 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 t)))) in t
3.672 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 t))) in t
3.672 * [taylor]: Taking taylor expansion of 1/6 in t
3.672 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.672 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.672 * [taylor]: Taking taylor expansion of t in t
3.728 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 1/3) in (t) around 0
3.728 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 1/3) in t
3.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 t))))) in t
3.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 t)))) in t
3.728 * [taylor]: Taking taylor expansion of 1/3 in t
3.728 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t
3.728 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.728 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.728 * [taylor]: Taking taylor expansion of -1 in t
3.728 * [taylor]: Taking taylor expansion of t in t
3.731 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 1/3) in t
3.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 t))))) in t
3.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 t)))) in t
3.731 * [taylor]: Taking taylor expansion of 1/3 in t
3.731 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t
3.731 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.731 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.731 * [taylor]: Taking taylor expansion of -1 in t
3.731 * [taylor]: Taking taylor expansion of t in t
3.772 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1)
3.772 * [approximate]: Taking taylor expansion of (pow t 1/6) in (t) around 0
3.772 * [taylor]: Taking taylor expansion of (pow t 1/6) in t
3.772 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log t))) in t
3.772 * [taylor]: Taking taylor expansion of (* 1/6 (log t)) in t
3.772 * [taylor]: Taking taylor expansion of 1/6 in t
3.772 * [taylor]: Taking taylor expansion of (log t) in t
3.772 * [taylor]: Taking taylor expansion of t in t
3.773 * [taylor]: Taking taylor expansion of (pow t 1/6) in t
3.773 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log t))) in t
3.773 * [taylor]: Taking taylor expansion of (* 1/6 (log t)) in t
3.773 * [taylor]: Taking taylor expansion of 1/6 in t
3.773 * [taylor]: Taking taylor expansion of (log t) in t
3.773 * [taylor]: Taking taylor expansion of t in t
3.821 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/6) in (t) around 0
3.821 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/6) in t
3.821 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 t)))) in t
3.821 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 t))) in t
3.821 * [taylor]: Taking taylor expansion of 1/6 in t
3.821 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.821 * [taylor]: Taking taylor expansion of t in t
3.822 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/6) in t
3.822 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 t)))) in t
3.822 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 t))) in t
3.822 * [taylor]: Taking taylor expansion of 1/6 in t
3.822 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
3.822 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.822 * [taylor]: Taking taylor expansion of t in t
3.878 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 1/3) in (t) around 0
3.878 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 1/3) in t
3.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 t))))) in t
3.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 t)))) in t
3.879 * [taylor]: Taking taylor expansion of 1/3 in t
3.879 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t
3.879 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.879 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.879 * [taylor]: Taking taylor expansion of -1 in t
3.879 * [taylor]: Taking taylor expansion of t in t
3.882 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 1/3) in t
3.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 t))))) in t
3.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 t)))) in t
3.882 * [taylor]: Taking taylor expansion of 1/3 in t
3.882 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 t))) in t
3.882 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.882 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.882 * [taylor]: Taking taylor expansion of -1 in t
3.882 * [taylor]: Taking taylor expansion of t in t
3.916 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.916 * [approximate]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in (x y z) around 0
3.916 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in z
3.916 * [taylor]: Taking taylor expansion of (log (+ x y)) in z
3.916 * [taylor]: Taking taylor expansion of (+ x y) in z
3.916 * [taylor]: Taking taylor expansion of x in z
3.916 * [taylor]: Taking taylor expansion of y in z
3.916 * [taylor]: Taking taylor expansion of (log z) in z
3.916 * [taylor]: Taking taylor expansion of z in z
3.917 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in y
3.917 * [taylor]: Taking taylor expansion of (log (+ x y)) in y
3.917 * [taylor]: Taking taylor expansion of (+ x y) in y
3.917 * [taylor]: Taking taylor expansion of x in y
3.917 * [taylor]: Taking taylor expansion of y in y
3.917 * [taylor]: Taking taylor expansion of (log z) in y
3.917 * [taylor]: Taking taylor expansion of z in y
3.917 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in x
3.917 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
3.917 * [taylor]: Taking taylor expansion of (+ x y) in x
3.917 * [taylor]: Taking taylor expansion of x in x
3.917 * [taylor]: Taking taylor expansion of y in x
3.917 * [taylor]: Taking taylor expansion of (log z) in x
3.917 * [taylor]: Taking taylor expansion of z in x
3.917 * [taylor]: Taking taylor expansion of (+ (log (+ x y)) (log z)) in x
3.917 * [taylor]: Taking taylor expansion of (log (+ x y)) in x
3.917 * [taylor]: Taking taylor expansion of (+ x y) in x
3.917 * [taylor]: Taking taylor expansion of x in x
3.917 * [taylor]: Taking taylor expansion of y in x
3.917 * [taylor]: Taking taylor expansion of (log z) in x
3.917 * [taylor]: Taking taylor expansion of z in x
3.917 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in y
3.917 * [taylor]: Taking taylor expansion of (log z) in y
3.917 * [taylor]: Taking taylor expansion of z in y
3.917 * [taylor]: Taking taylor expansion of (log y) in y
3.917 * [taylor]: Taking taylor expansion of y in y
3.918 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in z
3.918 * [taylor]: Taking taylor expansion of (log z) in z
3.918 * [taylor]: Taking taylor expansion of z in z
3.918 * [taylor]: Taking taylor expansion of (log y) in z
3.918 * [taylor]: Taking taylor expansion of y in z
3.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.926 * [taylor]: Taking taylor expansion of y in y
3.927 * [taylor]: Taking taylor expansion of 0 in z
3.929 * [taylor]: Taking taylor expansion of 0 in z
3.933 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
3.933 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
3.933 * [taylor]: Taking taylor expansion of 1/2 in y
3.933 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.933 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.933 * [taylor]: Taking taylor expansion of y in y
3.936 * [taylor]: Taking taylor expansion of 0 in z
3.937 * [taylor]: Taking taylor expansion of 0 in z
3.939 * [taylor]: Taking taylor expansion of 0 in z
3.939 * [approximate]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0
3.940 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in z
3.940 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.940 * [taylor]: Taking taylor expansion of z in z
3.940 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in z
3.940 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
3.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.940 * [taylor]: Taking taylor expansion of y in z
3.940 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.940 * [taylor]: Taking taylor expansion of x in z
3.940 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in y
3.940 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
3.940 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.940 * [taylor]: Taking taylor expansion of z in y
3.940 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in y
3.940 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.940 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.941 * [taylor]: Taking taylor expansion of y in y
3.941 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.941 * [taylor]: Taking taylor expansion of x in y
3.941 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
3.941 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
3.941 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.941 * [taylor]: Taking taylor expansion of z in x
3.941 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
3.941 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.941 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.941 * [taylor]: Taking taylor expansion of y in x
3.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.942 * [taylor]: Taking taylor expansion of x in x
3.942 * [taylor]: Taking taylor expansion of (+ (log (/ 1 z)) (log (+ (/ 1 y) (/ 1 x)))) in x
3.942 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x
3.942 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.942 * [taylor]: Taking taylor expansion of z in x
3.942 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) (/ 1 x))) in x
3.942 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.942 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.942 * [taylor]: Taking taylor expansion of y in x
3.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.943 * [taylor]: Taking taylor expansion of x in x
3.944 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log x)) in y
3.944 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y
3.944 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.944 * [taylor]: Taking taylor expansion of z in y
3.944 * [taylor]: Taking taylor expansion of (log x) in y
3.944 * [taylor]: Taking taylor expansion of x in y
3.944 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (log x)) in z
3.944 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.944 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.944 * [taylor]: Taking taylor expansion of z in z
3.944 * [taylor]: Taking taylor expansion of (log x) in z
3.944 * [taylor]: Taking taylor expansion of x in z
3.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.946 * [taylor]: Taking taylor expansion of y in y
3.947 * [taylor]: Taking taylor expansion of 0 in z
3.948 * [taylor]: Taking taylor expansion of 0 in z
3.953 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
3.954 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
3.954 * [taylor]: Taking taylor expansion of 1/2 in y
3.954 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.954 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.954 * [taylor]: Taking taylor expansion of y in y
3.956 * [taylor]: Taking taylor expansion of 0 in z
3.957 * [taylor]: Taking taylor expansion of 0 in z
3.960 * [taylor]: Taking taylor expansion of 0 in z
3.960 * [approximate]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in (x y z) around 0
3.960 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in z
3.960 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in z
3.960 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z
3.960 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
3.960 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.960 * [taylor]: Taking taylor expansion of y in z
3.960 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.960 * [taylor]: Taking taylor expansion of x in z
3.960 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
3.960 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.960 * [taylor]: Taking taylor expansion of -1 in z
3.960 * [taylor]: Taking taylor expansion of z in z
3.961 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in y
3.961 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in y
3.961 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y
3.961 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.961 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.961 * [taylor]: Taking taylor expansion of y in y
3.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.961 * [taylor]: Taking taylor expansion of x in y
3.963 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
3.963 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.963 * [taylor]: Taking taylor expansion of -1 in y
3.963 * [taylor]: Taking taylor expansion of z in y
3.963 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in x
3.963 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
3.963 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
3.963 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.963 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.963 * [taylor]: Taking taylor expansion of y in x
3.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.963 * [taylor]: Taking taylor expansion of x in x
3.964 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
3.964 * [taylor]: Taking taylor expansion of (/ -1 z) in x
3.964 * [taylor]: Taking taylor expansion of -1 in x
3.964 * [taylor]: Taking taylor expansion of z in x
3.964 * [taylor]: Taking taylor expansion of (+ (log (- (+ (/ 1 y) (/ 1 x)))) (log (/ -1 z))) in x
3.964 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) (/ 1 x)))) in x
3.964 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x
3.964 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.964 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.964 * [taylor]: Taking taylor expansion of y in x
3.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.964 * [taylor]: Taking taylor expansion of x in x
3.965 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in x
3.965 * [taylor]: Taking taylor expansion of (/ -1 z) in x
3.965 * [taylor]: Taking taylor expansion of -1 in x
3.965 * [taylor]: Taking taylor expansion of z in x
3.966 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log (/ -1 z))) (log x)) in y
3.966 * [taylor]: Taking taylor expansion of (+ (log -1) (log (/ -1 z))) in y
3.966 * [taylor]: Taking taylor expansion of (log -1) in y
3.967 * [taylor]: Taking taylor expansion of -1 in y
3.967 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in y
3.967 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.967 * [taylor]: Taking taylor expansion of -1 in y
3.967 * [taylor]: Taking taylor expansion of z in y
3.967 * [taylor]: Taking taylor expansion of (log x) in y
3.967 * [taylor]: Taking taylor expansion of x in y
3.968 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log (/ -1 z))) (log x)) in z
3.968 * [taylor]: Taking taylor expansion of (+ (log -1) (log (/ -1 z))) in z
3.968 * [taylor]: Taking taylor expansion of (log -1) in z
3.968 * [taylor]: Taking taylor expansion of -1 in z
3.968 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z
3.968 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.968 * [taylor]: Taking taylor expansion of -1 in z
3.968 * [taylor]: Taking taylor expansion of z in z
3.969 * [taylor]: Taking taylor expansion of (log x) in z
3.969 * [taylor]: Taking taylor expansion of x in z
3.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.973 * [taylor]: Taking taylor expansion of y in y
3.973 * [taylor]: Taking taylor expansion of 0 in z
3.976 * [taylor]: Taking taylor expansion of 0 in z
3.983 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y
3.983 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y
3.983 * [taylor]: Taking taylor expansion of 1/2 in y
3.983 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.983 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.983 * [taylor]: Taking taylor expansion of y in y
3.986 * [taylor]: Taking taylor expansion of 0 in z
3.987 * [taylor]: Taking taylor expansion of 0 in z
3.991 * [taylor]: Taking taylor expansion of 0 in z
3.992 * * * [progress]: simplifying candidates
3.993 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt (sqrt t)))
  (exp (cbrt (sqrt t)))
  (cbrt (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (cbrt (sqrt (* (cbrt t) (cbrt t))))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt 1))
  (cbrt (sqrt t))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt 1)
  (cbrt (sqrt t))
  (* (cbrt (cbrt (sqrt t))) (cbrt (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (* (* (cbrt (sqrt t)) (cbrt (sqrt t))) (cbrt (sqrt t)))
  (sqrt (cbrt (sqrt t)))
  (sqrt (cbrt (sqrt t)))
  (log (cbrt (sqrt t)))
  (exp (cbrt (sqrt t)))
  (cbrt (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (cbrt (sqrt (* (cbrt t) (cbrt t))))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt 1))
  (cbrt (sqrt t))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt 1)
  (cbrt (sqrt t))
  (* (cbrt (cbrt (sqrt t))) (cbrt (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (* (* (cbrt (sqrt t)) (cbrt (sqrt t))) (cbrt (sqrt t)))
  (sqrt (cbrt (sqrt t)))
  (sqrt (cbrt (sqrt t)))
  (* (+ x y) z)
  (log (+ (log (+ x y)) (log z)))
  (exp (+ (log (+ x y)) (log z)))
  (* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
  (cbrt (+ (log (+ x y)) (log z)))
  (* (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (+ (pow (log (+ x y)) 3) (pow (log z) 3))
  (+ (* (log (+ x y)) (log (+ x y))) (- (* (log z) (log z)) (* (log (+ x y)) (log z))))
  (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
  (- (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
  (+ (log (+ x y)) (log (sqrt z)))
  (+ (log (+ x y)) (log 1))
  (+ (log (cbrt (+ x y))) (log z))
  (+ (log (sqrt (+ x y))) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (- (log (+ (* x x) (- (* y y) (* x y)))) (log z))
  (- (log (- x y)) (log z))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (pow t 1/6)
  (pow (/ 1 t) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 t) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow t 2)) (pow +nan.0 1/3))))))
  (pow t 1/6)
  (pow (/ 1 t) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 t) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow t 2)) (pow +nan.0 1/3))))))
  (+ (log z) (log y))
  (- (+ (log (/ 1 x)) (log (/ 1 z))))
  (- (* 2 (log -1)) (+ (log (/ -1 z)) (log (/ -1 x))))
3.997 * * [simplify]: iteration  0 :  251  enodes  (cost  365 )
4.000 * * [simplify]: iteration  1 :  582  enodes  (cost  335 )
4.010 * * [simplify]: iteration  2 :  2020  enodes  (cost  320 )
4.049 * * [simplify]: iteration  3 :  5001  enodes  (cost  318 )
4.051 * [simplify]: Simplified to:
   (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (pow t 1/3)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  t
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt (sqrt t)))
  (exp (cbrt (sqrt t)))
  (cbrt (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (cbrt (sqrt (* (cbrt t) (cbrt t))))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt 1)
  (cbrt (sqrt t))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt 1)
  (cbrt (sqrt t))
  (* (cbrt (cbrt (sqrt t))) (cbrt (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (sqrt t)
  (sqrt (cbrt (sqrt t)))
  (sqrt (cbrt (sqrt t)))
  (log (cbrt (sqrt t)))
  (exp (cbrt (sqrt t)))
  (cbrt (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (cbrt (sqrt (* (cbrt t) (cbrt t))))
  (cbrt (sqrt (cbrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt 1)
  (cbrt (sqrt t))
  (cbrt (sqrt (sqrt t)))
  (cbrt (sqrt (sqrt t)))
  (cbrt 1)
  (cbrt (sqrt t))
  (* (cbrt (cbrt (sqrt t))) (cbrt (cbrt (sqrt t))))
  (cbrt (cbrt (sqrt t)))
  (sqrt t)
  (sqrt (cbrt (sqrt t)))
  (sqrt (cbrt (sqrt t)))
  (* (+ x y) z)
  (log (+ (log (+ x y)) (log z)))
  (* (+ x y) z)
  (* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
  (cbrt (+ (log (+ x y)) (log z)))
  (pow (+ (log (+ x y)) (log z)) 3)
  (sqrt (+ (log (+ x y)) (log z)))
  (sqrt (+ (log (+ x y)) (log z)))
  (+ (pow (log (+ x y)) 3) (pow (log z) 3))
  (+ (* (log (+ x y)) (- (log (+ x y)) (log z))) (* (log z) (log z)))
  (- (* (log (+ x y)) (log (+ x y))) (* (log z) (log z)))
  (- (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log (* (cbrt z) (cbrt z))))
  (+ (log (+ x y)) (log (sqrt z)))
  (log (+ x y))
  (+ (log (cbrt (+ x y))) (log z))
  (+ (log (sqrt (+ x y))) (log z))
  (+ (log (+ x y)) (log z))
  (+ (log (+ x y)) (log z))
  (- (log (+ (* x x) (- (* y y) (* x y)))) (log z))
  (- (log (- x y)) (log z))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (pow t 1/6)
  (pow (/ 1 t) -1/6)
  (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 t)) (* +nan.0 (/ 1 (pow t 2))))))
  (pow t 1/6)
  (pow (/ 1 t) -1/6)
  (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 t)) (* +nan.0 (/ 1 (pow t 2))))))
  (+ (log z) (log y))
  (+ (log z) (log x))
  (- (* 2 (log -1)) (+ (log (/ -1 z)) (log (/ -1 x))))
4.051 * * * [progress]: adding candidates to table
4.437 * [progress]: [Phase 3 of 3] Extracting.
4.437 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.441 * * * [regime-changes]: Trying 10 branch expressions: ((- a 0.5) (log z) (+ x y) (log (+ x y)) (+ (log (+ x y)) (log z)) a t z y x)
4.441 * * * * [regimes]: Trying to branch on (- a 0.5) from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.482 * * * * [regimes]: Trying to branch on (log z) from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.527 * * * * [regimes]: Trying to branch on (log z) from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))>)
4.566 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.607 * * * * [regimes]: Trying to branch on (log (+ x y)) from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.653 * * * * [regimes]: Trying to branch on (+ (log (+ x y)) (log z)) from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.700 * * * * [regimes]: Trying to branch on (+ (log (+ x y)) (log z)) from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))>)
4.741 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.782 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.824 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.866 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.908 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (pow (/ 1 t) -1/3))))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (* (+ (sqrt a) (sqrt 0.5)) (* (- (sqrt a) (sqrt 0.5)) (log t)))))> #<alt (λ (x y z t a) (log (/ (* (pow t (- a 0.5)) (+ x y)) (/ (exp t) z))))> #<alt (λ (x y z t a) (+ (- (+ (log (+ x y)) (log z)) t) (+ (* (- a 0.5) (+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))) (* (log (cbrt (sqrt t))) (- a 0.5)))))> #<alt (λ (x y z t a) (+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5))))> #<alt (λ (x y z t a) (/ (+ (* (- (* (+ (log (+ x y)) (log z)) (+ (log (+ x y)) (log z))) (* t t)) (+ a 0.5)) (* (+ (+ (log (+ x y)) (log z)) t) (* (- (* a a) (* 0.5 0.5)) (log t)))) (* (+ (+ (log (+ x y)) (log z)) t) (+ a 0.5))))> #<alt (λ (x y z t a) (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t))))>)
4.950 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
4.950 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t)))
4.950 * * [simplify]: iteration  0 :  24  enodes  (cost  15 )
4.951 * * [simplify]: iteration  1 :  24  enodes  (cost  15 )
4.951 * [simplify]: Simplified to:
   (+ (- (+ (+ (log (+ x y)) (log (* (cbrt z) (cbrt z)))) (log (cbrt z))) t) (* (- a 0.5) (log t)))
10.356 * [regime-testing]: Baseline error score: 0.26175110676204494
10.358 * [regime-testing]: Oracle error score: 0.028046865516911938
10.359 * [regime-testing]: End program error score: 0.26175110676204494