32.221 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (* x x) (* (* y 4.0) (- (* z z) t)))
0.035 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
0.036 * * [simplify]: iteration  1 :  21  enodes  (cost  13 )
0.039 * * [simplify]: iteration  2 :  51  enodes  (cost  13 )
0.049 * * [simplify]: iteration  3 :  148  enodes  (cost  13 )
0.089 * * [simplify]: iteration  4 :  334  enodes  (cost  12 )
0.254 * * [simplify]: iteration  5 :  583  enodes  (cost  12 )
0.549 * * [simplify]: iteration  6 :  717  enodes  (cost  12 )
0.824 * * [simplify]: iteration  7 :  810  enodes  (cost  12 )
1.166 * * [simplify]: iteration  8 :  1006  enodes  (cost  12 )
1.804 * * [simplify]: iteration  9 :  1381  enodes  (cost  12 )
2.416 * * [simplify]: iteration  10 :  1384  enodes  (cost  12 )
2.766 * * [simplify]: iteration  done :  1384  enodes  (cost  12 )
2.766 * [simplify]: Simplified to:
   (fma 4.0 (* y (- t (* z z))) (* x x))
2.769 * * [progress]: iteration 1 / 4
2.770 * * * [progress]: picking best candidate
2.771 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (* x x) (* (* y 4.0) (- (* z z) t))))>
2.772 * * * [progress]: localizing error
2.781 * * * [progress]: generating rewritten candidates
2.781 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
2.797 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.805 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
2.811 * * * [progress]: generating series expansions
2.811 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
2.811 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in (y z t) around 0
2.811 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in t
2.811 * [taylor]: Taking taylor expansion of 4.0 in t
2.811 * [taylor]: Taking taylor expansion of (* (- (pow z 2) t) y) in t
2.811 * [taylor]: Taking taylor expansion of (- (pow z 2) t) in t
2.811 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.811 * [taylor]: Taking taylor expansion of z in t
2.811 * [taylor]: Taking taylor expansion of t in t
2.811 * [taylor]: Taking taylor expansion of y in t
2.811 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in z
2.811 * [taylor]: Taking taylor expansion of 4.0 in z
2.811 * [taylor]: Taking taylor expansion of (* (- (pow z 2) t) y) in z
2.811 * [taylor]: Taking taylor expansion of (- (pow z 2) t) in z
2.811 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.811 * [taylor]: Taking taylor expansion of z in z
2.811 * [taylor]: Taking taylor expansion of t in z
2.811 * [taylor]: Taking taylor expansion of y in z
2.811 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in y
2.811 * [taylor]: Taking taylor expansion of 4.0 in y
2.811 * [taylor]: Taking taylor expansion of (* (- (pow z 2) t) y) in y
2.811 * [taylor]: Taking taylor expansion of (- (pow z 2) t) in y
2.811 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.811 * [taylor]: Taking taylor expansion of z in y
2.811 * [taylor]: Taking taylor expansion of t in y
2.811 * [taylor]: Taking taylor expansion of y in y
2.812 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (pow z 2) t) y)) in y
2.812 * [taylor]: Taking taylor expansion of 4.0 in y
2.812 * [taylor]: Taking taylor expansion of (* (- (pow z 2) t) y) in y
2.812 * [taylor]: Taking taylor expansion of (- (pow z 2) t) in y
2.812 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.812 * [taylor]: Taking taylor expansion of z in y
2.812 * [taylor]: Taking taylor expansion of t in y
2.812 * [taylor]: Taking taylor expansion of y in y
2.813 * [taylor]: Taking taylor expansion of 0 in z
2.813 * [taylor]: Taking taylor expansion of 0 in t
2.814 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow z 2)) (* 4.0 t)) in z
2.814 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
2.814 * [taylor]: Taking taylor expansion of 4.0 in z
2.814 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.814 * [taylor]: Taking taylor expansion of z in z
2.814 * [taylor]: Taking taylor expansion of (* 4.0 t) in z
2.814 * [taylor]: Taking taylor expansion of 4.0 in z
2.814 * [taylor]: Taking taylor expansion of t in z
2.814 * [taylor]: Taking taylor expansion of (- (* 4.0 t)) in t
2.814 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
2.814 * [taylor]: Taking taylor expansion of 4.0 in t
2.814 * [taylor]: Taking taylor expansion of t in t
2.815 * [taylor]: Taking taylor expansion of 0 in t
2.817 * [taylor]: Taking taylor expansion of 0 in z
2.817 * [taylor]: Taking taylor expansion of 0 in t
2.818 * [taylor]: Taking taylor expansion of 0 in t
2.818 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
2.818 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.818 * [taylor]: Taking taylor expansion of 4.0 in t
2.818 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 2)) (/ 1 t)) y) in t
2.818 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in t
2.818 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.818 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.818 * [taylor]: Taking taylor expansion of z in t
2.818 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.818 * [taylor]: Taking taylor expansion of t in t
2.819 * [taylor]: Taking taylor expansion of y in t
2.819 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.819 * [taylor]: Taking taylor expansion of 4.0 in z
2.819 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 2)) (/ 1 t)) y) in z
2.819 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in z
2.819 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.819 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.819 * [taylor]: Taking taylor expansion of z in z
2.820 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.820 * [taylor]: Taking taylor expansion of t in z
2.820 * [taylor]: Taking taylor expansion of y in z
2.820 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in y
2.820 * [taylor]: Taking taylor expansion of 4.0 in y
2.820 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 2)) (/ 1 t)) y) in y
2.820 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in y
2.820 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.820 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.820 * [taylor]: Taking taylor expansion of z in y
2.821 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.821 * [taylor]: Taking taylor expansion of t in y
2.821 * [taylor]: Taking taylor expansion of y in y
2.821 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- (/ 1 (pow z 2)) (/ 1 t)) y)) in y
2.821 * [taylor]: Taking taylor expansion of 4.0 in y
2.821 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 2)) (/ 1 t)) y) in y
2.821 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in y
2.821 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.821 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.821 * [taylor]: Taking taylor expansion of z in y
2.821 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.821 * [taylor]: Taking taylor expansion of t in y
2.821 * [taylor]: Taking taylor expansion of y in y
2.822 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ 1 (pow z 2)) (/ 1 t))) in z
2.822 * [taylor]: Taking taylor expansion of 4.0 in z
2.822 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in z
2.822 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.822 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.822 * [taylor]: Taking taylor expansion of z in z
2.823 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.823 * [taylor]: Taking taylor expansion of t in z
2.823 * [taylor]: Taking taylor expansion of 4.0 in t
2.825 * [taylor]: Taking taylor expansion of 0 in z
2.827 * [taylor]: Taking taylor expansion of 0 in t
2.830 * [taylor]: Taking taylor expansion of 0 in z
2.831 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t))) in t
2.831 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
2.831 * [taylor]: Taking taylor expansion of 4.0 in t
2.831 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.831 * [taylor]: Taking taylor expansion of t in t
2.837 * [taylor]: Taking taylor expansion of 0 in z
2.837 * [taylor]: Taking taylor expansion of 0 in t
2.839 * [taylor]: Taking taylor expansion of 0 in t
2.846 * [taylor]: Taking taylor expansion of 0 in z
2.846 * [taylor]: Taking taylor expansion of 0 in t
2.846 * [taylor]: Taking taylor expansion of 0 in t
2.848 * [taylor]: Taking taylor expansion of 0 in t
2.849 * [approximate]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in (y z t) around 0
2.849 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in t
2.849 * [taylor]: Taking taylor expansion of -4.0 in t
2.849 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in t
2.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
2.849 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.849 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.849 * [taylor]: Taking taylor expansion of z in t
2.850 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.850 * [taylor]: Taking taylor expansion of t in t
2.850 * [taylor]: Taking taylor expansion of y in t
2.850 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in z
2.850 * [taylor]: Taking taylor expansion of -4.0 in z
2.850 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in z
2.850 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
2.850 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.850 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.850 * [taylor]: Taking taylor expansion of z in z
2.851 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.851 * [taylor]: Taking taylor expansion of t in z
2.851 * [taylor]: Taking taylor expansion of y in z
2.851 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in y
2.851 * [taylor]: Taking taylor expansion of -4.0 in y
2.851 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in y
2.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
2.852 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.852 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.852 * [taylor]: Taking taylor expansion of z in y
2.852 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.852 * [taylor]: Taking taylor expansion of t in y
2.852 * [taylor]: Taking taylor expansion of y in y
2.852 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y)) in y
2.852 * [taylor]: Taking taylor expansion of -4.0 in y
2.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) (/ 1 t)) y) in y
2.852 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in y
2.852 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.852 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.852 * [taylor]: Taking taylor expansion of z in y
2.852 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.852 * [taylor]: Taking taylor expansion of t in y
2.852 * [taylor]: Taking taylor expansion of y in y
2.853 * [taylor]: Taking taylor expansion of (* -4.0 (+ (/ 1 (pow z 2)) (/ 1 t))) in z
2.853 * [taylor]: Taking taylor expansion of -4.0 in z
2.853 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
2.853 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.853 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.853 * [taylor]: Taking taylor expansion of z in z
2.854 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.854 * [taylor]: Taking taylor expansion of t in z
2.854 * [taylor]: Taking taylor expansion of -4.0 in t
2.856 * [taylor]: Taking taylor expansion of 0 in z
2.857 * [taylor]: Taking taylor expansion of 0 in t
2.860 * [taylor]: Taking taylor expansion of 0 in z
2.862 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t))) in t
2.862 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
2.862 * [taylor]: Taking taylor expansion of 4.0 in t
2.862 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.862 * [taylor]: Taking taylor expansion of t in t
2.866 * [taylor]: Taking taylor expansion of 0 in z
2.867 * [taylor]: Taking taylor expansion of 0 in t
2.869 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [taylor]: Taking taylor expansion of 0 in z
2.874 * [taylor]: Taking taylor expansion of 0 in t
2.874 * [taylor]: Taking taylor expansion of 0 in t
2.877 * [taylor]: Taking taylor expansion of 0 in t
2.878 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.878 * [approximate]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in (x y z t) around 0
2.878 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in t
2.878 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* t y))) in t
2.878 * [taylor]: Taking taylor expansion of (pow x 2) in t
2.878 * [taylor]: Taking taylor expansion of x in t
2.878 * [taylor]: Taking taylor expansion of (* 4.0 (* t y)) in t
2.878 * [taylor]: Taking taylor expansion of 4.0 in t
2.878 * [taylor]: Taking taylor expansion of (* t y) in t
2.878 * [taylor]: Taking taylor expansion of t in t
2.878 * [taylor]: Taking taylor expansion of y in t
2.878 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow z 2) y)) in t
2.878 * [taylor]: Taking taylor expansion of 4.0 in t
2.878 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
2.878 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.878 * [taylor]: Taking taylor expansion of z in t
2.878 * [taylor]: Taking taylor expansion of y in t
2.878 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in z
2.878 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* t y))) in z
2.878 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.878 * [taylor]: Taking taylor expansion of x in z
2.878 * [taylor]: Taking taylor expansion of (* 4.0 (* t y)) in z
2.878 * [taylor]: Taking taylor expansion of 4.0 in z
2.878 * [taylor]: Taking taylor expansion of (* t y) in z
2.878 * [taylor]: Taking taylor expansion of t in z
2.878 * [taylor]: Taking taylor expansion of y in z
2.878 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow z 2) y)) in z
2.878 * [taylor]: Taking taylor expansion of 4.0 in z
2.878 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
2.878 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.878 * [taylor]: Taking taylor expansion of z in z
2.878 * [taylor]: Taking taylor expansion of y in z
2.878 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in y
2.878 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* t y))) in y
2.878 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.878 * [taylor]: Taking taylor expansion of x in y
2.878 * [taylor]: Taking taylor expansion of (* 4.0 (* t y)) in y
2.878 * [taylor]: Taking taylor expansion of 4.0 in y
2.879 * [taylor]: Taking taylor expansion of (* t y) in y
2.879 * [taylor]: Taking taylor expansion of t in y
2.879 * [taylor]: Taking taylor expansion of y in y
2.879 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow z 2) y)) in y
2.879 * [taylor]: Taking taylor expansion of 4.0 in y
2.879 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
2.879 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.879 * [taylor]: Taking taylor expansion of z in y
2.879 * [taylor]: Taking taylor expansion of y in y
2.879 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in x
2.879 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* t y))) in x
2.879 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.879 * [taylor]: Taking taylor expansion of x in x
2.879 * [taylor]: Taking taylor expansion of (* 4.0 (* t y)) in x
2.879 * [taylor]: Taking taylor expansion of 4.0 in x
2.879 * [taylor]: Taking taylor expansion of (* t y) in x
2.879 * [taylor]: Taking taylor expansion of t in x
2.879 * [taylor]: Taking taylor expansion of y in x
2.879 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow z 2) y)) in x
2.879 * [taylor]: Taking taylor expansion of 4.0 in x
2.879 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
2.879 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.879 * [taylor]: Taking taylor expansion of z in x
2.879 * [taylor]: Taking taylor expansion of y in x
2.879 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y))) in x
2.879 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (* t y))) in x
2.879 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.879 * [taylor]: Taking taylor expansion of x in x
2.879 * [taylor]: Taking taylor expansion of (* 4.0 (* t y)) in x
2.879 * [taylor]: Taking taylor expansion of 4.0 in x
2.879 * [taylor]: Taking taylor expansion of (* t y) in x
2.879 * [taylor]: Taking taylor expansion of t in x
2.879 * [taylor]: Taking taylor expansion of y in x
2.879 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow z 2) y)) in x
2.879 * [taylor]: Taking taylor expansion of 4.0 in x
2.879 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
2.879 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.879 * [taylor]: Taking taylor expansion of z in x
2.879 * [taylor]: Taking taylor expansion of y in x
2.880 * [taylor]: Taking taylor expansion of (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y))) in y
2.880 * [taylor]: Taking taylor expansion of (* 4.0 (* t y)) in y
2.880 * [taylor]: Taking taylor expansion of 4.0 in y
2.880 * [taylor]: Taking taylor expansion of (* t y) in y
2.880 * [taylor]: Taking taylor expansion of t in y
2.880 * [taylor]: Taking taylor expansion of y in y
2.880 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow z 2) y)) in y
2.880 * [taylor]: Taking taylor expansion of 4.0 in y
2.880 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
2.880 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.880 * [taylor]: Taking taylor expansion of z in y
2.880 * [taylor]: Taking taylor expansion of y in y
2.881 * [taylor]: Taking taylor expansion of 0 in z
2.882 * [taylor]: Taking taylor expansion of 0 in t
2.883 * [taylor]: Taking taylor expansion of 0 in y
2.883 * [taylor]: Taking taylor expansion of 0 in z
2.883 * [taylor]: Taking taylor expansion of 0 in t
2.885 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in z
2.885 * [taylor]: Taking taylor expansion of (* 4.0 t) in z
2.885 * [taylor]: Taking taylor expansion of 4.0 in z
2.885 * [taylor]: Taking taylor expansion of t in z
2.885 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
2.885 * [taylor]: Taking taylor expansion of 4.0 in z
2.885 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.885 * [taylor]: Taking taylor expansion of z in z
2.885 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
2.885 * [taylor]: Taking taylor expansion of 4.0 in t
2.885 * [taylor]: Taking taylor expansion of t in t
2.886 * [taylor]: Taking taylor expansion of 0 in t
2.889 * [taylor]: Taking taylor expansion of 1 in y
2.889 * [taylor]: Taking taylor expansion of 1 in z
2.889 * [taylor]: Taking taylor expansion of 1 in t
2.889 * [taylor]: Taking taylor expansion of 0 in z
2.889 * [taylor]: Taking taylor expansion of 0 in t
2.892 * [taylor]: Taking taylor expansion of 0 in z
2.892 * [taylor]: Taking taylor expansion of 0 in t
2.892 * [taylor]: Taking taylor expansion of 0 in t
2.892 * [taylor]: Taking taylor expansion of 0 in t
2.892 * [taylor]: Taking taylor expansion of 0 in t
2.893 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in (x y z t) around 0
2.893 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
2.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) in t
2.893 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in t
2.893 * [taylor]: Taking taylor expansion of (pow x 2) in t
2.893 * [taylor]: Taking taylor expansion of x in t
2.893 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in t
2.893 * [taylor]: Taking taylor expansion of 4.0 in t
2.893 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
2.893 * [taylor]: Taking taylor expansion of (* t y) in t
2.893 * [taylor]: Taking taylor expansion of t in t
2.893 * [taylor]: Taking taylor expansion of y in t
2.894 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in t
2.894 * [taylor]: Taking taylor expansion of 4.0 in t
2.894 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in t
2.894 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
2.894 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.894 * [taylor]: Taking taylor expansion of z in t
2.894 * [taylor]: Taking taylor expansion of y in t
2.894 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
2.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) in z
2.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
2.894 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.894 * [taylor]: Taking taylor expansion of x in z
2.894 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in z
2.895 * [taylor]: Taking taylor expansion of 4.0 in z
2.895 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
2.895 * [taylor]: Taking taylor expansion of (* t y) in z
2.895 * [taylor]: Taking taylor expansion of t in z
2.895 * [taylor]: Taking taylor expansion of y in z
2.895 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in z
2.895 * [taylor]: Taking taylor expansion of 4.0 in z
2.895 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
2.895 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
2.895 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.895 * [taylor]: Taking taylor expansion of z in z
2.895 * [taylor]: Taking taylor expansion of y in z
2.895 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
2.895 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) in y
2.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.895 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.895 * [taylor]: Taking taylor expansion of x in y
2.896 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in y
2.896 * [taylor]: Taking taylor expansion of 4.0 in y
2.896 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
2.896 * [taylor]: Taking taylor expansion of (* t y) in y
2.896 * [taylor]: Taking taylor expansion of t in y
2.896 * [taylor]: Taking taylor expansion of y in y
2.896 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in y
2.896 * [taylor]: Taking taylor expansion of 4.0 in y
2.896 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
2.896 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
2.896 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.896 * [taylor]: Taking taylor expansion of z in y
2.896 * [taylor]: Taking taylor expansion of y in y
2.897 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in x
2.897 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) in x
2.897 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.897 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.897 * [taylor]: Taking taylor expansion of x in x
2.898 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in x
2.898 * [taylor]: Taking taylor expansion of 4.0 in x
2.898 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
2.898 * [taylor]: Taking taylor expansion of (* t y) in x
2.898 * [taylor]: Taking taylor expansion of t in x
2.898 * [taylor]: Taking taylor expansion of y in x
2.898 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in x
2.898 * [taylor]: Taking taylor expansion of 4.0 in x
2.898 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
2.898 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
2.898 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.898 * [taylor]: Taking taylor expansion of z in x
2.898 * [taylor]: Taking taylor expansion of y in x
2.899 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) (* 4.0 (/ 1 (* (pow z 2) y)))) in x
2.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (* t y)))) in x
2.899 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.899 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.899 * [taylor]: Taking taylor expansion of x in x
2.899 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in x
2.899 * [taylor]: Taking taylor expansion of 4.0 in x
2.899 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
2.899 * [taylor]: Taking taylor expansion of (* t y) in x
2.899 * [taylor]: Taking taylor expansion of t in x
2.899 * [taylor]: Taking taylor expansion of y in x
2.899 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in x
2.899 * [taylor]: Taking taylor expansion of 4.0 in x
2.899 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
2.899 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
2.899 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.899 * [taylor]: Taking taylor expansion of z in x
2.900 * [taylor]: Taking taylor expansion of y in x
2.904 * [taylor]: Taking taylor expansion of 1 in y
2.905 * [taylor]: Taking taylor expansion of 0 in y
2.905 * [taylor]: Taking taylor expansion of 1 in z
2.907 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
2.907 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in y
2.907 * [taylor]: Taking taylor expansion of 4.0 in y
2.907 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
2.907 * [taylor]: Taking taylor expansion of (* t y) in y
2.907 * [taylor]: Taking taylor expansion of t in y
2.907 * [taylor]: Taking taylor expansion of y in y
2.908 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in y
2.908 * [taylor]: Taking taylor expansion of 4.0 in y
2.908 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
2.908 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
2.908 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.908 * [taylor]: Taking taylor expansion of z in y
2.908 * [taylor]: Taking taylor expansion of y in y
2.909 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in z
2.909 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
2.909 * [taylor]: Taking taylor expansion of 4.0 in z
2.909 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.909 * [taylor]: Taking taylor expansion of t in z
2.909 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
2.909 * [taylor]: Taking taylor expansion of 4.0 in z
2.909 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.909 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.909 * [taylor]: Taking taylor expansion of z in z
2.910 * [taylor]: Taking taylor expansion of (- 4.0) in t
2.911 * [taylor]: Taking taylor expansion of 4.0 in t
2.911 * [taylor]: Taking taylor expansion of 0 in z
2.911 * [taylor]: Taking taylor expansion of 0 in z
2.914 * [taylor]: Taking taylor expansion of 0 in y
2.916 * [taylor]: Taking taylor expansion of 0 in z
2.917 * [taylor]: Taking taylor expansion of 0 in z
2.917 * [taylor]: Taking taylor expansion of 0 in z
2.918 * [taylor]: Taking taylor expansion of 0 in t
2.918 * [taylor]: Taking taylor expansion of 1 in t
2.923 * [taylor]: Taking taylor expansion of 0 in y
2.923 * [taylor]: Taking taylor expansion of 0 in z
2.927 * [taylor]: Taking taylor expansion of 0 in z
2.927 * [taylor]: Taking taylor expansion of 0 in z
2.927 * [taylor]: Taking taylor expansion of 0 in z
2.929 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
2.929 * [taylor]: Taking taylor expansion of 4.0 in t
2.929 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.929 * [taylor]: Taking taylor expansion of t in t
2.930 * [taylor]: Taking taylor expansion of 0 in t
2.930 * [taylor]: Taking taylor expansion of 0 in t
2.930 * [taylor]: Taking taylor expansion of 0 in t
2.931 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in (x y z t) around 0
2.931 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in t
2.931 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in t
2.931 * [taylor]: Taking taylor expansion of (pow x 2) in t
2.931 * [taylor]: Taking taylor expansion of x in t
2.931 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y)))) in t
2.931 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in t
2.931 * [taylor]: Taking taylor expansion of 4.0 in t
2.931 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
2.931 * [taylor]: Taking taylor expansion of (* t y) in t
2.931 * [taylor]: Taking taylor expansion of t in t
2.931 * [taylor]: Taking taylor expansion of y in t
2.932 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in t
2.932 * [taylor]: Taking taylor expansion of 4.0 in t
2.932 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in t
2.932 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in t
2.932 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.932 * [taylor]: Taking taylor expansion of z in t
2.932 * [taylor]: Taking taylor expansion of y in t
2.932 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in z
2.932 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
2.932 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.932 * [taylor]: Taking taylor expansion of x in z
2.932 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y)))) in z
2.932 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in z
2.932 * [taylor]: Taking taylor expansion of 4.0 in z
2.932 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
2.932 * [taylor]: Taking taylor expansion of (* t y) in z
2.932 * [taylor]: Taking taylor expansion of t in z
2.932 * [taylor]: Taking taylor expansion of y in z
2.933 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in z
2.933 * [taylor]: Taking taylor expansion of 4.0 in z
2.933 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z
2.933 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z
2.933 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.933 * [taylor]: Taking taylor expansion of z in z
2.933 * [taylor]: Taking taylor expansion of y in z
2.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in y
2.933 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.933 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.933 * [taylor]: Taking taylor expansion of x in y
2.934 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
2.934 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in y
2.934 * [taylor]: Taking taylor expansion of 4.0 in y
2.934 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
2.934 * [taylor]: Taking taylor expansion of (* t y) in y
2.934 * [taylor]: Taking taylor expansion of t in y
2.934 * [taylor]: Taking taylor expansion of y in y
2.934 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in y
2.934 * [taylor]: Taking taylor expansion of 4.0 in y
2.934 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
2.934 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
2.934 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.934 * [taylor]: Taking taylor expansion of z in y
2.934 * [taylor]: Taking taylor expansion of y in y
2.935 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in x
2.935 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.935 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.935 * [taylor]: Taking taylor expansion of x in x
2.935 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y)))) in x
2.936 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in x
2.936 * [taylor]: Taking taylor expansion of 4.0 in x
2.936 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
2.936 * [taylor]: Taking taylor expansion of (* t y) in x
2.936 * [taylor]: Taking taylor expansion of t in x
2.936 * [taylor]: Taking taylor expansion of y in x
2.936 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in x
2.936 * [taylor]: Taking taylor expansion of 4.0 in x
2.936 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
2.936 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
2.936 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.936 * [taylor]: Taking taylor expansion of z in x
2.936 * [taylor]: Taking taylor expansion of y in x
2.936 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y))))) in x
2.936 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.936 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.936 * [taylor]: Taking taylor expansion of x in x
2.937 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y)))) in x
2.937 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in x
2.937 * [taylor]: Taking taylor expansion of 4.0 in x
2.937 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x
2.937 * [taylor]: Taking taylor expansion of (* t y) in x
2.937 * [taylor]: Taking taylor expansion of t in x
2.937 * [taylor]: Taking taylor expansion of y in x
2.937 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in x
2.937 * [taylor]: Taking taylor expansion of 4.0 in x
2.937 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x
2.937 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x
2.937 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.937 * [taylor]: Taking taylor expansion of z in x
2.937 * [taylor]: Taking taylor expansion of y in x
2.938 * [taylor]: Taking taylor expansion of 1 in y
2.939 * [taylor]: Taking taylor expansion of 0 in y
2.939 * [taylor]: Taking taylor expansion of 1 in z
2.941 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* t y))) (* 4.0 (/ 1 (* (pow z 2) y)))) in y
2.941 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* t y))) in y
2.941 * [taylor]: Taking taylor expansion of 4.0 in y
2.941 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
2.941 * [taylor]: Taking taylor expansion of (* t y) in y
2.941 * [taylor]: Taking taylor expansion of t in y
2.941 * [taylor]: Taking taylor expansion of y in y
2.941 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow z 2) y))) in y
2.941 * [taylor]: Taking taylor expansion of 4.0 in y
2.941 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
2.941 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
2.941 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.941 * [taylor]: Taking taylor expansion of z in y
2.941 * [taylor]: Taking taylor expansion of y in y
2.942 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in z
2.942 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
2.942 * [taylor]: Taking taylor expansion of 4.0 in z
2.942 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.942 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.942 * [taylor]: Taking taylor expansion of z in z
2.943 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
2.943 * [taylor]: Taking taylor expansion of 4.0 in z
2.943 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.943 * [taylor]: Taking taylor expansion of t in z
2.944 * [taylor]: Taking taylor expansion of 4.0 in t
2.944 * [taylor]: Taking taylor expansion of 0 in z
2.944 * [taylor]: Taking taylor expansion of 0 in z
2.947 * [taylor]: Taking taylor expansion of 0 in y
2.949 * [taylor]: Taking taylor expansion of 0 in z
2.949 * [taylor]: Taking taylor expansion of 0 in z
2.949 * [taylor]: Taking taylor expansion of 0 in z
2.951 * [taylor]: Taking taylor expansion of 0 in t
2.951 * [taylor]: Taking taylor expansion of 1 in t
2.956 * [taylor]: Taking taylor expansion of 0 in y
2.956 * [taylor]: Taking taylor expansion of 0 in z
2.959 * [taylor]: Taking taylor expansion of 0 in z
2.959 * [taylor]: Taking taylor expansion of 0 in z
2.959 * [taylor]: Taking taylor expansion of 0 in z
2.961 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
2.961 * [taylor]: Taking taylor expansion of 4.0 in t
2.961 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.961 * [taylor]: Taking taylor expansion of t in t
2.962 * [taylor]: Taking taylor expansion of 0 in t
2.962 * [taylor]: Taking taylor expansion of 0 in t
2.962 * [taylor]: Taking taylor expansion of 0 in t
2.962 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
2.962 * [approximate]: Taking taylor expansion of (- (pow z 2) t) in (z t) around 0
2.962 * [taylor]: Taking taylor expansion of (- (pow z 2) t) in t
2.962 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.962 * [taylor]: Taking taylor expansion of z in t
2.963 * [taylor]: Taking taylor expansion of t in t
2.963 * [taylor]: Taking taylor expansion of (- (pow z 2) t) in z
2.963 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.963 * [taylor]: Taking taylor expansion of z in z
2.963 * [taylor]: Taking taylor expansion of t in z
2.963 * [taylor]: Taking taylor expansion of (- (pow z 2) t) in z
2.963 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.963 * [taylor]: Taking taylor expansion of z in z
2.963 * [taylor]: Taking taylor expansion of t in z
2.963 * [taylor]: Taking taylor expansion of (- t) in t
2.963 * [taylor]: Taking taylor expansion of t in t
2.964 * [taylor]: Taking taylor expansion of 0 in t
2.965 * [taylor]: Taking taylor expansion of 1 in t
2.966 * [taylor]: Taking taylor expansion of 0 in t
2.966 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in (z t) around 0
2.966 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in t
2.966 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.966 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.966 * [taylor]: Taking taylor expansion of z in t
2.967 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.967 * [taylor]: Taking taylor expansion of t in t
2.967 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in z
2.967 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.967 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.967 * [taylor]: Taking taylor expansion of z in z
2.967 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.967 * [taylor]: Taking taylor expansion of t in z
2.968 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 t)) in z
2.968 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.968 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.968 * [taylor]: Taking taylor expansion of z in z
2.968 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.968 * [taylor]: Taking taylor expansion of t in z
2.968 * [taylor]: Taking taylor expansion of 1 in t
2.969 * [taylor]: Taking taylor expansion of 0 in t
2.971 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
2.971 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.971 * [taylor]: Taking taylor expansion of t in t
2.973 * [taylor]: Taking taylor expansion of 0 in t
2.975 * [taylor]: Taking taylor expansion of 0 in t
2.976 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in (z t) around 0
2.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in t
2.976 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
2.976 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.976 * [taylor]: Taking taylor expansion of z in t
2.976 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.976 * [taylor]: Taking taylor expansion of t in t
2.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
2.976 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.976 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.976 * [taylor]: Taking taylor expansion of z in z
2.977 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.977 * [taylor]: Taking taylor expansion of t in z
2.977 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 t)) in z
2.977 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.977 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.977 * [taylor]: Taking taylor expansion of z in z
2.977 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.977 * [taylor]: Taking taylor expansion of t in z
2.978 * [taylor]: Taking taylor expansion of 1 in t
2.979 * [taylor]: Taking taylor expansion of 0 in t
2.980 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.980 * [taylor]: Taking taylor expansion of t in t
2.981 * [taylor]: Taking taylor expansion of 0 in t
2.983 * [taylor]: Taking taylor expansion of 0 in t
2.984 * * * [progress]: simplifying candidates
2.985 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* y 4.0) (- (* z z) t)))
  (log1p (* (* y 4.0) (- (* z z) t)))
  (* (* y 4.0) (- (* z z) t))
  (* (* y 4.0) (- (* z z) t))
  (+ (+ (log y) (log 4.0)) (log (- (* z z) t)))
  (+ (log (* y 4.0)) (log (- (* z z) t)))
  (log (* (* y 4.0) (- (* z z) t)))
  (exp (* (* y 4.0) (- (* z z) t)))
  (* (* (* (* y y) y) (* (* 4.0 4.0) 4.0)) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t)))
  (* (* (* (* y 4.0) (* y 4.0)) (* y 4.0)) (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t)))
  (* (cbrt (* (* y 4.0) (- (* z z) t))) (cbrt (* (* y 4.0) (- (* z z) t))))
  (cbrt (* (* y 4.0) (- (* z z) t)))
  (* (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t))) (* (* y 4.0) (- (* z z) t)))
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (* (* y 4.0) (fma z z (- (* (cbrt t) (* (cbrt t) (cbrt t))))))
  (* (* y 4.0) (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))))
  (* (* y 4.0) (fma z z (- (* (sqrt t) (sqrt t)))))
  (* (* y 4.0) (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))))
  (* (* y 4.0) (fma z z (- (* t 1))))
  (* (* y 4.0) (fma (- t) 1 (* t 1)))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (- t))
  (* (* y 4.0) (* z z))
  (* (* y 4.0) (- t))
  (* (fma z z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y 4.0))
  (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) (* y 4.0))
  (* (fma z z (- (* (sqrt t) (sqrt t)))) (* y 4.0))
  (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) (* y 4.0))
  (* (fma z z (- (* t 1))) (* y 4.0))
  (* (fma (- t) 1 (* t 1)) (* y 4.0))
  (* (* z z) (* y 4.0))
  (* (- t) (* y 4.0))
  (* (* z z) (* y 4.0))
  (* (- t) (* y 4.0))
  (* (* y 4.0) (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (* (* y 4.0) 1)
  (* (* y 4.0) (+ z (sqrt t)))
  (* 4.0 (- (* z z) t))
  (* (* y 4.0) (- (pow (* z z) 3) (pow t 3)))
  (* (* y 4.0) (- (* (* z z) (* z z)) (* t t)))
  (fma x x (- (* (- (* z z) t) (* y 4.0))))
  (fma (- (- (* z z) t)) (* y 4.0) (* (- (* z z) t) (* y 4.0)))
  (expm1 (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (log1p (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (- (* (* y 4.0) (- (* z z) t)))
  (/ (exp (* x x)) (exp (* (* y 4.0) (- (* z z) t))))
  (log (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (exp (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (* (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))) (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))))
  (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (* (* (- (* x x) (* (* y 4.0) (- (* z z) t))) (- (* x x) (* (* y 4.0) (- (* z z) t)))) (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (- (pow (* x x) 3) (pow (* (* y 4.0) (- (* z z) t)) 3))
  (+ (* (* x x) (* x x)) (+ (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t))) (* (* x x) (* (* y 4.0) (- (* z z) t)))))
  (- (* (* y 4.0) (- (* z z) t)))
  (- (* (* x x) (* x x)) (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t))))
  (+ (* x x) (* (* y 4.0) (- (* z z) t)))
  (- (* x x) (* (* y 4.0) (fma z z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))))
  (- (* x x) (* (* y 4.0) (fma z z (- (* (sqrt t) (sqrt t))))))
  (- (* x x) (* (* y 4.0) (fma z z (- (* t 1)))))
  (- (* x x) (* (* y 4.0) (* z z)))
  (- (* x x) (* (* y 4.0) (* z z)))
  (- (* x x) (* (fma z z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y 4.0)))
  (- (* x x) (* (fma z z (- (* (sqrt t) (sqrt t)))) (* y 4.0)))
  (- (* x x) (* (fma z z (- (* t 1))) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* (* y 4.0) (- (* z z) t)))
  (fma z z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))
  (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))
  (fma z z (- (* (sqrt t) (sqrt t))))
  (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))
  (fma z z (- (* t 1)))
  (fma (- t) 1 (* t 1))
  (expm1 (- (* z z) t))
  (log1p (- (* z z) t))
  (- t)
  (/ (exp (* z z)) (exp t))
  (log (- (* z z) t))
  (exp (- (* z z) t))
  (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t)))
  (cbrt (- (* z z) t))
  (* (* (- (* z z) t) (- (* z z) t)) (- (* z z) t))
  (sqrt (- (* z z) t))
  (sqrt (- (* z z) t))
  (- (pow (* z z) 3) (pow t 3))
  (+ (* (* z z) (* z z)) (+ (* t t) (* (* z z) t)))
  (- t)
  (- (* (* z z) (* z z)) (* t t))
  (+ (* z z) t)
  (+ z (sqrt t))
  (- z (sqrt t))
  (- t)
  0
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (- (* 4.0 (* (pow z 2) y)) (* 4.0 (* t y)))
  (pow x 2)
  (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y)))
  (- (+ (pow x 2) (* 4.0 (* t y))) (* 4.0 (* (pow z 2) y)))
  (- (pow z 2) t)
  (- (pow z 2) t)
  (- (pow z 2) t)
2.989 * * [simplify]: iteration  0 :  148  enodes  (cost  1288 )
3.031 * * [simplify]: iteration  1 :  397  enodes  (cost  1137 )
3.224 * * [simplify]: iteration  2 :  1433  enodes  (cost  994 )
4.080 * * [simplify]: iteration  done :  5001  enodes  (cost  985 )
4.081 * [simplify]: Simplified to:
   (expm1 (* (* y 4.0) (- (* z z) t)))
  (log1p (* (* y 4.0) (- (* z z) t)))
  (* (fma z z (- t)) (* y 4.0))
  (* (fma z z (- t)) (* y 4.0))
  (log (* (- (* z z) t) (* y 4.0)))
  (log (* (- (* z z) t) (* y 4.0)))
  (log (* (- (* z z) t) (* y 4.0)))
  (exp (* (* y 4.0) (- (* z z) t)))
  (pow (* (- (pow z 2) t) (* y 4.0)) 3)
  (pow (* (- (pow z 2) t) (* y 4.0)) 3)
  (* (cbrt (* (* y 4.0) (- (* z z) t))) (cbrt (* (* y 4.0) (- (* z z) t))))
  (cbrt (* (* y 4.0) (- (* z z) t)))
  (pow (* (- (pow z 2) t) (* y 4.0)) 3)
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (sqrt (* (* y 4.0) (- (* z z) t)))
  (* (fma z z (- t)) (* y 4.0))
  (* (* y 4.0) (- t t))
  (* (fma z z (- t)) (* y 4.0))
  (* (* y 4.0) (- t t))
  (* (fma z z (- t)) (* y 4.0))
  (* (* y 4.0) (- t t))
  (* 4.0 (* (pow z 2) y))
  (- (* 4.0 (* t y)))
  (* 4.0 (* (pow z 2) y))
  (- (* 4.0 (* t y)))
  (* (fma z z (- t)) (* y 4.0))
  (* (* y 4.0) (- t t))
  (* (fma z z (- t)) (* y 4.0))
  (* (* y 4.0) (- t t))
  (* (fma z z (- t)) (* y 4.0))
  (* (* y 4.0) (- t t))
  (* 4.0 (* (pow z 2) y))
  (- (* 4.0 (* t y)))
  (* 4.0 (* (pow z 2) y))
  (- (* 4.0 (* t y)))
  (* (* y 4.0) (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
  (* (* y 4.0) (sqrt (- (* z z) t)))
  (* y 4.0)
  (* (* y 4.0) (+ z (sqrt t)))
  (* (fma z z (- t)) 4.0)
  (* (* 4.0 (- (pow z 6) (pow t 3))) y)
  (* (* y 4.0) (- (pow z 4) (* t t)))
  (fma x x (* (* y 4.0) (- (- (* z z) t))))
  (* (fma z z (- t)) (+ (- (* y 4.0)) (* y 4.0)))
  (expm1 (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (log1p (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (* (* y 4.0) (- (- (* z z) t)))
  (exp (fma x x (- (* (- (* z z) t) (* y 4.0)))))
  (log (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (exp (fma x x (- (* (- (* z z) t) (* y 4.0)))))
  (* (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))) (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t)))))
  (cbrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (pow (fma x x (- (* (- (* z z) t) (* y 4.0)))) 3)
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (sqrt (- (* x x) (* (* y 4.0) (- (* z z) t))))
  (- (pow x 6) (pow (* (- (pow z 2) t) (* y 4.0)) 3))
  (fma (* (fma z z (- t)) (* y 4.0)) (fma x x (* (fma z z (- t)) (* y 4.0))) (pow x 4))
  (* (* y 4.0) (- (- (* z z) t)))
  (- (pow x 4) (* (* (* y 4.0) (- (* z z) t)) (* (* y 4.0) (- (* z z) t))))
  (fma x x (* (fma z z (- t)) (* y 4.0)))
  (fma x x (* (* y 4.0) (- (- (* z z) t))))
  (fma x x (* (* y 4.0) (- (- (* z z) t))))
  (fma x x (* (* y 4.0) (- (- (* z z) t))))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (fma x x (* (* y 4.0) (- (- (* z z) t))))
  (fma x x (* (* y 4.0) (- (- (* z z) t))))
  (fma x x (* (* y 4.0) (- (- (* z z) t))))
  (- (* x x) (* (* z z) (* y 4.0)))
  (- (* x x) (* (* z z) (* y 4.0)))
  (* (* y 4.0) (- (- (* z z) t)))
  (fma z z (- t))
  (- t t)
  (fma z z (- t))
  (- t t)
  (fma z z (- t))
  (- t t)
  (expm1 (- (* z z) t))
  (log1p (- (* z z) t))
  (- t)
  (exp (fma z z (- t)))
  (log (- (* z z) t))
  (exp (fma z z (- t)))
  (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t)))
  (cbrt (- (* z z) t))
  (pow (fma z z (- t)) 3)
  (sqrt (- (* z z) t))
  (sqrt (- (* z z) t))
  (- (pow z 6) (pow t 3))
  (fma t (fma z z t) (pow z 4))
  (- t)
  (- (pow z 4) (* t t))
  (fma z z t)
  (+ z (sqrt t))
  (- z (sqrt t))
  (- t)
  0
  (* (fma z z (- t)) (* y 4.0))
  (* (fma z z (- t)) (* y 4.0))
  (* x x)
  (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (fma z z (- t))
  (fma z z (- t))
  (fma z z (- t))
4.082 * * * [progress]: adding candidates to table
4.287 * * [progress]: iteration 2 / 4
4.287 * * * [progress]: picking best candidate
4.301 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))>
4.301 * * * [progress]: localizing error
4.311 * * * [progress]: generating rewritten candidates
4.311 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3)
4.321 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 2 2)
4.327 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 2)
4.332 * * * [progress]: generating series expansions
4.332 * * * * [progress]: [ 1 / 3 ] generating series at (2 3)
4.332 * [approximate]: Taking taylor expansion of (* (- (* 4.0 t) (* 4.0 (pow z 2))) y) in (y t z) around 0
4.332 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* 4.0 (pow z 2))) y) in z
4.332 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in z
4.332 * [taylor]: Taking taylor expansion of (* 4.0 t) in z
4.332 * [taylor]: Taking taylor expansion of 4.0 in z
4.332 * [taylor]: Taking taylor expansion of t in z
4.332 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
4.332 * [taylor]: Taking taylor expansion of 4.0 in z
4.332 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.332 * [taylor]: Taking taylor expansion of z in z
4.332 * [taylor]: Taking taylor expansion of y in z
4.332 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* 4.0 (pow z 2))) y) in t
4.332 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in t
4.332 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
4.332 * [taylor]: Taking taylor expansion of 4.0 in t
4.332 * [taylor]: Taking taylor expansion of t in t
4.332 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in t
4.332 * [taylor]: Taking taylor expansion of 4.0 in t
4.332 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.333 * [taylor]: Taking taylor expansion of z in t
4.333 * [taylor]: Taking taylor expansion of y in t
4.333 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* 4.0 (pow z 2))) y) in y
4.333 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in y
4.333 * [taylor]: Taking taylor expansion of (* 4.0 t) in y
4.333 * [taylor]: Taking taylor expansion of 4.0 in y
4.333 * [taylor]: Taking taylor expansion of t in y
4.333 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in y
4.333 * [taylor]: Taking taylor expansion of 4.0 in y
4.333 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.333 * [taylor]: Taking taylor expansion of z in y
4.333 * [taylor]: Taking taylor expansion of y in y
4.333 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* 4.0 (pow z 2))) y) in y
4.333 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in y
4.333 * [taylor]: Taking taylor expansion of (* 4.0 t) in y
4.333 * [taylor]: Taking taylor expansion of 4.0 in y
4.333 * [taylor]: Taking taylor expansion of t in y
4.333 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in y
4.333 * [taylor]: Taking taylor expansion of 4.0 in y
4.333 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.333 * [taylor]: Taking taylor expansion of z in y
4.333 * [taylor]: Taking taylor expansion of y in y
4.333 * [taylor]: Taking taylor expansion of 0 in t
4.334 * [taylor]: Taking taylor expansion of 0 in z
4.335 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in t
4.335 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
4.335 * [taylor]: Taking taylor expansion of 4.0 in t
4.336 * [taylor]: Taking taylor expansion of t in t
4.336 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in t
4.336 * [taylor]: Taking taylor expansion of 4.0 in t
4.336 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.336 * [taylor]: Taking taylor expansion of z in t
4.336 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow z 2))) in z
4.336 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
4.336 * [taylor]: Taking taylor expansion of 4.0 in z
4.336 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.336 * [taylor]: Taking taylor expansion of z in z
4.336 * [taylor]: Taking taylor expansion of 0 in z
4.339 * [taylor]: Taking taylor expansion of 0 in t
4.339 * [taylor]: Taking taylor expansion of 0 in z
4.341 * [taylor]: Taking taylor expansion of 4.0 in z
4.341 * [taylor]: Taking taylor expansion of 0 in z
4.344 * [taylor]: Taking taylor expansion of 0 in t
4.345 * [taylor]: Taking taylor expansion of 0 in z
4.345 * [taylor]: Taking taylor expansion of 0 in z
4.347 * [taylor]: Taking taylor expansion of 0 in z
4.347 * [approximate]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) y) in (y t z) around 0
4.347 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) y) in z
4.347 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in z
4.347 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
4.347 * [taylor]: Taking taylor expansion of 4.0 in z
4.347 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.347 * [taylor]: Taking taylor expansion of t in z
4.347 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.347 * [taylor]: Taking taylor expansion of 4.0 in z
4.347 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.347 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.347 * [taylor]: Taking taylor expansion of z in z
4.348 * [taylor]: Taking taylor expansion of y in z
4.349 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) y) in t
4.349 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in t
4.349 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.349 * [taylor]: Taking taylor expansion of 4.0 in t
4.349 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.349 * [taylor]: Taking taylor expansion of t in t
4.350 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.350 * [taylor]: Taking taylor expansion of 4.0 in t
4.350 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.350 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.350 * [taylor]: Taking taylor expansion of z in t
4.350 * [taylor]: Taking taylor expansion of y in t
4.351 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) y) in y
4.351 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in y
4.351 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
4.351 * [taylor]: Taking taylor expansion of 4.0 in y
4.351 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.351 * [taylor]: Taking taylor expansion of t in y
4.351 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in y
4.351 * [taylor]: Taking taylor expansion of 4.0 in y
4.351 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.351 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.351 * [taylor]: Taking taylor expansion of z in y
4.351 * [taylor]: Taking taylor expansion of y in y
4.351 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) y) in y
4.351 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in y
4.351 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
4.351 * [taylor]: Taking taylor expansion of 4.0 in y
4.352 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.352 * [taylor]: Taking taylor expansion of t in y
4.352 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in y
4.352 * [taylor]: Taking taylor expansion of 4.0 in y
4.352 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.352 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.352 * [taylor]: Taking taylor expansion of z in y
4.352 * [taylor]: Taking taylor expansion of y in y
4.352 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in t
4.352 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.352 * [taylor]: Taking taylor expansion of 4.0 in t
4.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.352 * [taylor]: Taking taylor expansion of t in t
4.353 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.353 * [taylor]: Taking taylor expansion of 4.0 in t
4.353 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.353 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.353 * [taylor]: Taking taylor expansion of z in t
4.354 * [taylor]: Taking taylor expansion of 4.0 in z
4.356 * [taylor]: Taking taylor expansion of 0 in t
4.357 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow z 2)))) in z
4.357 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.357 * [taylor]: Taking taylor expansion of 4.0 in z
4.357 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.357 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.357 * [taylor]: Taking taylor expansion of z in z
4.362 * [taylor]: Taking taylor expansion of 0 in t
4.362 * [taylor]: Taking taylor expansion of 0 in z
4.364 * [taylor]: Taking taylor expansion of 0 in z
4.370 * [taylor]: Taking taylor expansion of 0 in t
4.370 * [taylor]: Taking taylor expansion of 0 in z
4.370 * [taylor]: Taking taylor expansion of 0 in z
4.373 * [taylor]: Taking taylor expansion of 0 in z
4.380 * [taylor]: Taking taylor expansion of 0 in t
4.380 * [taylor]: Taking taylor expansion of 0 in z
4.380 * [taylor]: Taking taylor expansion of 0 in z
4.380 * [taylor]: Taking taylor expansion of 0 in z
4.384 * [taylor]: Taking taylor expansion of 0 in z
4.389 * [approximate]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) y) in (y t z) around 0
4.389 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) y) in z
4.389 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in z
4.389 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.389 * [taylor]: Taking taylor expansion of 4.0 in z
4.389 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.389 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.389 * [taylor]: Taking taylor expansion of z in z
4.390 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
4.390 * [taylor]: Taking taylor expansion of 4.0 in z
4.390 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.390 * [taylor]: Taking taylor expansion of t in z
4.390 * [taylor]: Taking taylor expansion of y in z
4.391 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) y) in t
4.391 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in t
4.391 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.391 * [taylor]: Taking taylor expansion of 4.0 in t
4.391 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.391 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.391 * [taylor]: Taking taylor expansion of z in t
4.391 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.391 * [taylor]: Taking taylor expansion of 4.0 in t
4.391 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.391 * [taylor]: Taking taylor expansion of t in t
4.391 * [taylor]: Taking taylor expansion of y in t
4.392 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) y) in y
4.392 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in y
4.392 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in y
4.392 * [taylor]: Taking taylor expansion of 4.0 in y
4.392 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.392 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.392 * [taylor]: Taking taylor expansion of z in y
4.392 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
4.392 * [taylor]: Taking taylor expansion of 4.0 in y
4.392 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.392 * [taylor]: Taking taylor expansion of t in y
4.392 * [taylor]: Taking taylor expansion of y in y
4.393 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) y) in y
4.393 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in y
4.393 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in y
4.393 * [taylor]: Taking taylor expansion of 4.0 in y
4.393 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
4.393 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.393 * [taylor]: Taking taylor expansion of z in y
4.393 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
4.393 * [taylor]: Taking taylor expansion of 4.0 in y
4.393 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.393 * [taylor]: Taking taylor expansion of t in y
4.393 * [taylor]: Taking taylor expansion of y in y
4.394 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in t
4.394 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.394 * [taylor]: Taking taylor expansion of 4.0 in t
4.394 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.394 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.394 * [taylor]: Taking taylor expansion of z in t
4.394 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.394 * [taylor]: Taking taylor expansion of 4.0 in t
4.394 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.394 * [taylor]: Taking taylor expansion of t in t
4.395 * [taylor]: Taking taylor expansion of 4.0 in z
4.397 * [taylor]: Taking taylor expansion of 0 in t
4.398 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.398 * [taylor]: Taking taylor expansion of 4.0 in z
4.398 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.398 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.398 * [taylor]: Taking taylor expansion of z in z
4.402 * [taylor]: Taking taylor expansion of 0 in t
4.402 * [taylor]: Taking taylor expansion of 0 in z
4.404 * [taylor]: Taking taylor expansion of 0 in z
4.410 * [taylor]: Taking taylor expansion of 0 in t
4.410 * [taylor]: Taking taylor expansion of 0 in z
4.410 * [taylor]: Taking taylor expansion of 0 in z
4.412 * [taylor]: Taking taylor expansion of 0 in z
4.419 * [taylor]: Taking taylor expansion of 0 in t
4.419 * [taylor]: Taking taylor expansion of 0 in z
4.419 * [taylor]: Taking taylor expansion of 0 in z
4.419 * [taylor]: Taking taylor expansion of 0 in z
4.423 * [taylor]: Taking taylor expansion of 0 in z
4.425 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 2 2)
4.425 * [approximate]: Taking taylor expansion of (* 4.0 (pow z 2)) in (z) around 0
4.425 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
4.425 * [taylor]: Taking taylor expansion of 4.0 in z
4.425 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.425 * [taylor]: Taking taylor expansion of z in z
4.425 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
4.425 * [taylor]: Taking taylor expansion of 4.0 in z
4.425 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.425 * [taylor]: Taking taylor expansion of z in z
4.434 * [approximate]: Taking taylor expansion of (/ 4.0 (pow z 2)) in (z) around 0
4.434 * [taylor]: Taking taylor expansion of (/ 4.0 (pow z 2)) in z
4.434 * [taylor]: Taking taylor expansion of 4.0 in z
4.434 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.434 * [taylor]: Taking taylor expansion of z in z
4.435 * [taylor]: Taking taylor expansion of (/ 4.0 (pow z 2)) in z
4.435 * [taylor]: Taking taylor expansion of 4.0 in z
4.435 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.435 * [taylor]: Taking taylor expansion of z in z
4.443 * [approximate]: Taking taylor expansion of (/ 4.0 (pow z 2)) in (z) around 0
4.443 * [taylor]: Taking taylor expansion of (/ 4.0 (pow z 2)) in z
4.443 * [taylor]: Taking taylor expansion of 4.0 in z
4.443 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.443 * [taylor]: Taking taylor expansion of z in z
4.444 * [taylor]: Taking taylor expansion of (/ 4.0 (pow z 2)) in z
4.444 * [taylor]: Taking taylor expansion of 4.0 in z
4.444 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.444 * [taylor]: Taking taylor expansion of z in z
4.452 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 2)
4.452 * [approximate]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in (t z) around 0
4.452 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in z
4.452 * [taylor]: Taking taylor expansion of (* 4.0 t) in z
4.452 * [taylor]: Taking taylor expansion of 4.0 in z
4.452 * [taylor]: Taking taylor expansion of t in z
4.452 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
4.452 * [taylor]: Taking taylor expansion of 4.0 in z
4.452 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.452 * [taylor]: Taking taylor expansion of z in z
4.452 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in t
4.452 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
4.452 * [taylor]: Taking taylor expansion of 4.0 in t
4.452 * [taylor]: Taking taylor expansion of t in t
4.452 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in t
4.452 * [taylor]: Taking taylor expansion of 4.0 in t
4.452 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.452 * [taylor]: Taking taylor expansion of z in t
4.452 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in t
4.452 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
4.452 * [taylor]: Taking taylor expansion of 4.0 in t
4.452 * [taylor]: Taking taylor expansion of t in t
4.452 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in t
4.452 * [taylor]: Taking taylor expansion of 4.0 in t
4.452 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.452 * [taylor]: Taking taylor expansion of z in t
4.453 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow z 2))) in z
4.453 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
4.453 * [taylor]: Taking taylor expansion of 4.0 in z
4.453 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.453 * [taylor]: Taking taylor expansion of z in z
4.455 * [taylor]: Taking taylor expansion of 4.0 in z
4.457 * [taylor]: Taking taylor expansion of 0 in z
4.460 * [taylor]: Taking taylor expansion of 0 in z
4.465 * [taylor]: Taking taylor expansion of 0 in z
4.465 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in (t z) around 0
4.465 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in z
4.465 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
4.465 * [taylor]: Taking taylor expansion of 4.0 in z
4.465 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.465 * [taylor]: Taking taylor expansion of t in z
4.465 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.465 * [taylor]: Taking taylor expansion of 4.0 in z
4.465 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.465 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.465 * [taylor]: Taking taylor expansion of z in z
4.466 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in t
4.466 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.466 * [taylor]: Taking taylor expansion of 4.0 in t
4.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.466 * [taylor]: Taking taylor expansion of t in t
4.466 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.467 * [taylor]: Taking taylor expansion of 4.0 in t
4.467 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.467 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.467 * [taylor]: Taking taylor expansion of z in t
4.467 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in t
4.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.467 * [taylor]: Taking taylor expansion of 4.0 in t
4.467 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.467 * [taylor]: Taking taylor expansion of t in t
4.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.467 * [taylor]: Taking taylor expansion of 4.0 in t
4.467 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.467 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.467 * [taylor]: Taking taylor expansion of z in t
4.468 * [taylor]: Taking taylor expansion of 4.0 in z
4.469 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow z 2)))) in z
4.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.469 * [taylor]: Taking taylor expansion of 4.0 in z
4.469 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.469 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.469 * [taylor]: Taking taylor expansion of z in z
4.473 * [taylor]: Taking taylor expansion of 0 in z
4.477 * [taylor]: Taking taylor expansion of 0 in z
4.485 * [taylor]: Taking taylor expansion of 0 in z
4.491 * [taylor]: Taking taylor expansion of 0 in z
4.492 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t)))) in (t z) around 0
4.492 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t)))) in z
4.492 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in z
4.492 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.492 * [taylor]: Taking taylor expansion of 4.0 in z
4.492 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.492 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.492 * [taylor]: Taking taylor expansion of z in z
4.492 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
4.492 * [taylor]: Taking taylor expansion of 4.0 in z
4.492 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.492 * [taylor]: Taking taylor expansion of t in z
4.492 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t)))) in t
4.493 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in t
4.493 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.493 * [taylor]: Taking taylor expansion of 4.0 in t
4.493 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.493 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.493 * [taylor]: Taking taylor expansion of z in t
4.493 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.493 * [taylor]: Taking taylor expansion of 4.0 in t
4.493 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.493 * [taylor]: Taking taylor expansion of t in t
4.493 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t)))) in t
4.493 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in t
4.493 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
4.493 * [taylor]: Taking taylor expansion of 4.0 in t
4.493 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
4.493 * [taylor]: Taking taylor expansion of (pow z 2) in t
4.493 * [taylor]: Taking taylor expansion of z in t
4.493 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
4.493 * [taylor]: Taking taylor expansion of 4.0 in t
4.493 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.493 * [taylor]: Taking taylor expansion of t in t
4.495 * [taylor]: Taking taylor expansion of (- 4.0) in z
4.495 * [taylor]: Taking taylor expansion of 4.0 in z
4.496 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow z 2)))) in z
4.496 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
4.496 * [taylor]: Taking taylor expansion of 4.0 in z
4.496 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
4.496 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.496 * [taylor]: Taking taylor expansion of z in z
4.500 * [taylor]: Taking taylor expansion of 0 in z
4.504 * [taylor]: Taking taylor expansion of 0 in z
4.510 * [taylor]: Taking taylor expansion of 0 in z
4.516 * [taylor]: Taking taylor expansion of 0 in z
4.517 * * * [progress]: simplifying candidates
4.518 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (log1p (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (* y (- (* 4.0 t) (* 4.0 (* z z))))
  (+ (log y) (log (- (* 4.0 t) (* 4.0 (* z z)))))
  (log (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (exp (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (* (* (* y y) y) (* (* (- (* 4.0 t) (* 4.0 (* z z))) (- (* 4.0 t) (* 4.0 (* z z)))) (- (* 4.0 t) (* 4.0 (* z z)))))
  (* (cbrt (* y (- (* 4.0 t) (* 4.0 (* z z))))) (cbrt (* y (- (* 4.0 t) (* 4.0 (* z z))))))
  (cbrt (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (* (* (* y (- (* 4.0 t) (* 4.0 (* z z)))) (* y (- (* 4.0 t) (* 4.0 (* z z))))) (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (sqrt (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (sqrt (* y (- (* 4.0 t) (* 4.0 (* z z)))))
  (* (sqrt y) (sqrt (- (* 4.0 t) (* 4.0 (* z z)))))
  (* (sqrt y) (sqrt (- (* 4.0 t) (* 4.0 (* z z)))))
  (* y (fma 4.0 t (- (* (* z z) 4.0))))
  (* y (fma (- (* z z)) 4.0 (* (* z z) 4.0)))
  (* y (* 4.0 t))
  (* y (- (* 4.0 (* z z))))
  (* y (* 4.0 t))
  (* y (- (* 4.0 (* z z))))
  (* (fma 4.0 t (- (* (* z z) 4.0))) y)
  (* (fma (- (* z z)) 4.0 (* (* z z) 4.0)) y)
  (* (* 4.0 t) y)
  (* (- (* 4.0 (* z z))) y)
  (* (* 4.0 t) y)
  (* (- (* 4.0 (* z z))) y)
  (* y (* (cbrt (- (* 4.0 t) (* 4.0 (* z z)))) (cbrt (- (* 4.0 t) (* 4.0 (* z z))))))
  (* y (sqrt (- (* 4.0 t) (* 4.0 (* z z)))))
  (* y 1)
  (* y 4.0)
  (* (cbrt y) (- (* 4.0 t) (* 4.0 (* z z))))
  (* (sqrt y) (- (* 4.0 t) (* 4.0 (* z z))))
  (* y (- (* 4.0 t) (* 4.0 (* z z))))
  (* y (- (pow (* 4.0 t) 3) (pow (* 4.0 (* z z)) 3)))
  (* y (- (* (* 4.0 t) (* 4.0 t)) (* (* 4.0 (* z z)) (* 4.0 (* z z)))))
  (expm1 (* 4.0 (* z z)))
  (log1p (* 4.0 (* z z)))
  (* 4.0 (* z z))
  (* 4.0 (* z z))
  (+ (log 4.0) (+ (log z) (log z)))
  (+ (log 4.0) (log (* z z)))
  (log (* 4.0 (* z z)))
  (exp (* 4.0 (* z z)))
  (* (* (* 4.0 4.0) 4.0) (* (* (* z z) z) (* (* z z) z)))
  (* (* (* 4.0 4.0) 4.0) (* (* (* z z) (* z z)) (* z z)))
  (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z))))
  (cbrt (* 4.0 (* z z)))
  (* (* (* 4.0 (* z z)) (* 4.0 (* z z))) (* 4.0 (* z z)))
  (sqrt (* 4.0 (* z z)))
  (sqrt (* 4.0 (* z z)))
  (* (sqrt 4.0) z)
  (* (sqrt 4.0) z)
  (* 4.0 z)
  (* (cbrt 4.0) (* z z))
  (* (sqrt 4.0) (* z z))
  (* 4.0 (* z z))
  (fma 4.0 t (- (* (* z z) 4.0)))
  (fma (- (* z z)) 4.0 (* (* z z) 4.0))
  (expm1 (- (* 4.0 t) (* 4.0 (* z z))))
  (log1p (- (* 4.0 t) (* 4.0 (* z z))))
  (- (* 4.0 (* z z)))
  (/ (exp (* 4.0 t)) (exp (* 4.0 (* z z))))
  (log (- (* 4.0 t) (* 4.0 (* z z))))
  (exp (- (* 4.0 t) (* 4.0 (* z z))))
  (* (cbrt (- (* 4.0 t) (* 4.0 (* z z)))) (cbrt (- (* 4.0 t) (* 4.0 (* z z)))))
  (cbrt (- (* 4.0 t) (* 4.0 (* z z))))
  (* (* (- (* 4.0 t) (* 4.0 (* z z))) (- (* 4.0 t) (* 4.0 (* z z)))) (- (* 4.0 t) (* 4.0 (* z z))))
  (sqrt (- (* 4.0 t) (* 4.0 (* z z))))
  (sqrt (- (* 4.0 t) (* 4.0 (* z z))))
  (- (pow (* 4.0 t) 3) (pow (* 4.0 (* z z)) 3))
  (+ (* (* 4.0 t) (* 4.0 t)) (+ (* (* 4.0 (* z z)) (* 4.0 (* z z))) (* (* 4.0 t) (* 4.0 (* z z)))))
  (- (* 4.0 (* z z)))
  (- (* (* 4.0 t) (* 4.0 t)) (* (* 4.0 (* z z)) (* 4.0 (* z z))))
  (+ (* 4.0 t) (* 4.0 (* z z)))
  (- t (* z z))
  (- (* 4.0 (* z z)))
  (* 4.0 (* t y))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
  (* 4.0 (pow z 2))
  (* 4.0 (pow z 2))
  (* 4.0 (pow z 2))
  (- (* 4.0 t) (* 4.0 (pow z 2)))
  (- (* 4.0 t) (* 4.0 (pow z 2)))
  (- (* 4.0 t) (* 4.0 (pow z 2)))
4.521 * * [simplify]: iteration  0 :  109  enodes  (cost  917 )
4.545 * * [simplify]: iteration  1 :  260  enodes  (cost  789 )
4.616 * * [simplify]: iteration  2 :  830  enodes  (cost  704 )
5.150 * * [simplify]: iteration  3 :  3825  enodes  (cost  690 )
6.705 * * [simplify]: iteration  done :  5000  enodes  (cost  687 )
6.705 * [simplify]: Simplified to:
   (expm1 (* (* 4.0 (- t (* z z))) y))
  (log1p (* (* 4.0 (- t (* z z))) y))
  (* (* 4.0 (- t (* z z))) y)
  (log (* (* 4.0 (- t (* z z))) y))
  (log (* (* 4.0 (- t (* z z))) y))
  (exp (* (* 4.0 (- t (* z z))) y))
  (pow (* (* 4.0 (- t (* z z))) y) 3)
  (* (cbrt (* (* 4.0 (- t (* z z))) y)) (cbrt (* (* 4.0 (- t (* z z))) y)))
  (cbrt (* (* 4.0 (- t (* z z))) y))
  (pow (* (* 4.0 (- t (* z z))) y) 3)
  (sqrt (* (* 4.0 (- t (* z z))) y))
  (sqrt (* (* 4.0 (- t (* z z))) y))
  (* (sqrt y) (sqrt (* 4.0 (- t (* z z)))))
  (* (sqrt y) (sqrt (* 4.0 (- t (* z z)))))
  (* (* 4.0 (- t (* z z))) y)
  (* (* (pow z 2) y) (- 4.0 4.0))
  (* 4.0 (* t y))
  (* y (- (* 4.0 (* z z))))
  (* 4.0 (* t y))
  (* y (- (* 4.0 (* z z))))
  (* (* 4.0 (- t (* z z))) y)
  (* (* (pow z 2) y) (- 4.0 4.0))
  (* 4.0 (* t y))
  (* y (- (* 4.0 (* z z))))
  (* 4.0 (* t y))
  (* y (- (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (- t (* z z)))) (cbrt (* 4.0 (- t (* z z))))) y)
  (* y (sqrt (* 4.0 (- t (* z z)))))
  y
  (* y 4.0)
  (* (* 4.0 (- t (* z z))) (cbrt y))
  (* (* 4.0 (- t (* z z))) (sqrt y))
  (* (* 4.0 (- t (* z z))) y)
  (* y (* (pow 4.0 3) (- (pow t 3) (pow z 6))))
  (* (* (* 4.0 4.0) (- (* t t) (pow z 4))) y)
  (expm1 (* 4.0 (* z z)))
  (log1p (* 4.0 (* z z)))
  (* z (* 4.0 z))
  (* z (* 4.0 z))
  (log (* 4.0 (pow z 2)))
  (log (* 4.0 (pow z 2)))
  (log (* 4.0 (pow z 2)))
  (exp (* 4.0 (* z z)))
  (pow (* 4.0 (pow z 2)) 3)
  (pow (* 4.0 (pow z 2)) 3)
  (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z))))
  (cbrt (* 4.0 (* z z)))
  (pow (* 4.0 (pow z 2)) 3)
  (sqrt (* 4.0 (* z z)))
  (sqrt (* 4.0 (* z z)))
  (* (sqrt 4.0) z)
  (* (sqrt 4.0) z)
  (* 4.0 z)
  (* (cbrt 4.0) (* z z))
  (* (sqrt 4.0) (* z z))
  (* z (* 4.0 z))
  (* 4.0 (- t (* z z)))
  (* (- 4.0 4.0) (* z z))
  (expm1 (* 4.0 (- t (* z z))))
  (log1p (* 4.0 (- t (* z z))))
  (- (* 4.0 (* z z)))
  (exp (* 4.0 (- t (* z z))))
  (log (* 4.0 (- t (* z z))))
  (exp (* 4.0 (- t (* z z))))
  (* (cbrt (* 4.0 (- t (* z z)))) (cbrt (* 4.0 (- t (* z z)))))
  (cbrt (* 4.0 (- t (* z z))))
  (pow (* 4.0 (- t (* z z))) 3)
  (sqrt (* 4.0 (- t (* z z))))
  (sqrt (* 4.0 (- t (* z z))))
  (* (pow 4.0 3) (- (pow t 3) (pow z 6)))
  (fma (* 4.0 4.0) (pow z 4) (* t (* (fma z z t) (* 4.0 4.0))))
  (- (* 4.0 (* z z)))
  (* (* 4.0 4.0) (- (* t t) (pow z 4)))
  (* (fma z z t) 4.0)
  (- t (* z z))
  (- (* 4.0 (* z z)))
  (* 4.0 (* t y))
  (* (* 4.0 (- t (* z z))) y)
  (* (* 4.0 (- t (* z z))) y)
  (* z (* 4.0 z))
  (* z (* 4.0 z))
  (* z (* 4.0 z))
  (* 4.0 (- t (* z z)))
  (* 4.0 (- t (* z z)))
  (* 4.0 (- t (* z z)))
6.706 * * * [progress]: adding candidates to table
6.931 * * [progress]: iteration 3 / 4
6.931 * * * [progress]: picking best candidate
6.942 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>
6.942 * * * [progress]: localizing error
6.958 * * * [progress]: generating rewritten candidates
6.958 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 2 2)
6.963 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 2 1 2)
6.968 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2 2 1 1)
6.973 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3)
6.985 * * * [progress]: generating series expansions
6.985 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 2 2)
6.985 * [approximate]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in (z) around 0
6.985 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
6.985 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
6.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
6.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
6.985 * [taylor]: Taking taylor expansion of 1/3 in z
6.985 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
6.985 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.986 * [taylor]: Taking taylor expansion of z in z
6.987 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
6.987 * [taylor]: Taking taylor expansion of 4.0 in z
6.988 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
6.988 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
6.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
6.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
6.988 * [taylor]: Taking taylor expansion of 1/3 in z
6.988 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
6.988 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.988 * [taylor]: Taking taylor expansion of z in z
6.989 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
6.989 * [taylor]: Taking taylor expansion of 4.0 in z
7.065 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
7.065 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.066 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.066 * [taylor]: Taking taylor expansion of 1/3 in z
7.066 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.066 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.066 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.066 * [taylor]: Taking taylor expansion of z in z
7.067 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.067 * [taylor]: Taking taylor expansion of 4.0 in z
7.068 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.068 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.068 * [taylor]: Taking taylor expansion of 1/3 in z
7.068 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.068 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.068 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.068 * [taylor]: Taking taylor expansion of z in z
7.070 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.070 * [taylor]: Taking taylor expansion of 4.0 in z
7.148 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
7.148 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.148 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.148 * [taylor]: Taking taylor expansion of 1/3 in z
7.148 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.148 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.148 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.148 * [taylor]: Taking taylor expansion of z in z
7.149 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.150 * [taylor]: Taking taylor expansion of 4.0 in z
7.150 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.150 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.151 * [taylor]: Taking taylor expansion of 1/3 in z
7.151 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.151 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.151 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.151 * [taylor]: Taking taylor expansion of z in z
7.152 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.152 * [taylor]: Taking taylor expansion of 4.0 in z
7.231 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 2 1 2)
7.231 * [approximate]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in (z) around 0
7.231 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
7.231 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
7.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
7.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
7.231 * [taylor]: Taking taylor expansion of 1/3 in z
7.231 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
7.231 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.231 * [taylor]: Taking taylor expansion of z in z
7.232 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.232 * [taylor]: Taking taylor expansion of 4.0 in z
7.233 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
7.233 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
7.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
7.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
7.233 * [taylor]: Taking taylor expansion of 1/3 in z
7.233 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
7.234 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.234 * [taylor]: Taking taylor expansion of z in z
7.235 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.235 * [taylor]: Taking taylor expansion of 4.0 in z
7.308 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
7.308 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.308 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.308 * [taylor]: Taking taylor expansion of 1/3 in z
7.308 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.308 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.308 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.308 * [taylor]: Taking taylor expansion of z in z
7.310 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.310 * [taylor]: Taking taylor expansion of 4.0 in z
7.310 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.310 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.311 * [taylor]: Taking taylor expansion of 1/3 in z
7.311 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.311 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.311 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.311 * [taylor]: Taking taylor expansion of z in z
7.312 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.312 * [taylor]: Taking taylor expansion of 4.0 in z
7.389 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
7.389 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.389 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.389 * [taylor]: Taking taylor expansion of 1/3 in z
7.389 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.389 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.389 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.389 * [taylor]: Taking taylor expansion of z in z
7.390 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.390 * [taylor]: Taking taylor expansion of 4.0 in z
7.391 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.391 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.391 * [taylor]: Taking taylor expansion of 1/3 in z
7.391 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.391 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.391 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.391 * [taylor]: Taking taylor expansion of z in z
7.393 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.393 * [taylor]: Taking taylor expansion of 4.0 in z
7.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2 2 1 1)
7.471 * [approximate]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in (z) around 0
7.471 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
7.471 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
7.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
7.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
7.471 * [taylor]: Taking taylor expansion of 1/3 in z
7.471 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
7.471 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.471 * [taylor]: Taking taylor expansion of z in z
7.472 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.472 * [taylor]: Taking taylor expansion of 4.0 in z
7.473 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
7.473 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
7.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
7.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
7.473 * [taylor]: Taking taylor expansion of 1/3 in z
7.473 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
7.473 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.473 * [taylor]: Taking taylor expansion of z in z
7.475 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.475 * [taylor]: Taking taylor expansion of 4.0 in z
7.548 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
7.548 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.548 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.548 * [taylor]: Taking taylor expansion of 1/3 in z
7.548 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.548 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.548 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.548 * [taylor]: Taking taylor expansion of z in z
7.549 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.549 * [taylor]: Taking taylor expansion of 4.0 in z
7.550 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.550 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.550 * [taylor]: Taking taylor expansion of 1/3 in z
7.550 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.550 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.550 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.550 * [taylor]: Taking taylor expansion of z in z
7.551 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.551 * [taylor]: Taking taylor expansion of 4.0 in z
7.626 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
7.626 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.626 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.626 * [taylor]: Taking taylor expansion of 1/3 in z
7.626 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.626 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.626 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.626 * [taylor]: Taking taylor expansion of z in z
7.627 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.628 * [taylor]: Taking taylor expansion of 4.0 in z
7.628 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
7.628 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
7.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
7.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
7.628 * [taylor]: Taking taylor expansion of 1/3 in z
7.628 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
7.628 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.628 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.628 * [taylor]: Taking taylor expansion of z in z
7.629 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.629 * [taylor]: Taking taylor expansion of 4.0 in z
7.697 * * * * [progress]: [ 4 / 4 ] generating series at (2 3)
7.698 * [approximate]: Taking taylor expansion of (* (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) y) in (y t z) around 0
7.698 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) y) in z
7.698 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) in z
7.698 * [taylor]: Taking taylor expansion of (* 4.0 t) in z
7.698 * [taylor]: Taking taylor expansion of 4.0 in z
7.698 * [taylor]: Taking taylor expansion of t in z
7.698 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.0) 3) (pow z 2)) in z
7.698 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in z
7.698 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.698 * [taylor]: Taking taylor expansion of 4.0 in z
7.699 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.699 * [taylor]: Taking taylor expansion of z in z
7.699 * [taylor]: Taking taylor expansion of y in z
7.699 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) y) in t
7.699 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) in t
7.699 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
7.699 * [taylor]: Taking taylor expansion of 4.0 in t
7.699 * [taylor]: Taking taylor expansion of t in t
7.699 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.0) 3) (pow z 2)) in t
7.699 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in t
7.699 * [taylor]: Taking taylor expansion of (cbrt 4.0) in t
7.699 * [taylor]: Taking taylor expansion of 4.0 in t
7.700 * [taylor]: Taking taylor expansion of (pow z 2) in t
7.700 * [taylor]: Taking taylor expansion of z in t
7.700 * [taylor]: Taking taylor expansion of y in t
7.700 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) y) in y
7.700 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) in y
7.700 * [taylor]: Taking taylor expansion of (* 4.0 t) in y
7.700 * [taylor]: Taking taylor expansion of 4.0 in y
7.700 * [taylor]: Taking taylor expansion of t in y
7.700 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.0) 3) (pow z 2)) in y
7.700 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in y
7.700 * [taylor]: Taking taylor expansion of (cbrt 4.0) in y
7.700 * [taylor]: Taking taylor expansion of 4.0 in y
7.707 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.707 * [taylor]: Taking taylor expansion of z in y
7.707 * [taylor]: Taking taylor expansion of y in y
7.707 * [taylor]: Taking taylor expansion of (* (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) y) in y
7.707 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* (pow (cbrt 4.0) 3) (pow z 2))) in y
7.707 * [taylor]: Taking taylor expansion of (* 4.0 t) in y
7.707 * [taylor]: Taking taylor expansion of 4.0 in y
7.707 * [taylor]: Taking taylor expansion of t in y
7.707 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.0) 3) (pow z 2)) in y
7.707 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in y
7.708 * [taylor]: Taking taylor expansion of (cbrt 4.0) in y
7.708 * [taylor]: Taking taylor expansion of 4.0 in y
7.708 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.708 * [taylor]: Taking taylor expansion of z in y
7.708 * [taylor]: Taking taylor expansion of y in y
7.712 * [taylor]: Taking taylor expansion of 0 in t
7.712 * [taylor]: Taking taylor expansion of 0 in z
7.715 * [taylor]: Taking taylor expansion of (- (* 4.0 t) (* 4.0 (pow z 2))) in t
7.715 * [taylor]: Taking taylor expansion of (* 4.0 t) in t
7.715 * [taylor]: Taking taylor expansion of 4.0 in t
7.715 * [taylor]: Taking taylor expansion of t in t
7.715 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in t
7.715 * [taylor]: Taking taylor expansion of 4.0 in t
7.715 * [taylor]: Taking taylor expansion of (pow z 2) in t
7.715 * [taylor]: Taking taylor expansion of z in t
7.716 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow z 2))) in z
7.716 * [taylor]: Taking taylor expansion of (* 4.0 (pow z 2)) in z
7.716 * [taylor]: Taking taylor expansion of 4.0 in z
7.716 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.716 * [taylor]: Taking taylor expansion of z in z
7.716 * [taylor]: Taking taylor expansion of 0 in z
7.722 * [taylor]: Taking taylor expansion of 0 in t
7.722 * [taylor]: Taking taylor expansion of 0 in z
7.724 * [taylor]: Taking taylor expansion of 4.0 in z
7.724 * [taylor]: Taking taylor expansion of 0 in z
7.730 * [taylor]: Taking taylor expansion of 0 in t
7.730 * [taylor]: Taking taylor expansion of 0 in z
7.730 * [taylor]: Taking taylor expansion of 0 in z
7.732 * [taylor]: Taking taylor expansion of 0 in z
7.733 * [approximate]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) y) in (y t z) around 0
7.733 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) y) in z
7.733 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) in z
7.733 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
7.733 * [taylor]: Taking taylor expansion of 4.0 in z
7.733 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.733 * [taylor]: Taking taylor expansion of t in z
7.733 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in z
7.733 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in z
7.733 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.733 * [taylor]: Taking taylor expansion of 4.0 in z
7.734 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.734 * [taylor]: Taking taylor expansion of z in z
7.738 * [taylor]: Taking taylor expansion of y in z
7.739 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) y) in t
7.739 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) in t
7.739 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
7.739 * [taylor]: Taking taylor expansion of 4.0 in t
7.739 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.740 * [taylor]: Taking taylor expansion of t in t
7.740 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in t
7.740 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in t
7.740 * [taylor]: Taking taylor expansion of (cbrt 4.0) in t
7.740 * [taylor]: Taking taylor expansion of 4.0 in t
7.741 * [taylor]: Taking taylor expansion of (pow z 2) in t
7.741 * [taylor]: Taking taylor expansion of z in t
7.744 * [taylor]: Taking taylor expansion of y in t
7.745 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) y) in y
7.745 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) in y
7.745 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
7.745 * [taylor]: Taking taylor expansion of 4.0 in y
7.745 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.745 * [taylor]: Taking taylor expansion of t in y
7.745 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in y
7.745 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in y
7.745 * [taylor]: Taking taylor expansion of (cbrt 4.0) in y
7.745 * [taylor]: Taking taylor expansion of 4.0 in y
7.746 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.746 * [taylor]: Taking taylor expansion of z in y
7.749 * [taylor]: Taking taylor expansion of y in y
7.749 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) y) in y
7.749 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (/ (pow (cbrt 4.0) 3) (pow z 2))) in y
7.749 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
7.749 * [taylor]: Taking taylor expansion of 4.0 in y
7.749 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.749 * [taylor]: Taking taylor expansion of t in y
7.750 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in y
7.750 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in y
7.750 * [taylor]: Taking taylor expansion of (cbrt 4.0) in y
7.750 * [taylor]: Taking taylor expansion of 4.0 in y
7.750 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.750 * [taylor]: Taking taylor expansion of z in y
7.753 * [taylor]: Taking taylor expansion of y in y
7.754 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 t)) (* 4.0 (/ 1 (pow z 2)))) in t
7.754 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
7.754 * [taylor]: Taking taylor expansion of 4.0 in t
7.754 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.754 * [taylor]: Taking taylor expansion of t in t
7.755 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
7.755 * [taylor]: Taking taylor expansion of 4.0 in t
7.755 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
7.755 * [taylor]: Taking taylor expansion of (pow z 2) in t
7.755 * [taylor]: Taking taylor expansion of z in t
7.755 * [taylor]: Taking taylor expansion of 4.0 in z
7.759 * [taylor]: Taking taylor expansion of 0 in t
7.761 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow z 2)))) in z
7.761 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
7.761 * [taylor]: Taking taylor expansion of 4.0 in z
7.761 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.761 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.761 * [taylor]: Taking taylor expansion of z in z
7.768 * [taylor]: Taking taylor expansion of 0 in t
7.768 * [taylor]: Taking taylor expansion of 0 in z
7.770 * [taylor]: Taking taylor expansion of 0 in z
7.778 * [taylor]: Taking taylor expansion of 0 in t
7.778 * [taylor]: Taking taylor expansion of 0 in z
7.778 * [taylor]: Taking taylor expansion of 0 in z
7.781 * [taylor]: Taking taylor expansion of 0 in z
7.791 * [taylor]: Taking taylor expansion of 0 in t
7.791 * [taylor]: Taking taylor expansion of 0 in z
7.791 * [taylor]: Taking taylor expansion of 0 in z
7.791 * [taylor]: Taking taylor expansion of 0 in z
7.795 * [taylor]: Taking taylor expansion of 0 in z
7.798 * [approximate]: Taking taylor expansion of (/ (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) y) in (y t z) around 0
7.798 * [taylor]: Taking taylor expansion of (/ (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) y) in z
7.798 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) in z
7.798 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in z
7.798 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in z
7.798 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
7.798 * [taylor]: Taking taylor expansion of 4.0 in z
7.799 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.799 * [taylor]: Taking taylor expansion of z in z
7.803 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in z
7.803 * [taylor]: Taking taylor expansion of 4.0 in z
7.803 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.803 * [taylor]: Taking taylor expansion of t in z
7.803 * [taylor]: Taking taylor expansion of y in z
7.804 * [taylor]: Taking taylor expansion of (/ (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) y) in t
7.804 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) in t
7.804 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in t
7.804 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in t
7.804 * [taylor]: Taking taylor expansion of (cbrt 4.0) in t
7.804 * [taylor]: Taking taylor expansion of 4.0 in t
7.811 * [taylor]: Taking taylor expansion of (pow z 2) in t
7.812 * [taylor]: Taking taylor expansion of z in t
7.815 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
7.815 * [taylor]: Taking taylor expansion of 4.0 in t
7.815 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.815 * [taylor]: Taking taylor expansion of t in t
7.815 * [taylor]: Taking taylor expansion of y in t
7.816 * [taylor]: Taking taylor expansion of (/ (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) y) in y
7.816 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) in y
7.816 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in y
7.816 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in y
7.816 * [taylor]: Taking taylor expansion of (cbrt 4.0) in y
7.816 * [taylor]: Taking taylor expansion of 4.0 in y
7.817 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.817 * [taylor]: Taking taylor expansion of z in y
7.819 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
7.819 * [taylor]: Taking taylor expansion of 4.0 in y
7.819 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.819 * [taylor]: Taking taylor expansion of t in y
7.819 * [taylor]: Taking taylor expansion of y in y
7.820 * [taylor]: Taking taylor expansion of (/ (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) y) in y
7.820 * [taylor]: Taking taylor expansion of (+ (/ (pow (cbrt 4.0) 3) (pow z 2)) (* 4.0 (/ 1 t))) in y
7.820 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 4.0) 3) (pow z 2)) in y
7.820 * [taylor]: Taking taylor expansion of (pow (cbrt 4.0) 3) in y
7.820 * [taylor]: Taking taylor expansion of (cbrt 4.0) in y
7.820 * [taylor]: Taking taylor expansion of 4.0 in y
7.821 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.821 * [taylor]: Taking taylor expansion of z in y
7.823 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in y
7.824 * [taylor]: Taking taylor expansion of 4.0 in y
7.824 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.824 * [taylor]: Taking taylor expansion of t in y
7.824 * [taylor]: Taking taylor expansion of y in y
7.824 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow z 2))) (* 4.0 (/ 1 t))) in t
7.824 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in t
7.824 * [taylor]: Taking taylor expansion of 4.0 in t
7.824 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
7.824 * [taylor]: Taking taylor expansion of (pow z 2) in t
7.824 * [taylor]: Taking taylor expansion of z in t
7.824 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 t)) in t
7.824 * [taylor]: Taking taylor expansion of 4.0 in t
7.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.824 * [taylor]: Taking taylor expansion of t in t
7.825 * [taylor]: Taking taylor expansion of 4.0 in z
7.828 * [taylor]: Taking taylor expansion of 0 in t
7.829 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow z 2))) in z
7.829 * [taylor]: Taking taylor expansion of 4.0 in z
7.829 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.829 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.829 * [taylor]: Taking taylor expansion of z in z
7.834 * [taylor]: Taking taylor expansion of 0 in t
7.834 * [taylor]: Taking taylor expansion of 0 in z
7.836 * [taylor]: Taking taylor expansion of 0 in z
7.843 * [taylor]: Taking taylor expansion of 0 in t
7.843 * [taylor]: Taking taylor expansion of 0 in z
7.843 * [taylor]: Taking taylor expansion of 0 in z
7.845 * [taylor]: Taking taylor expansion of 0 in z
7.854 * [taylor]: Taking taylor expansion of 0 in t
7.854 * [taylor]: Taking taylor expansion of 0 in z
7.854 * [taylor]: Taking taylor expansion of 0 in z
7.854 * [taylor]: Taking taylor expansion of 0 in z
7.857 * [taylor]: Taking taylor expansion of 0 in z
7.859 * * * [progress]: simplifying candidates
7.861 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (log1p (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))
  (+ (log y) (log (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (log (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (exp (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* (* (* y y) y) (* (* (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))) (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))) (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* (cbrt (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))) (cbrt (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))
  (cbrt (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* (* (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))) (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))) (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (sqrt (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (sqrt (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* (sqrt y) (sqrt (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* (sqrt y) (sqrt (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* y (fma 4.0 t (- (* (cbrt (* 4.0 (* z z))) (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z))))))))
  (* y (fma (- (cbrt (* 4.0 (* z z)))) (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (* (cbrt (* 4.0 (* z z))) (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))))))
  (* y (* 4.0 t))
  (* y (- (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))
  (* y (* 4.0 t))
  (* y (- (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))
  (* (fma 4.0 t (- (* (cbrt (* 4.0 (* z z))) (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z))))))) y)
  (* (fma (- (cbrt (* 4.0 (* z z)))) (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (* (cbrt (* 4.0 (* z z))) (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))))) y)
  (* (* 4.0 t) y)
  (* (- (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))) y)
  (* (* 4.0 t) y)
  (* (- (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))) y)
  (* y (* (cbrt (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))) (cbrt (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))
  (* y (sqrt (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* y 1)
  (* (cbrt y) (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))
  (* (sqrt y) (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))
  (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))
  (* y (- (pow (* 4.0 t) 3) (pow (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))) 3)))
  (* y (- (* (* 4.0 t) (* 4.0 t)) (* (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z)))))))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* 4.0 (* t y))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
  (- (* 4.0 (* t y)) (* 4.0 (* (pow z 2) y)))
7.864 * * [simplify]: iteration  0 :  83  enodes  (cost  1381 )
7.882 * * [simplify]: iteration  1 :  187  enodes  (cost  875 )
7.927 * * [simplify]: iteration  2 :  517  enodes  (cost  669 )
8.371 * * [simplify]: iteration  3 :  1980  enodes  (cost  646 )
9.137 * * [simplify]: iteration  done :  5000  enodes  (cost  646 )
9.138 * [simplify]: Simplified to:
   (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* 4.0 (* z z))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* 4.0 (* z z))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* 4.0 (* z z))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (* (* y (- t (* z z))) 4.0))
  (log1p (* (* y (- t (* z z))) 4.0))
  (* (* y (- t (* z z))) 4.0)
  (log (* (* y (- t (* z z))) 4.0))
  (log (* (* y (- t (* z z))) 4.0))
  (exp (* (* y (- t (* z z))) 4.0))
  (pow (* (* y (- t (* z z))) 4.0) 3)
  (* (cbrt (* (* y (- t (* z z))) 4.0)) (cbrt (* (* y (- t (* z z))) 4.0)))
  (cbrt (* (* y (- t (* z z))) 4.0))
  (pow (* (* y (- t (* z z))) 4.0) 3)
  (sqrt (* (* y (- t (* z z))) 4.0))
  (sqrt (* (* y (- t (* z z))) 4.0))
  (* (sqrt y) (sqrt (* 4.0 (- t (* z z)))))
  (* (sqrt y) (sqrt (* 4.0 (- t (* z z)))))
  (* (* y (- t (* z z))) 4.0)
  (* (* 4.0 (* z z)) (+ (- y) y))
  (* 4.0 (* t y))
  (* (- 4.0) (* (pow z 2) y))
  (* 4.0 (* t y))
  (* (- 4.0) (* (pow z 2) y))
  (* (* y (- t (* z z))) 4.0)
  (* (* 4.0 (* z z)) (+ (- y) y))
  (* 4.0 (* t y))
  (* (- 4.0) (* (pow z 2) y))
  (* 4.0 (* t y))
  (* (- 4.0) (* (pow z 2) y))
  (* (* (cbrt (* 4.0 (- t (* z z)))) (cbrt (* 4.0 (- t (* z z))))) y)
  (* y (sqrt (* 4.0 (- t (* z z)))))
  y
  (* (* 4.0 (- t (* z z))) (cbrt y))
  (* (sqrt y) (* 4.0 (- t (* z z))))
  (* (* y (- t (* z z))) 4.0)
  (* y (- (pow (* 4.0 t) 3) (pow (* 4.0 (* z z)) 3)))
  (* y (* (* 4.0 (+ (* z z) t)) (* 4.0 (- t (* z z)))))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* 4.0 (* t y))
  (* (* y (- t (* z z))) 4.0)
  (* (* y (- t (* z z))) 4.0)
9.139 * * * [progress]: adding candidates to table
9.374 * * [progress]: iteration 4 / 4
9.374 * * * [progress]: picking best candidate
9.385 * * * * [pick]: Picked  #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>
9.385 * * * [progress]: localizing error
9.406 * * * [progress]: generating rewritten candidates
9.406 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 2 2)
9.412 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 2 1 2)
9.417 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2 2 1 1 2 1)
9.422 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 2 1 1 1 2 1)
9.427 * * * [progress]: generating series expansions
9.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 2 2)
9.428 * [approximate]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in (z) around 0
9.428 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
9.428 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
9.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
9.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
9.428 * [taylor]: Taking taylor expansion of 1/3 in z
9.428 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
9.428 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.428 * [taylor]: Taking taylor expansion of z in z
9.429 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.429 * [taylor]: Taking taylor expansion of 4.0 in z
9.430 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
9.430 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
9.430 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
9.430 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
9.430 * [taylor]: Taking taylor expansion of 1/3 in z
9.430 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
9.431 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.431 * [taylor]: Taking taylor expansion of z in z
9.432 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.432 * [taylor]: Taking taylor expansion of 4.0 in z
9.507 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
9.507 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.507 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.507 * [taylor]: Taking taylor expansion of 1/3 in z
9.507 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.507 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.507 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.507 * [taylor]: Taking taylor expansion of z in z
9.509 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.509 * [taylor]: Taking taylor expansion of 4.0 in z
9.510 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.510 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.510 * [taylor]: Taking taylor expansion of 1/3 in z
9.510 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.510 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.510 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.510 * [taylor]: Taking taylor expansion of z in z
9.511 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.511 * [taylor]: Taking taylor expansion of 4.0 in z
9.589 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
9.589 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.589 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.589 * [taylor]: Taking taylor expansion of 1/3 in z
9.589 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.589 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.589 * [taylor]: Taking taylor expansion of z in z
9.590 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.590 * [taylor]: Taking taylor expansion of 4.0 in z
9.591 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.591 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.591 * [taylor]: Taking taylor expansion of 1/3 in z
9.591 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.591 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.591 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.591 * [taylor]: Taking taylor expansion of z in z
9.593 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.593 * [taylor]: Taking taylor expansion of 4.0 in z
9.670 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 2 1 2)
9.670 * [approximate]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in (z) around 0
9.670 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
9.670 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
9.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
9.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
9.670 * [taylor]: Taking taylor expansion of 1/3 in z
9.670 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
9.670 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.670 * [taylor]: Taking taylor expansion of z in z
9.672 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.672 * [taylor]: Taking taylor expansion of 4.0 in z
9.673 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
9.673 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
9.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
9.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
9.673 * [taylor]: Taking taylor expansion of 1/3 in z
9.673 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
9.673 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.673 * [taylor]: Taking taylor expansion of z in z
9.674 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.674 * [taylor]: Taking taylor expansion of 4.0 in z
9.747 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
9.747 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.748 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.748 * [taylor]: Taking taylor expansion of 1/3 in z
9.748 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.748 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.748 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.748 * [taylor]: Taking taylor expansion of z in z
9.749 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.749 * [taylor]: Taking taylor expansion of 4.0 in z
9.750 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.750 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.750 * [taylor]: Taking taylor expansion of 1/3 in z
9.750 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.750 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.750 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.750 * [taylor]: Taking taylor expansion of z in z
9.752 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.752 * [taylor]: Taking taylor expansion of 4.0 in z
9.829 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
9.829 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.829 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.829 * [taylor]: Taking taylor expansion of 1/3 in z
9.829 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.829 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.829 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.829 * [taylor]: Taking taylor expansion of z in z
9.831 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.831 * [taylor]: Taking taylor expansion of 4.0 in z
9.832 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.832 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.832 * [taylor]: Taking taylor expansion of 1/3 in z
9.832 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.832 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.832 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.832 * [taylor]: Taking taylor expansion of z in z
9.833 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.833 * [taylor]: Taking taylor expansion of 4.0 in z
9.910 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2 2 1 1 2 1)
9.910 * [approximate]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in (z) around 0
9.910 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
9.910 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
9.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
9.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
9.910 * [taylor]: Taking taylor expansion of 1/3 in z
9.910 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
9.911 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.911 * [taylor]: Taking taylor expansion of z in z
9.911 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.912 * [taylor]: Taking taylor expansion of 4.0 in z
9.912 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
9.912 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
9.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
9.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
9.912 * [taylor]: Taking taylor expansion of 1/3 in z
9.912 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
9.912 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.912 * [taylor]: Taking taylor expansion of z in z
9.913 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.913 * [taylor]: Taking taylor expansion of 4.0 in z
9.983 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
9.984 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.984 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.984 * [taylor]: Taking taylor expansion of 1/3 in z
9.984 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.984 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.984 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.984 * [taylor]: Taking taylor expansion of z in z
9.985 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.985 * [taylor]: Taking taylor expansion of 4.0 in z
9.986 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
9.986 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
9.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
9.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
9.986 * [taylor]: Taking taylor expansion of 1/3 in z
9.986 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
9.986 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
9.986 * [taylor]: Taking taylor expansion of (pow z 2) in z
9.986 * [taylor]: Taking taylor expansion of z in z
9.988 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
9.988 * [taylor]: Taking taylor expansion of 4.0 in z
10.061 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
10.061 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
10.062 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
10.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
10.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
10.062 * [taylor]: Taking taylor expansion of 1/3 in z
10.062 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
10.062 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.062 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.062 * [taylor]: Taking taylor expansion of z in z
10.063 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.063 * [taylor]: Taking taylor expansion of 4.0 in z
10.064 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
10.064 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
10.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
10.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
10.064 * [taylor]: Taking taylor expansion of 1/3 in z
10.064 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
10.064 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.064 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.064 * [taylor]: Taking taylor expansion of z in z
10.073 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.073 * [taylor]: Taking taylor expansion of 4.0 in z
10.146 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 2 1 1 1 2 1)
10.147 * [approximate]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in (z) around 0
10.147 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
10.147 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
10.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
10.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
10.147 * [taylor]: Taking taylor expansion of 1/3 in z
10.147 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
10.147 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.147 * [taylor]: Taking taylor expansion of z in z
10.148 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.148 * [taylor]: Taking taylor expansion of 4.0 in z
10.149 * [taylor]: Taking taylor expansion of (* (pow (pow z 2) 1/3) (cbrt 4.0)) in z
10.149 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
10.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
10.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
10.149 * [taylor]: Taking taylor expansion of 1/3 in z
10.149 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
10.149 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.149 * [taylor]: Taking taylor expansion of z in z
10.150 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.150 * [taylor]: Taking taylor expansion of 4.0 in z
10.227 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
10.227 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
10.227 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
10.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
10.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
10.227 * [taylor]: Taking taylor expansion of 1/3 in z
10.227 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
10.227 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.227 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.227 * [taylor]: Taking taylor expansion of z in z
10.228 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.229 * [taylor]: Taking taylor expansion of 4.0 in z
10.229 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
10.229 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
10.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
10.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
10.229 * [taylor]: Taking taylor expansion of 1/3 in z
10.229 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
10.229 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.229 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.229 * [taylor]: Taking taylor expansion of z in z
10.231 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.231 * [taylor]: Taking taylor expansion of 4.0 in z
10.307 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in (z) around 0
10.308 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
10.308 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
10.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
10.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
10.308 * [taylor]: Taking taylor expansion of 1/3 in z
10.308 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
10.308 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.308 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.308 * [taylor]: Taking taylor expansion of z in z
10.309 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.309 * [taylor]: Taking taylor expansion of 4.0 in z
10.310 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (cbrt 4.0)) in z
10.310 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
10.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
10.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
10.310 * [taylor]: Taking taylor expansion of 1/3 in z
10.310 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
10.310 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.310 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.310 * [taylor]: Taking taylor expansion of z in z
10.311 * [taylor]: Taking taylor expansion of (cbrt 4.0) in z
10.311 * [taylor]: Taking taylor expansion of 4.0 in z
10.387 * * * [progress]: simplifying candidates
10.388 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
  (* (cbrt 4.0) (pow (pow z 2) 1/3))
10.389 * * [simplify]: iteration  0 :  21  enodes  (cost  456 )
10.393 * * [simplify]: iteration  1 :  35  enodes  (cost  444 )
10.399 * * [simplify]: iteration  2 :  61  enodes  (cost  396 )
10.413 * * [simplify]: iteration  3 :  88  enodes  (cost  384 )
10.426 * * [simplify]: iteration  4 :  144  enodes  (cost  384 )
10.456 * * [simplify]: iteration  5 :  318  enodes  (cost  384 )
10.659 * * [simplify]: iteration  6 :  885  enodes  (cost  384 )
12.732 * * [simplify]: iteration  7 :  3308  enodes  (cost  384 )
16.201 * * [simplify]: iteration  done :  5000  enodes  (cost  384 )
16.202 * [simplify]: Simplified to:
   (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* 4.0 (* z z))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* 4.0 (* z z))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* 4.0 (* z z))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (expm1 (cbrt (* 4.0 (* z z))))
  (log1p (cbrt (* 4.0 (* z z))))
  (log (cbrt (* 4.0 (* z z))))
  (exp (cbrt (* 4.0 (* z z))))
  (cbrt 4.0)
  (cbrt (* z z))
  (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z)))))
  (cbrt (cbrt (* 4.0 (* z z))))
  (* 4.0 (* z z))
  (sqrt (cbrt (* 4.0 (* z z))))
  (sqrt (cbrt (* 4.0 (* z z))))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
  (* (cbrt 4.0) (cbrt (* z z)))
16.202 * * * [progress]: adding candidates to table
16.419 * [progress]: [Phase 3 of 3] Extracting.
16.419 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.421 * * * [regime-changes]: Trying 8 branch expressions: ((* z z) (- (* z z) t) (* y 4.0) (* x x) t z y x)
16.421 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.451 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.477 * * * * [regimes]: Trying to branch on (- (* z z) t) from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.515 * * * * [regimes]: Trying to branch on (* y 4.0) from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.542 * * * * [regimes]: Trying to branch on (* y 4.0) from (#<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))>)
16.567 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.597 * * * * [regimes]: Trying to branch on (* x x) from (#<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))>)
16.629 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.664 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.700 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.728 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.757 * * * [regime]: Found split indices: #<option (#s(si 0 233) #s(si 2 255))>
16.758 * [binary-search]: Only using regimes for bounds on (* z z) and (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.758 * [regimes]: Found splitpoints: (#s(sp 0 (* z z) 1.34947659414785e+305) #s(sp 2 (* z z) +nan.0)) , with alts (#<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))))> #<alt (λ (x y z t) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (cbrt (* 4.0 (* z z))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))> #<alt (λ (x y z t) (fma x x (* 4.0 (* t y))))> #<alt (λ (x y z t) (fma x x (* y (- (* 4.0 t) (* (* (* (* (cbrt (cbrt (* 4.0 (* z z)))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (cbrt (* 4.0 (* z z))))) (cbrt (* 4.0 (* z z)))) (cbrt (* 4.0 (* z z))))))))>)
16.759 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* z z) 1.34947659414785e+305) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))
16.759 * * [simplify]: iteration  0 :  22  enodes  (cost  37 )
16.760 * * [simplify]: iteration  1 :  29  enodes  (cost  37 )
16.761 * * [simplify]: iteration  done :  29  enodes  (cost  37 )
16.761 * [simplify]: Simplified to:
   (if (<= (* z z) 1.34947659414785e+305) (fma x x (* y (- (* 4.0 t) (* 4.0 (* z z))))) (- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))))
17.936 * [regime-testing]: Baseline error score: 6.133641705213152
17.937 * [regime-testing]: Oracle error score: 2.710865827361078
17.938 * [regime-testing]: End program error score: 3.304038004750594
17.966 * [regime-testing]: Target error score: 6.075521282348424