19.993 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
10.912 * * * [progress]: [2/2] Setting up program.
10.915 * [progress]: [Phase 2 of 3] Improving.
10.916 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (* (- y z) (- t x)))
10.918 * * [simplify]: iteration  0 :  14  enodes  (cost  4 )
10.918 * * [simplify]: iteration  1 :  28  enodes  (cost  4 )
10.920 * * [simplify]: iteration  2 :  80  enodes  (cost  4 )
10.921 * * [simplify]: iteration  3 :  254  enodes  (cost  4 )
10.925 * * [simplify]: iteration  4 :  641  enodes  (cost  4 )
10.932 * * [simplify]: iteration  5 :  1066  enodes  (cost  4 )
10.945 * * [simplify]: iteration  6 :  2373  enodes  (cost  4 )
10.964 * * [simplify]: iteration  7 :  3914  enodes  (cost  4 )
10.996 * * [simplify]: iteration  8 :  5001  enodes  (cost  4 )
10.996 * [simplify]: Simplified to:
   (+ x (* (- y z) (- t x)))
10.996 * * [progress]: iteration 1 / 4
10.996 * * * [progress]: picking best candidate
10.999 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (- y z) (- t x))))>
10.999 * * * [progress]: localizing error
11.006 * * * [progress]: generating rewritten candidates
11.006 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
11.015 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
11.020 * * * [progress]: generating series expansions
11.020 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
11.020 * [approximate]: Taking taylor expansion of (* (- y z) (- t x)) in (y z t x) around 0
11.020 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
11.020 * [taylor]: Taking taylor expansion of (- y z) in x
11.020 * [taylor]: Taking taylor expansion of y in x
11.020 * [taylor]: Taking taylor expansion of z in x
11.020 * [taylor]: Taking taylor expansion of (- t x) in x
11.020 * [taylor]: Taking taylor expansion of t in x
11.020 * [taylor]: Taking taylor expansion of x in x
11.020 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
11.020 * [taylor]: Taking taylor expansion of (- y z) in t
11.020 * [taylor]: Taking taylor expansion of y in t
11.020 * [taylor]: Taking taylor expansion of z in t
11.020 * [taylor]: Taking taylor expansion of (- t x) in t
11.020 * [taylor]: Taking taylor expansion of t in t
11.020 * [taylor]: Taking taylor expansion of x in t
11.020 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
11.020 * [taylor]: Taking taylor expansion of (- y z) in z
11.020 * [taylor]: Taking taylor expansion of y in z
11.020 * [taylor]: Taking taylor expansion of z in z
11.020 * [taylor]: Taking taylor expansion of (- t x) in z
11.020 * [taylor]: Taking taylor expansion of t in z
11.020 * [taylor]: Taking taylor expansion of x in z
11.020 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
11.020 * [taylor]: Taking taylor expansion of (- y z) in y
11.020 * [taylor]: Taking taylor expansion of y in y
11.020 * [taylor]: Taking taylor expansion of z in y
11.020 * [taylor]: Taking taylor expansion of (- t x) in y
11.020 * [taylor]: Taking taylor expansion of t in y
11.020 * [taylor]: Taking taylor expansion of x in y
11.020 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
11.020 * [taylor]: Taking taylor expansion of (- y z) in y
11.020 * [taylor]: Taking taylor expansion of y in y
11.020 * [taylor]: Taking taylor expansion of z in y
11.020 * [taylor]: Taking taylor expansion of (- t x) in y
11.020 * [taylor]: Taking taylor expansion of t in y
11.020 * [taylor]: Taking taylor expansion of x in y
11.020 * [taylor]: Taking taylor expansion of (* -1 (* z (- t x))) in z
11.021 * [taylor]: Taking taylor expansion of -1 in z
11.021 * [taylor]: Taking taylor expansion of (* z (- t x)) in z
11.021 * [taylor]: Taking taylor expansion of z in z
11.021 * [taylor]: Taking taylor expansion of (- t x) in z
11.021 * [taylor]: Taking taylor expansion of t in z
11.021 * [taylor]: Taking taylor expansion of x in z
11.021 * [taylor]: Taking taylor expansion of 0 in t
11.021 * [taylor]: Taking taylor expansion of 0 in x
11.021 * [taylor]: Taking taylor expansion of (- t x) in z
11.021 * [taylor]: Taking taylor expansion of t in z
11.021 * [taylor]: Taking taylor expansion of x in z
11.021 * [taylor]: Taking taylor expansion of (- t x) in t
11.021 * [taylor]: Taking taylor expansion of t in t
11.021 * [taylor]: Taking taylor expansion of x in t
11.021 * [taylor]: Taking taylor expansion of (neg x) in x
11.021 * [taylor]: Taking taylor expansion of x in x
11.021 * [taylor]: Taking taylor expansion of (- x t) in t
11.021 * [taylor]: Taking taylor expansion of x in t
11.021 * [taylor]: Taking taylor expansion of t in t
11.021 * [taylor]: Taking taylor expansion of x in x
11.021 * [taylor]: Taking taylor expansion of 0 in x
11.021 * [taylor]: Taking taylor expansion of 0 in z
11.021 * [taylor]: Taking taylor expansion of 0 in t
11.021 * [taylor]: Taking taylor expansion of 0 in x
11.021 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in (y z t x) around 0
11.022 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
11.022 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.022 * [taylor]: Taking taylor expansion of y in x
11.022 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.022 * [taylor]: Taking taylor expansion of z in x
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
11.022 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.022 * [taylor]: Taking taylor expansion of t in x
11.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.022 * [taylor]: Taking taylor expansion of x in x
11.022 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
11.022 * [taylor]: Taking taylor expansion of (/ 1 y) in t
11.022 * [taylor]: Taking taylor expansion of y in t
11.022 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.022 * [taylor]: Taking taylor expansion of z in t
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.022 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.022 * [taylor]: Taking taylor expansion of t in t
11.022 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.022 * [taylor]: Taking taylor expansion of x in t
11.022 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
11.022 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.022 * [taylor]: Taking taylor expansion of y in z
11.022 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.022 * [taylor]: Taking taylor expansion of z in z
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
11.022 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.022 * [taylor]: Taking taylor expansion of t in z
11.022 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.022 * [taylor]: Taking taylor expansion of x in z
11.022 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.022 * [taylor]: Taking taylor expansion of y in y
11.022 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.022 * [taylor]: Taking taylor expansion of z in y
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
11.022 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.022 * [taylor]: Taking taylor expansion of t in y
11.022 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.022 * [taylor]: Taking taylor expansion of x in y
11.022 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y
11.022 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.023 * [taylor]: Taking taylor expansion of y in y
11.023 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.023 * [taylor]: Taking taylor expansion of z in y
11.023 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
11.023 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.023 * [taylor]: Taking taylor expansion of t in y
11.023 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.023 * [taylor]: Taking taylor expansion of x in y
11.023 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
11.023 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.023 * [taylor]: Taking taylor expansion of t in z
11.023 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.023 * [taylor]: Taking taylor expansion of x in z
11.023 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
11.023 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.023 * [taylor]: Taking taylor expansion of (* x z) in z
11.023 * [taylor]: Taking taylor expansion of x in z
11.023 * [taylor]: Taking taylor expansion of z in z
11.023 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.023 * [taylor]: Taking taylor expansion of (* t z) in z
11.023 * [taylor]: Taking taylor expansion of t in z
11.023 * [taylor]: Taking taylor expansion of z in z
11.024 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.024 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.024 * [taylor]: Taking taylor expansion of x in t
11.024 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.024 * [taylor]: Taking taylor expansion of t in t
11.024 * [taylor]: Taking taylor expansion of (neg 1) in x
11.024 * [taylor]: Taking taylor expansion of 1 in x
11.024 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.024 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.024 * [taylor]: Taking taylor expansion of t in t
11.024 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.024 * [taylor]: Taking taylor expansion of x in t
11.024 * [taylor]: Taking taylor expansion of 1 in x
11.024 * [taylor]: Taking taylor expansion of 0 in z
11.024 * [taylor]: Taking taylor expansion of 0 in t
11.024 * [taylor]: Taking taylor expansion of 0 in t
11.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.025 * [taylor]: Taking taylor expansion of x in x
11.025 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
11.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.025 * [taylor]: Taking taylor expansion of x in x
11.025 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t x) around 0
11.025 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x
11.025 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
11.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.025 * [taylor]: Taking taylor expansion of x in x
11.025 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.025 * [taylor]: Taking taylor expansion of t in x
11.025 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
11.025 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.025 * [taylor]: Taking taylor expansion of z in x
11.025 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.025 * [taylor]: Taking taylor expansion of y in x
11.025 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t
11.025 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.025 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.025 * [taylor]: Taking taylor expansion of x in t
11.026 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.026 * [taylor]: Taking taylor expansion of t in t
11.026 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
11.026 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.026 * [taylor]: Taking taylor expansion of z in t
11.026 * [taylor]: Taking taylor expansion of (/ 1 y) in t
11.026 * [taylor]: Taking taylor expansion of y in t
11.026 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z
11.026 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
11.026 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.026 * [taylor]: Taking taylor expansion of x in z
11.026 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.026 * [taylor]: Taking taylor expansion of t in z
11.026 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
11.026 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.026 * [taylor]: Taking taylor expansion of z in z
11.026 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.026 * [taylor]: Taking taylor expansion of y in z
11.026 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
11.026 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.026 * [taylor]: Taking taylor expansion of x in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.026 * [taylor]: Taking taylor expansion of t in y
11.026 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.026 * [taylor]: Taking taylor expansion of z in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.026 * [taylor]: Taking taylor expansion of y in y
11.026 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y
11.026 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.026 * [taylor]: Taking taylor expansion of x in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 t) in y
11.026 * [taylor]: Taking taylor expansion of t in y
11.026 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.026 * [taylor]: Taking taylor expansion of z in y
11.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.026 * [taylor]: Taking taylor expansion of y in y
11.027 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in z
11.027 * [taylor]: Taking taylor expansion of -1 in z
11.027 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
11.027 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.027 * [taylor]: Taking taylor expansion of x in z
11.027 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.027 * [taylor]: Taking taylor expansion of t in z
11.027 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
11.027 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.027 * [taylor]: Taking taylor expansion of (* x z) in z
11.027 * [taylor]: Taking taylor expansion of x in z
11.027 * [taylor]: Taking taylor expansion of z in z
11.027 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.027 * [taylor]: Taking taylor expansion of (* t z) in z
11.027 * [taylor]: Taking taylor expansion of t in z
11.027 * [taylor]: Taking taylor expansion of z in z
11.027 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.027 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.027 * [taylor]: Taking taylor expansion of x in t
11.027 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.027 * [taylor]: Taking taylor expansion of t in t
11.027 * [taylor]: Taking taylor expansion of (neg 1) in x
11.027 * [taylor]: Taking taylor expansion of 1 in x
11.027 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in t
11.028 * [taylor]: Taking taylor expansion of -1 in t
11.028 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.028 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.028 * [taylor]: Taking taylor expansion of x in t
11.028 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.028 * [taylor]: Taking taylor expansion of t in t
11.028 * [taylor]: Taking taylor expansion of 1 in x
11.028 * [taylor]: Taking taylor expansion of 0 in z
11.028 * [taylor]: Taking taylor expansion of 0 in t
11.028 * [taylor]: Taking taylor expansion of 0 in t
11.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.028 * [taylor]: Taking taylor expansion of x in x
11.029 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
11.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.029 * [taylor]: Taking taylor expansion of x in x
11.029 * * * * [progress]: [ 2 / 2 ] generating series at (2)
11.029 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y z t) around 0
11.029 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
11.029 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
11.029 * [taylor]: Taking taylor expansion of (* x z) in t
11.029 * [taylor]: Taking taylor expansion of x in t
11.029 * [taylor]: Taking taylor expansion of z in t
11.029 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
11.029 * [taylor]: Taking taylor expansion of x in t
11.029 * [taylor]: Taking taylor expansion of (* t y) in t
11.029 * [taylor]: Taking taylor expansion of t in t
11.029 * [taylor]: Taking taylor expansion of y in t
11.029 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
11.029 * [taylor]: Taking taylor expansion of (* t z) in t
11.029 * [taylor]: Taking taylor expansion of t in t
11.029 * [taylor]: Taking taylor expansion of z in t
11.029 * [taylor]: Taking taylor expansion of (* x y) in t
11.029 * [taylor]: Taking taylor expansion of x in t
11.029 * [taylor]: Taking taylor expansion of y in t
11.029 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
11.029 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
11.029 * [taylor]: Taking taylor expansion of (* x z) in z
11.029 * [taylor]: Taking taylor expansion of x in z
11.029 * [taylor]: Taking taylor expansion of z in z
11.029 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
11.029 * [taylor]: Taking taylor expansion of x in z
11.029 * [taylor]: Taking taylor expansion of (* t y) in z
11.029 * [taylor]: Taking taylor expansion of t in z
11.029 * [taylor]: Taking taylor expansion of y in z
11.030 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
11.030 * [taylor]: Taking taylor expansion of (* t z) in z
11.030 * [taylor]: Taking taylor expansion of t in z
11.030 * [taylor]: Taking taylor expansion of z in z
11.030 * [taylor]: Taking taylor expansion of (* x y) in z
11.030 * [taylor]: Taking taylor expansion of x in z
11.030 * [taylor]: Taking taylor expansion of y in z
11.030 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
11.030 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
11.030 * [taylor]: Taking taylor expansion of (* x z) in y
11.030 * [taylor]: Taking taylor expansion of x in y
11.030 * [taylor]: Taking taylor expansion of z in y
11.030 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
11.030 * [taylor]: Taking taylor expansion of x in y
11.030 * [taylor]: Taking taylor expansion of (* t y) in y
11.030 * [taylor]: Taking taylor expansion of t in y
11.030 * [taylor]: Taking taylor expansion of y in y
11.030 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
11.030 * [taylor]: Taking taylor expansion of (* t z) in y
11.030 * [taylor]: Taking taylor expansion of t in y
11.030 * [taylor]: Taking taylor expansion of z in y
11.030 * [taylor]: Taking taylor expansion of (* x y) in y
11.030 * [taylor]: Taking taylor expansion of x in y
11.030 * [taylor]: Taking taylor expansion of y in y
11.030 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
11.030 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
11.030 * [taylor]: Taking taylor expansion of (* x z) in x
11.030 * [taylor]: Taking taylor expansion of x in x
11.030 * [taylor]: Taking taylor expansion of z in x
11.030 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
11.030 * [taylor]: Taking taylor expansion of x in x
11.030 * [taylor]: Taking taylor expansion of (* t y) in x
11.030 * [taylor]: Taking taylor expansion of t in x
11.030 * [taylor]: Taking taylor expansion of y in x
11.030 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
11.030 * [taylor]: Taking taylor expansion of (* t z) in x
11.030 * [taylor]: Taking taylor expansion of t in x
11.030 * [taylor]: Taking taylor expansion of z in x
11.030 * [taylor]: Taking taylor expansion of (* x y) in x
11.030 * [taylor]: Taking taylor expansion of x in x
11.030 * [taylor]: Taking taylor expansion of y in x
11.030 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
11.030 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
11.030 * [taylor]: Taking taylor expansion of (* x z) in x
11.030 * [taylor]: Taking taylor expansion of x in x
11.030 * [taylor]: Taking taylor expansion of z in x
11.030 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
11.030 * [taylor]: Taking taylor expansion of x in x
11.030 * [taylor]: Taking taylor expansion of (* t y) in x
11.030 * [taylor]: Taking taylor expansion of t in x
11.030 * [taylor]: Taking taylor expansion of y in x
11.030 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
11.030 * [taylor]: Taking taylor expansion of (* t z) in x
11.030 * [taylor]: Taking taylor expansion of t in x
11.030 * [taylor]: Taking taylor expansion of z in x
11.030 * [taylor]: Taking taylor expansion of (* x y) in x
11.030 * [taylor]: Taking taylor expansion of x in x
11.030 * [taylor]: Taking taylor expansion of y in x
11.031 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
11.031 * [taylor]: Taking taylor expansion of (* t y) in y
11.031 * [taylor]: Taking taylor expansion of t in y
11.031 * [taylor]: Taking taylor expansion of y in y
11.031 * [taylor]: Taking taylor expansion of (* t z) in y
11.031 * [taylor]: Taking taylor expansion of t in y
11.031 * [taylor]: Taking taylor expansion of z in y
11.031 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
11.031 * [taylor]: Taking taylor expansion of (* t z) in z
11.031 * [taylor]: Taking taylor expansion of t in z
11.031 * [taylor]: Taking taylor expansion of z in z
11.031 * [taylor]: Taking taylor expansion of 0 in t
11.031 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
11.031 * [taylor]: Taking taylor expansion of (+ z 1) in y
11.031 * [taylor]: Taking taylor expansion of z in y
11.031 * [taylor]: Taking taylor expansion of 1 in y
11.031 * [taylor]: Taking taylor expansion of y in y
11.031 * [taylor]: Taking taylor expansion of (+ z 1) in z
11.031 * [taylor]: Taking taylor expansion of z in z
11.031 * [taylor]: Taking taylor expansion of 1 in z
11.031 * [taylor]: Taking taylor expansion of 1 in t
11.031 * [taylor]: Taking taylor expansion of t in z
11.031 * [taylor]: Taking taylor expansion of t in t
11.031 * [taylor]: Taking taylor expansion of (neg t) in t
11.031 * [taylor]: Taking taylor expansion of t in t
11.032 * [taylor]: Taking taylor expansion of 0 in y
11.032 * [taylor]: Taking taylor expansion of 0 in z
11.032 * [taylor]: Taking taylor expansion of 0 in t
11.032 * [taylor]: Taking taylor expansion of (neg 1) in z
11.032 * [taylor]: Taking taylor expansion of 1 in z
11.032 * [taylor]: Taking taylor expansion of (neg 1) in t
11.032 * [taylor]: Taking taylor expansion of 1 in t
11.032 * [taylor]: Taking taylor expansion of 0 in z
11.032 * [taylor]: Taking taylor expansion of 0 in t
11.032 * [taylor]: Taking taylor expansion of 1 in t
11.032 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y z t) around 0
11.032 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
11.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t
11.032 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
11.032 * [taylor]: Taking taylor expansion of (* t y) in t
11.032 * [taylor]: Taking taylor expansion of t in t
11.032 * [taylor]: Taking taylor expansion of y in t
11.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
11.033 * [taylor]: Taking taylor expansion of (* x z) in t
11.033 * [taylor]: Taking taylor expansion of x in t
11.033 * [taylor]: Taking taylor expansion of z in t
11.033 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.033 * [taylor]: Taking taylor expansion of x in t
11.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
11.033 * [taylor]: Taking taylor expansion of (* t z) in t
11.033 * [taylor]: Taking taylor expansion of t in t
11.033 * [taylor]: Taking taylor expansion of z in t
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
11.033 * [taylor]: Taking taylor expansion of (* x y) in t
11.033 * [taylor]: Taking taylor expansion of x in t
11.033 * [taylor]: Taking taylor expansion of y in t
11.033 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
11.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
11.033 * [taylor]: Taking taylor expansion of (* t y) in z
11.033 * [taylor]: Taking taylor expansion of t in z
11.033 * [taylor]: Taking taylor expansion of y in z
11.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.033 * [taylor]: Taking taylor expansion of (* x z) in z
11.033 * [taylor]: Taking taylor expansion of x in z
11.033 * [taylor]: Taking taylor expansion of z in z
11.033 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.033 * [taylor]: Taking taylor expansion of x in z
11.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.033 * [taylor]: Taking taylor expansion of (* t z) in z
11.033 * [taylor]: Taking taylor expansion of t in z
11.033 * [taylor]: Taking taylor expansion of z in z
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
11.033 * [taylor]: Taking taylor expansion of (* x y) in z
11.033 * [taylor]: Taking taylor expansion of x in z
11.033 * [taylor]: Taking taylor expansion of y in z
11.033 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
11.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y
11.033 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.033 * [taylor]: Taking taylor expansion of (* t y) in y
11.033 * [taylor]: Taking taylor expansion of t in y
11.034 * [taylor]: Taking taylor expansion of y in y
11.034 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.034 * [taylor]: Taking taylor expansion of (* x z) in y
11.034 * [taylor]: Taking taylor expansion of x in y
11.034 * [taylor]: Taking taylor expansion of z in y
11.034 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.034 * [taylor]: Taking taylor expansion of x in y
11.034 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.034 * [taylor]: Taking taylor expansion of (* t z) in y
11.034 * [taylor]: Taking taylor expansion of t in y
11.034 * [taylor]: Taking taylor expansion of z in y
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.034 * [taylor]: Taking taylor expansion of (* x y) in y
11.034 * [taylor]: Taking taylor expansion of x in y
11.034 * [taylor]: Taking taylor expansion of y in y
11.034 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
11.034 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.034 * [taylor]: Taking taylor expansion of (* t y) in x
11.034 * [taylor]: Taking taylor expansion of t in x
11.034 * [taylor]: Taking taylor expansion of y in x
11.034 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.034 * [taylor]: Taking taylor expansion of (* x z) in x
11.034 * [taylor]: Taking taylor expansion of x in x
11.034 * [taylor]: Taking taylor expansion of z in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.034 * [taylor]: Taking taylor expansion of x in x
11.034 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.034 * [taylor]: Taking taylor expansion of (* t z) in x
11.034 * [taylor]: Taking taylor expansion of t in x
11.034 * [taylor]: Taking taylor expansion of z in x
11.034 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.034 * [taylor]: Taking taylor expansion of (* x y) in x
11.034 * [taylor]: Taking taylor expansion of x in x
11.034 * [taylor]: Taking taylor expansion of y in x
11.034 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
11.035 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x
11.035 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.035 * [taylor]: Taking taylor expansion of (* t y) in x
11.035 * [taylor]: Taking taylor expansion of t in x
11.035 * [taylor]: Taking taylor expansion of y in x
11.035 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x
11.035 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.035 * [taylor]: Taking taylor expansion of (* x z) in x
11.035 * [taylor]: Taking taylor expansion of x in x
11.035 * [taylor]: Taking taylor expansion of z in x
11.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.035 * [taylor]: Taking taylor expansion of x in x
11.035 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
11.035 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.035 * [taylor]: Taking taylor expansion of (* t z) in x
11.035 * [taylor]: Taking taylor expansion of t in x
11.035 * [taylor]: Taking taylor expansion of z in x
11.035 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.035 * [taylor]: Taking taylor expansion of (* x y) in x
11.035 * [taylor]: Taking taylor expansion of x in x
11.035 * [taylor]: Taking taylor expansion of y in x
11.035 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
11.035 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
11.035 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.035 * [taylor]: Taking taylor expansion of z in y
11.035 * [taylor]: Taking taylor expansion of 1 in y
11.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.035 * [taylor]: Taking taylor expansion of y in y
11.035 * [taylor]: Taking taylor expansion of (neg 1) in z
11.035 * [taylor]: Taking taylor expansion of 1 in z
11.036 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
11.036 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.036 * [taylor]: Taking taylor expansion of (* t y) in y
11.036 * [taylor]: Taking taylor expansion of t in y
11.036 * [taylor]: Taking taylor expansion of y in y
11.036 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.036 * [taylor]: Taking taylor expansion of (* t z) in y
11.036 * [taylor]: Taking taylor expansion of t in y
11.036 * [taylor]: Taking taylor expansion of z in y
11.036 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.036 * [taylor]: Taking taylor expansion of t in z
11.036 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
11.036 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.036 * [taylor]: Taking taylor expansion of z in z
11.036 * [taylor]: Taking taylor expansion of 1 in z
11.036 * [taylor]: Taking taylor expansion of 1 in t
11.036 * [taylor]: Taking taylor expansion of (neg 1) in t
11.036 * [taylor]: Taking taylor expansion of 1 in t
11.037 * [taylor]: Taking taylor expansion of 0 in y
11.037 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
11.037 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.037 * [taylor]: Taking taylor expansion of (* t z) in z
11.037 * [taylor]: Taking taylor expansion of t in z
11.037 * [taylor]: Taking taylor expansion of z in z
11.037 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
11.037 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.037 * [taylor]: Taking taylor expansion of t in t
11.037 * [taylor]: Taking taylor expansion of 0 in z
11.037 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.037 * [taylor]: Taking taylor expansion of t in t
11.037 * [taylor]: Taking taylor expansion of 1 in t
11.037 * [taylor]: Taking taylor expansion of 0 in t
11.038 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y z t) around 0
11.038 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
11.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
11.038 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
11.038 * [taylor]: Taking taylor expansion of (* x z) in t
11.038 * [taylor]: Taking taylor expansion of x in t
11.038 * [taylor]: Taking taylor expansion of z in t
11.038 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
11.038 * [taylor]: Taking taylor expansion of (* t y) in t
11.038 * [taylor]: Taking taylor expansion of t in t
11.038 * [taylor]: Taking taylor expansion of y in t
11.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
11.038 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
11.038 * [taylor]: Taking taylor expansion of (* t z) in t
11.038 * [taylor]: Taking taylor expansion of t in t
11.038 * [taylor]: Taking taylor expansion of z in t
11.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
11.038 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
11.038 * [taylor]: Taking taylor expansion of (* x y) in t
11.038 * [taylor]: Taking taylor expansion of x in t
11.038 * [taylor]: Taking taylor expansion of y in t
11.038 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.038 * [taylor]: Taking taylor expansion of x in t
11.038 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
11.038 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
11.038 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.038 * [taylor]: Taking taylor expansion of (* x z) in z
11.038 * [taylor]: Taking taylor expansion of x in z
11.038 * [taylor]: Taking taylor expansion of z in z
11.039 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
11.039 * [taylor]: Taking taylor expansion of (* t y) in z
11.039 * [taylor]: Taking taylor expansion of t in z
11.039 * [taylor]: Taking taylor expansion of y in z
11.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
11.039 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.039 * [taylor]: Taking taylor expansion of (* t z) in z
11.039 * [taylor]: Taking taylor expansion of t in z
11.039 * [taylor]: Taking taylor expansion of z in z
11.041 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
11.041 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
11.041 * [taylor]: Taking taylor expansion of (* x y) in z
11.041 * [taylor]: Taking taylor expansion of x in z
11.041 * [taylor]: Taking taylor expansion of y in z
11.041 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.041 * [taylor]: Taking taylor expansion of x in z
11.041 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
11.041 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
11.041 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.041 * [taylor]: Taking taylor expansion of (* x z) in y
11.041 * [taylor]: Taking taylor expansion of x in y
11.041 * [taylor]: Taking taylor expansion of z in y
11.041 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.041 * [taylor]: Taking taylor expansion of (* t y) in y
11.041 * [taylor]: Taking taylor expansion of t in y
11.041 * [taylor]: Taking taylor expansion of y in y
11.042 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
11.042 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.042 * [taylor]: Taking taylor expansion of (* t z) in y
11.042 * [taylor]: Taking taylor expansion of t in y
11.042 * [taylor]: Taking taylor expansion of z in y
11.042 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
11.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.042 * [taylor]: Taking taylor expansion of (* x y) in y
11.042 * [taylor]: Taking taylor expansion of x in y
11.042 * [taylor]: Taking taylor expansion of y in y
11.042 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.042 * [taylor]: Taking taylor expansion of x in y
11.042 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
11.042 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
11.042 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.042 * [taylor]: Taking taylor expansion of (* x z) in x
11.042 * [taylor]: Taking taylor expansion of x in x
11.042 * [taylor]: Taking taylor expansion of z in x
11.042 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.042 * [taylor]: Taking taylor expansion of (* t y) in x
11.042 * [taylor]: Taking taylor expansion of t in x
11.042 * [taylor]: Taking taylor expansion of y in x
11.042 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
11.042 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.042 * [taylor]: Taking taylor expansion of (* t z) in x
11.042 * [taylor]: Taking taylor expansion of t in x
11.042 * [taylor]: Taking taylor expansion of z in x
11.042 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
11.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.042 * [taylor]: Taking taylor expansion of (* x y) in x
11.042 * [taylor]: Taking taylor expansion of x in x
11.042 * [taylor]: Taking taylor expansion of y in x
11.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.042 * [taylor]: Taking taylor expansion of x in x
11.042 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
11.042 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
11.042 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.042 * [taylor]: Taking taylor expansion of (* x z) in x
11.042 * [taylor]: Taking taylor expansion of x in x
11.043 * [taylor]: Taking taylor expansion of z in x
11.043 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.043 * [taylor]: Taking taylor expansion of (* t y) in x
11.043 * [taylor]: Taking taylor expansion of t in x
11.043 * [taylor]: Taking taylor expansion of y in x
11.043 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
11.043 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.043 * [taylor]: Taking taylor expansion of (* t z) in x
11.043 * [taylor]: Taking taylor expansion of t in x
11.043 * [taylor]: Taking taylor expansion of z in x
11.043 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
11.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.043 * [taylor]: Taking taylor expansion of (* x y) in x
11.043 * [taylor]: Taking taylor expansion of x in x
11.043 * [taylor]: Taking taylor expansion of y in x
11.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.043 * [taylor]: Taking taylor expansion of x in x
11.043 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
11.043 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.043 * [taylor]: Taking taylor expansion of z in y
11.043 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
11.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.043 * [taylor]: Taking taylor expansion of y in y
11.043 * [taylor]: Taking taylor expansion of 1 in y
11.043 * [taylor]: Taking taylor expansion of (neg 1) in z
11.043 * [taylor]: Taking taylor expansion of 1 in z
11.044 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
11.044 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.044 * [taylor]: Taking taylor expansion of (* t y) in y
11.044 * [taylor]: Taking taylor expansion of t in y
11.044 * [taylor]: Taking taylor expansion of y in y
11.044 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.044 * [taylor]: Taking taylor expansion of (* t z) in y
11.044 * [taylor]: Taking taylor expansion of t in y
11.044 * [taylor]: Taking taylor expansion of z in y
11.044 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.044 * [taylor]: Taking taylor expansion of t in z
11.044 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
11.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.044 * [taylor]: Taking taylor expansion of z in z
11.044 * [taylor]: Taking taylor expansion of 1 in z
11.044 * [taylor]: Taking taylor expansion of 1 in t
11.044 * [taylor]: Taking taylor expansion of (neg 1) in t
11.044 * [taylor]: Taking taylor expansion of 1 in t
11.045 * [taylor]: Taking taylor expansion of 0 in y
11.045 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
11.045 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.045 * [taylor]: Taking taylor expansion of (* t z) in z
11.045 * [taylor]: Taking taylor expansion of t in z
11.045 * [taylor]: Taking taylor expansion of z in z
11.045 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
11.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.045 * [taylor]: Taking taylor expansion of t in t
11.045 * [taylor]: Taking taylor expansion of 0 in z
11.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.045 * [taylor]: Taking taylor expansion of t in t
11.045 * [taylor]: Taking taylor expansion of (neg 1) in t
11.045 * [taylor]: Taking taylor expansion of 1 in t
11.045 * [taylor]: Taking taylor expansion of 0 in t
11.046 * * * [progress]: simplifying candidates
11.047 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- y z) (- t x))
  (+ (log (- y z)) (log (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t x) (- t x)) (- t x)))
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (* (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ t x))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ y z) (+ (* t t) (+ (* x x) (* t x))))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* t (- y z))
  (* (neg x) (- y z))
  (* t (- y z))
  (* (neg x) (- y z))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (* (- y z) 1)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (* (- y z) 1)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  (* (exp x) (exp (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (* (* (+ x (* (- y z) (- t x))) (+ x (* (- y z) (- t x)))) (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (+ (pow x 3) (pow (* (- y z) (- t x)) 3))
  (+ (* x x) (- (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* x (* (- y z) (- t x)))))
  (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x))))
  (- x (* (- y z) (- t x)))
  (+ x (* (- y z) t))
  (+ x (* (- y z) t))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
11.050 * * [simplify]: iteration  0 :  290  enodes  (cost  310 )
11.056 * * [simplify]: iteration  1 :  1174  enodes  (cost  292 )
11.078 * * [simplify]: iteration  2 :  5001  enodes  (cost  291 )
11.080 * [simplify]: Simplified to:
   (* (- y z) (- t x))
  (log (* (- y z) (- t x)))
  (log (* (- y z) (- t x)))
  (exp (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x))))
  (cbrt (* (- y z) (- t x)))
  (pow (* (- y z) (- t x)) 3)
  (sqrt (* (- y z) (- t x)))
  (sqrt (* (- y z) (- t x)))
  (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3)))
  (* (+ (* x (+ x t)) (* t t)) (+ (* z (+ z y)) (* y y)))
  (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x)))
  (* (+ t x) (+ (* z (+ z y)) (* y y)))
  (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3)))
  (* (+ (* x (+ x t)) (* t t)) (+ y z))
  (* (- (* y y) (* z z)) (- (* t t) (* x x)))
  (* (+ y z) (+ t x))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (sqrt (- y z)) (sqrt (- t x)))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) t)
  (* (- y z) (neg x))
  (* (- y z) (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- y z) (sqrt (- t x)))
  (- y z)
  (* (- y z) (+ (sqrt t) (sqrt x)))
  (- y z)
  (* (cbrt (- y z)) (- t x))
  (* (sqrt (- y z)) (- t x))
  (* (- y z) (- t x))
  (* (- (sqrt y) (sqrt z)) (- t x))
  (* (- y z) (- t x))
  (* (- y z) (- (pow t 3) (pow x 3)))
  (* (- y z) (- (* t t) (* x x)))
  (* (- (pow y 3) (pow z 3)) (- t x))
  (* (- (* y y) (* z z)) (- t x))
  (exp (+ x (* (- y z) (- t x))))
  (log (+ x (* (- y z) (- t x))))
  (exp (+ x (* (- y z) (- t x))))
  (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x)))))
  (cbrt (+ x (* (- y z) (- t x))))
  (pow (+ x (* (- y z) (- t x))) 3)
  (sqrt (+ x (* (- y z) (- t x))))
  (sqrt (+ x (* (- y z) (- t x))))
  (+ (pow x 3) (pow (* (- y z) (- t x)) 3))
  (+ (* (* (- y z) (- t x)) (- (* (- y z) (- t x)) x)) (* x x))
  (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x))))
  (- x (* (- y z) (- t x)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  (+ x (* t (- y z)))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
  (* x (- (+ z 1) y))
  (+ (* x z) (* (- y z) t))
  (+ (* x z) (* (- y z) t))
11.080 * * * [progress]: adding candidates to table
11.134 * * [progress]: iteration 2 / 4
11.134 * * * [progress]: picking best candidate
11.151 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))>
11.151 * * * [progress]: localizing error
11.159 * * * [progress]: generating rewritten candidates
11.159 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
11.166 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
11.172 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
11.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
11.189 * * * [progress]: generating series expansions
11.189 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
11.189 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in (y z t x) around 0
11.189 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in x
11.189 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in x
11.189 * [taylor]: Taking taylor expansion of (* x z) in x
11.189 * [taylor]: Taking taylor expansion of x in x
11.189 * [taylor]: Taking taylor expansion of z in x
11.189 * [taylor]: Taking taylor expansion of (* t y) in x
11.189 * [taylor]: Taking taylor expansion of t in x
11.189 * [taylor]: Taking taylor expansion of y in x
11.189 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
11.189 * [taylor]: Taking taylor expansion of (* t z) in x
11.189 * [taylor]: Taking taylor expansion of t in x
11.189 * [taylor]: Taking taylor expansion of z in x
11.189 * [taylor]: Taking taylor expansion of (* x y) in x
11.189 * [taylor]: Taking taylor expansion of x in x
11.189 * [taylor]: Taking taylor expansion of y in x
11.189 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in t
11.189 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in t
11.189 * [taylor]: Taking taylor expansion of (* x z) in t
11.189 * [taylor]: Taking taylor expansion of x in t
11.189 * [taylor]: Taking taylor expansion of z in t
11.189 * [taylor]: Taking taylor expansion of (* t y) in t
11.189 * [taylor]: Taking taylor expansion of t in t
11.189 * [taylor]: Taking taylor expansion of y in t
11.189 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
11.189 * [taylor]: Taking taylor expansion of (* t z) in t
11.189 * [taylor]: Taking taylor expansion of t in t
11.189 * [taylor]: Taking taylor expansion of z in t
11.189 * [taylor]: Taking taylor expansion of (* x y) in t
11.189 * [taylor]: Taking taylor expansion of x in t
11.189 * [taylor]: Taking taylor expansion of y in t
11.189 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in z
11.189 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in z
11.189 * [taylor]: Taking taylor expansion of (* x z) in z
11.189 * [taylor]: Taking taylor expansion of x in z
11.189 * [taylor]: Taking taylor expansion of z in z
11.189 * [taylor]: Taking taylor expansion of (* t y) in z
11.189 * [taylor]: Taking taylor expansion of t in z
11.189 * [taylor]: Taking taylor expansion of y in z
11.189 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
11.189 * [taylor]: Taking taylor expansion of (* t z) in z
11.189 * [taylor]: Taking taylor expansion of t in z
11.189 * [taylor]: Taking taylor expansion of z in z
11.190 * [taylor]: Taking taylor expansion of (* x y) in z
11.190 * [taylor]: Taking taylor expansion of x in z
11.190 * [taylor]: Taking taylor expansion of y in z
11.190 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in y
11.190 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in y
11.190 * [taylor]: Taking taylor expansion of (* x z) in y
11.190 * [taylor]: Taking taylor expansion of x in y
11.190 * [taylor]: Taking taylor expansion of z in y
11.190 * [taylor]: Taking taylor expansion of (* t y) in y
11.190 * [taylor]: Taking taylor expansion of t in y
11.190 * [taylor]: Taking taylor expansion of y in y
11.190 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
11.190 * [taylor]: Taking taylor expansion of (* t z) in y
11.190 * [taylor]: Taking taylor expansion of t in y
11.190 * [taylor]: Taking taylor expansion of z in y
11.190 * [taylor]: Taking taylor expansion of (* x y) in y
11.190 * [taylor]: Taking taylor expansion of x in y
11.190 * [taylor]: Taking taylor expansion of y in y
11.190 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in y
11.190 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in y
11.190 * [taylor]: Taking taylor expansion of (* x z) in y
11.190 * [taylor]: Taking taylor expansion of x in y
11.190 * [taylor]: Taking taylor expansion of z in y
11.190 * [taylor]: Taking taylor expansion of (* t y) in y
11.190 * [taylor]: Taking taylor expansion of t in y
11.190 * [taylor]: Taking taylor expansion of y in y
11.190 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
11.190 * [taylor]: Taking taylor expansion of (* t z) in y
11.190 * [taylor]: Taking taylor expansion of t in y
11.190 * [taylor]: Taking taylor expansion of z in y
11.190 * [taylor]: Taking taylor expansion of (* x y) in y
11.190 * [taylor]: Taking taylor expansion of x in y
11.190 * [taylor]: Taking taylor expansion of y in y
11.190 * [taylor]: Taking taylor expansion of (- (* x z) (* t z)) in z
11.190 * [taylor]: Taking taylor expansion of (* x z) in z
11.190 * [taylor]: Taking taylor expansion of x in z
11.190 * [taylor]: Taking taylor expansion of z in z
11.190 * [taylor]: Taking taylor expansion of (* t z) in z
11.190 * [taylor]: Taking taylor expansion of t in z
11.190 * [taylor]: Taking taylor expansion of z in z
11.190 * [taylor]: Taking taylor expansion of 0 in t
11.190 * [taylor]: Taking taylor expansion of 0 in x
11.191 * [taylor]: Taking taylor expansion of (- t x) in z
11.191 * [taylor]: Taking taylor expansion of t in z
11.191 * [taylor]: Taking taylor expansion of x in z
11.191 * [taylor]: Taking taylor expansion of (- t x) in t
11.191 * [taylor]: Taking taylor expansion of t in t
11.191 * [taylor]: Taking taylor expansion of x in t
11.191 * [taylor]: Taking taylor expansion of (neg x) in x
11.191 * [taylor]: Taking taylor expansion of x in x
11.191 * [taylor]: Taking taylor expansion of (- x t) in t
11.191 * [taylor]: Taking taylor expansion of x in t
11.191 * [taylor]: Taking taylor expansion of t in t
11.191 * [taylor]: Taking taylor expansion of x in x
11.191 * [taylor]: Taking taylor expansion of 0 in x
11.191 * [taylor]: Taking taylor expansion of 0 in z
11.191 * [taylor]: Taking taylor expansion of 0 in t
11.191 * [taylor]: Taking taylor expansion of 0 in x
11.191 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (y z t x) around 0
11.191 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
11.191 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
11.191 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.191 * [taylor]: Taking taylor expansion of (* x z) in x
11.191 * [taylor]: Taking taylor expansion of x in x
11.192 * [taylor]: Taking taylor expansion of z in x
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.192 * [taylor]: Taking taylor expansion of (* t y) in x
11.192 * [taylor]: Taking taylor expansion of t in x
11.192 * [taylor]: Taking taylor expansion of y in x
11.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.192 * [taylor]: Taking taylor expansion of (* t z) in x
11.192 * [taylor]: Taking taylor expansion of t in x
11.192 * [taylor]: Taking taylor expansion of z in x
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.192 * [taylor]: Taking taylor expansion of (* x y) in x
11.192 * [taylor]: Taking taylor expansion of x in x
11.192 * [taylor]: Taking taylor expansion of y in x
11.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
11.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
11.192 * [taylor]: Taking taylor expansion of (* x z) in t
11.192 * [taylor]: Taking taylor expansion of x in t
11.192 * [taylor]: Taking taylor expansion of z in t
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
11.192 * [taylor]: Taking taylor expansion of (* t y) in t
11.192 * [taylor]: Taking taylor expansion of t in t
11.192 * [taylor]: Taking taylor expansion of y in t
11.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
11.192 * [taylor]: Taking taylor expansion of (* t z) in t
11.192 * [taylor]: Taking taylor expansion of t in t
11.192 * [taylor]: Taking taylor expansion of z in t
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
11.192 * [taylor]: Taking taylor expansion of (* x y) in t
11.192 * [taylor]: Taking taylor expansion of x in t
11.192 * [taylor]: Taking taylor expansion of y in t
11.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
11.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
11.192 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.192 * [taylor]: Taking taylor expansion of (* x z) in z
11.192 * [taylor]: Taking taylor expansion of x in z
11.192 * [taylor]: Taking taylor expansion of z in z
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
11.193 * [taylor]: Taking taylor expansion of (* t y) in z
11.193 * [taylor]: Taking taylor expansion of t in z
11.193 * [taylor]: Taking taylor expansion of y in z
11.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.193 * [taylor]: Taking taylor expansion of (* t z) in z
11.193 * [taylor]: Taking taylor expansion of t in z
11.193 * [taylor]: Taking taylor expansion of z in z
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
11.193 * [taylor]: Taking taylor expansion of (* x y) in z
11.193 * [taylor]: Taking taylor expansion of x in z
11.193 * [taylor]: Taking taylor expansion of y in z
11.193 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
11.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.193 * [taylor]: Taking taylor expansion of (* x z) in y
11.193 * [taylor]: Taking taylor expansion of x in y
11.193 * [taylor]: Taking taylor expansion of z in y
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.193 * [taylor]: Taking taylor expansion of (* t y) in y
11.193 * [taylor]: Taking taylor expansion of t in y
11.193 * [taylor]: Taking taylor expansion of y in y
11.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.193 * [taylor]: Taking taylor expansion of (* t z) in y
11.193 * [taylor]: Taking taylor expansion of t in y
11.193 * [taylor]: Taking taylor expansion of z in y
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.193 * [taylor]: Taking taylor expansion of (* x y) in y
11.193 * [taylor]: Taking taylor expansion of x in y
11.193 * [taylor]: Taking taylor expansion of y in y
11.193 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
11.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.193 * [taylor]: Taking taylor expansion of (* x z) in y
11.193 * [taylor]: Taking taylor expansion of x in y
11.193 * [taylor]: Taking taylor expansion of z in y
11.193 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.193 * [taylor]: Taking taylor expansion of (* t y) in y
11.193 * [taylor]: Taking taylor expansion of t in y
11.193 * [taylor]: Taking taylor expansion of y in y
11.194 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
11.194 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.194 * [taylor]: Taking taylor expansion of (* t z) in y
11.194 * [taylor]: Taking taylor expansion of t in y
11.194 * [taylor]: Taking taylor expansion of z in y
11.194 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.194 * [taylor]: Taking taylor expansion of (* x y) in y
11.194 * [taylor]: Taking taylor expansion of x in y
11.194 * [taylor]: Taking taylor expansion of y in y
11.194 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
11.194 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.194 * [taylor]: Taking taylor expansion of t in z
11.194 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.194 * [taylor]: Taking taylor expansion of x in z
11.194 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
11.194 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.194 * [taylor]: Taking taylor expansion of (* x z) in z
11.194 * [taylor]: Taking taylor expansion of x in z
11.194 * [taylor]: Taking taylor expansion of z in z
11.194 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.194 * [taylor]: Taking taylor expansion of (* t z) in z
11.194 * [taylor]: Taking taylor expansion of t in z
11.195 * [taylor]: Taking taylor expansion of z in z
11.195 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.195 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.195 * [taylor]: Taking taylor expansion of x in t
11.195 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.195 * [taylor]: Taking taylor expansion of t in t
11.195 * [taylor]: Taking taylor expansion of (neg 1) in x
11.195 * [taylor]: Taking taylor expansion of 1 in x
11.195 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.195 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.195 * [taylor]: Taking taylor expansion of t in t
11.195 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.195 * [taylor]: Taking taylor expansion of x in t
11.195 * [taylor]: Taking taylor expansion of 1 in x
11.195 * [taylor]: Taking taylor expansion of 0 in z
11.196 * [taylor]: Taking taylor expansion of 0 in t
11.196 * [taylor]: Taking taylor expansion of 0 in t
11.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.196 * [taylor]: Taking taylor expansion of x in x
11.196 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
11.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.196 * [taylor]: Taking taylor expansion of x in x
11.196 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (y z t x) around 0
11.196 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
11.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.197 * [taylor]: Taking taylor expansion of (* x z) in x
11.197 * [taylor]: Taking taylor expansion of x in x
11.197 * [taylor]: Taking taylor expansion of z in x
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.197 * [taylor]: Taking taylor expansion of (* t y) in x
11.197 * [taylor]: Taking taylor expansion of t in x
11.197 * [taylor]: Taking taylor expansion of y in x
11.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.197 * [taylor]: Taking taylor expansion of (* t z) in x
11.197 * [taylor]: Taking taylor expansion of t in x
11.197 * [taylor]: Taking taylor expansion of z in x
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.197 * [taylor]: Taking taylor expansion of (* x y) in x
11.197 * [taylor]: Taking taylor expansion of x in x
11.197 * [taylor]: Taking taylor expansion of y in x
11.197 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
11.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
11.197 * [taylor]: Taking taylor expansion of (* x z) in t
11.197 * [taylor]: Taking taylor expansion of x in t
11.197 * [taylor]: Taking taylor expansion of z in t
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
11.197 * [taylor]: Taking taylor expansion of (* t y) in t
11.197 * [taylor]: Taking taylor expansion of t in t
11.197 * [taylor]: Taking taylor expansion of y in t
11.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
11.197 * [taylor]: Taking taylor expansion of (* t z) in t
11.197 * [taylor]: Taking taylor expansion of t in t
11.197 * [taylor]: Taking taylor expansion of z in t
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
11.197 * [taylor]: Taking taylor expansion of (* x y) in t
11.197 * [taylor]: Taking taylor expansion of x in t
11.197 * [taylor]: Taking taylor expansion of y in t
11.197 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
11.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
11.197 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.197 * [taylor]: Taking taylor expansion of (* x z) in z
11.198 * [taylor]: Taking taylor expansion of x in z
11.198 * [taylor]: Taking taylor expansion of z in z
11.198 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
11.198 * [taylor]: Taking taylor expansion of (* t y) in z
11.198 * [taylor]: Taking taylor expansion of t in z
11.198 * [taylor]: Taking taylor expansion of y in z
11.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
11.198 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.198 * [taylor]: Taking taylor expansion of (* t z) in z
11.198 * [taylor]: Taking taylor expansion of t in z
11.198 * [taylor]: Taking taylor expansion of z in z
11.198 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
11.198 * [taylor]: Taking taylor expansion of (* x y) in z
11.198 * [taylor]: Taking taylor expansion of x in z
11.198 * [taylor]: Taking taylor expansion of y in z
11.198 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
11.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
11.198 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.198 * [taylor]: Taking taylor expansion of (* x z) in y
11.198 * [taylor]: Taking taylor expansion of x in y
11.198 * [taylor]: Taking taylor expansion of z in y
11.198 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.198 * [taylor]: Taking taylor expansion of (* t y) in y
11.198 * [taylor]: Taking taylor expansion of t in y
11.198 * [taylor]: Taking taylor expansion of y in y
11.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
11.198 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.198 * [taylor]: Taking taylor expansion of (* t z) in y
11.198 * [taylor]: Taking taylor expansion of t in y
11.198 * [taylor]: Taking taylor expansion of z in y
11.198 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.198 * [taylor]: Taking taylor expansion of (* x y) in y
11.198 * [taylor]: Taking taylor expansion of x in y
11.199 * [taylor]: Taking taylor expansion of y in y
11.199 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
11.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
11.199 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.199 * [taylor]: Taking taylor expansion of (* x z) in y
11.199 * [taylor]: Taking taylor expansion of x in y
11.199 * [taylor]: Taking taylor expansion of z in y
11.199 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.199 * [taylor]: Taking taylor expansion of (* t y) in y
11.199 * [taylor]: Taking taylor expansion of t in y
11.199 * [taylor]: Taking taylor expansion of y in y
11.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
11.199 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.199 * [taylor]: Taking taylor expansion of (* t z) in y
11.199 * [taylor]: Taking taylor expansion of t in y
11.199 * [taylor]: Taking taylor expansion of z in y
11.199 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.199 * [taylor]: Taking taylor expansion of (* x y) in y
11.199 * [taylor]: Taking taylor expansion of x in y
11.199 * [taylor]: Taking taylor expansion of y in y
11.199 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
11.199 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.199 * [taylor]: Taking taylor expansion of t in z
11.199 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.199 * [taylor]: Taking taylor expansion of x in z
11.200 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z
11.200 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.200 * [taylor]: Taking taylor expansion of (* x z) in z
11.200 * [taylor]: Taking taylor expansion of x in z
11.200 * [taylor]: Taking taylor expansion of z in z
11.200 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.200 * [taylor]: Taking taylor expansion of (* t z) in z
11.200 * [taylor]: Taking taylor expansion of t in z
11.200 * [taylor]: Taking taylor expansion of z in z
11.200 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.200 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.200 * [taylor]: Taking taylor expansion of x in t
11.200 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.200 * [taylor]: Taking taylor expansion of t in t
11.200 * [taylor]: Taking taylor expansion of (neg 1) in x
11.200 * [taylor]: Taking taylor expansion of 1 in x
11.200 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.200 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.200 * [taylor]: Taking taylor expansion of t in t
11.200 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.200 * [taylor]: Taking taylor expansion of x in t
11.200 * [taylor]: Taking taylor expansion of 1 in x
11.201 * [taylor]: Taking taylor expansion of 0 in z
11.201 * [taylor]: Taking taylor expansion of 0 in t
11.201 * [taylor]: Taking taylor expansion of 0 in t
11.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.201 * [taylor]: Taking taylor expansion of x in x
11.201 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
11.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.201 * [taylor]: Taking taylor expansion of x in x
11.202 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
11.202 * [approximate]: Taking taylor expansion of (* (- y z) t) in (y z t) around 0
11.202 * [taylor]: Taking taylor expansion of (* (- y z) t) in t
11.202 * [taylor]: Taking taylor expansion of (- y z) in t
11.202 * [taylor]: Taking taylor expansion of y in t
11.202 * [taylor]: Taking taylor expansion of z in t
11.202 * [taylor]: Taking taylor expansion of t in t
11.202 * [taylor]: Taking taylor expansion of (* (- y z) t) in z
11.202 * [taylor]: Taking taylor expansion of (- y z) in z
11.202 * [taylor]: Taking taylor expansion of y in z
11.202 * [taylor]: Taking taylor expansion of z in z
11.202 * [taylor]: Taking taylor expansion of t in z
11.202 * [taylor]: Taking taylor expansion of (* (- y z) t) in y
11.202 * [taylor]: Taking taylor expansion of (- y z) in y
11.202 * [taylor]: Taking taylor expansion of y in y
11.202 * [taylor]: Taking taylor expansion of z in y
11.202 * [taylor]: Taking taylor expansion of t in y
11.202 * [taylor]: Taking taylor expansion of (* (- y z) t) in y
11.202 * [taylor]: Taking taylor expansion of (- y z) in y
11.202 * [taylor]: Taking taylor expansion of y in y
11.202 * [taylor]: Taking taylor expansion of z in y
11.202 * [taylor]: Taking taylor expansion of t in y
11.202 * [taylor]: Taking taylor expansion of (* -1 (* t z)) in z
11.202 * [taylor]: Taking taylor expansion of -1 in z
11.202 * [taylor]: Taking taylor expansion of (* t z) in z
11.202 * [taylor]: Taking taylor expansion of t in z
11.202 * [taylor]: Taking taylor expansion of z in z
11.202 * [taylor]: Taking taylor expansion of 0 in t
11.202 * [taylor]: Taking taylor expansion of t in z
11.202 * [taylor]: Taking taylor expansion of t in t
11.202 * [taylor]: Taking taylor expansion of (neg t) in t
11.202 * [taylor]: Taking taylor expansion of t in t
11.202 * [taylor]: Taking taylor expansion of 0 in z
11.202 * [taylor]: Taking taylor expansion of 0 in t
11.202 * [taylor]: Taking taylor expansion of 0 in t
11.203 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (y z t) around 0
11.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t
11.203 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
11.203 * [taylor]: Taking taylor expansion of (/ 1 y) in t
11.203 * [taylor]: Taking taylor expansion of y in t
11.203 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.203 * [taylor]: Taking taylor expansion of z in t
11.203 * [taylor]: Taking taylor expansion of t in t
11.203 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z
11.205 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
11.205 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.205 * [taylor]: Taking taylor expansion of y in z
11.205 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.205 * [taylor]: Taking taylor expansion of z in z
11.205 * [taylor]: Taking taylor expansion of t in z
11.205 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y
11.205 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.205 * [taylor]: Taking taylor expansion of y in y
11.205 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.205 * [taylor]: Taking taylor expansion of z in y
11.205 * [taylor]: Taking taylor expansion of t in y
11.205 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y
11.205 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.205 * [taylor]: Taking taylor expansion of y in y
11.205 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.205 * [taylor]: Taking taylor expansion of z in y
11.205 * [taylor]: Taking taylor expansion of t in y
11.206 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.206 * [taylor]: Taking taylor expansion of t in z
11.206 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
11.206 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.206 * [taylor]: Taking taylor expansion of (* t z) in z
11.206 * [taylor]: Taking taylor expansion of t in z
11.206 * [taylor]: Taking taylor expansion of z in z
11.206 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
11.206 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.206 * [taylor]: Taking taylor expansion of t in t
11.206 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.206 * [taylor]: Taking taylor expansion of t in t
11.206 * [taylor]: Taking taylor expansion of 0 in z
11.206 * [taylor]: Taking taylor expansion of 0 in t
11.206 * [taylor]: Taking taylor expansion of 0 in t
11.207 * [taylor]: Taking taylor expansion of 0 in z
11.207 * [taylor]: Taking taylor expansion of 0 in t
11.207 * [taylor]: Taking taylor expansion of 0 in t
11.207 * [taylor]: Taking taylor expansion of 0 in t
11.207 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (y z t) around 0
11.207 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t
11.207 * [taylor]: Taking taylor expansion of -1 in t
11.207 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t
11.207 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
11.207 * [taylor]: Taking taylor expansion of (/ 1 z) in t
11.207 * [taylor]: Taking taylor expansion of z in t
11.207 * [taylor]: Taking taylor expansion of (/ 1 y) in t
11.207 * [taylor]: Taking taylor expansion of y in t
11.207 * [taylor]: Taking taylor expansion of t in t
11.208 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z
11.208 * [taylor]: Taking taylor expansion of -1 in z
11.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z
11.208 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
11.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.208 * [taylor]: Taking taylor expansion of z in z
11.208 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.208 * [taylor]: Taking taylor expansion of y in z
11.208 * [taylor]: Taking taylor expansion of t in z
11.208 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y
11.208 * [taylor]: Taking taylor expansion of -1 in y
11.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y
11.208 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.208 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.208 * [taylor]: Taking taylor expansion of z in y
11.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.208 * [taylor]: Taking taylor expansion of y in y
11.208 * [taylor]: Taking taylor expansion of t in y
11.208 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y
11.208 * [taylor]: Taking taylor expansion of -1 in y
11.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y
11.208 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.208 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.208 * [taylor]: Taking taylor expansion of z in y
11.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.208 * [taylor]: Taking taylor expansion of y in y
11.208 * [taylor]: Taking taylor expansion of t in y
11.208 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.208 * [taylor]: Taking taylor expansion of t in z
11.209 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
11.209 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.209 * [taylor]: Taking taylor expansion of (* t z) in z
11.209 * [taylor]: Taking taylor expansion of t in z
11.209 * [taylor]: Taking taylor expansion of z in z
11.209 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
11.209 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.209 * [taylor]: Taking taylor expansion of t in t
11.209 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.209 * [taylor]: Taking taylor expansion of t in t
11.209 * [taylor]: Taking taylor expansion of 0 in z
11.209 * [taylor]: Taking taylor expansion of 0 in t
11.209 * [taylor]: Taking taylor expansion of 0 in t
11.210 * [taylor]: Taking taylor expansion of 0 in z
11.210 * [taylor]: Taking taylor expansion of 0 in t
11.210 * [taylor]: Taking taylor expansion of 0 in t
11.210 * [taylor]: Taking taylor expansion of 0 in t
11.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
11.210 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (y z x) around 0
11.210 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x
11.210 * [taylor]: Taking taylor expansion of -1 in x
11.210 * [taylor]: Taking taylor expansion of (* (- y z) x) in x
11.210 * [taylor]: Taking taylor expansion of (- y z) in x
11.210 * [taylor]: Taking taylor expansion of y in x
11.210 * [taylor]: Taking taylor expansion of z in x
11.210 * [taylor]: Taking taylor expansion of x in x
11.210 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z
11.210 * [taylor]: Taking taylor expansion of -1 in z
11.210 * [taylor]: Taking taylor expansion of (* (- y z) x) in z
11.210 * [taylor]: Taking taylor expansion of (- y z) in z
11.210 * [taylor]: Taking taylor expansion of y in z
11.210 * [taylor]: Taking taylor expansion of z in z
11.210 * [taylor]: Taking taylor expansion of x in z
11.210 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
11.211 * [taylor]: Taking taylor expansion of -1 in y
11.211 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
11.211 * [taylor]: Taking taylor expansion of (- y z) in y
11.211 * [taylor]: Taking taylor expansion of y in y
11.211 * [taylor]: Taking taylor expansion of z in y
11.211 * [taylor]: Taking taylor expansion of x in y
11.211 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y
11.211 * [taylor]: Taking taylor expansion of -1 in y
11.211 * [taylor]: Taking taylor expansion of (* (- y z) x) in y
11.211 * [taylor]: Taking taylor expansion of (- y z) in y
11.211 * [taylor]: Taking taylor expansion of y in y
11.211 * [taylor]: Taking taylor expansion of z in y
11.211 * [taylor]: Taking taylor expansion of x in y
11.211 * [taylor]: Taking taylor expansion of (* x z) in z
11.211 * [taylor]: Taking taylor expansion of x in z
11.211 * [taylor]: Taking taylor expansion of z in z
11.211 * [taylor]: Taking taylor expansion of 0 in x
11.211 * [taylor]: Taking taylor expansion of (neg x) in z
11.211 * [taylor]: Taking taylor expansion of x in z
11.211 * [taylor]: Taking taylor expansion of (neg x) in x
11.211 * [taylor]: Taking taylor expansion of x in x
11.211 * [taylor]: Taking taylor expansion of x in x
11.211 * [taylor]: Taking taylor expansion of 0 in z
11.211 * [taylor]: Taking taylor expansion of 0 in x
11.211 * [taylor]: Taking taylor expansion of 0 in x
11.211 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (y z x) around 0
11.211 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x
11.211 * [taylor]: Taking taylor expansion of -1 in x
11.211 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x
11.211 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
11.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.212 * [taylor]: Taking taylor expansion of y in x
11.212 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.212 * [taylor]: Taking taylor expansion of z in x
11.212 * [taylor]: Taking taylor expansion of x in x
11.212 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z
11.212 * [taylor]: Taking taylor expansion of -1 in z
11.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z
11.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
11.212 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.212 * [taylor]: Taking taylor expansion of y in z
11.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.212 * [taylor]: Taking taylor expansion of z in z
11.212 * [taylor]: Taking taylor expansion of x in z
11.212 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
11.212 * [taylor]: Taking taylor expansion of -1 in y
11.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
11.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.212 * [taylor]: Taking taylor expansion of y in y
11.212 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.212 * [taylor]: Taking taylor expansion of z in y
11.212 * [taylor]: Taking taylor expansion of x in y
11.212 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y
11.212 * [taylor]: Taking taylor expansion of -1 in y
11.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y
11.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
11.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.212 * [taylor]: Taking taylor expansion of y in y
11.212 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.212 * [taylor]: Taking taylor expansion of z in y
11.212 * [taylor]: Taking taylor expansion of x in y
11.212 * [taylor]: Taking taylor expansion of (/ -1 x) in z
11.212 * [taylor]: Taking taylor expansion of -1 in z
11.212 * [taylor]: Taking taylor expansion of x in z
11.213 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.213 * [taylor]: Taking taylor expansion of (* x z) in z
11.213 * [taylor]: Taking taylor expansion of x in z
11.213 * [taylor]: Taking taylor expansion of z in z
11.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.213 * [taylor]: Taking taylor expansion of x in x
11.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.213 * [taylor]: Taking taylor expansion of -1 in x
11.213 * [taylor]: Taking taylor expansion of x in x
11.213 * [taylor]: Taking taylor expansion of 0 in z
11.213 * [taylor]: Taking taylor expansion of 0 in x
11.213 * [taylor]: Taking taylor expansion of 0 in x
11.214 * [taylor]: Taking taylor expansion of 0 in z
11.214 * [taylor]: Taking taylor expansion of 0 in x
11.214 * [taylor]: Taking taylor expansion of 0 in x
11.214 * [taylor]: Taking taylor expansion of 0 in x
11.214 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (y z x) around 0
11.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x
11.214 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
11.214 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.214 * [taylor]: Taking taylor expansion of z in x
11.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.214 * [taylor]: Taking taylor expansion of y in x
11.214 * [taylor]: Taking taylor expansion of x in x
11.215 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z
11.215 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
11.215 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.215 * [taylor]: Taking taylor expansion of z in z
11.215 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.215 * [taylor]: Taking taylor expansion of y in z
11.215 * [taylor]: Taking taylor expansion of x in z
11.215 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
11.215 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.215 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.215 * [taylor]: Taking taylor expansion of z in y
11.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.215 * [taylor]: Taking taylor expansion of y in y
11.215 * [taylor]: Taking taylor expansion of x in y
11.215 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y
11.215 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
11.215 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.215 * [taylor]: Taking taylor expansion of z in y
11.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.215 * [taylor]: Taking taylor expansion of y in y
11.215 * [taylor]: Taking taylor expansion of x in y
11.215 * [taylor]: Taking taylor expansion of (/ -1 x) in z
11.215 * [taylor]: Taking taylor expansion of -1 in z
11.215 * [taylor]: Taking taylor expansion of x in z
11.215 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.215 * [taylor]: Taking taylor expansion of (* x z) in z
11.215 * [taylor]: Taking taylor expansion of x in z
11.215 * [taylor]: Taking taylor expansion of z in z
11.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.215 * [taylor]: Taking taylor expansion of x in x
11.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.216 * [taylor]: Taking taylor expansion of -1 in x
11.216 * [taylor]: Taking taylor expansion of x in x
11.216 * [taylor]: Taking taylor expansion of 0 in z
11.216 * [taylor]: Taking taylor expansion of 0 in x
11.216 * [taylor]: Taking taylor expansion of 0 in x
11.216 * [taylor]: Taking taylor expansion of 0 in z
11.216 * [taylor]: Taking taylor expansion of 0 in x
11.216 * [taylor]: Taking taylor expansion of 0 in x
11.216 * [taylor]: Taking taylor expansion of 0 in x
11.217 * * * * [progress]: [ 4 / 4 ] generating series at (2)
11.217 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y z t) around 0
11.217 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t
11.217 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t
11.217 * [taylor]: Taking taylor expansion of (* x z) in t
11.217 * [taylor]: Taking taylor expansion of x in t
11.217 * [taylor]: Taking taylor expansion of z in t
11.217 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t
11.217 * [taylor]: Taking taylor expansion of x in t
11.217 * [taylor]: Taking taylor expansion of (* t y) in t
11.217 * [taylor]: Taking taylor expansion of t in t
11.217 * [taylor]: Taking taylor expansion of y in t
11.217 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t
11.217 * [taylor]: Taking taylor expansion of (* t z) in t
11.217 * [taylor]: Taking taylor expansion of t in t
11.217 * [taylor]: Taking taylor expansion of z in t
11.217 * [taylor]: Taking taylor expansion of (* x y) in t
11.217 * [taylor]: Taking taylor expansion of x in t
11.217 * [taylor]: Taking taylor expansion of y in t
11.217 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z
11.217 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z
11.217 * [taylor]: Taking taylor expansion of (* x z) in z
11.217 * [taylor]: Taking taylor expansion of x in z
11.217 * [taylor]: Taking taylor expansion of z in z
11.217 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z
11.217 * [taylor]: Taking taylor expansion of x in z
11.217 * [taylor]: Taking taylor expansion of (* t y) in z
11.217 * [taylor]: Taking taylor expansion of t in z
11.217 * [taylor]: Taking taylor expansion of y in z
11.217 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z
11.217 * [taylor]: Taking taylor expansion of (* t z) in z
11.217 * [taylor]: Taking taylor expansion of t in z
11.217 * [taylor]: Taking taylor expansion of z in z
11.218 * [taylor]: Taking taylor expansion of (* x y) in z
11.218 * [taylor]: Taking taylor expansion of x in z
11.218 * [taylor]: Taking taylor expansion of y in z
11.218 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y
11.218 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y
11.218 * [taylor]: Taking taylor expansion of (* x z) in y
11.218 * [taylor]: Taking taylor expansion of x in y
11.218 * [taylor]: Taking taylor expansion of z in y
11.218 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y
11.218 * [taylor]: Taking taylor expansion of x in y
11.218 * [taylor]: Taking taylor expansion of (* t y) in y
11.218 * [taylor]: Taking taylor expansion of t in y
11.218 * [taylor]: Taking taylor expansion of y in y
11.218 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y
11.218 * [taylor]: Taking taylor expansion of (* t z) in y
11.218 * [taylor]: Taking taylor expansion of t in y
11.218 * [taylor]: Taking taylor expansion of z in y
11.218 * [taylor]: Taking taylor expansion of (* x y) in y
11.218 * [taylor]: Taking taylor expansion of x in y
11.218 * [taylor]: Taking taylor expansion of y in y
11.218 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
11.218 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
11.218 * [taylor]: Taking taylor expansion of (* x z) in x
11.218 * [taylor]: Taking taylor expansion of x in x
11.218 * [taylor]: Taking taylor expansion of z in x
11.218 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
11.218 * [taylor]: Taking taylor expansion of x in x
11.218 * [taylor]: Taking taylor expansion of (* t y) in x
11.218 * [taylor]: Taking taylor expansion of t in x
11.218 * [taylor]: Taking taylor expansion of y in x
11.218 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
11.218 * [taylor]: Taking taylor expansion of (* t z) in x
11.218 * [taylor]: Taking taylor expansion of t in x
11.218 * [taylor]: Taking taylor expansion of z in x
11.218 * [taylor]: Taking taylor expansion of (* x y) in x
11.218 * [taylor]: Taking taylor expansion of x in x
11.218 * [taylor]: Taking taylor expansion of y in x
11.218 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x
11.218 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x
11.218 * [taylor]: Taking taylor expansion of (* x z) in x
11.218 * [taylor]: Taking taylor expansion of x in x
11.218 * [taylor]: Taking taylor expansion of z in x
11.218 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x
11.218 * [taylor]: Taking taylor expansion of x in x
11.218 * [taylor]: Taking taylor expansion of (* t y) in x
11.218 * [taylor]: Taking taylor expansion of t in x
11.218 * [taylor]: Taking taylor expansion of y in x
11.218 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x
11.218 * [taylor]: Taking taylor expansion of (* t z) in x
11.218 * [taylor]: Taking taylor expansion of t in x
11.218 * [taylor]: Taking taylor expansion of z in x
11.218 * [taylor]: Taking taylor expansion of (* x y) in x
11.218 * [taylor]: Taking taylor expansion of x in x
11.218 * [taylor]: Taking taylor expansion of y in x
11.219 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y
11.219 * [taylor]: Taking taylor expansion of (* t y) in y
11.219 * [taylor]: Taking taylor expansion of t in y
11.219 * [taylor]: Taking taylor expansion of y in y
11.219 * [taylor]: Taking taylor expansion of (* t z) in y
11.219 * [taylor]: Taking taylor expansion of t in y
11.219 * [taylor]: Taking taylor expansion of z in y
11.219 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
11.219 * [taylor]: Taking taylor expansion of (* t z) in z
11.219 * [taylor]: Taking taylor expansion of t in z
11.219 * [taylor]: Taking taylor expansion of z in z
11.219 * [taylor]: Taking taylor expansion of 0 in t
11.219 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y
11.219 * [taylor]: Taking taylor expansion of (+ z 1) in y
11.219 * [taylor]: Taking taylor expansion of z in y
11.219 * [taylor]: Taking taylor expansion of 1 in y
11.219 * [taylor]: Taking taylor expansion of y in y
11.219 * [taylor]: Taking taylor expansion of (+ z 1) in z
11.219 * [taylor]: Taking taylor expansion of z in z
11.219 * [taylor]: Taking taylor expansion of 1 in z
11.219 * [taylor]: Taking taylor expansion of 1 in t
11.219 * [taylor]: Taking taylor expansion of t in z
11.219 * [taylor]: Taking taylor expansion of t in t
11.219 * [taylor]: Taking taylor expansion of (neg t) in t
11.219 * [taylor]: Taking taylor expansion of t in t
11.220 * [taylor]: Taking taylor expansion of 0 in y
11.220 * [taylor]: Taking taylor expansion of 0 in z
11.220 * [taylor]: Taking taylor expansion of 0 in t
11.220 * [taylor]: Taking taylor expansion of (neg 1) in z
11.220 * [taylor]: Taking taylor expansion of 1 in z
11.220 * [taylor]: Taking taylor expansion of (neg 1) in t
11.220 * [taylor]: Taking taylor expansion of 1 in t
11.220 * [taylor]: Taking taylor expansion of 0 in z
11.220 * [taylor]: Taking taylor expansion of 0 in t
11.220 * [taylor]: Taking taylor expansion of 1 in t
11.220 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y z t) around 0
11.220 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t
11.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in t
11.220 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
11.220 * [taylor]: Taking taylor expansion of (* x z) in t
11.220 * [taylor]: Taking taylor expansion of x in t
11.220 * [taylor]: Taking taylor expansion of z in t
11.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t
11.221 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
11.221 * [taylor]: Taking taylor expansion of (* t y) in t
11.221 * [taylor]: Taking taylor expansion of t in t
11.221 * [taylor]: Taking taylor expansion of y in t
11.221 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.221 * [taylor]: Taking taylor expansion of x in t
11.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
11.221 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
11.221 * [taylor]: Taking taylor expansion of (* t z) in t
11.221 * [taylor]: Taking taylor expansion of t in t
11.221 * [taylor]: Taking taylor expansion of z in t
11.221 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
11.221 * [taylor]: Taking taylor expansion of (* x y) in t
11.221 * [taylor]: Taking taylor expansion of x in t
11.221 * [taylor]: Taking taylor expansion of y in t
11.221 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z
11.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in z
11.221 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.221 * [taylor]: Taking taylor expansion of (* x z) in z
11.221 * [taylor]: Taking taylor expansion of x in z
11.221 * [taylor]: Taking taylor expansion of z in z
11.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in z
11.221 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
11.221 * [taylor]: Taking taylor expansion of (* t y) in z
11.221 * [taylor]: Taking taylor expansion of t in z
11.221 * [taylor]: Taking taylor expansion of y in z
11.221 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.221 * [taylor]: Taking taylor expansion of x in z
11.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
11.221 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.221 * [taylor]: Taking taylor expansion of (* t z) in z
11.221 * [taylor]: Taking taylor expansion of t in z
11.221 * [taylor]: Taking taylor expansion of z in z
11.221 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
11.221 * [taylor]: Taking taylor expansion of (* x y) in z
11.221 * [taylor]: Taking taylor expansion of x in z
11.221 * [taylor]: Taking taylor expansion of y in z
11.221 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y
11.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in y
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.222 * [taylor]: Taking taylor expansion of (* x z) in y
11.222 * [taylor]: Taking taylor expansion of x in y
11.222 * [taylor]: Taking taylor expansion of z in y
11.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.222 * [taylor]: Taking taylor expansion of (* t y) in y
11.222 * [taylor]: Taking taylor expansion of t in y
11.222 * [taylor]: Taking taylor expansion of y in y
11.222 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.222 * [taylor]: Taking taylor expansion of x in y
11.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.222 * [taylor]: Taking taylor expansion of (* t z) in y
11.222 * [taylor]: Taking taylor expansion of t in y
11.222 * [taylor]: Taking taylor expansion of z in y
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.222 * [taylor]: Taking taylor expansion of (* x y) in y
11.222 * [taylor]: Taking taylor expansion of x in y
11.222 * [taylor]: Taking taylor expansion of y in y
11.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
11.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in x
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.222 * [taylor]: Taking taylor expansion of (* x z) in x
11.222 * [taylor]: Taking taylor expansion of x in x
11.222 * [taylor]: Taking taylor expansion of z in x
11.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.222 * [taylor]: Taking taylor expansion of (* t y) in x
11.222 * [taylor]: Taking taylor expansion of t in x
11.222 * [taylor]: Taking taylor expansion of y in x
11.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.222 * [taylor]: Taking taylor expansion of x in x
11.222 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.222 * [taylor]: Taking taylor expansion of (* t z) in x
11.222 * [taylor]: Taking taylor expansion of t in x
11.222 * [taylor]: Taking taylor expansion of z in x
11.222 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.222 * [taylor]: Taking taylor expansion of (* x y) in x
11.222 * [taylor]: Taking taylor expansion of x in x
11.222 * [taylor]: Taking taylor expansion of y in x
11.223 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x
11.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in x
11.223 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.223 * [taylor]: Taking taylor expansion of (* x z) in x
11.223 * [taylor]: Taking taylor expansion of x in x
11.223 * [taylor]: Taking taylor expansion of z in x
11.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x
11.223 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.223 * [taylor]: Taking taylor expansion of (* t y) in x
11.223 * [taylor]: Taking taylor expansion of t in x
11.223 * [taylor]: Taking taylor expansion of y in x
11.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.223 * [taylor]: Taking taylor expansion of x in x
11.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
11.223 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.223 * [taylor]: Taking taylor expansion of (* t z) in x
11.223 * [taylor]: Taking taylor expansion of t in x
11.223 * [taylor]: Taking taylor expansion of z in x
11.223 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.223 * [taylor]: Taking taylor expansion of (* x y) in x
11.223 * [taylor]: Taking taylor expansion of x in x
11.223 * [taylor]: Taking taylor expansion of y in x
11.223 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y
11.223 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y
11.223 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.223 * [taylor]: Taking taylor expansion of z in y
11.223 * [taylor]: Taking taylor expansion of 1 in y
11.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.223 * [taylor]: Taking taylor expansion of y in y
11.223 * [taylor]: Taking taylor expansion of (neg 1) in z
11.223 * [taylor]: Taking taylor expansion of 1 in z
11.224 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
11.224 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.224 * [taylor]: Taking taylor expansion of (* t y) in y
11.224 * [taylor]: Taking taylor expansion of t in y
11.224 * [taylor]: Taking taylor expansion of y in y
11.224 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.224 * [taylor]: Taking taylor expansion of (* t z) in y
11.224 * [taylor]: Taking taylor expansion of t in y
11.224 * [taylor]: Taking taylor expansion of z in y
11.224 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.224 * [taylor]: Taking taylor expansion of t in z
11.224 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z
11.224 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.224 * [taylor]: Taking taylor expansion of z in z
11.224 * [taylor]: Taking taylor expansion of 1 in z
11.224 * [taylor]: Taking taylor expansion of 1 in t
11.224 * [taylor]: Taking taylor expansion of (neg 1) in t
11.224 * [taylor]: Taking taylor expansion of 1 in t
11.225 * [taylor]: Taking taylor expansion of 0 in y
11.225 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
11.225 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.225 * [taylor]: Taking taylor expansion of (* t z) in z
11.225 * [taylor]: Taking taylor expansion of t in z
11.225 * [taylor]: Taking taylor expansion of z in z
11.225 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
11.225 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.225 * [taylor]: Taking taylor expansion of t in t
11.225 * [taylor]: Taking taylor expansion of 0 in z
11.225 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.225 * [taylor]: Taking taylor expansion of t in t
11.225 * [taylor]: Taking taylor expansion of 1 in t
11.225 * [taylor]: Taking taylor expansion of 0 in t
11.226 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y z t) around 0
11.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t
11.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
11.226 * [taylor]: Taking taylor expansion of (* x z) in t
11.226 * [taylor]: Taking taylor expansion of x in t
11.226 * [taylor]: Taking taylor expansion of z in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
11.226 * [taylor]: Taking taylor expansion of (* t y) in t
11.226 * [taylor]: Taking taylor expansion of t in t
11.226 * [taylor]: Taking taylor expansion of y in t
11.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
11.226 * [taylor]: Taking taylor expansion of (* t z) in t
11.226 * [taylor]: Taking taylor expansion of t in t
11.226 * [taylor]: Taking taylor expansion of z in t
11.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
11.226 * [taylor]: Taking taylor expansion of (* x y) in t
11.226 * [taylor]: Taking taylor expansion of x in t
11.226 * [taylor]: Taking taylor expansion of y in t
11.226 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.226 * [taylor]: Taking taylor expansion of x in t
11.227 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z
11.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
11.227 * [taylor]: Taking taylor expansion of (* x z) in z
11.227 * [taylor]: Taking taylor expansion of x in z
11.227 * [taylor]: Taking taylor expansion of z in z
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
11.227 * [taylor]: Taking taylor expansion of (* t y) in z
11.227 * [taylor]: Taking taylor expansion of t in z
11.227 * [taylor]: Taking taylor expansion of y in z
11.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.227 * [taylor]: Taking taylor expansion of (* t z) in z
11.227 * [taylor]: Taking taylor expansion of t in z
11.227 * [taylor]: Taking taylor expansion of z in z
11.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
11.227 * [taylor]: Taking taylor expansion of (* x y) in z
11.227 * [taylor]: Taking taylor expansion of x in z
11.227 * [taylor]: Taking taylor expansion of y in z
11.227 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.227 * [taylor]: Taking taylor expansion of x in z
11.227 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y
11.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
11.227 * [taylor]: Taking taylor expansion of (* x z) in y
11.227 * [taylor]: Taking taylor expansion of x in y
11.227 * [taylor]: Taking taylor expansion of z in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.227 * [taylor]: Taking taylor expansion of (* t y) in y
11.227 * [taylor]: Taking taylor expansion of t in y
11.227 * [taylor]: Taking taylor expansion of y in y
11.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.227 * [taylor]: Taking taylor expansion of (* t z) in y
11.227 * [taylor]: Taking taylor expansion of t in y
11.227 * [taylor]: Taking taylor expansion of z in y
11.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
11.227 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
11.227 * [taylor]: Taking taylor expansion of (* x y) in y
11.227 * [taylor]: Taking taylor expansion of x in y
11.227 * [taylor]: Taking taylor expansion of y in y
11.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.228 * [taylor]: Taking taylor expansion of x in y
11.228 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
11.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.228 * [taylor]: Taking taylor expansion of (* x z) in x
11.228 * [taylor]: Taking taylor expansion of x in x
11.228 * [taylor]: Taking taylor expansion of z in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.228 * [taylor]: Taking taylor expansion of (* t y) in x
11.228 * [taylor]: Taking taylor expansion of t in x
11.228 * [taylor]: Taking taylor expansion of y in x
11.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.228 * [taylor]: Taking taylor expansion of (* t z) in x
11.228 * [taylor]: Taking taylor expansion of t in x
11.228 * [taylor]: Taking taylor expansion of z in x
11.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.228 * [taylor]: Taking taylor expansion of (* x y) in x
11.228 * [taylor]: Taking taylor expansion of x in x
11.228 * [taylor]: Taking taylor expansion of y in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.228 * [taylor]: Taking taylor expansion of x in x
11.228 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x
11.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
11.228 * [taylor]: Taking taylor expansion of (* x z) in x
11.228 * [taylor]: Taking taylor expansion of x in x
11.228 * [taylor]: Taking taylor expansion of z in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
11.228 * [taylor]: Taking taylor expansion of (* t y) in x
11.228 * [taylor]: Taking taylor expansion of t in x
11.228 * [taylor]: Taking taylor expansion of y in x
11.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x
11.228 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
11.228 * [taylor]: Taking taylor expansion of (* t z) in x
11.228 * [taylor]: Taking taylor expansion of t in x
11.228 * [taylor]: Taking taylor expansion of z in x
11.229 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
11.229 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
11.229 * [taylor]: Taking taylor expansion of (* x y) in x
11.229 * [taylor]: Taking taylor expansion of x in x
11.229 * [taylor]: Taking taylor expansion of y in x
11.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.229 * [taylor]: Taking taylor expansion of x in x
11.229 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y
11.229 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.229 * [taylor]: Taking taylor expansion of z in y
11.229 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
11.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.229 * [taylor]: Taking taylor expansion of y in y
11.229 * [taylor]: Taking taylor expansion of 1 in y
11.229 * [taylor]: Taking taylor expansion of (neg 1) in z
11.229 * [taylor]: Taking taylor expansion of 1 in z
11.229 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y
11.229 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
11.229 * [taylor]: Taking taylor expansion of (* t y) in y
11.229 * [taylor]: Taking taylor expansion of t in y
11.229 * [taylor]: Taking taylor expansion of y in y
11.230 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
11.230 * [taylor]: Taking taylor expansion of (* t z) in y
11.230 * [taylor]: Taking taylor expansion of t in y
11.230 * [taylor]: Taking taylor expansion of z in y
11.230 * [taylor]: Taking taylor expansion of (/ 1 t) in z
11.230 * [taylor]: Taking taylor expansion of t in z
11.230 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z
11.230 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.230 * [taylor]: Taking taylor expansion of z in z
11.230 * [taylor]: Taking taylor expansion of 1 in z
11.230 * [taylor]: Taking taylor expansion of 1 in t
11.230 * [taylor]: Taking taylor expansion of (neg 1) in t
11.230 * [taylor]: Taking taylor expansion of 1 in t
11.230 * [taylor]: Taking taylor expansion of 0 in y
11.230 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
11.231 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
11.231 * [taylor]: Taking taylor expansion of (* t z) in z
11.231 * [taylor]: Taking taylor expansion of t in z
11.231 * [taylor]: Taking taylor expansion of z in z
11.231 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
11.231 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.231 * [taylor]: Taking taylor expansion of t in t
11.231 * [taylor]: Taking taylor expansion of 0 in z
11.231 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.231 * [taylor]: Taking taylor expansion of t in t
11.231 * [taylor]: Taking taylor expansion of (neg 1) in t
11.231 * [taylor]: Taking taylor expansion of 1 in t
11.231 * [taylor]: Taking taylor expansion of 0 in t
11.231 * * * [progress]: simplifying candidates
11.232 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* (- y z) t)) (exp (* (- y z) (neg x))))
  (log (+ (* (- y z) t) (* (- y z) (neg x))))
  (exp (+ (* (- y z) t) (* (- y z) (neg x))))
  (* (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))) (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))))
  (cbrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (* (* (+ (* (- y z) t) (* (- y z) (neg x))) (+ (* (- y z) t) (* (- y z) (neg x)))) (+ (* (- y z) t) (* (- y z) (neg x))))
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (+ (* (* (- (pow y 3) (pow z 3)) t) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (pow y 3) (pow z 3)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (* (- (pow y 3) (pow z 3)) t) (+ y z)) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (* y y) (* z z)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ y z))
  (+ (* (* (- (* y y) (* z z)) t) (+ (* y y) (+ (* z z) (* y z)))) (* (+ y z) (* (- (pow y 3) (pow z 3)) (neg x))))
  (* (+ y z) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (* (- (* y y) (* z z)) t) (+ y z)) (* (+ y z) (* (- (* y y) (* z z)) (neg x))))
  (* (+ y z) (+ y z))
  (+ (pow (* (- y z) t) 3) (pow (* (- y z) (neg x)) 3))
  (+ (* (* (- y z) t) (* (- y z) t)) (- (* (* (- y z) (neg x)) (* (- y z) (neg x))) (* (* (- y z) t) (* (- y z) (neg x)))))
  (- (* (* (- y z) t) (* (- y z) t)) (* (* (- y z) (neg x)) (* (- y z) (neg x))))
  (- (* (- y z) t) (* (- y z) (neg x)))
  (+ t (neg x))
  (* (- y z) t)
  (+ (log (- y z)) (log t))
  (log (* (- y z) t))
  (exp (* (- y z) t))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* t t) t))
  (* (cbrt (* (- y z) t)) (cbrt (* (- y z) t)))
  (cbrt (* (- y z) t))
  (* (* (* (- y z) t) (* (- y z) t)) (* (- y z) t))
  (sqrt (* (- y z) t))
  (sqrt (* (- y z) t))
  (* (sqrt (- y z)) (sqrt t))
  (* (sqrt (- y z)) (sqrt t))
  (* (- y z) (* (cbrt t) (cbrt t)))
  (* (- y z) (sqrt t))
  (* (- y z) 1)
  (* (cbrt (- y z)) t)
  (* (sqrt (- y z)) t)
  (* (- y z) t)
  (* (- (sqrt y) (sqrt z)) t)
  (* (- y z) t)
  (* (- (pow y 3) (pow z 3)) t)
  (* (- (* y y) (* z z)) t)
  (* (- y z) (neg x))
  (+ (log (- y z)) (log (neg x)))
  (log (* (- y z) (neg x)))
  (exp (* (- y z) (neg x)))
  (* (* (* (- y z) (- y z)) (- y z)) (* (* (neg x) (neg x)) (neg x)))
  (* (cbrt (* (- y z) (neg x))) (cbrt (* (- y z) (neg x))))
  (cbrt (* (- y z) (neg x)))
  (* (* (* (- y z) (neg x)) (* (- y z) (neg x))) (* (- y z) (neg x)))
  (sqrt (* (- y z) (neg x)))
  (sqrt (* (- y z) (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (- y z) x)
  (* (- y z) (* (cbrt (neg x)) (cbrt (neg x))))
  (* (- y z) (sqrt (neg x)))
  (* (- y z) 1)
  (* (- y z) -1)
  (* (- y z) (neg (* (cbrt x) (cbrt x))))
  (* (- y z) (neg (sqrt x)))
  (* (- y z) (neg 1))
  (* (- y z) (* (cbrt x) (cbrt x)))
  (* (- y z) (sqrt x))
  (* (- y z) 1)
  (* (cbrt (- y z)) (neg x))
  (* (sqrt (- y z)) (neg x))
  (* (- y z) (neg x))
  (* (- (sqrt y) (sqrt z)) (neg x))
  (* (- y z) (neg x))
  (* (- (pow y 3) (pow z 3)) (neg x))
  (* (- (* y y) (* z z)) (neg x))
  (* (exp x) (* (exp (* (- y z) t)) (exp (* (- y z) (neg x)))))
  (* (exp x) (exp (+ (* (- y z) t) (* (- y z) (neg x)))))
  (log (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (exp (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (* (cbrt (+ x (+ (* (- y z) t) (* (- y z) (neg x))))) (cbrt (+ x (+ (* (- y z) t) (* (- y z) (neg x))))))
  (cbrt (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (* (* (+ x (+ (* (- y z) t) (* (- y z) (neg x)))) (+ x (+ (* (- y z) t) (* (- y z) (neg x))))) (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (sqrt (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (sqrt (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (+ (pow x 3) (pow (+ (* (- y z) t) (* (- y z) (neg x))) 3))
  (+ (* x x) (- (* (+ (* (- y z) t) (* (- y z) (neg x))) (+ (* (- y z) t) (* (- y z) (neg x)))) (* x (+ (* (- y z) t) (* (- y z) (neg x))))))
  (- (* x x) (* (+ (* (- y z) t) (* (- y z) (neg x))) (+ (* (- y z) t) (* (- y z) (neg x)))))
  (- x (+ (* (- y z) t) (* (- y z) (neg x))))
  (+ x (+ (* (- y z) t) (* (- y z) (neg x))))
  (+ x (* (- y z) t))
  (+ x (* (- y z) t))
  (+ x (* (- y z) t))
  0
  (- (* x z) (+ (* t z) (* x y)))
  (- (* x z) (+ (* t z) (* x y)))
  0
  (- (* t y) (* t z))
  (- (* t y) (* t z))
  0
  (- (* x z) (* x y))
  (- (* x z) (* x y))
  (- (+ (* x z) x) (* x y))
  (- (+ (* x z) (* t y)) (* t z))
  (- (+ (* x z) (* t y)) (* t z))
11.238 * * [simplify]: iteration  0 :  464  enodes  (cost  589 )
11.246 * * [simplify]: iteration  1 :  2070  enodes  (cost  523 )
11.286 * * [simplify]: iteration  2 :  5003  enodes  (cost  518 )
11.290 * [simplify]: Simplified to:
   (pow (exp (- y z)) (- t x))
  (+ (log (- y z)) (log (- t x)))
  (pow (exp (- y z)) (- t x))
  (* (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))) (cbrt (+ (* (- y z) t) (* (- y z) (neg x)))))
  (cbrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (* (pow (- y z) 3) (pow (- t x) 3))
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (sqrt (+ (* (- y z) t) (* (- y z) (neg x))))
  (* (+ (* z (+ z y)) (* y y)) (+ (* (- (pow y 3) (pow z 3)) (neg x)) (* (- (pow y 3) (pow z 3)) t)))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ (* y y) (+ (* z z) (* y z))))
  (+ (* (* (- (pow y 3) (pow z 3)) t) (+ y z)) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (* y y) (* z z)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ y z))
  (+ (* (* (- (* y y) (* z z)) t) (+ (* y y) (+ (* z z) (* y z)))) (* (+ y z) (* (- (pow y 3) (pow z 3)) (neg x))))
  (* (+ (* y y) (+ (* z z) (* y z))) (+ y z))
  (* (+ y z) (+ (* (- (* y y) (* z z)) (neg x)) (* (- (* y y) (* z z)) t)))
  (* (+ y z) (+ y z))
  (* (pow (- y z) 3) (+ (pow (neg x) 3) (pow t 3)))
  (+ (* (* (- y z) (- y z)) (+ (* t t) (* x x))) (* (* (- y z) x) (* t (- y z))))
  (* (* (- y z) (- y z)) (- (* t t) (* x x)))
  (* (- y z) (- t (neg x)))
  (- t x)
  (* t (- y z))
  (log (* (- y z) t))
  (log (* (- y z) t))
  (exp (* (- y z) t))
  (pow (* (- y z) t) 3)
  (* (cbrt (* (- y z) t)) (cbrt (* (- y z) t)))
  (cbrt (* (- y z) t))
  (pow (* (- y z) t) 3)
  (sqrt (* (- y z) t))
  (sqrt (* (- y z) t))
  (* (sqrt (- y z)) (sqrt t))
  (* (sqrt (- y z)) (sqrt t))
  (* (- y z) (* (cbrt t) (cbrt t)))
  (* (- y z) (sqrt t))
  (- y z)
  (* (cbrt (- y z)) t)
  (* (sqrt (- y z)) t)
  (* t (- y z))
  (* (- (sqrt y) (sqrt z)) t)
  (* t (- y z))
  (* (- (pow y 3) (pow z 3)) t)
  (* (- (* y y) (* z z)) t)
  (* x (- z y))
  (log (* (- y z) (neg x)))
  (log (* (- y z) (neg x)))
  (exp (* (- y z) (neg x)))
  (pow (* (- y z) (neg x)) 3)
  (* (cbrt (* (- y z) (neg x))) (cbrt (* (- y z) (neg x))))
  (cbrt (* (- y z) (neg x)))
  (pow (* (- y z) (neg x)) 3)
  (sqrt (* (- y z) (neg x)))
  (sqrt (* (- y z) (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (sqrt (- y z)) (sqrt (neg x)))
  (* (- y z) x)
  (* (- y z) (* (cbrt (neg x)) (cbrt (neg x))))
  (* (- y z) (sqrt (neg x)))
  (- y z)
  (- z y)
  (* (- y z) (neg (* (cbrt x) (cbrt x))))
  (* (- y z) (neg (sqrt x)))
  (- z y)
  (* (- y z) (* (cbrt x) (cbrt x)))
  (* (- y z) (sqrt x))
  (- y z)
  (* (cbrt (- y z)) (neg x))
  (* (sqrt (- y z)) (neg x))
  (* x (- z y))
  (* (- (sqrt y) (sqrt z)) (neg x))
  (* x (- z y))
  (* (- (pow y 3) (pow z 3)) (neg x))
  (* (- (* y y) (* z z)) (neg x))
  (exp (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (exp (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (log (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (exp (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (* (cbrt (+ x (+ (* (- y z) t) (* (- y z) (neg x))))) (cbrt (+ x (+ (* (- y z) t) (* (- y z) (neg x))))))
  (cbrt (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (pow (+ (* (- y z) (+ t (neg x))) x) 3)
  (sqrt (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (sqrt (+ x (+ (* (- y z) t) (* (- y z) (neg x)))))
  (+ (pow x 3) (pow (+ (* (- y z) t) (* (- y z) (neg x))) 3))
  (+ (* (- y z) (* (- t x) (- (* (- y z) (+ t (neg x))) x))) (* x x))
  (- (* x x) (* (* (- y z) (- y z)) (* (- t x) (- t x))))
  (+ (* (* (- y z) -1) (- t x)) x)
  (+ (* (- y z) (+ t (neg x))) x)
  (+ x (* (- y z) t))
  (+ x (* (- y z) t))
  (+ x (* (- y z) t))
  0
  (- (* x (- z y)) (* t z))
  (- (* x (- z y)) (* t z))
  0
  (* t (- y z))
  (* t (- y z))
  0
  (* x (- z y))
  (* x (- z y))
  (+ x (* x (- z y)))
  (+ (* x z) (* t (- y z)))
  (+ (* x z) (* t (- y z)))
11.290 * * * [progress]: adding candidates to table
11.418 * * [progress]: iteration 3 / 4
11.418 * * * [progress]: picking best candidate
11.434 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x)))))>
11.434 * * * [progress]: localizing error
11.447 * * * [progress]: generating rewritten candidates
11.447 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
11.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
11.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1)
11.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1)
11.464 * * * [progress]: generating series expansions
11.464 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
11.464 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
11.464 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.464 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.464 * [taylor]: Taking taylor expansion of 1/3 in x
11.464 * [taylor]: Taking taylor expansion of (log x) in x
11.464 * [taylor]: Taking taylor expansion of x in x
11.464 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.464 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.464 * [taylor]: Taking taylor expansion of 1/3 in x
11.464 * [taylor]: Taking taylor expansion of (log x) in x
11.464 * [taylor]: Taking taylor expansion of x in x
11.475 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
11.475 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.476 * [taylor]: Taking taylor expansion of 1/3 in x
11.476 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.476 * [taylor]: Taking taylor expansion of x in x
11.476 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.476 * [taylor]: Taking taylor expansion of 1/3 in x
11.476 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.476 * [taylor]: Taking taylor expansion of x in x
11.488 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
11.488 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.488 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.488 * [taylor]: Taking taylor expansion of -1 in x
11.488 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.488 * [taylor]: Taking taylor expansion of 1/3 in x
11.488 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.488 * [taylor]: Taking taylor expansion of x in x
11.489 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.489 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.489 * [taylor]: Taking taylor expansion of -1 in x
11.489 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.489 * [taylor]: Taking taylor expansion of 1/3 in x
11.489 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.489 * [taylor]: Taking taylor expansion of x in x
11.503 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
11.503 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
11.503 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.503 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.503 * [taylor]: Taking taylor expansion of 1/3 in x
11.503 * [taylor]: Taking taylor expansion of (log x) in x
11.503 * [taylor]: Taking taylor expansion of x in x
11.503 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.504 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.504 * [taylor]: Taking taylor expansion of 1/3 in x
11.504 * [taylor]: Taking taylor expansion of (log x) in x
11.504 * [taylor]: Taking taylor expansion of x in x
11.515 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
11.515 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.515 * [taylor]: Taking taylor expansion of 1/3 in x
11.515 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.515 * [taylor]: Taking taylor expansion of x in x
11.515 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.515 * [taylor]: Taking taylor expansion of 1/3 in x
11.515 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.515 * [taylor]: Taking taylor expansion of x in x
11.530 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
11.530 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.530 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.530 * [taylor]: Taking taylor expansion of -1 in x
11.530 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.530 * [taylor]: Taking taylor expansion of 1/3 in x
11.530 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.530 * [taylor]: Taking taylor expansion of x in x
11.530 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.530 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.530 * [taylor]: Taking taylor expansion of -1 in x
11.531 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.531 * [taylor]: Taking taylor expansion of 1/3 in x
11.531 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.531 * [taylor]: Taking taylor expansion of x in x
11.545 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1)
11.545 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
11.545 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.545 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.545 * [taylor]: Taking taylor expansion of 1/3 in x
11.545 * [taylor]: Taking taylor expansion of (log x) in x
11.545 * [taylor]: Taking taylor expansion of x in x
11.546 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.546 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.546 * [taylor]: Taking taylor expansion of 1/3 in x
11.546 * [taylor]: Taking taylor expansion of (log x) in x
11.546 * [taylor]: Taking taylor expansion of x in x
11.557 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
11.557 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.557 * [taylor]: Taking taylor expansion of 1/3 in x
11.557 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.557 * [taylor]: Taking taylor expansion of x in x
11.557 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.557 * [taylor]: Taking taylor expansion of 1/3 in x
11.557 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.557 * [taylor]: Taking taylor expansion of x in x
11.569 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
11.569 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.569 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.569 * [taylor]: Taking taylor expansion of -1 in x
11.569 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.569 * [taylor]: Taking taylor expansion of 1/3 in x
11.569 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.569 * [taylor]: Taking taylor expansion of x in x
11.570 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.570 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.570 * [taylor]: Taking taylor expansion of -1 in x
11.570 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.570 * [taylor]: Taking taylor expansion of 1/3 in x
11.570 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.570 * [taylor]: Taking taylor expansion of x in x
11.584 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1)
11.584 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
11.584 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
11.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
11.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
11.584 * [taylor]: Taking taylor expansion of 1/3 in x
11.584 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
11.584 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.584 * [taylor]: Taking taylor expansion of x in x
11.585 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
11.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
11.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
11.585 * [taylor]: Taking taylor expansion of 1/3 in x
11.585 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
11.585 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.585 * [taylor]: Taking taylor expansion of x in x
11.592 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
11.592 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
11.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
11.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
11.592 * [taylor]: Taking taylor expansion of 1/3 in x
11.592 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
11.592 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.592 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.592 * [taylor]: Taking taylor expansion of x in x
11.592 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
11.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
11.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
11.592 * [taylor]: Taking taylor expansion of 1/3 in x
11.592 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
11.592 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.592 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.592 * [taylor]: Taking taylor expansion of x in x
11.599 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
11.599 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
11.599 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
11.599 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.599 * [taylor]: Taking taylor expansion of -1 in x
11.599 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
11.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
11.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
11.599 * [taylor]: Taking taylor expansion of 1/3 in x
11.599 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
11.599 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.599 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.599 * [taylor]: Taking taylor expansion of x in x
11.600 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
11.600 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
11.600 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.600 * [taylor]: Taking taylor expansion of -1 in x
11.600 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
11.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
11.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
11.600 * [taylor]: Taking taylor expansion of 1/3 in x
11.600 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
11.600 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.600 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.600 * [taylor]: Taking taylor expansion of x in x
11.609 * * * [progress]: simplifying candidates
11.610 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (+ 1/3 1/3)
  (+ 1 1)
  (* x x)
  (* (cbrt x) (cbrt x))
  (+ 1 1)
  (+ (log (cbrt x)) (log (cbrt x)))
  (log (* (cbrt x) (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt x) (cbrt x))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 1 1)
  (* (cbrt x) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (* (cbrt x) (cbrt 1))
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (* (cbrt x) 1)
  (* (cbrt (cbrt x)) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt x))
  (* (sqrt (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/3 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))
11.614 * * [simplify]: iteration  0 :  148  enodes  (cost  349 )
11.617 * * [simplify]: iteration  1 :  471  enodes  (cost  322 )
11.628 * * [simplify]: iteration  2 :  2276  enodes  (cost  265 )
11.680 * * [simplify]: iteration  3 :  5002  enodes  (cost  252 )
11.682 * [simplify]: Simplified to:
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  2/3
  2
  (* x x)
  (pow x 2/3)
  2
  (* 2 (log (cbrt x)))
  (* 2 (log (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* x x)
  (fabs (cbrt x))
  (fabs (cbrt x))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  1
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  1
  (pow x 2/3)
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  2/3
  2
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (cbrt x)
  (pow (cbrt (cbrt x)) 5)
  (pow (sqrt (cbrt x)) 3)
  (cbrt x)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt x) (cbrt (sqrt x)))
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (pow (sqrt (cbrt x)) 3)
  (pow x 2/3)
  (cbrt x)
  (cbrt x)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (cbrt x)
  (cbrt x)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (cbrt x)
  (cbrt x)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (pow x 2/3)
  (pow x 2/3)
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))
11.683 * * * [progress]: adding candidates to table
11.754 * * [progress]: iteration 4 / 4
11.755 * * * [progress]: picking best candidate
11.768 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))>
11.768 * * * [progress]: localizing error
11.780 * * * [progress]: generating rewritten candidates
11.780 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
11.783 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
11.787 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
11.789 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
11.803 * * * [progress]: generating series expansions
11.803 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
11.803 * [approximate]: Taking taylor expansion of (pow (- t x) 1/3) in (t x) around 0
11.804 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in x
11.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in x
11.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in x
11.804 * [taylor]: Taking taylor expansion of 1/3 in x
11.804 * [taylor]: Taking taylor expansion of (log (- t x)) in x
11.804 * [taylor]: Taking taylor expansion of (- t x) in x
11.804 * [taylor]: Taking taylor expansion of t in x
11.804 * [taylor]: Taking taylor expansion of x in x
11.804 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
11.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
11.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
11.804 * [taylor]: Taking taylor expansion of 1/3 in t
11.804 * [taylor]: Taking taylor expansion of (log (- t x)) in t
11.804 * [taylor]: Taking taylor expansion of (- t x) in t
11.804 * [taylor]: Taking taylor expansion of t in t
11.804 * [taylor]: Taking taylor expansion of x in t
11.804 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
11.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
11.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
11.804 * [taylor]: Taking taylor expansion of 1/3 in t
11.804 * [taylor]: Taking taylor expansion of (log (- t x)) in t
11.804 * [taylor]: Taking taylor expansion of (- t x) in t
11.804 * [taylor]: Taking taylor expansion of t in t
11.804 * [taylor]: Taking taylor expansion of x in t
11.804 * [taylor]: Taking taylor expansion of (pow (neg x) 1/3) in x
11.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg x)))) in x
11.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg x))) in x
11.804 * [taylor]: Taking taylor expansion of 1/3 in x
11.804 * [taylor]: Taking taylor expansion of (log (neg x)) in x
11.804 * [taylor]: Taking taylor expansion of (neg x) in x
11.804 * [taylor]: Taking taylor expansion of x in x
11.805 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow x 2)) 1/3)) in x
11.805 * [taylor]: Taking taylor expansion of -1/3 in x
11.805 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 2)) 1/3) in x
11.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 2))))) in x
11.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 2)))) in x
11.805 * [taylor]: Taking taylor expansion of 1/3 in x
11.805 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 2))) in x
11.805 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
11.805 * [taylor]: Taking taylor expansion of -1 in x
11.805 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.805 * [taylor]: Taking taylor expansion of x in x
11.806 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow x 5)) 1/3)) in x
11.806 * [taylor]: Taking taylor expansion of -1/9 in x
11.807 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 5)) 1/3) in x
11.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 5))))) in x
11.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 5)))) in x
11.807 * [taylor]: Taking taylor expansion of 1/3 in x
11.807 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 5))) in x
11.807 * [taylor]: Taking taylor expansion of (/ -1 (pow x 5)) in x
11.807 * [taylor]: Taking taylor expansion of -1 in x
11.807 * [taylor]: Taking taylor expansion of (pow x 5) in x
11.807 * [taylor]: Taking taylor expansion of x in x
11.807 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in (t x) around 0
11.807 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in x
11.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in x
11.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in x
11.807 * [taylor]: Taking taylor expansion of 1/3 in x
11.807 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in x
11.807 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
11.807 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.808 * [taylor]: Taking taylor expansion of t in x
11.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.808 * [taylor]: Taking taylor expansion of x in x
11.808 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
11.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
11.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
11.808 * [taylor]: Taking taylor expansion of 1/3 in t
11.808 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
11.808 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.808 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.808 * [taylor]: Taking taylor expansion of t in t
11.808 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.808 * [taylor]: Taking taylor expansion of x in t
11.808 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
11.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
11.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
11.808 * [taylor]: Taking taylor expansion of 1/3 in t
11.808 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
11.808 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.808 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.808 * [taylor]: Taking taylor expansion of t in t
11.808 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.808 * [taylor]: Taking taylor expansion of x in t
11.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.808 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.809 * [taylor]: Taking taylor expansion of 1/3 in x
11.809 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.809 * [taylor]: Taking taylor expansion of (log 1) in x
11.809 * [taylor]: Taking taylor expansion of 1 in x
11.809 * [taylor]: Taking taylor expansion of (log t) in x
11.809 * [taylor]: Taking taylor expansion of t in x
11.809 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log t)))) x)) in x
11.809 * [taylor]: Taking taylor expansion of -1/3 in x
11.809 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) x) in x
11.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.809 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.809 * [taylor]: Taking taylor expansion of 1/3 in x
11.809 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.809 * [taylor]: Taking taylor expansion of (log 1) in x
11.809 * [taylor]: Taking taylor expansion of 1 in x
11.809 * [taylor]: Taking taylor expansion of (log t) in x
11.809 * [taylor]: Taking taylor expansion of t in x
11.810 * [taylor]: Taking taylor expansion of x in x
11.812 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2))) in x
11.812 * [taylor]: Taking taylor expansion of -1/9 in x
11.812 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2)) in x
11.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.812 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.812 * [taylor]: Taking taylor expansion of 1/3 in x
11.812 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.812 * [taylor]: Taking taylor expansion of (log 1) in x
11.812 * [taylor]: Taking taylor expansion of 1 in x
11.812 * [taylor]: Taking taylor expansion of (log t) in x
11.812 * [taylor]: Taking taylor expansion of t in x
11.812 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.812 * [taylor]: Taking taylor expansion of x in x
11.816 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3))) in x
11.816 * [taylor]: Taking taylor expansion of -5/81 in x
11.816 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3)) in x
11.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.816 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.816 * [taylor]: Taking taylor expansion of 1/3 in x
11.816 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.816 * [taylor]: Taking taylor expansion of (log 1) in x
11.816 * [taylor]: Taking taylor expansion of 1 in x
11.816 * [taylor]: Taking taylor expansion of (log t) in x
11.816 * [taylor]: Taking taylor expansion of t in x
11.816 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.816 * [taylor]: Taking taylor expansion of x in x
11.819 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in (t x) around 0
11.819 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in x
11.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in x
11.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in x
11.819 * [taylor]: Taking taylor expansion of 1/3 in x
11.819 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in x
11.819 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
11.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.819 * [taylor]: Taking taylor expansion of x in x
11.819 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.819 * [taylor]: Taking taylor expansion of t in x
11.819 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
11.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
11.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
11.819 * [taylor]: Taking taylor expansion of 1/3 in t
11.819 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
11.819 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.819 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.819 * [taylor]: Taking taylor expansion of x in t
11.819 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.819 * [taylor]: Taking taylor expansion of t in t
11.819 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
11.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
11.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
11.819 * [taylor]: Taking taylor expansion of 1/3 in t
11.819 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
11.819 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.819 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.819 * [taylor]: Taking taylor expansion of x in t
11.819 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.819 * [taylor]: Taking taylor expansion of t in t
11.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.820 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.820 * [taylor]: Taking taylor expansion of 1/3 in x
11.820 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.820 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.820 * [taylor]: Taking taylor expansion of (neg 1) in x
11.820 * [taylor]: Taking taylor expansion of 1 in x
11.820 * [taylor]: Taking taylor expansion of (log t) in x
11.820 * [taylor]: Taking taylor expansion of t in x
11.821 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x)) in x
11.821 * [taylor]: Taking taylor expansion of -1/3 in x
11.821 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x) in x
11.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.821 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.821 * [taylor]: Taking taylor expansion of 1/3 in x
11.821 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.821 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.821 * [taylor]: Taking taylor expansion of (neg 1) in x
11.821 * [taylor]: Taking taylor expansion of 1 in x
11.821 * [taylor]: Taking taylor expansion of (log t) in x
11.821 * [taylor]: Taking taylor expansion of t in x
11.821 * [taylor]: Taking taylor expansion of x in x
11.823 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2))) in x
11.823 * [taylor]: Taking taylor expansion of -1/9 in x
11.823 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2)) in x
11.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.823 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.823 * [taylor]: Taking taylor expansion of 1/3 in x
11.823 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.823 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.823 * [taylor]: Taking taylor expansion of (neg 1) in x
11.823 * [taylor]: Taking taylor expansion of 1 in x
11.823 * [taylor]: Taking taylor expansion of (log t) in x
11.823 * [taylor]: Taking taylor expansion of t in x
11.823 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.823 * [taylor]: Taking taylor expansion of x in x
11.827 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3))) in x
11.827 * [taylor]: Taking taylor expansion of -5/81 in x
11.827 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3)) in x
11.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.827 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.827 * [taylor]: Taking taylor expansion of 1/3 in x
11.827 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.827 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.827 * [taylor]: Taking taylor expansion of (neg 1) in x
11.827 * [taylor]: Taking taylor expansion of 1 in x
11.827 * [taylor]: Taking taylor expansion of (log t) in x
11.827 * [taylor]: Taking taylor expansion of t in x
11.827 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.827 * [taylor]: Taking taylor expansion of x in x
11.830 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
11.830 * [approximate]: Taking taylor expansion of (pow (- t x) 1/3) in (t x) around 0
11.830 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in x
11.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in x
11.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in x
11.830 * [taylor]: Taking taylor expansion of 1/3 in x
11.830 * [taylor]: Taking taylor expansion of (log (- t x)) in x
11.830 * [taylor]: Taking taylor expansion of (- t x) in x
11.830 * [taylor]: Taking taylor expansion of t in x
11.830 * [taylor]: Taking taylor expansion of x in x
11.831 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
11.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
11.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
11.831 * [taylor]: Taking taylor expansion of 1/3 in t
11.831 * [taylor]: Taking taylor expansion of (log (- t x)) in t
11.831 * [taylor]: Taking taylor expansion of (- t x) in t
11.831 * [taylor]: Taking taylor expansion of t in t
11.831 * [taylor]: Taking taylor expansion of x in t
11.831 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
11.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
11.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
11.831 * [taylor]: Taking taylor expansion of 1/3 in t
11.831 * [taylor]: Taking taylor expansion of (log (- t x)) in t
11.831 * [taylor]: Taking taylor expansion of (- t x) in t
11.831 * [taylor]: Taking taylor expansion of t in t
11.831 * [taylor]: Taking taylor expansion of x in t
11.831 * [taylor]: Taking taylor expansion of (pow (neg x) 1/3) in x
11.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg x)))) in x
11.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg x))) in x
11.831 * [taylor]: Taking taylor expansion of 1/3 in x
11.831 * [taylor]: Taking taylor expansion of (log (neg x)) in x
11.831 * [taylor]: Taking taylor expansion of (neg x) in x
11.831 * [taylor]: Taking taylor expansion of x in x
11.832 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow x 2)) 1/3)) in x
11.832 * [taylor]: Taking taylor expansion of -1/3 in x
11.832 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 2)) 1/3) in x
11.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 2))))) in x
11.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 2)))) in x
11.832 * [taylor]: Taking taylor expansion of 1/3 in x
11.832 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 2))) in x
11.832 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
11.832 * [taylor]: Taking taylor expansion of -1 in x
11.832 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.832 * [taylor]: Taking taylor expansion of x in x
11.836 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow x 5)) 1/3)) in x
11.836 * [taylor]: Taking taylor expansion of -1/9 in x
11.836 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 5)) 1/3) in x
11.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 5))))) in x
11.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 5)))) in x
11.836 * [taylor]: Taking taylor expansion of 1/3 in x
11.836 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 5))) in x
11.836 * [taylor]: Taking taylor expansion of (/ -1 (pow x 5)) in x
11.836 * [taylor]: Taking taylor expansion of -1 in x
11.836 * [taylor]: Taking taylor expansion of (pow x 5) in x
11.836 * [taylor]: Taking taylor expansion of x in x
11.837 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in (t x) around 0
11.837 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in x
11.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in x
11.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in x
11.837 * [taylor]: Taking taylor expansion of 1/3 in x
11.837 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in x
11.837 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
11.837 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.837 * [taylor]: Taking taylor expansion of t in x
11.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.837 * [taylor]: Taking taylor expansion of x in x
11.837 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
11.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
11.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
11.837 * [taylor]: Taking taylor expansion of 1/3 in t
11.837 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
11.837 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.837 * [taylor]: Taking taylor expansion of t in t
11.837 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.837 * [taylor]: Taking taylor expansion of x in t
11.838 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
11.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
11.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
11.838 * [taylor]: Taking taylor expansion of 1/3 in t
11.838 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
11.838 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.838 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.838 * [taylor]: Taking taylor expansion of t in t
11.838 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.838 * [taylor]: Taking taylor expansion of x in t
11.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.838 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.838 * [taylor]: Taking taylor expansion of 1/3 in x
11.838 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.838 * [taylor]: Taking taylor expansion of (log 1) in x
11.838 * [taylor]: Taking taylor expansion of 1 in x
11.838 * [taylor]: Taking taylor expansion of (log t) in x
11.838 * [taylor]: Taking taylor expansion of t in x
11.839 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log t)))) x)) in x
11.839 * [taylor]: Taking taylor expansion of -1/3 in x
11.839 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) x) in x
11.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.839 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.839 * [taylor]: Taking taylor expansion of 1/3 in x
11.839 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.839 * [taylor]: Taking taylor expansion of (log 1) in x
11.839 * [taylor]: Taking taylor expansion of 1 in x
11.839 * [taylor]: Taking taylor expansion of (log t) in x
11.839 * [taylor]: Taking taylor expansion of t in x
11.839 * [taylor]: Taking taylor expansion of x in x
11.841 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2))) in x
11.841 * [taylor]: Taking taylor expansion of -1/9 in x
11.841 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2)) in x
11.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.841 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.841 * [taylor]: Taking taylor expansion of 1/3 in x
11.841 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.841 * [taylor]: Taking taylor expansion of (log 1) in x
11.841 * [taylor]: Taking taylor expansion of 1 in x
11.841 * [taylor]: Taking taylor expansion of (log t) in x
11.841 * [taylor]: Taking taylor expansion of t in x
11.841 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.841 * [taylor]: Taking taylor expansion of x in x
11.845 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3))) in x
11.845 * [taylor]: Taking taylor expansion of -5/81 in x
11.845 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3)) in x
11.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.845 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.845 * [taylor]: Taking taylor expansion of 1/3 in x
11.845 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.845 * [taylor]: Taking taylor expansion of (log 1) in x
11.845 * [taylor]: Taking taylor expansion of 1 in x
11.845 * [taylor]: Taking taylor expansion of (log t) in x
11.845 * [taylor]: Taking taylor expansion of t in x
11.845 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.845 * [taylor]: Taking taylor expansion of x in x
11.848 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in (t x) around 0
11.848 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in x
11.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in x
11.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in x
11.848 * [taylor]: Taking taylor expansion of 1/3 in x
11.848 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in x
11.848 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
11.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.848 * [taylor]: Taking taylor expansion of x in x
11.848 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.848 * [taylor]: Taking taylor expansion of t in x
11.848 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
11.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
11.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
11.848 * [taylor]: Taking taylor expansion of 1/3 in t
11.848 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
11.848 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.848 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.848 * [taylor]: Taking taylor expansion of x in t
11.848 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.848 * [taylor]: Taking taylor expansion of t in t
11.849 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
11.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
11.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
11.849 * [taylor]: Taking taylor expansion of 1/3 in t
11.849 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
11.849 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.849 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.849 * [taylor]: Taking taylor expansion of x in t
11.849 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.849 * [taylor]: Taking taylor expansion of t in t
11.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.849 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.849 * [taylor]: Taking taylor expansion of 1/3 in x
11.849 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.849 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.849 * [taylor]: Taking taylor expansion of (neg 1) in x
11.849 * [taylor]: Taking taylor expansion of 1 in x
11.849 * [taylor]: Taking taylor expansion of (log t) in x
11.849 * [taylor]: Taking taylor expansion of t in x
11.850 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x)) in x
11.850 * [taylor]: Taking taylor expansion of -1/3 in x
11.850 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x) in x
11.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.850 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.850 * [taylor]: Taking taylor expansion of 1/3 in x
11.850 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.850 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.850 * [taylor]: Taking taylor expansion of (neg 1) in x
11.850 * [taylor]: Taking taylor expansion of 1 in x
11.850 * [taylor]: Taking taylor expansion of (log t) in x
11.850 * [taylor]: Taking taylor expansion of t in x
11.850 * [taylor]: Taking taylor expansion of x in x
11.852 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2))) in x
11.852 * [taylor]: Taking taylor expansion of -1/9 in x
11.852 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2)) in x
11.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.852 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.852 * [taylor]: Taking taylor expansion of 1/3 in x
11.852 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.852 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.852 * [taylor]: Taking taylor expansion of (neg 1) in x
11.852 * [taylor]: Taking taylor expansion of 1 in x
11.852 * [taylor]: Taking taylor expansion of (log t) in x
11.852 * [taylor]: Taking taylor expansion of t in x
11.852 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.852 * [taylor]: Taking taylor expansion of x in x
11.856 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3))) in x
11.856 * [taylor]: Taking taylor expansion of -5/81 in x
11.856 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3)) in x
11.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.856 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.856 * [taylor]: Taking taylor expansion of 1/3 in x
11.856 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.856 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.856 * [taylor]: Taking taylor expansion of (neg 1) in x
11.856 * [taylor]: Taking taylor expansion of 1 in x
11.856 * [taylor]: Taking taylor expansion of (log t) in x
11.857 * [taylor]: Taking taylor expansion of t in x
11.857 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.857 * [taylor]: Taking taylor expansion of x in x
11.859 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
11.859 * [approximate]: Taking taylor expansion of (pow (- t x) 1/3) in (t x) around 0
11.859 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in x
11.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in x
11.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in x
11.859 * [taylor]: Taking taylor expansion of 1/3 in x
11.859 * [taylor]: Taking taylor expansion of (log (- t x)) in x
11.860 * [taylor]: Taking taylor expansion of (- t x) in x
11.860 * [taylor]: Taking taylor expansion of t in x
11.860 * [taylor]: Taking taylor expansion of x in x
11.860 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
11.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
11.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
11.860 * [taylor]: Taking taylor expansion of 1/3 in t
11.860 * [taylor]: Taking taylor expansion of (log (- t x)) in t
11.860 * [taylor]: Taking taylor expansion of (- t x) in t
11.860 * [taylor]: Taking taylor expansion of t in t
11.860 * [taylor]: Taking taylor expansion of x in t
11.860 * [taylor]: Taking taylor expansion of (pow (- t x) 1/3) in t
11.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- t x)))) in t
11.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (- t x))) in t
11.860 * [taylor]: Taking taylor expansion of 1/3 in t
11.860 * [taylor]: Taking taylor expansion of (log (- t x)) in t
11.860 * [taylor]: Taking taylor expansion of (- t x) in t
11.860 * [taylor]: Taking taylor expansion of t in t
11.860 * [taylor]: Taking taylor expansion of x in t
11.860 * [taylor]: Taking taylor expansion of (pow (neg x) 1/3) in x
11.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (neg x)))) in x
11.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (neg x))) in x
11.860 * [taylor]: Taking taylor expansion of 1/3 in x
11.860 * [taylor]: Taking taylor expansion of (log (neg x)) in x
11.860 * [taylor]: Taking taylor expansion of (neg x) in x
11.860 * [taylor]: Taking taylor expansion of x in x
11.861 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow x 2)) 1/3)) in x
11.861 * [taylor]: Taking taylor expansion of -1/3 in x
11.861 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 2)) 1/3) in x
11.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 2))))) in x
11.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 2)))) in x
11.861 * [taylor]: Taking taylor expansion of 1/3 in x
11.861 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 2))) in x
11.861 * [taylor]: Taking taylor expansion of (/ -1 (pow x 2)) in x
11.861 * [taylor]: Taking taylor expansion of -1 in x
11.861 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.861 * [taylor]: Taking taylor expansion of x in x
11.862 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow x 5)) 1/3)) in x
11.862 * [taylor]: Taking taylor expansion of -1/9 in x
11.862 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow x 5)) 1/3) in x
11.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow x 5))))) in x
11.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow x 5)))) in x
11.862 * [taylor]: Taking taylor expansion of 1/3 in x
11.862 * [taylor]: Taking taylor expansion of (log (/ -1 (pow x 5))) in x
11.862 * [taylor]: Taking taylor expansion of (/ -1 (pow x 5)) in x
11.862 * [taylor]: Taking taylor expansion of -1 in x
11.862 * [taylor]: Taking taylor expansion of (pow x 5) in x
11.862 * [taylor]: Taking taylor expansion of x in x
11.863 * [approximate]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in (t x) around 0
11.863 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in x
11.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in x
11.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in x
11.863 * [taylor]: Taking taylor expansion of 1/3 in x
11.863 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in x
11.863 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
11.863 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.863 * [taylor]: Taking taylor expansion of t in x
11.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.863 * [taylor]: Taking taylor expansion of x in x
11.864 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
11.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
11.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
11.864 * [taylor]: Taking taylor expansion of 1/3 in t
11.864 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
11.864 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.864 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.864 * [taylor]: Taking taylor expansion of t in t
11.864 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.864 * [taylor]: Taking taylor expansion of x in t
11.864 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 1/3) in t
11.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 t) (/ 1 x))))) in t
11.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 t) (/ 1 x)))) in t
11.864 * [taylor]: Taking taylor expansion of 1/3 in t
11.864 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 x))) in t
11.864 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.864 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.864 * [taylor]: Taking taylor expansion of t in t
11.864 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.864 * [taylor]: Taking taylor expansion of x in t
11.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.864 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.864 * [taylor]: Taking taylor expansion of 1/3 in x
11.864 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.864 * [taylor]: Taking taylor expansion of (log 1) in x
11.864 * [taylor]: Taking taylor expansion of 1 in x
11.864 * [taylor]: Taking taylor expansion of (log t) in x
11.865 * [taylor]: Taking taylor expansion of t in x
11.865 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log 1) (log t)))) x)) in x
11.865 * [taylor]: Taking taylor expansion of -1/3 in x
11.865 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) x) in x
11.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.865 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.865 * [taylor]: Taking taylor expansion of 1/3 in x
11.865 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.865 * [taylor]: Taking taylor expansion of (log 1) in x
11.865 * [taylor]: Taking taylor expansion of 1 in x
11.865 * [taylor]: Taking taylor expansion of (log t) in x
11.865 * [taylor]: Taking taylor expansion of t in x
11.866 * [taylor]: Taking taylor expansion of x in x
11.867 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2))) in x
11.867 * [taylor]: Taking taylor expansion of -1/9 in x
11.867 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 2)) in x
11.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.867 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.867 * [taylor]: Taking taylor expansion of 1/3 in x
11.867 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.867 * [taylor]: Taking taylor expansion of (log 1) in x
11.867 * [taylor]: Taking taylor expansion of 1 in x
11.867 * [taylor]: Taking taylor expansion of (log t) in x
11.867 * [taylor]: Taking taylor expansion of t in x
11.868 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.868 * [taylor]: Taking taylor expansion of x in x
11.871 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3))) in x
11.871 * [taylor]: Taking taylor expansion of -5/81 in x
11.871 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log t)))) (pow x 3)) in x
11.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log t)))) in x
11.871 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log t))) in x
11.871 * [taylor]: Taking taylor expansion of 1/3 in x
11.871 * [taylor]: Taking taylor expansion of (- (log 1) (log t)) in x
11.871 * [taylor]: Taking taylor expansion of (log 1) in x
11.871 * [taylor]: Taking taylor expansion of 1 in x
11.871 * [taylor]: Taking taylor expansion of (log t) in x
11.871 * [taylor]: Taking taylor expansion of t in x
11.872 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.872 * [taylor]: Taking taylor expansion of x in x
11.874 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in (t x) around 0
11.874 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in x
11.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in x
11.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in x
11.874 * [taylor]: Taking taylor expansion of 1/3 in x
11.874 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in x
11.874 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
11.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.874 * [taylor]: Taking taylor expansion of x in x
11.874 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.874 * [taylor]: Taking taylor expansion of t in x
11.874 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
11.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
11.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
11.875 * [taylor]: Taking taylor expansion of 1/3 in t
11.875 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
11.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.875 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.875 * [taylor]: Taking taylor expansion of x in t
11.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.875 * [taylor]: Taking taylor expansion of t in t
11.875 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 1/3) in t
11.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 t))))) in t
11.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 t)))) in t
11.875 * [taylor]: Taking taylor expansion of 1/3 in t
11.875 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 t))) in t
11.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.875 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.875 * [taylor]: Taking taylor expansion of x in t
11.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.875 * [taylor]: Taking taylor expansion of t in t
11.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.875 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.875 * [taylor]: Taking taylor expansion of 1/3 in x
11.875 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.875 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.875 * [taylor]: Taking taylor expansion of (neg 1) in x
11.875 * [taylor]: Taking taylor expansion of 1 in x
11.875 * [taylor]: Taking taylor expansion of (log t) in x
11.875 * [taylor]: Taking taylor expansion of t in x
11.876 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x)) in x
11.876 * [taylor]: Taking taylor expansion of -1/3 in x
11.876 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) x) in x
11.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.876 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.876 * [taylor]: Taking taylor expansion of 1/3 in x
11.876 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.876 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.876 * [taylor]: Taking taylor expansion of (neg 1) in x
11.876 * [taylor]: Taking taylor expansion of 1 in x
11.876 * [taylor]: Taking taylor expansion of (log t) in x
11.876 * [taylor]: Taking taylor expansion of t in x
11.876 * [taylor]: Taking taylor expansion of x in x
11.878 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2))) in x
11.878 * [taylor]: Taking taylor expansion of -1/9 in x
11.878 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 2)) in x
11.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.878 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.878 * [taylor]: Taking taylor expansion of 1/3 in x
11.878 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.878 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.878 * [taylor]: Taking taylor expansion of (neg 1) in x
11.878 * [taylor]: Taking taylor expansion of 1 in x
11.878 * [taylor]: Taking taylor expansion of (log t) in x
11.878 * [taylor]: Taking taylor expansion of t in x
11.879 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.879 * [taylor]: Taking taylor expansion of x in x
11.883 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3))) in x
11.883 * [taylor]: Taking taylor expansion of -5/81 in x
11.883 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (neg 1)) (log t)))) (pow x 3)) in x
11.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (neg 1)) (log t)))) in x
11.883 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (neg 1)) (log t))) in x
11.883 * [taylor]: Taking taylor expansion of 1/3 in x
11.883 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log t)) in x
11.883 * [taylor]: Taking taylor expansion of (log (neg 1)) in x
11.883 * [taylor]: Taking taylor expansion of (neg 1) in x
11.883 * [taylor]: Taking taylor expansion of 1 in x
11.883 * [taylor]: Taking taylor expansion of (log t) in x
11.883 * [taylor]: Taking taylor expansion of t in x
11.883 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.883 * [taylor]: Taking taylor expansion of x in x
11.886 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
11.886 * [approximate]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in (t x) around 0
11.886 * [taylor]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in x
11.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t x) 2)))) in x
11.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t x) 2))) in x
11.886 * [taylor]: Taking taylor expansion of 1/3 in x
11.886 * [taylor]: Taking taylor expansion of (log (pow (- t x) 2)) in x
11.886 * [taylor]: Taking taylor expansion of (pow (- t x) 2) in x
11.886 * [taylor]: Taking taylor expansion of (- t x) in x
11.886 * [taylor]: Taking taylor expansion of t in x
11.886 * [taylor]: Taking taylor expansion of x in x
11.886 * [taylor]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in t
11.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t x) 2)))) in t
11.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t x) 2))) in t
11.886 * [taylor]: Taking taylor expansion of 1/3 in t
11.886 * [taylor]: Taking taylor expansion of (log (pow (- t x) 2)) in t
11.886 * [taylor]: Taking taylor expansion of (pow (- t x) 2) in t
11.886 * [taylor]: Taking taylor expansion of (- t x) in t
11.886 * [taylor]: Taking taylor expansion of t in t
11.886 * [taylor]: Taking taylor expansion of x in t
11.887 * [taylor]: Taking taylor expansion of (pow (pow (- t x) 2) 1/3) in t
11.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- t x) 2)))) in t
11.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- t x) 2))) in t
11.887 * [taylor]: Taking taylor expansion of 1/3 in t
11.887 * [taylor]: Taking taylor expansion of (log (pow (- t x) 2)) in t
11.887 * [taylor]: Taking taylor expansion of (pow (- t x) 2) in t
11.887 * [taylor]: Taking taylor expansion of (- t x) in t
11.887 * [taylor]: Taking taylor expansion of t in t
11.887 * [taylor]: Taking taylor expansion of x in t
11.887 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
11.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
11.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
11.887 * [taylor]: Taking taylor expansion of 1/3 in x
11.887 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
11.887 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.887 * [taylor]: Taking taylor expansion of x in x
11.888 * [taylor]: Taking taylor expansion of (* -2/3 (pow (/ 1 x) 1/3)) in x
11.888 * [taylor]: Taking taylor expansion of -2/3 in x
11.888 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.888 * [taylor]: Taking taylor expansion of 1/3 in x
11.888 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.888 * [taylor]: Taking taylor expansion of x in x
11.889 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow x 4)) 1/3)) in x
11.889 * [taylor]: Taking taylor expansion of -1/9 in x
11.889 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x
11.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x
11.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x
11.889 * [taylor]: Taking taylor expansion of 1/3 in x
11.889 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in x
11.890 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
11.890 * [taylor]: Taking taylor expansion of (pow x 4) in x
11.890 * [taylor]: Taking taylor expansion of x in x
11.890 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in (t x) around 0
11.890 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in x
11.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2)))) in x
11.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2))) in x
11.890 * [taylor]: Taking taylor expansion of 1/3 in x
11.890 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 x)) 2)) in x
11.890 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 2) in x
11.890 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
11.890 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.890 * [taylor]: Taking taylor expansion of t in x
11.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.891 * [taylor]: Taking taylor expansion of x in x
11.891 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in t
11.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2)))) in t
11.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2))) in t
11.891 * [taylor]: Taking taylor expansion of 1/3 in t
11.891 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 x)) 2)) in t
11.891 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 2) in t
11.891 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.891 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.891 * [taylor]: Taking taylor expansion of t in t
11.891 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.891 * [taylor]: Taking taylor expansion of x in t
11.891 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 t) (/ 1 x)) 2) 1/3) in t
11.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2)))) in t
11.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 t) (/ 1 x)) 2))) in t
11.891 * [taylor]: Taking taylor expansion of 1/3 in t
11.891 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 t) (/ 1 x)) 2)) in t
11.891 * [taylor]: Taking taylor expansion of (pow (- (/ 1 t) (/ 1 x)) 2) in t
11.891 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
11.891 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.891 * [taylor]: Taking taylor expansion of t in t
11.891 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.891 * [taylor]: Taking taylor expansion of x in t
11.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.892 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.892 * [taylor]: Taking taylor expansion of 1/3 in x
11.892 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.892 * [taylor]: Taking taylor expansion of (log 1) in x
11.892 * [taylor]: Taking taylor expansion of 1 in x
11.892 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.892 * [taylor]: Taking taylor expansion of 2 in x
11.892 * [taylor]: Taking taylor expansion of (log t) in x
11.892 * [taylor]: Taking taylor expansion of t in x
11.893 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x)) in x
11.893 * [taylor]: Taking taylor expansion of -2/3 in x
11.893 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x) in x
11.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.893 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.893 * [taylor]: Taking taylor expansion of 1/3 in x
11.893 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.893 * [taylor]: Taking taylor expansion of (log 1) in x
11.893 * [taylor]: Taking taylor expansion of 1 in x
11.893 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.893 * [taylor]: Taking taylor expansion of 2 in x
11.893 * [taylor]: Taking taylor expansion of (log t) in x
11.893 * [taylor]: Taking taylor expansion of t in x
11.893 * [taylor]: Taking taylor expansion of x in x
11.895 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2))) in x
11.895 * [taylor]: Taking taylor expansion of -1/9 in x
11.895 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2)) in x
11.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.895 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.895 * [taylor]: Taking taylor expansion of 1/3 in x
11.895 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.895 * [taylor]: Taking taylor expansion of (log 1) in x
11.895 * [taylor]: Taking taylor expansion of 1 in x
11.895 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.895 * [taylor]: Taking taylor expansion of 2 in x
11.895 * [taylor]: Taking taylor expansion of (log t) in x
11.895 * [taylor]: Taking taylor expansion of t in x
11.895 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.895 * [taylor]: Taking taylor expansion of x in x
11.900 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3))) in x
11.900 * [taylor]: Taking taylor expansion of -4/81 in x
11.900 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3)) in x
11.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.900 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.900 * [taylor]: Taking taylor expansion of 1/3 in x
11.900 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.900 * [taylor]: Taking taylor expansion of (log 1) in x
11.900 * [taylor]: Taking taylor expansion of 1 in x
11.900 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.900 * [taylor]: Taking taylor expansion of 2 in x
11.900 * [taylor]: Taking taylor expansion of (log t) in x
11.900 * [taylor]: Taking taylor expansion of t in x
11.900 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.900 * [taylor]: Taking taylor expansion of x in x
11.903 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in (t x) around 0
11.903 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in x
11.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2)))) in x
11.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2))) in x
11.903 * [taylor]: Taking taylor expansion of 1/3 in x
11.903 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 t)) 2)) in x
11.903 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 2) in x
11.903 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
11.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.903 * [taylor]: Taking taylor expansion of x in x
11.903 * [taylor]: Taking taylor expansion of (/ 1 t) in x
11.903 * [taylor]: Taking taylor expansion of t in x
11.903 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in t
11.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2)))) in t
11.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2))) in t
11.903 * [taylor]: Taking taylor expansion of 1/3 in t
11.903 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 t)) 2)) in t
11.903 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 2) in t
11.903 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.903 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.903 * [taylor]: Taking taylor expansion of x in t
11.903 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.903 * [taylor]: Taking taylor expansion of t in t
11.904 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 t)) 2) 1/3) in t
11.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2)))) in t
11.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 t)) 2))) in t
11.904 * [taylor]: Taking taylor expansion of 1/3 in t
11.904 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 t)) 2)) in t
11.904 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 t)) 2) in t
11.904 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
11.904 * [taylor]: Taking taylor expansion of (/ 1 x) in t
11.904 * [taylor]: Taking taylor expansion of x in t
11.904 * [taylor]: Taking taylor expansion of (/ 1 t) in t
11.904 * [taylor]: Taking taylor expansion of t in t
11.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.904 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.904 * [taylor]: Taking taylor expansion of 1/3 in x
11.904 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.904 * [taylor]: Taking taylor expansion of (log 1) in x
11.904 * [taylor]: Taking taylor expansion of 1 in x
11.904 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.904 * [taylor]: Taking taylor expansion of 2 in x
11.904 * [taylor]: Taking taylor expansion of (log t) in x
11.904 * [taylor]: Taking taylor expansion of t in x
11.905 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x)) in x
11.905 * [taylor]: Taking taylor expansion of -2/3 in x
11.905 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) x) in x
11.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.905 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.905 * [taylor]: Taking taylor expansion of 1/3 in x
11.905 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.905 * [taylor]: Taking taylor expansion of (log 1) in x
11.905 * [taylor]: Taking taylor expansion of 1 in x
11.905 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.905 * [taylor]: Taking taylor expansion of 2 in x
11.905 * [taylor]: Taking taylor expansion of (log t) in x
11.905 * [taylor]: Taking taylor expansion of t in x
11.906 * [taylor]: Taking taylor expansion of x in x
11.908 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2))) in x
11.908 * [taylor]: Taking taylor expansion of -1/9 in x
11.908 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 2)) in x
11.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.908 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.908 * [taylor]: Taking taylor expansion of 1/3 in x
11.908 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.908 * [taylor]: Taking taylor expansion of (log 1) in x
11.908 * [taylor]: Taking taylor expansion of 1 in x
11.908 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.908 * [taylor]: Taking taylor expansion of 2 in x
11.908 * [taylor]: Taking taylor expansion of (log t) in x
11.908 * [taylor]: Taking taylor expansion of t in x
11.908 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.908 * [taylor]: Taking taylor expansion of x in x
11.912 * [taylor]: Taking taylor expansion of (* -4/81 (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3))) in x
11.912 * [taylor]: Taking taylor expansion of -4/81 in x
11.912 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log t))))) (pow x 3)) in x
11.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log t))))) in x
11.912 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log t)))) in x
11.912 * [taylor]: Taking taylor expansion of 1/3 in x
11.912 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log t))) in x
11.912 * [taylor]: Taking taylor expansion of (log 1) in x
11.912 * [taylor]: Taking taylor expansion of 1 in x
11.912 * [taylor]: Taking taylor expansion of (* 2 (log t)) in x
11.912 * [taylor]: Taking taylor expansion of 2 in x
11.912 * [taylor]: Taking taylor expansion of (log t) in x
11.912 * [taylor]: Taking taylor expansion of t in x
11.913 * [taylor]: Taking taylor expansion of (pow x 3) in x
11.913 * [taylor]: Taking taylor expansion of x in x
11.915 * * * [progress]: simplifying candidates
11.917 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  (cbrt 1)
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- t x) (- t x))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (+ 1 1)
  (+ (log (cbrt (- t x))) (log (cbrt (- t x))))
  (log (* (cbrt (- t x)) (cbrt (- t x))))
  (exp (* (cbrt (- t x)) (cbrt (- t x))))
  (* (- t x) (- t x))
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (* (* (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- t x)) (cbrt (- t x)))) (* (cbrt (- t x)) (cbrt (- t x))))
  (sqrt (* (cbrt (- t x)) (cbrt (- t x))))
  (sqrt (* (cbrt (- t x)) (cbrt (- t x))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ (* t t) (+ (* x x) (* t x)))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ t x)))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (+ t x)) (cbrt (+ (* t t) (+ (* x x) (* t x)))))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ t x)) (cbrt (+ t x)))
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (+ (sqrt t) (sqrt x))) (cbrt (+ (sqrt t) (sqrt x))))
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- (sqrt t) (sqrt x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x)))) (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x)))))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* 1 1)
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (cbrt (sqrt (- t x))))
  (* (sqrt (cbrt (- t x))) (cbrt (sqrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* (sqrt (cbrt (- t x))) (sqrt (cbrt (- t x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- t x)) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (- t x)) (cbrt (sqrt (- t x))))
  (* (cbrt (- t x)) (cbrt 1))
  (* (cbrt (- t x)) (cbrt (+ (sqrt t) (sqrt x))))
  (* (cbrt (- t x)) (cbrt 1))
  (* (cbrt (- t x)) (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x)))))
  (* (cbrt (- t x)) (sqrt (cbrt (- t x))))
  (* (cbrt (- t x)) 1)
  (* (cbrt (cbrt (- t x))) (cbrt (- t x)))
  (* (cbrt (sqrt (- t x))) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (cbrt (- t x))) (cbrt (- t x)))
  (* (sqrt (cbrt (- t x))) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- t x)))
  (* (cbrt (- t x)) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (- t x)) (cbrt (- (* t t) (* x x))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- t x)))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- t x)))
  (- (exp (* 1/3 (+ (log x) (log (neg 1))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))) (* 1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log x) (log (neg 1))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))) (* 1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log x) (log (neg 1))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))) (* 1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 t)))))
  (exp (* 1/3 (- (log (neg 1)) (log (/ -1 t)))))
  (- (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (+ (* 1/9 (* (pow t 2) (exp (* 1/3 (- (log 1) (* 4 (log x))))))) (* 2/3 (* t (exp (* 1/3 (- (log 1) (log x))))))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 t))))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 t))))))
11.923 * * [simplify]: iteration  0 :  287  enodes  (cost  793 )
11.928 * * [simplify]: iteration  1 :  868  enodes  (cost  756 )
11.950 * * [simplify]: iteration  2 :  3985  enodes  (cost  674 )
12.037 * * [simplify]: iteration  3 :  5002  enodes  (cost  652 )
12.044 * [simplify]: Simplified to:
   (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  1
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  1
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (- t x)
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  1
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  1
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (- t x)
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  (log (cbrt (- t x)))
  (exp (cbrt (- t x)))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (cbrt (sqrt (- t x)))
  (cbrt (sqrt (- t x)))
  1
  (cbrt (- t x))
  (cbrt (+ (sqrt t) (sqrt x)))
  (cbrt (- (sqrt t) (sqrt x)))
  1
  (cbrt (- t x))
  (cbrt (- (pow t 3) (pow x 3)))
  (cbrt (+ (* t t) (+ (* x x) (* t x))))
  (cbrt (- (* t t) (* x x)))
  (cbrt (+ t x))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (cbrt (- t x)))
  (- t x)
  (sqrt (cbrt (- t x)))
  (sqrt (cbrt (- t x)))
  2/3
  2
  (pow (cbrt (- t x)) 6)
  (pow (sqrt (cbrt (- t x))) 4)
  2
  (* 2 (log (cbrt (- t x))))
  (* 2 (log (cbrt (- t x))))
  (exp (* (cbrt (- t x)) (cbrt (- t x))))
  (pow (cbrt (- t x)) 6)
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (cbrt (* (cbrt (- t x)) (cbrt (- t x))))
  (pow (cbrt (- t x)) 6)
  (fabs (cbrt (- t x)))
  (fabs (cbrt (- t x)))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ (* t t) (+ (* x x) (* t x)))))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ t x)))
  (* (cbrt (- (pow t 3) (pow x 3))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ (* t t) (+ (* x x) (* t x)))) (cbrt (+ t x)))
  (* (cbrt (- (* t t) (* x x))) (cbrt (- (* t t) (* x x))))
  (* (cbrt (+ t x)) (cbrt (+ t x)))
  (* (cbrt (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  1
  (pow (sqrt (cbrt (- t x))) 4)
  1
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (+ (sqrt t) (sqrt x))) (cbrt (+ (sqrt t) (sqrt x))))
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- (sqrt t) (sqrt x))))
  1
  (pow (sqrt (cbrt (- t x))) 4)
  1
  (pow (sqrt (cbrt (- t x))) 4)
  (pow (cbrt (cbrt (- t x))) 4)
  (* (cbrt (cbrt (- t x))) (cbrt (cbrt (- t x))))
  (cbrt (- t x))
  (cbrt (- t x))
  1
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (cbrt (sqrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (* (cbrt (sqrt (- t x))) (sqrt (cbrt (- t x))))
  (cbrt (- t x))
  (cbrt (- t x))
  2/3
  2
  (* (cbrt (- t x)) (cbrt (* (cbrt (- t x)) (cbrt (- t x)))))
  (* (cbrt (- t x)) (cbrt (sqrt (- t x))))
  (cbrt (- t x))
  (* (cbrt (- t x)) (cbrt (+ (sqrt t) (sqrt x))))
  (cbrt (- t x))
  (pow (cbrt (cbrt (- t x))) 5)
  (pow (sqrt (cbrt (- t x))) 3)
  (cbrt (- t x))
  (pow (cbrt (cbrt (- t x))) 4)
  (* (cbrt (- t x)) (cbrt (sqrt (- t x))))
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (- (sqrt t) (sqrt x))) (cbrt (- t x)))
  (pow (sqrt (cbrt (- t x))) 4)
  (pow (cbrt (cbrt (- t x))) 4)
  (pow (sqrt (cbrt (- t x))) 3)
  (pow (sqrt (cbrt (- t x))) 4)
  (* (cbrt (- t x)) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (- t x)) (cbrt (- (* t t) (* x x))))
  (* (cbrt (- t x)) (cbrt (- (pow t 3) (pow x 3))))
  (* (cbrt (- t x)) (cbrt (- (* t t) (* x x))))
  (+ (+ (* (pow -1 1/3) (pow x 1/3)) (* -1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))) (* -1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))))
  (pow t 1/3)
  (pow t 1/3)
  (+ (+ (* (pow -1 1/3) (pow x 1/3)) (* -1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))) (* -1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))))
  (pow t 1/3)
  (pow t 1/3)
  (+ (+ (* (pow -1 1/3) (pow x 1/3)) (* -1/3 (* t (exp (* 1/3 (- (log -1) (* 2 (log x)))))))) (* -1/9 (* (pow t 2) (exp (* 1/3 (- (log -1) (* 5 (log x))))))))
  (pow t 1/3)
  (pow t 1/3)
  (+ (+ (* (pow x 2/3) (pow 1 1/3)) (* -2/3 (* t (exp (* 1/3 (- (log 1) (log x))))))) (* (neg (* 1/9 (pow t 2))) (pow (exp 1/3) (+ (* -4 (log x)) 0))))
  (pow t 2/3)
  (pow (/ -1 t) -2/3)
12.045 * * * [progress]: adding candidates to table
12.143 * [progress]: [Phase 3 of 3] Extracting.
12.143 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ x (cbrt (pow (* (- y z) (- t x)) 3))))> #<alt (λ (x y z t) (+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))> #<alt (λ (x y z t) (+ x (- (* x z) (+ (* t z) (* x y)))))> #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x)))))>)
12.144 * * * [regime-changes]: Trying 5 branch expressions: ((- y z) t z y x)
12.144 * * * * [regimes]: Trying to branch on (- y z) from (#<alt (λ (x y z t) (+ x (cbrt (pow (* (- y z) (- t x)) 3))))> #<alt (λ (x y z t) (+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))> #<alt (λ (x y z t) (+ x (- (* x z) (+ (* t z) (* x y)))))> #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x)))))>)
12.204 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ x (cbrt (pow (* (- y z) (- t x)) 3))))> #<alt (λ (x y z t) (+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))> #<alt (λ (x y z t) (+ x (- (* x z) (+ (* t z) (* x y)))))> #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x)))))>)
12.264 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ x (cbrt (pow (* (- y z) (- t x)) 3))))> #<alt (λ (x y z t) (+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))> #<alt (λ (x y z t) (+ x (- (* x z) (+ (* t z) (* x y)))))> #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x)))))>)
12.324 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ x (cbrt (pow (* (- y z) (- t x)) 3))))> #<alt (λ (x y z t) (+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))> #<alt (λ (x y z t) (+ x (- (* x z) (+ (* t z) (* x y)))))> #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x)))))>)
12.384 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ x (cbrt (pow (* (- y z) (- t x)) 3))))> #<alt (λ (x y z t) (+ x (* (sqrt (- y z)) (* (sqrt (- y z)) (- t x)))))> #<alt (λ (x y z t) (+ x (* (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (cbrt (- t x)))))> #<alt (λ (x y z t) (+ x (- (* x z) (+ (* t z) (* x y)))))> #<alt (λ (x y z t) (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x)))))>)
12.442 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
12.442 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x))))
12.443 * * [simplify]: iteration  0 :  23  enodes  (cost  12 )
12.443 * * [simplify]: iteration  1 :  31  enodes  (cost  12 )
12.444 * * [simplify]: iteration  2 :  34  enodes  (cost  12 )
12.444 * * [simplify]: iteration  3 :  34  enodes  (cost  12 )
12.444 * [simplify]: Simplified to:
   (+ x (+ (* (- y z) t) (* (* (- y z) (neg (* (cbrt x) (cbrt x)))) (cbrt x))))
24.598 * [regime-testing]: End program error score: 0.44559912190378975
24.691 * [regime-testing]: Target error score: 0.02951462218292916