16.483 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
3.179 * * * [progress]: [2/2] Setting up program.
3.183 * [progress]: [Phase 2 of 3] Improving.
3.183 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
3.185 * * [simplify]: iteration  0 :  20  enodes  (cost  7 )
3.187 * * [simplify]: iteration  1 :  33  enodes  (cost  7 )
3.188 * * [simplify]: iteration  2 :  49  enodes  (cost  7 )
3.189 * * [simplify]: iteration  3 :  71  enodes  (cost  7 )
3.191 * * [simplify]: iteration  4 :  93  enodes  (cost  7 )
3.193 * * [simplify]: iteration  5 :  180  enodes  (cost  7 )
3.195 * * [simplify]: iteration  6 :  232  enodes  (cost  7 )
3.197 * * [simplify]: iteration  7 :  411  enodes  (cost  7 )
3.201 * * [simplify]: iteration  8 :  628  enodes  (cost  7 )
3.207 * * [simplify]: iteration  9 :  935  enodes  (cost  7 )
3.213 * * [simplify]: iteration  10 :  1028  enodes  (cost  7 )
3.220 * * [simplify]: iteration  11 :  1354  enodes  (cost  7 )
3.244 * * [simplify]: iteration  12 :  3968  enodes  (cost  7 )
3.400 * * [simplify]: iteration  13 :  5002  enodes  (cost  7 )
3.400 * [simplify]: Simplified to:
   (- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
3.401 * * [progress]: iteration 1 / 4
3.401 * * * [progress]: picking best candidate
3.405 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))>
3.405 * * * [progress]: localizing error
3.415 * * * [progress]: generating rewritten candidates
3.415 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
3.421 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.427 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.435 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
3.444 * * * [progress]: generating series expansions
3.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
3.445 * [approximate]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in (y z) around 0
3.445 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z
3.445 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z
3.445 * [taylor]: Taking taylor expansion of (* y (exp z)) in z
3.445 * [taylor]: Taking taylor expansion of y in z
3.445 * [taylor]: Taking taylor expansion of (exp z) in z
3.445 * [taylor]: Taking taylor expansion of z in z
3.445 * [taylor]: Taking taylor expansion of 1.0 in z
3.445 * [taylor]: Taking taylor expansion of y in z
3.445 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.445 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.445 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.445 * [taylor]: Taking taylor expansion of y in y
3.445 * [taylor]: Taking taylor expansion of (exp z) in y
3.445 * [taylor]: Taking taylor expansion of z in y
3.445 * [taylor]: Taking taylor expansion of 1.0 in y
3.445 * [taylor]: Taking taylor expansion of y in y
3.445 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.445 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.445 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.445 * [taylor]: Taking taylor expansion of y in y
3.445 * [taylor]: Taking taylor expansion of (exp z) in y
3.445 * [taylor]: Taking taylor expansion of z in y
3.445 * [taylor]: Taking taylor expansion of 1.0 in y
3.445 * [taylor]: Taking taylor expansion of y in y
3.445 * [taylor]: Taking taylor expansion of 1.0 in z
3.445 * [taylor]: Taking taylor expansion of (- (exp z) 1) in z
3.445 * [taylor]: Taking taylor expansion of (exp z) in z
3.445 * [taylor]: Taking taylor expansion of z in z
3.446 * [taylor]: Taking taylor expansion of 1 in z
3.446 * [taylor]: Taking taylor expansion of 0 in z
3.446 * [taylor]: Taking taylor expansion of 0 in z
3.447 * [approximate]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in (y z) around 0
3.447 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z
3.447 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z
3.447 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z
3.447 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.447 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.447 * [taylor]: Taking taylor expansion of z in z
3.447 * [taylor]: Taking taylor expansion of y in z
3.447 * [taylor]: Taking taylor expansion of 1.0 in z
3.447 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.447 * [taylor]: Taking taylor expansion of y in z
3.447 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.447 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.447 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.447 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.447 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.447 * [taylor]: Taking taylor expansion of z in y
3.447 * [taylor]: Taking taylor expansion of y in y
3.447 * [taylor]: Taking taylor expansion of 1.0 in y
3.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.447 * [taylor]: Taking taylor expansion of y in y
3.447 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.447 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.447 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.447 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.447 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.447 * [taylor]: Taking taylor expansion of z in y
3.447 * [taylor]: Taking taylor expansion of y in y
3.447 * [taylor]: Taking taylor expansion of 1.0 in y
3.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.447 * [taylor]: Taking taylor expansion of y in y
3.447 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.447 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.447 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.447 * [taylor]: Taking taylor expansion of z in z
3.448 * [taylor]: Taking taylor expansion of 1 in z
3.448 * [taylor]: Taking taylor expansion of 1.0 in z
3.448 * [taylor]: Taking taylor expansion of 0 in z
3.449 * [taylor]: Taking taylor expansion of 0 in z
3.449 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in (y z) around 0
3.449 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in z
3.449 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
3.449 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.449 * [taylor]: Taking taylor expansion of y in z
3.449 * [taylor]: Taking taylor expansion of 1.0 in z
3.449 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z
3.449 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.449 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.449 * [taylor]: Taking taylor expansion of -1 in z
3.449 * [taylor]: Taking taylor expansion of z in z
3.449 * [taylor]: Taking taylor expansion of y in z
3.449 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y
3.449 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.449 * [taylor]: Taking taylor expansion of y in y
3.449 * [taylor]: Taking taylor expansion of 1.0 in y
3.449 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.449 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.449 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.449 * [taylor]: Taking taylor expansion of -1 in y
3.449 * [taylor]: Taking taylor expansion of z in y
3.449 * [taylor]: Taking taylor expansion of y in y
3.449 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y
3.449 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.449 * [taylor]: Taking taylor expansion of y in y
3.450 * [taylor]: Taking taylor expansion of 1.0 in y
3.450 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.450 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.450 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.450 * [taylor]: Taking taylor expansion of -1 in y
3.450 * [taylor]: Taking taylor expansion of z in y
3.450 * [taylor]: Taking taylor expansion of y in y
3.450 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.450 * [taylor]: Taking taylor expansion of 1 in z
3.450 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.450 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.450 * [taylor]: Taking taylor expansion of -1 in z
3.450 * [taylor]: Taking taylor expansion of z in z
3.450 * [taylor]: Taking taylor expansion of 1.0 in z
3.451 * [taylor]: Taking taylor expansion of 0 in z
3.451 * [taylor]: Taking taylor expansion of 0 in z
3.451 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.452 * [approximate]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in (y z) around 0
3.452 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z
3.452 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z
3.452 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z
3.452 * [taylor]: Taking taylor expansion of (* y (exp z)) in z
3.452 * [taylor]: Taking taylor expansion of y in z
3.452 * [taylor]: Taking taylor expansion of (exp z) in z
3.452 * [taylor]: Taking taylor expansion of z in z
3.452 * [taylor]: Taking taylor expansion of 1.0 in z
3.452 * [taylor]: Taking taylor expansion of y in z
3.452 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y
3.452 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.452 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.452 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.452 * [taylor]: Taking taylor expansion of y in y
3.452 * [taylor]: Taking taylor expansion of (exp z) in y
3.452 * [taylor]: Taking taylor expansion of z in y
3.452 * [taylor]: Taking taylor expansion of 1.0 in y
3.452 * [taylor]: Taking taylor expansion of y in y
3.452 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y
3.452 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.452 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.452 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.452 * [taylor]: Taking taylor expansion of y in y
3.452 * [taylor]: Taking taylor expansion of (exp z) in y
3.452 * [taylor]: Taking taylor expansion of z in y
3.452 * [taylor]: Taking taylor expansion of 1.0 in y
3.452 * [taylor]: Taking taylor expansion of y in y
3.452 * [taylor]: Taking taylor expansion of (log 1.0) in z
3.452 * [taylor]: Taking taylor expansion of 1.0 in z
3.453 * [taylor]: Taking taylor expansion of (- (* 1.0 (exp z)) 1.0) in z
3.453 * [taylor]: Taking taylor expansion of (* 1.0 (exp z)) in z
3.453 * [taylor]: Taking taylor expansion of 1.0 in z
3.453 * [taylor]: Taking taylor expansion of (exp z) in z
3.453 * [taylor]: Taking taylor expansion of z in z
3.453 * [taylor]: Taking taylor expansion of 1.0 in z
3.453 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))))) in z
3.453 * [taylor]: Taking taylor expansion of 1/2 in z
3.453 * [taylor]: Taking taylor expansion of (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2)))) in z
3.453 * [taylor]: Taking taylor expansion of (* 2 (/ (exp z) (pow 1.0 2))) in z
3.453 * [taylor]: Taking taylor expansion of 2 in z
3.453 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 2)) in z
3.453 * [taylor]: Taking taylor expansion of (exp z) in z
3.453 * [taylor]: Taking taylor expansion of z in z
3.454 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.454 * [taylor]: Taking taylor expansion of 1.0 in z
3.454 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))) in z
3.454 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 2)) in z
3.454 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.454 * [taylor]: Taking taylor expansion of 1.0 in z
3.454 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 2)) in z
3.454 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z
3.454 * [taylor]: Taking taylor expansion of (exp z) in z
3.454 * [taylor]: Taking taylor expansion of z in z
3.454 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.454 * [taylor]: Taking taylor expansion of 1.0 in z
3.455 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (* 6 (/ (exp z) (pow 1.0 3)))) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))))) in z
3.455 * [taylor]: Taking taylor expansion of 1/6 in z
3.455 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (* 6 (/ (exp z) (pow 1.0 3)))) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3))))) in z
3.455 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (* 6 (/ (exp z) (pow 1.0 3)))) in z
3.455 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) in z
3.455 * [taylor]: Taking taylor expansion of 2 in z
3.455 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (pow 1.0 3)) in z
3.455 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z
3.455 * [taylor]: Taking taylor expansion of (exp z) in z
3.455 * [taylor]: Taking taylor expansion of z in z
3.455 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.455 * [taylor]: Taking taylor expansion of 1.0 in z
3.455 * [taylor]: Taking taylor expansion of (* 6 (/ (exp z) (pow 1.0 3))) in z
3.455 * [taylor]: Taking taylor expansion of 6 in z
3.455 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 3)) in z
3.455 * [taylor]: Taking taylor expansion of (exp z) in z
3.455 * [taylor]: Taking taylor expansion of z in z
3.455 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.455 * [taylor]: Taking taylor expansion of 1.0 in z
3.455 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))) in z
3.455 * [taylor]: Taking taylor expansion of (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) in z
3.455 * [taylor]: Taking taylor expansion of 6 in z
3.455 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 3)) in z
3.455 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z
3.455 * [taylor]: Taking taylor expansion of (exp z) in z
3.455 * [taylor]: Taking taylor expansion of z in z
3.455 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.455 * [taylor]: Taking taylor expansion of 1.0 in z
3.456 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow 1.0 3))) in z
3.456 * [taylor]: Taking taylor expansion of 2 in z
3.456 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 3)) in z
3.456 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.456 * [taylor]: Taking taylor expansion of 1.0 in z
3.456 * [approximate]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in (y z) around 0
3.456 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z
3.456 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z
3.456 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z
3.457 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z
3.457 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.457 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.457 * [taylor]: Taking taylor expansion of z in z
3.457 * [taylor]: Taking taylor expansion of y in z
3.457 * [taylor]: Taking taylor expansion of 1.0 in z
3.457 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.457 * [taylor]: Taking taylor expansion of y in z
3.457 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y
3.457 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.457 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.457 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.457 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.457 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.457 * [taylor]: Taking taylor expansion of z in y
3.457 * [taylor]: Taking taylor expansion of y in y
3.457 * [taylor]: Taking taylor expansion of 1.0 in y
3.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.457 * [taylor]: Taking taylor expansion of y in y
3.457 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y
3.457 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.457 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.457 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.457 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.457 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.457 * [taylor]: Taking taylor expansion of z in y
3.457 * [taylor]: Taking taylor expansion of y in y
3.458 * [taylor]: Taking taylor expansion of 1.0 in y
3.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.458 * [taylor]: Taking taylor expansion of y in y
3.458 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z
3.458 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z
3.458 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.458 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.458 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.458 * [taylor]: Taking taylor expansion of z in z
3.458 * [taylor]: Taking taylor expansion of 1 in z
3.458 * [taylor]: Taking taylor expansion of (log y) in z
3.458 * [taylor]: Taking taylor expansion of y in z
3.459 * [taylor]: Taking taylor expansion of (/ 1.0 (- (exp (/ 1 z)) 1)) in z
3.459 * [taylor]: Taking taylor expansion of 1.0 in z
3.459 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.459 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.459 * [taylor]: Taking taylor expansion of z in z
3.459 * [taylor]: Taking taylor expansion of 1 in z
3.460 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- (exp (/ 1 z)) 1) 2)) in z
3.460 * [taylor]: Taking taylor expansion of -0.5 in z
3.460 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z
3.460 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.460 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.460 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.460 * [taylor]: Taking taylor expansion of z in z
3.460 * [taylor]: Taking taylor expansion of 1 in z
3.461 * [approximate]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in (y z) around 0
3.461 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in z
3.461 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in z
3.461 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
3.461 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.461 * [taylor]: Taking taylor expansion of y in z
3.461 * [taylor]: Taking taylor expansion of 1.0 in z
3.461 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z
3.461 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.461 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.461 * [taylor]: Taking taylor expansion of -1 in z
3.461 * [taylor]: Taking taylor expansion of z in z
3.461 * [taylor]: Taking taylor expansion of y in z
3.461 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y
3.461 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y
3.461 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [taylor]: Taking taylor expansion of 1.0 in y
3.461 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.461 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.461 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.461 * [taylor]: Taking taylor expansion of -1 in y
3.461 * [taylor]: Taking taylor expansion of z in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.461 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y
3.461 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y
3.461 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.462 * [taylor]: Taking taylor expansion of 1.0 in y
3.462 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.462 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.462 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.462 * [taylor]: Taking taylor expansion of -1 in y
3.462 * [taylor]: Taking taylor expansion of z in y
3.462 * [taylor]: Taking taylor expansion of y in y
3.462 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z
3.462 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z
3.462 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.462 * [taylor]: Taking taylor expansion of 1 in z
3.462 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.462 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.462 * [taylor]: Taking taylor expansion of -1 in z
3.462 * [taylor]: Taking taylor expansion of z in z
3.462 * [taylor]: Taking taylor expansion of (log y) in z
3.462 * [taylor]: Taking taylor expansion of y in z
3.463 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1 (exp (/ -1 z)))) in z
3.463 * [taylor]: Taking taylor expansion of 1.0 in z
3.463 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.463 * [taylor]: Taking taylor expansion of 1 in z
3.463 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.463 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.463 * [taylor]: Taking taylor expansion of -1 in z
3.463 * [taylor]: Taking taylor expansion of z in z
3.464 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- 1 (exp (/ -1 z))) 2)) in z
3.464 * [taylor]: Taking taylor expansion of -0.5 in z
3.464 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z
3.464 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.464 * [taylor]: Taking taylor expansion of 1 in z
3.464 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.464 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.464 * [taylor]: Taking taylor expansion of -1 in z
3.464 * [taylor]: Taking taylor expansion of z in z
3.465 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.465 * [approximate]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in (y z t) around 0
3.465 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in t
3.465 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in t
3.465 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in t
3.465 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in t
3.465 * [taylor]: Taking taylor expansion of (* y (exp z)) in t
3.465 * [taylor]: Taking taylor expansion of y in t
3.465 * [taylor]: Taking taylor expansion of (exp z) in t
3.465 * [taylor]: Taking taylor expansion of z in t
3.465 * [taylor]: Taking taylor expansion of 1.0 in t
3.465 * [taylor]: Taking taylor expansion of y in t
3.465 * [taylor]: Taking taylor expansion of t in t
3.465 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in z
3.465 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z
3.465 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z
3.465 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z
3.465 * [taylor]: Taking taylor expansion of (* y (exp z)) in z
3.465 * [taylor]: Taking taylor expansion of y in z
3.465 * [taylor]: Taking taylor expansion of (exp z) in z
3.465 * [taylor]: Taking taylor expansion of z in z
3.465 * [taylor]: Taking taylor expansion of 1.0 in z
3.465 * [taylor]: Taking taylor expansion of y in z
3.465 * [taylor]: Taking taylor expansion of t in z
3.466 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in y
3.466 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y
3.466 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.466 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.466 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.466 * [taylor]: Taking taylor expansion of y in y
3.466 * [taylor]: Taking taylor expansion of (exp z) in y
3.466 * [taylor]: Taking taylor expansion of z in y
3.466 * [taylor]: Taking taylor expansion of 1.0 in y
3.466 * [taylor]: Taking taylor expansion of y in y
3.466 * [taylor]: Taking taylor expansion of t in y
3.466 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in y
3.466 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y
3.466 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.466 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.466 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.466 * [taylor]: Taking taylor expansion of y in y
3.466 * [taylor]: Taking taylor expansion of (exp z) in y
3.466 * [taylor]: Taking taylor expansion of z in y
3.466 * [taylor]: Taking taylor expansion of 1.0 in y
3.466 * [taylor]: Taking taylor expansion of y in y
3.466 * [taylor]: Taking taylor expansion of t in y
3.466 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in z
3.466 * [taylor]: Taking taylor expansion of (log 1.0) in z
3.466 * [taylor]: Taking taylor expansion of 1.0 in z
3.466 * [taylor]: Taking taylor expansion of t in z
3.466 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in t
3.466 * [taylor]: Taking taylor expansion of (log 1.0) in t
3.466 * [taylor]: Taking taylor expansion of 1.0 in t
3.466 * [taylor]: Taking taylor expansion of t in t
3.467 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (exp z) t)) (* 1.0 (/ 1 t))) in z
3.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ (exp z) t)) in z
3.467 * [taylor]: Taking taylor expansion of 1.0 in z
3.467 * [taylor]: Taking taylor expansion of (/ (exp z) t) in z
3.467 * [taylor]: Taking taylor expansion of (exp z) in z
3.467 * [taylor]: Taking taylor expansion of z in z
3.467 * [taylor]: Taking taylor expansion of t in z
3.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in z
3.467 * [taylor]: Taking taylor expansion of 1.0 in z
3.467 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.467 * [taylor]: Taking taylor expansion of t in z
3.467 * [taylor]: Taking taylor expansion of 0 in t
3.467 * [taylor]: Taking taylor expansion of 0 in t
3.468 * [taylor]: Taking taylor expansion of (- (/ (exp z) (* t (pow 1.0 2))) (+ (* 1/2 (/ 1 (* t (pow 1.0 2)))) (* 1/2 (/ (pow (exp z) 2) (* t (pow 1.0 2)))))) in z
3.468 * [taylor]: Taking taylor expansion of (/ (exp z) (* t (pow 1.0 2))) in z
3.468 * [taylor]: Taking taylor expansion of (exp z) in z
3.468 * [taylor]: Taking taylor expansion of z in z
3.468 * [taylor]: Taking taylor expansion of (* t (pow 1.0 2)) in z
3.468 * [taylor]: Taking taylor expansion of t in z
3.468 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.468 * [taylor]: Taking taylor expansion of 1.0 in z
3.469 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* t (pow 1.0 2)))) (* 1/2 (/ (pow (exp z) 2) (* t (pow 1.0 2))))) in z
3.469 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* t (pow 1.0 2)))) in z
3.469 * [taylor]: Taking taylor expansion of 1/2 in z
3.469 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow 1.0 2))) in z
3.469 * [taylor]: Taking taylor expansion of (* t (pow 1.0 2)) in z
3.469 * [taylor]: Taking taylor expansion of t in z
3.469 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.469 * [taylor]: Taking taylor expansion of 1.0 in z
3.469 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (exp z) 2) (* t (pow 1.0 2)))) in z
3.469 * [taylor]: Taking taylor expansion of 1/2 in z
3.469 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (* t (pow 1.0 2))) in z
3.469 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z
3.469 * [taylor]: Taking taylor expansion of (exp z) in z
3.469 * [taylor]: Taking taylor expansion of z in z
3.469 * [taylor]: Taking taylor expansion of (* t (pow 1.0 2)) in z
3.469 * [taylor]: Taking taylor expansion of t in z
3.469 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.469 * [taylor]: Taking taylor expansion of 1.0 in z
3.469 * [taylor]: Taking taylor expansion of 0 in t
3.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.469 * [taylor]: Taking taylor expansion of 1.0 in t
3.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.469 * [taylor]: Taking taylor expansion of t in t
3.470 * [taylor]: Taking taylor expansion of 0 in t
3.472 * [taylor]: Taking taylor expansion of (- (+ (/ (exp z) (* t (pow 1.0 3))) (* 1/3 (/ (pow (exp z) 3) (* t (pow 1.0 3))))) (+ (* 1/3 (/ 1 (* t (pow 1.0 3)))) (/ (pow (exp z) 2) (* t (pow 1.0 3))))) in z
3.472 * [taylor]: Taking taylor expansion of (+ (/ (exp z) (* t (pow 1.0 3))) (* 1/3 (/ (pow (exp z) 3) (* t (pow 1.0 3))))) in z
3.472 * [taylor]: Taking taylor expansion of (/ (exp z) (* t (pow 1.0 3))) in z
3.472 * [taylor]: Taking taylor expansion of (exp z) in z
3.472 * [taylor]: Taking taylor expansion of z in z
3.472 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z
3.472 * [taylor]: Taking taylor expansion of t in z
3.472 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.472 * [taylor]: Taking taylor expansion of 1.0 in z
3.472 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow (exp z) 3) (* t (pow 1.0 3)))) in z
3.472 * [taylor]: Taking taylor expansion of 1/3 in z
3.472 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (* t (pow 1.0 3))) in z
3.472 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z
3.472 * [taylor]: Taking taylor expansion of (exp z) in z
3.472 * [taylor]: Taking taylor expansion of z in z
3.472 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z
3.472 * [taylor]: Taking taylor expansion of t in z
3.472 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.472 * [taylor]: Taking taylor expansion of 1.0 in z
3.472 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (* t (pow 1.0 3)))) (/ (pow (exp z) 2) (* t (pow 1.0 3)))) in z
3.472 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (* t (pow 1.0 3)))) in z
3.472 * [taylor]: Taking taylor expansion of 1/3 in z
3.472 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow 1.0 3))) in z
3.472 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z
3.472 * [taylor]: Taking taylor expansion of t in z
3.472 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.472 * [taylor]: Taking taylor expansion of 1.0 in z
3.473 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (* t (pow 1.0 3))) in z
3.473 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z
3.473 * [taylor]: Taking taylor expansion of (exp z) in z
3.473 * [taylor]: Taking taylor expansion of z in z
3.473 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z
3.473 * [taylor]: Taking taylor expansion of t in z
3.473 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.473 * [taylor]: Taking taylor expansion of 1.0 in z
3.473 * [taylor]: Taking taylor expansion of 0 in t
3.474 * [taylor]: Taking taylor expansion of 0 in t
3.474 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t
3.474 * [taylor]: Taking taylor expansion of 0.5 in t
3.474 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.474 * [taylor]: Taking taylor expansion of t in t
3.475 * [approximate]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in (y z t) around 0
3.475 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in t
3.475 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in t
3.475 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in t
3.475 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in t
3.475 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in t
3.475 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t
3.475 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.475 * [taylor]: Taking taylor expansion of z in t
3.475 * [taylor]: Taking taylor expansion of y in t
3.475 * [taylor]: Taking taylor expansion of 1.0 in t
3.475 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.475 * [taylor]: Taking taylor expansion of y in t
3.475 * [taylor]: Taking taylor expansion of t in t
3.475 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in z
3.475 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z
3.475 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z
3.475 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z
3.475 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z
3.475 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.475 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.475 * [taylor]: Taking taylor expansion of z in z
3.475 * [taylor]: Taking taylor expansion of y in z
3.475 * [taylor]: Taking taylor expansion of 1.0 in z
3.475 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.475 * [taylor]: Taking taylor expansion of y in z
3.476 * [taylor]: Taking taylor expansion of t in z
3.476 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in y
3.476 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y
3.476 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.476 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.476 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.476 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.476 * [taylor]: Taking taylor expansion of z in y
3.476 * [taylor]: Taking taylor expansion of y in y
3.476 * [taylor]: Taking taylor expansion of 1.0 in y
3.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.476 * [taylor]: Taking taylor expansion of y in y
3.476 * [taylor]: Taking taylor expansion of t in y
3.476 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in y
3.476 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y
3.476 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.476 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.476 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.476 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.476 * [taylor]: Taking taylor expansion of z in y
3.476 * [taylor]: Taking taylor expansion of y in y
3.476 * [taylor]: Taking taylor expansion of 1.0 in y
3.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.476 * [taylor]: Taking taylor expansion of y in y
3.476 * [taylor]: Taking taylor expansion of t in y
3.477 * [taylor]: Taking taylor expansion of (* t (- (log (- (exp (/ 1 z)) 1)) (log y))) in z
3.477 * [taylor]: Taking taylor expansion of t in z
3.477 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z
3.477 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z
3.477 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.477 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.477 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.477 * [taylor]: Taking taylor expansion of z in z
3.477 * [taylor]: Taking taylor expansion of 1 in z
3.477 * [taylor]: Taking taylor expansion of (log y) in z
3.477 * [taylor]: Taking taylor expansion of y in z
3.477 * [taylor]: Taking taylor expansion of (* t (- (log (- (exp (/ 1 z)) 1)) (log y))) in t
3.477 * [taylor]: Taking taylor expansion of t in t
3.477 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in t
3.477 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in t
3.477 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t
3.477 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t
3.477 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.477 * [taylor]: Taking taylor expansion of z in t
3.477 * [taylor]: Taking taylor expansion of 1 in t
3.477 * [taylor]: Taking taylor expansion of (log y) in t
3.477 * [taylor]: Taking taylor expansion of y in t
3.478 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- (exp (/ 1 z)) 1))) in z
3.478 * [taylor]: Taking taylor expansion of 1.0 in z
3.478 * [taylor]: Taking taylor expansion of (/ t (- (exp (/ 1 z)) 1)) in z
3.478 * [taylor]: Taking taylor expansion of t in z
3.478 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.478 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.478 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.478 * [taylor]: Taking taylor expansion of z in z
3.478 * [taylor]: Taking taylor expansion of 1 in z
3.478 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- (exp (/ 1 z)) 1))) in t
3.478 * [taylor]: Taking taylor expansion of 1.0 in t
3.478 * [taylor]: Taking taylor expansion of (/ t (- (exp (/ 1 z)) 1)) in t
3.478 * [taylor]: Taking taylor expansion of t in t
3.478 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t
3.478 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t
3.478 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.478 * [taylor]: Taking taylor expansion of z in t
3.479 * [taylor]: Taking taylor expansion of 1 in t
3.479 * [taylor]: Taking taylor expansion of 0 in t
3.480 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2)))) in z
3.480 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2))) in z
3.480 * [taylor]: Taking taylor expansion of 0.5 in z
3.480 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 2)) in z
3.480 * [taylor]: Taking taylor expansion of t in z
3.480 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z
3.480 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.480 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.480 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.480 * [taylor]: Taking taylor expansion of z in z
3.481 * [taylor]: Taking taylor expansion of 1 in z
3.481 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2)))) in t
3.481 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2))) in t
3.481 * [taylor]: Taking taylor expansion of 0.5 in t
3.481 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 2)) in t
3.481 * [taylor]: Taking taylor expansion of t in t
3.481 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in t
3.481 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t
3.481 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t
3.481 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.481 * [taylor]: Taking taylor expansion of z in t
3.481 * [taylor]: Taking taylor expansion of 1 in t
3.482 * [taylor]: Taking taylor expansion of 0 in t
3.482 * [taylor]: Taking taylor expansion of 0 in t
3.484 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- (exp (/ 1 z)) 1) 3))) in z
3.484 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.484 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 3)) in z
3.484 * [taylor]: Taking taylor expansion of t in z
3.484 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 3) in z
3.484 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.484 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.484 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.484 * [taylor]: Taking taylor expansion of z in z
3.484 * [taylor]: Taking taylor expansion of 1 in z
3.485 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- (exp (/ 1 z)) 1) 3))) in t
3.485 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.485 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 3)) in t
3.485 * [taylor]: Taking taylor expansion of t in t
3.485 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 3) in t
3.485 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t
3.485 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t
3.485 * [taylor]: Taking taylor expansion of (/ 1 z) in t
3.485 * [taylor]: Taking taylor expansion of z in t
3.485 * [taylor]: Taking taylor expansion of 1 in t
3.486 * [taylor]: Taking taylor expansion of 0 in t
3.486 * [taylor]: Taking taylor expansion of 0 in t
3.487 * [taylor]: Taking taylor expansion of 0 in t
3.488 * [approximate]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in (y z t) around 0
3.488 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in t
3.488 * [taylor]: Taking taylor expansion of -1 in t
3.488 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in t
3.488 * [taylor]: Taking taylor expansion of t in t
3.488 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in t
3.488 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in t
3.488 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in t
3.488 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.488 * [taylor]: Taking taylor expansion of y in t
3.488 * [taylor]: Taking taylor expansion of 1.0 in t
3.488 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in t
3.488 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t
3.488 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.488 * [taylor]: Taking taylor expansion of -1 in t
3.488 * [taylor]: Taking taylor expansion of z in t
3.488 * [taylor]: Taking taylor expansion of y in t
3.488 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in z
3.488 * [taylor]: Taking taylor expansion of -1 in z
3.488 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in z
3.488 * [taylor]: Taking taylor expansion of t in z
3.488 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in z
3.488 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in z
3.489 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
3.489 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.489 * [taylor]: Taking taylor expansion of y in z
3.489 * [taylor]: Taking taylor expansion of 1.0 in z
3.489 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z
3.489 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.489 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.489 * [taylor]: Taking taylor expansion of -1 in z
3.489 * [taylor]: Taking taylor expansion of z in z
3.489 * [taylor]: Taking taylor expansion of y in z
3.489 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in y
3.489 * [taylor]: Taking taylor expansion of -1 in y
3.489 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in y
3.489 * [taylor]: Taking taylor expansion of t in y
3.489 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y
3.489 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y
3.489 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.489 * [taylor]: Taking taylor expansion of y in y
3.489 * [taylor]: Taking taylor expansion of 1.0 in y
3.489 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.489 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.489 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.489 * [taylor]: Taking taylor expansion of -1 in y
3.489 * [taylor]: Taking taylor expansion of z in y
3.489 * [taylor]: Taking taylor expansion of y in y
3.489 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in y
3.489 * [taylor]: Taking taylor expansion of -1 in y
3.489 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in y
3.489 * [taylor]: Taking taylor expansion of t in y
3.489 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y
3.490 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y
3.490 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.490 * [taylor]: Taking taylor expansion of y in y
3.490 * [taylor]: Taking taylor expansion of 1.0 in y
3.490 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.490 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.490 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.490 * [taylor]: Taking taylor expansion of -1 in y
3.490 * [taylor]: Taking taylor expansion of z in y
3.490 * [taylor]: Taking taylor expansion of y in y
3.490 * [taylor]: Taking taylor expansion of (* -1 (* t (- (log (- 1 (exp (/ -1 z)))) (log y)))) in z
3.490 * [taylor]: Taking taylor expansion of -1 in z
3.490 * [taylor]: Taking taylor expansion of (* t (- (log (- 1 (exp (/ -1 z)))) (log y))) in z
3.490 * [taylor]: Taking taylor expansion of t in z
3.490 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z
3.490 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z
3.490 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.490 * [taylor]: Taking taylor expansion of 1 in z
3.490 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.490 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.490 * [taylor]: Taking taylor expansion of -1 in z
3.490 * [taylor]: Taking taylor expansion of z in z
3.490 * [taylor]: Taking taylor expansion of (log y) in z
3.490 * [taylor]: Taking taylor expansion of y in z
3.491 * [taylor]: Taking taylor expansion of (* -1 (* t (- (log (- 1 (exp (/ -1 z)))) (log y)))) in t
3.491 * [taylor]: Taking taylor expansion of -1 in t
3.491 * [taylor]: Taking taylor expansion of (* t (- (log (- 1 (exp (/ -1 z)))) (log y))) in t
3.491 * [taylor]: Taking taylor expansion of t in t
3.491 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in t
3.491 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in t
3.491 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t
3.491 * [taylor]: Taking taylor expansion of 1 in t
3.491 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t
3.491 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.491 * [taylor]: Taking taylor expansion of -1 in t
3.491 * [taylor]: Taking taylor expansion of z in t
3.491 * [taylor]: Taking taylor expansion of (log y) in t
3.491 * [taylor]: Taking taylor expansion of y in t
3.492 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ t (- 1 (exp (/ -1 z)))))) in z
3.492 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- 1 (exp (/ -1 z))))) in z
3.492 * [taylor]: Taking taylor expansion of 1.0 in z
3.492 * [taylor]: Taking taylor expansion of (/ t (- 1 (exp (/ -1 z)))) in z
3.492 * [taylor]: Taking taylor expansion of t in z
3.492 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.492 * [taylor]: Taking taylor expansion of 1 in z
3.492 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.492 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.492 * [taylor]: Taking taylor expansion of -1 in z
3.492 * [taylor]: Taking taylor expansion of z in z
3.492 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ t (- 1 (exp (/ -1 z)))))) in t
3.492 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- 1 (exp (/ -1 z))))) in t
3.492 * [taylor]: Taking taylor expansion of 1.0 in t
3.492 * [taylor]: Taking taylor expansion of (/ t (- 1 (exp (/ -1 z)))) in t
3.492 * [taylor]: Taking taylor expansion of t in t
3.492 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t
3.492 * [taylor]: Taking taylor expansion of 1 in t
3.492 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t
3.492 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.492 * [taylor]: Taking taylor expansion of -1 in t
3.492 * [taylor]: Taking taylor expansion of z in t
3.493 * [taylor]: Taking taylor expansion of 0 in t
3.495 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- 1 (exp (/ -1 z))) 2))) in z
3.495 * [taylor]: Taking taylor expansion of 0.5 in z
3.495 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 2)) in z
3.495 * [taylor]: Taking taylor expansion of t in z
3.495 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z
3.495 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.495 * [taylor]: Taking taylor expansion of 1 in z
3.495 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.495 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.495 * [taylor]: Taking taylor expansion of -1 in z
3.495 * [taylor]: Taking taylor expansion of z in z
3.495 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- 1 (exp (/ -1 z))) 2))) in t
3.495 * [taylor]: Taking taylor expansion of 0.5 in t
3.495 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 2)) in t
3.495 * [taylor]: Taking taylor expansion of t in t
3.495 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in t
3.495 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t
3.495 * [taylor]: Taking taylor expansion of 1 in t
3.495 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t
3.495 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.495 * [taylor]: Taking taylor expansion of -1 in t
3.495 * [taylor]: Taking taylor expansion of z in t
3.496 * [taylor]: Taking taylor expansion of 0 in t
3.496 * [taylor]: Taking taylor expansion of 0 in t
3.499 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3)))) in z
3.499 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) in z
3.499 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.499 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 3)) in z
3.499 * [taylor]: Taking taylor expansion of t in z
3.499 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 3) in z
3.499 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.499 * [taylor]: Taking taylor expansion of 1 in z
3.499 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.499 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.499 * [taylor]: Taking taylor expansion of -1 in z
3.499 * [taylor]: Taking taylor expansion of z in z
3.500 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3)))) in t
3.500 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) in t
3.500 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.500 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 3)) in t
3.500 * [taylor]: Taking taylor expansion of t in t
3.500 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 3) in t
3.500 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t
3.500 * [taylor]: Taking taylor expansion of 1 in t
3.500 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t
3.500 * [taylor]: Taking taylor expansion of (/ -1 z) in t
3.500 * [taylor]: Taking taylor expansion of -1 in t
3.500 * [taylor]: Taking taylor expansion of z in t
3.501 * [taylor]: Taking taylor expansion of 0 in t
3.501 * [taylor]: Taking taylor expansion of 0 in t
3.502 * [taylor]: Taking taylor expansion of 0 in t
3.503 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
3.503 * [approximate]: Taking taylor expansion of (* (exp z) y) in (y z) around 0
3.503 * [taylor]: Taking taylor expansion of (* (exp z) y) in z
3.503 * [taylor]: Taking taylor expansion of (exp z) in z
3.503 * [taylor]: Taking taylor expansion of z in z
3.503 * [taylor]: Taking taylor expansion of y in z
3.503 * [taylor]: Taking taylor expansion of (* (exp z) y) in y
3.503 * [taylor]: Taking taylor expansion of (exp z) in y
3.503 * [taylor]: Taking taylor expansion of z in y
3.503 * [taylor]: Taking taylor expansion of y in y
3.503 * [taylor]: Taking taylor expansion of (* (exp z) y) in y
3.503 * [taylor]: Taking taylor expansion of (exp z) in y
3.503 * [taylor]: Taking taylor expansion of z in y
3.503 * [taylor]: Taking taylor expansion of y in y
3.503 * [taylor]: Taking taylor expansion of 0 in z
3.503 * [taylor]: Taking taylor expansion of (exp z) in z
3.503 * [taylor]: Taking taylor expansion of z in z
3.503 * [taylor]: Taking taylor expansion of 0 in z
3.504 * [taylor]: Taking taylor expansion of 0 in z
3.504 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in (y z) around 0
3.504 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z
3.504 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.504 * [taylor]: Taking taylor expansion of z in z
3.504 * [taylor]: Taking taylor expansion of y in z
3.504 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.504 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.504 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.504 * [taylor]: Taking taylor expansion of z in y
3.504 * [taylor]: Taking taylor expansion of y in y
3.504 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.504 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.504 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.504 * [taylor]: Taking taylor expansion of z in y
3.505 * [taylor]: Taking taylor expansion of y in y
3.505 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.505 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.505 * [taylor]: Taking taylor expansion of z in z
3.505 * [taylor]: Taking taylor expansion of 0 in z
3.505 * [taylor]: Taking taylor expansion of 0 in z
3.506 * [taylor]: Taking taylor expansion of 0 in z
3.506 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in (y z) around 0
3.506 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in z
3.506 * [taylor]: Taking taylor expansion of -1 in z
3.506 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z
3.506 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.506 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.506 * [taylor]: Taking taylor expansion of -1 in z
3.506 * [taylor]: Taking taylor expansion of z in z
3.506 * [taylor]: Taking taylor expansion of y in z
3.506 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in y
3.506 * [taylor]: Taking taylor expansion of -1 in y
3.506 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.506 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.506 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.506 * [taylor]: Taking taylor expansion of -1 in y
3.506 * [taylor]: Taking taylor expansion of z in y
3.506 * [taylor]: Taking taylor expansion of y in y
3.506 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in y
3.506 * [taylor]: Taking taylor expansion of -1 in y
3.506 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y
3.506 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.506 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.506 * [taylor]: Taking taylor expansion of -1 in y
3.506 * [taylor]: Taking taylor expansion of z in y
3.506 * [taylor]: Taking taylor expansion of y in y
3.506 * [taylor]: Taking taylor expansion of (* -1 (exp (/ -1 z))) in z
3.506 * [taylor]: Taking taylor expansion of -1 in z
3.506 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.506 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.506 * [taylor]: Taking taylor expansion of -1 in z
3.506 * [taylor]: Taking taylor expansion of z in z
3.507 * [taylor]: Taking taylor expansion of 0 in z
3.507 * [taylor]: Taking taylor expansion of 0 in z
3.508 * [taylor]: Taking taylor expansion of 0 in z
3.508 * * * [progress]: simplifying candidates
3.509 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (exp 1.0) (exp y)) (exp (* y (exp z))))
  (* (exp (- 1.0 y)) (exp (* y (exp z))))
  (log (+ (- 1.0 y) (* y (exp z))))
  (exp (+ (- 1.0 y) (* y (exp z))))
  (* (cbrt (+ (- 1.0 y) (* y (exp z)))) (cbrt (+ (- 1.0 y) (* y (exp z)))))
  (cbrt (+ (- 1.0 y) (* y (exp z))))
  (* (* (+ (- 1.0 y) (* y (exp z))) (+ (- 1.0 y) (* y (exp z)))) (+ (- 1.0 y) (* y (exp z))))
  (sqrt (+ (- 1.0 y) (* y (exp z))))
  (sqrt (+ (- 1.0 y) (* y (exp z))))
  (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))
  (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z)))))
  (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))
  (- (- 1.0 y) (* y (exp z)))
  (+ (neg y) (* y (exp z)))
  (+ (neg y) (* y (exp z)))
  (- y (* y (exp z)))
  (log (* (cbrt (+ (- 1.0 y) (* y (exp z)))) (cbrt (+ (- 1.0 y) (* y (exp z))))))
  (log (cbrt (+ (- 1.0 y) (* y (exp z)))))
  (log (sqrt (+ (- 1.0 y) (* y (exp z)))))
  (log (sqrt (+ (- 1.0 y) (* y (exp z)))))
  (log 1)
  (log (+ (- 1.0 y) (* y (exp z))))
  (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3)))
  (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z))))))
  (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z)))))
  (log (- (- 1.0 y) (* y (exp z))))
  (log (+ (- 1.0 y) (* y (exp z))))
  (log (log (+ (- 1.0 y) (* y (exp z)))))
  (exp (log (+ (- 1.0 y) (* y (exp z)))))
  (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z))))))
  (cbrt (log (+ (- 1.0 y) (* y (exp z)))))
  (* (* (log (+ (- 1.0 y) (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z))))) (log (+ (- 1.0 y) (* y (exp z)))))
  (sqrt (log (+ (- 1.0 y) (* y (exp z)))))
  (sqrt (log (+ (- 1.0 y) (* y (exp z)))))
  (- (log (log (+ (- 1.0 y) (* y (exp z))))) (log t))
  (log (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (exp (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (/ (* (* (log (+ (- 1.0 y) (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z))))) (log (+ (- 1.0 y) (* y (exp z))))) (* (* t t) t))
  (* (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))
  (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (* (* (/ (log (+ (- 1.0 y) (* y (exp z)))) t) (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (neg (log (+ (- 1.0 y) (* y (exp z)))))
  (neg t)
  (/ (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))) t)
  (/ (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z)))))) t)
  (/ (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))) t)
  (/ (log (- (- 1.0 y) (* y (exp z)))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t))
  (/ 1 (sqrt t))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t))
  (/ 1 1)
  (/ (log (+ (- 1.0 y) (* y (exp z)))) t)
  (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t))
  (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (sqrt t))
  (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t))
  (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) 1)
  (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) t)
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) 1)
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t))
  (/ 1 (sqrt t))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t))
  (/ 1 1)
  (/ (log (+ (- 1.0 y) (* y (exp z)))) t)
  (/ 1 t)
  (/ t (log (+ (- 1.0 y) (* y (exp z)))))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t)))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) 1)
  (/ t (log (+ (- 1.0 y) (* y (exp z)))))
  (/ t (cbrt (log (+ (- 1.0 y) (* y (exp z))))))
  (/ t (sqrt (log (+ (- 1.0 y) (* y (exp z))))))
  (/ t (log (+ (- 1.0 y) (* y (exp z)))))
  (* y (exp z))
  (+ (log y) z)
  (log (* y (exp z)))
  (exp (* y (exp z)))
  (* (* (* y y) y) (* (* (exp z) (exp z)) (exp z)))
  (* (cbrt (* y (exp z))) (cbrt (* y (exp z))))
  (cbrt (* y (exp z)))
  (* (* (* y (exp z)) (* y (exp z))) (* y (exp z)))
  (sqrt (* y (exp z)))
  (sqrt (* y (exp z)))
  (* (sqrt y) (sqrt (exp z)))
  (* (sqrt y) (sqrt (exp z)))
  (* y (* (cbrt (exp z)) (cbrt (exp z))))
  (* y (sqrt (exp z)))
  (* y 1)
  (* (cbrt y) (exp z))
  (* (sqrt y) (exp z))
  (* y (exp z))
  (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) 1.0))
  (- (+ (* y (exp z)) 1.0) y)
  (- (+ (* (exp z) y) 1.0) y)
  (+ (* 0.5 (* (pow z 2) y)) (+ (* 1.0 (* z y)) (log 1.0)))
  (- (+ (log (- (exp z) 1)) (* 1.0 (/ 1 (* (- (exp z) 1) y)))) (+ (log (/ 1 y)) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (pow y 2))))))
  (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (pow y 2)))) (log (/ -1 y)))))
  (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (- (+ (/ (log (- (exp z) 1)) t) (* 1.0 (/ 1 (* (- (exp z) 1) (* t y))))) (+ (/ (log (/ 1 y)) t) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (* t (pow y 2)))))))
  (- (/ (log (- 1 (exp z))) t) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) (* y t)))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (* (pow y 2) t)))) (/ (log (/ -1 y)) t))))
  (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) y))
  (* y (exp z))
  (* y (exp z))
3.515 * * [simplify]: iteration  0 :  452  enodes  (cost  795 )
3.523 * * [simplify]: iteration  1 :  1740  enodes  (cost  733 )
3.554 * * [simplify]: iteration  2 :  5002  enodes  (cost  726 )
3.558 * [simplify]: Simplified to:
   (exp (+ (- 1.0 y) (* y (exp z))))
  (exp (+ (- 1.0 y) (* y (exp z))))
  (log (+ (- 1.0 y) (* y (exp z))))
  (exp (+ (- 1.0 y) (* y (exp z))))
  (* (cbrt (+ (- 1.0 y) (* y (exp z)))) (cbrt (+ (- 1.0 y) (* y (exp z)))))
  (cbrt (+ (- 1.0 y) (* y (exp z))))
  (pow (+ (- 1.0 y) (* y (exp z))) 3)
  (sqrt (+ (- 1.0 y) (* y (exp z))))
  (sqrt (+ (- 1.0 y) (* y (exp z))))
  (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))
  (+ (* (* y (exp z)) (- (* y (exp z)) (- 1.0 y))) (* (- 1.0 y) (- 1.0 y)))
  (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))
  (- (- 1.0 y) (* y (exp z)))
  (* (- (exp z) 1) y)
  (* (- (exp z) 1) y)
  (* (- 1 (exp z)) y)
  (* 2 (log (cbrt (+ (- 1.0 y) (* y (exp z))))))
  (log (cbrt (+ (- 1.0 y) (* y (exp z)))))
  (log (sqrt (+ (- 1.0 y) (* y (exp z)))))
  (log (sqrt (+ (- 1.0 y) (* y (exp z)))))
  0
  (log (+ (- 1.0 y) (* y (exp z))))
  (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3)))
  (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z))))))
  (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z)))))
  (log (- (- 1.0 y) (* y (exp z))))
  (log (+ (- 1.0 y) (* y (exp z))))
  (log (log (+ (- 1.0 y) (* y (exp z)))))
  (+ (- 1.0 y) (* y (exp z)))
  (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z))))))
  (cbrt (log (+ (- 1.0 y) (* y (exp z)))))
  (pow (log (+ (- 1.0 y) (* y (exp z)))) 3)
  (sqrt (log (+ (- 1.0 y) (* y (exp z)))))
  (sqrt (log (+ (- 1.0 y) (* y (exp z)))))
  (log (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (log (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (exp (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3)
  (* (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))
  (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3)
  (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
  (neg (log (+ (- 1.0 y) (* y (exp z)))))
  (neg t)
  (/ (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))) t)
  (/ (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z)))))) t)
  (/ (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))) t)
  (/ (log (- (- 1.0 y) (* y (exp z)))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t))
  (/ 1 (sqrt t))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t))
  1
  (/ (log (+ (- 1.0 y) (* y (exp z)))) t)
  (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t))
  (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (sqrt t))
  (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t))
  (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z))))))
  (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) t)
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t))
  (sqrt (log (+ (- 1.0 y) (* y (exp z)))))
  (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t))
  (/ 1 (sqrt t))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t))
  1
  (/ (log (+ (- 1.0 y) (* y (exp z)))) t)
  (/ 1 t)
  (/ t (log (+ (- 1.0 y) (* y (exp z)))))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t)))
  (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t))
  (log (+ (- 1.0 y) (* y (exp z))))
  (/ t (log (+ (- 1.0 y) (* y (exp z)))))
  (/ t (cbrt (log (+ (- 1.0 y) (* y (exp z))))))
  (/ t (sqrt (log (+ (- 1.0 y) (* y (exp z))))))
  (/ t (log (+ (- 1.0 y) (* y (exp z)))))
  (* y (exp z))
  (+ z (log y))
  (+ z (log y))
  (exp (* y (exp z)))
  (pow (* y (exp z)) 3)
  (* (cbrt (* y (exp z))) (cbrt (* y (exp z))))
  (cbrt (* y (exp z)))
  (pow (* y (exp z)) 3)
  (sqrt (* y (exp z)))
  (sqrt (* y (exp z)))
  (* (sqrt y) (sqrt (exp z)))
  (* (sqrt y) (sqrt (exp z)))
  (* y (* (cbrt (exp z)) (cbrt (exp z))))
  (* y (sqrt (exp z)))
  y
  (* (cbrt y) (exp z))
  (* (sqrt y) (exp z))
  (* y (exp z))
  (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))
  (+ (- 1.0 y) (* y (exp z)))
  (+ (- 1.0 y) (* y (exp z)))
  (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z))))
  (- (/ (/ 1.0 y) (- (exp z) 1)) (- (- (/ (/ 0.5 (pow y 2)) (pow (- (exp z) 1) 2)) (log y)) (log (- (exp z) 1))))
  (- (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (log (/ -1 y)))) (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2)))
  (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (- (/ (/ 1.0 (* (- (exp z) 1) t)) y) (- (- (+ (/ (/ 0.5 (* (pow (- (exp z) 1) 2) t)) (pow y 2)) 0) (/ (log y) t)) (/ (log (- (exp z) 1)) t)))
  (- (- (/ (log (- 1 (exp z))) t) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) (* y t)))) (/ (log (/ -1 y)) t))) (/ (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2)) t))
  (* y (+ (* 1/2 (pow z 2)) (+ z 1)))
  (* y (exp z))
  (* y (exp z))
3.559 * * * [progress]: adding candidates to table
3.698 * * [progress]: iteration 2 / 4
3.698 * * * [progress]: picking best candidate
3.730 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))>
3.730 * * * [progress]: localizing error
3.744 * * * [progress]: generating rewritten candidates
3.744 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
3.752 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.759 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1)
3.760 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 2)
3.762 * * * [progress]: generating series expansions
3.763 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
3.763 * [approximate]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in (y z) around 0
3.763 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z
3.763 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z
3.763 * [taylor]: Taking taylor expansion of (* y (exp z)) in z
3.763 * [taylor]: Taking taylor expansion of y in z
3.763 * [taylor]: Taking taylor expansion of (exp z) in z
3.763 * [taylor]: Taking taylor expansion of z in z
3.763 * [taylor]: Taking taylor expansion of 1.0 in z
3.763 * [taylor]: Taking taylor expansion of y in z
3.763 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.763 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.763 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.763 * [taylor]: Taking taylor expansion of y in y
3.763 * [taylor]: Taking taylor expansion of (exp z) in y
3.763 * [taylor]: Taking taylor expansion of z in y
3.763 * [taylor]: Taking taylor expansion of 1.0 in y
3.763 * [taylor]: Taking taylor expansion of y in y
3.763 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.763 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.763 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.763 * [taylor]: Taking taylor expansion of y in y
3.763 * [taylor]: Taking taylor expansion of (exp z) in y
3.763 * [taylor]: Taking taylor expansion of z in y
3.763 * [taylor]: Taking taylor expansion of 1.0 in y
3.763 * [taylor]: Taking taylor expansion of y in y
3.763 * [taylor]: Taking taylor expansion of 1.0 in z
3.764 * [taylor]: Taking taylor expansion of (- (exp z) 1) in z
3.764 * [taylor]: Taking taylor expansion of (exp z) in z
3.764 * [taylor]: Taking taylor expansion of z in z
3.764 * [taylor]: Taking taylor expansion of 1 in z
3.764 * [taylor]: Taking taylor expansion of 0 in z
3.764 * [taylor]: Taking taylor expansion of 0 in z
3.765 * [approximate]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in (y z) around 0
3.765 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z
3.765 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z
3.765 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z
3.765 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.765 * [taylor]: Taking taylor expansion of z in z
3.765 * [taylor]: Taking taylor expansion of y in z
3.765 * [taylor]: Taking taylor expansion of 1.0 in z
3.765 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.765 * [taylor]: Taking taylor expansion of y in z
3.765 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.765 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.765 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.765 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.765 * [taylor]: Taking taylor expansion of z in y
3.765 * [taylor]: Taking taylor expansion of y in y
3.765 * [taylor]: Taking taylor expansion of 1.0 in y
3.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.765 * [taylor]: Taking taylor expansion of y in y
3.765 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.765 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.765 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.765 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.765 * [taylor]: Taking taylor expansion of z in y
3.765 * [taylor]: Taking taylor expansion of y in y
3.765 * [taylor]: Taking taylor expansion of 1.0 in y
3.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.765 * [taylor]: Taking taylor expansion of y in y
3.766 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.766 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.766 * [taylor]: Taking taylor expansion of z in z
3.766 * [taylor]: Taking taylor expansion of 1 in z
3.766 * [taylor]: Taking taylor expansion of 1.0 in z
3.766 * [taylor]: Taking taylor expansion of 0 in z
3.767 * [taylor]: Taking taylor expansion of 0 in z
3.768 * [approximate]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in (y z) around 0
3.768 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z
3.768 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z
3.768 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z
3.768 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
3.768 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.768 * [taylor]: Taking taylor expansion of -1 in z
3.768 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.768 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.768 * [taylor]: Taking taylor expansion of -1 in z
3.768 * [taylor]: Taking taylor expansion of z in z
3.768 * [taylor]: Taking taylor expansion of y in z
3.768 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
3.768 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.768 * [taylor]: Taking taylor expansion of y in z
3.768 * [taylor]: Taking taylor expansion of 1.0 in z
3.768 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y
3.769 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y
3.769 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y
3.769 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
3.769 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.769 * [taylor]: Taking taylor expansion of -1 in y
3.769 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.769 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.769 * [taylor]: Taking taylor expansion of -1 in y
3.769 * [taylor]: Taking taylor expansion of z in y
3.769 * [taylor]: Taking taylor expansion of y in y
3.769 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.769 * [taylor]: Taking taylor expansion of y in y
3.769 * [taylor]: Taking taylor expansion of 1.0 in y
3.769 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y
3.769 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y
3.769 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y
3.769 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
3.769 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.769 * [taylor]: Taking taylor expansion of -1 in y
3.769 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.769 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.769 * [taylor]: Taking taylor expansion of -1 in y
3.769 * [taylor]: Taking taylor expansion of z in y
3.770 * [taylor]: Taking taylor expansion of y in y
3.770 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.770 * [taylor]: Taking taylor expansion of y in y
3.770 * [taylor]: Taking taylor expansion of 1.0 in y
3.770 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.770 * [taylor]: Taking taylor expansion of 1 in z
3.770 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.770 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.770 * [taylor]: Taking taylor expansion of -1 in z
3.770 * [taylor]: Taking taylor expansion of z in z
3.771 * [taylor]: Taking taylor expansion of 1.0 in z
3.772 * [taylor]: Taking taylor expansion of 0 in z
3.773 * [taylor]: Taking taylor expansion of 0 in z
3.773 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.773 * [approximate]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in (y z) around 0
3.773 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z
3.773 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z
3.773 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z
3.773 * [taylor]: Taking taylor expansion of (* y (exp z)) in z
3.773 * [taylor]: Taking taylor expansion of y in z
3.773 * [taylor]: Taking taylor expansion of (exp z) in z
3.773 * [taylor]: Taking taylor expansion of z in z
3.773 * [taylor]: Taking taylor expansion of 1.0 in z
3.773 * [taylor]: Taking taylor expansion of y in z
3.773 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y
3.773 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.773 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.773 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.773 * [taylor]: Taking taylor expansion of y in y
3.773 * [taylor]: Taking taylor expansion of (exp z) in y
3.773 * [taylor]: Taking taylor expansion of z in y
3.773 * [taylor]: Taking taylor expansion of 1.0 in y
3.773 * [taylor]: Taking taylor expansion of y in y
3.774 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y
3.774 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y
3.774 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y
3.774 * [taylor]: Taking taylor expansion of (* y (exp z)) in y
3.774 * [taylor]: Taking taylor expansion of y in y
3.774 * [taylor]: Taking taylor expansion of (exp z) in y
3.774 * [taylor]: Taking taylor expansion of z in y
3.774 * [taylor]: Taking taylor expansion of 1.0 in y
3.774 * [taylor]: Taking taylor expansion of y in y
3.774 * [taylor]: Taking taylor expansion of (log 1.0) in z
3.774 * [taylor]: Taking taylor expansion of 1.0 in z
3.774 * [taylor]: Taking taylor expansion of (- (* 1.0 (exp z)) 1.0) in z
3.774 * [taylor]: Taking taylor expansion of (* 1.0 (exp z)) in z
3.774 * [taylor]: Taking taylor expansion of 1.0 in z
3.774 * [taylor]: Taking taylor expansion of (exp z) in z
3.774 * [taylor]: Taking taylor expansion of z in z
3.774 * [taylor]: Taking taylor expansion of 1.0 in z
3.775 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))))) in z
3.775 * [taylor]: Taking taylor expansion of 1/2 in z
3.775 * [taylor]: Taking taylor expansion of (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2)))) in z
3.775 * [taylor]: Taking taylor expansion of (* 2 (/ (exp z) (pow 1.0 2))) in z
3.775 * [taylor]: Taking taylor expansion of 2 in z
3.775 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 2)) in z
3.775 * [taylor]: Taking taylor expansion of (exp z) in z
3.775 * [taylor]: Taking taylor expansion of z in z
3.775 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.775 * [taylor]: Taking taylor expansion of 1.0 in z
3.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))) in z
3.775 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 2)) in z
3.775 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.775 * [taylor]: Taking taylor expansion of 1.0 in z
3.775 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 2)) in z
3.775 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z
3.775 * [taylor]: Taking taylor expansion of (exp z) in z
3.775 * [taylor]: Taking taylor expansion of z in z
3.775 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z
3.775 * [taylor]: Taking taylor expansion of 1.0 in z
3.776 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (* 6 (/ (exp z) (pow 1.0 3)))) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))))) in z
3.776 * [taylor]: Taking taylor expansion of 1/6 in z
3.776 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (* 6 (/ (exp z) (pow 1.0 3)))) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3))))) in z
3.776 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (* 6 (/ (exp z) (pow 1.0 3)))) in z
3.777 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) in z
3.777 * [taylor]: Taking taylor expansion of 2 in z
3.777 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (pow 1.0 3)) in z
3.777 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z
3.777 * [taylor]: Taking taylor expansion of (exp z) in z
3.777 * [taylor]: Taking taylor expansion of z in z
3.777 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.777 * [taylor]: Taking taylor expansion of 1.0 in z
3.777 * [taylor]: Taking taylor expansion of (* 6 (/ (exp z) (pow 1.0 3))) in z
3.777 * [taylor]: Taking taylor expansion of 6 in z
3.777 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 3)) in z
3.777 * [taylor]: Taking taylor expansion of (exp z) in z
3.777 * [taylor]: Taking taylor expansion of z in z
3.777 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.777 * [taylor]: Taking taylor expansion of 1.0 in z
3.777 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))) in z
3.777 * [taylor]: Taking taylor expansion of (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) in z
3.777 * [taylor]: Taking taylor expansion of 6 in z
3.777 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 3)) in z
3.777 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z
3.777 * [taylor]: Taking taylor expansion of (exp z) in z
3.777 * [taylor]: Taking taylor expansion of z in z
3.777 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.777 * [taylor]: Taking taylor expansion of 1.0 in z
3.777 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow 1.0 3))) in z
3.777 * [taylor]: Taking taylor expansion of 2 in z
3.777 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 3)) in z
3.777 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z
3.777 * [taylor]: Taking taylor expansion of 1.0 in z
3.778 * [approximate]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in (y z) around 0
3.778 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z
3.778 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z
3.778 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z
3.778 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z
3.778 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.778 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.778 * [taylor]: Taking taylor expansion of z in z
3.778 * [taylor]: Taking taylor expansion of y in z
3.778 * [taylor]: Taking taylor expansion of 1.0 in z
3.778 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.778 * [taylor]: Taking taylor expansion of y in z
3.779 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y
3.779 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.779 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.779 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.779 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.779 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.779 * [taylor]: Taking taylor expansion of z in y
3.779 * [taylor]: Taking taylor expansion of y in y
3.779 * [taylor]: Taking taylor expansion of 1.0 in y
3.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.779 * [taylor]: Taking taylor expansion of y in y
3.779 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y
3.779 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y
3.779 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y
3.779 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y
3.779 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y
3.779 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.779 * [taylor]: Taking taylor expansion of z in y
3.779 * [taylor]: Taking taylor expansion of y in y
3.779 * [taylor]: Taking taylor expansion of 1.0 in y
3.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.779 * [taylor]: Taking taylor expansion of y in y
3.779 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z
3.779 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z
3.779 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.779 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.779 * [taylor]: Taking taylor expansion of z in z
3.780 * [taylor]: Taking taylor expansion of 1 in z
3.780 * [taylor]: Taking taylor expansion of (log y) in z
3.780 * [taylor]: Taking taylor expansion of y in z
3.780 * [taylor]: Taking taylor expansion of (/ 1.0 (- (exp (/ 1 z)) 1)) in z
3.780 * [taylor]: Taking taylor expansion of 1.0 in z
3.780 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.780 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.780 * [taylor]: Taking taylor expansion of z in z
3.780 * [taylor]: Taking taylor expansion of 1 in z
3.781 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- (exp (/ 1 z)) 1) 2)) in z
3.781 * [taylor]: Taking taylor expansion of -0.5 in z
3.781 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z
3.781 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z
3.781 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z
3.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.781 * [taylor]: Taking taylor expansion of z in z
3.781 * [taylor]: Taking taylor expansion of 1 in z
3.782 * [approximate]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in (y z) around 0
3.783 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in z
3.783 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z
3.783 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z
3.783 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z
3.783 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
3.783 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.783 * [taylor]: Taking taylor expansion of -1 in z
3.783 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.783 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.783 * [taylor]: Taking taylor expansion of -1 in z
3.783 * [taylor]: Taking taylor expansion of z in z
3.783 * [taylor]: Taking taylor expansion of y in z
3.783 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
3.783 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.783 * [taylor]: Taking taylor expansion of y in z
3.783 * [taylor]: Taking taylor expansion of 1.0 in z
3.783 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y
3.784 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y
3.784 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y
3.784 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y
3.784 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
3.784 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.784 * [taylor]: Taking taylor expansion of -1 in y
3.784 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.784 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.784 * [taylor]: Taking taylor expansion of -1 in y
3.784 * [taylor]: Taking taylor expansion of z in y
3.784 * [taylor]: Taking taylor expansion of y in y
3.784 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.784 * [taylor]: Taking taylor expansion of y in y
3.784 * [taylor]: Taking taylor expansion of 1.0 in y
3.784 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y
3.784 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y
3.784 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y
3.784 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y
3.784 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
3.784 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.784 * [taylor]: Taking taylor expansion of -1 in y
3.785 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y
3.785 * [taylor]: Taking taylor expansion of (/ -1 z) in y
3.785 * [taylor]: Taking taylor expansion of -1 in y
3.785 * [taylor]: Taking taylor expansion of z in y
3.785 * [taylor]: Taking taylor expansion of y in y
3.785 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.785 * [taylor]: Taking taylor expansion of y in y
3.785 * [taylor]: Taking taylor expansion of 1.0 in y
3.785 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z
3.785 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z
3.785 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.785 * [taylor]: Taking taylor expansion of 1 in z
3.785 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.785 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.785 * [taylor]: Taking taylor expansion of -1 in z
3.785 * [taylor]: Taking taylor expansion of z in z
3.786 * [taylor]: Taking taylor expansion of (log y) in z
3.786 * [taylor]: Taking taylor expansion of y in z
3.786 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1 (exp (/ -1 z)))) in z
3.787 * [taylor]: Taking taylor expansion of 1.0 in z
3.787 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.787 * [taylor]: Taking taylor expansion of 1 in z
3.787 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.787 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.787 * [taylor]: Taking taylor expansion of -1 in z
3.787 * [taylor]: Taking taylor expansion of z in z
3.788 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- 1 (exp (/ -1 z))) 2)) in z
3.788 * [taylor]: Taking taylor expansion of -0.5 in z
3.788 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z
3.788 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z
3.788 * [taylor]: Taking taylor expansion of 1 in z
3.788 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z
3.788 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.788 * [taylor]: Taking taylor expansion of -1 in z
3.788 * [taylor]: Taking taylor expansion of z in z
3.789 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1)
3.789 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
3.789 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.789 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.789 * [taylor]: Taking taylor expansion of 1/3 in y
3.789 * [taylor]: Taking taylor expansion of (log y) in y
3.789 * [taylor]: Taking taylor expansion of y in y
3.789 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.789 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.789 * [taylor]: Taking taylor expansion of 1/3 in y
3.789 * [taylor]: Taking taylor expansion of (log y) in y
3.789 * [taylor]: Taking taylor expansion of y in y
3.795 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
3.795 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.796 * [taylor]: Taking taylor expansion of 1/3 in y
3.796 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.796 * [taylor]: Taking taylor expansion of y in y
3.796 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.796 * [taylor]: Taking taylor expansion of 1/3 in y
3.796 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.796 * [taylor]: Taking taylor expansion of y in y
3.802 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
3.802 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.802 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.802 * [taylor]: Taking taylor expansion of -1 in y
3.802 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.802 * [taylor]: Taking taylor expansion of 1/3 in y
3.802 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.802 * [taylor]: Taking taylor expansion of y in y
3.803 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.803 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.803 * [taylor]: Taking taylor expansion of -1 in y
3.803 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.803 * [taylor]: Taking taylor expansion of 1/3 in y
3.803 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.803 * [taylor]: Taking taylor expansion of y in y
3.811 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 2)
3.811 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
3.811 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.811 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.811 * [taylor]: Taking taylor expansion of 1/3 in y
3.811 * [taylor]: Taking taylor expansion of (log y) in y
3.811 * [taylor]: Taking taylor expansion of y in y
3.811 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.811 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.811 * [taylor]: Taking taylor expansion of 1/3 in y
3.811 * [taylor]: Taking taylor expansion of (log y) in y
3.811 * [taylor]: Taking taylor expansion of y in y
3.820 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
3.820 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.820 * [taylor]: Taking taylor expansion of 1/3 in y
3.820 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.820 * [taylor]: Taking taylor expansion of y in y
3.820 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.820 * [taylor]: Taking taylor expansion of 1/3 in y
3.820 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.820 * [taylor]: Taking taylor expansion of y in y
3.826 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
3.826 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.826 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.827 * [taylor]: Taking taylor expansion of -1 in y
3.827 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.827 * [taylor]: Taking taylor expansion of 1/3 in y
3.827 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.827 * [taylor]: Taking taylor expansion of y in y
3.827 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.827 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.827 * [taylor]: Taking taylor expansion of -1 in y
3.827 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.827 * [taylor]: Taking taylor expansion of 1/3 in y
3.827 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.827 * [taylor]: Taking taylor expansion of y in y
3.835 * * * [progress]: simplifying candidates
3.836 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (exp 1.0) (exp y)) (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (* (exp (- 1.0 y)) (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (exp (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (* (* (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3))
  (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))
  (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))
  (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))
  (- y (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))
  (log (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))))
  (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log 1)
  (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3)))
  (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))))
  (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (exp (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))))
  (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (* (* (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) 1.0))
  (- (+ (* y (exp z)) 1.0) y)
  (- (+ (* (exp z) y) 1.0) y)
  (+ (* 0.5 (* (pow z 2) y)) (+ (* 1.0 (* z y)) (log 1.0)))
  (- (+ (log (- (exp z) 1)) (* 1.0 (/ 1 (* (- (exp z) 1) y)))) (+ (log (/ 1 y)) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (pow y 2))))))
  (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (pow y 2)))) (log (/ -1 y)))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
  (exp (* 1/3 (+ (log 1) (log y))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
3.841 * * [simplify]: iteration  0 :  301  enodes  (cost  626 )
3.846 * * [simplify]: iteration  1 :  1026  enodes  (cost  546 )
3.868 * * [simplify]: iteration  2 :  5001  enodes  (cost  493 )
3.871 * [simplify]: Simplified to:
   (exp (- 1.0 (+ (* (neg (pow (cbrt y) 3)) (exp z)) y)))
  (exp (- 1.0 (+ (* (neg (pow (cbrt y) 3)) (exp z)) y)))
  (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (exp (- 1.0 (+ (* (neg (pow (cbrt y) 3)) (exp z)) y)))
  (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (pow (- (- 1.0 y) (* (neg (pow (cbrt y) 3)) (exp z))) 3)
  (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3))
  (+ (* (- 1.0 y) (- 1.0 (- y (* (neg (pow (cbrt y) 3)) (exp z))))) (* (pow y 2) (exp (+ z z))))
  (+ (+ (* (neg (pow y 2)) (exp (+ z z))) (* (- 1.0 y) 1.0)) (* (- 1.0 y) (neg y)))
  (- (+ (* (neg (exp z)) y) 1.0) y)
  (* (- (exp z) 1) y)
  (* (- (exp z) 1) y)
  (* (- 1 (exp z)) y)
  (* 2 (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))))
  (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  0
  (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3)))
  (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))))
  (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
  (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (- (+ (* (exp z) y) 1.0) y)
  (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))))
  (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (pow (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) 3)
  (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))
  (- (+ (* (exp z) y) 1.0) y)
  (- (+ (* (exp z) y) 1.0) y)
  (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z))))
  (- (/ (/ 1.0 y) (- (exp z) 1)) (- (- (/ (/ 0.5 (pow y 2)) (pow (- (exp z) 1) 2)) (log y)) (log (- (exp z) 1))))
  (- (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (log (/ -1 y)))) (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2)))
  (pow y 1/3)
  (pow y 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
  (pow y 1/3)
  (pow y 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 y))))))
3.871 * * * [progress]: adding candidates to table
3.954 * * [progress]: iteration 3 / 4
3.954 * * * [progress]: picking best candidate
3.981 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))>
3.981 * * * [progress]: localizing error
3.997 * * * [progress]: generating rewritten candidates
3.997 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1)
4.002 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
4.006 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2)
4.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
4.026 * * * [progress]: generating series expansions
4.026 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1)
4.027 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (z y) around 0
4.027 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.027 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.027 * [taylor]: Taking taylor expansion of z in y
4.027 * [taylor]: Taking taylor expansion of y in y
4.027 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.027 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.027 * [taylor]: Taking taylor expansion of z in z
4.027 * [taylor]: Taking taylor expansion of y in z
4.027 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.027 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.027 * [taylor]: Taking taylor expansion of z in z
4.027 * [taylor]: Taking taylor expansion of y in z
4.027 * [taylor]: Taking taylor expansion of y in y
4.027 * [taylor]: Taking taylor expansion of 0 in y
4.027 * [taylor]: Taking taylor expansion of 0 in y
4.027 * [taylor]: Taking taylor expansion of 0 in y
4.027 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (z y) around 0
4.027 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
4.027 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.027 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.027 * [taylor]: Taking taylor expansion of z in y
4.027 * [taylor]: Taking taylor expansion of y in y
4.028 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
4.028 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.028 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.028 * [taylor]: Taking taylor expansion of z in z
4.028 * [taylor]: Taking taylor expansion of y in z
4.028 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
4.028 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.028 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.028 * [taylor]: Taking taylor expansion of z in z
4.028 * [taylor]: Taking taylor expansion of y in z
4.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.028 * [taylor]: Taking taylor expansion of y in y
4.028 * [taylor]: Taking taylor expansion of 0 in y
4.028 * [taylor]: Taking taylor expansion of 0 in y
4.028 * [taylor]: Taking taylor expansion of 0 in y
4.029 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (z y) around 0
4.029 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
4.029 * [taylor]: Taking taylor expansion of -1 in y
4.029 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.029 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.029 * [taylor]: Taking taylor expansion of z in y
4.029 * [taylor]: Taking taylor expansion of y in y
4.029 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
4.029 * [taylor]: Taking taylor expansion of -1 in z
4.029 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.029 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.029 * [taylor]: Taking taylor expansion of z in z
4.029 * [taylor]: Taking taylor expansion of y in z
4.029 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
4.029 * [taylor]: Taking taylor expansion of -1 in z
4.029 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.029 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.029 * [taylor]: Taking taylor expansion of z in z
4.029 * [taylor]: Taking taylor expansion of y in z
4.029 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.029 * [taylor]: Taking taylor expansion of -1 in y
4.029 * [taylor]: Taking taylor expansion of y in y
4.029 * [taylor]: Taking taylor expansion of 0 in y
4.030 * [taylor]: Taking taylor expansion of 0 in y
4.030 * [taylor]: Taking taylor expansion of 0 in y
4.030 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
4.030 * [approximate]: Taking taylor expansion of (/ (* z y) t) in (z y t) around 0
4.030 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
4.030 * [taylor]: Taking taylor expansion of (* z y) in t
4.030 * [taylor]: Taking taylor expansion of z in t
4.030 * [taylor]: Taking taylor expansion of y in t
4.030 * [taylor]: Taking taylor expansion of t in t
4.030 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.030 * [taylor]: Taking taylor expansion of (* z y) in y
4.030 * [taylor]: Taking taylor expansion of z in y
4.030 * [taylor]: Taking taylor expansion of y in y
4.030 * [taylor]: Taking taylor expansion of t in y
4.030 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.030 * [taylor]: Taking taylor expansion of (* z y) in z
4.030 * [taylor]: Taking taylor expansion of z in z
4.031 * [taylor]: Taking taylor expansion of y in z
4.031 * [taylor]: Taking taylor expansion of t in z
4.031 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.031 * [taylor]: Taking taylor expansion of (* z y) in z
4.031 * [taylor]: Taking taylor expansion of z in z
4.031 * [taylor]: Taking taylor expansion of y in z
4.031 * [taylor]: Taking taylor expansion of t in z
4.031 * [taylor]: Taking taylor expansion of (/ y t) in y
4.031 * [taylor]: Taking taylor expansion of y in y
4.031 * [taylor]: Taking taylor expansion of t in y
4.031 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.031 * [taylor]: Taking taylor expansion of t in t
4.031 * [taylor]: Taking taylor expansion of 0 in y
4.031 * [taylor]: Taking taylor expansion of 0 in t
4.031 * [taylor]: Taking taylor expansion of 0 in t
4.031 * [taylor]: Taking taylor expansion of 0 in y
4.031 * [taylor]: Taking taylor expansion of 0 in t
4.031 * [taylor]: Taking taylor expansion of 0 in t
4.031 * [taylor]: Taking taylor expansion of 0 in t
4.032 * [taylor]: Taking taylor expansion of 0 in y
4.032 * [taylor]: Taking taylor expansion of 0 in t
4.032 * [taylor]: Taking taylor expansion of 0 in t
4.032 * [taylor]: Taking taylor expansion of 0 in t
4.032 * [taylor]: Taking taylor expansion of 0 in t
4.032 * [approximate]: Taking taylor expansion of (/ t (* z y)) in (z y t) around 0
4.032 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.032 * [taylor]: Taking taylor expansion of t in t
4.032 * [taylor]: Taking taylor expansion of (* z y) in t
4.032 * [taylor]: Taking taylor expansion of z in t
4.032 * [taylor]: Taking taylor expansion of y in t
4.032 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.032 * [taylor]: Taking taylor expansion of t in y
4.032 * [taylor]: Taking taylor expansion of (* z y) in y
4.032 * [taylor]: Taking taylor expansion of z in y
4.032 * [taylor]: Taking taylor expansion of y in y
4.032 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.032 * [taylor]: Taking taylor expansion of t in z
4.032 * [taylor]: Taking taylor expansion of (* z y) in z
4.032 * [taylor]: Taking taylor expansion of z in z
4.032 * [taylor]: Taking taylor expansion of y in z
4.032 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.032 * [taylor]: Taking taylor expansion of t in z
4.032 * [taylor]: Taking taylor expansion of (* z y) in z
4.032 * [taylor]: Taking taylor expansion of z in z
4.032 * [taylor]: Taking taylor expansion of y in z
4.032 * [taylor]: Taking taylor expansion of (/ t y) in y
4.032 * [taylor]: Taking taylor expansion of t in y
4.032 * [taylor]: Taking taylor expansion of y in y
4.032 * [taylor]: Taking taylor expansion of t in t
4.033 * [taylor]: Taking taylor expansion of 0 in y
4.033 * [taylor]: Taking taylor expansion of 0 in t
4.033 * [taylor]: Taking taylor expansion of 0 in y
4.033 * [taylor]: Taking taylor expansion of 0 in t
4.033 * [taylor]: Taking taylor expansion of 0 in t
4.033 * [approximate]: Taking taylor expansion of (* -1 (/ t (* z y))) in (z y t) around 0
4.033 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in t
4.033 * [taylor]: Taking taylor expansion of -1 in t
4.033 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.033 * [taylor]: Taking taylor expansion of t in t
4.033 * [taylor]: Taking taylor expansion of (* z y) in t
4.033 * [taylor]: Taking taylor expansion of z in t
4.033 * [taylor]: Taking taylor expansion of y in t
4.033 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in y
4.033 * [taylor]: Taking taylor expansion of -1 in y
4.033 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.033 * [taylor]: Taking taylor expansion of t in y
4.033 * [taylor]: Taking taylor expansion of (* z y) in y
4.033 * [taylor]: Taking taylor expansion of z in y
4.033 * [taylor]: Taking taylor expansion of y in y
4.033 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in z
4.033 * [taylor]: Taking taylor expansion of -1 in z
4.033 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.033 * [taylor]: Taking taylor expansion of t in z
4.033 * [taylor]: Taking taylor expansion of (* z y) in z
4.033 * [taylor]: Taking taylor expansion of z in z
4.034 * [taylor]: Taking taylor expansion of y in z
4.034 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in z
4.034 * [taylor]: Taking taylor expansion of -1 in z
4.034 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.034 * [taylor]: Taking taylor expansion of t in z
4.034 * [taylor]: Taking taylor expansion of (* z y) in z
4.034 * [taylor]: Taking taylor expansion of z in z
4.034 * [taylor]: Taking taylor expansion of y in z
4.034 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in y
4.034 * [taylor]: Taking taylor expansion of -1 in y
4.034 * [taylor]: Taking taylor expansion of (/ t y) in y
4.034 * [taylor]: Taking taylor expansion of t in y
4.034 * [taylor]: Taking taylor expansion of y in y
4.034 * [taylor]: Taking taylor expansion of (* -1 t) in t
4.034 * [taylor]: Taking taylor expansion of -1 in t
4.034 * [taylor]: Taking taylor expansion of t in t
4.034 * [taylor]: Taking taylor expansion of 0 in y
4.034 * [taylor]: Taking taylor expansion of 0 in t
4.034 * [taylor]: Taking taylor expansion of 0 in y
4.034 * [taylor]: Taking taylor expansion of 0 in t
4.034 * [taylor]: Taking taylor expansion of 0 in t
4.035 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2)
4.035 * [approximate]: Taking taylor expansion of (/ (* (pow z 2) y) t) in (z y t) around 0
4.035 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in t
4.035 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.035 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.035 * [taylor]: Taking taylor expansion of z in t
4.035 * [taylor]: Taking taylor expansion of y in t
4.035 * [taylor]: Taking taylor expansion of t in t
4.035 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in y
4.035 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.035 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.035 * [taylor]: Taking taylor expansion of z in y
4.035 * [taylor]: Taking taylor expansion of y in y
4.035 * [taylor]: Taking taylor expansion of t in y
4.035 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.035 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.035 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.035 * [taylor]: Taking taylor expansion of z in z
4.035 * [taylor]: Taking taylor expansion of y in z
4.035 * [taylor]: Taking taylor expansion of t in z
4.035 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.036 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.036 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.036 * [taylor]: Taking taylor expansion of z in z
4.036 * [taylor]: Taking taylor expansion of y in z
4.036 * [taylor]: Taking taylor expansion of t in z
4.036 * [taylor]: Taking taylor expansion of (/ y t) in y
4.036 * [taylor]: Taking taylor expansion of y in y
4.036 * [taylor]: Taking taylor expansion of t in y
4.036 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.036 * [taylor]: Taking taylor expansion of t in t
4.036 * [taylor]: Taking taylor expansion of 0 in y
4.036 * [taylor]: Taking taylor expansion of 0 in t
4.036 * [taylor]: Taking taylor expansion of 0 in t
4.036 * [taylor]: Taking taylor expansion of 0 in y
4.036 * [taylor]: Taking taylor expansion of 0 in t
4.036 * [taylor]: Taking taylor expansion of 0 in t
4.036 * [taylor]: Taking taylor expansion of 0 in t
4.036 * [taylor]: Taking taylor expansion of 0 in y
4.037 * [taylor]: Taking taylor expansion of 0 in t
4.037 * [taylor]: Taking taylor expansion of 0 in t
4.037 * [taylor]: Taking taylor expansion of 0 in t
4.037 * [taylor]: Taking taylor expansion of 0 in t
4.037 * [approximate]: Taking taylor expansion of (/ t (* (pow z 2) y)) in (z y t) around 0
4.037 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.037 * [taylor]: Taking taylor expansion of t in t
4.037 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.037 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.037 * [taylor]: Taking taylor expansion of z in t
4.037 * [taylor]: Taking taylor expansion of y in t
4.037 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.037 * [taylor]: Taking taylor expansion of t in y
4.037 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.037 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.037 * [taylor]: Taking taylor expansion of z in y
4.037 * [taylor]: Taking taylor expansion of y in y
4.037 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.037 * [taylor]: Taking taylor expansion of t in z
4.038 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.038 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.038 * [taylor]: Taking taylor expansion of z in z
4.038 * [taylor]: Taking taylor expansion of y in z
4.038 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.038 * [taylor]: Taking taylor expansion of t in z
4.038 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.038 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.038 * [taylor]: Taking taylor expansion of z in z
4.038 * [taylor]: Taking taylor expansion of y in z
4.038 * [taylor]: Taking taylor expansion of (/ t y) in y
4.038 * [taylor]: Taking taylor expansion of t in y
4.038 * [taylor]: Taking taylor expansion of y in y
4.038 * [taylor]: Taking taylor expansion of t in t
4.038 * [taylor]: Taking taylor expansion of 0 in y
4.038 * [taylor]: Taking taylor expansion of 0 in t
4.038 * [taylor]: Taking taylor expansion of 0 in y
4.038 * [taylor]: Taking taylor expansion of 0 in t
4.038 * [taylor]: Taking taylor expansion of 0 in t
4.039 * [approximate]: Taking taylor expansion of (/ t (* (pow z 2) y)) in (z y t) around 0
4.039 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.039 * [taylor]: Taking taylor expansion of t in t
4.039 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.039 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.039 * [taylor]: Taking taylor expansion of z in t
4.039 * [taylor]: Taking taylor expansion of y in t
4.039 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.039 * [taylor]: Taking taylor expansion of t in y
4.039 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.039 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.039 * [taylor]: Taking taylor expansion of z in y
4.039 * [taylor]: Taking taylor expansion of y in y
4.039 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.039 * [taylor]: Taking taylor expansion of t in z
4.039 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.039 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.039 * [taylor]: Taking taylor expansion of z in z
4.039 * [taylor]: Taking taylor expansion of y in z
4.040 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.040 * [taylor]: Taking taylor expansion of t in z
4.040 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.040 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.040 * [taylor]: Taking taylor expansion of z in z
4.040 * [taylor]: Taking taylor expansion of y in z
4.040 * [taylor]: Taking taylor expansion of (/ t y) in y
4.040 * [taylor]: Taking taylor expansion of t in y
4.040 * [taylor]: Taking taylor expansion of y in y
4.040 * [taylor]: Taking taylor expansion of t in t
4.040 * [taylor]: Taking taylor expansion of 0 in y
4.040 * [taylor]: Taking taylor expansion of 0 in t
4.040 * [taylor]: Taking taylor expansion of 0 in y
4.040 * [taylor]: Taking taylor expansion of 0 in t
4.040 * [taylor]: Taking taylor expansion of 0 in t
4.040 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
4.041 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in (z y t) around 0
4.041 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in t
4.041 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in t
4.041 * [taylor]: Taking taylor expansion of 1.0 in t
4.041 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
4.041 * [taylor]: Taking taylor expansion of (* z y) in t
4.041 * [taylor]: Taking taylor expansion of z in t
4.041 * [taylor]: Taking taylor expansion of y in t
4.041 * [taylor]: Taking taylor expansion of t in t
4.041 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in t
4.041 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in t
4.041 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.041 * [taylor]: Taking taylor expansion of 1.0 in t
4.041 * [taylor]: Taking taylor expansion of t in t
4.041 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in t
4.041 * [taylor]: Taking taylor expansion of 0.5 in t
4.041 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in t
4.041 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.041 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.041 * [taylor]: Taking taylor expansion of z in t
4.041 * [taylor]: Taking taylor expansion of y in t
4.041 * [taylor]: Taking taylor expansion of t in t
4.041 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in y
4.041 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in y
4.041 * [taylor]: Taking taylor expansion of 1.0 in y
4.041 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.041 * [taylor]: Taking taylor expansion of (* z y) in y
4.041 * [taylor]: Taking taylor expansion of z in y
4.041 * [taylor]: Taking taylor expansion of y in y
4.041 * [taylor]: Taking taylor expansion of t in y
4.042 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in y
4.042 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in y
4.042 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.042 * [taylor]: Taking taylor expansion of 1.0 in y
4.042 * [taylor]: Taking taylor expansion of t in y
4.042 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in y
4.042 * [taylor]: Taking taylor expansion of 0.5 in y
4.042 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in y
4.042 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.042 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.042 * [taylor]: Taking taylor expansion of z in y
4.042 * [taylor]: Taking taylor expansion of y in y
4.042 * [taylor]: Taking taylor expansion of t in y
4.042 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in z
4.042 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in z
4.042 * [taylor]: Taking taylor expansion of 1.0 in z
4.042 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.042 * [taylor]: Taking taylor expansion of (* z y) in z
4.042 * [taylor]: Taking taylor expansion of z in z
4.042 * [taylor]: Taking taylor expansion of y in z
4.042 * [taylor]: Taking taylor expansion of t in z
4.042 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in z
4.042 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in z
4.042 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.042 * [taylor]: Taking taylor expansion of 1.0 in z
4.042 * [taylor]: Taking taylor expansion of t in z
4.042 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in z
4.042 * [taylor]: Taking taylor expansion of 0.5 in z
4.042 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.042 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.042 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.042 * [taylor]: Taking taylor expansion of z in z
4.042 * [taylor]: Taking taylor expansion of y in z
4.042 * [taylor]: Taking taylor expansion of t in z
4.042 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in z
4.042 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in z
4.042 * [taylor]: Taking taylor expansion of 1.0 in z
4.043 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.043 * [taylor]: Taking taylor expansion of (* z y) in z
4.043 * [taylor]: Taking taylor expansion of z in z
4.043 * [taylor]: Taking taylor expansion of y in z
4.043 * [taylor]: Taking taylor expansion of t in z
4.043 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in z
4.043 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in z
4.043 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.043 * [taylor]: Taking taylor expansion of 1.0 in z
4.043 * [taylor]: Taking taylor expansion of t in z
4.043 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in z
4.043 * [taylor]: Taking taylor expansion of 0.5 in z
4.043 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.043 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.043 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.043 * [taylor]: Taking taylor expansion of z in z
4.043 * [taylor]: Taking taylor expansion of y in z
4.043 * [taylor]: Taking taylor expansion of t in z
4.043 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in y
4.043 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.043 * [taylor]: Taking taylor expansion of 1.0 in y
4.043 * [taylor]: Taking taylor expansion of t in y
4.043 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in t
4.043 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.043 * [taylor]: Taking taylor expansion of 1.0 in t
4.043 * [taylor]: Taking taylor expansion of t in t
4.044 * [taylor]: Taking taylor expansion of (* 1.0 (/ y t)) in y
4.044 * [taylor]: Taking taylor expansion of 1.0 in y
4.044 * [taylor]: Taking taylor expansion of (/ y t) in y
4.044 * [taylor]: Taking taylor expansion of y in y
4.044 * [taylor]: Taking taylor expansion of t in y
4.044 * [taylor]: Taking taylor expansion of 0 in t
4.044 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
4.044 * [taylor]: Taking taylor expansion of 0.5 in y
4.044 * [taylor]: Taking taylor expansion of (/ y t) in y
4.044 * [taylor]: Taking taylor expansion of y in y
4.044 * [taylor]: Taking taylor expansion of t in y
4.045 * [taylor]: Taking taylor expansion of (/ 1.0 t) in t
4.045 * [taylor]: Taking taylor expansion of 1.0 in t
4.045 * [taylor]: Taking taylor expansion of t in t
4.045 * [taylor]: Taking taylor expansion of 0 in t
4.046 * [taylor]: Taking taylor expansion of 0 in y
4.046 * [taylor]: Taking taylor expansion of 0 in t
4.046 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
4.046 * [taylor]: Taking taylor expansion of 0.5 in t
4.046 * [taylor]: Taking taylor expansion of t in t
4.047 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in (z y t) around 0
4.047 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in t
4.047 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in t
4.047 * [taylor]: Taking taylor expansion of 1.0 in t
4.047 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.047 * [taylor]: Taking taylor expansion of t in t
4.047 * [taylor]: Taking taylor expansion of (* z y) in t
4.047 * [taylor]: Taking taylor expansion of z in t
4.047 * [taylor]: Taking taylor expansion of y in t
4.047 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in t
4.047 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.047 * [taylor]: Taking taylor expansion of t in t
4.047 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.047 * [taylor]: Taking taylor expansion of 1.0 in t
4.047 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in t
4.047 * [taylor]: Taking taylor expansion of 0.5 in t
4.047 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.047 * [taylor]: Taking taylor expansion of t in t
4.047 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.047 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.047 * [taylor]: Taking taylor expansion of z in t
4.047 * [taylor]: Taking taylor expansion of y in t
4.047 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in y
4.047 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in y
4.047 * [taylor]: Taking taylor expansion of 1.0 in y
4.047 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.047 * [taylor]: Taking taylor expansion of t in y
4.047 * [taylor]: Taking taylor expansion of (* z y) in y
4.047 * [taylor]: Taking taylor expansion of z in y
4.047 * [taylor]: Taking taylor expansion of y in y
4.047 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in y
4.047 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in y
4.047 * [taylor]: Taking taylor expansion of t in y
4.047 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.047 * [taylor]: Taking taylor expansion of 1.0 in y
4.047 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in y
4.047 * [taylor]: Taking taylor expansion of 0.5 in y
4.047 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.047 * [taylor]: Taking taylor expansion of t in y
4.047 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.048 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.048 * [taylor]: Taking taylor expansion of z in y
4.048 * [taylor]: Taking taylor expansion of y in y
4.048 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in z
4.048 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.048 * [taylor]: Taking taylor expansion of 1.0 in z
4.048 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.048 * [taylor]: Taking taylor expansion of t in z
4.048 * [taylor]: Taking taylor expansion of (* z y) in z
4.048 * [taylor]: Taking taylor expansion of z in z
4.048 * [taylor]: Taking taylor expansion of y in z
4.048 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in z
4.048 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.048 * [taylor]: Taking taylor expansion of t in z
4.048 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.048 * [taylor]: Taking taylor expansion of 1.0 in z
4.048 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.048 * [taylor]: Taking taylor expansion of 0.5 in z
4.048 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.048 * [taylor]: Taking taylor expansion of t in z
4.048 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.048 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.048 * [taylor]: Taking taylor expansion of z in z
4.048 * [taylor]: Taking taylor expansion of y in z
4.048 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in z
4.048 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.048 * [taylor]: Taking taylor expansion of 1.0 in z
4.048 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.048 * [taylor]: Taking taylor expansion of t in z
4.048 * [taylor]: Taking taylor expansion of (* z y) in z
4.048 * [taylor]: Taking taylor expansion of z in z
4.048 * [taylor]: Taking taylor expansion of y in z
4.048 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in z
4.048 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.048 * [taylor]: Taking taylor expansion of t in z
4.048 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.048 * [taylor]: Taking taylor expansion of 1.0 in z
4.048 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.049 * [taylor]: Taking taylor expansion of 0.5 in z
4.049 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.049 * [taylor]: Taking taylor expansion of t in z
4.049 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.049 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.049 * [taylor]: Taking taylor expansion of z in z
4.049 * [taylor]: Taking taylor expansion of y in z
4.049 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.049 * [taylor]: Taking taylor expansion of 0.5 in y
4.049 * [taylor]: Taking taylor expansion of (/ t y) in y
4.049 * [taylor]: Taking taylor expansion of t in y
4.049 * [taylor]: Taking taylor expansion of y in y
4.049 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.049 * [taylor]: Taking taylor expansion of 0.5 in t
4.049 * [taylor]: Taking taylor expansion of t in t
4.049 * [taylor]: Taking taylor expansion of (* 1.0 (/ t y)) in y
4.049 * [taylor]: Taking taylor expansion of 1.0 in y
4.049 * [taylor]: Taking taylor expansion of (/ t y) in y
4.049 * [taylor]: Taking taylor expansion of t in y
4.049 * [taylor]: Taking taylor expansion of y in y
4.049 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.049 * [taylor]: Taking taylor expansion of 1.0 in t
4.049 * [taylor]: Taking taylor expansion of t in t
4.049 * [taylor]: Taking taylor expansion of 0 in t
4.050 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in y
4.050 * [taylor]: Taking taylor expansion of t in y
4.050 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.050 * [taylor]: Taking taylor expansion of 1.0 in y
4.050 * [taylor]: Taking taylor expansion of 0 in t
4.050 * [taylor]: Taking taylor expansion of 0 in t
4.051 * [taylor]: Taking taylor expansion of 0 in y
4.051 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.051 * [taylor]: Taking taylor expansion of t in t
4.051 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.051 * [taylor]: Taking taylor expansion of 1.0 in t
4.051 * [taylor]: Taking taylor expansion of 0 in t
4.051 * [taylor]: Taking taylor expansion of 0 in t
4.052 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in (z y t) around 0
4.052 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in t
4.052 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in t
4.052 * [taylor]: Taking taylor expansion of 0.5 in t
4.052 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.052 * [taylor]: Taking taylor expansion of t in t
4.052 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.052 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.052 * [taylor]: Taking taylor expansion of z in t
4.052 * [taylor]: Taking taylor expansion of y in t
4.052 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in t
4.052 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.052 * [taylor]: Taking taylor expansion of t in t
4.052 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.052 * [taylor]: Taking taylor expansion of 1.0 in t
4.052 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in t
4.052 * [taylor]: Taking taylor expansion of 1.0 in t
4.052 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.052 * [taylor]: Taking taylor expansion of t in t
4.052 * [taylor]: Taking taylor expansion of (* z y) in t
4.052 * [taylor]: Taking taylor expansion of z in t
4.052 * [taylor]: Taking taylor expansion of y in t
4.052 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in y
4.052 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in y
4.052 * [taylor]: Taking taylor expansion of 0.5 in y
4.052 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.052 * [taylor]: Taking taylor expansion of t in y
4.052 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.052 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.052 * [taylor]: Taking taylor expansion of z in y
4.052 * [taylor]: Taking taylor expansion of y in y
4.053 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in y
4.053 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in y
4.053 * [taylor]: Taking taylor expansion of t in y
4.053 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.053 * [taylor]: Taking taylor expansion of 1.0 in y
4.053 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in y
4.053 * [taylor]: Taking taylor expansion of 1.0 in y
4.053 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.053 * [taylor]: Taking taylor expansion of t in y
4.053 * [taylor]: Taking taylor expansion of (* z y) in y
4.053 * [taylor]: Taking taylor expansion of z in y
4.053 * [taylor]: Taking taylor expansion of y in y
4.053 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in z
4.053 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.053 * [taylor]: Taking taylor expansion of 0.5 in z
4.053 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.053 * [taylor]: Taking taylor expansion of t in z
4.053 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.053 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.053 * [taylor]: Taking taylor expansion of z in z
4.053 * [taylor]: Taking taylor expansion of y in z
4.053 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in z
4.053 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.053 * [taylor]: Taking taylor expansion of t in z
4.053 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.053 * [taylor]: Taking taylor expansion of 1.0 in z
4.053 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.053 * [taylor]: Taking taylor expansion of 1.0 in z
4.053 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.053 * [taylor]: Taking taylor expansion of t in z
4.053 * [taylor]: Taking taylor expansion of (* z y) in z
4.053 * [taylor]: Taking taylor expansion of z in z
4.053 * [taylor]: Taking taylor expansion of y in z
4.053 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in z
4.053 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.053 * [taylor]: Taking taylor expansion of 0.5 in z
4.053 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.053 * [taylor]: Taking taylor expansion of t in z
4.053 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.053 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.053 * [taylor]: Taking taylor expansion of z in z
4.053 * [taylor]: Taking taylor expansion of y in z
4.053 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in z
4.054 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.054 * [taylor]: Taking taylor expansion of t in z
4.054 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.054 * [taylor]: Taking taylor expansion of 1.0 in z
4.054 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.054 * [taylor]: Taking taylor expansion of 1.0 in z
4.054 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.054 * [taylor]: Taking taylor expansion of t in z
4.054 * [taylor]: Taking taylor expansion of (* z y) in z
4.054 * [taylor]: Taking taylor expansion of z in z
4.054 * [taylor]: Taking taylor expansion of y in z
4.054 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
4.054 * [taylor]: Taking taylor expansion of 0.5 in y
4.054 * [taylor]: Taking taylor expansion of (/ t y) in y
4.054 * [taylor]: Taking taylor expansion of t in y
4.054 * [taylor]: Taking taylor expansion of y in y
4.054 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
4.054 * [taylor]: Taking taylor expansion of 0.5 in t
4.054 * [taylor]: Taking taylor expansion of t in t
4.054 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ t y))) in y
4.054 * [taylor]: Taking taylor expansion of (* 1.0 (/ t y)) in y
4.054 * [taylor]: Taking taylor expansion of 1.0 in y
4.054 * [taylor]: Taking taylor expansion of (/ t y) in y
4.054 * [taylor]: Taking taylor expansion of t in y
4.054 * [taylor]: Taking taylor expansion of y in y
4.054 * [taylor]: Taking taylor expansion of (neg (* 1.0 t)) in t
4.054 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
4.054 * [taylor]: Taking taylor expansion of 1.0 in t
4.054 * [taylor]: Taking taylor expansion of t in t
4.055 * [taylor]: Taking taylor expansion of 0 in t
4.055 * [taylor]: Taking taylor expansion of (neg (* t (log 1.0))) in y
4.055 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in y
4.055 * [taylor]: Taking taylor expansion of t in y
4.055 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.055 * [taylor]: Taking taylor expansion of 1.0 in y
4.055 * [taylor]: Taking taylor expansion of 0 in t
4.055 * [taylor]: Taking taylor expansion of 0 in t
4.056 * [taylor]: Taking taylor expansion of 0 in y
4.058 * [taylor]: Taking taylor expansion of (neg (* t (log 1.0))) in t
4.058 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.058 * [taylor]: Taking taylor expansion of t in t
4.058 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.058 * [taylor]: Taking taylor expansion of 1.0 in t
4.059 * [taylor]: Taking taylor expansion of 0 in t
4.059 * [taylor]: Taking taylor expansion of 0 in t
4.059 * * * [progress]: simplifying candidates
4.060 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (log z) 2) (log y))
  (+ (* (log z) 2) (log y))
  (+ (log (pow z 2)) (log y))
  (log (* (pow z 2) y))
  (exp (* (pow z 2) y))
  (* (* (* (pow z 2) (pow z 2)) (pow z 2)) (* (* y y) y))
  (* (cbrt (* (pow z 2) y)) (cbrt (* (pow z 2) y)))
  (cbrt (* (pow z 2) y))
  (* (* (* (pow z 2) y) (* (pow z 2) y)) (* (pow z 2) y))
  (sqrt (* (pow z 2) y))
  (sqrt (* (pow z 2) y))
  (* (pow (sqrt z) 2) (sqrt y))
  (* (pow (sqrt z) 2) (sqrt y))
  (* z (sqrt y))
  (* z (sqrt y))
  (* (sqrt (pow z 2)) (sqrt y))
  (* (sqrt (pow z 2)) (sqrt y))
  (* (pow z (/ 2 2)) (sqrt y))
  (* (pow z (/ 2 2)) (sqrt y))
  (* (pow z 2) (* (cbrt y) (cbrt y)))
  (* (pow z 2) (sqrt y))
  (* (pow z 2) 1)
  (* (pow (cbrt z) 2) y)
  (* (pow (sqrt z) 2) y)
  (* (pow z 2) y)
  (* z y)
  (* (cbrt (pow z 2)) y)
  (* (sqrt (pow z 2)) y)
  (* (pow z 2) y)
  (* (pow z (/ 2 2)) y)
  (- (+ (log z) (log y)) (log t))
  (- (log (* z y)) (log t))
  (log (/ (* z y) t))
  (exp (/ (* z y) t))
  (/ (* (* (* z z) z) (* (* y y) y)) (* (* t t) t))
  (/ (* (* (* z y) (* z y)) (* z y)) (* (* t t) t))
  (* (cbrt (/ (* z y) t)) (cbrt (/ (* z y) t)))
  (cbrt (/ (* z y) t))
  (* (* (/ (* z y) t) (/ (* z y) t)) (/ (* z y) t))
  (sqrt (/ (* z y) t))
  (sqrt (/ (* z y) t))
  (neg (* z y))
  (neg t)
  (/ z (* (cbrt t) (cbrt t)))
  (/ y (cbrt t))
  (/ z (sqrt t))
  (/ y (sqrt t))
  (/ z 1)
  (/ y t)
  (/ 1 t)
  (/ t (* z y))
  (/ (* z y) (* (cbrt t) (cbrt t)))
  (/ (* z y) (sqrt t))
  (/ (* z y) 1)
  (/ t y)
  (- (+ (* (log z) 2) (log y)) (log t))
  (- (+ (* (log z) 2) (log y)) (log t))
  (- (+ (log (pow z 2)) (log y)) (log t))
  (- (log (* (pow z 2) y)) (log t))
  (log (/ (* (pow z 2) y) t))
  (exp (/ (* (pow z 2) y) t))
  (/ (* (* (* (pow z 2) (pow z 2)) (pow z 2)) (* (* y y) y)) (* (* t t) t))
  (/ (* (* (* (pow z 2) y) (* (pow z 2) y)) (* (pow z 2) y)) (* (* t t) t))
  (* (cbrt (/ (* (pow z 2) y) t)) (cbrt (/ (* (pow z 2) y) t)))
  (cbrt (/ (* (pow z 2) y) t))
  (* (* (/ (* (pow z 2) y) t) (/ (* (pow z 2) y) t)) (/ (* (pow z 2) y) t))
  (sqrt (/ (* (pow z 2) y) t))
  (sqrt (/ (* (pow z 2) y) t))
  (neg (* (pow z 2) y))
  (neg t)
  (/ (pow z 2) (* (cbrt t) (cbrt t)))
  (/ y (cbrt t))
  (/ (pow z 2) (sqrt t))
  (/ y (sqrt t))
  (/ (pow z 2) 1)
  (/ y t)
  (/ 1 t)
  (/ t (* (pow z 2) y))
  (/ (* (pow z 2) y) (* (cbrt t) (cbrt t)))
  (/ (* (pow z 2) y) (sqrt t))
  (/ (* (pow z 2) y) 1)
  (/ t y)
  (* (exp (* 1.0 (/ (* z y) t))) (* (exp (/ (log 1.0) t)) (exp (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (exp (* 1.0 (/ (* z y) t))) (exp (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (exp (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (* (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (sqrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (sqrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (+ (* (* 1.0 (* z y)) (* t t)) (* t (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y))))))
  (* t (* t t))
  (+ (* (* 1.0 (* z y)) (+ (* (/ (log 1.0) t) (/ (log 1.0) t)) (- (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))) (* (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))) (* t (+ (pow (/ (log 1.0) t) 3) (pow (* 0.5 (/ (* (pow z 2) y) t)) 3))))
  (* t (+ (* (/ (log 1.0) t) (/ (log 1.0) t)) (- (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))) (* (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (+ (* (* 1.0 (* z y)) (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (* t (- (* (/ (log 1.0) t) (/ (log 1.0) t)) (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))))))
  (* t (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (pow (* 1.0 (/ (* z y) t)) 3) (pow (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) 3))
  (+ (* (* 1.0 (/ (* z y) t)) (* 1.0 (/ (* z y) t))) (- (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (* (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (- (* (* 1.0 (/ (* z y) t)) (* 1.0 (/ (* z y) t))) (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (- (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t))
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* (pow z 2) y) t)
  (/ (* (pow z 2) y) t)
  (/ (* (pow z 2) y) t)
  (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
4.066 * * [simplify]: iteration  0 :  492  enodes  (cost  659 )
4.076 * * [simplify]: iteration  1 :  2302  enodes  (cost  586 )
4.122 * * [simplify]: iteration  2 :  5002  enodes  (cost  586 )
4.126 * [simplify]: Simplified to:
   (log (* (pow z 2) y))
  (log (* (pow z 2) y))
  (log (* (pow z 2) y))
  (log (* (pow z 2) y))
  (exp (* (pow z 2) y))
  (pow (* (pow z 2) y) 3)
  (* (cbrt (* (pow z 2) y)) (cbrt (* (pow z 2) y)))
  (cbrt (* (pow z 2) y))
  (pow (* (pow z 2) y) 3)
  (sqrt (* (pow z 2) y))
  (sqrt (* (pow z 2) y))
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (sqrt (pow z 2)) (sqrt y))
  (* (sqrt (pow z 2)) (sqrt y))
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (pow z 2) (* (cbrt y) (cbrt y)))
  (* (pow z 2) (sqrt y))
  (pow z 2)
  (* (pow (cbrt z) 2) y)
  (* z y)
  (* (pow z 2) y)
  (* z y)
  (* (cbrt (pow z 2)) y)
  (* (sqrt (pow z 2)) y)
  (* (pow z 2) y)
  (* z y)
  (log (/ (* z y) t))
  (log (/ (* z y) t))
  (log (/ (* z y) t))
  (exp (/ (* z y) t))
  (pow (/ (* z y) t) 3)
  (pow (/ (* z y) t) 3)
  (* (cbrt (/ (* z y) t)) (cbrt (/ (* z y) t)))
  (cbrt (/ (* z y) t))
  (pow (/ (* z y) t) 3)
  (sqrt (/ (* z y) t))
  (sqrt (/ (* z y) t))
  (neg (* z y))
  (neg t)
  (/ z (* (cbrt t) (cbrt t)))
  (/ y (cbrt t))
  (/ z (sqrt t))
  (/ y (sqrt t))
  z
  (/ y t)
  (/ 1 t)
  (/ t (* z y))
  (/ (* z y) (* (cbrt t) (cbrt t)))
  (/ (* z y) (sqrt t))
  (* z y)
  (/ t y)
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (exp (/ (* (pow z 2) y) t))
  (pow (/ (* (pow z 2) y) t) 3)
  (pow (/ (* (pow z 2) y) t) 3)
  (* (cbrt (/ (* (pow z 2) y) t)) (cbrt (/ (* (pow z 2) y) t)))
  (cbrt (/ (* (pow z 2) y) t))
  (pow (/ (* (pow z 2) y) t) 3)
  (sqrt (/ (* (pow z 2) y) t))
  (sqrt (/ (* (pow z 2) y) t))
  (neg (* (pow z 2) y))
  (neg t)
  (/ (pow z 2) (* (cbrt t) (cbrt t)))
  (/ y (cbrt t))
  (/ (pow z 2) (sqrt t))
  (/ y (sqrt t))
  (pow z 2)
  (/ y t)
  (/ 1 t)
  (/ t (* (pow z 2) y))
  (/ (* (pow z 2) y) (* (cbrt t) (cbrt t)))
  (/ (* (pow z 2) y) (sqrt t))
  (* (pow z 2) y)
  (/ t y)
  (exp (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (exp (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (exp (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (cbrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (pow (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) 3)
  (sqrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (sqrt (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (* t (+ (* t (+ (* 0.5 (* (pow z 2) y)) (log 1.0))) (* (* 1.0 (* z y)) t)))
  (pow t 3)
  (+ (+ (* (+ (* (* 0.5 (/ (* (pow z 2) y) t)) (- (* 0.5 (/ (* (pow z 2) y) t)) (/ (log 1.0) t))) (* (/ (log 1.0) t) (/ (log 1.0) t))) (* 1.0 (* z y))) (* t (pow (/ (log 1.0) t) 3))) (* t (pow (* 0.5 (/ (* (pow z 2) y) t)) 3)))
  (* (+ (* (* 0.5 (/ (* (pow z 2) y) t)) (- (* 0.5 (/ (* (pow z 2) y) t)) (/ (log 1.0) t))) (* (/ (log 1.0) t) (/ (log 1.0) t))) t)
  (+ (* (* 1.0 (* z y)) (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (* t (- (* (/ (log 1.0) t) (/ (log 1.0) t)) (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))))))
  (* t (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (pow (* 1.0 (/ (* z y) t)) 3) (pow (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) 3))
  (+ (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (- (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (* 1.0 (/ (* z y) t)))) (* (* 1.0 (/ (* z y) t)) (* 1.0 (/ (* z y) t))))
  (- (* (* 1.0 (/ (* z y) t)) (* 1.0 (/ (* z y) t))) (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (- (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t))
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* (pow z 2) y) t)
  (/ (* (pow z 2) y) t)
  (/ (* (pow z 2) y) t)
  (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
4.126 * * * [progress]: adding candidates to table
4.273 * * [progress]: iteration 4 / 4
4.273 * * * [progress]: picking best candidate
4.317 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))>
4.317 * * * [progress]: localizing error
4.333 * * * [progress]: generating rewritten candidates
4.333 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1)
4.339 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
4.345 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2)
4.350 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
4.372 * * * [progress]: generating series expansions
4.372 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1)
4.372 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (z y) around 0
4.372 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.372 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.372 * [taylor]: Taking taylor expansion of z in y
4.372 * [taylor]: Taking taylor expansion of y in y
4.372 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.372 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.372 * [taylor]: Taking taylor expansion of z in z
4.372 * [taylor]: Taking taylor expansion of y in z
4.372 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.373 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.373 * [taylor]: Taking taylor expansion of z in z
4.373 * [taylor]: Taking taylor expansion of y in z
4.373 * [taylor]: Taking taylor expansion of y in y
4.373 * [taylor]: Taking taylor expansion of 0 in y
4.373 * [taylor]: Taking taylor expansion of 0 in y
4.373 * [taylor]: Taking taylor expansion of 0 in y
4.373 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (z y) around 0
4.373 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
4.373 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.373 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.373 * [taylor]: Taking taylor expansion of z in y
4.373 * [taylor]: Taking taylor expansion of y in y
4.374 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
4.374 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.374 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.374 * [taylor]: Taking taylor expansion of z in z
4.374 * [taylor]: Taking taylor expansion of y in z
4.374 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
4.374 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.374 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.374 * [taylor]: Taking taylor expansion of z in z
4.374 * [taylor]: Taking taylor expansion of y in z
4.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.374 * [taylor]: Taking taylor expansion of y in y
4.374 * [taylor]: Taking taylor expansion of 0 in y
4.374 * [taylor]: Taking taylor expansion of 0 in y
4.374 * [taylor]: Taking taylor expansion of 0 in y
4.375 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (z y) around 0
4.375 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y
4.375 * [taylor]: Taking taylor expansion of -1 in y
4.375 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.375 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.375 * [taylor]: Taking taylor expansion of z in y
4.375 * [taylor]: Taking taylor expansion of y in y
4.375 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
4.375 * [taylor]: Taking taylor expansion of -1 in z
4.375 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.375 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.375 * [taylor]: Taking taylor expansion of z in z
4.375 * [taylor]: Taking taylor expansion of y in z
4.375 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z
4.375 * [taylor]: Taking taylor expansion of -1 in z
4.375 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.375 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.375 * [taylor]: Taking taylor expansion of z in z
4.375 * [taylor]: Taking taylor expansion of y in z
4.375 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.375 * [taylor]: Taking taylor expansion of -1 in y
4.375 * [taylor]: Taking taylor expansion of y in y
4.376 * [taylor]: Taking taylor expansion of 0 in y
4.376 * [taylor]: Taking taylor expansion of 0 in y
4.376 * [taylor]: Taking taylor expansion of 0 in y
4.376 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
4.376 * [approximate]: Taking taylor expansion of (/ (* z y) t) in (z t y) around 0
4.376 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.376 * [taylor]: Taking taylor expansion of (* z y) in y
4.376 * [taylor]: Taking taylor expansion of z in y
4.376 * [taylor]: Taking taylor expansion of y in y
4.376 * [taylor]: Taking taylor expansion of t in y
4.376 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
4.376 * [taylor]: Taking taylor expansion of (* z y) in t
4.376 * [taylor]: Taking taylor expansion of z in t
4.376 * [taylor]: Taking taylor expansion of y in t
4.376 * [taylor]: Taking taylor expansion of t in t
4.377 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.377 * [taylor]: Taking taylor expansion of (* z y) in z
4.377 * [taylor]: Taking taylor expansion of z in z
4.377 * [taylor]: Taking taylor expansion of y in z
4.377 * [taylor]: Taking taylor expansion of t in z
4.377 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.377 * [taylor]: Taking taylor expansion of (* z y) in z
4.377 * [taylor]: Taking taylor expansion of z in z
4.377 * [taylor]: Taking taylor expansion of y in z
4.377 * [taylor]: Taking taylor expansion of t in z
4.377 * [taylor]: Taking taylor expansion of (/ y t) in t
4.377 * [taylor]: Taking taylor expansion of y in t
4.377 * [taylor]: Taking taylor expansion of t in t
4.377 * [taylor]: Taking taylor expansion of y in y
4.377 * [taylor]: Taking taylor expansion of 0 in t
4.377 * [taylor]: Taking taylor expansion of 0 in y
4.377 * [taylor]: Taking taylor expansion of 0 in t
4.377 * [taylor]: Taking taylor expansion of 0 in y
4.377 * [taylor]: Taking taylor expansion of 0 in y
4.377 * [approximate]: Taking taylor expansion of (/ t (* z y)) in (z t y) around 0
4.377 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.377 * [taylor]: Taking taylor expansion of t in y
4.377 * [taylor]: Taking taylor expansion of (* z y) in y
4.377 * [taylor]: Taking taylor expansion of z in y
4.378 * [taylor]: Taking taylor expansion of y in y
4.378 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.378 * [taylor]: Taking taylor expansion of t in t
4.378 * [taylor]: Taking taylor expansion of (* z y) in t
4.378 * [taylor]: Taking taylor expansion of z in t
4.378 * [taylor]: Taking taylor expansion of y in t
4.378 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.378 * [taylor]: Taking taylor expansion of t in z
4.378 * [taylor]: Taking taylor expansion of (* z y) in z
4.378 * [taylor]: Taking taylor expansion of z in z
4.378 * [taylor]: Taking taylor expansion of y in z
4.378 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.378 * [taylor]: Taking taylor expansion of t in z
4.378 * [taylor]: Taking taylor expansion of (* z y) in z
4.378 * [taylor]: Taking taylor expansion of z in z
4.378 * [taylor]: Taking taylor expansion of y in z
4.378 * [taylor]: Taking taylor expansion of (/ t y) in t
4.378 * [taylor]: Taking taylor expansion of t in t
4.378 * [taylor]: Taking taylor expansion of y in t
4.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.378 * [taylor]: Taking taylor expansion of y in y
4.378 * [taylor]: Taking taylor expansion of 0 in t
4.378 * [taylor]: Taking taylor expansion of 0 in y
4.378 * [taylor]: Taking taylor expansion of 0 in y
4.378 * [taylor]: Taking taylor expansion of 0 in t
4.378 * [taylor]: Taking taylor expansion of 0 in y
4.378 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [taylor]: Taking taylor expansion of 0 in t
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [approximate]: Taking taylor expansion of (* -1 (/ t (* z y))) in (z t y) around 0
4.379 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in y
4.379 * [taylor]: Taking taylor expansion of -1 in y
4.379 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.379 * [taylor]: Taking taylor expansion of t in y
4.379 * [taylor]: Taking taylor expansion of (* z y) in y
4.379 * [taylor]: Taking taylor expansion of z in y
4.379 * [taylor]: Taking taylor expansion of y in y
4.379 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in t
4.379 * [taylor]: Taking taylor expansion of -1 in t
4.379 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.379 * [taylor]: Taking taylor expansion of t in t
4.379 * [taylor]: Taking taylor expansion of (* z y) in t
4.379 * [taylor]: Taking taylor expansion of z in t
4.379 * [taylor]: Taking taylor expansion of y in t
4.379 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in z
4.379 * [taylor]: Taking taylor expansion of -1 in z
4.379 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.380 * [taylor]: Taking taylor expansion of t in z
4.380 * [taylor]: Taking taylor expansion of (* z y) in z
4.380 * [taylor]: Taking taylor expansion of z in z
4.380 * [taylor]: Taking taylor expansion of y in z
4.380 * [taylor]: Taking taylor expansion of (* -1 (/ t (* z y))) in z
4.380 * [taylor]: Taking taylor expansion of -1 in z
4.380 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.380 * [taylor]: Taking taylor expansion of t in z
4.380 * [taylor]: Taking taylor expansion of (* z y) in z
4.380 * [taylor]: Taking taylor expansion of z in z
4.380 * [taylor]: Taking taylor expansion of y in z
4.380 * [taylor]: Taking taylor expansion of (* -1 (/ t y)) in t
4.380 * [taylor]: Taking taylor expansion of -1 in t
4.380 * [taylor]: Taking taylor expansion of (/ t y) in t
4.380 * [taylor]: Taking taylor expansion of t in t
4.380 * [taylor]: Taking taylor expansion of y in t
4.380 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.380 * [taylor]: Taking taylor expansion of -1 in y
4.380 * [taylor]: Taking taylor expansion of y in y
4.380 * [taylor]: Taking taylor expansion of 0 in t
4.380 * [taylor]: Taking taylor expansion of 0 in y
4.380 * [taylor]: Taking taylor expansion of 0 in y
4.380 * [taylor]: Taking taylor expansion of 0 in t
4.380 * [taylor]: Taking taylor expansion of 0 in y
4.380 * [taylor]: Taking taylor expansion of 0 in y
4.381 * [taylor]: Taking taylor expansion of 0 in y
4.381 * [taylor]: Taking taylor expansion of 0 in t
4.381 * [taylor]: Taking taylor expansion of 0 in y
4.381 * [taylor]: Taking taylor expansion of 0 in y
4.381 * [taylor]: Taking taylor expansion of 0 in y
4.381 * [taylor]: Taking taylor expansion of 0 in y
4.381 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2)
4.381 * [approximate]: Taking taylor expansion of (/ (* (pow z 2) y) t) in (z y t) around 0
4.381 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in t
4.381 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.381 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.381 * [taylor]: Taking taylor expansion of z in t
4.381 * [taylor]: Taking taylor expansion of y in t
4.381 * [taylor]: Taking taylor expansion of t in t
4.382 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in y
4.382 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.382 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.382 * [taylor]: Taking taylor expansion of z in y
4.382 * [taylor]: Taking taylor expansion of y in y
4.382 * [taylor]: Taking taylor expansion of t in y
4.382 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.382 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.382 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.382 * [taylor]: Taking taylor expansion of z in z
4.382 * [taylor]: Taking taylor expansion of y in z
4.382 * [taylor]: Taking taylor expansion of t in z
4.382 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.382 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.382 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.382 * [taylor]: Taking taylor expansion of z in z
4.382 * [taylor]: Taking taylor expansion of y in z
4.382 * [taylor]: Taking taylor expansion of t in z
4.382 * [taylor]: Taking taylor expansion of (/ y t) in y
4.382 * [taylor]: Taking taylor expansion of y in y
4.382 * [taylor]: Taking taylor expansion of t in y
4.382 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.382 * [taylor]: Taking taylor expansion of t in t
4.382 * [taylor]: Taking taylor expansion of 0 in y
4.382 * [taylor]: Taking taylor expansion of 0 in t
4.382 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [taylor]: Taking taylor expansion of 0 in y
4.383 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [taylor]: Taking taylor expansion of 0 in y
4.383 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [taylor]: Taking taylor expansion of 0 in t
4.383 * [approximate]: Taking taylor expansion of (/ t (* (pow z 2) y)) in (z y t) around 0
4.383 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.383 * [taylor]: Taking taylor expansion of t in t
4.384 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.384 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.384 * [taylor]: Taking taylor expansion of z in t
4.384 * [taylor]: Taking taylor expansion of y in t
4.384 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.384 * [taylor]: Taking taylor expansion of t in y
4.384 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.384 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.384 * [taylor]: Taking taylor expansion of z in y
4.384 * [taylor]: Taking taylor expansion of y in y
4.384 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.384 * [taylor]: Taking taylor expansion of t in z
4.384 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.384 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.384 * [taylor]: Taking taylor expansion of z in z
4.384 * [taylor]: Taking taylor expansion of y in z
4.384 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.384 * [taylor]: Taking taylor expansion of t in z
4.384 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.384 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.384 * [taylor]: Taking taylor expansion of z in z
4.384 * [taylor]: Taking taylor expansion of y in z
4.384 * [taylor]: Taking taylor expansion of (/ t y) in y
4.384 * [taylor]: Taking taylor expansion of t in y
4.384 * [taylor]: Taking taylor expansion of y in y
4.384 * [taylor]: Taking taylor expansion of t in t
4.384 * [taylor]: Taking taylor expansion of 0 in y
4.385 * [taylor]: Taking taylor expansion of 0 in t
4.385 * [taylor]: Taking taylor expansion of 0 in y
4.385 * [taylor]: Taking taylor expansion of 0 in t
4.385 * [taylor]: Taking taylor expansion of 0 in t
4.385 * [approximate]: Taking taylor expansion of (/ t (* (pow z 2) y)) in (z y t) around 0
4.385 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.385 * [taylor]: Taking taylor expansion of t in t
4.385 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.385 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.385 * [taylor]: Taking taylor expansion of z in t
4.385 * [taylor]: Taking taylor expansion of y in t
4.385 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.385 * [taylor]: Taking taylor expansion of t in y
4.385 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.385 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.385 * [taylor]: Taking taylor expansion of z in y
4.385 * [taylor]: Taking taylor expansion of y in y
4.386 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.386 * [taylor]: Taking taylor expansion of t in z
4.386 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.386 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.386 * [taylor]: Taking taylor expansion of z in z
4.386 * [taylor]: Taking taylor expansion of y in z
4.386 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.386 * [taylor]: Taking taylor expansion of t in z
4.386 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.386 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.386 * [taylor]: Taking taylor expansion of z in z
4.386 * [taylor]: Taking taylor expansion of y in z
4.386 * [taylor]: Taking taylor expansion of (/ t y) in y
4.386 * [taylor]: Taking taylor expansion of t in y
4.386 * [taylor]: Taking taylor expansion of y in y
4.386 * [taylor]: Taking taylor expansion of t in t
4.386 * [taylor]: Taking taylor expansion of 0 in y
4.386 * [taylor]: Taking taylor expansion of 0 in t
4.386 * [taylor]: Taking taylor expansion of 0 in y
4.386 * [taylor]: Taking taylor expansion of 0 in t
4.386 * [taylor]: Taking taylor expansion of 0 in t
4.387 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
4.387 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in (z t y) around 0
4.387 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in y
4.387 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in y
4.387 * [taylor]: Taking taylor expansion of 1.0 in y
4.387 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.387 * [taylor]: Taking taylor expansion of (* z y) in y
4.387 * [taylor]: Taking taylor expansion of z in y
4.387 * [taylor]: Taking taylor expansion of y in y
4.387 * [taylor]: Taking taylor expansion of t in y
4.387 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in y
4.387 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in y
4.387 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.387 * [taylor]: Taking taylor expansion of 1.0 in y
4.387 * [taylor]: Taking taylor expansion of t in y
4.387 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in y
4.387 * [taylor]: Taking taylor expansion of 0.5 in y
4.387 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in y
4.387 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.387 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.387 * [taylor]: Taking taylor expansion of z in y
4.387 * [taylor]: Taking taylor expansion of y in y
4.387 * [taylor]: Taking taylor expansion of t in y
4.388 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in t
4.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in t
4.388 * [taylor]: Taking taylor expansion of 1.0 in t
4.388 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
4.388 * [taylor]: Taking taylor expansion of (* z y) in t
4.388 * [taylor]: Taking taylor expansion of z in t
4.388 * [taylor]: Taking taylor expansion of y in t
4.388 * [taylor]: Taking taylor expansion of t in t
4.388 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in t
4.388 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in t
4.388 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.388 * [taylor]: Taking taylor expansion of 1.0 in t
4.388 * [taylor]: Taking taylor expansion of t in t
4.388 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in t
4.388 * [taylor]: Taking taylor expansion of 0.5 in t
4.388 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in t
4.388 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.388 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.388 * [taylor]: Taking taylor expansion of z in t
4.388 * [taylor]: Taking taylor expansion of y in t
4.388 * [taylor]: Taking taylor expansion of t in t
4.388 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in z
4.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in z
4.388 * [taylor]: Taking taylor expansion of 1.0 in z
4.388 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.388 * [taylor]: Taking taylor expansion of (* z y) in z
4.388 * [taylor]: Taking taylor expansion of z in z
4.388 * [taylor]: Taking taylor expansion of y in z
4.388 * [taylor]: Taking taylor expansion of t in z
4.388 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in z
4.388 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in z
4.388 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.388 * [taylor]: Taking taylor expansion of 1.0 in z
4.388 * [taylor]: Taking taylor expansion of t in z
4.389 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in z
4.389 * [taylor]: Taking taylor expansion of 0.5 in z
4.389 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.389 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.389 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.389 * [taylor]: Taking taylor expansion of z in z
4.389 * [taylor]: Taking taylor expansion of y in z
4.389 * [taylor]: Taking taylor expansion of t in z
4.389 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) in z
4.389 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* z y) t)) in z
4.389 * [taylor]: Taking taylor expansion of 1.0 in z
4.389 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.389 * [taylor]: Taking taylor expansion of (* z y) in z
4.389 * [taylor]: Taking taylor expansion of z in z
4.389 * [taylor]: Taking taylor expansion of y in z
4.389 * [taylor]: Taking taylor expansion of t in z
4.389 * [taylor]: Taking taylor expansion of (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) in z
4.389 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in z
4.389 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.389 * [taylor]: Taking taylor expansion of 1.0 in z
4.389 * [taylor]: Taking taylor expansion of t in z
4.389 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow z 2) y) t)) in z
4.389 * [taylor]: Taking taylor expansion of 0.5 in z
4.389 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) y) t) in z
4.389 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.389 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.389 * [taylor]: Taking taylor expansion of z in z
4.389 * [taylor]: Taking taylor expansion of y in z
4.389 * [taylor]: Taking taylor expansion of t in z
4.389 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in t
4.389 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.389 * [taylor]: Taking taylor expansion of 1.0 in t
4.389 * [taylor]: Taking taylor expansion of t in t
4.389 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.389 * [taylor]: Taking taylor expansion of 1.0 in y
4.390 * [taylor]: Taking taylor expansion of (* 1.0 (/ y t)) in t
4.390 * [taylor]: Taking taylor expansion of 1.0 in t
4.390 * [taylor]: Taking taylor expansion of (/ y t) in t
4.390 * [taylor]: Taking taylor expansion of y in t
4.390 * [taylor]: Taking taylor expansion of t in t
4.390 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
4.390 * [taylor]: Taking taylor expansion of 1.0 in y
4.390 * [taylor]: Taking taylor expansion of y in y
4.390 * [taylor]: Taking taylor expansion of 0 in y
4.391 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in t
4.391 * [taylor]: Taking taylor expansion of 0.5 in t
4.391 * [taylor]: Taking taylor expansion of (/ y t) in t
4.391 * [taylor]: Taking taylor expansion of y in t
4.391 * [taylor]: Taking taylor expansion of t in t
4.391 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
4.391 * [taylor]: Taking taylor expansion of 0.5 in y
4.391 * [taylor]: Taking taylor expansion of y in y
4.391 * [taylor]: Taking taylor expansion of 0 in y
4.391 * [taylor]: Taking taylor expansion of 0 in y
4.392 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in (z t y) around 0
4.392 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in y
4.392 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in y
4.392 * [taylor]: Taking taylor expansion of 1.0 in y
4.392 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.392 * [taylor]: Taking taylor expansion of t in y
4.392 * [taylor]: Taking taylor expansion of (* z y) in y
4.392 * [taylor]: Taking taylor expansion of z in y
4.392 * [taylor]: Taking taylor expansion of y in y
4.392 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in y
4.392 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in y
4.392 * [taylor]: Taking taylor expansion of t in y
4.392 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.392 * [taylor]: Taking taylor expansion of 1.0 in y
4.392 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in y
4.392 * [taylor]: Taking taylor expansion of 0.5 in y
4.392 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.392 * [taylor]: Taking taylor expansion of t in y
4.392 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.392 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.392 * [taylor]: Taking taylor expansion of z in y
4.392 * [taylor]: Taking taylor expansion of y in y
4.392 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in t
4.392 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in t
4.392 * [taylor]: Taking taylor expansion of 1.0 in t
4.392 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.392 * [taylor]: Taking taylor expansion of t in t
4.392 * [taylor]: Taking taylor expansion of (* z y) in t
4.392 * [taylor]: Taking taylor expansion of z in t
4.392 * [taylor]: Taking taylor expansion of y in t
4.392 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in t
4.392 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.392 * [taylor]: Taking taylor expansion of t in t
4.392 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.392 * [taylor]: Taking taylor expansion of 1.0 in t
4.392 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in t
4.393 * [taylor]: Taking taylor expansion of 0.5 in t
4.393 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.393 * [taylor]: Taking taylor expansion of t in t
4.393 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.393 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.393 * [taylor]: Taking taylor expansion of z in t
4.393 * [taylor]: Taking taylor expansion of y in t
4.393 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in z
4.393 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.393 * [taylor]: Taking taylor expansion of 1.0 in z
4.393 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.393 * [taylor]: Taking taylor expansion of t in z
4.393 * [taylor]: Taking taylor expansion of (* z y) in z
4.393 * [taylor]: Taking taylor expansion of z in z
4.393 * [taylor]: Taking taylor expansion of y in z
4.393 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in z
4.393 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.393 * [taylor]: Taking taylor expansion of t in z
4.393 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.393 * [taylor]: Taking taylor expansion of 1.0 in z
4.393 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.393 * [taylor]: Taking taylor expansion of 0.5 in z
4.393 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.393 * [taylor]: Taking taylor expansion of t in z
4.393 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.393 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.393 * [taylor]: Taking taylor expansion of z in z
4.393 * [taylor]: Taking taylor expansion of y in z
4.393 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ t (* z y))) (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y))))) in z
4.393 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.393 * [taylor]: Taking taylor expansion of 1.0 in z
4.393 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.393 * [taylor]: Taking taylor expansion of t in z
4.393 * [taylor]: Taking taylor expansion of (* z y) in z
4.393 * [taylor]: Taking taylor expansion of z in z
4.393 * [taylor]: Taking taylor expansion of y in z
4.393 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 0.5 (/ t (* (pow z 2) y)))) in z
4.393 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.393 * [taylor]: Taking taylor expansion of t in z
4.393 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.393 * [taylor]: Taking taylor expansion of 1.0 in z
4.393 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.394 * [taylor]: Taking taylor expansion of 0.5 in z
4.394 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.394 * [taylor]: Taking taylor expansion of t in z
4.394 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.394 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.394 * [taylor]: Taking taylor expansion of z in z
4.394 * [taylor]: Taking taylor expansion of y in z
4.394 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
4.394 * [taylor]: Taking taylor expansion of 0.5 in t
4.394 * [taylor]: Taking taylor expansion of (/ t y) in t
4.394 * [taylor]: Taking taylor expansion of t in t
4.394 * [taylor]: Taking taylor expansion of y in t
4.394 * [taylor]: Taking taylor expansion of (* 1.0 (/ t y)) in t
4.394 * [taylor]: Taking taylor expansion of 1.0 in t
4.394 * [taylor]: Taking taylor expansion of (/ t y) in t
4.394 * [taylor]: Taking taylor expansion of t in t
4.394 * [taylor]: Taking taylor expansion of y in t
4.394 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y
4.394 * [taylor]: Taking taylor expansion of 0.5 in y
4.394 * [taylor]: Taking taylor expansion of y in y
4.395 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.395 * [taylor]: Taking taylor expansion of t in t
4.395 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.395 * [taylor]: Taking taylor expansion of 1.0 in t
4.395 * [taylor]: Taking taylor expansion of 0 in y
4.395 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
4.395 * [taylor]: Taking taylor expansion of 1.0 in y
4.395 * [taylor]: Taking taylor expansion of y in y
4.395 * [taylor]: Taking taylor expansion of 0 in y
4.395 * [taylor]: Taking taylor expansion of 0 in t
4.396 * [taylor]: Taking taylor expansion of 0 in y
4.396 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.396 * [taylor]: Taking taylor expansion of 1.0 in y
4.396 * [taylor]: Taking taylor expansion of 0 in y
4.396 * [taylor]: Taking taylor expansion of 0 in y
4.397 * [taylor]: Taking taylor expansion of 0 in t
4.397 * [taylor]: Taking taylor expansion of 0 in y
4.397 * [taylor]: Taking taylor expansion of 0 in y
4.397 * [taylor]: Taking taylor expansion of 0 in y
4.397 * [taylor]: Taking taylor expansion of 0 in y
4.397 * [taylor]: Taking taylor expansion of 0 in y
4.398 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in (z t y) around 0
4.398 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in y
4.398 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in y
4.398 * [taylor]: Taking taylor expansion of 0.5 in y
4.398 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in y
4.398 * [taylor]: Taking taylor expansion of t in y
4.398 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
4.398 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.398 * [taylor]: Taking taylor expansion of z in y
4.398 * [taylor]: Taking taylor expansion of y in y
4.398 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in y
4.398 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in y
4.398 * [taylor]: Taking taylor expansion of t in y
4.398 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.398 * [taylor]: Taking taylor expansion of 1.0 in y
4.399 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in y
4.399 * [taylor]: Taking taylor expansion of 1.0 in y
4.399 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.399 * [taylor]: Taking taylor expansion of t in y
4.399 * [taylor]: Taking taylor expansion of (* z y) in y
4.399 * [taylor]: Taking taylor expansion of z in y
4.399 * [taylor]: Taking taylor expansion of y in y
4.399 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in t
4.399 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in t
4.399 * [taylor]: Taking taylor expansion of 0.5 in t
4.399 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in t
4.399 * [taylor]: Taking taylor expansion of t in t
4.399 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
4.399 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.399 * [taylor]: Taking taylor expansion of z in t
4.399 * [taylor]: Taking taylor expansion of y in t
4.399 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in t
4.399 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.399 * [taylor]: Taking taylor expansion of t in t
4.399 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.399 * [taylor]: Taking taylor expansion of 1.0 in t
4.399 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in t
4.399 * [taylor]: Taking taylor expansion of 1.0 in t
4.399 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.399 * [taylor]: Taking taylor expansion of t in t
4.399 * [taylor]: Taking taylor expansion of (* z y) in t
4.399 * [taylor]: Taking taylor expansion of z in t
4.399 * [taylor]: Taking taylor expansion of y in t
4.399 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in z
4.399 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.399 * [taylor]: Taking taylor expansion of 0.5 in z
4.399 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.399 * [taylor]: Taking taylor expansion of t in z
4.399 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.399 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.399 * [taylor]: Taking taylor expansion of z in z
4.399 * [taylor]: Taking taylor expansion of y in z
4.399 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in z
4.399 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.399 * [taylor]: Taking taylor expansion of t in z
4.399 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.399 * [taylor]: Taking taylor expansion of 1.0 in z
4.399 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.400 * [taylor]: Taking taylor expansion of 1.0 in z
4.400 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.400 * [taylor]: Taking taylor expansion of t in z
4.400 * [taylor]: Taking taylor expansion of (* z y) in z
4.400 * [taylor]: Taking taylor expansion of z in z
4.400 * [taylor]: Taking taylor expansion of y in z
4.400 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t (* (pow z 2) y))) (+ (* t (log 1.0)) (* 1.0 (/ t (* z y))))) in z
4.400 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (* (pow z 2) y))) in z
4.400 * [taylor]: Taking taylor expansion of 0.5 in z
4.400 * [taylor]: Taking taylor expansion of (/ t (* (pow z 2) y)) in z
4.400 * [taylor]: Taking taylor expansion of t in z
4.400 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
4.400 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.400 * [taylor]: Taking taylor expansion of z in z
4.400 * [taylor]: Taking taylor expansion of y in z
4.400 * [taylor]: Taking taylor expansion of (+ (* t (log 1.0)) (* 1.0 (/ t (* z y)))) in z
4.400 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in z
4.400 * [taylor]: Taking taylor expansion of t in z
4.400 * [taylor]: Taking taylor expansion of (log 1.0) in z
4.400 * [taylor]: Taking taylor expansion of 1.0 in z
4.400 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (* z y))) in z
4.400 * [taylor]: Taking taylor expansion of 1.0 in z
4.400 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.400 * [taylor]: Taking taylor expansion of t in z
4.400 * [taylor]: Taking taylor expansion of (* z y) in z
4.400 * [taylor]: Taking taylor expansion of z in z
4.400 * [taylor]: Taking taylor expansion of y in z
4.400 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
4.400 * [taylor]: Taking taylor expansion of 0.5 in t
4.400 * [taylor]: Taking taylor expansion of (/ t y) in t
4.400 * [taylor]: Taking taylor expansion of t in t
4.400 * [taylor]: Taking taylor expansion of y in t
4.401 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ t y))) in t
4.401 * [taylor]: Taking taylor expansion of (* 1.0 (/ t y)) in t
4.401 * [taylor]: Taking taylor expansion of 1.0 in t
4.401 * [taylor]: Taking taylor expansion of (/ t y) in t
4.401 * [taylor]: Taking taylor expansion of t in t
4.401 * [taylor]: Taking taylor expansion of y in t
4.401 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y
4.401 * [taylor]: Taking taylor expansion of 0.5 in y
4.401 * [taylor]: Taking taylor expansion of y in y
4.401 * [taylor]: Taking taylor expansion of (neg (* t (log 1.0))) in t
4.401 * [taylor]: Taking taylor expansion of (* t (log 1.0)) in t
4.401 * [taylor]: Taking taylor expansion of t in t
4.401 * [taylor]: Taking taylor expansion of (log 1.0) in t
4.401 * [taylor]: Taking taylor expansion of 1.0 in t
4.401 * [taylor]: Taking taylor expansion of 0 in y
4.401 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y
4.401 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y
4.401 * [taylor]: Taking taylor expansion of 1.0 in y
4.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.401 * [taylor]: Taking taylor expansion of y in y
4.402 * [taylor]: Taking taylor expansion of 0 in y
4.402 * [taylor]: Taking taylor expansion of 0 in t
4.402 * [taylor]: Taking taylor expansion of 0 in y
4.402 * [taylor]: Taking taylor expansion of (neg (log 1.0)) in y
4.402 * [taylor]: Taking taylor expansion of (log 1.0) in y
4.402 * [taylor]: Taking taylor expansion of 1.0 in y
4.403 * [taylor]: Taking taylor expansion of 0 in y
4.403 * [taylor]: Taking taylor expansion of 0 in y
4.403 * [taylor]: Taking taylor expansion of 0 in t
4.403 * [taylor]: Taking taylor expansion of 0 in y
4.403 * [taylor]: Taking taylor expansion of 0 in y
4.404 * [taylor]: Taking taylor expansion of 0 in y
4.404 * [taylor]: Taking taylor expansion of 0 in y
4.404 * [taylor]: Taking taylor expansion of 0 in y
4.404 * * * [progress]: simplifying candidates
4.406 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (log z) 2) (log y))
  (+ (* (log z) 2) (log y))
  (+ (log (pow z 2)) (log y))
  (log (* (pow z 2) y))
  (exp (* (pow z 2) y))
  (* (* (* (pow z 2) (pow z 2)) (pow z 2)) (* (* y y) y))
  (* (cbrt (* (pow z 2) y)) (cbrt (* (pow z 2) y)))
  (cbrt (* (pow z 2) y))
  (* (* (* (pow z 2) y) (* (pow z 2) y)) (* (pow z 2) y))
  (sqrt (* (pow z 2) y))
  (sqrt (* (pow z 2) y))
  (* (pow (sqrt z) 2) (sqrt y))
  (* (pow (sqrt z) 2) (sqrt y))
  (* z (sqrt y))
  (* z (sqrt y))
  (* (sqrt (pow z 2)) (sqrt y))
  (* (sqrt (pow z 2)) (sqrt y))
  (* (pow z (/ 2 2)) (sqrt y))
  (* (pow z (/ 2 2)) (sqrt y))
  (* (pow z 2) (* (cbrt y) (cbrt y)))
  (* (pow z 2) (sqrt y))
  (* (pow z 2) 1)
  (* (pow (cbrt z) 2) y)
  (* (pow (sqrt z) 2) y)
  (* (pow z 2) y)
  (* z y)
  (* (cbrt (pow z 2)) y)
  (* (sqrt (pow z 2)) y)
  (* (pow z 2) y)
  (* (pow z (/ 2 2)) y)
  (- (log z) (- (log t) (log y)))
  (- (log z) (log (/ t y)))
  (log (/ z (/ t y)))
  (exp (/ z (/ t y)))
  (/ (* (* z z) z) (/ (* (* t t) t) (* (* y y) y)))
  (/ (* (* z z) z) (* (* (/ t y) (/ t y)) (/ t y)))
  (* (cbrt (/ z (/ t y))) (cbrt (/ z (/ t y))))
  (cbrt (/ z (/ t y)))
  (* (* (/ z (/ t y)) (/ z (/ t y))) (/ z (/ t y)))
  (sqrt (/ z (/ t y)))
  (sqrt (/ z (/ t y)))
  (neg z)
  (neg (/ t y))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (cbrt z) (cbrt (/ t y)))
  (/ (* (cbrt z) (cbrt z)) (sqrt (/ t y)))
  (/ (cbrt z) (sqrt (/ t y)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (cbrt z) (/ (cbrt t) (cbrt y)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (cbrt z) (/ (cbrt t) (sqrt y)))
  (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (cbrt z) (/ (cbrt t) y))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (cbrt z) (/ (sqrt t) (cbrt y)))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) (sqrt y)))
  (/ (cbrt z) (/ (sqrt t) (sqrt y)))
  (/ (* (cbrt z) (cbrt z)) (/ (sqrt t) 1))
  (/ (cbrt z) (/ (sqrt t) y))
  (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt z) (/ t (cbrt y)))
  (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt y)))
  (/ (cbrt z) (/ t (sqrt y)))
  (/ (* (cbrt z) (cbrt z)) (/ 1 1))
  (/ (cbrt z) (/ t y))
  (/ (* (cbrt z) (cbrt z)) 1)
  (/ (cbrt z) (/ t y))
  (/ (* (cbrt z) (cbrt z)) t)
  (/ (cbrt z) (/ 1 y))
  (/ (sqrt z) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt z) (cbrt (/ t y)))
  (/ (sqrt z) (sqrt (/ t y)))
  (/ (sqrt z) (sqrt (/ t y)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt z) (/ (cbrt t) (cbrt y)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt z) (/ (cbrt t) (sqrt y)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (sqrt z) (/ (cbrt t) y))
  (/ (sqrt z) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt z) (/ (sqrt t) (cbrt y)))
  (/ (sqrt z) (/ (sqrt t) (sqrt y)))
  (/ (sqrt z) (/ (sqrt t) (sqrt y)))
  (/ (sqrt z) (/ (sqrt t) 1))
  (/ (sqrt z) (/ (sqrt t) y))
  (/ (sqrt z) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt z) (/ t (cbrt y)))
  (/ (sqrt z) (/ 1 (sqrt y)))
  (/ (sqrt z) (/ t (sqrt y)))
  (/ (sqrt z) (/ 1 1))
  (/ (sqrt z) (/ t y))
  (/ (sqrt z) 1)
  (/ (sqrt z) (/ t y))
  (/ (sqrt z) t)
  (/ (sqrt z) (/ 1 y))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ z (cbrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ z (sqrt (/ t y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ z (/ (cbrt t) (cbrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ z (/ (cbrt t) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ z (/ (cbrt t) y))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ z (/ (sqrt t) (cbrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ z (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) 1))
  (/ z (/ (sqrt t) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ z (/ t (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ z (/ t (sqrt y)))
  (/ 1 (/ 1 1))
  (/ z (/ t y))
  (/ 1 1)
  (/ z (/ t y))
  (/ 1 t)
  (/ z (/ 1 y))
  (/ 1 (/ t y))
  (/ (/ t y) z)
  (/ z (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ z (sqrt (/ t y)))
  (/ z (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ z (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ z (/ (* (cbrt t) (cbrt t)) 1))
  (/ z (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ z (/ (sqrt t) (sqrt y)))
  (/ z (/ (sqrt t) 1))
  (/ z (/ 1 (* (cbrt y) (cbrt y))))
  (/ z (/ 1 (sqrt y)))
  (/ z (/ 1 1))
  (/ z 1)
  (/ z t)
  (/ (/ t y) (cbrt z))
  (/ (/ t y) (sqrt z))
  (/ (/ t y) z)
  (/ z t)
  (- (+ (* (log z) 2) (log y)) (log t))
  (- (+ (* (log z) 2) (log y)) (log t))
  (- (+ (log (pow z 2)) (log y)) (log t))
  (- (log (* (pow z 2) y)) (log t))
  (log (/ (* (pow z 2) y) t))
  (exp (/ (* (pow z 2) y) t))
  (/ (* (* (* (pow z 2) (pow z 2)) (pow z 2)) (* (* y y) y)) (* (* t t) t))
  (/ (* (* (* (pow z 2) y) (* (pow z 2) y)) (* (pow z 2) y)) (* (* t t) t))
  (* (cbrt (/ (* (pow z 2) y) t)) (cbrt (/ (* (pow z 2) y) t)))
  (cbrt (/ (* (pow z 2) y) t))
  (* (* (/ (* (pow z 2) y) t) (/ (* (pow z 2) y) t)) (/ (* (pow z 2) y) t))
  (sqrt (/ (* (pow z 2) y) t))
  (sqrt (/ (* (pow z 2) y) t))
  (neg (* (pow z 2) y))
  (neg t)
  (/ (pow z 2) (* (cbrt t) (cbrt t)))
  (/ y (cbrt t))
  (/ (pow z 2) (sqrt t))
  (/ y (sqrt t))
  (/ (pow z 2) 1)
  (/ y t)
  (/ 1 t)
  (/ t (* (pow z 2) y))
  (/ (* (pow z 2) y) (* (cbrt t) (cbrt t)))
  (/ (* (pow z 2) y) (sqrt t))
  (/ (* (pow z 2) y) 1)
  (/ t y)
  (* (exp (* 1.0 (/ z (/ t y)))) (* (exp (/ (log 1.0) t)) (exp (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (exp (* 1.0 (/ z (/ t y)))) (exp (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (log (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (exp (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (cbrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) (cbrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (cbrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (* (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (sqrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (sqrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y))))))
  (* (/ t y) (* t t))
  (+ (* (* 1.0 z) (+ (* (/ (log 1.0) t) (/ (log 1.0) t)) (- (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))) (* (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))) (* (/ t y) (+ (pow (/ (log 1.0) t) 3) (pow (* 0.5 (/ (* (pow z 2) y) t)) 3))))
  (* (/ t y) (+ (* (/ (log 1.0) t) (/ (log 1.0) t)) (- (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))) (* (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (+ (* (* 1.0 z) (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (* (/ t y) (- (* (/ (log 1.0) t) (/ (log 1.0) t)) (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))))))
  (* (/ t y) (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (pow (* 1.0 (/ z (/ t y))) 3) (pow (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) 3))
  (+ (* (* 1.0 (/ z (/ t y))) (* 1.0 (/ z (/ t y)))) (- (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (* (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (- (* (* 1.0 (/ z (/ t y))) (* 1.0 (/ z (/ t y)))) (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (- (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (* 1.0 (/ z (/ t y))) (/ (log 1.0) t))
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* (pow z 2) y) t)
  (/ (* (pow z 2) y) t)
  (/ (* (pow z 2) y) t)
  (/ (log 1.0) t)
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
4.414 * * [simplify]: iteration  0 :  721  enodes  (cost  1014 )
4.428 * * [simplify]: iteration  1 :  3666  enodes  (cost  937 )
4.490 * * [simplify]: iteration  2 :  5002  enodes  (cost  935 )
4.497 * [simplify]: Simplified to:
   (log (* (pow z 2) y))
  (log (* (pow z 2) y))
  (log (* (pow z 2) y))
  (log (* (pow z 2) y))
  (exp (* (pow z 2) y))
  (pow (* (pow z 2) y) 3)
  (* (cbrt (* (pow z 2) y)) (cbrt (* (pow z 2) y)))
  (cbrt (* (pow z 2) y))
  (pow (* (pow z 2) y) 3)
  (sqrt (* (pow z 2) y))
  (sqrt (* (pow z 2) y))
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (fabs z) (sqrt y))
  (* (fabs z) (sqrt y))
  (* (sqrt y) z)
  (* (sqrt y) z)
  (* (pow z 2) (* (cbrt y) (cbrt y)))
  (* (pow z 2) (sqrt y))
  (pow z 2)
  (* (pow (cbrt z) 2) y)
  (* y z)
  (* (pow z 2) y)
  (* y z)
  (* (cbrt (pow z 2)) y)
  (* (sqrt (pow z 2)) y)
  (* (pow z 2) y)
  (* y z)
  (log (/ z (/ t y)))
  (log (/ z (/ t y)))
  (log (/ z (/ t y)))
  (exp (/ z (/ t y)))
  (pow (/ z (/ t y)) 3)
  (pow (/ z (/ t y)) 3)
  (* (cbrt (/ z (/ t y))) (cbrt (/ z (/ t y))))
  (cbrt (/ z (/ t y)))
  (pow (/ z (/ t y)) 3)
  (sqrt (/ z (/ t y)))
  (sqrt (/ z (/ t y)))
  (neg z)
  (neg (/ t y))
  (/ (/ (pow (cbrt z) 2) (cbrt (/ t y))) (cbrt (/ t y)))
  (/ (cbrt z) (cbrt (/ t y)))
  (/ (pow (cbrt z) 2) (sqrt (/ t y)))
  (/ (cbrt z) (sqrt (/ t y)))
  (* (/ (pow (cbrt z) 2) (* (cbrt t) (cbrt t))) (* (cbrt y) (cbrt y)))
  (/ (cbrt z) (/ (cbrt t) (cbrt y)))
  (* (/ (pow (cbrt z) 2) (* (cbrt t) (cbrt t))) (sqrt y))
  (/ (cbrt z) (/ (cbrt t) (sqrt y)))
  (/ (pow (cbrt z) 2) (* (cbrt t) (cbrt t)))
  (/ (cbrt z) (/ (cbrt t) y))
  (* (/ (pow (cbrt z) 2) (sqrt t)) (* (cbrt y) (cbrt y)))
  (/ (cbrt z) (/ (sqrt t) (cbrt y)))
  (* (/ (pow (cbrt z) 2) (sqrt t)) (sqrt y))
  (/ (cbrt z) (/ (sqrt t) (sqrt y)))
  (/ (pow (cbrt z) 2) (sqrt t))
  (/ (cbrt z) (/ (sqrt t) y))
  (* (pow (cbrt z) 2) (* (cbrt y) (cbrt y)))
  (/ (cbrt z) (/ t (cbrt y)))
  (* (pow (cbrt z) 2) (sqrt y))
  (/ (cbrt z) (/ t (sqrt y)))
  (pow (cbrt z) 2)
  (/ (cbrt z) (/ t y))
  (pow (cbrt z) 2)
  (/ (cbrt z) (/ t y))
  (/ (* (cbrt z) (cbrt z)) t)
  (* y (cbrt z))
  (/ (sqrt z) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt z) (cbrt (/ t y)))
  (/ (sqrt z) (sqrt (/ t y)))
  (/ (sqrt z) (sqrt (/ t y)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt z) (/ (cbrt t) (cbrt y)))
  (/ (sqrt z) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt z) (/ (cbrt t) (sqrt y)))
  (/ (sqrt z) (* (cbrt t) (cbrt t)))
  (/ (sqrt z) (/ (cbrt t) y))
  (/ (sqrt z) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt z) (/ (sqrt t) (cbrt y)))
  (/ (sqrt z) (/ (sqrt t) (sqrt y)))
  (/ (sqrt z) (/ (sqrt t) (sqrt y)))
  (/ (sqrt z) (sqrt t))
  (/ (sqrt z) (/ (sqrt t) y))
  (* (sqrt z) (* (cbrt y) (cbrt y)))
  (/ (sqrt z) (/ t (cbrt y)))
  (* (sqrt z) (sqrt y))
  (/ (sqrt z) (/ t (sqrt y)))
  (sqrt z)
  (/ (sqrt z) (/ t y))
  (sqrt z)
  (/ (sqrt z) (/ t y))
  (/ (sqrt z) t)
  (* (sqrt z) y)
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ z (cbrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ z (sqrt (/ t y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt t) (cbrt t)))
  (/ z (/ (cbrt t) (cbrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ z (/ (cbrt t) (sqrt y)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ z (/ (cbrt t) y))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ z (/ (sqrt t) (cbrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ z (/ (sqrt t) (sqrt y)))
  (/ 1 (sqrt t))
  (/ z (/ (sqrt t) y))
  (* (cbrt y) (cbrt y))
  (/ z (/ t (cbrt y)))
  (sqrt y)
  (/ z (/ t (sqrt y)))
  1
  (/ (* z y) t)
  1
  (/ (* z y) t)
  (/ 1 t)
  (* y z)
  (/ 1 (/ t y))
  (/ (/ t y) z)
  (/ z (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ z (sqrt (/ t y)))
  (/ z (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ z (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ z (* (cbrt t) (cbrt t)))
  (/ z (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ z (/ (sqrt t) (sqrt y)))
  (/ z (sqrt t))
  (* z (* (cbrt y) (cbrt y)))
  (* (sqrt y) z)
  z
  z
  (/ z t)
  (/ (/ t y) (cbrt z))
  (/ (/ t y) (sqrt z))
  (/ (/ t y) z)
  (/ z t)
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (log (/ (* (pow z 2) y) t))
  (exp (/ (* (pow z 2) y) t))
  (pow (/ (* (pow z 2) y) t) 3)
  (pow (/ (* (pow z 2) y) t) 3)
  (* (cbrt (/ (* (pow z 2) y) t)) (cbrt (/ (* (pow z 2) y) t)))
  (cbrt (/ (* (pow z 2) y) t))
  (pow (/ (* (pow z 2) y) t) 3)
  (sqrt (/ (* (pow z 2) y) t))
  (sqrt (/ (* (pow z 2) y) t))
  (neg (* (pow z 2) y))
  (neg t)
  (/ (pow z 2) (* (cbrt t) (cbrt t)))
  (/ y (cbrt t))
  (/ (pow z 2) (sqrt t))
  (/ y (sqrt t))
  (pow z 2)
  (/ y t)
  (/ 1 t)
  (/ t (* (pow z 2) y))
  (/ (* (pow z 2) y) (* (cbrt t) (cbrt t)))
  (/ (* (pow z 2) y) (sqrt t))
  (* (pow z 2) y)
  (/ t y)
  (exp (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (exp (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (log (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (exp (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (* (cbrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))) (cbrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))
  (cbrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (pow (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) 3)
  (sqrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (sqrt (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y))))))
  (* (/ t y) (* t t))
  (+ (+ (* (+ (* (* 0.5 (/ (* (pow z 2) y) t)) (- (* 0.5 (/ (* (pow z 2) y) t)) (/ (log 1.0) t))) (* (/ (log 1.0) t) (/ (log 1.0) t))) (* 1.0 z)) (* (/ t y) (pow (/ (log 1.0) t) 3))) (* (/ t y) (pow (* 0.5 (/ (* (pow z 2) y) t)) 3)))
  (* (+ (* (* 0.5 (/ (* (pow z 2) y) t)) (- (* 0.5 (/ (* (pow z 2) y) t)) (/ (log 1.0) t))) (* (/ (log 1.0) t) (/ (log 1.0) t))) (/ t y))
  (+ (* (* 1.0 z) (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))) (* (/ t y) (- (* (/ (log 1.0) t) (/ (log 1.0) t)) (* (* 0.5 (/ (* (pow z 2) y) t)) (* 0.5 (/ (* (pow z 2) y) t))))))
  (* (/ t y) (- (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (pow (* 1.0 (/ z (/ t y))) 3) (pow (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) 3))
  (+ (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (- (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (* 1.0 (/ z (/ t y))))) (* (* 1.0 (/ z (/ t y))) (* 1.0 (/ z (/ t y)))))
  (- (* (* 1.0 (/ z (/ t y))) (* 1.0 (/ z (/ t y)))) (* (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t)))))
  (- (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
  (+ (* 1.0 (/ z (/ t y))) (/ (log 1.0) t))
  (* (pow z 2) y)
  (* (pow z 2) y)
  (* (pow z 2) y)
  (/ (* z y) t)
  (/ (* z y) t)
  (/ (* z y) t)
  (* z (/ z (/ t y)))
  (* z (/ z (/ t y)))
  (* z (/ z (/ t y)))
  (/ (log 1.0) t)
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
  (+ (* 1.0 (/ (* z y) t)) (* 0.5 (/ (* (pow z 2) y) t)))
4.498 * * * [progress]: adding candidates to table
4.728 * [progress]: [Phase 3 of 3] Extracting.
4.728 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
4.732 * * * [regime-changes]: Trying 8 branch expressions: ((exp z) (+ (- 1.0 y) (* y (exp z))) (log (+ (- 1.0 y) (* y (exp z)))) (/ (log (+ (- 1.0 y) (* y (exp z)))) t) t z y x)
4.732 * * * * [regimes]: Trying to branch on (exp z) from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
4.824 * * * * [regimes]: Trying to branch on (exp z) from (#<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
4.882 * * * * [regimes]: Trying to branch on (+ (- 1.0 y) (* y (exp z))) from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
4.978 * * * * [regimes]: Trying to branch on (+ (- 1.0 y) (* y (exp z))) from (#<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.036 * * * * [regimes]: Trying to branch on (log (+ (- 1.0 y) (* y (exp z)))) from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.137 * * * * [regimes]: Trying to branch on (log (+ (- 1.0 y) (* y (exp z)))) from (#<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.198 * * * * [regimes]: Trying to branch on (/ (log (+ (- 1.0 y) (* y (exp z)))) t) from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.306 * * * * [regimes]: Trying to branch on (/ (log (+ (- 1.0 y) (* y (exp z)))) t) from (#<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.364 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.491 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.603 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.730 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.865 * * * [regime]: Found split indices: #<option (#s(si 5 79) #s(si 7 201) #s(si 4 255))>
5.865 * [binary-search]: Improving bounds with binary search for z and (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.987 * [regimes]: Found splitpoints: (#s(sp 5 z -7.830252316664171e-15) #s(sp 7 z 2.4022403454949547e-176) #s(sp 4 z +nan.0)) , with alts (#<alt (λ (x y z t) (- x (exp (log (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))))> #<alt (λ (x y z t) (- x (/ (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (cbrt t))))> #<alt (λ (x y z t) (- x (/ (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) t)))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ z (/ t y))) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t)))> #<alt (λ (x y z t) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))))> #<alt (λ (x y z t) (- x (/ (+ (* (* 1.0 z) (* t t)) (* (/ t y) (+ (* (log 1.0) t) (* t (* 0.5 (* (pow z 2) y)))))) (* (/ t y) (* t t)))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* z (/ y t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (+ (* 1.0 (* (sqrt (/ (* z y) t)) (sqrt (/ (* z y) t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))))> #<alt (λ (x y z t) (- x (cbrt (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3))))> #<alt (λ (x y z t) (- x (* (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))))>)
5.988 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= z -7.830252316664171e-15) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))) (if (<= z 2.4022403454949547e-176) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t))))
5.989 * * [simplify]: iteration  0 :  59  enodes  (cost  30 )
5.989 * * [simplify]: iteration  1 :  59  enodes  (cost  30 )
5.990 * [simplify]: Simplified to:
   (if (<= z -7.830252316664171e-15) (- x (* (log (+ (- 1.0 y) (* y (exp z)))) (/ 1 t))) (if (<= z 2.4022403454949547e-176) (- x (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (log (exp (* (pow z 2) y))) t))))) (- x (/ (log (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z)))) t))))
13.638 * [regime-testing]: End program error score: 9.238251130685706
13.767 * [regime-testing]: Target error score: 16.25523058721192