29.413 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.122 * * * [progress]: [2/2] Setting up program.
0.127 * [progress]: [Phase 2 of 3] Improving.
0.127 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.320 * * [simplify]: iteration  0 :  5378  enodes  (cost  13 )
0.320 * [simplify]: Simplified to:
   (+ (* x (log y)) (- (* z (log (- 1.0 y))) t))
0.325 * * [progress]: iteration 1 / 4
0.325 * * * [progress]: picking best candidate
0.329 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t))>
0.329 * * * [progress]: localizing error
0.340 * * * [progress]: generating rewritten candidates
0.340 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
0.344 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.348 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.354 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.366 * * * [progress]: generating series expansions
0.366 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
0.366 * [approximate]: Taking taylor expansion of (log (- 1.0 y)) in (y) around 0
0.366 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
0.366 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.366 * [taylor]: Taking taylor expansion of 1.0 in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.366 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
0.366 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.366 * [taylor]: Taking taylor expansion of 1.0 in y
0.366 * [taylor]: Taking taylor expansion of y in y
0.367 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in (y) around 0
0.367 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
0.367 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.367 * [taylor]: Taking taylor expansion of 1.0 in y
0.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.367 * [taylor]: Taking taylor expansion of y in y
0.367 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
0.367 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.367 * [taylor]: Taking taylor expansion of 1.0 in y
0.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.367 * [taylor]: Taking taylor expansion of y in y
0.368 * [approximate]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in (y) around 0
0.368 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
0.368 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.368 * [taylor]: Taking taylor expansion of y in y
0.368 * [taylor]: Taking taylor expansion of 1.0 in y
0.368 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
0.368 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.368 * [taylor]: Taking taylor expansion of y in y
0.368 * [taylor]: Taking taylor expansion of 1.0 in y
0.369 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.369 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.369 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.369 * [taylor]: Taking taylor expansion of x in y
0.369 * [taylor]: Taking taylor expansion of (log y) in y
0.369 * [taylor]: Taking taylor expansion of y in y
0.369 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.369 * [taylor]: Taking taylor expansion of (log y) in x
0.369 * [taylor]: Taking taylor expansion of y in x
0.369 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.369 * [taylor]: Taking taylor expansion of (log y) in x
0.369 * [taylor]: Taking taylor expansion of y in x
0.369 * [taylor]: Taking taylor expansion of 0 in y
0.369 * [taylor]: Taking taylor expansion of (log y) in y
0.369 * [taylor]: Taking taylor expansion of y in y
0.370 * [taylor]: Taking taylor expansion of 0 in y
0.370 * [taylor]: Taking taylor expansion of 0 in y
0.371 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.371 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.371 * [taylor]: Taking taylor expansion of y in y
0.371 * [taylor]: Taking taylor expansion of x in y
0.371 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.371 * [taylor]: Taking taylor expansion of y in x
0.371 * [taylor]: Taking taylor expansion of x in x
0.371 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.371 * [taylor]: Taking taylor expansion of y in x
0.371 * [taylor]: Taking taylor expansion of x in x
0.371 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.371 * [taylor]: Taking taylor expansion of y in y
0.372 * [taylor]: Taking taylor expansion of 0 in y
0.372 * [taylor]: Taking taylor expansion of 0 in y
0.373 * [taylor]: Taking taylor expansion of 0 in y
0.373 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.373 * [taylor]: Taking taylor expansion of -1 in y
0.373 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.373 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.373 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.373 * [taylor]: Taking taylor expansion of -1 in y
0.373 * [taylor]: Taking taylor expansion of y in y
0.373 * [taylor]: Taking taylor expansion of x in y
0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.373 * [taylor]: Taking taylor expansion of -1 in x
0.373 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.373 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.373 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.373 * [taylor]: Taking taylor expansion of -1 in x
0.373 * [taylor]: Taking taylor expansion of y in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.373 * [taylor]: Taking taylor expansion of -1 in x
0.374 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.374 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.374 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.374 * [taylor]: Taking taylor expansion of -1 in x
0.374 * [taylor]: Taking taylor expansion of y in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.374 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.374 * [taylor]: Taking taylor expansion of -1 in y
0.374 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.374 * [taylor]: Taking taylor expansion of -1 in y
0.374 * [taylor]: Taking taylor expansion of y in y
0.374 * [taylor]: Taking taylor expansion of 0 in y
0.375 * [taylor]: Taking taylor expansion of 0 in y
0.376 * [taylor]: Taking taylor expansion of 0 in y
0.376 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.376 * [approximate]: Taking taylor expansion of (* (log (- 1.0 y)) z) in (z y) around 0
0.376 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in y
0.376 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
0.376 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.376 * [taylor]: Taking taylor expansion of 1.0 in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.376 * [taylor]: Taking taylor expansion of z in y
0.376 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in z
0.376 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in z
0.376 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
0.376 * [taylor]: Taking taylor expansion of 1.0 in z
0.376 * [taylor]: Taking taylor expansion of y in z
0.376 * [taylor]: Taking taylor expansion of z in z
0.376 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in z
0.376 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in z
0.376 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
0.376 * [taylor]: Taking taylor expansion of 1.0 in z
0.376 * [taylor]: Taking taylor expansion of y in z
0.376 * [taylor]: Taking taylor expansion of z in z
0.377 * [taylor]: Taking taylor expansion of 0 in y
0.377 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
0.377 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.377 * [taylor]: Taking taylor expansion of 1.0 in y
0.377 * [taylor]: Taking taylor expansion of y in y
0.377 * [taylor]: Taking taylor expansion of 0 in y
0.378 * [taylor]: Taking taylor expansion of 0 in y
0.378 * [approximate]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in (z y) around 0
0.378 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in y
0.378 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
0.378 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.378 * [taylor]: Taking taylor expansion of 1.0 in y
0.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.378 * [taylor]: Taking taylor expansion of y in y
0.378 * [taylor]: Taking taylor expansion of z in y
0.379 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in z
0.379 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in z
0.379 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
0.379 * [taylor]: Taking taylor expansion of 1.0 in z
0.379 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.379 * [taylor]: Taking taylor expansion of y in z
0.379 * [taylor]: Taking taylor expansion of z in z
0.379 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in z
0.379 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in z
0.379 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
0.379 * [taylor]: Taking taylor expansion of 1.0 in z
0.379 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.379 * [taylor]: Taking taylor expansion of y in z
0.379 * [taylor]: Taking taylor expansion of z in z
0.379 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
0.379 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.379 * [taylor]: Taking taylor expansion of 1.0 in y
0.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.379 * [taylor]: Taking taylor expansion of y in y
0.380 * [taylor]: Taking taylor expansion of 0 in y
0.380 * [taylor]: Taking taylor expansion of 0 in y
0.381 * [approximate]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1.0)) z)) in (z y) around 0
0.381 * [taylor]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1.0)) z)) in y
0.381 * [taylor]: Taking taylor expansion of -1 in y
0.381 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in y
0.381 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.381 * [taylor]: Taking taylor expansion of y in y
0.381 * [taylor]: Taking taylor expansion of 1.0 in y
0.381 * [taylor]: Taking taylor expansion of z in y
0.381 * [taylor]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1.0)) z)) in z
0.381 * [taylor]: Taking taylor expansion of -1 in z
0.381 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in z
0.381 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in z
0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
0.381 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.381 * [taylor]: Taking taylor expansion of y in z
0.381 * [taylor]: Taking taylor expansion of 1.0 in z
0.382 * [taylor]: Taking taylor expansion of z in z
0.382 * [taylor]: Taking taylor expansion of (* -1 (/ (log (+ (/ 1 y) 1.0)) z)) in z
0.382 * [taylor]: Taking taylor expansion of -1 in z
0.382 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in z
0.382 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in z
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
0.382 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.382 * [taylor]: Taking taylor expansion of y in z
0.382 * [taylor]: Taking taylor expansion of 1.0 in z
0.382 * [taylor]: Taking taylor expansion of z in z
0.382 * [taylor]: Taking taylor expansion of (* -1 (log (+ (/ 1 y) 1.0))) in y
0.382 * [taylor]: Taking taylor expansion of -1 in y
0.382 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.382 * [taylor]: Taking taylor expansion of y in y
0.382 * [taylor]: Taking taylor expansion of 1.0 in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.384 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.384 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1.0 y)) z)) t) in (x y z t) around 0
0.384 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1.0 y)) z)) t) in t
0.384 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1.0 y)) z)) in t
0.384 * [taylor]: Taking taylor expansion of (* x (log y)) in t
0.384 * [taylor]: Taking taylor expansion of x in t
0.384 * [taylor]: Taking taylor expansion of (log y) in t
0.384 * [taylor]: Taking taylor expansion of y in t
0.384 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in t
0.384 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in t
0.384 * [taylor]: Taking taylor expansion of (- 1.0 y) in t
0.384 * [taylor]: Taking taylor expansion of 1.0 in t
0.384 * [taylor]: Taking taylor expansion of y in t
0.384 * [taylor]: Taking taylor expansion of z in t
0.384 * [taylor]: Taking taylor expansion of t in t
0.384 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1.0 y)) z)) t) in z
0.384 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1.0 y)) z)) in z
0.384 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.384 * [taylor]: Taking taylor expansion of x in z
0.385 * [taylor]: Taking taylor expansion of (log y) in z
0.385 * [taylor]: Taking taylor expansion of y in z
0.385 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in z
0.385 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in z
0.385 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
0.385 * [taylor]: Taking taylor expansion of 1.0 in z
0.385 * [taylor]: Taking taylor expansion of y in z
0.385 * [taylor]: Taking taylor expansion of z in z
0.385 * [taylor]: Taking taylor expansion of t in z
0.385 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1.0 y)) z)) t) in y
0.385 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1.0 y)) z)) in y
0.385 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.385 * [taylor]: Taking taylor expansion of x in y
0.385 * [taylor]: Taking taylor expansion of (log y) in y
0.385 * [taylor]: Taking taylor expansion of y in y
0.385 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in y
0.385 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
0.385 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.385 * [taylor]: Taking taylor expansion of 1.0 in y
0.385 * [taylor]: Taking taylor expansion of y in y
0.385 * [taylor]: Taking taylor expansion of z in y
0.385 * [taylor]: Taking taylor expansion of t in y
0.385 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1.0 y)) z)) t) in x
0.385 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1.0 y)) z)) in x
0.385 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.385 * [taylor]: Taking taylor expansion of (log y) in x
0.385 * [taylor]: Taking taylor expansion of y in x
0.385 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in x
0.385 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in x
0.385 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
0.385 * [taylor]: Taking taylor expansion of 1.0 in x
0.385 * [taylor]: Taking taylor expansion of y in x
0.385 * [taylor]: Taking taylor expansion of z in x
0.385 * [taylor]: Taking taylor expansion of t in x
0.385 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* (log (- 1.0 y)) z)) t) in x
0.385 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* (log (- 1.0 y)) z)) in x
0.385 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.385 * [taylor]: Taking taylor expansion of (log y) in x
0.385 * [taylor]: Taking taylor expansion of y in x
0.385 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in x
0.385 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in x
0.385 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
0.385 * [taylor]: Taking taylor expansion of 1.0 in x
0.385 * [taylor]: Taking taylor expansion of y in x
0.386 * [taylor]: Taking taylor expansion of z in x
0.386 * [taylor]: Taking taylor expansion of t in x
0.386 * [taylor]: Taking taylor expansion of (- (* (log (- 1.0 y)) z) t) in y
0.386 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) z) in y
0.386 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
0.386 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
0.386 * [taylor]: Taking taylor expansion of 1.0 in y
0.386 * [taylor]: Taking taylor expansion of y in y
0.386 * [taylor]: Taking taylor expansion of z in y
0.386 * [taylor]: Taking taylor expansion of t in y
0.386 * [taylor]: Taking taylor expansion of (- (* z (log 1.0)) t) in z
0.386 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in z
0.386 * [taylor]: Taking taylor expansion of z in z
0.386 * [taylor]: Taking taylor expansion of (log 1.0) in z
0.386 * [taylor]: Taking taylor expansion of 1.0 in z
0.386 * [taylor]: Taking taylor expansion of t in z
0.386 * [taylor]: Taking taylor expansion of (neg t) in t
0.386 * [taylor]: Taking taylor expansion of t in t
0.387 * [taylor]: Taking taylor expansion of (log y) in y
0.387 * [taylor]: Taking taylor expansion of y in y
0.387 * [taylor]: Taking taylor expansion of (+ (log 1) (log y)) in z
0.387 * [taylor]: Taking taylor expansion of (log 1) in z
0.387 * [taylor]: Taking taylor expansion of 1 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 (+ (log 1) (log y)) in t
0.387 * [taylor]: Taking taylor expansion of (log 1) in t
0.387 * [taylor]: Taking taylor expansion of 1 in t
0.387 * [taylor]: Taking taylor expansion of (log y) in t
0.387 * [taylor]: Taking taylor expansion of y in t
0.387 * [taylor]: Taking taylor expansion of (neg (* 1.0 z)) in z
0.387 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
0.387 * [taylor]: Taking taylor expansion of 1.0 in z
0.387 * [taylor]: Taking taylor expansion of z in z
0.387 * [taylor]: Taking taylor expansion of 0 in t
0.387 * [taylor]: Taking taylor expansion of (log 1.0) in t
0.387 * [taylor]: Taking taylor expansion of 1.0 in t
0.388 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) (/ 1 t)) in (x y z t) around 0
0.388 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) (/ 1 t)) in t
0.388 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) in t
0.388 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t
0.388 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.388 * [taylor]: Taking taylor expansion of y in t
0.388 * [taylor]: Taking taylor expansion of x in t
0.388 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in t
0.388 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in t
0.388 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in t
0.388 * [taylor]: Taking taylor expansion of 1.0 in t
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.388 * [taylor]: Taking taylor expansion of y in t
0.388 * [taylor]: Taking taylor expansion of z in t
0.388 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.388 * [taylor]: Taking taylor expansion of t in t
0.388 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) (/ 1 t)) in z
0.388 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) in z
0.389 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.389 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.389 * [taylor]: Taking taylor expansion of y in z
0.389 * [taylor]: Taking taylor expansion of x in z
0.389 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in z
0.389 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in z
0.389 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
0.389 * [taylor]: Taking taylor expansion of 1.0 in z
0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.389 * [taylor]: Taking taylor expansion of y in z
0.389 * [taylor]: Taking taylor expansion of z in z
0.389 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.389 * [taylor]: Taking taylor expansion of t in z
0.389 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) (/ 1 t)) in y
0.389 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) in y
0.389 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.389 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.389 * [taylor]: Taking taylor expansion of y in y
0.389 * [taylor]: Taking taylor expansion of x in y
0.389 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in y
0.389 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
0.389 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.389 * [taylor]: Taking taylor expansion of 1.0 in y
0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.389 * [taylor]: Taking taylor expansion of y in y
0.389 * [taylor]: Taking taylor expansion of z in y
0.390 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.390 * [taylor]: Taking taylor expansion of t in y
0.390 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) (/ 1 t)) in x
0.390 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) in x
0.390 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.390 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.390 * [taylor]: Taking taylor expansion of y in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.390 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in x
0.390 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in x
0.390 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
0.390 * [taylor]: Taking taylor expansion of 1.0 in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.390 * [taylor]: Taking taylor expansion of y in x
0.390 * [taylor]: Taking taylor expansion of z in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.390 * [taylor]: Taking taylor expansion of t in x
0.390 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) (/ 1 t)) in x
0.390 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ (log (- 1.0 (/ 1 y))) z)) in x
0.390 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.390 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.390 * [taylor]: Taking taylor expansion of y in x
0.390 * [taylor]: Taking taylor expansion of x in x
0.390 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in x
0.390 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in x
0.390 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
0.390 * [taylor]: Taking taylor expansion of 1.0 in x
0.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.390 * [taylor]: Taking taylor expansion of y in x
0.391 * [taylor]: Taking taylor expansion of z in x
0.391 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.391 * [taylor]: Taking taylor expansion of t in x
0.391 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.391 * [taylor]: Taking taylor expansion of y in y
0.391 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z
0.391 * [taylor]: Taking taylor expansion of (log 1) in z
0.391 * [taylor]: Taking taylor expansion of 1 in z
0.391 * [taylor]: Taking taylor expansion of (log y) in z
0.391 * [taylor]: Taking taylor expansion of y in z
0.391 * [taylor]: Taking taylor expansion of (- (/ (log (- 1.0 (/ 1 y))) z) (/ 1 t)) in y
0.391 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 y))) z) in y
0.391 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
0.391 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
0.391 * [taylor]: Taking taylor expansion of 1.0 in y
0.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.391 * [taylor]: Taking taylor expansion of y in y
0.392 * [taylor]: Taking taylor expansion of z in y
0.392 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.392 * [taylor]: Taking taylor expansion of t in y
0.392 * [taylor]: Taking taylor expansion of (- (/ (log (neg 1)) z) (+ (/ (log y) z) (/ 1 t))) in z
0.392 * [taylor]: Taking taylor expansion of (/ (log (neg 1)) z) in z
0.392 * [taylor]: Taking taylor expansion of (log (neg 1)) in z
0.392 * [taylor]: Taking taylor expansion of (neg 1) in z
0.392 * [taylor]: Taking taylor expansion of 1 in z
0.392 * [taylor]: Taking taylor expansion of z in z
0.392 * [taylor]: Taking taylor expansion of (+ (/ (log y) z) (/ 1 t)) in z
0.392 * [taylor]: Taking taylor expansion of (/ (log y) z) in z
0.392 * [taylor]: Taking taylor expansion of (log y) in z
0.392 * [taylor]: Taking taylor expansion of y in z
0.392 * [taylor]: Taking taylor expansion of z in z
0.392 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.392 * [taylor]: Taking taylor expansion of t in z
0.392 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log y)) in t
0.392 * [taylor]: Taking taylor expansion of (log (neg 1)) in t
0.392 * [taylor]: Taking taylor expansion of (neg 1) in t
0.392 * [taylor]: Taking taylor expansion of 1 in t
0.392 * [taylor]: Taking taylor expansion of (log y) in t
0.392 * [taylor]: Taking taylor expansion of y in t
0.393 * [taylor]: Taking taylor expansion of 0 in z
0.393 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in t
0.393 * [taylor]: Taking taylor expansion of (log 1) in t
0.393 * [taylor]: Taking taylor expansion of 1 in t
0.393 * [taylor]: Taking taylor expansion of (log y) in t
0.393 * [taylor]: Taking taylor expansion of y in t
0.393 * [taylor]: Taking taylor expansion of 0 in y
0.393 * [taylor]: Taking taylor expansion of 0 in z
0.394 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z
0.394 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
0.394 * [taylor]: Taking taylor expansion of 1.0 in z
0.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.394 * [taylor]: Taking taylor expansion of z in z
0.394 * [taylor]: Taking taylor expansion of (neg 1.0) in t
0.394 * [taylor]: Taking taylor expansion of 1.0 in t
0.394 * [taylor]: Taking taylor expansion of 0 in z
0.395 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
0.395 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.395 * [taylor]: Taking taylor expansion of t in t
0.395 * [taylor]: Taking taylor expansion of 0 in t
0.395 * [taylor]: Taking taylor expansion of 0 in t
0.396 * [approximate]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x))) in (x y z t) around 0
0.396 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x))) in t
0.396 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.396 * [taylor]: Taking taylor expansion of t in t
0.396 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x)) in t
0.396 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in t
0.396 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in t
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in t
0.396 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.396 * [taylor]: Taking taylor expansion of y in t
0.396 * [taylor]: Taking taylor expansion of 1.0 in t
0.396 * [taylor]: Taking taylor expansion of z in t
0.396 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t
0.396 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t
0.396 * [taylor]: Taking taylor expansion of (/ -1 y) in t
0.396 * [taylor]: Taking taylor expansion of -1 in t
0.396 * [taylor]: Taking taylor expansion of y in t
0.396 * [taylor]: Taking taylor expansion of x in t
0.396 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x))) in z
0.396 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.396 * [taylor]: Taking taylor expansion of t in z
0.396 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x)) in z
0.396 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in z
0.396 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in z
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
0.396 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.396 * [taylor]: Taking taylor expansion of y in z
0.396 * [taylor]: Taking taylor expansion of 1.0 in z
0.396 * [taylor]: Taking taylor expansion of z in z
0.397 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.397 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.397 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.397 * [taylor]: Taking taylor expansion of -1 in z
0.397 * [taylor]: Taking taylor expansion of y in z
0.397 * [taylor]: Taking taylor expansion of x in z
0.397 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x))) in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.397 * [taylor]: Taking taylor expansion of t in y
0.397 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x)) in y
0.397 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in y
0.397 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [taylor]: Taking taylor expansion of 1.0 in y
0.397 * [taylor]: Taking taylor expansion of z in y
0.397 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.397 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.397 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.397 * [taylor]: Taking taylor expansion of -1 in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.397 * [taylor]: Taking taylor expansion of x in y
0.397 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x))) in x
0.397 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.397 * [taylor]: Taking taylor expansion of t in x
0.397 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x)) in x
0.397 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in x
0.397 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in x
0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
0.397 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.397 * [taylor]: Taking taylor expansion of y in x
0.398 * [taylor]: Taking taylor expansion of 1.0 in x
0.398 * [taylor]: Taking taylor expansion of z in x
0.398 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.398 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.398 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.398 * [taylor]: Taking taylor expansion of -1 in x
0.398 * [taylor]: Taking taylor expansion of y in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of (- (/ 1 t) (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x))) in x
0.398 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.398 * [taylor]: Taking taylor expansion of t in x
0.398 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 y) 1.0)) z) (/ (log (/ -1 y)) x)) in x
0.398 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in x
0.398 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in x
0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
0.398 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.398 * [taylor]: Taking taylor expansion of y in x
0.398 * [taylor]: Taking taylor expansion of 1.0 in x
0.398 * [taylor]: Taking taylor expansion of z in x
0.398 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.398 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.398 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.398 * [taylor]: Taking taylor expansion of -1 in x
0.398 * [taylor]: Taking taylor expansion of y in x
0.398 * [taylor]: Taking taylor expansion of x in x
0.398 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y
0.398 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.398 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.399 * [taylor]: Taking taylor expansion of -1 in y
0.399 * [taylor]: Taking taylor expansion of y in y
0.399 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.399 * [taylor]: Taking taylor expansion of (log y) in z
0.399 * [taylor]: Taking taylor expansion of y in z
0.399 * [taylor]: Taking taylor expansion of (log -1) in z
0.399 * [taylor]: Taking taylor expansion of -1 in z
0.399 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ (log (+ (/ 1 y) 1.0)) z)) in y
0.399 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.399 * [taylor]: Taking taylor expansion of t in y
0.399 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 y) 1.0)) z) in y
0.399 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
0.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.399 * [taylor]: Taking taylor expansion of y in y
0.399 * [taylor]: Taking taylor expansion of 1.0 in y
0.399 * [taylor]: Taking taylor expansion of z in y
0.400 * [taylor]: Taking taylor expansion of (- (+ (/ (log y) z) (/ 1 t)) (/ (log 1) z)) in z
0.400 * [taylor]: Taking taylor expansion of (+ (/ (log y) z) (/ 1 t)) in z
0.400 * [taylor]: Taking taylor expansion of (/ (log y) z) in z
0.400 * [taylor]: Taking taylor expansion of (log y) in z
0.400 * [taylor]: Taking taylor expansion of y in z
0.400 * [taylor]: Taking taylor expansion of z in z
0.400 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.400 * [taylor]: Taking taylor expansion of t in z
0.400 * [taylor]: Taking taylor expansion of (/ (log 1) z) in z
0.400 * [taylor]: Taking taylor expansion of (log 1) in z
0.400 * [taylor]: Taking taylor expansion of 1 in z
0.400 * [taylor]: Taking taylor expansion of z in z
0.400 * [taylor]: Taking taylor expansion of (- (log y) (log 1)) in t
0.400 * [taylor]: Taking taylor expansion of (log y) in t
0.400 * [taylor]: Taking taylor expansion of y in t
0.400 * [taylor]: Taking taylor expansion of (log 1) in t
0.400 * [taylor]: Taking taylor expansion of 1 in t
0.400 * [taylor]: Taking taylor expansion of 0 in z
0.400 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t
0.400 * [taylor]: Taking taylor expansion of (log y) in t
0.401 * [taylor]: Taking taylor expansion of y in t
0.401 * [taylor]: Taking taylor expansion of (log -1) in t
0.401 * [taylor]: Taking taylor expansion of -1 in t
0.401 * [taylor]: Taking taylor expansion of 0 in y
0.401 * [taylor]: Taking taylor expansion of 0 in z
0.402 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z
0.402 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
0.402 * [taylor]: Taking taylor expansion of 1.0 in z
0.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.402 * [taylor]: Taking taylor expansion of z in z
0.402 * [taylor]: Taking taylor expansion of (neg 1.0) in t
0.402 * [taylor]: Taking taylor expansion of 1.0 in t
0.402 * [taylor]: Taking taylor expansion of 0 in z
0.402 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.403 * [taylor]: Taking taylor expansion of t in t
0.403 * [taylor]: Taking taylor expansion of 0 in t
0.403 * [taylor]: Taking taylor expansion of 0 in t
0.403 * * * [progress]: simplifying candidates
0.405 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (log (cbrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log 1)
  (log (- 1.0 y))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (- (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (- 1.0 y))
  (log (- (pow 1.0 3) (pow y 3)))
  (log (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y))))
  (log (- (* 1.0 1.0) (* y y)))
  (log (+ 1.0 y))
  (log (- 1.0 y))
  (log (log (- 1.0 y)))
  (exp (log (- 1.0 y)))
  (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y))))
  (cbrt (log (- 1.0 y)))
  (* (* (log (- 1.0 y)) (log (- 1.0 y))) (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (* z (log (- 1.0 y)))
  (+ (log z) (log (log (- 1.0 y))))
  (log (* z (log (- 1.0 y))))
  (exp (* z (log (- 1.0 y))))
  (* (* (* z z) z) (* (* (log (- 1.0 y)) (log (- 1.0 y))) (log (- 1.0 y))))
  (* (cbrt (* z (log (- 1.0 y)))) (cbrt (* z (log (- 1.0 y)))))
  (cbrt (* z (log (- 1.0 y))))
  (* (* (* z (log (- 1.0 y))) (* z (log (- 1.0 y)))) (* z (log (- 1.0 y))))
  (sqrt (* z (log (- 1.0 y))))
  (sqrt (* z (log (- 1.0 y))))
  (* (sqrt z) (sqrt (log (- 1.0 y))))
  (* (sqrt z) (sqrt (log (- 1.0 y))))
  (* z (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
  (* z (log (cbrt (- 1.0 y))))
  (* z (log (sqrt (- 1.0 y))))
  (* z (log (sqrt (- 1.0 y))))
  (* z (log 1))
  (* z (log (- 1.0 y)))
  (* z (log (+ (sqrt 1.0) (sqrt y))))
  (* z (log (- (sqrt 1.0) (sqrt y))))
  (* z (log 1))
  (* z (log (- 1.0 y)))
  (* (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) z)
  (* (log (cbrt (- 1.0 y))) z)
  (* (log (sqrt (- 1.0 y))) z)
  (* (log (sqrt (- 1.0 y))) z)
  (* (log 1) z)
  (* (log (- 1.0 y)) z)
  (* (log (+ (sqrt 1.0) (sqrt y))) z)
  (* (log (- (sqrt 1.0) (sqrt y))) z)
  (* (log 1) z)
  (* (log (- 1.0 y)) z)
  (* z 1)
  (* z (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y)))))
  (* z (sqrt (log (- 1.0 y))))
  (* z 1)
  (* (cbrt z) (log (- 1.0 y)))
  (* (sqrt z) (log (- 1.0 y)))
  (* z (log (- 1.0 y)))
  (/ (* (exp (* x (log y))) (exp (* z (log (- 1.0 y))))) (exp t))
  (/ (exp (+ (* x (log y)) (* z (log (- 1.0 y))))) (exp t))
  (log (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t))
  (exp (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t))
  (* (cbrt (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)) (cbrt (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)))
  (cbrt (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t))
  (* (* (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t) (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)) (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t))
  (sqrt (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t))
  (sqrt (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t))
  (- (pow (+ (* x (log y)) (* z (log (- 1.0 y)))) 3) (pow t 3))
  (+ (* (+ (* x (log y)) (* z (log (- 1.0 y)))) (+ (* x (log y)) (* z (log (- 1.0 y))))) (+ (* t t) (* (+ (* x (log y)) (* z (log (- 1.0 y)))) t)))
  (neg t)
  (- (* (+ (* x (log y)) (* z (log (- 1.0 y)))) (+ (* x (log y)) (* z (log (- 1.0 y))))) (* t t))
  (+ (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
  (+ (sqrt (+ (* x (log y)) (* z (log (- 1.0 y))))) (sqrt t))
  (- (sqrt (+ (* x (log y)) (* z (log (- 1.0 y))))) (sqrt t))
  (- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
  (- (* z (log (- 1.0 y))) t)
  (neg t)
  (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))
  (- (log (neg 1)) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ 1 y)))))
  (- (log 1) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ -1 y)))))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))
  (- (* (log (neg 1)) z) (+ (* z (log (/ 1 y))) (+ (* 0.5 (/ z (pow y 2))) (* 1.0 (/ z y)))))
  (- (* (log 1) z) (+ (* 0.5 (/ z (pow y 2))) (+ (* 1.0 (/ z y)) (* z (log (/ -1 y))))))
  (- (+ (* z (log 1.0)) (+ (* x (log y)) (* (log 1) x))) t)
  (- (+ (* (log (neg 1)) z) (* (log 1) x)) (+ (* x (log (/ 1 y))) (+ (* z (log (/ 1 y))) t)))
  (- (+ (* (log 1) z) (* (log -1) x)) (+ t (+ (* x (log (/ -1 y))) (* z (log (/ -1 y))))))
0.457 * * [simplify]: iteration  0 :  4957  enodes  (cost  981 )
0.457 * * [simplify]: iteration  1 :  4957  enodes  (cost  981 )
0.464 * [simplify]: Simplified to:
   (* (log (cbrt (- 1.0 y))) 2)
  (log (cbrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log 1)
  (log (- 1.0 y))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (- (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (- 1.0 y))
  (log (- (pow 1.0 3) (pow y 3)))
  (log (+ (* 1.0 1.0) (* y (+ 1.0 y))))
  (log (- (* 1.0 1.0) (* y y)))
  (log (+ 1.0 y))
  (log (- 1.0 y))
  (log (log (- 1.0 y)))
  (- 1.0 y)
  (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y))))
  (cbrt (log (- 1.0 y)))
  (pow (log (- 1.0 y)) 3)
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* (log (cbrt y)) 2))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* (log 1) x)
  (* x (log y))
  (* x (* (log (cbrt y)) 2))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* (log 1) x)
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (log y) (cbrt x))
  (* (log y) (sqrt x))
  (* x (log y))
  (* (log (- 1.0 y)) z)
  (log (* (log (- 1.0 y)) z))
  (log (* (log (- 1.0 y)) z))
  (pow (- 1.0 y) z)
  (pow (* (log (- 1.0 y)) z) 3)
  (* (cbrt (* (log (- 1.0 y)) z)) (cbrt (* (log (- 1.0 y)) z)))
  (cbrt (* (log (- 1.0 y)) z))
  (pow (* (log (- 1.0 y)) z) 3)
  (sqrt (* (log (- 1.0 y)) z))
  (sqrt (* (log (- 1.0 y)) z))
  (* (sqrt (log (- 1.0 y))) (sqrt z))
  (* (sqrt (log (- 1.0 y))) (sqrt z))
  (* (* (log (cbrt (- 1.0 y))) 2) z)
  (* (log (cbrt (- 1.0 y))) z)
  (* (log (sqrt (- 1.0 y))) z)
  (* (log (sqrt (- 1.0 y))) z)
  (* (log 1) z)
  (* (log (- 1.0 y)) z)
  (* (log (+ (sqrt 1.0) (sqrt y))) z)
  (* (log (- (sqrt 1.0) (sqrt y))) z)
  (* (log 1) z)
  (* (log (- 1.0 y)) z)
  (* (* (log (cbrt (- 1.0 y))) 2) z)
  (* (log (cbrt (- 1.0 y))) z)
  (* (log (sqrt (- 1.0 y))) z)
  (* (log (sqrt (- 1.0 y))) z)
  (* (log 1) z)
  (* (log (- 1.0 y)) z)
  (* (log (+ (sqrt 1.0) (sqrt y))) z)
  (* (log (- (sqrt 1.0) (sqrt y))) z)
  (* (log 1) z)
  (* (log (- 1.0 y)) z)
  z
  (* (cbrt (log (- 1.0 y))) (* (cbrt (log (- 1.0 y))) z))
  (* (sqrt (log (- 1.0 y))) z)
  z
  (* (log (- 1.0 y)) (cbrt z))
  (* (log (- 1.0 y)) (sqrt z))
  (* (log (- 1.0 y)) z)
  (* (pow y x) (/ (pow (- 1.0 y) z) (exp t)))
  (* (pow y x) (/ (pow (- 1.0 y) z) (exp t)))
  (log (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)))
  (* (pow y x) (/ (pow (- 1.0 y) z) (exp t)))
  (* (cbrt (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t))) (cbrt (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t))))
  (cbrt (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)))
  (pow (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)) 3)
  (sqrt (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)))
  (sqrt (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)))
  (- (pow (+ (* x (log y)) (* (log (- 1.0 y)) z)) 3) (pow t 3))
  (+ (* t t) (* (+ (* x (log y)) (* (log (- 1.0 y)) z)) (+ (* x (log y)) (+ (* (log (- 1.0 y)) z) t))))
  (neg t)
  (- (* (+ (* x (log y)) (* (log (- 1.0 y)) z)) (+ (* x (log y)) (* (log (- 1.0 y)) z))) (* t t))
  (+ (* x (log y)) (+ (* (log (- 1.0 y)) z) t))
  (+ (sqrt (+ (* x (log y)) (* (log (- 1.0 y)) z))) (sqrt t))
  (- (sqrt (+ (* x (log y)) (* (log (- 1.0 y)) z))) (sqrt t))
  (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t))
  (- (* (log (- 1.0 y)) z) t)
  (neg t)
  (+ (log 1.0) (- (* (* y (/ y (* 1.0 1.0))) -1/2) (* 1.0 y)))
  (+ (log -1) (- (log y) (+ (/ 1.0 y) (/ 0.5 (* y y)))))
  (- (log 1) (+ (/ 1.0 y) (+ (/ 0.5 (* y y)) (log (/ -1 y)))))
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (- (* z (+ (log -1) (log y))) (* (/ z y) (+ (/ 0.5 y) 1.0)))
  (- (* (log 1) z) (+ (* (/ z y) (+ (/ 0.5 y) 1.0)) (* z (log (/ -1 y)))))
  (+ (* x (log y)) (- (* z (log 1.0)) t))
  (+ (* z (log -1)) (- (* (log y) (+ x z)) t))
  (+ (* (log 1) z) (- (* x (log y)) (+ t (* z (log (/ -1 y))))))
0.465 * * * [progress]: adding candidates to table
0.694 * * [progress]: iteration 2 / 4
0.694 * * * [progress]: picking best candidate
0.727 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t))>
0.727 * * * [progress]: localizing error
0.746 * * * [progress]: generating rewritten candidates
0.746 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.750 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1)
0.760 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.770 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.783 * * * [progress]: generating series expansions
0.783 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.783 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.783 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.783 * [taylor]: Taking taylor expansion of x in y
0.783 * [taylor]: Taking taylor expansion of (log y) in y
0.783 * [taylor]: Taking taylor expansion of y in y
0.783 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.783 * [taylor]: Taking taylor expansion of x in x
0.783 * [taylor]: Taking taylor expansion of (log y) in x
0.783 * [taylor]: Taking taylor expansion of y in x
0.783 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.783 * [taylor]: Taking taylor expansion of x in x
0.784 * [taylor]: Taking taylor expansion of (log y) in x
0.784 * [taylor]: Taking taylor expansion of y in x
0.784 * [taylor]: Taking taylor expansion of 0 in y
0.784 * [taylor]: Taking taylor expansion of (log y) in y
0.784 * [taylor]: Taking taylor expansion of y in y
0.784 * [taylor]: Taking taylor expansion of 0 in y
0.785 * [taylor]: Taking taylor expansion of 0 in y
0.785 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.785 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.785 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.785 * [taylor]: Taking taylor expansion of y in y
0.785 * [taylor]: Taking taylor expansion of x in y
0.785 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.785 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.785 * [taylor]: Taking taylor expansion of y in x
0.785 * [taylor]: Taking taylor expansion of x in x
0.785 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.785 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.785 * [taylor]: Taking taylor expansion of y in x
0.785 * [taylor]: Taking taylor expansion of x in x
0.785 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.786 * [taylor]: Taking taylor expansion of y in y
0.786 * [taylor]: Taking taylor expansion of 0 in y
0.786 * [taylor]: Taking taylor expansion of 0 in y
0.787 * [taylor]: Taking taylor expansion of 0 in y
0.787 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.787 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.787 * [taylor]: Taking taylor expansion of -1 in y
0.787 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.787 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.787 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.787 * [taylor]: Taking taylor expansion of -1 in y
0.787 * [taylor]: Taking taylor expansion of y in y
0.787 * [taylor]: Taking taylor expansion of x in y
0.788 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.788 * [taylor]: Taking taylor expansion of -1 in x
0.788 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.788 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.788 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.788 * [taylor]: Taking taylor expansion of -1 in x
0.788 * [taylor]: Taking taylor expansion of y in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.788 * [taylor]: Taking taylor expansion of -1 in x
0.788 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.788 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.788 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.788 * [taylor]: Taking taylor expansion of -1 in x
0.788 * [taylor]: Taking taylor expansion of y in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.788 * [taylor]: Taking taylor expansion of -1 in y
0.788 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.788 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.788 * [taylor]: Taking taylor expansion of -1 in y
0.788 * [taylor]: Taking taylor expansion of y in y
0.789 * [taylor]: Taking taylor expansion of 0 in y
0.789 * [taylor]: Taking taylor expansion of 0 in y
0.790 * [taylor]: Taking taylor expansion of 0 in y
0.790 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1)
0.790 * [approximate]: Taking taylor expansion of (* 1.0 (* z (pow y 2))) in (y z) around 0
0.790 * [taylor]: Taking taylor expansion of (* 1.0 (* z (pow y 2))) in z
0.790 * [taylor]: Taking taylor expansion of 1.0 in z
0.790 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.790 * [taylor]: Taking taylor expansion of z in z
0.790 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.790 * [taylor]: Taking taylor expansion of y in z
0.791 * [taylor]: Taking taylor expansion of (* 1.0 (* z (pow y 2))) in y
0.791 * [taylor]: Taking taylor expansion of 1.0 in y
0.791 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.791 * [taylor]: Taking taylor expansion of z in y
0.791 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.791 * [taylor]: Taking taylor expansion of y in y
0.791 * [taylor]: Taking taylor expansion of (* 1.0 (* z (pow y 2))) in y
0.791 * [taylor]: Taking taylor expansion of 1.0 in y
0.791 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.791 * [taylor]: Taking taylor expansion of z in y
0.791 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.791 * [taylor]: Taking taylor expansion of y in y
0.791 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
0.791 * [taylor]: Taking taylor expansion of 1.0 in z
0.791 * [taylor]: Taking taylor expansion of z in z
0.791 * [taylor]: Taking taylor expansion of 0 in z
0.791 * [taylor]: Taking taylor expansion of 0 in z
0.791 * [taylor]: Taking taylor expansion of 0 in z
0.791 * [approximate]: Taking taylor expansion of (/ 1.0 (* z (pow y 2))) in (y z) around 0
0.791 * [taylor]: Taking taylor expansion of (/ 1.0 (* z (pow y 2))) in z
0.792 * [taylor]: Taking taylor expansion of 1.0 in z
0.792 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.792 * [taylor]: Taking taylor expansion of z in z
0.792 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.792 * [taylor]: Taking taylor expansion of y in z
0.792 * [taylor]: Taking taylor expansion of (/ 1.0 (* z (pow y 2))) in y
0.792 * [taylor]: Taking taylor expansion of 1.0 in y
0.792 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.792 * [taylor]: Taking taylor expansion of z in y
0.792 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.792 * [taylor]: Taking taylor expansion of y in y
0.792 * [taylor]: Taking taylor expansion of (/ 1.0 (* z (pow y 2))) in y
0.792 * [taylor]: Taking taylor expansion of 1.0 in y
0.792 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.792 * [taylor]: Taking taylor expansion of z in y
0.792 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.792 * [taylor]: Taking taylor expansion of y in y
0.792 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
0.792 * [taylor]: Taking taylor expansion of 1.0 in z
0.792 * [taylor]: Taking taylor expansion of z in z
0.792 * [taylor]: Taking taylor expansion of 0 in z
0.792 * [taylor]: Taking taylor expansion of 0 in z
0.793 * [taylor]: Taking taylor expansion of 0 in z
0.793 * [approximate]: Taking taylor expansion of (/ -1.0 (* z (pow y 2))) in (y z) around 0
0.793 * [taylor]: Taking taylor expansion of (/ -1.0 (* z (pow y 2))) in z
0.793 * [taylor]: Taking taylor expansion of -1.0 in z
0.793 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.793 * [taylor]: Taking taylor expansion of z in z
0.793 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.793 * [taylor]: Taking taylor expansion of y in z
0.793 * [taylor]: Taking taylor expansion of (/ -1.0 (* z (pow y 2))) in y
0.793 * [taylor]: Taking taylor expansion of -1.0 in y
0.793 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.793 * [taylor]: Taking taylor expansion of z in y
0.793 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.793 * [taylor]: Taking taylor expansion of y in y
0.794 * [taylor]: Taking taylor expansion of (/ -1.0 (* z (pow y 2))) in y
0.794 * [taylor]: Taking taylor expansion of -1.0 in y
0.794 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.794 * [taylor]: Taking taylor expansion of z in y
0.794 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.794 * [taylor]: Taking taylor expansion of y in y
0.794 * [taylor]: Taking taylor expansion of (/ -1.0 z) in z
0.794 * [taylor]: Taking taylor expansion of -1.0 in z
0.794 * [taylor]: Taking taylor expansion of z in z
0.794 * [taylor]: Taking taylor expansion of 0 in z
0.794 * [taylor]: Taking taylor expansion of 0 in z
0.794 * [taylor]: Taking taylor expansion of 0 in z
0.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
0.795 * [approximate]: Taking taylor expansion of (* -0.5 (* z (pow y 2))) in (y z) around 0
0.795 * [taylor]: Taking taylor expansion of (* -0.5 (* z (pow y 2))) in z
0.795 * [taylor]: Taking taylor expansion of -0.5 in z
0.795 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.795 * [taylor]: Taking taylor expansion of z in z
0.795 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.795 * [taylor]: Taking taylor expansion of y in z
0.795 * [taylor]: Taking taylor expansion of (* -0.5 (* z (pow y 2))) in y
0.795 * [taylor]: Taking taylor expansion of -0.5 in y
0.795 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.795 * [taylor]: Taking taylor expansion of z in y
0.795 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.795 * [taylor]: Taking taylor expansion of y in y
0.795 * [taylor]: Taking taylor expansion of (* -0.5 (* z (pow y 2))) in y
0.795 * [taylor]: Taking taylor expansion of -0.5 in y
0.795 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.795 * [taylor]: Taking taylor expansion of z in y
0.795 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.795 * [taylor]: Taking taylor expansion of y in y
0.795 * [taylor]: Taking taylor expansion of (* -0.5 z) in z
0.795 * [taylor]: Taking taylor expansion of -0.5 in z
0.795 * [taylor]: Taking taylor expansion of z in z
0.795 * [taylor]: Taking taylor expansion of 0 in z
0.795 * [taylor]: Taking taylor expansion of 0 in z
0.796 * [taylor]: Taking taylor expansion of 0 in z
0.796 * [approximate]: Taking taylor expansion of (/ -0.5 (* z (pow y 2))) in (y z) around 0
0.796 * [taylor]: Taking taylor expansion of (/ -0.5 (* z (pow y 2))) in z
0.796 * [taylor]: Taking taylor expansion of -0.5 in z
0.796 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.796 * [taylor]: Taking taylor expansion of z in z
0.796 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.796 * [taylor]: Taking taylor expansion of y in z
0.796 * [taylor]: Taking taylor expansion of (/ -0.5 (* z (pow y 2))) in y
0.796 * [taylor]: Taking taylor expansion of -0.5 in y
0.796 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.796 * [taylor]: Taking taylor expansion of z in y
0.796 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.796 * [taylor]: Taking taylor expansion of y in y
0.796 * [taylor]: Taking taylor expansion of (/ -0.5 (* z (pow y 2))) in y
0.796 * [taylor]: Taking taylor expansion of -0.5 in y
0.796 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.796 * [taylor]: Taking taylor expansion of z in y
0.796 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.796 * [taylor]: Taking taylor expansion of y in y
0.796 * [taylor]: Taking taylor expansion of (/ -0.5 z) in z
0.796 * [taylor]: Taking taylor expansion of -0.5 in z
0.796 * [taylor]: Taking taylor expansion of z in z
0.797 * [taylor]: Taking taylor expansion of 0 in z
0.797 * [taylor]: Taking taylor expansion of 0 in z
0.797 * [taylor]: Taking taylor expansion of 0 in z
0.797 * [approximate]: Taking taylor expansion of (/ 0.5 (* z (pow y 2))) in (y z) around 0
0.797 * [taylor]: Taking taylor expansion of (/ 0.5 (* z (pow y 2))) in z
0.797 * [taylor]: Taking taylor expansion of 0.5 in z
0.797 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.797 * [taylor]: Taking taylor expansion of z in z
0.797 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.797 * [taylor]: Taking taylor expansion of y in z
0.798 * [taylor]: Taking taylor expansion of (/ 0.5 (* z (pow y 2))) in y
0.798 * [taylor]: Taking taylor expansion of 0.5 in y
0.798 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.798 * [taylor]: Taking taylor expansion of z in y
0.798 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of (/ 0.5 (* z (pow y 2))) in y
0.798 * [taylor]: Taking taylor expansion of 0.5 in y
0.798 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.798 * [taylor]: Taking taylor expansion of z in y
0.798 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z
0.798 * [taylor]: Taking taylor expansion of 0.5 in z
0.798 * [taylor]: Taking taylor expansion of z in z
0.798 * [taylor]: Taking taylor expansion of 0 in z
0.798 * [taylor]: Taking taylor expansion of 0 in z
0.799 * [taylor]: Taking taylor expansion of 0 in z
0.799 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.799 * [approximate]: Taking taylor expansion of (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) in (z y) around 0
0.799 * [taylor]: Taking taylor expansion of (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) in y
0.799 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in y
0.799 * [taylor]: Taking taylor expansion of z in y
0.799 * [taylor]: Taking taylor expansion of (log 1.0) in y
0.799 * [taylor]: Taking taylor expansion of 1.0 in y
0.799 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2)))) in y
0.799 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in y
0.799 * [taylor]: Taking taylor expansion of 1.0 in y
0.799 * [taylor]: Taking taylor expansion of (* z y) in y
0.799 * [taylor]: Taking taylor expansion of z in y
0.799 * [taylor]: Taking taylor expansion of y in y
0.799 * [taylor]: Taking taylor expansion of (* 0.5 (* z (pow y 2))) in y
0.799 * [taylor]: Taking taylor expansion of 0.5 in y
0.799 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.799 * [taylor]: Taking taylor expansion of z in y
0.799 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.799 * [taylor]: Taking taylor expansion of y in y
0.799 * [taylor]: Taking taylor expansion of (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) in z
0.799 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in z
0.799 * [taylor]: Taking taylor expansion of z in z
0.799 * [taylor]: Taking taylor expansion of (log 1.0) in z
0.799 * [taylor]: Taking taylor expansion of 1.0 in z
0.799 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2)))) in z
0.800 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in z
0.800 * [taylor]: Taking taylor expansion of 1.0 in z
0.800 * [taylor]: Taking taylor expansion of (* z y) in z
0.800 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of y in z
0.800 * [taylor]: Taking taylor expansion of (* 0.5 (* z (pow y 2))) in z
0.800 * [taylor]: Taking taylor expansion of 0.5 in z
0.800 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.800 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.800 * [taylor]: Taking taylor expansion of y in z
0.800 * [taylor]: Taking taylor expansion of (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) in z
0.800 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in z
0.800 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of (log 1.0) in z
0.800 * [taylor]: Taking taylor expansion of 1.0 in z
0.800 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2)))) in z
0.800 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in z
0.800 * [taylor]: Taking taylor expansion of 1.0 in z
0.800 * [taylor]: Taking taylor expansion of (* z y) in z
0.800 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of y in z
0.800 * [taylor]: Taking taylor expansion of (* 0.5 (* z (pow y 2))) in z
0.800 * [taylor]: Taking taylor expansion of 0.5 in z
0.800 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.800 * [taylor]: Taking taylor expansion of z in z
0.800 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.800 * [taylor]: Taking taylor expansion of y in z
0.800 * [taylor]: Taking taylor expansion of 0 in y
0.801 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 0.5 (pow y 2)) (* 1.0 y))) in y
0.801 * [taylor]: Taking taylor expansion of (log 1.0) in y
0.801 * [taylor]: Taking taylor expansion of 1.0 in y
0.801 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow y 2)) (* 1.0 y)) in y
0.801 * [taylor]: Taking taylor expansion of (* 0.5 (pow y 2)) in y
0.801 * [taylor]: Taking taylor expansion of 0.5 in y
0.801 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.801 * [taylor]: Taking taylor expansion of y in y
0.801 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
0.801 * [taylor]: Taking taylor expansion of 1.0 in y
0.801 * [taylor]: Taking taylor expansion of y in y
0.802 * [taylor]: Taking taylor expansion of 0 in y
0.802 * [taylor]: Taking taylor expansion of 0 in y
0.803 * [approximate]: Taking taylor expansion of (- (/ (log 1.0) z) (+ (* 1.0 (/ 1 (* z y))) (* 0.5 (/ 1 (* z (pow y 2)))))) in (z y) around 0
0.803 * [taylor]: Taking taylor expansion of (- (/ (log 1.0) z) (+ (* 1.0 (/ 1 (* z y))) (* 0.5 (/ 1 (* z (pow y 2)))))) in y
0.803 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in y
0.803 * [taylor]: Taking taylor expansion of (log 1.0) in y
0.803 * [taylor]: Taking taylor expansion of 1.0 in y
0.803 * [taylor]: Taking taylor expansion of z in y
0.803 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (* 0.5 (/ 1 (* z (pow y 2))))) in y
0.803 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in y
0.803 * [taylor]: Taking taylor expansion of 1.0 in y
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.803 * [taylor]: Taking taylor expansion of (* z y) in y
0.803 * [taylor]: Taking taylor expansion of z in y
0.803 * [taylor]: Taking taylor expansion of y in y
0.803 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in y
0.804 * [taylor]: Taking taylor expansion of 0.5 in y
0.804 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y
0.804 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.804 * [taylor]: Taking taylor expansion of z in y
0.804 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.804 * [taylor]: Taking taylor expansion of y in y
0.804 * [taylor]: Taking taylor expansion of (- (/ (log 1.0) z) (+ (* 1.0 (/ 1 (* z y))) (* 0.5 (/ 1 (* z (pow y 2)))))) in z
0.804 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in z
0.804 * [taylor]: Taking taylor expansion of (log 1.0) in z
0.804 * [taylor]: Taking taylor expansion of 1.0 in z
0.804 * [taylor]: Taking taylor expansion of z in z
0.804 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (* 0.5 (/ 1 (* z (pow y 2))))) in z
0.804 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in z
0.804 * [taylor]: Taking taylor expansion of 1.0 in z
0.804 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.804 * [taylor]: Taking taylor expansion of (* z y) in z
0.804 * [taylor]: Taking taylor expansion of z in z
0.804 * [taylor]: Taking taylor expansion of y in z
0.804 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in z
0.804 * [taylor]: Taking taylor expansion of 0.5 in z
0.804 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z
0.804 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.804 * [taylor]: Taking taylor expansion of z in z
0.804 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.804 * [taylor]: Taking taylor expansion of y in z
0.804 * [taylor]: Taking taylor expansion of (- (/ (log 1.0) z) (+ (* 1.0 (/ 1 (* z y))) (* 0.5 (/ 1 (* z (pow y 2)))))) in z
0.804 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in z
0.804 * [taylor]: Taking taylor expansion of (log 1.0) in z
0.804 * [taylor]: Taking taylor expansion of 1.0 in z
0.804 * [taylor]: Taking taylor expansion of z in z
0.804 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (* 0.5 (/ 1 (* z (pow y 2))))) in z
0.804 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in z
0.804 * [taylor]: Taking taylor expansion of 1.0 in z
0.804 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.804 * [taylor]: Taking taylor expansion of (* z y) in z
0.805 * [taylor]: Taking taylor expansion of z in z
0.805 * [taylor]: Taking taylor expansion of y in z
0.805 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in z
0.805 * [taylor]: Taking taylor expansion of 0.5 in z
0.805 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z
0.805 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.805 * [taylor]: Taking taylor expansion of z in z
0.805 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.805 * [taylor]: Taking taylor expansion of y in z
0.805 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 (pow y 2))))) in y
0.805 * [taylor]: Taking taylor expansion of (log 1.0) in y
0.805 * [taylor]: Taking taylor expansion of 1.0 in y
0.805 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 (pow y 2)))) in y
0.805 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
0.806 * [taylor]: Taking taylor expansion of 1.0 in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y
0.806 * [taylor]: Taking taylor expansion of 0.5 in y
0.806 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.806 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.806 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of 0 in y
0.807 * [taylor]: Taking taylor expansion of 0 in y
0.808 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z (pow y 2)))) (+ (* 1.0 (/ 1 (* z y))) (/ (log 1.0) z))) in (z y) around 0
0.808 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z (pow y 2)))) (+ (* 1.0 (/ 1 (* z y))) (/ (log 1.0) z))) in y
0.808 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in y
0.808 * [taylor]: Taking taylor expansion of 0.5 in y
0.808 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y
0.808 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y
0.808 * [taylor]: Taking taylor expansion of z in y
0.808 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.808 * [taylor]: Taking taylor expansion of y in y
0.808 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (/ (log 1.0) z)) in y
0.808 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in y
0.808 * [taylor]: Taking taylor expansion of 1.0 in y
0.808 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.808 * [taylor]: Taking taylor expansion of (* z y) in y
0.808 * [taylor]: Taking taylor expansion of z in y
0.808 * [taylor]: Taking taylor expansion of y in y
0.808 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in y
0.808 * [taylor]: Taking taylor expansion of (log 1.0) in y
0.808 * [taylor]: Taking taylor expansion of 1.0 in y
0.808 * [taylor]: Taking taylor expansion of z in y
0.808 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z (pow y 2)))) (+ (* 1.0 (/ 1 (* z y))) (/ (log 1.0) z))) in z
0.808 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in z
0.808 * [taylor]: Taking taylor expansion of 0.5 in z
0.808 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z
0.808 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.808 * [taylor]: Taking taylor expansion of z in z
0.808 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.808 * [taylor]: Taking taylor expansion of y in z
0.809 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (/ (log 1.0) z)) in z
0.809 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in z
0.809 * [taylor]: Taking taylor expansion of 1.0 in z
0.809 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.809 * [taylor]: Taking taylor expansion of (* z y) in z
0.809 * [taylor]: Taking taylor expansion of z in z
0.809 * [taylor]: Taking taylor expansion of y in z
0.809 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in z
0.809 * [taylor]: Taking taylor expansion of (log 1.0) in z
0.809 * [taylor]: Taking taylor expansion of 1.0 in z
0.809 * [taylor]: Taking taylor expansion of z in z
0.809 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z (pow y 2)))) (+ (* 1.0 (/ 1 (* z y))) (/ (log 1.0) z))) in z
0.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in z
0.809 * [taylor]: Taking taylor expansion of 0.5 in z
0.809 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z
0.809 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z
0.809 * [taylor]: Taking taylor expansion of z in z
0.809 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.809 * [taylor]: Taking taylor expansion of y in z
0.809 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (/ (log 1.0) z)) in z
0.809 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in z
0.809 * [taylor]: Taking taylor expansion of 1.0 in z
0.809 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.809 * [taylor]: Taking taylor expansion of (* z y) in z
0.809 * [taylor]: Taking taylor expansion of z in z
0.809 * [taylor]: Taking taylor expansion of y in z
0.810 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in z
0.810 * [taylor]: Taking taylor expansion of (log 1.0) in z
0.810 * [taylor]: Taking taylor expansion of 1.0 in z
0.810 * [taylor]: Taking taylor expansion of z in z
0.810 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow y 2))) (+ (* 1.0 (/ 1 y)) (log 1.0))) in y
0.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y
0.810 * [taylor]: Taking taylor expansion of 0.5 in y
0.810 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.810 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.810 * [taylor]: Taking taylor expansion of y in y
0.810 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (log 1.0)) in y
0.810 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
0.810 * [taylor]: Taking taylor expansion of 1.0 in y
0.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.810 * [taylor]: Taking taylor expansion of y in y
0.810 * [taylor]: Taking taylor expansion of (log 1.0) in y
0.810 * [taylor]: Taking taylor expansion of 1.0 in y
0.811 * [taylor]: Taking taylor expansion of 0 in y
0.812 * [taylor]: Taking taylor expansion of 0 in y
0.812 * * * [progress]: simplifying candidates
0.814 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (* y (/ (* y z) (* 1.0 1.0)))
  (+ (log y) (- (+ (log y) (log z)) (+ (log 1.0) (log 1.0))))
  (+ (log y) (- (+ (log y) (log z)) (log (* 1.0 1.0))))
  (+ (log y) (- (log (* y z)) (+ (log 1.0) (log 1.0))))
  (+ (log y) (- (log (* y z)) (log (* 1.0 1.0))))
  (+ (log y) (log (/ (* y z) (* 1.0 1.0))))
  (log (* y (/ (* y z) (* 1.0 1.0))))
  (exp (* y (/ (* y z) (* 1.0 1.0))))
  (* (* (* y y) y) (/ (* (* (* y y) y) (* (* z z) z)) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))))
  (* (* (* y y) y) (/ (* (* (* y y) y) (* (* z z) z)) (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0))))
  (* (* (* y y) y) (/ (* (* (* y z) (* y z)) (* y z)) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))))
  (* (* (* y y) y) (/ (* (* (* y z) (* y z)) (* y z)) (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0))))
  (* (* (* y y) y) (* (* (/ (* y z) (* 1.0 1.0)) (/ (* y z) (* 1.0 1.0))) (/ (* y z) (* 1.0 1.0))))
  (* (cbrt (* y (/ (* y z) (* 1.0 1.0)))) (cbrt (* y (/ (* y z) (* 1.0 1.0)))))
  (cbrt (* y (/ (* y z) (* 1.0 1.0))))
  (* (* (* y (/ (* y z) (* 1.0 1.0))) (* y (/ (* y z) (* 1.0 1.0)))) (* y (/ (* y z) (* 1.0 1.0))))
  (sqrt (* y (/ (* y z) (* 1.0 1.0))))
  (sqrt (* y (/ (* y z) (* 1.0 1.0))))
  (* (sqrt y) (sqrt (/ (* y z) (* 1.0 1.0))))
  (* (sqrt y) (sqrt (/ (* y z) (* 1.0 1.0))))
  (* y (* (cbrt (/ (* y z) (* 1.0 1.0))) (cbrt (/ (* y z) (* 1.0 1.0)))))
  (* y (sqrt (/ (* y z) (* 1.0 1.0))))
  (* y (/ y 1.0))
  (* y 1)
  (* y (* y z))
  (* (cbrt y) (/ (* y z) (* 1.0 1.0)))
  (* (sqrt y) (/ (* y z) (* 1.0 1.0)))
  (* y (/ (* y z) (* 1.0 1.0)))
  (* y (* y z))
  (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)
  (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)
  (+ (+ (log y) (- (+ (log y) (log z)) (+ (log 1.0) (log 1.0)))) (log -1/2))
  (+ (+ (log y) (- (+ (log y) (log z)) (log (* 1.0 1.0)))) (log -1/2))
  (+ (+ (log y) (- (log (* y z)) (+ (log 1.0) (log 1.0)))) (log -1/2))
  (+ (+ (log y) (- (log (* y z)) (log (* 1.0 1.0)))) (log -1/2))
  (+ (+ (log y) (log (/ (* y z) (* 1.0 1.0)))) (log -1/2))
  (+ (log (* y (/ (* y z) (* 1.0 1.0)))) (log -1/2))
  (log (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (exp (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (* (* (* (* y y) y) (/ (* (* (* y y) y) (* (* z z) z)) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0)))) (* (* -1/2 -1/2) -1/2))
  (* (* (* (* y y) y) (/ (* (* (* y y) y) (* (* z z) z)) (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)))) (* (* -1/2 -1/2) -1/2))
  (* (* (* (* y y) y) (/ (* (* (* y z) (* y z)) (* y z)) (* (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0)))) (* (* -1/2 -1/2) -1/2))
  (* (* (* (* y y) y) (/ (* (* (* y z) (* y z)) (* y z)) (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)))) (* (* -1/2 -1/2) -1/2))
  (* (* (* (* y y) y) (* (* (/ (* y z) (* 1.0 1.0)) (/ (* y z) (* 1.0 1.0))) (/ (* y z) (* 1.0 1.0)))) (* (* -1/2 -1/2) -1/2))
  (* (* (* (* y (/ (* y z) (* 1.0 1.0))) (* y (/ (* y z) (* 1.0 1.0)))) (* y (/ (* y z) (* 1.0 1.0)))) (* (* -1/2 -1/2) -1/2))
  (* (cbrt (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)) (cbrt (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (cbrt (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (* (* (* (* y (/ (* y z) (* 1.0 1.0))) -1/2) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (sqrt (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (sqrt (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (* (* y (/ (* y z) (* 1.0 1.0))) (* (cbrt -1/2) (cbrt -1/2)))
  (* (* y (/ (* y z) (* 1.0 1.0))) (sqrt -1/2))
  (* (* y (/ (* y z) (* 1.0 1.0))) 1)
  (* (/ (* y z) (* 1.0 1.0)) -1/2)
  (* (* y (* y z)) -1/2)
  (* (exp (* z (- (log 1.0) (* 1.0 y)))) (exp (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (log (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (exp (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (* (cbrt (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) (cbrt (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))))
  (cbrt (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (* (* (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (sqrt (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (sqrt (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (+ (* (* z (- (pow (log 1.0) 3) (pow (* 1.0 y) 3))) (* 1.0 1.0)) (* (+ (* (log 1.0) (log 1.0)) (+ (* (* 1.0 y) (* 1.0 y)) (* (log 1.0) (* 1.0 y)))) (* (* y (* y z)) -1/2)))
  (* (+ (* (log 1.0) (log 1.0)) (+ (* (* 1.0 y) (* 1.0 y)) (* (log 1.0) (* 1.0 y)))) (* 1.0 1.0))
  (+ (* (* z (- (* (log 1.0) (log 1.0)) (* (* 1.0 y) (* 1.0 y)))) (* 1.0 1.0)) (* (+ (log 1.0) (* 1.0 y)) (* (* y (* y z)) -1/2)))
  (* (+ (log 1.0) (* 1.0 y)) (* 1.0 1.0))
  (+ (pow (* z (- (log 1.0) (* 1.0 y))) 3) (pow (* (* y (/ (* y z) (* 1.0 1.0))) -1/2) 3))
  (+ (* (* z (- (log 1.0) (* 1.0 y))) (* z (- (log 1.0) (* 1.0 y)))) (- (* (* (* y (/ (* y z) (* 1.0 1.0))) -1/2) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)) (* (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))))
  (- (* (* z (- (log 1.0) (* 1.0 y))) (* z (- (log 1.0) (* 1.0 y)))) (* (* (* y (/ (* y z) (* 1.0 1.0))) -1/2) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2)))
  (- (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* z (neg (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* z (- (log (cbrt 1.0)) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* z (- (log (sqrt 1.0)) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* z (neg (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* (neg (* 1.0 y)) z) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* (- (log (cbrt 1.0)) (* 1.0 y)) z) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* (- (log (sqrt 1.0)) (* 1.0 y)) z) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* (- (log 1.0) (* 1.0 y)) z) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (+ (* (neg (* 1.0 y)) z) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (* 1.0 (* z (pow y 2)))
  (* 1.0 (* z (pow y 2)))
  (* 1.0 (* z (pow y 2)))
  (* -0.5 (* z (pow y 2)))
  (* -0.5 (* z (pow y 2)))
  (* -0.5 (* z (pow y 2)))
  (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2)))))
  (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2)))))
  (- (* z (log 1.0)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2)))))
0.838 * * [simplify]: iteration  0 :  5342  enodes  (cost  1473 )
0.843 * [simplify]: Simplified to:
   (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (log y) (cbrt x))
  (* (log y) (sqrt x))
  (* x (log y))
  (* y (* (/ y 1.0) (/ z 1.0)))
  (log (* y (* (/ y 1.0) (/ z 1.0))))
  (log (* y (* (/ y 1.0) (/ z 1.0))))
  (log (* y (* (/ y 1.0) (/ z 1.0))))
  (log (* y (* (/ y 1.0) (/ z 1.0))))
  (log (* y (* (/ y 1.0) (/ z 1.0))))
  (log (* y (* (/ y 1.0) (/ z 1.0))))
  (pow (exp y) (* (/ y 1.0) (/ z 1.0)))
  (/ (* (pow y 6) (pow z 3)) (pow 1.0 6))
  (/ (* (pow y 6) (pow z 3)) (pow 1.0 6))
  (/ (* (pow y 6) (pow z 3)) (pow 1.0 6))
  (/ (* (pow y 6) (pow z 3)) (pow 1.0 6))
  (/ (* (pow y 6) (pow z 3)) (pow 1.0 6))
  (* (cbrt (* y (* (/ y 1.0) (/ z 1.0)))) (cbrt (* y (* (/ y 1.0) (/ z 1.0)))))
  (cbrt (* y (* (/ y 1.0) (/ z 1.0))))
  (/ (* (pow y 6) (pow z 3)) (pow 1.0 6))
  (sqrt (* y (* (/ y 1.0) (/ z 1.0))))
  (sqrt (* y (* (/ y 1.0) (/ z 1.0))))
  (* (sqrt y) (sqrt (* (/ y 1.0) (/ z 1.0))))
  (* (sqrt y) (sqrt (* (/ y 1.0) (/ z 1.0))))
  (* y (* (cbrt (* (/ y 1.0) (/ z 1.0))) (cbrt (* (/ y 1.0) (/ z 1.0)))))
  (* y (sqrt (* (/ y 1.0) (/ z 1.0))))
  (* y (/ y 1.0))
  y
  (* y (* y z))
  (* (cbrt y) (* (/ y 1.0) (/ z 1.0)))
  (* (sqrt y) (* (/ y 1.0) (/ z 1.0)))
  (* y (* (/ y 1.0) (/ z 1.0)))
  (* y (* y z))
  (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2))
  (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2))
  (log (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (log (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (log (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (log (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (log (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (log (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (log (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (pow (pow (exp y) (* (/ y 1.0) (/ z 1.0))) -1/2)
  (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8)
  (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8)
  (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8)
  (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8)
  (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8)
  (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8)
  (* (cbrt (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2))) (cbrt (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2))))
  (cbrt (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8)
  (sqrt (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (sqrt (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)))
  (* y (* (* (/ y 1.0) (/ z 1.0)) (* (cbrt -1/2) (cbrt -1/2))))
  (* y (* (* (/ y 1.0) (/ z 1.0)) (sqrt -1/2)))
  (* y (* (/ y 1.0) (/ z 1.0)))
  (* (* (/ y 1.0) (/ z 1.0)) -1/2)
  (* y (* y (* z -1/2)))
  (exp (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0)))))
  (log (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0)))))
  (exp (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0)))))
  (* (cbrt (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0))))) (cbrt (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0))))))
  (cbrt (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0)))))
  (pow (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0)))) 3)
  (sqrt (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0)))))
  (sqrt (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0)))))
  (+ (* z (* (* 1.0 1.0) (- (pow (log 1.0) 3) (pow (* y 1.0) 3)))) (* y (* (* y (* z -1/2)) (+ (* (log 1.0) (log 1.0)) (* y (* 1.0 (+ (log 1.0) (* y 1.0))))))))
  (* 1.0 (* 1.0 (+ (* (log 1.0) (log 1.0)) (* y (* 1.0 (+ (log 1.0) (* y 1.0)))))))
  (+ (* z (* (* 1.0 1.0) (- (* (log 1.0) (log 1.0)) (* y (* y (* 1.0 1.0)))))) (* y (* (* y (* z -1/2)) (+ (log 1.0) (* y 1.0)))))
  (* 1.0 (* 1.0 (+ (log 1.0) (* y 1.0))))
  (+ (* (/ (* (pow y 6) (pow z 3)) (pow 1.0 6)) -1/8) (pow (* z (- (log 1.0) (* y 1.0))) 3))
  (+ (* y (* (* y (/ y (/ (pow 1.0 4) (* z (* y z))))) 1/4)) (* (* z (- (log 1.0) (* y 1.0))) (+ (* z (- (log 1.0) (* y 1.0))) (* y (* (* (/ y 1.0) (/ z 1.0)) 1/2)))))
  (+ (* z (* (- (log 1.0) (* y 1.0)) (* z (- (log 1.0) (* y 1.0))))) (* (* y (* y (/ y (/ (pow 1.0 4) (* z (* y z)))))) -1/4))
  (+ (* z (- (log 1.0) (* y 1.0))) (* y (* (* (/ y 1.0) (/ z 1.0)) 1/2)))
  (* y (- (* (* (/ y 1.0) (/ z 1.0)) -1/2) (* z 1.0)))
  (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log (cbrt 1.0)) (* y 1.0))))
  (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log (sqrt 1.0)) (* y 1.0))))
  (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0))))
  (* y (- (* (* (/ y 1.0) (/ z 1.0)) -1/2) (* z 1.0)))
  (* y (- (* (* (/ y 1.0) (/ z 1.0)) -1/2) (* z 1.0)))
  (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log (cbrt 1.0)) (* y 1.0))))
  (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log (sqrt 1.0)) (* y 1.0))))
  (+ (* y (* (* (/ y 1.0) (/ z 1.0)) -1/2)) (* z (- (log 1.0) (* y 1.0))))
  (* y (- (* (* (/ y 1.0) (/ z 1.0)) -1/2) (* z 1.0)))
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (* y (* y (* z 1.0)))
  (* y (* y (* z 1.0)))
  (* y (* y (* z 1.0)))
  (* y (* (* y z) -0.5))
  (* y (* (* y z) -0.5))
  (* y (* (* y z) -0.5))
  (- (* z (log 1.0)) (* (* y z) (+ 1.0 (* y 0.5))))
  (- (* z (log 1.0)) (* (* y z) (+ 1.0 (* y 0.5))))
  (- (* z (log 1.0)) (* (* y z) (+ 1.0 (* y 0.5))))
0.843 * * * [progress]: adding candidates to table
0.992 * * [progress]: iteration 3 / 4
0.992 * * * [progress]: picking best candidate
1.021 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) t))>
1.022 * * * [progress]: localizing error
1.042 * * * [progress]: generating rewritten candidates
1.042 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
1.048 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1)
1.054 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.058 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.065 * * * [progress]: generating series expansions
1.065 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
1.065 * [approximate]: Taking taylor expansion of (log (+ (sqrt 1.0) (sqrt y))) in (y) around 0
1.065 * [taylor]: Taking taylor expansion of (log (+ (sqrt 1.0) (sqrt y))) in y
1.065 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y
1.065 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.065 * [taylor]: Taking taylor expansion of 1.0 in y
1.065 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.065 * [taylor]: Taking taylor expansion of y in y
1.065 * [taylor]: Taking taylor expansion of (log (+ (sqrt 1.0) (sqrt y))) in y
1.065 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y
1.065 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.065 * [taylor]: Taking taylor expansion of 1.0 in y
1.065 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.065 * [taylor]: Taking taylor expansion of y in y
1.067 * [approximate]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) in (y) around 0
1.067 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y
1.067 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y
1.067 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.067 * [taylor]: Taking taylor expansion of y in y
1.067 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.067 * [taylor]: Taking taylor expansion of 1.0 in y
1.067 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y
1.067 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y
1.067 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.067 * [taylor]: Taking taylor expansion of y in y
1.067 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.067 * [taylor]: Taking taylor expansion of 1.0 in y
1.069 * [approximate]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) in (y) around 0
1.069 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y
1.069 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y
1.069 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.069 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.069 * [taylor]: Taking taylor expansion of -1 in y
1.069 * [taylor]: Taking taylor expansion of y in y
1.069 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.069 * [taylor]: Taking taylor expansion of 1.0 in y
1.069 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y
1.070 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y
1.070 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.070 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.070 * [taylor]: Taking taylor expansion of -1 in y
1.070 * [taylor]: Taking taylor expansion of y in y
1.070 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.070 * [taylor]: Taking taylor expansion of 1.0 in y
1.072 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1)
1.072 * [approximate]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt y))) in (y) around 0
1.072 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt y))) in y
1.072 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt y)) in y
1.072 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.072 * [taylor]: Taking taylor expansion of 1.0 in y
1.072 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.072 * [taylor]: Taking taylor expansion of y in y
1.072 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt y))) in y
1.072 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt y)) in y
1.072 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.072 * [taylor]: Taking taylor expansion of 1.0 in y
1.072 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.072 * [taylor]: Taking taylor expansion of y in y
1.074 * [approximate]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ 1 y)))) in (y) around 0
1.074 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ 1 y)))) in y
1.074 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 y))) in y
1.074 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.074 * [taylor]: Taking taylor expansion of 1.0 in y
1.074 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.074 * [taylor]: Taking taylor expansion of y in y
1.074 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ 1 y)))) in y
1.074 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 y))) in y
1.074 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.074 * [taylor]: Taking taylor expansion of 1.0 in y
1.074 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.074 * [taylor]: Taking taylor expansion of y in y
1.077 * [approximate]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ -1 y)))) in (y) around 0
1.077 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ -1 y)))) in y
1.077 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 y))) in y
1.077 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.077 * [taylor]: Taking taylor expansion of 1.0 in y
1.077 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.077 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.077 * [taylor]: Taking taylor expansion of -1 in y
1.077 * [taylor]: Taking taylor expansion of y in y
1.077 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ -1 y)))) in y
1.077 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 y))) in y
1.077 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.077 * [taylor]: Taking taylor expansion of 1.0 in y
1.077 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.077 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.077 * [taylor]: Taking taylor expansion of -1 in y
1.077 * [taylor]: Taking taylor expansion of y in y
1.079 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.080 * [approximate]: Taking taylor expansion of (+ (* (log (- (sqrt 1.0) (sqrt y))) z) (* z (log (+ (sqrt 1.0) (sqrt y))))) in (y z) around 0
1.080 * [taylor]: Taking taylor expansion of (+ (* (log (- (sqrt 1.0) (sqrt y))) z) (* z (log (+ (sqrt 1.0) (sqrt y))))) in z
1.080 * [taylor]: Taking taylor expansion of (* (log (- (sqrt 1.0) (sqrt y))) z) in z
1.080 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt y))) in z
1.080 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt y)) in z
1.080 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.080 * [taylor]: Taking taylor expansion of 1.0 in z
1.080 * [taylor]: Taking taylor expansion of (sqrt y) in z
1.080 * [taylor]: Taking taylor expansion of y in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.080 * [taylor]: Taking taylor expansion of (* z (log (+ (sqrt 1.0) (sqrt y)))) in z
1.080 * [taylor]: Taking taylor expansion of z in z
1.080 * [taylor]: Taking taylor expansion of (log (+ (sqrt 1.0) (sqrt y))) in z
1.080 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in z
1.080 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.080 * [taylor]: Taking taylor expansion of 1.0 in z
1.080 * [taylor]: Taking taylor expansion of (sqrt y) in z
1.080 * [taylor]: Taking taylor expansion of y in z
1.080 * [taylor]: Taking taylor expansion of (+ (* (log (- (sqrt 1.0) (sqrt y))) z) (* z (log (+ (sqrt 1.0) (sqrt y))))) in y
1.080 * [taylor]: Taking taylor expansion of (* (log (- (sqrt 1.0) (sqrt y))) z) in y
1.080 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt y))) in y
1.080 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt y)) in y
1.080 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.080 * [taylor]: Taking taylor expansion of 1.0 in y
1.080 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.080 * [taylor]: Taking taylor expansion of y in y
1.080 * [taylor]: Taking taylor expansion of z in y
1.080 * [taylor]: Taking taylor expansion of (* z (log (+ (sqrt 1.0) (sqrt y)))) in y
1.080 * [taylor]: Taking taylor expansion of z in y
1.080 * [taylor]: Taking taylor expansion of (log (+ (sqrt 1.0) (sqrt y))) in y
1.081 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y
1.081 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.081 * [taylor]: Taking taylor expansion of 1.0 in y
1.081 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.081 * [taylor]: Taking taylor expansion of y in y
1.081 * [taylor]: Taking taylor expansion of (+ (* (log (- (sqrt 1.0) (sqrt y))) z) (* z (log (+ (sqrt 1.0) (sqrt y))))) in y
1.081 * [taylor]: Taking taylor expansion of (* (log (- (sqrt 1.0) (sqrt y))) z) in y
1.081 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt y))) in y
1.081 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt y)) in y
1.081 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.081 * [taylor]: Taking taylor expansion of 1.0 in y
1.081 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.081 * [taylor]: Taking taylor expansion of y in y
1.081 * [taylor]: Taking taylor expansion of z in y
1.081 * [taylor]: Taking taylor expansion of (* z (log (+ (sqrt 1.0) (sqrt y)))) in y
1.081 * [taylor]: Taking taylor expansion of z in y
1.081 * [taylor]: Taking taylor expansion of (log (+ (sqrt 1.0) (sqrt y))) in y
1.081 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y
1.081 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.081 * [taylor]: Taking taylor expansion of 1.0 in y
1.081 * [taylor]: Taking taylor expansion of (sqrt y) in y
1.081 * [taylor]: Taking taylor expansion of y in y
1.081 * [taylor]: Taking taylor expansion of (* 2 (* (log (sqrt 1.0)) z)) in z
1.081 * [taylor]: Taking taylor expansion of 2 in z
1.081 * [taylor]: Taking taylor expansion of (* (log (sqrt 1.0)) z) in z
1.081 * [taylor]: Taking taylor expansion of (log (sqrt 1.0)) in z
1.081 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.081 * [taylor]: Taking taylor expansion of 1.0 in z
1.082 * [taylor]: Taking taylor expansion of z in z
1.082 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [taylor]: Taking taylor expansion of (neg (/ (* (pow NAN 2) z) (pow (sqrt 1.0) 2))) in z
1.085 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 2) z) (pow (sqrt 1.0) 2)) in z
1.085 * [taylor]: Taking taylor expansion of (* (pow NAN 2) z) in z
1.085 * [taylor]: Taking taylor expansion of (pow NAN 2) in z
1.085 * [taylor]: Taking taylor expansion of NAN in z
1.085 * [taylor]: Taking taylor expansion of z in z
1.085 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z
1.085 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.085 * [taylor]: Taking taylor expansion of 1.0 in z
1.091 * [taylor]: Taking taylor expansion of (neg (* 2 (/ (* (pow NAN 4) z) (pow (sqrt 1.0) 2)))) in z
1.091 * [taylor]: Taking taylor expansion of (* 2 (/ (* (pow NAN 4) z) (pow (sqrt 1.0) 2))) in z
1.091 * [taylor]: Taking taylor expansion of 2 in z
1.091 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) z) (pow (sqrt 1.0) 2)) in z
1.091 * [taylor]: Taking taylor expansion of (* (pow NAN 4) z) in z
1.091 * [taylor]: Taking taylor expansion of (pow NAN 4) in z
1.091 * [taylor]: Taking taylor expansion of NAN in z
1.091 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z
1.091 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.091 * [taylor]: Taking taylor expansion of 1.0 in z
1.100 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ (* (pow NAN 4) z) (pow (sqrt 1.0) 4))) (* 3 (/ (* (pow NAN 6) z) (pow (sqrt 1.0) 2))))) in z
1.100 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (* (pow NAN 4) z) (pow (sqrt 1.0) 4))) (* 3 (/ (* (pow NAN 6) z) (pow (sqrt 1.0) 2)))) in z
1.100 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* (pow NAN 4) z) (pow (sqrt 1.0) 4))) in z
1.100 * [taylor]: Taking taylor expansion of 1/2 in z
1.100 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) z) (pow (sqrt 1.0) 4)) in z
1.100 * [taylor]: Taking taylor expansion of (* (pow NAN 4) z) in z
1.100 * [taylor]: Taking taylor expansion of (pow NAN 4) in z
1.100 * [taylor]: Taking taylor expansion of NAN in z
1.100 * [taylor]: Taking taylor expansion of z in z
1.100 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 4) in z
1.100 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.100 * [taylor]: Taking taylor expansion of 1.0 in z
1.101 * [taylor]: Taking taylor expansion of (* 3 (/ (* (pow NAN 6) z) (pow (sqrt 1.0) 2))) in z
1.101 * [taylor]: Taking taylor expansion of 3 in z
1.101 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 6) z) (pow (sqrt 1.0) 2)) in z
1.101 * [taylor]: Taking taylor expansion of (* (pow NAN 6) z) in z
1.101 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
1.101 * [taylor]: Taking taylor expansion of NAN in z
1.101 * [taylor]: Taking taylor expansion of z in z
1.101 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z
1.101 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.101 * [taylor]: Taking taylor expansion of 1.0 in z
1.103 * [approximate]: Taking taylor expansion of (+ (/ (log (- (sqrt 1.0) (sqrt (/ 1 y)))) z) (/ (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) z)) in (y z) around 0
1.103 * [taylor]: Taking taylor expansion of (+ (/ (log (- (sqrt 1.0) (sqrt (/ 1 y)))) z) (/ (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) z)) in z
1.103 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) (sqrt (/ 1 y)))) z) in z
1.103 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ 1 y)))) in z
1.103 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 y))) in z
1.103 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.103 * [taylor]: Taking taylor expansion of 1.0 in z
1.103 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
1.103 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.103 * [taylor]: Taking taylor expansion of y in z
1.103 * [taylor]: Taking taylor expansion of z in z
1.103 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in z
1.103 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) in z
1.103 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in z
1.103 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z
1.103 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.103 * [taylor]: Taking taylor expansion of y in z
1.103 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.104 * [taylor]: Taking taylor expansion of 1.0 in z
1.104 * [taylor]: Taking taylor expansion of z in z
1.104 * [taylor]: Taking taylor expansion of (+ (/ (log (- (sqrt 1.0) (sqrt (/ 1 y)))) z) (/ (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) z)) in y
1.104 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) (sqrt (/ 1 y)))) z) in y
1.104 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ 1 y)))) in y
1.104 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 y))) in y
1.104 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.104 * [taylor]: Taking taylor expansion of 1.0 in y
1.104 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of z in y
1.104 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in y
1.104 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y
1.104 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y
1.104 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.104 * [taylor]: Taking taylor expansion of 1.0 in y
1.104 * [taylor]: Taking taylor expansion of z in y
1.104 * [taylor]: Taking taylor expansion of (+ (/ (log (- (sqrt 1.0) (sqrt (/ 1 y)))) z) (/ (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) z)) in y
1.104 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) (sqrt (/ 1 y)))) z) in y
1.104 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ 1 y)))) in y
1.104 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ 1 y))) in y
1.104 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.105 * [taylor]: Taking taylor expansion of 1.0 in y
1.105 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.105 * [taylor]: Taking taylor expansion of y in y
1.105 * [taylor]: Taking taylor expansion of z in y
1.105 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in y
1.105 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y
1.105 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y
1.105 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y
1.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.105 * [taylor]: Taking taylor expansion of y in y
1.105 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.105 * [taylor]: Taking taylor expansion of 1.0 in y
1.105 * [taylor]: Taking taylor expansion of z in y
1.105 * [taylor]: Taking taylor expansion of (+ (/ (log (- (sqrt 1.0) NAN)) z) (/ (log (+ NAN (sqrt 1.0))) z)) in z
1.105 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) NAN)) z) in z
1.105 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) NAN)) in z
1.105 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.105 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.105 * [taylor]: Taking taylor expansion of 1.0 in z
1.105 * [taylor]: Taking taylor expansion of NAN in z
1.105 * [taylor]: Taking taylor expansion of z in z
1.106 * [taylor]: Taking taylor expansion of (/ (log (+ NAN (sqrt 1.0))) z) in z
1.106 * [taylor]: Taking taylor expansion of (log (+ NAN (sqrt 1.0))) in z
1.106 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.106 * [taylor]: Taking taylor expansion of NAN in z
1.106 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.106 * [taylor]: Taking taylor expansion of 1.0 in z
1.106 * [taylor]: Taking taylor expansion of z in z
1.107 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) (* (+ NAN (sqrt 1.0)) z)) (/ (pow NAN 3) (* z (- (sqrt 1.0) NAN)))) in z
1.107 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* (+ NAN (sqrt 1.0)) z)) in z
1.107 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
1.107 * [taylor]: Taking taylor expansion of NAN in z
1.107 * [taylor]: Taking taylor expansion of (* (+ NAN (sqrt 1.0)) z) in z
1.107 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.107 * [taylor]: Taking taylor expansion of NAN in z
1.107 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.107 * [taylor]: Taking taylor expansion of 1.0 in z
1.107 * [taylor]: Taking taylor expansion of z in z
1.108 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* z (- (sqrt 1.0) NAN))) in z
1.108 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
1.108 * [taylor]: Taking taylor expansion of NAN in z
1.108 * [taylor]: Taking taylor expansion of (* z (- (sqrt 1.0) NAN)) in z
1.108 * [taylor]: Taking taylor expansion of z in z
1.108 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.108 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.108 * [taylor]: Taking taylor expansion of 1.0 in z
1.108 * [taylor]: Taking taylor expansion of NAN in z
1.115 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 5) (* (+ NAN (sqrt 1.0)) z)) (+ (/ (pow NAN 5) (* z (- (sqrt 1.0) NAN))) (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2)))) (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z)))))) in z
1.115 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* (+ NAN (sqrt 1.0)) z)) in z
1.115 * [taylor]: Taking taylor expansion of (pow NAN 5) in z
1.115 * [taylor]: Taking taylor expansion of NAN in z
1.115 * [taylor]: Taking taylor expansion of (* (+ NAN (sqrt 1.0)) z) in z
1.115 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.115 * [taylor]: Taking taylor expansion of NAN in z
1.115 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.116 * [taylor]: Taking taylor expansion of 1.0 in z
1.116 * [taylor]: Taking taylor expansion of z in z
1.116 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 5) (* z (- (sqrt 1.0) NAN))) (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2)))) (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z))))) in z
1.116 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* z (- (sqrt 1.0) NAN))) in z
1.116 * [taylor]: Taking taylor expansion of (pow NAN 5) in z
1.116 * [taylor]: Taking taylor expansion of NAN in z
1.116 * [taylor]: Taking taylor expansion of (* z (- (sqrt 1.0) NAN)) in z
1.116 * [taylor]: Taking taylor expansion of z in z
1.116 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.116 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.116 * [taylor]: Taking taylor expansion of 1.0 in z
1.116 * [taylor]: Taking taylor expansion of NAN in z
1.116 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2)))) (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z)))) in z
1.116 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2)))) in z
1.116 * [taylor]: Taking taylor expansion of 1/2 in z
1.116 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2))) in z
1.116 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
1.116 * [taylor]: Taking taylor expansion of NAN in z
1.117 * [taylor]: Taking taylor expansion of (* z (pow (- (sqrt 1.0) NAN) 2)) in z
1.117 * [taylor]: Taking taylor expansion of z in z
1.117 * [taylor]: Taking taylor expansion of (pow (- (sqrt 1.0) NAN) 2) in z
1.117 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.117 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.117 * [taylor]: Taking taylor expansion of 1.0 in z
1.117 * [taylor]: Taking taylor expansion of NAN in z
1.117 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z))) in z
1.117 * [taylor]: Taking taylor expansion of 1/2 in z
1.117 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z)) in z
1.117 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
1.117 * [taylor]: Taking taylor expansion of NAN in z
1.117 * [taylor]: Taking taylor expansion of (* (pow (+ NAN (sqrt 1.0)) 2) z) in z
1.117 * [taylor]: Taking taylor expansion of (pow (+ NAN (sqrt 1.0)) 2) in z
1.117 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.117 * [taylor]: Taking taylor expansion of NAN in z
1.117 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.117 * [taylor]: Taking taylor expansion of 1.0 in z
1.118 * [taylor]: Taking taylor expansion of z in z
1.124 * [approximate]: Taking taylor expansion of (neg (+ (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z))) in (y z) around 0
1.124 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z))) in z
1.124 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z)) in z
1.124 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in z
1.124 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) in z
1.124 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in z
1.124 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
1.124 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.124 * [taylor]: Taking taylor expansion of -1 in z
1.124 * [taylor]: Taking taylor expansion of y in z
1.124 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.124 * [taylor]: Taking taylor expansion of 1.0 in z
1.124 * [taylor]: Taking taylor expansion of z in z
1.124 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z) in z
1.124 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ -1 y)))) in z
1.124 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 y))) in z
1.124 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.124 * [taylor]: Taking taylor expansion of 1.0 in z
1.124 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z
1.124 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.125 * [taylor]: Taking taylor expansion of -1 in z
1.125 * [taylor]: Taking taylor expansion of y in z
1.125 * [taylor]: Taking taylor expansion of z in z
1.125 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z))) in y
1.125 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z)) in y
1.125 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in y
1.125 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y
1.125 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y
1.125 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.125 * [taylor]: Taking taylor expansion of -1 in y
1.125 * [taylor]: Taking taylor expansion of y in y
1.125 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.125 * [taylor]: Taking taylor expansion of 1.0 in y
1.125 * [taylor]: Taking taylor expansion of z in y
1.125 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z) in y
1.125 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ -1 y)))) in y
1.125 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 y))) in y
1.125 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.125 * [taylor]: Taking taylor expansion of 1.0 in y
1.125 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.125 * [taylor]: Taking taylor expansion of -1 in y
1.125 * [taylor]: Taking taylor expansion of y in y
1.126 * [taylor]: Taking taylor expansion of z in y
1.126 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z))) in y
1.126 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z)) in y
1.126 * [taylor]: Taking taylor expansion of (/ (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in y
1.126 * [taylor]: Taking taylor expansion of (log (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y
1.126 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y
1.126 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.126 * [taylor]: Taking taylor expansion of -1 in y
1.126 * [taylor]: Taking taylor expansion of y in y
1.126 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.126 * [taylor]: Taking taylor expansion of 1.0 in y
1.126 * [taylor]: Taking taylor expansion of z in y
1.126 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) (sqrt (/ -1 y)))) z) in y
1.126 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) (sqrt (/ -1 y)))) in y
1.126 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) (sqrt (/ -1 y))) in y
1.126 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y
1.126 * [taylor]: Taking taylor expansion of 1.0 in y
1.126 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y
1.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.126 * [taylor]: Taking taylor expansion of -1 in y
1.126 * [taylor]: Taking taylor expansion of y in y
1.126 * [taylor]: Taking taylor expansion of z in y
1.127 * [taylor]: Taking taylor expansion of (neg (+ (/ (log (- (sqrt 1.0) NAN)) z) (/ (log (+ NAN (sqrt 1.0))) z))) in z
1.127 * [taylor]: Taking taylor expansion of (+ (/ (log (- (sqrt 1.0) NAN)) z) (/ (log (+ NAN (sqrt 1.0))) z)) in z
1.127 * [taylor]: Taking taylor expansion of (/ (log (- (sqrt 1.0) NAN)) z) in z
1.127 * [taylor]: Taking taylor expansion of (log (- (sqrt 1.0) NAN)) in z
1.127 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.127 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.127 * [taylor]: Taking taylor expansion of 1.0 in z
1.127 * [taylor]: Taking taylor expansion of NAN in z
1.127 * [taylor]: Taking taylor expansion of z in z
1.127 * [taylor]: Taking taylor expansion of (/ (log (+ NAN (sqrt 1.0))) z) in z
1.127 * [taylor]: Taking taylor expansion of (log (+ NAN (sqrt 1.0))) in z
1.127 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.127 * [taylor]: Taking taylor expansion of NAN in z
1.127 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.127 * [taylor]: Taking taylor expansion of 1.0 in z
1.127 * [taylor]: Taking taylor expansion of z in z
1.129 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) (* z (- (sqrt 1.0) NAN))) (/ (pow NAN 3) (* (+ NAN (sqrt 1.0)) z))) in z
1.129 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* z (- (sqrt 1.0) NAN))) in z
1.129 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
1.129 * [taylor]: Taking taylor expansion of NAN in z
1.129 * [taylor]: Taking taylor expansion of (* z (- (sqrt 1.0) NAN)) in z
1.129 * [taylor]: Taking taylor expansion of z in z
1.129 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.129 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.129 * [taylor]: Taking taylor expansion of 1.0 in z
1.129 * [taylor]: Taking taylor expansion of NAN in z
1.129 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (* (+ NAN (sqrt 1.0)) z)) in z
1.129 * [taylor]: Taking taylor expansion of (pow NAN 3) in z
1.129 * [taylor]: Taking taylor expansion of NAN in z
1.129 * [taylor]: Taking taylor expansion of (* (+ NAN (sqrt 1.0)) z) in z
1.129 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.129 * [taylor]: Taking taylor expansion of NAN in z
1.129 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.129 * [taylor]: Taking taylor expansion of 1.0 in z
1.129 * [taylor]: Taking taylor expansion of z in z
1.134 * [taylor]: Taking taylor expansion of (- (+ (/ (pow NAN 5) (* z (- (sqrt 1.0) NAN))) (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z))) (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2)))))) (/ (pow NAN 5) (* (+ NAN (sqrt 1.0)) z))) in z
1.134 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 5) (* z (- (sqrt 1.0) NAN))) (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z))) (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2)))))) in z
1.134 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* z (- (sqrt 1.0) NAN))) in z
1.134 * [taylor]: Taking taylor expansion of (pow NAN 5) in z
1.134 * [taylor]: Taking taylor expansion of NAN in z
1.134 * [taylor]: Taking taylor expansion of (* z (- (sqrt 1.0) NAN)) in z
1.134 * [taylor]: Taking taylor expansion of z in z
1.134 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.134 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.134 * [taylor]: Taking taylor expansion of 1.0 in z
1.135 * [taylor]: Taking taylor expansion of NAN in z
1.135 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z))) (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2))))) in z
1.135 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z))) in z
1.135 * [taylor]: Taking taylor expansion of 1/2 in z
1.135 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) z)) in z
1.135 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
1.135 * [taylor]: Taking taylor expansion of NAN in z
1.135 * [taylor]: Taking taylor expansion of (* (pow (+ NAN (sqrt 1.0)) 2) z) in z
1.135 * [taylor]: Taking taylor expansion of (pow (+ NAN (sqrt 1.0)) 2) in z
1.135 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.135 * [taylor]: Taking taylor expansion of NAN in z
1.135 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.135 * [taylor]: Taking taylor expansion of 1.0 in z
1.135 * [taylor]: Taking taylor expansion of z in z
1.136 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2)))) in z
1.136 * [taylor]: Taking taylor expansion of 1/2 in z
1.136 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) (* z (pow (- (sqrt 1.0) NAN) 2))) in z
1.136 * [taylor]: Taking taylor expansion of (pow NAN 6) in z
1.136 * [taylor]: Taking taylor expansion of NAN in z
1.136 * [taylor]: Taking taylor expansion of (* z (pow (- (sqrt 1.0) NAN) 2)) in z
1.136 * [taylor]: Taking taylor expansion of z in z
1.136 * [taylor]: Taking taylor expansion of (pow (- (sqrt 1.0) NAN) 2) in z
1.136 * [taylor]: Taking taylor expansion of (- (sqrt 1.0) NAN) in z
1.136 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.136 * [taylor]: Taking taylor expansion of 1.0 in z
1.136 * [taylor]: Taking taylor expansion of NAN in z
1.137 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) (* (+ NAN (sqrt 1.0)) z)) in z
1.137 * [taylor]: Taking taylor expansion of (pow NAN 5) in z
1.137 * [taylor]: Taking taylor expansion of NAN in z
1.137 * [taylor]: Taking taylor expansion of (* (+ NAN (sqrt 1.0)) z) in z
1.137 * [taylor]: Taking taylor expansion of (+ NAN (sqrt 1.0)) in z
1.137 * [taylor]: Taking taylor expansion of NAN in z
1.137 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z
1.137 * [taylor]: Taking taylor expansion of 1.0 in z
1.137 * [taylor]: Taking taylor expansion of z in z
1.142 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.142 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
1.142 * [taylor]: Taking taylor expansion of (* x (log y)) in y
1.142 * [taylor]: Taking taylor expansion of x in y
1.142 * [taylor]: Taking taylor expansion of (log y) in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (log y) in x
1.142 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (log y) in x
1.142 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of 0 in y
1.143 * [taylor]: Taking taylor expansion of (log y) in y
1.143 * [taylor]: Taking taylor expansion of y in y
1.143 * [taylor]: Taking taylor expansion of 0 in y
1.143 * [taylor]: Taking taylor expansion of 0 in y
1.144 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
1.144 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
1.144 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.144 * [taylor]: Taking taylor expansion of y in y
1.144 * [taylor]: Taking taylor expansion of x in y
1.144 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.144 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.144 * [taylor]: Taking taylor expansion of y in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.144 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.144 * [taylor]: Taking taylor expansion of y in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.144 * [taylor]: Taking taylor expansion of y in y
1.145 * [taylor]: Taking taylor expansion of 0 in y
1.145 * [taylor]: Taking taylor expansion of 0 in y
1.146 * [taylor]: Taking taylor expansion of 0 in y
1.146 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
1.146 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
1.146 * [taylor]: Taking taylor expansion of -1 in y
1.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
1.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.146 * [taylor]: Taking taylor expansion of -1 in y
1.146 * [taylor]: Taking taylor expansion of y in y
1.146 * [taylor]: Taking taylor expansion of x in y
1.146 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.146 * [taylor]: Taking taylor expansion of -1 in x
1.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.146 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.146 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.146 * [taylor]: Taking taylor expansion of -1 in x
1.146 * [taylor]: Taking taylor expansion of y in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.146 * [taylor]: Taking taylor expansion of -1 in x
1.147 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.147 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.147 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.147 * [taylor]: Taking taylor expansion of -1 in x
1.147 * [taylor]: Taking taylor expansion of y in x
1.147 * [taylor]: Taking taylor expansion of x in x
1.147 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
1.147 * [taylor]: Taking taylor expansion of -1 in y
1.147 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.147 * [taylor]: Taking taylor expansion of -1 in y
1.147 * [taylor]: Taking taylor expansion of y in y
1.147 * [taylor]: Taking taylor expansion of 0 in y
1.148 * [taylor]: Taking taylor expansion of 0 in y
1.149 * [taylor]: Taking taylor expansion of 0 in y
1.149 * * * [progress]: simplifying candidates
1.150 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (+ (sqrt 1.0) (sqrt y))) (cbrt (+ (sqrt 1.0) (sqrt y)))))
  (log (cbrt (+ (sqrt 1.0) (sqrt y))))
  (log (sqrt (+ (sqrt 1.0) (sqrt y))))
  (log (sqrt (+ (sqrt 1.0) (sqrt y))))
  (log 1)
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (sqrt 1))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (+ (pow (sqrt 1.0) 3) (pow (sqrt y) 3)))
  (log (+ (* (sqrt 1.0) (sqrt 1.0)) (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt y)))))
  (log (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt y))))
  (log (- (sqrt 1.0) (sqrt y)))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (log (+ (sqrt 1.0) (sqrt y))))
  (exp (log (+ (sqrt 1.0) (sqrt y))))
  (* (cbrt (log (+ (sqrt 1.0) (sqrt y)))) (cbrt (log (+ (sqrt 1.0) (sqrt y)))))
  (cbrt (log (+ (sqrt 1.0) (sqrt y))))
  (* (* (log (+ (sqrt 1.0) (sqrt y))) (log (+ (sqrt 1.0) (sqrt y)))) (log (+ (sqrt 1.0) (sqrt y))))
  (sqrt (log (+ (sqrt 1.0) (sqrt y))))
  (sqrt (log (+ (sqrt 1.0) (sqrt y))))
  (log (* (cbrt (- (sqrt 1.0) (sqrt y))) (cbrt (- (sqrt 1.0) (sqrt y)))))
  (log (cbrt (- (sqrt 1.0) (sqrt y))))
  (log (sqrt (- (sqrt 1.0) (sqrt y))))
  (log (sqrt (- (sqrt 1.0) (sqrt y))))
  (log 1)
  (log (- (sqrt 1.0) (sqrt y)))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (sqrt 1))
  (log (- (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (- (sqrt 1.0) (sqrt y)))
  (log (- (pow (sqrt 1.0) 3) (pow (sqrt y) 3)))
  (log (+ (* (sqrt 1.0) (sqrt 1.0)) (+ (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt y)))))
  (log (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt y))))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (- (sqrt 1.0) (sqrt y)))
  (log (log (- (sqrt 1.0) (sqrt y))))
  (exp (log (- (sqrt 1.0) (sqrt y))))
  (* (cbrt (log (- (sqrt 1.0) (sqrt y)))) (cbrt (log (- (sqrt 1.0) (sqrt y)))))
  (cbrt (log (- (sqrt 1.0) (sqrt y))))
  (* (* (log (- (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y)))) (log (- (sqrt 1.0) (sqrt y))))
  (sqrt (log (- (sqrt 1.0) (sqrt y))))
  (sqrt (log (- (sqrt 1.0) (sqrt y))))
  (* (exp (* (log (+ (sqrt 1.0) (sqrt y))) z)) (exp (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (log (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (exp (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (* (cbrt (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) (cbrt (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))))
  (cbrt (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (* (* (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (sqrt (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (sqrt (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (+ (pow (* (log (+ (sqrt 1.0) (sqrt y))) z) 3) (pow (* (log (- (sqrt 1.0) (sqrt y))) z) 3))
  (+ (* (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (+ (sqrt 1.0) (sqrt y))) z)) (- (* (* (log (- (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)) (* (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))))
  (- (* (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (+ (sqrt 1.0) (sqrt y))) z)) (* (* (log (- (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z)))
  (- (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))
  (+ (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y))))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (- (+ (log (sqrt 1.0)) (+ (/ (* (pow NAN 3) (pow y 2)) (sqrt 1.0)) (/ (* NAN y) (sqrt 1.0)))) (* 1/2 (/ (* (pow NAN 2) (pow y 2)) (pow (sqrt 1.0) 2))))
  (- (+ (/ (pow NAN 3) (* (+ NAN (sqrt 1.0)) y)) (+ (log (+ NAN (sqrt 1.0))) (/ (pow NAN 5) (* (+ NAN (sqrt 1.0)) (pow y 2))))) (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) (pow y 2)))))
  (- (+ (log (+ NAN (sqrt 1.0))) (/ (pow NAN 5) (* (+ NAN (sqrt 1.0)) (pow y 2)))) (+ (* 1/2 (/ (pow NAN 6) (* (pow (+ NAN (sqrt 1.0)) 2) (pow y 2)))) (/ (pow NAN 3) (* (+ NAN (sqrt 1.0)) y))))
  (- (log (sqrt 1.0)) (+ (/ (* (pow NAN 3) (pow y 2)) (sqrt 1.0)) (+ (* 1/2 (/ (* (pow NAN 2) (pow y 2)) (pow (sqrt 1.0) 2))) (/ (* NAN y) (sqrt 1.0)))))
  (- (log (- (sqrt 1.0) NAN)) (+ (/ (pow NAN 5) (* (- (sqrt 1.0) NAN) (pow y 2))) (+ (/ (pow NAN 3) (* (- (sqrt 1.0) NAN) y)) (* 1/2 (/ (pow NAN 6) (* (pow (- (sqrt 1.0) NAN) 2) (pow y 2)))))))
  (- (+ (/ (pow NAN 3) (* y (- (sqrt 1.0) NAN))) (log (- (sqrt 1.0) NAN))) (+ (/ (pow NAN 5) (* (- (sqrt 1.0) NAN) (pow y 2))) (* 1/2 (/ (pow NAN 6) (* (pow (- (sqrt 1.0) NAN) 2) (pow y 2))))))
  (- (* 2 (* (log (sqrt 1.0)) z)) (+ (/ (* (pow NAN 2) (* z (pow y 2))) (pow (sqrt 1.0) 2)) (* 2 (/ (* (pow NAN 4) (* z (pow y 3))) (pow (sqrt 1.0) 2)))))
  (- (+ (/ (* (pow NAN 5) z) (* (+ NAN (sqrt 1.0)) (pow y 2))) (+ (* z (log (- (sqrt 1.0) NAN))) (+ (/ (* (pow NAN 3) z) (* (+ NAN (sqrt 1.0)) y)) (* z (log (+ NAN (sqrt 1.0))))))) (+ (* 1/2 (/ (* (pow NAN 6) z) (* (+ (* 2 (* NAN (sqrt 1.0))) (+ (pow (sqrt 1.0) 2) (pow NAN 2))) (pow y 2)))) (+ (/ (* (pow NAN 5) z) (* (pow y 2) (- (sqrt 1.0) NAN))) (+ (* 1/2 (/ (* (pow NAN 6) z) (* (pow y 2) (- (+ (pow (sqrt 1.0) 2) (pow NAN 2)) (* 2 (* NAN (sqrt 1.0))))))) (/ (* (pow NAN 3) z) (* (- (sqrt 1.0) NAN) y))))))
  (- (+ (/ (* (pow NAN 5) z) (* (+ NAN (sqrt 1.0)) (pow y 2))) (+ (* z (log (- (sqrt 1.0) NAN))) (+ (/ (* (pow NAN 3) z) (* (- (sqrt 1.0) NAN) y)) (* z (log (+ NAN (sqrt 1.0))))))) (+ (/ (* (pow NAN 5) z) (* (- (sqrt 1.0) NAN) (pow y 2))) (+ (/ (* (pow NAN 3) z) (* (+ NAN (sqrt 1.0)) y)) (+ (* 1/2 (/ (* (pow NAN 6) z) (* (+ (pow NAN 2) (+ (pow (sqrt 1.0) 2) (* 2 (* NAN (sqrt 1.0))))) (pow y 2)))) (* 1/2 (/ (* (pow NAN 6) z) (* (pow y 2) (- (+ (pow (sqrt 1.0) 2) (pow NAN 2)) (* 2 (* NAN (sqrt 1.0)))))))))))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
1.172 * * [simplify]: iteration  0 :  5005  enodes  (cost  1162 )
1.177 * [simplify]: Simplified to:
   (* 2 (log (cbrt (+ (sqrt 1.0) (sqrt y)))))
  (log (cbrt (+ (sqrt 1.0) (sqrt y))))
  (log (sqrt (+ (sqrt 1.0) (sqrt y))))
  (log (sqrt (+ (sqrt 1.0) (sqrt y))))
  (log 1)
  (log (+ (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (+ (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (+ (* 1.0 (sqrt 1.0)) (* y (sqrt y))))
  (log (+ 1.0 (- y (* (sqrt 1.0) (sqrt y)))))
  (log (- 1.0 y))
  (log (- (sqrt 1.0) (sqrt y)))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (log (+ (sqrt 1.0) (sqrt y))))
  (+ (sqrt 1.0) (sqrt y))
  (* (cbrt (log (+ (sqrt 1.0) (sqrt y)))) (cbrt (log (+ (sqrt 1.0) (sqrt y)))))
  (cbrt (log (+ (sqrt 1.0) (sqrt y))))
  (pow (log (+ (sqrt 1.0) (sqrt y))) 3)
  (sqrt (log (+ (sqrt 1.0) (sqrt y))))
  (sqrt (log (+ (sqrt 1.0) (sqrt y))))
  (* 2 (log (cbrt (- (sqrt 1.0) (sqrt y)))))
  (log (cbrt (- (sqrt 1.0) (sqrt y))))
  (log (sqrt (- (sqrt 1.0) (sqrt y))))
  (log (sqrt (- (sqrt 1.0) (sqrt y))))
  (log 1)
  (log (- (sqrt 1.0) (sqrt y)))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (+ (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log (- (sqrt (sqrt 1.0)) (sqrt (sqrt y))))
  (log 1)
  (log (- (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (- (sqrt 1.0) (sqrt y)))
  (log (- (* 1.0 (sqrt 1.0)) (* y (sqrt y))))
  (log (+ 1.0 (+ y (* (sqrt 1.0) (sqrt y)))))
  (log (- 1.0 y))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (- (sqrt 1.0) (sqrt y)))
  (log (log (- (sqrt 1.0) (sqrt y))))
  (- (sqrt 1.0) (sqrt y))
  (* (cbrt (log (- (sqrt 1.0) (sqrt y)))) (cbrt (log (- (sqrt 1.0) (sqrt y)))))
  (cbrt (log (- (sqrt 1.0) (sqrt y))))
  (pow (log (- (sqrt 1.0) (sqrt y))) 3)
  (sqrt (log (- (sqrt 1.0) (sqrt y))))
  (sqrt (log (- (sqrt 1.0) (sqrt y))))
  (pow (- 1.0 y) z)
  (log (* (log (- 1.0 y)) z))
  (pow (- 1.0 y) z)
  (* (cbrt (* (log (- 1.0 y)) z)) (cbrt (* (log (- 1.0 y)) z)))
  (cbrt (* (log (- 1.0 y)) z))
  (pow (* (log (- 1.0 y)) z) 3)
  (sqrt (* (log (- 1.0 y)) z))
  (sqrt (* (log (- 1.0 y)) z))
  (+ (pow (* (log (+ (sqrt 1.0) (sqrt y))) z) 3) (pow (* (log (- (sqrt 1.0) (sqrt y))) z) 3))
  (* z (+ (* (log (+ (sqrt 1.0) (sqrt y))) (* (log (+ (sqrt 1.0) (sqrt y))) z)) (* (log (- (sqrt 1.0) (sqrt y))) (* z (- (log (- (sqrt 1.0) (sqrt y))) (log (+ (sqrt 1.0) (sqrt y))))))))
  (* z (* z (* (log (- 1.0 y)) (- (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y)))))))
  (* z (- (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y)))))
  (log (- 1.0 y))
  (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* (log 1) x)
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* (log 1) x)
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (log y) (cbrt x))
  (* (log y) (sqrt x))
  (* x (log y))
  (+ (log (sqrt 1.0)) (+ (* (/ (pow NAN 3) (sqrt 1.0)) (* y y)) (+ (* (/ NAN (sqrt 1.0)) y) (* (* (/ (* NAN NAN) 1.0) (* y y)) -1/2))))
  (+ (/ (pow NAN 3) (* y (+ (sqrt 1.0) NAN))) (+ (log (+ (sqrt 1.0) NAN)) (+ (/ (pow NAN 5) (* y (* y (+ (sqrt 1.0) NAN)))) (* (/ (pow NAN 6) (* y (* y (pow (+ (sqrt 1.0) NAN) 2)))) -1/2))))
  (+ (log (+ (sqrt 1.0) NAN)) (+ (/ (pow NAN 5) (* y (* y (+ (sqrt 1.0) NAN)))) (- (* (/ (pow NAN 6) (* y (* y (pow (+ (sqrt 1.0) NAN) 2)))) -1/2) (/ (pow NAN 3) (* y (+ (sqrt 1.0) NAN))))))
  (+ (log (sqrt 1.0)) (- (* (* (/ (* NAN NAN) 1.0) (* y y)) -1/2) (+ (* (/ (pow NAN 3) (sqrt 1.0)) (* y y)) (* (/ NAN (sqrt 1.0)) y))))
  (+ (log (- (sqrt 1.0) NAN)) (- (- (* (/ (pow NAN 6) (* y (* y (pow (- (sqrt 1.0) NAN) 2)))) -1/2) (/ (pow NAN 5) (* y (* y (- (sqrt 1.0) NAN))))) (/ (pow NAN 3) (* y (- (sqrt 1.0) NAN)))))
  (+ (log (- (sqrt 1.0) NAN)) (+ (/ (pow NAN 3) (* y (- (sqrt 1.0) NAN))) (- (* (/ (pow NAN 6) (* y (* y (pow (- (sqrt 1.0) NAN) 2)))) -1/2) (/ (pow NAN 5) (* y (* y (- (sqrt 1.0) NAN)))))))
  (- (* 2 (- (* z (log (sqrt 1.0))) (* (/ (pow NAN 4) 1.0) (* z (pow y 3))))) (* (/ (* NAN NAN) 1.0) (* y (* y z))))
  (+ (* z (+ (/ (pow NAN 3) (* y (+ (sqrt 1.0) NAN))) (log (+ (sqrt 1.0) NAN)))) (- (* z (+ (/ (pow NAN 5) (* y (* y (+ (sqrt 1.0) NAN)))) (log (- (sqrt 1.0) NAN)))) (+ (* 1/2 (* (/ (pow NAN 6) (* y y)) (+ (/ z (+ 1.0 (* NAN (+ NAN (* (sqrt 1.0) 2))))) (/ z (+ 1.0 (* NAN (- NAN (* (sqrt 1.0) 2)))))))) (* (/ z (- (sqrt 1.0) NAN)) (+ (/ (pow NAN 5) (* y y)) (/ (pow NAN 3) y))))))
  (+ (* z (log (- (sqrt 1.0) NAN))) (+ (* z (+ (log (+ (sqrt 1.0) NAN)) (/ (pow NAN 3) (* y (- (sqrt 1.0) NAN))))) (- (* (/ (pow NAN 5) (* y y)) (- (/ z (+ (sqrt 1.0) NAN)) (/ z (- (sqrt 1.0) NAN)))) (+ (* (/ (pow NAN 3) (* y (+ (sqrt 1.0) NAN))) z) (* 1/2 (* (/ (pow NAN 6) (* y y)) (+ (/ z (+ 1.0 (* NAN (+ NAN (* (sqrt 1.0) 2))))) (/ z (+ 1.0 (* NAN (- NAN (* (sqrt 1.0) 2))))))))))))
  (* x (log y))
  (* x (log y))
  (* x (log y))
1.177 * * * [progress]: adding candidates to table
1.341 * * [progress]: iteration 4 / 4
1.341 * * * [progress]: picking best candidate
1.366 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (+ (* x (log y)) (* z (cbrt (pow (log (- 1.0 y)) 3)))) t))>
1.366 * * * [progress]: localizing error
1.379 * * * [progress]: generating rewritten candidates
1.379 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1)
1.384 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.388 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.391 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1)
1.396 * * * [progress]: generating series expansions
1.396 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1)
1.396 * [approximate]: Taking taylor expansion of (log (- 1.0 y)) in (y) around 0
1.396 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
1.396 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
1.396 * [taylor]: Taking taylor expansion of 1.0 in y
1.396 * [taylor]: Taking taylor expansion of y in y
1.396 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
1.396 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
1.396 * [taylor]: Taking taylor expansion of 1.0 in y
1.396 * [taylor]: Taking taylor expansion of y in y
1.397 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in (y) around 0
1.397 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
1.397 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.397 * [taylor]: Taking taylor expansion of 1.0 in y
1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.397 * [taylor]: Taking taylor expansion of y in y
1.397 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
1.397 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.397 * [taylor]: Taking taylor expansion of 1.0 in y
1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.397 * [taylor]: Taking taylor expansion of y in y
1.398 * [approximate]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in (y) around 0
1.398 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.398 * [taylor]: Taking taylor expansion of y in y
1.398 * [taylor]: Taking taylor expansion of 1.0 in y
1.398 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.398 * [taylor]: Taking taylor expansion of y in y
1.398 * [taylor]: Taking taylor expansion of 1.0 in y
1.399 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.399 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
1.399 * [taylor]: Taking taylor expansion of (* x (log y)) in y
1.399 * [taylor]: Taking taylor expansion of x in y
1.399 * [taylor]: Taking taylor expansion of (log y) in y
1.399 * [taylor]: Taking taylor expansion of y in y
1.399 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.399 * [taylor]: Taking taylor expansion of x in x
1.399 * [taylor]: Taking taylor expansion of (log y) in x
1.399 * [taylor]: Taking taylor expansion of y in x
1.399 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.399 * [taylor]: Taking taylor expansion of x in x
1.399 * [taylor]: Taking taylor expansion of (log y) in x
1.399 * [taylor]: Taking taylor expansion of y in x
1.399 * [taylor]: Taking taylor expansion of 0 in y
1.399 * [taylor]: Taking taylor expansion of (log y) in y
1.399 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of 0 in y
1.400 * [taylor]: Taking taylor expansion of 0 in y
1.400 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
1.400 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
1.400 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.400 * [taylor]: Taking taylor expansion of y in y
1.400 * [taylor]: Taking taylor expansion of x in y
1.401 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.401 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.401 * [taylor]: Taking taylor expansion of y in x
1.401 * [taylor]: Taking taylor expansion of x in x
1.401 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.401 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.401 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.401 * [taylor]: Taking taylor expansion of y in x
1.401 * [taylor]: Taking taylor expansion of x in x
1.401 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.401 * [taylor]: Taking taylor expansion of y in y
1.401 * [taylor]: Taking taylor expansion of 0 in y
1.402 * [taylor]: Taking taylor expansion of 0 in y
1.403 * [taylor]: Taking taylor expansion of 0 in y
1.403 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
1.403 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
1.403 * [taylor]: Taking taylor expansion of -1 in y
1.403 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
1.403 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.403 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.403 * [taylor]: Taking taylor expansion of -1 in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of x in y
1.403 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.403 * [taylor]: Taking taylor expansion of -1 in x
1.403 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.403 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.403 * [taylor]: Taking taylor expansion of -1 in x
1.403 * [taylor]: Taking taylor expansion of y in x
1.403 * [taylor]: Taking taylor expansion of x in x
1.403 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.403 * [taylor]: Taking taylor expansion of -1 in x
1.403 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.403 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.403 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.403 * [taylor]: Taking taylor expansion of -1 in x
1.403 * [taylor]: Taking taylor expansion of y in x
1.403 * [taylor]: Taking taylor expansion of x in x
1.403 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
1.404 * [taylor]: Taking taylor expansion of -1 in y
1.404 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.404 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.404 * [taylor]: Taking taylor expansion of -1 in y
1.404 * [taylor]: Taking taylor expansion of y in y
1.404 * [taylor]: Taking taylor expansion of 0 in y
1.405 * [taylor]: Taking taylor expansion of 0 in y
1.406 * [taylor]: Taking taylor expansion of 0 in y
1.406 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.406 * [approximate]: Taking taylor expansion of (log (- 1.0 y)) in (y) around 0
1.406 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
1.406 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
1.406 * [taylor]: Taking taylor expansion of 1.0 in y
1.406 * [taylor]: Taking taylor expansion of y in y
1.406 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
1.406 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
1.406 * [taylor]: Taking taylor expansion of 1.0 in y
1.406 * [taylor]: Taking taylor expansion of y in y
1.407 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in (y) around 0
1.407 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
1.407 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.407 * [taylor]: Taking taylor expansion of 1.0 in y
1.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.407 * [taylor]: Taking taylor expansion of y in y
1.407 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
1.407 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.407 * [taylor]: Taking taylor expansion of 1.0 in y
1.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.407 * [taylor]: Taking taylor expansion of y in y
1.408 * [approximate]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in (y) around 0
1.408 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
1.408 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.408 * [taylor]: Taking taylor expansion of y in y
1.408 * [taylor]: Taking taylor expansion of 1.0 in y
1.408 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
1.408 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.408 * [taylor]: Taking taylor expansion of y in y
1.408 * [taylor]: Taking taylor expansion of 1.0 in y
1.409 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1)
1.409 * [approximate]: Taking taylor expansion of (pow (log (- 1.0 y)) 3) in (y) around 0
1.409 * [taylor]: Taking taylor expansion of (pow (log (- 1.0 y)) 3) in y
1.409 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
1.409 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
1.409 * [taylor]: Taking taylor expansion of 1.0 in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.409 * [taylor]: Taking taylor expansion of (pow (log (- 1.0 y)) 3) in y
1.409 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y
1.409 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
1.409 * [taylor]: Taking taylor expansion of 1.0 in y
1.409 * [taylor]: Taking taylor expansion of y in y
1.411 * [approximate]: Taking taylor expansion of (pow (log (- 1.0 (/ 1 y))) 3) in (y) around 0
1.411 * [taylor]: Taking taylor expansion of (pow (log (- 1.0 (/ 1 y))) 3) in y
1.411 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
1.411 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.411 * [taylor]: Taking taylor expansion of 1.0 in y
1.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.411 * [taylor]: Taking taylor expansion of y in y
1.411 * [taylor]: Taking taylor expansion of (pow (log (- 1.0 (/ 1 y))) 3) in y
1.411 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y
1.411 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
1.411 * [taylor]: Taking taylor expansion of 1.0 in y
1.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.411 * [taylor]: Taking taylor expansion of y in y
1.415 * [approximate]: Taking taylor expansion of (pow (log (+ (/ 1 y) 1.0)) 3) in (y) around 0
1.415 * [taylor]: Taking taylor expansion of (pow (log (+ (/ 1 y) 1.0)) 3) in y
1.415 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
1.415 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.415 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.415 * [taylor]: Taking taylor expansion of y in y
1.415 * [taylor]: Taking taylor expansion of 1.0 in y
1.415 * [taylor]: Taking taylor expansion of (pow (log (+ (/ 1 y) 1.0)) 3) in y
1.415 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y
1.415 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
1.415 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.415 * [taylor]: Taking taylor expansion of y in y
1.415 * [taylor]: Taking taylor expansion of 1.0 in y
1.419 * * * [progress]: simplifying candidates
1.421 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))
  (log (cbrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log 1)
  (log (- 1.0 y))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (- (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (- 1.0 y))
  (log (- (pow 1.0 3) (pow y 3)))
  (log (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y))))
  (log (- (* 1.0 1.0) (* y y)))
  (log (+ 1.0 y))
  (log (- 1.0 y))
  (log (log (- 1.0 y)))
  (exp (log (- 1.0 y)))
  (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y))))
  (cbrt (log (- 1.0 y)))
  (* (* (log (- 1.0 y)) (log (- 1.0 y))) (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (log (cbrt (pow (log (- 1.0 y)) 3)))
  (exp (cbrt (pow (log (- 1.0 y)) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (- 1.0 y)) 3))
  (cbrt (pow (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y)))) 3))
  (cbrt (pow (cbrt (log (- 1.0 y))) 3))
  (cbrt (pow (sqrt (log (- 1.0 y))) 3))
  (cbrt (pow (sqrt (log (- 1.0 y))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (- 1.0 y)) 3))
  (cbrt (* (log (- 1.0 y)) (log (- 1.0 y))))
  (cbrt (log (- 1.0 y)))
  (cbrt (* (cbrt (pow (log (- 1.0 y)) 3)) (cbrt (pow (log (- 1.0 y)) 3))))
  (cbrt (cbrt (pow (log (- 1.0 y)) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (- 1.0 y)) 3))
  (cbrt (pow (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y)))) 3))
  (cbrt (pow (cbrt (log (- 1.0 y))) 3))
  (cbrt (pow (sqrt (log (- 1.0 y))) 3))
  (cbrt (pow (sqrt (log (- 1.0 y))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (- 1.0 y)) 3))
  (cbrt (log (- 1.0 y)))
  (cbrt (* (log (- 1.0 y)) (log (- 1.0 y))))
  (cbrt (sqrt (pow (log (- 1.0 y)) 3)))
  (cbrt (sqrt (pow (log (- 1.0 y)) 3)))
  (cbrt 1)
  (cbrt (pow (log (- 1.0 y)) 3))
  (cbrt (pow (log (- 1.0 y)) (/ 3 2)))
  (cbrt (pow (log (- 1.0 y)) (/ 3 2)))
  (* (cbrt (cbrt (pow (log (- 1.0 y)) 3))) (cbrt (cbrt (pow (log (- 1.0 y)) 3))))
  (cbrt (cbrt (pow (log (- 1.0 y)) 3)))
  (* (* (cbrt (pow (log (- 1.0 y)) 3)) (cbrt (pow (log (- 1.0 y)) 3))) (cbrt (pow (log (- 1.0 y)) 3)))
  (sqrt (cbrt (pow (log (- 1.0 y)) 3)))
  (sqrt (cbrt (pow (log (- 1.0 y)) 3)))
  (* (log (log (- 1.0 y))) 3)
  (* (log (log (- 1.0 y))) 3)
  (* 1 3)
  (pow (log (- 1.0 y)) (* (cbrt 3) (cbrt 3)))
  (pow (log (- 1.0 y)) (sqrt 3))
  (pow (log (- 1.0 y)) 1)
  (pow 1 3)
  (pow (log (- 1.0 y)) 3)
  (pow (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y)))) 3)
  (pow (cbrt (log (- 1.0 y))) 3)
  (pow (sqrt (log (- 1.0 y))) 3)
  (pow (sqrt (log (- 1.0 y))) 3)
  (pow 1 3)
  (pow (log (- 1.0 y)) 3)
  (* (log (- 1.0 y)) (log (- 1.0 y)))
  (log (pow (log (- 1.0 y)) 3))
  (exp (pow (log (- 1.0 y)) 3))
  (* (cbrt (pow (log (- 1.0 y)) 3)) (cbrt (pow (log (- 1.0 y)) 3)))
  (cbrt (pow (log (- 1.0 y)) 3))
  (* (* (pow (log (- 1.0 y)) 3) (pow (log (- 1.0 y)) 3)) (pow (log (- 1.0 y)) 3))
  (pow 1 3)
  (pow (log (- 1.0 y)) 3)
  (pow (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y)))) 3)
  (pow (cbrt (log (- 1.0 y))) 3)
  (pow (sqrt (log (- 1.0 y))) 3)
  (pow (sqrt (log (- 1.0 y))) 3)
  (pow 1 3)
  (pow (log (- 1.0 y)) 3)
  (* (log (- 1.0 y)) (log (- 1.0 y)))
  (sqrt (pow (log (- 1.0 y)) 3))
  (sqrt (pow (log (- 1.0 y)) 3))
  (pow (log (- 1.0 y)) (/ 3 2))
  (pow (log (- 1.0 y)) (/ 3 2))
  (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))
  (- (log (neg 1)) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ 1 y)))))
  (- (log 1) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ -1 y)))))
  (* x (+ (log 1) (log y)))
  (* x (- (log 1) (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))
  (- (log (neg 1)) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ 1 y)))))
  (- (log 1) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ -1 y)))))
  (- (+ (* 3.0 (* (log 1.0) (pow y 2))) (pow (log 1.0) 3)) (+ (* 3/2 (/ (* (pow y 2) (pow (log 1.0) 2)) (pow 1.0 2))) (* 3.0 (* (pow (log 1.0) 2) y))))
  (- (+ (pow (log (neg 1)) 3) (+ (* 3.0 (/ (* (log (neg 1)) (log (/ 1 y))) (pow y 2))) (+ (* 3 (* (log (neg 1)) (pow (log (/ 1 y)) 2))) (+ (* 3.0 (/ (log (neg 1)) (pow y 2))) (* 6.0 (/ (* (log (neg 1)) (log (/ 1 y))) y)))))) (+ (* 3 (* (pow (log (neg 1)) 2) (log (/ 1 y)))) (+ (pow (log (/ 1 y)) 3) (+ (* 3.0 (/ (pow (log (/ 1 y)) 2) y)) (+ (* 3.0 (/ (pow (log (neg 1)) 2) y)) (+ (* 1.5 (/ (pow (log (/ 1 y)) 2) (pow y 2))) (+ (* 3.0 (/ (log (/ 1 y)) (pow y 2))) (* 1.5 (/ (pow (log (neg 1)) 2) (pow y 2))))))))))
  (- (+ (* 6.0 (/ (* (log 1) (log (/ -1 y))) y)) (+ (* 3 (* (log 1) (pow (log (/ -1 y)) 2))) (+ (pow (log 1) 3) (+ (* 3.0 (/ (* (log 1) (log (/ -1 y))) (pow y 2))) (* 3.0 (/ (log 1) (pow y 2))))))) (+ (* 3.0 (/ (log (/ -1 y)) (pow y 2))) (+ (* 1.5 (/ (pow (log 1) 2) (pow y 2))) (+ (* 1.5 (/ (pow (log (/ -1 y)) 2) (pow y 2))) (+ (* 3.0 (/ (pow (log 1) 2) y)) (+ (pow (log (/ -1 y)) 3) (+ (* 3.0 (/ (pow (log (/ -1 y)) 2) y)) (* 3 (* (pow (log 1) 2) (log (/ -1 y)))))))))))
1.455 * * [simplify]: iteration  0 :  5145  enodes  (cost  981 )
1.462 * [simplify]: Simplified to:
   (* 2 (log (cbrt (- 1.0 y))))
  (log (cbrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log (sqrt (- 1.0 y)))
  (log 1)
  (log (- 1.0 y))
  (log (+ (sqrt 1.0) (sqrt y)))
  (log (- (sqrt 1.0) (sqrt y)))
  (log 1)
  (log (- 1.0 y))
  (log (- (pow 1.0 3) (pow y 3)))
  (log (+ (* 1.0 1.0) (* y (+ 1.0 y))))
  (log (- (* 1.0 1.0) (* y y)))
  (log (+ 1.0 y))
  (log (- 1.0 y))
  (log (log (- 1.0 y)))
  (- 1.0 y)
  (cbrt (pow (log (- 1.0 y)) 2))
  (cbrt (log (- 1.0 y)))
  (pow (log (- 1.0 y)) 3)
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* (log 1) x)
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* (log 1) x)
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (log y) (cbrt x))
  (* (log y) (sqrt x))
  (* x (log y))
  (log (log (- 1.0 y)))
  (- 1.0 y)
  (cbrt 1)
  (log (- 1.0 y))
  (cbrt (pow (log (- 1.0 y)) 2))
  (cbrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (cbrt 1)
  (log (- 1.0 y))
  (cbrt (pow (log (- 1.0 y)) 2))
  (cbrt (log (- 1.0 y)))
  (cbrt (pow (log (- 1.0 y)) 2))
  (cbrt (log (- 1.0 y)))
  (cbrt 1)
  (log (- 1.0 y))
  (cbrt (pow (log (- 1.0 y)) 2))
  (cbrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (cbrt 1)
  (log (- 1.0 y))
  (cbrt (log (- 1.0 y)))
  (cbrt (pow (log (- 1.0 y)) 2))
  (cbrt (sqrt (pow (log (- 1.0 y)) 3)))
  (cbrt (sqrt (pow (log (- 1.0 y)) 3)))
  (cbrt 1)
  (log (- 1.0 y))
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (cbrt (pow (log (- 1.0 y)) 2))
  (cbrt (log (- 1.0 y)))
  (pow (log (- 1.0 y)) 3)
  (sqrt (log (- 1.0 y)))
  (sqrt (log (- 1.0 y)))
  (* 3 (log (log (- 1.0 y))))
  (* 3 (log (log (- 1.0 y))))
  3
  (pow (log (- 1.0 y)) (* (cbrt 3) (cbrt 3)))
  (pow (log (- 1.0 y)) (sqrt 3))
  (log (- 1.0 y))
  1
  (pow (log (- 1.0 y)) 3)
  (pow (log (- 1.0 y)) 2)
  (log (- 1.0 y))
  (pow (log (- 1.0 y)) 3/2)
  (pow (log (- 1.0 y)) 3/2)
  1
  (pow (log (- 1.0 y)) 3)
  (pow (log (- 1.0 y)) 2)
  (* 3 (log (log (- 1.0 y))))
  (exp (pow (log (- 1.0 y)) 3))
  (pow (log (- 1.0 y)) 2)
  (log (- 1.0 y))
  (pow (pow (log (- 1.0 y)) 3) 3)
  1
  (pow (log (- 1.0 y)) 3)
  (pow (log (- 1.0 y)) 2)
  (log (- 1.0 y))
  (pow (log (- 1.0 y)) 3/2)
  (pow (log (- 1.0 y)) 3/2)
  1
  (pow (log (- 1.0 y)) 3)
  (pow (log (- 1.0 y)) 2)
  (sqrt (pow (log (- 1.0 y)) 3))
  (sqrt (pow (log (- 1.0 y)) 3))
  (pow (log (- 1.0 y)) 3/2)
  (pow (log (- 1.0 y)) 3/2)
  (+ (log 1.0) (- (* (* (/ y 1.0) (/ y 1.0)) -1/2) (* 1.0 y)))
  (+ (log -1) (- (- (log y) (/ 0.5 (* y y))) (/ 1.0 y)))
  (- (log 1) (+ (/ 1.0 y) (+ (/ 0.5 (* y y)) (log (/ -1 y)))))
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (+ (log 1.0) (- (* (* (/ y 1.0) (/ y 1.0)) -1/2) (* 1.0 y)))
  (+ (log -1) (- (- (log y) (/ 0.5 (* y y))) (/ 1.0 y)))
  (- (log 1) (+ (/ 1.0 y) (+ (/ 0.5 (* y y)) (log (/ -1 y)))))
  (+ (* (* y y) (* (log 1.0) 3.0)) (+ (* (pow (log 1.0) 2) (- (log 1.0) (* y 3.0))) (* (* (* (/ y 1.0) (/ y 1.0)) (pow (log 1.0) 2)) -3/2)))
  (+ (- (+ (* 3 (* (* (log y) (log y)) (log -1))) (+ (+ (* 3.0 (/ (log -1) (* y y))) (* (* (/ (log -1) y) (neg (log y))) (+ 6.0 (/ 3.0 y)))) (* (pow (log -1) 2) (- (log -1) (* (neg (log y)) 3))))) (+ (* 3.0 (/ (* (log y) (log y)) y)) (+ (* (/ (* (log y) (log y)) y) (/ 1.5 y)) (+ (* 3.0 (/ (neg (log y)) (* y y))) (* (/ (pow (log -1) 2) y) (+ (/ 1.5 y) 3.0)))))) (pow (log y) 3))
  (+ (* 6.0 (* (/ (log 1) y) (log (/ -1 y)))) (+ (* (log 1) (* (pow (log (/ -1 y)) 2) 3)) (+ (pow (log 1) 3) (- (* (/ 3.0 y) (+ (* (/ (log 1) y) (log (/ -1 y))) (/ (log 1) y))) (+ (* 3.0 (/ (log (/ -1 y)) (* y y))) (+ (* 3.0 (/ (pow (log 1) 2) y)) (+ (+ (pow (log (/ -1 y)) 3) (+ (* 3.0 (/ (pow (log (/ -1 y)) 2) y)) (* 3 (* (log (/ -1 y)) (pow (log 1) 2))))) (* (/ 1.5 y) (+ (/ (pow (log 1) 2) y) (/ (pow (log (/ -1 y)) 2) y))))))))))
1.463 * * * [progress]: adding candidates to table
1.611 * [progress]: [Phase 3 of 3] Extracting.
1.611 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- (+ (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t))> #<alt (λ (x y z t) (- (+ (* (* x (* (cbrt (log y)) (cbrt (log y)))) (cbrt (log y))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) t))> #<alt (λ (x y z t) (cbrt (pow (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)) 3)))> #<alt (λ (x y z t) (- (+ (* (* (cbrt x) (cbrt x)) (* (log y) (cbrt x))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (* z (cbrt (pow (log (- 1.0 y)) 3)))) t))> #<alt (λ (x y z t) (- (+ (* (sqrt (* x (log y))) (sqrt (* x (log y)))) (* z (log (- 1.0 y)))) t))>)
1.614 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
1.614 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- (+ (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t))> #<alt (λ (x y z t) (- (+ (* (* x (* (cbrt (log y)) (cbrt (log y)))) (cbrt (log y))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) t))> #<alt (λ (x y z t) (cbrt (pow (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)) 3)))> #<alt (λ (x y z t) (- (+ (* (* (cbrt x) (cbrt x)) (* (log y) (cbrt x))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (* z (cbrt (pow (log (- 1.0 y)) 3)))) t))> #<alt (λ (x y z t) (- (+ (* (sqrt (* x (log y))) (sqrt (* x (log y)))) (* z (log (- 1.0 y)))) t))>)
1.692 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- (+ (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t))> #<alt (λ (x y z t) (- (+ (* (* x (* (cbrt (log y)) (cbrt (log y)))) (cbrt (log y))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) t))> #<alt (λ (x y z t) (cbrt (pow (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)) 3)))> #<alt (λ (x y z t) (- (+ (* (* (cbrt x) (cbrt x)) (* (log y) (cbrt x))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (* z (cbrt (pow (log (- 1.0 y)) 3)))) t))> #<alt (λ (x y z t) (- (+ (* (sqrt (* x (log y))) (sqrt (* x (log y)))) (* z (log (- 1.0 y)))) t))>)
1.792 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- (+ (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t))> #<alt (λ (x y z t) (- (+ (* (* x (* (cbrt (log y)) (cbrt (log y)))) (cbrt (log y))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) t))> #<alt (λ (x y z t) (cbrt (pow (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)) 3)))> #<alt (λ (x y z t) (- (+ (* (* (cbrt x) (cbrt x)) (* (log y) (cbrt x))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (* z (cbrt (pow (log (- 1.0 y)) 3)))) t))> #<alt (λ (x y z t) (- (+ (* (sqrt (* x (log y))) (sqrt (* x (log y)))) (* z (log (- 1.0 y)))) t))>)
1.869 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- (+ (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t))> #<alt (λ (x y z t) (- (+ (* (* x (* (cbrt (log y)) (cbrt (log y)))) (cbrt (log y))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (+ (* (log (+ (sqrt 1.0) (sqrt y))) z) (* (log (- (sqrt 1.0) (sqrt y))) z))) t))> #<alt (λ (x y z t) (cbrt (pow (+ (* x (log y)) (- (* (log (- 1.0 y)) z) t)) 3)))> #<alt (λ (x y z t) (- (+ (* (* (cbrt x) (cbrt x)) (* (log y) (cbrt x))) (* z (log (- 1.0 y)))) t))> #<alt (λ (x y z t) (- (+ (* x (log y)) (* z (cbrt (pow (log (- 1.0 y)) 3)))) t))> #<alt (λ (x y z t) (- (+ (* (sqrt (* x (log y))) (sqrt (* x (log y)))) (* z (log (- 1.0 y)))) t))>)
1.946 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.946 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* 1.0 y))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t)
1.947 * * [simplify]: iteration  0 :  62  enodes  (cost  27 )
1.947 * * [simplify]: iteration  1 :  62  enodes  (cost  27 )
1.947 * [simplify]: Simplified to:
   (- (+ (* x (log y)) (+ (* z (- (log 1.0) (* y 1.0))) (* (* y (/ (* y z) (* 1.0 1.0))) -1/2))) t)
7.028 * [regime-testing]: End program error score: 0.35329317481676376
7.146 * [regime-testing]: Target error score: 0.2896610054433325