10.013 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.915 * * * [progress]: [2/2] Setting up program.
0.916 * [progress]: [Phase 2 of 3] Improving.
0.923 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.972 * * [simplify]: iteration  0 :  719  enodes  (cost  13 )
0.972 * * [simplify]: iteration  1 :  719  enodes  (cost  13 )
0.972 * [simplify]: Simplified to:
   (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.973 * * [progress]: iteration 1 / 4
0.973 * * * [progress]: picking best candidate
0.973 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)))>
0.974 * * * [progress]: localizing error
0.981 * * * [progress]: generating rewritten candidates
0.981 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.989 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.999 * * * [progress]: generating series expansions
0.999 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.000 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (y z t a) around 0
1.000 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a
1.000 * [taylor]: Taking taylor expansion of (* (- z t) y) in a
1.000 * [taylor]: Taking taylor expansion of (- z t) in a
1.000 * [taylor]: Taking taylor expansion of z in a
1.000 * [taylor]: Taking taylor expansion of t in a
1.000 * [taylor]: Taking taylor expansion of y in a
1.000 * [taylor]: Taking taylor expansion of a in a
1.002 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t
1.002 * [taylor]: Taking taylor expansion of (* (- z t) y) in t
1.002 * [taylor]: Taking taylor expansion of (- z t) in t
1.002 * [taylor]: Taking taylor expansion of z in t
1.002 * [taylor]: Taking taylor expansion of t in t
1.002 * [taylor]: Taking taylor expansion of y in t
1.002 * [taylor]: Taking taylor expansion of a in t
1.002 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z
1.002 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
1.002 * [taylor]: Taking taylor expansion of (- z t) in z
1.002 * [taylor]: Taking taylor expansion of z in z
1.003 * [taylor]: Taking taylor expansion of t in z
1.003 * [taylor]: Taking taylor expansion of y in z
1.003 * [taylor]: Taking taylor expansion of a in z
1.004 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y
1.004 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
1.004 * [taylor]: Taking taylor expansion of (- z t) in y
1.004 * [taylor]: Taking taylor expansion of z in y
1.004 * [taylor]: Taking taylor expansion of t in y
1.004 * [taylor]: Taking taylor expansion of y in y
1.004 * [taylor]: Taking taylor expansion of a in y
1.006 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y
1.006 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
1.006 * [taylor]: Taking taylor expansion of (- z t) in y
1.006 * [taylor]: Taking taylor expansion of z in y
1.006 * [taylor]: Taking taylor expansion of t in y
1.006 * [taylor]: Taking taylor expansion of y in y
1.006 * [taylor]: Taking taylor expansion of a in y
1.008 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z
1.008 * [taylor]: Taking taylor expansion of (- z t) in z
1.009 * [taylor]: Taking taylor expansion of z in z
1.009 * [taylor]: Taking taylor expansion of t in z
1.009 * [taylor]: Taking taylor expansion of a in z
1.009 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t
1.010 * [taylor]: Taking taylor expansion of -1 in t
1.010 * [taylor]: Taking taylor expansion of (/ t a) in t
1.010 * [taylor]: Taking taylor expansion of t in t
1.010 * [taylor]: Taking taylor expansion of a in t
1.012 * [taylor]: Taking taylor expansion of 0 in z
1.012 * [taylor]: Taking taylor expansion of 0 in t
1.012 * [taylor]: Taking taylor expansion of 0 in a
1.014 * [taylor]: Taking taylor expansion of (/ 1 a) in t
1.014 * [taylor]: Taking taylor expansion of a in t
1.014 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.014 * [taylor]: Taking taylor expansion of a in a
1.014 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.014 * [taylor]: Taking taylor expansion of -1 in a
1.014 * [taylor]: Taking taylor expansion of a in a
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.017 * [taylor]: Taking taylor expansion of 0 in a
1.017 * [taylor]: Taking taylor expansion of 0 in t
1.017 * [taylor]: Taking taylor expansion of 0 in a
1.019 * [taylor]: Taking taylor expansion of 0 in t
1.019 * [taylor]: Taking taylor expansion of 0 in a
1.019 * [taylor]: Taking taylor expansion of 0 in a
1.020 * [taylor]: Taking taylor expansion of 0 in a
1.021 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.026 * [taylor]: Taking taylor expansion of 0 in t
1.026 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [taylor]: Taking taylor expansion of 0 in t
1.026 * [taylor]: Taking taylor expansion of 0 in a
1.026 * [taylor]: Taking taylor expansion of 0 in t
1.026 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [taylor]: Taking taylor expansion of 0 in t
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.028 * [taylor]: Taking taylor expansion of 0 in a
1.029 * [taylor]: Taking taylor expansion of 0 in a
1.031 * [taylor]: Taking taylor expansion of 0 in a
1.034 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0
1.034 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
1.034 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.034 * [taylor]: Taking taylor expansion of a in a
1.034 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.034 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.034 * [taylor]: Taking taylor expansion of z in a
1.034 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.034 * [taylor]: Taking taylor expansion of t in a
1.035 * [taylor]: Taking taylor expansion of y in a
1.039 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
1.039 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
1.039 * [taylor]: Taking taylor expansion of a in t
1.039 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.039 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.039 * [taylor]: Taking taylor expansion of z in t
1.039 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.039 * [taylor]: Taking taylor expansion of t in t
1.040 * [taylor]: Taking taylor expansion of y in t
1.040 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
1.040 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.040 * [taylor]: Taking taylor expansion of a in z
1.040 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.040 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.040 * [taylor]: Taking taylor expansion of z in z
1.041 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.041 * [taylor]: Taking taylor expansion of t in z
1.041 * [taylor]: Taking taylor expansion of y in z
1.041 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.041 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.041 * [taylor]: Taking taylor expansion of a in y
1.041 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.041 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.041 * [taylor]: Taking taylor expansion of z in y
1.041 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.041 * [taylor]: Taking taylor expansion of t in y
1.041 * [taylor]: Taking taylor expansion of y in y
1.044 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.044 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.044 * [taylor]: Taking taylor expansion of a in y
1.044 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.044 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.044 * [taylor]: Taking taylor expansion of z in y
1.044 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.044 * [taylor]: Taking taylor expansion of t in y
1.044 * [taylor]: Taking taylor expansion of y in y
1.046 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.046 * [taylor]: Taking taylor expansion of a in z
1.047 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.047 * [taylor]: Taking taylor expansion of z in z
1.047 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.047 * [taylor]: Taking taylor expansion of t in z
1.047 * [taylor]: Taking taylor expansion of a in t
1.051 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of (neg (/ a t)) in t
1.053 * [taylor]: Taking taylor expansion of (/ a t) in t
1.053 * [taylor]: Taking taylor expansion of a in t
1.053 * [taylor]: Taking taylor expansion of t in t
1.054 * [taylor]: Taking taylor expansion of (neg a) in a
1.054 * [taylor]: Taking taylor expansion of a in a
1.054 * [taylor]: Taking taylor expansion of a in a
1.059 * [taylor]: Taking taylor expansion of 0 in z
1.059 * [taylor]: Taking taylor expansion of 0 in t
1.061 * [taylor]: Taking taylor expansion of 0 in t
1.062 * [taylor]: Taking taylor expansion of 0 in a
1.062 * [taylor]: Taking taylor expansion of 0 in a
1.068 * [taylor]: Taking taylor expansion of 0 in z
1.068 * [taylor]: Taking taylor expansion of 0 in t
1.068 * [taylor]: Taking taylor expansion of 0 in t
1.072 * [taylor]: Taking taylor expansion of 0 in t
1.072 * [taylor]: Taking taylor expansion of 0 in a
1.072 * [taylor]: Taking taylor expansion of 0 in a
1.077 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0
1.077 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
1.077 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.077 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.077 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.077 * [taylor]: Taking taylor expansion of t in a
1.077 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.077 * [taylor]: Taking taylor expansion of z in a
1.078 * [taylor]: Taking taylor expansion of a in a
1.078 * [taylor]: Taking taylor expansion of y in a
1.083 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
1.083 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.083 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.083 * [taylor]: Taking taylor expansion of t in t
1.083 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.083 * [taylor]: Taking taylor expansion of z in t
1.084 * [taylor]: Taking taylor expansion of a in t
1.084 * [taylor]: Taking taylor expansion of y in t
1.084 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
1.084 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.084 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.084 * [taylor]: Taking taylor expansion of t in z
1.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.084 * [taylor]: Taking taylor expansion of z in z
1.084 * [taylor]: Taking taylor expansion of a in z
1.084 * [taylor]: Taking taylor expansion of y in z
1.085 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.085 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.085 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.085 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.085 * [taylor]: Taking taylor expansion of t in y
1.085 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.085 * [taylor]: Taking taylor expansion of z in y
1.085 * [taylor]: Taking taylor expansion of a in y
1.086 * [taylor]: Taking taylor expansion of y in y
1.088 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
1.088 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.088 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.088 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.088 * [taylor]: Taking taylor expansion of t in y
1.088 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.088 * [taylor]: Taking taylor expansion of z in y
1.088 * [taylor]: Taking taylor expansion of a in y
1.088 * [taylor]: Taking taylor expansion of y in y
1.090 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.090 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.090 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.091 * [taylor]: Taking taylor expansion of t in z
1.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.091 * [taylor]: Taking taylor expansion of z in z
1.091 * [taylor]: Taking taylor expansion of a in z
1.091 * [taylor]: Taking taylor expansion of (* -1 a) in t
1.091 * [taylor]: Taking taylor expansion of -1 in t
1.091 * [taylor]: Taking taylor expansion of a in t
1.095 * [taylor]: Taking taylor expansion of 0 in z
1.097 * [taylor]: Taking taylor expansion of (/ a t) in t
1.097 * [taylor]: Taking taylor expansion of a in t
1.097 * [taylor]: Taking taylor expansion of t in t
1.097 * [taylor]: Taking taylor expansion of a in a
1.097 * [taylor]: Taking taylor expansion of (* -1 a) in a
1.097 * [taylor]: Taking taylor expansion of -1 in a
1.097 * [taylor]: Taking taylor expansion of a in a
1.103 * [taylor]: Taking taylor expansion of 0 in z
1.103 * [taylor]: Taking taylor expansion of 0 in t
1.105 * [taylor]: Taking taylor expansion of 0 in t
1.106 * [taylor]: Taking taylor expansion of 0 in a
1.106 * [taylor]: Taking taylor expansion of 0 in a
1.113 * [taylor]: Taking taylor expansion of 0 in z
1.113 * [taylor]: Taking taylor expansion of 0 in t
1.113 * [taylor]: Taking taylor expansion of 0 in t
1.116 * [taylor]: Taking taylor expansion of 0 in t
1.116 * [taylor]: Taking taylor expansion of 0 in a
1.116 * [taylor]: Taking taylor expansion of 0 in a
1.120 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
1.121 * [approximate]: Taking taylor expansion of (* (- z t) y) in (y z t) around 0
1.121 * [taylor]: Taking taylor expansion of (* (- z t) y) in t
1.121 * [taylor]: Taking taylor expansion of (- z t) in t
1.121 * [taylor]: Taking taylor expansion of z in t
1.121 * [taylor]: Taking taylor expansion of t in t
1.121 * [taylor]: Taking taylor expansion of y in t
1.121 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
1.121 * [taylor]: Taking taylor expansion of (- z t) in z
1.121 * [taylor]: Taking taylor expansion of z in z
1.121 * [taylor]: Taking taylor expansion of t in z
1.121 * [taylor]: Taking taylor expansion of y in z
1.121 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
1.121 * [taylor]: Taking taylor expansion of (- z t) in y
1.121 * [taylor]: Taking taylor expansion of z in y
1.121 * [taylor]: Taking taylor expansion of t in y
1.121 * [taylor]: Taking taylor expansion of y in y
1.121 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
1.121 * [taylor]: Taking taylor expansion of (- z t) in y
1.121 * [taylor]: Taking taylor expansion of z in y
1.121 * [taylor]: Taking taylor expansion of t in y
1.121 * [taylor]: Taking taylor expansion of y in y
1.122 * [taylor]: Taking taylor expansion of 0 in z
1.122 * [taylor]: Taking taylor expansion of 0 in t
1.122 * [taylor]: Taking taylor expansion of (- z t) in z
1.122 * [taylor]: Taking taylor expansion of z in z
1.122 * [taylor]: Taking taylor expansion of t in z
1.123 * [taylor]: Taking taylor expansion of (neg t) in t
1.123 * [taylor]: Taking taylor expansion of t in t
1.123 * [taylor]: Taking taylor expansion of 0 in t
1.124 * [taylor]: Taking taylor expansion of 0 in z
1.124 * [taylor]: Taking taylor expansion of 0 in t
1.124 * [taylor]: Taking taylor expansion of 1 in t
1.124 * [taylor]: Taking taylor expansion of 0 in t
1.126 * [taylor]: Taking taylor expansion of 0 in z
1.126 * [taylor]: Taking taylor expansion of 0 in t
1.126 * [taylor]: Taking taylor expansion of 0 in t
1.126 * [taylor]: Taking taylor expansion of 0 in t
1.126 * [taylor]: Taking taylor expansion of 0 in t
1.128 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in (y z t) around 0
1.128 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t
1.128 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.128 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.128 * [taylor]: Taking taylor expansion of z in t
1.129 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.129 * [taylor]: Taking taylor expansion of t in t
1.129 * [taylor]: Taking taylor expansion of y in t
1.129 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z
1.129 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.129 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.129 * [taylor]: Taking taylor expansion of z in z
1.129 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.130 * [taylor]: Taking taylor expansion of t in z
1.130 * [taylor]: Taking taylor expansion of y in z
1.130 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y
1.130 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.130 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.130 * [taylor]: Taking taylor expansion of z in y
1.130 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.130 * [taylor]: Taking taylor expansion of t in y
1.130 * [taylor]: Taking taylor expansion of y in y
1.132 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y
1.132 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.132 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.132 * [taylor]: Taking taylor expansion of z in y
1.132 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.132 * [taylor]: Taking taylor expansion of t in y
1.132 * [taylor]: Taking taylor expansion of y in y
1.134 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.134 * [taylor]: Taking taylor expansion of z in z
1.134 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.134 * [taylor]: Taking taylor expansion of t in z
1.134 * [taylor]: Taking taylor expansion of 1 in t
1.137 * [taylor]: Taking taylor expansion of 0 in z
1.139 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.139 * [taylor]: Taking taylor expansion of t in t
1.143 * [taylor]: Taking taylor expansion of 0 in z
1.143 * [taylor]: Taking taylor expansion of 0 in t
1.145 * [taylor]: Taking taylor expansion of 0 in t
1.152 * [taylor]: Taking taylor expansion of 0 in z
1.152 * [taylor]: Taking taylor expansion of 0 in t
1.152 * [taylor]: Taking taylor expansion of 0 in t
1.154 * [taylor]: Taking taylor expansion of 0 in t
1.159 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in (y z t) around 0
1.159 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in t
1.159 * [taylor]: Taking taylor expansion of -1 in t
1.159 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in t
1.159 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.159 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.159 * [taylor]: Taking taylor expansion of t in t
1.159 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.159 * [taylor]: Taking taylor expansion of z in t
1.159 * [taylor]: Taking taylor expansion of y in t
1.160 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in z
1.160 * [taylor]: Taking taylor expansion of -1 in z
1.160 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in z
1.160 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.160 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.160 * [taylor]: Taking taylor expansion of t in z
1.160 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.160 * [taylor]: Taking taylor expansion of z in z
1.160 * [taylor]: Taking taylor expansion of y in z
1.160 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y
1.160 * [taylor]: Taking taylor expansion of -1 in y
1.160 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y
1.160 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.160 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.160 * [taylor]: Taking taylor expansion of t in y
1.161 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.161 * [taylor]: Taking taylor expansion of z in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.162 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y
1.162 * [taylor]: Taking taylor expansion of -1 in y
1.162 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y
1.162 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.162 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.162 * [taylor]: Taking taylor expansion of t in y
1.162 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.162 * [taylor]: Taking taylor expansion of z in y
1.162 * [taylor]: Taking taylor expansion of y in y
1.164 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z
1.164 * [taylor]: Taking taylor expansion of -1 in z
1.165 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.165 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.165 * [taylor]: Taking taylor expansion of t in z
1.165 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.165 * [taylor]: Taking taylor expansion of z in z
1.165 * [taylor]: Taking taylor expansion of 1 in t
1.169 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
1.170 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.170 * [taylor]: Taking taylor expansion of t in t
1.173 * [taylor]: Taking taylor expansion of 0 in z
1.174 * [taylor]: Taking taylor expansion of 0 in t
1.176 * [taylor]: Taking taylor expansion of 0 in t
1.180 * [taylor]: Taking taylor expansion of 0 in z
1.180 * [taylor]: Taking taylor expansion of 0 in t
1.180 * [taylor]: Taking taylor expansion of 0 in t
1.183 * [taylor]: Taking taylor expansion of 0 in t
1.187 * * * [progress]: simplifying candidates
1.188 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 y) (log.f64 (-.f64 z t))) (log.f64 a))
  (-.f64 (log.f64 (*.f64 y (-.f64 z t))) (log.f64 a))
  (exp.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (*.f64 (*.f64 (/.f64 (*.f64 y (-.f64 z t)) a) (/.f64 (*.f64 y (-.f64 z t)) a)) (/.f64 (*.f64 y (-.f64 z t)) a))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (/.f64 (*.f64 (*.f64 (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) (*.f64 y (-.f64 z t))) (*.f64 (*.f64 a a) a))
  (/.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t))) (*.f64 (*.f64 a a) a))
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (neg.f64 (*.f64 y (-.f64 z t)))
  (neg.f64 a)
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 y (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (/.f64 y 1)
  (/.f64 (-.f64 z t) a)
  (/.f64 a (*.f64 y (-.f64 z t)))
  (/.f64 1 a)
  (*.f64 a (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (*.f64 a (+.f64 z t))
  (/.f64 a (-.f64 z t))
  (/.f64 (*.f64 y (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (*.f64 y (-.f64 z t)) (sqrt.f64 a))
  (/.f64 (*.f64 y (-.f64 z t)) 1)
  (*.f64 y (-.f64 z t))
  (+.f64 (log.f64 y) (log.f64 (-.f64 z t)))
  (exp.f64 (*.f64 y (-.f64 z t)))
  (log.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) (*.f64 y (-.f64 z t)))
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 z t))) (cbrt.f64 (*.f64 y (-.f64 z t))))
  (cbrt.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)))
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 z y)
  (*.f64 (neg.f64 t) y)
  (*.f64 y z)
  (*.f64 y (neg.f64 t))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (cbrt.f64 y) (-.f64 z t))
  (*.f64 (sqrt.f64 y) (-.f64 z t))
  (*.f64 y (-.f64 z t))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 y (sqrt.f64 (-.f64 z t)))
  (*.f64 y 1)
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 y 1)
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (*.f64 z y) (*.f64 t y))
  (-.f64 (*.f64 z y) (*.f64 t y))
  (-.f64 (*.f64 z y) (*.f64 t y))
1.247 * * [simplify]: iteration  0 :  5105  enodes  (cost  566 )
1.250 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (exp.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (log.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)) (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a)))
  (cbrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3)
  (pow.f64 (/.f64 (*.f64 y (-.f64 z t)) a) 3)
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (sqrt.f64 (/.f64 (*.f64 y (-.f64 z t)) a))
  (*.f64 y (-.f64 t z))
  (neg.f64 a)
  (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (/.f64 y (sqrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  y
  (/.f64 (-.f64 z t) a)
  (/.f64 a (*.f64 y (-.f64 z t)))
  (/.f64 1 a)
  (*.f64 a (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 a (+.f64 z t))
  (/.f64 a (-.f64 z t))
  (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 y (sqrt.f64 a)))
  (*.f64 y (-.f64 z t))
  (*.f64 y (-.f64 z t))
  (log.f64 (*.f64 y (-.f64 z t)))
  (exp.f64 (*.f64 y (-.f64 z t)))
  (log.f64 (*.f64 y (-.f64 z t)))
  (pow.f64 (*.f64 y (-.f64 z t)) 3)
  (*.f64 (cbrt.f64 (*.f64 y (-.f64 z t))) (cbrt.f64 (*.f64 y (-.f64 z t))))
  (cbrt.f64 (*.f64 y (-.f64 z t)))
  (pow.f64 (*.f64 y (-.f64 z t)) 3)
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (sqrt.f64 (*.f64 y (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (*.f64 y z)
  (*.f64 y (neg.f64 t))
  (*.f64 y z)
  (*.f64 y (neg.f64 t))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (-.f64 z t) (cbrt.f64 y))
  (*.f64 (-.f64 z t) (sqrt.f64 y))
  (*.f64 y (-.f64 z t))
  (*.f64 y (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))))
  (*.f64 y (sqrt.f64 (-.f64 z t)))
  y
  (*.f64 y (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  y
  (/.f64 (*.f64 y (-.f64 z t)) a)
  (/.f64 (*.f64 y (-.f64 z t)) a)
  (/.f64 (*.f64 y (-.f64 z t)) a)
  (*.f64 y (-.f64 z t))
  (*.f64 y (-.f64 z t))
  (*.f64 y (-.f64 z t))
1.251 * * * [progress]: adding candidates to table
1.287 * * [progress]: iteration 2 / 4
1.287 * * * [progress]: picking best candidate
1.292 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+.f64 x (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a))))>
1.293 * * * [progress]: localizing error
1.304 * * * [progress]: generating rewritten candidates
1.304 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.317 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.331 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1.332 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 2)
1.342 * * * [progress]: generating series expansions
1.342 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.343 * [approximate]: Taking taylor expansion of (* (* (- z t) y) (pow (/ 1 (pow a 2)) 1/3)) in (z t y a) around 0
1.343 * [taylor]: Taking taylor expansion of (* (* (- z t) y) (pow (/ 1 (pow a 2)) 1/3)) in a
1.343 * [taylor]: Taking taylor expansion of (* (- z t) y) in a
1.344 * [taylor]: Taking taylor expansion of (- z t) in a
1.344 * [taylor]: Taking taylor expansion of z in a
1.344 * [taylor]: Taking taylor expansion of t in a
1.344 * [taylor]: Taking taylor expansion of y in a
1.344 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a
1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a
1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a
1.344 * [taylor]: Taking taylor expansion of 1/3 in a
1.344 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a
1.344 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.344 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.344 * [taylor]: Taking taylor expansion of a in a
1.345 * [taylor]: Taking taylor expansion of (* (* (- z t) y) (pow (/ 1 (pow a 2)) 1/3)) in y
1.345 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
1.345 * [taylor]: Taking taylor expansion of (- z t) in y
1.345 * [taylor]: Taking taylor expansion of z in y
1.345 * [taylor]: Taking taylor expansion of t in y
1.345 * [taylor]: Taking taylor expansion of y in y
1.345 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in y
1.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in y
1.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in y
1.345 * [taylor]: Taking taylor expansion of 1/3 in y
1.345 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in y
1.345 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in y
1.345 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.345 * [taylor]: Taking taylor expansion of a in y
1.347 * [taylor]: Taking taylor expansion of (* (* (- z t) y) (pow (/ 1 (pow a 2)) 1/3)) in t
1.347 * [taylor]: Taking taylor expansion of (* (- z t) y) in t
1.347 * [taylor]: Taking taylor expansion of (- z t) in t
1.347 * [taylor]: Taking taylor expansion of z in t
1.347 * [taylor]: Taking taylor expansion of t in t
1.347 * [taylor]: Taking taylor expansion of y in t
1.347 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in t
1.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in t
1.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in t
1.347 * [taylor]: Taking taylor expansion of 1/3 in t
1.347 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in t
1.347 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t
1.347 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.347 * [taylor]: Taking taylor expansion of a in t
1.348 * [taylor]: Taking taylor expansion of (* (* (- z t) y) (pow (/ 1 (pow a 2)) 1/3)) in z
1.348 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
1.348 * [taylor]: Taking taylor expansion of (- z t) in z
1.348 * [taylor]: Taking taylor expansion of z in z
1.348 * [taylor]: Taking taylor expansion of t in z
1.348 * [taylor]: Taking taylor expansion of y in z
1.348 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in z
1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in z
1.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in z
1.349 * [taylor]: Taking taylor expansion of 1/3 in z
1.349 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in z
1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in z
1.349 * [taylor]: Taking taylor expansion of (pow a 2) in z
1.349 * [taylor]: Taking taylor expansion of a in z
1.350 * [taylor]: Taking taylor expansion of (* (* (- z t) y) (pow (/ 1 (pow a 2)) 1/3)) in z
1.350 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
1.350 * [taylor]: Taking taylor expansion of (- z t) in z
1.350 * [taylor]: Taking taylor expansion of z in z
1.350 * [taylor]: Taking taylor expansion of t in z
1.350 * [taylor]: Taking taylor expansion of y in z
1.350 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in z
1.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in z
1.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in z
1.350 * [taylor]: Taking taylor expansion of 1/3 in z
1.350 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in z
1.350 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in z
1.350 * [taylor]: Taking taylor expansion of (pow a 2) in z
1.350 * [taylor]: Taking taylor expansion of a in z
1.353 * [taylor]: Taking taylor expansion of (* -1 (* (* t y) (pow (/ 1 (pow a 2)) 1/3))) in t
1.353 * [taylor]: Taking taylor expansion of -1 in t
1.353 * [taylor]: Taking taylor expansion of (* (* t y) (pow (/ 1 (pow a 2)) 1/3)) in t
1.353 * [taylor]: Taking taylor expansion of (* t y) in t
1.353 * [taylor]: Taking taylor expansion of t in t
1.353 * [taylor]: Taking taylor expansion of y in t
1.353 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in t
1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in t
1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in t
1.353 * [taylor]: Taking taylor expansion of 1/3 in t
1.353 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in t
1.353 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t
1.353 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.353 * [taylor]: Taking taylor expansion of a in t
1.355 * [taylor]: Taking taylor expansion of 0 in y
1.355 * [taylor]: Taking taylor expansion of 0 in a
1.361 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 2)) 1/3) y) in t
1.361 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in t
1.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in t
1.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in t
1.361 * [taylor]: Taking taylor expansion of 1/3 in t
1.361 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in t
1.361 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in t
1.361 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.361 * [taylor]: Taking taylor expansion of a in t
1.363 * [taylor]: Taking taylor expansion of y in t
1.363 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 2)) 1/3) y) in y
1.363 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in y
1.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in y
1.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in y
1.364 * [taylor]: Taking taylor expansion of 1/3 in y
1.364 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in y
1.364 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in y
1.364 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.364 * [taylor]: Taking taylor expansion of a in y
1.365 * [taylor]: Taking taylor expansion of y in y
1.366 * [taylor]: Taking taylor expansion of 0 in a
1.372 * [taylor]: Taking taylor expansion of (neg (* (pow (/ 1 (pow a 2)) 1/3) y)) in y
1.372 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 2)) 1/3) y) in y
1.372 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in y
1.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in y
1.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in y
1.372 * [taylor]: Taking taylor expansion of 1/3 in y
1.372 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in y
1.372 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in y
1.372 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.372 * [taylor]: Taking taylor expansion of a in y
1.374 * [taylor]: Taking taylor expansion of y in y
1.374 * [taylor]: Taking taylor expansion of 0 in a
1.375 * [taylor]: Taking taylor expansion of 0 in a
1.383 * [taylor]: Taking taylor expansion of 0 in t
1.383 * [taylor]: Taking taylor expansion of 0 in y
1.383 * [taylor]: Taking taylor expansion of 0 in a
1.385 * [approximate]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ (- (/ 1 z) (/ 1 t)) y)) in (z t y a) around 0
1.385 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ (- (/ 1 z) (/ 1 t)) y)) in a
1.385 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
1.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
1.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
1.385 * [taylor]: Taking taylor expansion of 1/3 in a
1.385 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
1.385 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.385 * [taylor]: Taking taylor expansion of a in a
1.386 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in a
1.386 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.386 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.386 * [taylor]: Taking taylor expansion of z in a
1.387 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.387 * [taylor]: Taking taylor expansion of t in a
1.387 * [taylor]: Taking taylor expansion of y in a
1.388 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ (- (/ 1 z) (/ 1 t)) y)) in y
1.388 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in y
1.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in y
1.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in y
1.388 * [taylor]: Taking taylor expansion of 1/3 in y
1.388 * [taylor]: Taking taylor expansion of (log (pow a 2)) in y
1.388 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.388 * [taylor]: Taking taylor expansion of a in y
1.389 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y
1.389 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.389 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.389 * [taylor]: Taking taylor expansion of z in y
1.389 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.389 * [taylor]: Taking taylor expansion of t in y
1.390 * [taylor]: Taking taylor expansion of y in y
1.391 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ (- (/ 1 z) (/ 1 t)) y)) in t
1.391 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in t
1.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in t
1.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in t
1.391 * [taylor]: Taking taylor expansion of 1/3 in t
1.391 * [taylor]: Taking taylor expansion of (log (pow a 2)) in t
1.391 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.391 * [taylor]: Taking taylor expansion of a in t
1.392 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t
1.392 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.392 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.392 * [taylor]: Taking taylor expansion of z in t
1.392 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.392 * [taylor]: Taking taylor expansion of t in t
1.392 * [taylor]: Taking taylor expansion of y in t
1.393 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ (- (/ 1 z) (/ 1 t)) y)) in z
1.393 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in z
1.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in z
1.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in z
1.393 * [taylor]: Taking taylor expansion of 1/3 in z
1.393 * [taylor]: Taking taylor expansion of (log (pow a 2)) in z
1.393 * [taylor]: Taking taylor expansion of (pow a 2) in z
1.393 * [taylor]: Taking taylor expansion of a in z
1.394 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z
1.394 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.394 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.394 * [taylor]: Taking taylor expansion of z in z
1.394 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.394 * [taylor]: Taking taylor expansion of t in z
1.394 * [taylor]: Taking taylor expansion of y in z
1.394 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ (- (/ 1 z) (/ 1 t)) y)) in z
1.394 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in z
1.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in z
1.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in z
1.394 * [taylor]: Taking taylor expansion of 1/3 in z
1.394 * [taylor]: Taking taylor expansion of (log (pow a 2)) in z
1.394 * [taylor]: Taking taylor expansion of (pow a 2) in z
1.394 * [taylor]: Taking taylor expansion of a in z
1.395 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z
1.395 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.395 * [taylor]: Taking taylor expansion of z in z
1.395 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.395 * [taylor]: Taking taylor expansion of t in z
1.396 * [taylor]: Taking taylor expansion of y in z
1.396 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 y)) in t
1.396 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in t
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in t
1.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in t
1.396 * [taylor]: Taking taylor expansion of 1/3 in t
1.396 * [taylor]: Taking taylor expansion of (log (pow a 2)) in t
1.396 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.396 * [taylor]: Taking taylor expansion of a in t
1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.397 * [taylor]: Taking taylor expansion of y in t
1.404 * [taylor]: Taking taylor expansion of (neg (* (pow (pow a 2) 1/3) (/ 1 (* y t)))) in t
1.404 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 (* y t))) in t
1.404 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in t
1.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in t
1.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in t
1.404 * [taylor]: Taking taylor expansion of 1/3 in t
1.404 * [taylor]: Taking taylor expansion of (log (pow a 2)) in t
1.404 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.404 * [taylor]: Taking taylor expansion of a in t
1.405 * [taylor]: Taking taylor expansion of (/ 1 (* y t)) in t
1.405 * [taylor]: Taking taylor expansion of (* y t) in t
1.405 * [taylor]: Taking taylor expansion of y in t
1.405 * [taylor]: Taking taylor expansion of t in t
1.406 * [taylor]: Taking taylor expansion of (neg (* (pow (pow a 2) 1/3) (/ 1 y))) in y
1.406 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 y)) in y
1.406 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in y
1.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in y
1.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in y
1.406 * [taylor]: Taking taylor expansion of 1/3 in y
1.406 * [taylor]: Taking taylor expansion of (log (pow a 2)) in y
1.406 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.406 * [taylor]: Taking taylor expansion of a in y
1.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.407 * [taylor]: Taking taylor expansion of y in y
1.408 * [taylor]: Taking taylor expansion of (neg (pow (pow a 2) 1/3)) in a
1.408 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
1.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
1.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
1.408 * [taylor]: Taking taylor expansion of 1/3 in a
1.408 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
1.408 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.408 * [taylor]: Taking taylor expansion of a in a
1.410 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 y)) in y
1.410 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in y
1.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in y
1.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in y
1.410 * [taylor]: Taking taylor expansion of 1/3 in y
1.410 * [taylor]: Taking taylor expansion of (log (pow a 2)) in y
1.410 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.410 * [taylor]: Taking taylor expansion of a in y
1.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.411 * [taylor]: Taking taylor expansion of y in y
1.411 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
1.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
1.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
1.412 * [taylor]: Taking taylor expansion of 1/3 in a
1.412 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
1.412 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.412 * [taylor]: Taking taylor expansion of a in a
1.425 * [taylor]: Taking taylor expansion of 0 in t
1.429 * [taylor]: Taking taylor expansion of 0 in y
1.434 * [taylor]: Taking taylor expansion of 0 in y
1.438 * [taylor]: Taking taylor expansion of 0 in a
1.441 * [taylor]: Taking taylor expansion of 0 in a
1.459 * [taylor]: Taking taylor expansion of 0 in t
1.459 * [taylor]: Taking taylor expansion of 0 in y
1.466 * [taylor]: Taking taylor expansion of 0 in y
1.472 * [taylor]: Taking taylor expansion of 0 in y
1.472 * [taylor]: Taking taylor expansion of 0 in a
1.472 * [taylor]: Taking taylor expansion of 0 in a
1.479 * [approximate]: Taking taylor expansion of (* -1 (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3))) in (z t y a) around 0
1.479 * [taylor]: Taking taylor expansion of (* -1 (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3))) in a
1.479 * [taylor]: Taking taylor expansion of -1 in a
1.479 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3)) in a
1.479 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) in a
1.479 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.479 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.479 * [taylor]: Taking taylor expansion of t in a
1.480 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.480 * [taylor]: Taking taylor expansion of z in a
1.480 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 2)) in a
1.480 * [taylor]: Taking taylor expansion of y in a
1.480 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
1.480 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.480 * [taylor]: Taking taylor expansion of -1 in a
1.482 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
1.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
1.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
1.483 * [taylor]: Taking taylor expansion of 1/3 in a
1.483 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
1.483 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.483 * [taylor]: Taking taylor expansion of a in a
1.484 * [taylor]: Taking taylor expansion of (* -1 (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3))) in y
1.484 * [taylor]: Taking taylor expansion of -1 in y
1.484 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3)) in y
1.484 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) in y
1.484 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.484 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.484 * [taylor]: Taking taylor expansion of t in y
1.484 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.484 * [taylor]: Taking taylor expansion of z in y
1.484 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 2)) in y
1.484 * [taylor]: Taking taylor expansion of y in y
1.484 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
1.484 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.484 * [taylor]: Taking taylor expansion of -1 in y
1.488 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in y
1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in y
1.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in y
1.488 * [taylor]: Taking taylor expansion of 1/3 in y
1.488 * [taylor]: Taking taylor expansion of (log (pow a 2)) in y
1.488 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.488 * [taylor]: Taking taylor expansion of a in y
1.489 * [taylor]: Taking taylor expansion of (* -1 (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3))) in t
1.489 * [taylor]: Taking taylor expansion of -1 in t
1.489 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3)) in t
1.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) in t
1.489 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.489 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.489 * [taylor]: Taking taylor expansion of t in t
1.489 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.489 * [taylor]: Taking taylor expansion of z in t
1.489 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 2)) in t
1.489 * [taylor]: Taking taylor expansion of y in t
1.489 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
1.489 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.489 * [taylor]: Taking taylor expansion of -1 in t
1.491 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in t
1.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in t
1.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in t
1.491 * [taylor]: Taking taylor expansion of 1/3 in t
1.491 * [taylor]: Taking taylor expansion of (log (pow a 2)) in t
1.491 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.491 * [taylor]: Taking taylor expansion of a in t
1.492 * [taylor]: Taking taylor expansion of (* -1 (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3))) in z
1.492 * [taylor]: Taking taylor expansion of -1 in z
1.492 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3)) in z
1.492 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) in z
1.492 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.492 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.492 * [taylor]: Taking taylor expansion of t in z
1.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.492 * [taylor]: Taking taylor expansion of z in z
1.492 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 2)) in z
1.492 * [taylor]: Taking taylor expansion of y in z
1.492 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.492 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.492 * [taylor]: Taking taylor expansion of -1 in z
1.494 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in z
1.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in z
1.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in z
1.494 * [taylor]: Taking taylor expansion of 1/3 in z
1.494 * [taylor]: Taking taylor expansion of (log (pow a 2)) in z
1.494 * [taylor]: Taking taylor expansion of (pow a 2) in z
1.494 * [taylor]: Taking taylor expansion of a in z
1.494 * [taylor]: Taking taylor expansion of (* -1 (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3))) in z
1.494 * [taylor]: Taking taylor expansion of -1 in z
1.494 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) (pow (pow a 2) 1/3)) in z
1.495 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) (* y (pow (cbrt -1) 2))) in z
1.495 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.495 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.495 * [taylor]: Taking taylor expansion of t in z
1.495 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.495 * [taylor]: Taking taylor expansion of z in z
1.495 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 2)) in z
1.495 * [taylor]: Taking taylor expansion of y in z
1.495 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.495 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.495 * [taylor]: Taking taylor expansion of -1 in z
1.497 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in z
1.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in z
1.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in z
1.497 * [taylor]: Taking taylor expansion of 1/3 in z
1.497 * [taylor]: Taking taylor expansion of (log (pow a 2)) in z
1.497 * [taylor]: Taking taylor expansion of (pow a 2) in z
1.497 * [taylor]: Taking taylor expansion of a in z
1.500 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 (* (pow (cbrt -1) 2) y))) in t
1.500 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in t
1.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in t
1.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in t
1.500 * [taylor]: Taking taylor expansion of 1/3 in t
1.500 * [taylor]: Taking taylor expansion of (log (pow a 2)) in t
1.500 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.500 * [taylor]: Taking taylor expansion of a in t
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (cbrt -1) 2) y)) in t
1.501 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) y) in t
1.501 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
1.501 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.501 * [taylor]: Taking taylor expansion of -1 in t
1.501 * [taylor]: Taking taylor expansion of y in t
1.515 * [taylor]: Taking taylor expansion of (neg (* (/ 1 (* t (* y (pow (cbrt -1) 2)))) (pow (pow a 2) 1/3))) in t
1.515 * [taylor]: Taking taylor expansion of (* (/ 1 (* t (* y (pow (cbrt -1) 2)))) (pow (pow a 2) 1/3)) in t
1.515 * [taylor]: Taking taylor expansion of (/ 1 (* t (* y (pow (cbrt -1) 2)))) in t
1.515 * [taylor]: Taking taylor expansion of (* t (* y (pow (cbrt -1) 2))) in t
1.515 * [taylor]: Taking taylor expansion of t in t
1.515 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 2)) in t
1.515 * [taylor]: Taking taylor expansion of y in t
1.515 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
1.515 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.515 * [taylor]: Taking taylor expansion of -1 in t
1.519 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in t
1.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in t
1.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in t
1.519 * [taylor]: Taking taylor expansion of 1/3 in t
1.519 * [taylor]: Taking taylor expansion of (log (pow a 2)) in t
1.519 * [taylor]: Taking taylor expansion of (pow a 2) in t
1.519 * [taylor]: Taking taylor expansion of a in t
1.522 * [taylor]: Taking taylor expansion of (neg (* (pow (pow a 2) 1/3) (/ 1 (* y (pow (cbrt -1) 2))))) in y
1.522 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 (* y (pow (cbrt -1) 2)))) in y
1.522 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in y
1.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in y
1.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in y
1.522 * [taylor]: Taking taylor expansion of 1/3 in y
1.522 * [taylor]: Taking taylor expansion of (log (pow a 2)) in y
1.522 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.522 * [taylor]: Taking taylor expansion of a in y
1.523 * [taylor]: Taking taylor expansion of (/ 1 (* y (pow (cbrt -1) 2))) in y
1.523 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 2)) in y
1.523 * [taylor]: Taking taylor expansion of y in y
1.523 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
1.523 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.523 * [taylor]: Taking taylor expansion of -1 in y
1.527 * [taylor]: Taking taylor expansion of (neg (* (pow (pow a 2) 1/3) (/ 1 (pow (cbrt -1) 2)))) in a
1.527 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 (pow (cbrt -1) 2))) in a
1.527 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
1.527 * [taylor]: Taking taylor expansion of 1/3 in a
1.527 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
1.527 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.527 * [taylor]: Taking taylor expansion of a in a
1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow (cbrt -1) 2)) in a
1.529 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
1.529 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.529 * [taylor]: Taking taylor expansion of -1 in a
1.534 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 (* (pow (cbrt -1) 2) y))) in y
1.534 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in y
1.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in y
1.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in y
1.534 * [taylor]: Taking taylor expansion of 1/3 in y
1.534 * [taylor]: Taking taylor expansion of (log (pow a 2)) in y
1.534 * [taylor]: Taking taylor expansion of (pow a 2) in y
1.534 * [taylor]: Taking taylor expansion of a in y
1.535 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (cbrt -1) 2) y)) in y
1.535 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) y) in y
1.535 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
1.535 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.535 * [taylor]: Taking taylor expansion of -1 in y
1.535 * [taylor]: Taking taylor expansion of y in y
1.538 * [taylor]: Taking taylor expansion of (* (pow (pow a 2) 1/3) (/ 1 (pow (cbrt -1) 2))) in a
1.538 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a
1.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a
1.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a
1.538 * [taylor]: Taking taylor expansion of 1/3 in a
1.538 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a
1.538 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.538 * [taylor]: Taking taylor expansion of a in a
1.539 * [taylor]: Taking taylor expansion of (/ 1 (pow (cbrt -1) 2)) in a
1.539 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a
1.539 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.539 * [taylor]: Taking taylor expansion of -1 in a
1.559 * [taylor]: Taking taylor expansion of 0 in t
1.567 * [taylor]: Taking taylor expansion of 0 in y
1.573 * [taylor]: Taking taylor expansion of 0 in y
1.580 * [taylor]: Taking taylor expansion of 0 in a
1.587 * [taylor]: Taking taylor expansion of 0 in a
1.618 * [taylor]: Taking taylor expansion of 0 in t
1.618 * [taylor]: Taking taylor expansion of 0 in y
1.630 * [taylor]: Taking taylor expansion of 0 in y
1.640 * [taylor]: Taking taylor expansion of 0 in y
1.640 * [taylor]: Taking taylor expansion of 0 in a
1.640 * [taylor]: Taking taylor expansion of 0 in a
1.650 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.652 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (z t y a) around 0
1.652 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a
1.652 * [taylor]: Taking taylor expansion of (* (- z t) y) in a
1.652 * [taylor]: Taking taylor expansion of (- z t) in a
1.652 * [taylor]: Taking taylor expansion of z in a
1.652 * [taylor]: Taking taylor expansion of t in a
1.652 * [taylor]: Taking taylor expansion of y in a
1.652 * [taylor]: Taking taylor expansion of a in a
1.654 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y
1.654 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
1.654 * [taylor]: Taking taylor expansion of (- z t) in y
1.654 * [taylor]: Taking taylor expansion of z in y
1.654 * [taylor]: Taking taylor expansion of t in y
1.654 * [taylor]: Taking taylor expansion of y in y
1.654 * [taylor]: Taking taylor expansion of a in y
1.656 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t
1.656 * [taylor]: Taking taylor expansion of (* (- z t) y) in t
1.656 * [taylor]: Taking taylor expansion of (- z t) in t
1.656 * [taylor]: Taking taylor expansion of z in t
1.656 * [taylor]: Taking taylor expansion of t in t
1.656 * [taylor]: Taking taylor expansion of y in t
1.656 * [taylor]: Taking taylor expansion of a in t
1.657 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z
1.657 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
1.657 * [taylor]: Taking taylor expansion of (- z t) in z
1.657 * [taylor]: Taking taylor expansion of z in z
1.657 * [taylor]: Taking taylor expansion of t in z
1.657 * [taylor]: Taking taylor expansion of y in z
1.657 * [taylor]: Taking taylor expansion of a in z
1.658 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z
1.658 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
1.658 * [taylor]: Taking taylor expansion of (- z t) in z
1.658 * [taylor]: Taking taylor expansion of z in z
1.658 * [taylor]: Taking taylor expansion of t in z
1.658 * [taylor]: Taking taylor expansion of y in z
1.658 * [taylor]: Taking taylor expansion of a in z
1.660 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) a)) in t
1.660 * [taylor]: Taking taylor expansion of -1 in t
1.660 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
1.660 * [taylor]: Taking taylor expansion of (* t y) in t
1.660 * [taylor]: Taking taylor expansion of t in t
1.660 * [taylor]: Taking taylor expansion of y in t
1.660 * [taylor]: Taking taylor expansion of a in t
1.662 * [taylor]: Taking taylor expansion of (/ y a) in t
1.662 * [taylor]: Taking taylor expansion of y in t
1.662 * [taylor]: Taking taylor expansion of a in t
1.662 * [taylor]: Taking taylor expansion of (/ y a) in y
1.662 * [taylor]: Taking taylor expansion of y in y
1.662 * [taylor]: Taking taylor expansion of a in y
1.662 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.662 * [taylor]: Taking taylor expansion of a in a
1.662 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in y
1.662 * [taylor]: Taking taylor expansion of -1 in y
1.662 * [taylor]: Taking taylor expansion of (/ y a) in y
1.662 * [taylor]: Taking taylor expansion of y in y
1.662 * [taylor]: Taking taylor expansion of a in y
1.663 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.663 * [taylor]: Taking taylor expansion of -1 in a
1.663 * [taylor]: Taking taylor expansion of a in a
1.665 * [taylor]: Taking taylor expansion of 0 in t
1.665 * [taylor]: Taking taylor expansion of 0 in y
1.665 * [taylor]: Taking taylor expansion of 0 in a
1.666 * [taylor]: Taking taylor expansion of 0 in y
1.666 * [taylor]: Taking taylor expansion of 0 in a
1.667 * [taylor]: Taking taylor expansion of 0 in y
1.667 * [taylor]: Taking taylor expansion of 0 in a
1.668 * [taylor]: Taking taylor expansion of 0 in a
1.669 * [taylor]: Taking taylor expansion of 0 in a
1.672 * [taylor]: Taking taylor expansion of 0 in t
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.672 * [taylor]: Taking taylor expansion of 0 in a
1.672 * [taylor]: Taking taylor expansion of 0 in y
1.672 * [taylor]: Taking taylor expansion of 0 in a
1.673 * [taylor]: Taking taylor expansion of 0 in y
1.673 * [taylor]: Taking taylor expansion of 0 in a
1.675 * [taylor]: Taking taylor expansion of 0 in y
1.675 * [taylor]: Taking taylor expansion of 0 in a
1.675 * [taylor]: Taking taylor expansion of 0 in a
1.675 * [taylor]: Taking taylor expansion of 0 in a
1.675 * [taylor]: Taking taylor expansion of 0 in a
1.676 * [taylor]: Taking taylor expansion of 0 in a
1.678 * [taylor]: Taking taylor expansion of 0 in a
1.683 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (z t y a) around 0
1.683 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
1.683 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
1.683 * [taylor]: Taking taylor expansion of a in a
1.683 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
1.683 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.683 * [taylor]: Taking taylor expansion of z in a
1.683 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.683 * [taylor]: Taking taylor expansion of t in a
1.683 * [taylor]: Taking taylor expansion of y in a
1.687 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
1.687 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
1.688 * [taylor]: Taking taylor expansion of a in y
1.688 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
1.688 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.688 * [taylor]: Taking taylor expansion of z in y
1.688 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.688 * [taylor]: Taking taylor expansion of t in y
1.688 * [taylor]: Taking taylor expansion of y in y
1.690 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
1.690 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
1.690 * [taylor]: Taking taylor expansion of a in t
1.690 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
1.690 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.690 * [taylor]: Taking taylor expansion of z in t
1.690 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.690 * [taylor]: Taking taylor expansion of t in t
1.690 * [taylor]: Taking taylor expansion of y in t
1.691 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
1.691 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.691 * [taylor]: Taking taylor expansion of a in z
1.691 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.691 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.691 * [taylor]: Taking taylor expansion of z in z
1.691 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.691 * [taylor]: Taking taylor expansion of t in z
1.692 * [taylor]: Taking taylor expansion of y in z
1.692 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
1.692 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
1.692 * [taylor]: Taking taylor expansion of a in z
1.692 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
1.692 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.692 * [taylor]: Taking taylor expansion of z in z
1.692 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.692 * [taylor]: Taking taylor expansion of t in z
1.693 * [taylor]: Taking taylor expansion of y in z
1.693 * [taylor]: Taking taylor expansion of (/ a y) in t
1.693 * [taylor]: Taking taylor expansion of a in t
1.693 * [taylor]: Taking taylor expansion of y in t
1.696 * [taylor]: Taking taylor expansion of (neg (/ a (* y t))) in t
1.696 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
1.696 * [taylor]: Taking taylor expansion of a in t
1.696 * [taylor]: Taking taylor expansion of (* y t) in t
1.696 * [taylor]: Taking taylor expansion of y in t
1.696 * [taylor]: Taking taylor expansion of t in t
1.697 * [taylor]: Taking taylor expansion of (neg (/ a y)) in y
1.697 * [taylor]: Taking taylor expansion of (/ a y) in y
1.697 * [taylor]: Taking taylor expansion of a in y
1.697 * [taylor]: Taking taylor expansion of y in y
1.697 * [taylor]: Taking taylor expansion of (neg a) in a
1.697 * [taylor]: Taking taylor expansion of a in a
1.697 * [taylor]: Taking taylor expansion of (/ a y) in y
1.697 * [taylor]: Taking taylor expansion of a in y
1.697 * [taylor]: Taking taylor expansion of y in y
1.697 * [taylor]: Taking taylor expansion of a in a
1.702 * [taylor]: Taking taylor expansion of 0 in t
1.704 * [taylor]: Taking taylor expansion of 0 in y
1.705 * [taylor]: Taking taylor expansion of 0 in y
1.705 * [taylor]: Taking taylor expansion of 0 in a
1.706 * [taylor]: Taking taylor expansion of 0 in a
1.712 * [taylor]: Taking taylor expansion of 0 in t
1.712 * [taylor]: Taking taylor expansion of 0 in y
1.714 * [taylor]: Taking taylor expansion of 0 in y
1.715 * [taylor]: Taking taylor expansion of 0 in y
1.715 * [taylor]: Taking taylor expansion of 0 in a
1.715 * [taylor]: Taking taylor expansion of 0 in a
1.722 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in (z t y a) around 0
1.722 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in a
1.722 * [taylor]: Taking taylor expansion of -1 in a
1.722 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in a
1.722 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
1.722 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
1.722 * [taylor]: Taking taylor expansion of (/ 1 t) in a
1.722 * [taylor]: Taking taylor expansion of t in a
1.722 * [taylor]: Taking taylor expansion of (/ 1 z) in a
1.722 * [taylor]: Taking taylor expansion of z in a
1.722 * [taylor]: Taking taylor expansion of a in a
1.723 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in a
1.723 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
1.723 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.723 * [taylor]: Taking taylor expansion of -1 in a
1.723 * [taylor]: Taking taylor expansion of y in a
1.728 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in y
1.728 * [taylor]: Taking taylor expansion of -1 in y
1.728 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in y
1.728 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
1.728 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
1.729 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.729 * [taylor]: Taking taylor expansion of t in y
1.729 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.729 * [taylor]: Taking taylor expansion of z in y
1.729 * [taylor]: Taking taylor expansion of a in y
1.729 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y
1.729 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.729 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.729 * [taylor]: Taking taylor expansion of -1 in y
1.729 * [taylor]: Taking taylor expansion of y in y
1.734 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in t
1.734 * [taylor]: Taking taylor expansion of -1 in t
1.734 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in t
1.734 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
1.734 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
1.734 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.734 * [taylor]: Taking taylor expansion of t in t
1.734 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.734 * [taylor]: Taking taylor expansion of z in t
1.735 * [taylor]: Taking taylor expansion of a in t
1.735 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in t
1.735 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.735 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.735 * [taylor]: Taking taylor expansion of -1 in t
1.735 * [taylor]: Taking taylor expansion of y in t
1.737 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in z
1.737 * [taylor]: Taking taylor expansion of -1 in z
1.737 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in z
1.737 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.737 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.737 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.737 * [taylor]: Taking taylor expansion of t in z
1.737 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.737 * [taylor]: Taking taylor expansion of z in z
1.737 * [taylor]: Taking taylor expansion of a in z
1.737 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in z
1.737 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.737 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.737 * [taylor]: Taking taylor expansion of -1 in z
1.738 * [taylor]: Taking taylor expansion of y in z
1.740 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in z
1.740 * [taylor]: Taking taylor expansion of -1 in z
1.740 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in z
1.740 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
1.740 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
1.740 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.740 * [taylor]: Taking taylor expansion of t in z
1.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.740 * [taylor]: Taking taylor expansion of z in z
1.740 * [taylor]: Taking taylor expansion of a in z
1.740 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in z
1.740 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.740 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.740 * [taylor]: Taking taylor expansion of -1 in z
1.740 * [taylor]: Taking taylor expansion of y in z
1.743 * [taylor]: Taking taylor expansion of (/ a (* y (pow (cbrt -1) 3))) in t
1.743 * [taylor]: Taking taylor expansion of a in t
1.743 * [taylor]: Taking taylor expansion of (* y (pow (cbrt -1) 3)) in t
1.743 * [taylor]: Taking taylor expansion of y in t
1.743 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.743 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.743 * [taylor]: Taking taylor expansion of -1 in t
1.752 * [taylor]: Taking taylor expansion of (neg (/ a (* y (* (pow (cbrt -1) 3) t)))) in t
1.752 * [taylor]: Taking taylor expansion of (/ a (* y (* (pow (cbrt -1) 3) t))) in t
1.752 * [taylor]: Taking taylor expansion of a in t
1.752 * [taylor]: Taking taylor expansion of (* y (* (pow (cbrt -1) 3) t)) in t
1.752 * [taylor]: Taking taylor expansion of y in t
1.752 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) t) in t
1.752 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.752 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.752 * [taylor]: Taking taylor expansion of -1 in t
1.753 * [taylor]: Taking taylor expansion of t in t
1.758 * [taylor]: Taking taylor expansion of (neg (/ a (* (pow (cbrt -1) 3) y))) in y
1.758 * [taylor]: Taking taylor expansion of (/ a (* (pow (cbrt -1) 3) y)) in y
1.758 * [taylor]: Taking taylor expansion of a in y
1.758 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y
1.758 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.758 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.758 * [taylor]: Taking taylor expansion of -1 in y
1.758 * [taylor]: Taking taylor expansion of y in y
1.762 * [taylor]: Taking taylor expansion of (neg (/ a (pow (cbrt -1) 3))) in a
1.762 * [taylor]: Taking taylor expansion of (/ a (pow (cbrt -1) 3)) in a
1.762 * [taylor]: Taking taylor expansion of a in a
1.762 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
1.762 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.762 * [taylor]: Taking taylor expansion of -1 in a
1.765 * [taylor]: Taking taylor expansion of (/ a (* (pow (cbrt -1) 3) y)) in y
1.765 * [taylor]: Taking taylor expansion of a in y
1.765 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y
1.765 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.765 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.765 * [taylor]: Taking taylor expansion of -1 in y
1.766 * [taylor]: Taking taylor expansion of y in y
1.769 * [taylor]: Taking taylor expansion of (/ a (pow (cbrt -1) 3)) in a
1.769 * [taylor]: Taking taylor expansion of a in a
1.769 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
1.769 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.769 * [taylor]: Taking taylor expansion of -1 in a
1.782 * [taylor]: Taking taylor expansion of 0 in t
1.789 * [taylor]: Taking taylor expansion of 0 in y
1.793 * [taylor]: Taking taylor expansion of 0 in y
1.798 * [taylor]: Taking taylor expansion of 0 in a
1.803 * [taylor]: Taking taylor expansion of 0 in a
1.822 * [taylor]: Taking taylor expansion of 0 in t
1.822 * [taylor]: Taking taylor expansion of 0 in y
1.830 * [taylor]: Taking taylor expansion of 0 in y
1.836 * [taylor]: Taking taylor expansion of 0 in y
1.837 * [taylor]: Taking taylor expansion of 0 in a
1.837 * [taylor]: Taking taylor expansion of 0 in a
1.842 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.842 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
1.843 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.843 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.843 * [taylor]: Taking taylor expansion of 1/3 in a
1.843 * [taylor]: Taking taylor expansion of (log a) in a
1.843 * [taylor]: Taking taylor expansion of a in a
1.844 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
1.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
1.844 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
1.844 * [taylor]: Taking taylor expansion of 1/3 in a
1.844 * [taylor]: Taking taylor expansion of (log a) in a
1.844 * [taylor]: Taking taylor expansion of a in a
1.889 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
1.889 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.889 * [taylor]: Taking taylor expansion of 1/3 in a
1.889 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.889 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.889 * [taylor]: Taking taylor expansion of a in a
1.891 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.891 * [taylor]: Taking taylor expansion of 1/3 in a
1.891 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.891 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.891 * [taylor]: Taking taylor expansion of a in a
1.941 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt -1)) in (a) around 0
1.941 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt -1)) in a
1.941 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.941 * [taylor]: Taking taylor expansion of 1/3 in a
1.941 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.941 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.941 * [taylor]: Taking taylor expansion of a in a
1.943 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.943 * [taylor]: Taking taylor expansion of -1 in a
1.943 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt -1)) in a
1.943 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
1.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
1.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
1.943 * [taylor]: Taking taylor expansion of 1/3 in a
1.943 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
1.943 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.943 * [taylor]: Taking taylor expansion of a in a
1.944 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.944 * [taylor]: Taking taylor expansion of -1 in a
2.008 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 2)
2.009 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0
2.009 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.009 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.009 * [taylor]: Taking taylor expansion of 1/3 in a
2.009 * [taylor]: Taking taylor expansion of (log a) in a
2.009 * [taylor]: Taking taylor expansion of a in a
2.009 * [taylor]: Taking taylor expansion of (pow a 1/3) in a
2.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a
2.010 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a
2.010 * [taylor]: Taking taylor expansion of 1/3 in a
2.010 * [taylor]: Taking taylor expansion of (log a) in a
2.010 * [taylor]: Taking taylor expansion of a in a
2.043 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0
2.043 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.043 * [taylor]: Taking taylor expansion of 1/3 in a
2.043 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.043 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.043 * [taylor]: Taking taylor expansion of a in a
2.045 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.045 * [taylor]: Taking taylor expansion of 1/3 in a
2.045 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.045 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.045 * [taylor]: Taking taylor expansion of a in a
2.099 * [approximate]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt -1)) in (a) around 0
2.099 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt -1)) in a
2.099 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.099 * [taylor]: Taking taylor expansion of 1/3 in a
2.099 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.099 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.099 * [taylor]: Taking taylor expansion of a in a
2.100 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.100 * [taylor]: Taking taylor expansion of -1 in a
2.101 * [taylor]: Taking taylor expansion of (* (pow (/ 1 a) 1/3) (cbrt -1)) in a
2.101 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a
2.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a
2.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a
2.101 * [taylor]: Taking taylor expansion of 1/3 in a
2.101 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a
2.101 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.101 * [taylor]: Taking taylor expansion of a in a
2.102 * [taylor]: Taking taylor expansion of (cbrt -1) in a
2.102 * [taylor]: Taking taylor expansion of -1 in a
2.172 * * * [progress]: simplifying candidates
2.173 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (+.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 y) (+.f64 (log.f64 (cbrt.f64 a)) (log.f64 (cbrt.f64 a)))))
  (+.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 y) (log.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (+.f64 (log.f64 (-.f64 z t)) (log.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (exp.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (*.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))))
  (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 a a)))
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) y)
  (*.f64 (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) y)
  (*.f64 (+.f64 z t) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (cbrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (cbrt.f64 a)))
  (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) y)
  (*.f64 (cbrt.f64 (-.f64 z t)) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))))
  (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (cbrt.f64 a)))
  (*.f64 (-.f64 z t) (/.f64 1 (cbrt.f64 a)))
  (*.f64 (-.f64 z t) 1)
  (*.f64 (-.f64 z t) y)
  (-.f64 (+.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 y) (+.f64 (log.f64 (cbrt.f64 a)) (log.f64 (cbrt.f64 a))))) (log.f64 (cbrt.f64 a)))
  (-.f64 (+.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 y) (log.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (log.f64 (cbrt.f64 a)))
  (-.f64 (+.f64 (log.f64 (-.f64 z t)) (log.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (log.f64 (cbrt.f64 a)))
  (-.f64 (log.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (log.f64 (cbrt.f64 a)))
  (exp.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a)))
  (log.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a)))
  (*.f64 (*.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a)) (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a))) (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a)))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a))) (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a))))
  (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a)))
  (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) a)
  (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) a)
  (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))) a)
  (/.f64 (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 a a))) a)
  (sqrt.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a)))
  (sqrt.f64 (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 a)))
  (neg.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (neg.f64 (cbrt.f64 a))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a))))
  (/.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (/.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 (sqrt.f64 a)))
  (/.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 (sqrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 1))
  (/.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
  (/.f64 (-.f64 z t) (sqrt.f64 (cbrt.f64 a)))
  (/.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (sqrt.f64 (cbrt.f64 a)))
  (/.f64 (-.f64 z t) 1)
  (/.f64 (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
  (/.f64 (cbrt.f64 a) (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))))
  (/.f64 1 (cbrt.f64 a))
  (*.f64 (cbrt.f64 a) (*.f64 (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (cbrt.f64 a) (*.f64 (+.f64 z t) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (cbrt.f64 a) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (*.f64 (cbrt.f64 a) (+.f64 z t))
  (*.f64 (cbrt.f64 a) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 a) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a))))
  (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 (sqrt.f64 a)))
  (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (cbrt.f64 1))
  (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) (sqrt.f64 (cbrt.f64 a)))
  (/.f64 (*.f64 (-.f64 z t) (/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))) 1)
  (exp.f64 (cbrt.f64 a))
  (log.f64 (cbrt.f64 a))
  (*.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (cbrt.f64 a))
  (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a)))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 1)
  (cbrt.f64 a)
  (sqrt.f64 (cbrt.f64 a))
  (sqrt.f64 (cbrt.f64 a))
  (exp.f64 (cbrt.f64 a))
  (log.f64 (cbrt.f64 a))
  (*.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (cbrt.f64 a))
  (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a)))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 1)
  (cbrt.f64 a)
  (sqrt.f64 (cbrt.f64 a))
  (sqrt.f64 (cbrt.f64 a))
  0
  (-.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 a 2)) 1/3) (*.f64 z y)) (*.f64 (pow.f64 (/.f64 1 (pow.f64 a 2)) 1/3) (*.f64 y t)))
  (-.f64 (*.f64 (pow.f64 (/.f64 1 (pow.f64 a 2)) 1/3) (/.f64 (*.f64 z y) (pow.f64 (cbrt.f64 -1) 2))) (*.f64 (pow.f64 (/.f64 1 (pow.f64 a 2)) 1/3) (/.f64 (*.f64 y t) (pow.f64 (cbrt.f64 -1) 2))))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 t y) (*.f64 (pow.f64 (cbrt.f64 -1) 3) a)) (/.f64 (*.f64 z y) (*.f64 a (pow.f64 (cbrt.f64 -1) 3))))
  (pow.f64 a 1/3)
  (pow.f64 (/.f64 1 a) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 a) 1/3) (cbrt.f64 -1))
  (pow.f64 a 1/3)
  (pow.f64 (/.f64 1 a) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 a) 1/3) (cbrt.f64 -1))
2.224 * * [simplify]: iteration  0 :  5021  enodes  (cost  1358 )
2.231 * [simplify]: Simplified to:
   (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3)))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3))))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3))))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3))))
  (pow.f64 (exp.f64 (-.f64 z t)) (/.f64 y (pow.f64 a 2/3)))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3))))
  (/.f64 (pow.f64 (*.f64 (-.f64 z t) y) 3) (*.f64 a a))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3)))) (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3)))))
  (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3))))
  (/.f64 (pow.f64 (*.f64 (-.f64 z t) y) 3) (*.f64 a a))
  (/.f64 (pow.f64 (*.f64 (-.f64 z t) y) 3) (*.f64 a a))
  (/.f64 (pow.f64 (*.f64 (-.f64 z t) y) 3) (*.f64 a a))
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3))))
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3))))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 (pow.f64 a 2/3) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (pow.f64 a 2/3) (+.f64 z t))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y (pow.f64 a 2/3))))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y (pow.f64 a 2/3))))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (cbrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (cbrt.f64 a)))
  (*.f64 (/.f64 y (pow.f64 a 2/3)) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 (/.f64 y (pow.f64 a 2/3)) (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (-.f64 z t) y)
  (*.f64 (/.f64 y (pow.f64 a 2/3)) (cbrt.f64 (-.f64 z t)))
  (*.f64 (/.f64 y (pow.f64 a 2/3)) (sqrt.f64 (-.f64 z t)))
  (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3)))
  (*.f64 (/.f64 y (pow.f64 a 2/3)) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3)))
  (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 y (pow.f64 a 2/3))) (cbrt.f64 (/.f64 y (pow.f64 a 2/3)))))
  (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 y (pow.f64 a 2/3))))
  (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 a))
  (-.f64 z t)
  (*.f64 (-.f64 z t) y)
  (log.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (log.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (log.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (log.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (exp.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (log.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (pow.f64 (/.f64 (*.f64 (-.f64 z t) y) a) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) y) a)) (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) y) a)))
  (cbrt.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (pow.f64 (/.f64 (*.f64 (-.f64 z t) y) a) 3)
  (pow.f64 (/.f64 (*.f64 (-.f64 z t) y) a) 3)
  (pow.f64 (/.f64 (*.f64 (-.f64 z t) y) a) 3)
  (pow.f64 (/.f64 (*.f64 (-.f64 z t) y) a) 3)
  (sqrt.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (sqrt.f64 (/.f64 (*.f64 (-.f64 z t) y) a))
  (*.f64 (/.f64 y (pow.f64 a 2/3)) (neg.f64 (-.f64 z t)))
  (neg.f64 (cbrt.f64 a))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a))))
  (/.f64 (/.f64 y (pow.f64 a 2/3)) (cbrt.f64 (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 (pow.f64 a 2/3)))
  (/.f64 (/.f64 y (pow.f64 a 2/3)) (cbrt.f64 (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 (sqrt.f64 a)))
  (/.f64 (/.f64 y (pow.f64 a 2/3)) (cbrt.f64 (sqrt.f64 a)))
  (/.f64 (-.f64 z t) (cbrt.f64 1))
  (/.f64 y a)
  (/.f64 (-.f64 z t) (sqrt.f64 (cbrt.f64 a)))
  (/.f64 (/.f64 y (pow.f64 a 2/3)) (sqrt.f64 (cbrt.f64 a)))
  (-.f64 z t)
  (/.f64 y a)
  (/.f64 a (*.f64 (-.f64 z t) y))
  (/.f64 1 (cbrt.f64 a))
  (*.f64 a (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 a (+.f64 z t))
  (*.f64 (cbrt.f64 a) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 (cbrt.f64 a) (+.f64 z t))
  a
  (/.f64 a y)
  (*.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a)))) (/.f64 y (pow.f64 a 2/3)))
  (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 (pow.f64 a 2/3))) (/.f64 y (pow.f64 a 2/3)))
  (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 (sqrt.f64 a))) (/.f64 y (pow.f64 a 2/3)))
  (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 1)) (/.f64 y (pow.f64 a 2/3)))
  (*.f64 (/.f64 (-.f64 z t) (sqrt.f64 (cbrt.f64 a))) (/.f64 y (pow.f64 a 2/3)))
  (*.f64 (-.f64 z t) (/.f64 y (pow.f64 a 2/3)))
  (exp.f64 (cbrt.f64 a))
  (log.f64 (cbrt.f64 a))
  a
  (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a)))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (pow.f64 a 2/3))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 1)
  (cbrt.f64 a)
  (sqrt.f64 (cbrt.f64 a))
  (sqrt.f64 (cbrt.f64 a))
  (exp.f64 (cbrt.f64 a))
  (log.f64 (cbrt.f64 a))
  a
  (*.f64 (cbrt.f64 (cbrt.f64 a)) (cbrt.f64 (cbrt.f64 a)))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (pow.f64 a 2/3))
  (cbrt.f64 (cbrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 (sqrt.f64 a))
  (cbrt.f64 1)
  (cbrt.f64 a)
  (sqrt.f64 (cbrt.f64 a))
  (sqrt.f64 (cbrt.f64 a))
  0
  (*.f64 (*.f64 (-.f64 z t) y) (cbrt.f64 (/.f64 1 (*.f64 a a))))
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 a a))) (*.f64 (/.f64 y (cbrt.f64 -1)) (-.f64 (/.f64 z (cbrt.f64 -1)) (/.f64 t (cbrt.f64 -1)))))
  (/.f64 (*.f64 (-.f64 z t) y) a)
  (/.f64 (*.f64 (-.f64 z t) y) a)
  (*.f64 (/.f64 y a) (-.f64 (/.f64 t -1) (/.f64 z -1)))
  (cbrt.f64 a)
  (pow.f64 (/.f64 1 a) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 a)))
  (cbrt.f64 a)
  (pow.f64 (/.f64 1 a) -1/3)
  (*.f64 (cbrt.f64 -1) (cbrt.f64 (neg.f64 a)))
2.232 * * * [progress]: adding candidates to table
2.308 * * [progress]: iteration 3 / 4
2.308 * * * [progress]: picking best candidate
2.311 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))>
2.311 * * * [progress]: localizing error
2.320 * * * [progress]: generating rewritten candidates
2.320 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
2.342 * * * [progress]: generating series expansions
2.342 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
2.343 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (z t a y) around 0
2.343 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y
2.343 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
2.343 * [taylor]: Taking taylor expansion of (- z t) in y
2.343 * [taylor]: Taking taylor expansion of z in y
2.343 * [taylor]: Taking taylor expansion of t in y
2.343 * [taylor]: Taking taylor expansion of y in y
2.343 * [taylor]: Taking taylor expansion of a in y
2.345 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a
2.345 * [taylor]: Taking taylor expansion of (* (- z t) y) in a
2.345 * [taylor]: Taking taylor expansion of (- z t) in a
2.345 * [taylor]: Taking taylor expansion of z in a
2.345 * [taylor]: Taking taylor expansion of t in a
2.345 * [taylor]: Taking taylor expansion of y in a
2.345 * [taylor]: Taking taylor expansion of a in a
2.347 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t
2.347 * [taylor]: Taking taylor expansion of (* (- z t) y) in t
2.347 * [taylor]: Taking taylor expansion of (- z t) in t
2.347 * [taylor]: Taking taylor expansion of z in t
2.347 * [taylor]: Taking taylor expansion of t in t
2.347 * [taylor]: Taking taylor expansion of y in t
2.347 * [taylor]: Taking taylor expansion of a in t
2.348 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z
2.348 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
2.348 * [taylor]: Taking taylor expansion of (- z t) in z
2.348 * [taylor]: Taking taylor expansion of z in z
2.348 * [taylor]: Taking taylor expansion of t in z
2.348 * [taylor]: Taking taylor expansion of y in z
2.348 * [taylor]: Taking taylor expansion of a in z
2.349 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z
2.349 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
2.349 * [taylor]: Taking taylor expansion of (- z t) in z
2.349 * [taylor]: Taking taylor expansion of z in z
2.349 * [taylor]: Taking taylor expansion of t in z
2.349 * [taylor]: Taking taylor expansion of y in z
2.349 * [taylor]: Taking taylor expansion of a in z
2.351 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) a)) in t
2.351 * [taylor]: Taking taylor expansion of -1 in t
2.351 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
2.351 * [taylor]: Taking taylor expansion of (* t y) in t
2.351 * [taylor]: Taking taylor expansion of t in t
2.351 * [taylor]: Taking taylor expansion of y in t
2.351 * [taylor]: Taking taylor expansion of a in t
2.353 * [taylor]: Taking taylor expansion of (/ y a) in t
2.353 * [taylor]: Taking taylor expansion of y in t
2.353 * [taylor]: Taking taylor expansion of a in t
2.353 * [taylor]: Taking taylor expansion of (/ y a) in a
2.353 * [taylor]: Taking taylor expansion of y in a
2.353 * [taylor]: Taking taylor expansion of a in a
2.353 * [taylor]: Taking taylor expansion of y in y
2.353 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in a
2.353 * [taylor]: Taking taylor expansion of -1 in a
2.353 * [taylor]: Taking taylor expansion of (/ y a) in a
2.354 * [taylor]: Taking taylor expansion of y in a
2.354 * [taylor]: Taking taylor expansion of a in a
2.354 * [taylor]: Taking taylor expansion of (* -1 y) in y
2.354 * [taylor]: Taking taylor expansion of -1 in y
2.354 * [taylor]: Taking taylor expansion of y in y
2.356 * [taylor]: Taking taylor expansion of 0 in t
2.356 * [taylor]: Taking taylor expansion of 0 in a
2.357 * [taylor]: Taking taylor expansion of 0 in a
2.358 * [taylor]: Taking taylor expansion of 0 in a
2.359 * [taylor]: Taking taylor expansion of 0 in y
2.360 * [taylor]: Taking taylor expansion of 0 in y
2.363 * [taylor]: Taking taylor expansion of 0 in t
2.363 * [taylor]: Taking taylor expansion of 0 in a
2.363 * [taylor]: Taking taylor expansion of 0 in a
2.364 * [taylor]: Taking taylor expansion of 0 in a
2.366 * [taylor]: Taking taylor expansion of 0 in a
2.366 * [taylor]: Taking taylor expansion of 0 in y
2.366 * [taylor]: Taking taylor expansion of 0 in y
2.370 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (z t a y) around 0
2.370 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
2.370 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
2.370 * [taylor]: Taking taylor expansion of a in y
2.370 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
2.370 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.370 * [taylor]: Taking taylor expansion of z in y
2.370 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.370 * [taylor]: Taking taylor expansion of t in y
2.370 * [taylor]: Taking taylor expansion of y in y
2.372 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
2.372 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
2.372 * [taylor]: Taking taylor expansion of a in a
2.372 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
2.372 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.372 * [taylor]: Taking taylor expansion of z in a
2.373 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.373 * [taylor]: Taking taylor expansion of t in a
2.373 * [taylor]: Taking taylor expansion of y in a
2.377 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
2.377 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
2.377 * [taylor]: Taking taylor expansion of a in t
2.377 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
2.377 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.377 * [taylor]: Taking taylor expansion of z in t
2.377 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.377 * [taylor]: Taking taylor expansion of t in t
2.377 * [taylor]: Taking taylor expansion of y in t
2.378 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
2.378 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
2.378 * [taylor]: Taking taylor expansion of a in z
2.378 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.378 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.378 * [taylor]: Taking taylor expansion of z in z
2.378 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.378 * [taylor]: Taking taylor expansion of t in z
2.379 * [taylor]: Taking taylor expansion of y in z
2.379 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
2.379 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
2.379 * [taylor]: Taking taylor expansion of a in z
2.379 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.379 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.379 * [taylor]: Taking taylor expansion of z in z
2.379 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.379 * [taylor]: Taking taylor expansion of t in z
2.379 * [taylor]: Taking taylor expansion of y in z
2.380 * [taylor]: Taking taylor expansion of (/ a y) in t
2.380 * [taylor]: Taking taylor expansion of a in t
2.380 * [taylor]: Taking taylor expansion of y in t
2.383 * [taylor]: Taking taylor expansion of (neg (/ a (* y t))) in t
2.383 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
2.383 * [taylor]: Taking taylor expansion of a in t
2.383 * [taylor]: Taking taylor expansion of (* y t) in t
2.383 * [taylor]: Taking taylor expansion of y in t
2.383 * [taylor]: Taking taylor expansion of t in t
2.384 * [taylor]: Taking taylor expansion of (neg (/ a y)) in a
2.384 * [taylor]: Taking taylor expansion of (/ a y) in a
2.384 * [taylor]: Taking taylor expansion of a in a
2.384 * [taylor]: Taking taylor expansion of y in a
2.384 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
2.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.384 * [taylor]: Taking taylor expansion of y in y
2.385 * [taylor]: Taking taylor expansion of (/ a y) in a
2.385 * [taylor]: Taking taylor expansion of a in a
2.385 * [taylor]: Taking taylor expansion of y in a
2.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.385 * [taylor]: Taking taylor expansion of y in y
2.390 * [taylor]: Taking taylor expansion of 0 in t
2.392 * [taylor]: Taking taylor expansion of 0 in a
2.392 * [taylor]: Taking taylor expansion of 0 in y
2.393 * [taylor]: Taking taylor expansion of 0 in a
2.393 * [taylor]: Taking taylor expansion of 0 in y
2.394 * [taylor]: Taking taylor expansion of 0 in y
2.395 * [taylor]: Taking taylor expansion of 0 in y
2.402 * [taylor]: Taking taylor expansion of 0 in t
2.402 * [taylor]: Taking taylor expansion of 0 in a
2.402 * [taylor]: Taking taylor expansion of 0 in y
2.404 * [taylor]: Taking taylor expansion of 0 in a
2.404 * [taylor]: Taking taylor expansion of 0 in y
2.405 * [taylor]: Taking taylor expansion of 0 in a
2.405 * [taylor]: Taking taylor expansion of 0 in y
2.405 * [taylor]: Taking taylor expansion of 0 in y
2.405 * [taylor]: Taking taylor expansion of 0 in y
2.407 * [taylor]: Taking taylor expansion of 0 in y
2.408 * [taylor]: Taking taylor expansion of 0 in y
2.413 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (z t a y) around 0
2.413 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
2.413 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
2.413 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
2.413 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.413 * [taylor]: Taking taylor expansion of t in y
2.414 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.414 * [taylor]: Taking taylor expansion of z in y
2.414 * [taylor]: Taking taylor expansion of a in y
2.414 * [taylor]: Taking taylor expansion of y in y
2.416 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
2.416 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
2.416 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
2.416 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.416 * [taylor]: Taking taylor expansion of t in a
2.416 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.417 * [taylor]: Taking taylor expansion of z in a
2.417 * [taylor]: Taking taylor expansion of a in a
2.417 * [taylor]: Taking taylor expansion of y in a
2.421 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
2.421 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
2.421 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
2.421 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.421 * [taylor]: Taking taylor expansion of t in t
2.421 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.421 * [taylor]: Taking taylor expansion of z in t
2.421 * [taylor]: Taking taylor expansion of a in t
2.421 * [taylor]: Taking taylor expansion of y in t
2.422 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
2.422 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
2.422 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.422 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.422 * [taylor]: Taking taylor expansion of t in z
2.422 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.422 * [taylor]: Taking taylor expansion of z in z
2.422 * [taylor]: Taking taylor expansion of a in z
2.422 * [taylor]: Taking taylor expansion of y in z
2.423 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
2.423 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
2.423 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.423 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.423 * [taylor]: Taking taylor expansion of t in z
2.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.423 * [taylor]: Taking taylor expansion of z in z
2.423 * [taylor]: Taking taylor expansion of a in z
2.424 * [taylor]: Taking taylor expansion of y in z
2.424 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in t
2.424 * [taylor]: Taking taylor expansion of -1 in t
2.424 * [taylor]: Taking taylor expansion of (/ a y) in t
2.424 * [taylor]: Taking taylor expansion of a in t
2.424 * [taylor]: Taking taylor expansion of y in t
2.427 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
2.427 * [taylor]: Taking taylor expansion of a in t
2.427 * [taylor]: Taking taylor expansion of (* y t) in t
2.427 * [taylor]: Taking taylor expansion of y in t
2.427 * [taylor]: Taking taylor expansion of t in t
2.427 * [taylor]: Taking taylor expansion of (/ a y) in a
2.427 * [taylor]: Taking taylor expansion of a in a
2.427 * [taylor]: Taking taylor expansion of y in a
2.427 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.427 * [taylor]: Taking taylor expansion of y in y
2.428 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in a
2.428 * [taylor]: Taking taylor expansion of -1 in a
2.428 * [taylor]: Taking taylor expansion of (/ a y) in a
2.428 * [taylor]: Taking taylor expansion of a in a
2.428 * [taylor]: Taking taylor expansion of y in a
2.428 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.428 * [taylor]: Taking taylor expansion of -1 in y
2.428 * [taylor]: Taking taylor expansion of y in y
2.432 * [taylor]: Taking taylor expansion of 0 in t
2.433 * [taylor]: Taking taylor expansion of 0 in a
2.433 * [taylor]: Taking taylor expansion of 0 in y
2.434 * [taylor]: Taking taylor expansion of 0 in a
2.434 * [taylor]: Taking taylor expansion of 0 in y
2.434 * [taylor]: Taking taylor expansion of 0 in y
2.436 * [taylor]: Taking taylor expansion of 0 in y
2.443 * [taylor]: Taking taylor expansion of 0 in t
2.443 * [taylor]: Taking taylor expansion of 0 in a
2.443 * [taylor]: Taking taylor expansion of 0 in y
2.445 * [taylor]: Taking taylor expansion of 0 in a
2.445 * [taylor]: Taking taylor expansion of 0 in y
2.447 * [taylor]: Taking taylor expansion of 0 in a
2.447 * [taylor]: Taking taylor expansion of 0 in y
2.447 * [taylor]: Taking taylor expansion of 0 in y
2.447 * [taylor]: Taking taylor expansion of 0 in y
2.448 * [taylor]: Taking taylor expansion of 0 in y
2.450 * [taylor]: Taking taylor expansion of 0 in y
2.454 * * * [progress]: simplifying candidates
2.455 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 a) (log.f64 y)))
  (-.f64 (log.f64 (-.f64 z t)) (log.f64 (/.f64 a y)))
  (exp.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (log.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (*.f64 (*.f64 (/.f64 (-.f64 z t) (/.f64 a y)) (/.f64 (-.f64 z t) (/.f64 a y))) (/.f64 (-.f64 z t) (/.f64 a y)))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (/.f64 a y))) (cbrt.f64 (/.f64 (-.f64 z t) (/.f64 a y))))
  (cbrt.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (/.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (/.f64 a y) (/.f64 a y)) (/.f64 a y)))
  (/.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 y y) y)))
  (sqrt.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (sqrt.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (neg.f64 (-.f64 z t))
  (neg.f64 (/.f64 a y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (/.f64 a y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 (/.f64 a y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a (cbrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 1 (sqrt.f64 y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a (sqrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 1 1))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) 1)
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) a)
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 1 y))
  (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 (/.f64 a y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) y))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) y))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a (cbrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 1))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a y))
  (/.f64 (sqrt.f64 (-.f64 z t)) 1)
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a y))
  (/.f64 (sqrt.f64 (-.f64 z t)) a)
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 1 y))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 z t) (cbrt.f64 (/.f64 a y)))
  (/.f64 1 (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 z t) (sqrt.f64 (/.f64 a y)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) y))
  (/.f64 1 (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 1 (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (/.f64 (sqrt.f64 a) 1))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) y))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 a (cbrt.f64 y)))
  (/.f64 1 (/.f64 1 (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 a (sqrt.f64 y)))
  (/.f64 1 (/.f64 1 1))
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 1 1)
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 1 a)
  (/.f64 (-.f64 z t) (/.f64 1 y))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (cbrt.f64 (/.f64 a y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) y))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) y))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a (cbrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 1 (sqrt.f64 y)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a (sqrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 1 1))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a y))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) 1)
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a y))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) a)
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 1 y))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 z t) (cbrt.f64 (/.f64 a y)))
  (/.f64 1 (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 z t) (sqrt.f64 (/.f64 a y)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) y))
  (/.f64 1 (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 1 (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (/.f64 (sqrt.f64 a) 1))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) y))
  (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 a (cbrt.f64 y)))
  (/.f64 1 (/.f64 1 (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 a (sqrt.f64 y)))
  (/.f64 1 (/.f64 1 1))
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 1 1)
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 1 a)
  (/.f64 (-.f64 z t) (/.f64 1 y))
  (/.f64 z (/.f64 a y))
  (/.f64 t (/.f64 a y))
  (/.f64 (/.f64 a y) (-.f64 z t))
  (/.f64 1 (/.f64 a y))
  (*.f64 (/.f64 a y) (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))))
  (*.f64 (/.f64 a y) (+.f64 z t))
  (/.f64 (-.f64 z t) a)
  (/.f64 (/.f64 a y) (cbrt.f64 (-.f64 z t)))
  (/.f64 (/.f64 a y) (sqrt.f64 (-.f64 z t)))
  (/.f64 (/.f64 a y) (-.f64 z t))
  (/.f64 (/.f64 a y) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (/.f64 a y) (-.f64 z t))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 z t) (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) 1))
  (/.f64 (-.f64 z t) (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 1 (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 1 1))
  (/.f64 (-.f64 z t) 1)
  (/.f64 (-.f64 z t) a)
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
2.526 * * [simplify]: iteration  0 :  4989  enodes  (cost  2298 )
2.527 * * [simplify]: iteration  1 :  4989  enodes  (cost  2298 )
2.543 * [simplify]: Simplified to:
   (log.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (log.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (exp.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (log.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (pow.f64 (/.f64 (-.f64 z t) (/.f64 a y)) 3)
  (*.f64 (cbrt.f64 (/.f64 (-.f64 z t) (/.f64 a y))) (cbrt.f64 (/.f64 (-.f64 z t) (/.f64 a y))))
  (cbrt.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (pow.f64 (/.f64 (-.f64 z t) (/.f64 a y)) 3)
  (pow.f64 (/.f64 (-.f64 z t) (/.f64 a y)) 3)
  (sqrt.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (sqrt.f64 (/.f64 (-.f64 z t) (/.f64 a y)))
  (-.f64 t z)
  (neg.f64 (/.f64 a y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (/.f64 a y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 (/.f64 a y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 a))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) y))
  (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a (cbrt.f64 y)))
  (*.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) (sqrt.f64 y))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a (sqrt.f64 y)))
  (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a y))
  (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t)))
  (/.f64 (cbrt.f64 (-.f64 z t)) (/.f64 a y))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 z t))) a)
  (*.f64 y (cbrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (cbrt.f64 (/.f64 a y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (cbrt.f64 a) y))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a))
  (*.f64 y (/.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 a)))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a (cbrt.f64 y)))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 z t)))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a (sqrt.f64 y)))
  (sqrt.f64 (-.f64 z t))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a y))
  (sqrt.f64 (-.f64 z t))
  (/.f64 (sqrt.f64 (-.f64 z t)) (/.f64 a y))
  (/.f64 (sqrt.f64 (-.f64 z t)) a)
  (*.f64 y (sqrt.f64 (-.f64 z t)))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 z t) (cbrt.f64 (/.f64 a y)))
  (/.f64 1 (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 z t) (sqrt.f64 (/.f64 a y)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) y))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 y) (sqrt.f64 a))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) y))
  (*.f64 (cbrt.f64 y) (cbrt.f64 y))
  (/.f64 (-.f64 z t) (/.f64 a (cbrt.f64 y)))
  (sqrt.f64 y)
  (/.f64 (-.f64 z t) (/.f64 a (sqrt.f64 y)))
  1
  (/.f64 (-.f64 z t) (/.f64 a y))
  1
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 1 a)
  (*.f64 (-.f64 z t) y)
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (cbrt.f64 (/.f64 a y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 (/.f64 a y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) y))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (sqrt.f64 a))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (sqrt.f64 a) y))
  (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a (cbrt.f64 y)))
  (*.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a (sqrt.f64 y)))
  (+.f64 (sqrt.f64 z) (sqrt.f64 t))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a y))
  (+.f64 (sqrt.f64 z) (sqrt.f64 t))
  (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 a y))
  (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) a)
  (*.f64 y (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (/.f64 1 (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 z t) (cbrt.f64 (/.f64 a y)))
  (/.f64 1 (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 z t) (sqrt.f64 (/.f64 a y)))
  (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (/.f64 (cbrt.f64 a) y))
  (/.f64 (cbrt.f64 y) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (cbrt.f64 y)))
  (/.f64 (sqrt.f64 y) (sqrt.f64 a))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 1 (sqrt.f64 a))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) y))
  (*.f64 (cbrt.f64 y) (cbrt.f64 y))
  (/.f64 (-.f64 z t) (/.f64 a (cbrt.f64 y)))
  (sqrt.f64 y)
  (/.f64 (-.f64 z t) (/.f64 a (sqrt.f64 y)))
  1
  (/.f64 (-.f64 z t) (/.f64 a y))
  1
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 1 a)
  (*.f64 (-.f64 z t) y)
  (/.f64 z (/.f64 a y))
  (/.f64 t (/.f64 a y))
  (/.f64 a (*.f64 (-.f64 z t) y))
  (/.f64 y a)
  (*.f64 (/.f64 a y) (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 (/.f64 a y) (+.f64 z t))
  (/.f64 (-.f64 z t) a)
  (/.f64 a (*.f64 y (cbrt.f64 (-.f64 z t))))
  (/.f64 a (*.f64 y (sqrt.f64 (-.f64 z t))))
  (/.f64 a (*.f64 (-.f64 z t) y))
  (/.f64 a (*.f64 y (-.f64 (sqrt.f64 z) (sqrt.f64 t))))
  (/.f64 a (*.f64 (-.f64 z t) y))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 a y)) (cbrt.f64 (/.f64 a y))))
  (/.f64 (-.f64 z t) (sqrt.f64 (/.f64 a y)))
  (/.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (*.f64 (cbrt.f64 y) (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (cbrt.f64 y))))
  (/.f64 (-.f64 z t) (/.f64 (sqrt.f64 a) (sqrt.f64 y)))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (*.f64 (-.f64 z t) (sqrt.f64 y))
  (-.f64 z t)
  (-.f64 z t)
  (/.f64 (-.f64 z t) a)
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 (-.f64 z t) (/.f64 a y))
  (/.f64 (-.f64 z t) (/.f64 a y))
2.544 * * * [progress]: adding candidates to table
2.597 * * [progress]: iteration 4 / 4
2.597 * * * [progress]: picking best candidate
2.600 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>
2.600 * * * [progress]: localizing error
2.607 * * * [progress]: generating rewritten candidates
2.607 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
2.623 * * * [progress]: generating series expansions
2.623 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
2.624 * [approximate]: Taking taylor expansion of (/ (* (- z t) y) a) in (z t y a) around 0
2.624 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in a
2.624 * [taylor]: Taking taylor expansion of (* (- z t) y) in a
2.624 * [taylor]: Taking taylor expansion of (- z t) in a
2.624 * [taylor]: Taking taylor expansion of z in a
2.624 * [taylor]: Taking taylor expansion of t in a
2.624 * [taylor]: Taking taylor expansion of y in a
2.624 * [taylor]: Taking taylor expansion of a in a
2.625 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in y
2.625 * [taylor]: Taking taylor expansion of (* (- z t) y) in y
2.625 * [taylor]: Taking taylor expansion of (- z t) in y
2.625 * [taylor]: Taking taylor expansion of z in y
2.625 * [taylor]: Taking taylor expansion of t in y
2.625 * [taylor]: Taking taylor expansion of y in y
2.625 * [taylor]: Taking taylor expansion of a in y
2.628 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in t
2.628 * [taylor]: Taking taylor expansion of (* (- z t) y) in t
2.628 * [taylor]: Taking taylor expansion of (- z t) in t
2.628 * [taylor]: Taking taylor expansion of z in t
2.628 * [taylor]: Taking taylor expansion of t in t
2.628 * [taylor]: Taking taylor expansion of y in t
2.628 * [taylor]: Taking taylor expansion of a in t
2.629 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z
2.629 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
2.629 * [taylor]: Taking taylor expansion of (- z t) in z
2.629 * [taylor]: Taking taylor expansion of z in z
2.629 * [taylor]: Taking taylor expansion of t in z
2.629 * [taylor]: Taking taylor expansion of y in z
2.629 * [taylor]: Taking taylor expansion of a in z
2.630 * [taylor]: Taking taylor expansion of (/ (* (- z t) y) a) in z
2.630 * [taylor]: Taking taylor expansion of (* (- z t) y) in z
2.630 * [taylor]: Taking taylor expansion of (- z t) in z
2.630 * [taylor]: Taking taylor expansion of z in z
2.630 * [taylor]: Taking taylor expansion of t in z
2.630 * [taylor]: Taking taylor expansion of y in z
2.630 * [taylor]: Taking taylor expansion of a in z
2.631 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) a)) in t
2.632 * [taylor]: Taking taylor expansion of -1 in t
2.632 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t
2.632 * [taylor]: Taking taylor expansion of (* t y) in t
2.632 * [taylor]: Taking taylor expansion of t in t
2.632 * [taylor]: Taking taylor expansion of y in t
2.632 * [taylor]: Taking taylor expansion of a in t
2.634 * [taylor]: Taking taylor expansion of (/ y a) in t
2.634 * [taylor]: Taking taylor expansion of y in t
2.634 * [taylor]: Taking taylor expansion of a in t
2.634 * [taylor]: Taking taylor expansion of (/ y a) in y
2.634 * [taylor]: Taking taylor expansion of y in y
2.635 * [taylor]: Taking taylor expansion of a in y
2.635 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.635 * [taylor]: Taking taylor expansion of a in a
2.635 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in y
2.635 * [taylor]: Taking taylor expansion of -1 in y
2.635 * [taylor]: Taking taylor expansion of (/ y a) in y
2.635 * [taylor]: Taking taylor expansion of y in y
2.635 * [taylor]: Taking taylor expansion of a in y
2.636 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.636 * [taylor]: Taking taylor expansion of -1 in a
2.636 * [taylor]: Taking taylor expansion of a in a
2.639 * [taylor]: Taking taylor expansion of 0 in t
2.639 * [taylor]: Taking taylor expansion of 0 in y
2.639 * [taylor]: Taking taylor expansion of 0 in a
2.639 * [taylor]: Taking taylor expansion of 0 in y
2.639 * [taylor]: Taking taylor expansion of 0 in a
2.641 * [taylor]: Taking taylor expansion of 0 in y
2.641 * [taylor]: Taking taylor expansion of 0 in a
2.642 * [taylor]: Taking taylor expansion of 0 in a
2.644 * [taylor]: Taking taylor expansion of 0 in a
2.648 * [taylor]: Taking taylor expansion of 0 in t
2.648 * [taylor]: Taking taylor expansion of 0 in y
2.648 * [taylor]: Taking taylor expansion of 0 in a
2.648 * [taylor]: Taking taylor expansion of 0 in y
2.648 * [taylor]: Taking taylor expansion of 0 in a
2.650 * [taylor]: Taking taylor expansion of 0 in y
2.650 * [taylor]: Taking taylor expansion of 0 in a
2.652 * [taylor]: Taking taylor expansion of 0 in y
2.652 * [taylor]: Taking taylor expansion of 0 in a
2.652 * [taylor]: Taking taylor expansion of 0 in a
2.652 * [taylor]: Taking taylor expansion of 0 in a
2.652 * [taylor]: Taking taylor expansion of 0 in a
2.654 * [taylor]: Taking taylor expansion of 0 in a
2.655 * [taylor]: Taking taylor expansion of 0 in a
2.659 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (z t y a) around 0
2.659 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a
2.659 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a
2.659 * [taylor]: Taking taylor expansion of a in a
2.659 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a
2.659 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.659 * [taylor]: Taking taylor expansion of z in a
2.659 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.659 * [taylor]: Taking taylor expansion of t in a
2.659 * [taylor]: Taking taylor expansion of y in a
2.664 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y
2.664 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y
2.664 * [taylor]: Taking taylor expansion of a in y
2.664 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
2.664 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.664 * [taylor]: Taking taylor expansion of z in y
2.665 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.665 * [taylor]: Taking taylor expansion of t in y
2.665 * [taylor]: Taking taylor expansion of y in y
2.667 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t
2.667 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t
2.667 * [taylor]: Taking taylor expansion of a in t
2.667 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
2.667 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.667 * [taylor]: Taking taylor expansion of z in t
2.667 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.667 * [taylor]: Taking taylor expansion of t in t
2.668 * [taylor]: Taking taylor expansion of y in t
2.668 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
2.668 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
2.668 * [taylor]: Taking taylor expansion of a in z
2.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.668 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.668 * [taylor]: Taking taylor expansion of z in z
2.669 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.669 * [taylor]: Taking taylor expansion of t in z
2.669 * [taylor]: Taking taylor expansion of y in z
2.669 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z
2.669 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z
2.669 * [taylor]: Taking taylor expansion of a in z
2.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
2.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.669 * [taylor]: Taking taylor expansion of z in z
2.669 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.669 * [taylor]: Taking taylor expansion of t in z
2.670 * [taylor]: Taking taylor expansion of y in z
2.670 * [taylor]: Taking taylor expansion of (/ a y) in t
2.670 * [taylor]: Taking taylor expansion of a in t
2.670 * [taylor]: Taking taylor expansion of y in t
2.674 * [taylor]: Taking taylor expansion of (neg (/ a (* y t))) in t
2.674 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
2.674 * [taylor]: Taking taylor expansion of a in t
2.674 * [taylor]: Taking taylor expansion of (* y t) in t
2.674 * [taylor]: Taking taylor expansion of y in t
2.674 * [taylor]: Taking taylor expansion of t in t
2.675 * [taylor]: Taking taylor expansion of (neg (/ a y)) in y
2.675 * [taylor]: Taking taylor expansion of (/ a y) in y
2.675 * [taylor]: Taking taylor expansion of a in y
2.675 * [taylor]: Taking taylor expansion of y in y
2.675 * [taylor]: Taking taylor expansion of (neg a) in a
2.675 * [taylor]: Taking taylor expansion of a in a
2.675 * [taylor]: Taking taylor expansion of (/ a y) in y
2.676 * [taylor]: Taking taylor expansion of a in y
2.676 * [taylor]: Taking taylor expansion of y in y
2.676 * [taylor]: Taking taylor expansion of a in a
2.680 * [taylor]: Taking taylor expansion of 0 in t
2.682 * [taylor]: Taking taylor expansion of 0 in y
2.683 * [taylor]: Taking taylor expansion of 0 in y
2.684 * [taylor]: Taking taylor expansion of 0 in a
2.685 * [taylor]: Taking taylor expansion of 0 in a
2.690 * [taylor]: Taking taylor expansion of 0 in t
2.690 * [taylor]: Taking taylor expansion of 0 in y
2.692 * [taylor]: Taking taylor expansion of 0 in y
2.693 * [taylor]: Taking taylor expansion of 0 in y
2.694 * [taylor]: Taking taylor expansion of 0 in a
2.694 * [taylor]: Taking taylor expansion of 0 in a
2.699 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (z t y a) around 0
2.699 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a
2.699 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a
2.699 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a
2.699 * [taylor]: Taking taylor expansion of (/ 1 t) in a
2.699 * [taylor]: Taking taylor expansion of t in a
2.699 * [taylor]: Taking taylor expansion of (/ 1 z) in a
2.699 * [taylor]: Taking taylor expansion of z in a
2.699 * [taylor]: Taking taylor expansion of a in a
2.699 * [taylor]: Taking taylor expansion of y in a
2.704 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y
2.704 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y
2.704 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
2.704 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.704 * [taylor]: Taking taylor expansion of t in y
2.704 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.704 * [taylor]: Taking taylor expansion of z in y
2.704 * [taylor]: Taking taylor expansion of a in y
2.704 * [taylor]: Taking taylor expansion of y in y
2.706 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t
2.706 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t
2.706 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
2.706 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.706 * [taylor]: Taking taylor expansion of t in t
2.706 * [taylor]: Taking taylor expansion of (/ 1 z) in t
2.707 * [taylor]: Taking taylor expansion of z in t
2.707 * [taylor]: Taking taylor expansion of a in t
2.707 * [taylor]: Taking taylor expansion of y in t
2.707 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
2.707 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
2.707 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.707 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.707 * [taylor]: Taking taylor expansion of t in z
2.707 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.707 * [taylor]: Taking taylor expansion of z in z
2.708 * [taylor]: Taking taylor expansion of a in z
2.708 * [taylor]: Taking taylor expansion of y in z
2.708 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z
2.708 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z
2.708 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
2.708 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.708 * [taylor]: Taking taylor expansion of t in z
2.709 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.709 * [taylor]: Taking taylor expansion of z in z
2.709 * [taylor]: Taking taylor expansion of a in z
2.709 * [taylor]: Taking taylor expansion of y in z
2.710 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in t
2.710 * [taylor]: Taking taylor expansion of -1 in t
2.710 * [taylor]: Taking taylor expansion of (/ a y) in t
2.710 * [taylor]: Taking taylor expansion of a in t
2.710 * [taylor]: Taking taylor expansion of y in t
2.712 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t
2.712 * [taylor]: Taking taylor expansion of a in t
2.712 * [taylor]: Taking taylor expansion of (* y t) in t
2.712 * [taylor]: Taking taylor expansion of y in t
2.712 * [taylor]: Taking taylor expansion of t in t
2.713 * [taylor]: Taking taylor expansion of (/ a y) in y
2.713 * [taylor]: Taking taylor expansion of a in y
2.713 * [taylor]: Taking taylor expansion of y in y
2.713 * [taylor]: Taking taylor expansion of a in a
2.713 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y
2.713 * [taylor]: Taking taylor expansion of -1 in y
2.713 * [taylor]: Taking taylor expansion of (/ a y) in y
2.713 * [taylor]: Taking taylor expansion of a in y
2.713 * [taylor]: Taking taylor expansion of y in y
2.714 * [taylor]: Taking taylor expansion of (* -1 a) in a
2.714 * [taylor]: Taking taylor expansion of -1 in a
2.714 * [taylor]: Taking taylor expansion of a in a
2.717 * [taylor]: Taking taylor expansion of 0 in t
2.718 * [taylor]: Taking taylor expansion of 0 in y
2.719 * [taylor]: Taking taylor expansion of 0 in y
2.720 * [taylor]: Taking taylor expansion of 0 in a
2.721 * [taylor]: Taking taylor expansion of 0 in a
2.725 * [taylor]: Taking taylor expansion of 0 in t
2.725 * [taylor]: Taking taylor expansion of 0 in y
2.726 * [taylor]: Taking taylor expansion of 0 in y
2.728 * [taylor]: Taking taylor expansion of 0 in y
2.728 * [taylor]: Taking taylor expansion of 0 in a
2.728 * [taylor]: Taking taylor expansion of 0 in a
2.732 * * * [progress]: simplifying candidates
2.733 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (-.f64 z t) (/.f64 y a))
  (+.f64 (log.f64 (-.f64 z t)) (-.f64 (log.f64 y) (log.f64 a)))
  (+.f64 (log.f64 (-.f64 z t)) (log.f64 (/.f64 y a)))
  (exp.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (*.f64 (*.f64 (*.f64 (-.f64 z t) (/.f64 y a)) (*.f64 (-.f64 z t) (/.f64 y a))) (*.f64 (-.f64 z t) (/.f64 y a)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y a))) (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y a))))
  (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (*.f64 (*.f64 (/.f64 y a) (/.f64 y a)) (/.f64 y a)))
  (*.f64 (*.f64 (*.f64 (-.f64 z t) (-.f64 z t)) (-.f64 z t)) (/.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 a a) a)))
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) y)
  (*.f64 (+.f64 (*.f64 z z) (+.f64 (*.f64 t t) (*.f64 z t))) a)
  (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) y)
  (*.f64 (+.f64 z t) a)
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 y a))
  (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (/.f64 y a))
  (*.f64 (-.f64 z t) y)
  (*.f64 (cbrt.f64 (-.f64 z t)) (/.f64 y a))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 y a))
  (*.f64 (-.f64 z t) (/.f64 y a))
  (*.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 y a))
  (*.f64 (-.f64 z t) (/.f64 y a))
  (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 y a)) (cbrt.f64 (/.f64 y a))))
  (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 y a)))
  (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 a)))
  (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) 1))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) 1))
  (*.f64 (-.f64 z t) (/.f64 1 (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 1 (sqrt.f64 a)))
  (*.f64 (-.f64 z t) (/.f64 1 1))
  (*.f64 (-.f64 z t) 1)
  (*.f64 (-.f64 z t) y)
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
  (-.f64 (/.f64 (*.f64 z y) a) (/.f64 (*.f64 t y) a))
2.781 * * [simplify]: iteration  0 :  5675  enodes  (cost  564 )
2.784 * [simplify]: Simplified to:
   (*.f64 (-.f64 z t) (/.f64 y a))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (exp.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (log.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (pow.f64 (*.f64 (-.f64 z t) (/.f64 y a)) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y a))) (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y a))))
  (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (pow.f64 (*.f64 (-.f64 z t) (/.f64 y a)) 3)
  (pow.f64 (*.f64 (-.f64 z t) (/.f64 y a)) 3)
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (sqrt.f64 (*.f64 (-.f64 z t) (/.f64 y a)))
  (*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 a (+.f64 (*.f64 z z) (*.f64 t (+.f64 z t))))
  (*.f64 y (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 a (+.f64 z t))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (sqrt.f64 (/.f64 y a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (/.f64 y a) (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
  (*.f64 (/.f64 y a) (-.f64 (*.f64 z z) (*.f64 t t)))
  (*.f64 (-.f64 z t) y)
  (*.f64 (/.f64 y a) (cbrt.f64 (-.f64 z t)))
  (*.f64 (/.f64 y a) (sqrt.f64 (-.f64 z t)))
  (*.f64 (-.f64 z t) (/.f64 y a))
  (*.f64 (/.f64 y a) (-.f64 (sqrt.f64 z) (sqrt.f64 t)))
  (*.f64 (-.f64 z t) (/.f64 y a))
  (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 (/.f64 y a)) (cbrt.f64 (/.f64 y a))))
  (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 y a)))
  (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (sqrt.f64 a)))
  (*.f64 (-.f64 z t) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (*.f64 (cbrt.f64 a) (cbrt.f64 a))))
  (*.f64 (-.f64 z t) (/.f64 (sqrt.f64 y) (sqrt.f64 a)))
  (*.f64 (-.f64 z t) (sqrt.f64 y))
  (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
  (/.f64 (-.f64 z t) (sqrt.f64 a))
  (-.f64 z t)
  (-.f64 z t)
  (*.f64 (-.f64 z t) y)
  (*.f64 (-.f64 z t) (/.f64 y a))
  (*.f64 (-.f64 z t) (/.f64 y a))
  (*.f64 (-.f64 z t) (/.f64 y a))
2.784 * * * [progress]: adding candidates to table
2.807 * [progress]: [Phase 3 of 3] Extracting.
2.807 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.808 * * * [regime-changes]: Trying 7 branch expressions: ((-.f64 z t) (*.f64 y (-.f64 z t)) a t z y x)
2.808 * * * * [regimes]: Trying to branch on (-.f64 z t) from (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.828 * * * * [regimes]: Trying to branch on (*.f64 y (-.f64 z t)) from (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.849 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.870 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.880 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.892 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.911 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.924 * * * [regime]: Found split indices: #<option (#s(si 2 32) #s(si 1 232) #s(si 0 255))>
2.924 * [binary-search]: Only using regimes for bounds on (*.f64 y (-.f64 z t)) and (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.924 * [regimes]: Found splitpoints: (#s(sp 2 (*.f64 y (-.f64 z t)) -2.7342815831820313e+182) #s(sp 1 (*.f64 y (-.f64 z t)) 4.5610281472644713e+185) #s(sp 0 (*.f64 y (-.f64 z t)) +nan.0)) , with alts (#<alt (λ (x y z t a) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))))> #<alt (λ (x y z t a) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))))> #<alt (λ (x y z t a) (+.f64 x (*.f64 (-.f64 z t) (/.f64 y a))))>)
2.925 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (*.f64 y (-.f64 z t)) -273428158318203132198144908988431409055498631892111423131455928915548350084921068881767847886751757088120257959246571126995243409918132906257584797468174686723493830269029427103924224) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))) (if (<=.f64 (*.f64 y (-.f64 z t)) 456102814726447133697349741704949642791365290227256216639674564345407164704344854730051958708143921985373093870799289957879474135345952269218870496333494391860170639193124404638567628800) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))))
2.927 * * [simplify]: iteration  0 :  40  enodes  (cost  66 )
2.927 * * [simplify]: iteration  1 :  40  enodes  (cost  66 )
2.927 * [simplify]: Simplified to:
   (if (<=.f64 (*.f64 y (-.f64 z t)) -273428158318203132198144908988431409055498631892111423131455928915548350084921068881767847886751757088120257959246571126995243409918132906257584797468174686723493830269029427103924224) (+.f64 x (/.f64 (-.f64 z t) (/.f64 a y))) (if (<=.f64 (*.f64 y (-.f64 z t)) 456102814726447133697349741704949642791365290227256216639674564345407164704344854730051958708143921985373093870799289957879474135345952269218870496333494391860170639193124404638567628800) (+.f64 x (/.f64 1 (/.f64 a (*.f64 y (-.f64 z t))))) (+.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))))
3.710 * [regime-testing]: End program error score: 0.5063484244415639
3.738 * [regime-testing]: Target error score: 0.6841365531242156