41.251 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.053 * [simplify]: Simplifying:
  (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.053 * * [simplify]: Extracting # 0 : cost  0
0.053 * * [simplify]: Extracting # 1 : cost  0
0.053 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: Extracting # 3 : cost  0
0.054 * * [simplify]: Extracting # 4 : cost  0
0.054 * * [simplify]: Extracting # 5 : cost  0
0.054 * * [simplify]: Extracting # 6 : cost  0
0.054 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
0.057 * * [simplify]: Extracting # 0 : cost  0
0.057 * * [simplify]: Extracting # 1 : cost  0
0.057 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: iteration  1 :  16  enodes  (cost  14 )
0.064 * * [simplify]: Extracting # 0 : cost  0
0.064 * * [simplify]: Extracting # 1 : cost  0
0.064 * * [simplify]: Extracting # 2 : cost  0
0.064 * * [simplify]: Extracting # 3 : cost  0
0.064 * * [simplify]: iteration  2 :  33  enodes  (cost  11 )
0.079 * * [simplify]: Extracting # 0 : cost  0
0.079 * * [simplify]: Extracting # 1 : cost  0
0.079 * * [simplify]: Extracting # 2 : cost  0
0.080 * * [simplify]: Extracting # 3 : cost  0
0.080 * * [simplify]: iteration  3 :  56  enodes  (cost  8 )
0.112 * * [simplify]: Extracting # 0 : cost  0
0.112 * * [simplify]: Extracting # 1 : cost  0
0.112 * * [simplify]: iteration  4 :  74  enodes  (cost  8 )
0.134 * * [simplify]: Extracting # 0 : cost  0
0.135 * * [simplify]: iteration  5 :  80  enodes  (cost  8 )
0.157 * * [simplify]: Extracting # 0 : cost  0
0.157 * * [simplify]: iteration done:  80  enodes  (cost  8 )
0.158 * [simplify]: Simplified to:
  (fma y x (* 3 (* z z)))
0.163 * * [progress]: iteration 1 / 4
0.163 * * * [progress]: picking best candidate
0.165 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* 3 (* z z))))>
0.166 * * * [progress]: localizing error
0.178 * * * [progress]: generating rewritten candidates
0.178 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
0.202 * * * [progress]: generating series expansions
0.202 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
0.202 * [backup-simplify]: Simplify (* 3 (* z z)) into (* 3 (pow z 2))
0.202 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
0.202 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.202 * [taylor]: Taking taylor expansion of 3 in z
0.202 * [backup-simplify]: Simplify 3 into 3
0.202 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.202 * [taylor]: Taking taylor expansion of z in z
0.202 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify 1 into 1
0.202 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.202 * [taylor]: Taking taylor expansion of 3 in z
0.202 * [backup-simplify]: Simplify 3 into 3
0.202 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.202 * [taylor]: Taking taylor expansion of z in z
0.202 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify 1 into 1
0.203 * [backup-simplify]: Simplify (* 1 1) into 1
0.203 * [backup-simplify]: Simplify (* 3 1) into 3
0.203 * [backup-simplify]: Simplify 3 into 3
0.204 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.204 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
0.204 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.206 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
0.206 * [backup-simplify]: Simplify 0 into 0
0.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.208 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.208 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.210 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.211 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.214 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.214 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.217 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.217 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
0.217 * [backup-simplify]: Simplify (* 3 (* (/ 1 z) (/ 1 z))) into (/ 3 (pow z 2))
0.217 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.217 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.217 * [taylor]: Taking taylor expansion of 3 in z
0.217 * [backup-simplify]: Simplify 3 into 3
0.217 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.217 * [taylor]: Taking taylor expansion of z in z
0.217 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify 1 into 1
0.218 * [backup-simplify]: Simplify (* 1 1) into 1
0.218 * [backup-simplify]: Simplify (/ 3 1) into 3
0.218 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.218 * [taylor]: Taking taylor expansion of 3 in z
0.218 * [backup-simplify]: Simplify 3 into 3
0.218 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.218 * [taylor]: Taking taylor expansion of z in z
0.218 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify 1 into 1
0.219 * [backup-simplify]: Simplify (* 1 1) into 1
0.225 * [backup-simplify]: Simplify (/ 3 1) into 3
0.225 * [backup-simplify]: Simplify 3 into 3
0.226 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.227 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.235 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
0.238 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- z)) (/ 1 (- z)))) into (/ 3 (pow z 2))
0.238 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.238 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.238 * [taylor]: Taking taylor expansion of 3 in z
0.238 * [backup-simplify]: Simplify 3 into 3
0.238 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.238 * [taylor]: Taking taylor expansion of z in z
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (/ 3 1) into 3
0.239 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.239 * [taylor]: Taking taylor expansion of 3 in z
0.239 * [backup-simplify]: Simplify 3 into 3
0.239 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.239 * [taylor]: Taking taylor expansion of z in z
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 1 into 1
0.239 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (/ 3 1) into 3
0.240 * [backup-simplify]: Simplify 3 into 3
0.240 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.241 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.244 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.245 * [backup-simplify]: Simplify 0 into 0
0.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.246 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
0.248 * * * [progress]: simplifying candidates
0.248 * [simplify]: Simplifying:
  (expm1 (* 3 (* z z)))
  (log1p (* 3 (* z z)))
  (* 3 (* z z))
  (* 3 (* z z))
  (+ (log 3) (+ (log z) (log z)))
  (+ (log 3) (log (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* (* (* 3 3) 3) (* (* (* z z) z) (* (* z z) z)))
  (* (* (* 3 3) 3) (* (* (* z z) (* z z)) (* z z)))
  (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z))))
  (cbrt (* 3 (* z z)))
  (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* 3 z)
  (* (cbrt 3) (* z z))
  (* (sqrt 3) (* z z))
  (* 3 (* z z))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
0.249 * * [simplify]: Extracting # 0 : cost  0
0.249 * * [simplify]: Extracting # 1 : cost  0
0.249 * * [simplify]: Extracting # 2 : cost  0
0.249 * * [simplify]: Extracting # 3 : cost  0
0.249 * * [simplify]: Extracting # 4 : cost  0
0.249 * * [simplify]: Extracting # 5 : cost  0
0.249 * * [simplify]: iteration  0 :  36  enodes  (cost  174 )
0.258 * * [simplify]: Extracting # 0 : cost  0
0.258 * * [simplify]: Extracting # 1 : cost  0
0.258 * * [simplify]: Extracting # 2 : cost  0
0.258 * * [simplify]: Extracting # 3 : cost  0
0.258 * * [simplify]: Extracting # 4 : cost  0
0.258 * * [simplify]: iteration  1 :  82  enodes  (cost  161 )
0.286 * * [simplify]: Extracting # 0 : cost  0
0.286 * * [simplify]: Extracting # 1 : cost  0
0.287 * * [simplify]: Extracting # 2 : cost  0
0.287 * * [simplify]: Extracting # 3 : cost  0
0.287 * * [simplify]: Extracting # 4 : cost  0
0.288 * * [simplify]: iteration  2 :  206  enodes  (cost  141 )
0.385 * * [simplify]: Extracting # 0 : cost  0
0.385 * * [simplify]: Extracting # 1 : cost  0
0.386 * * [simplify]: Extracting # 2 : cost  0
0.386 * * [simplify]: Extracting # 3 : cost  0
0.386 * * [simplify]: Extracting # 4 : cost  0
0.387 * * [simplify]: iteration  3 :  447  enodes  (cost  135 )
0.696 * * [simplify]: Extracting # 0 : cost  0
0.697 * * [simplify]: Extracting # 1 : cost  0
0.698 * * [simplify]: Extracting # 2 : cost  0
0.699 * * [simplify]: Extracting # 3 : cost  0
0.700 * * [simplify]: Extracting # 4 : cost  0
0.701 * * [simplify]: iteration  4 :  643  enodes  (cost  135 )
1.375 * * [simplify]: Extracting # 0 : cost  0
1.377 * * [simplify]: Extracting # 1 : cost  0
1.378 * * [simplify]: Extracting # 2 : cost  0
1.379 * * [simplify]: Extracting # 3 : cost  0
1.380 * * [simplify]: Extracting # 4 : cost  0
1.381 * * [simplify]: Extracting # 5 : cost  0
1.382 * * [simplify]: iteration  5 :  1405  enodes  (cost  135 )
4.518 * * [simplify]: Extracting # 0 : cost  0
4.522 * * [simplify]: Extracting # 1 : cost  0
4.525 * * [simplify]: Extracting # 2 : cost  0
4.528 * * [simplify]: Extracting # 3 : cost  0
4.535 * * [simplify]: Extracting # 4 : cost  0
4.538 * * [simplify]: Extracting # 5 : cost  0
4.541 * * [simplify]: iteration  6 :  3875  enodes  (cost  135 )
5.938 * * [simplify]: Extracting # 0 : cost  0
5.942 * * [simplify]: Extracting # 1 : cost  0
5.947 * * [simplify]: Extracting # 2 : cost  0
5.959 * * [simplify]: Extracting # 3 : cost  0
5.967 * * [simplify]: iteration done:  5001  enodes  (cost  135 )
5.968 * [simplify]: Simplified to:
  (expm1 (* 3 (* z z)))
  (log1p (* 3 (* z z)))
  (* z (* 3 z))
  (* z (* 3 z))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* 27 (pow z 6))
  (* 27 (pow z 6))
  (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z))))
  (cbrt (* 3 (* z z)))
  (* 27 (pow z 6))
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* 3 z)
  (* (cbrt 3) (* z z))
  (* (sqrt 3) (* z z))
  (* z (* 3 z))
  (* z (* 3 z))
  (* z (* 3 z))
  (* z (* 3 z))
5.968 * * * [progress]: adding candidates to table
6.028 * * [progress]: iteration 2 / 4
6.028 * * * [progress]: picking best candidate
6.035 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* z (* 3 z))))>
6.035 * * * [progress]: localizing error
6.050 * * * [progress]: generating rewritten candidates
6.050 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
6.072 * * * [progress]: generating series expansions
6.072 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
6.072 * [backup-simplify]: Simplify (* z (* 3 z)) into (* 3 (pow z 2))
6.072 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
6.072 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
6.072 * [taylor]: Taking taylor expansion of 3 in z
6.072 * [backup-simplify]: Simplify 3 into 3
6.072 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.072 * [taylor]: Taking taylor expansion of z in z
6.072 * [backup-simplify]: Simplify 0 into 0
6.072 * [backup-simplify]: Simplify 1 into 1
6.072 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
6.072 * [taylor]: Taking taylor expansion of 3 in z
6.072 * [backup-simplify]: Simplify 3 into 3
6.072 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.072 * [taylor]: Taking taylor expansion of z in z
6.072 * [backup-simplify]: Simplify 0 into 0
6.072 * [backup-simplify]: Simplify 1 into 1
6.073 * [backup-simplify]: Simplify (* 1 1) into 1
6.073 * [backup-simplify]: Simplify (* 3 1) into 3
6.073 * [backup-simplify]: Simplify 3 into 3
6.073 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.074 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
6.074 * [backup-simplify]: Simplify 0 into 0
6.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.075 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
6.075 * [backup-simplify]: Simplify 0 into 0
6.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.076 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.076 * [backup-simplify]: Simplify 0 into 0
6.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.078 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.078 * [backup-simplify]: Simplify 0 into 0
6.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.079 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.079 * [backup-simplify]: Simplify 0 into 0
6.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.081 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.081 * [backup-simplify]: Simplify 0 into 0
6.081 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
6.081 * [backup-simplify]: Simplify (* (/ 1 z) (* 3 (/ 1 z))) into (/ 3 (pow z 2))
6.081 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
6.081 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
6.081 * [taylor]: Taking taylor expansion of 3 in z
6.081 * [backup-simplify]: Simplify 3 into 3
6.081 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.081 * [taylor]: Taking taylor expansion of z in z
6.081 * [backup-simplify]: Simplify 0 into 0
6.081 * [backup-simplify]: Simplify 1 into 1
6.081 * [backup-simplify]: Simplify (* 1 1) into 1
6.082 * [backup-simplify]: Simplify (/ 3 1) into 3
6.082 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
6.082 * [taylor]: Taking taylor expansion of 3 in z
6.082 * [backup-simplify]: Simplify 3 into 3
6.082 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.082 * [taylor]: Taking taylor expansion of z in z
6.082 * [backup-simplify]: Simplify 0 into 0
6.082 * [backup-simplify]: Simplify 1 into 1
6.082 * [backup-simplify]: Simplify (* 1 1) into 1
6.082 * [backup-simplify]: Simplify (/ 3 1) into 3
6.082 * [backup-simplify]: Simplify 3 into 3
6.083 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
6.083 * [backup-simplify]: Simplify 0 into 0
6.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.084 * [backup-simplify]: Simplify 0 into 0
6.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.086 * [backup-simplify]: Simplify 0 into 0
6.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.087 * [backup-simplify]: Simplify 0 into 0
6.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.090 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
6.093 * [backup-simplify]: Simplify (* (/ 1 (- z)) (* 3 (/ 1 (- z)))) into (/ 3 (pow z 2))
6.093 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
6.093 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
6.093 * [taylor]: Taking taylor expansion of 3 in z
6.093 * [backup-simplify]: Simplify 3 into 3
6.093 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.093 * [taylor]: Taking taylor expansion of z in z
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 1 into 1
6.093 * [backup-simplify]: Simplify (* 1 1) into 1
6.094 * [backup-simplify]: Simplify (/ 3 1) into 3
6.094 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
6.094 * [taylor]: Taking taylor expansion of 3 in z
6.094 * [backup-simplify]: Simplify 3 into 3
6.094 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.094 * [taylor]: Taking taylor expansion of z in z
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 1 into 1
6.094 * [backup-simplify]: Simplify (* 1 1) into 1
6.095 * [backup-simplify]: Simplify (/ 3 1) into 3
6.095 * [backup-simplify]: Simplify 3 into 3
6.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
6.097 * [backup-simplify]: Simplify 0 into 0
6.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.101 * [backup-simplify]: Simplify 0 into 0
6.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.103 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.103 * [backup-simplify]: Simplify 0 into 0
6.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.106 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.108 * [backup-simplify]: Simplify 0 into 0
6.109 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
6.109 * * * [progress]: simplifying candidates
6.109 * [simplify]: Simplifying:
  (expm1 (* z (* 3 z)))
  (log1p (* z (* 3 z)))
  (* z (* 3 z))
  (* z (* 3 z))
  (+ (log z) (+ (log 3) (log z)))
  (+ (log z) (log (* 3 z)))
  (log (* z (* 3 z)))
  (exp (* z (* 3 z)))
  (* (* (* z z) z) (* (* (* 3 3) 3) (* (* z z) z)))
  (* (* (* z z) z) (* (* (* 3 z) (* 3 z)) (* 3 z)))
  (* (cbrt (* z (* 3 z))) (cbrt (* z (* 3 z))))
  (cbrt (* z (* 3 z)))
  (* (* (* z (* 3 z)) (* z (* 3 z))) (* z (* 3 z)))
  (sqrt (* z (* 3 z)))
  (sqrt (* z (* 3 z)))
  (* z 3)
  (* (cbrt z) (* 3 z))
  (* (sqrt z) (* 3 z))
  (* z (* 3 z))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
6.110 * * [simplify]: Extracting # 0 : cost  0
6.110 * * [simplify]: Extracting # 1 : cost  0
6.110 * * [simplify]: Extracting # 2 : cost  0
6.110 * * [simplify]: Extracting # 3 : cost  0
6.111 * * [simplify]: Extracting # 4 : cost  0
6.111 * * [simplify]: Extracting # 5 : cost  0
6.111 * * [simplify]: Extracting # 6 : cost  0
6.111 * * [simplify]: Extracting # 7 : cost  0
6.111 * * [simplify]: iteration  0 :  36  enodes  (cost  166 )
6.138 * * [simplify]: Extracting # 0 : cost  0
6.139 * * [simplify]: Extracting # 1 : cost  0
6.139 * * [simplify]: Extracting # 2 : cost  0
6.139 * * [simplify]: Extracting # 3 : cost  0
6.139 * * [simplify]: Extracting # 4 : cost  0
6.139 * * [simplify]: iteration  1 :  86  enodes  (cost  157 )
6.210 * * [simplify]: Extracting # 0 : cost  0
6.210 * * [simplify]: Extracting # 1 : cost  0
6.211 * * [simplify]: Extracting # 2 : cost  0
6.211 * * [simplify]: Extracting # 3 : cost  0
6.212 * * [simplify]: Extracting # 4 : cost  0
6.212 * * [simplify]: iteration  2 :  240  enodes  (cost  133 )
6.416 * * [simplify]: Extracting # 0 : cost  0
6.417 * * [simplify]: Extracting # 1 : cost  0
6.418 * * [simplify]: Extracting # 2 : cost  0
6.418 * * [simplify]: Extracting # 3 : cost  0
6.419 * * [simplify]: Extracting # 4 : cost  0
6.420 * * [simplify]: iteration  3 :  462  enodes  (cost  127 )
6.868 * * [simplify]: Extracting # 0 : cost  0
6.869 * * [simplify]: Extracting # 1 : cost  0
6.870 * * [simplify]: Extracting # 2 : cost  0
6.871 * * [simplify]: Extracting # 3 : cost  0
6.872 * * [simplify]: Extracting # 4 : cost  0
6.873 * * [simplify]: iteration  4 :  679  enodes  (cost  127 )
7.523 * * [simplify]: Extracting # 0 : cost  0
7.524 * * [simplify]: Extracting # 1 : cost  0
7.526 * * [simplify]: Extracting # 2 : cost  0
7.527 * * [simplify]: Extracting # 3 : cost  0
7.528 * * [simplify]: Extracting # 4 : cost  0
7.529 * * [simplify]: Extracting # 5 : cost  0
7.530 * * [simplify]: iteration  5 :  1458  enodes  (cost  126 )
9.841 * * [simplify]: Extracting # 0 : cost  0
9.849 * * [simplify]: Extracting # 1 : cost  0
9.859 * * [simplify]: Extracting # 2 : cost  0
9.868 * * [simplify]: Extracting # 3 : cost  0
9.877 * * [simplify]: Extracting # 4 : cost  0
9.882 * * [simplify]: iteration done:  5000  enodes  (cost  126 )
9.882 * [simplify]: Simplified to:
  (expm1 (* z (* 3 z)))
  (log1p (* z (* 3 z)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (log (* z (* 3 z)))
  (log (* z (* 3 z)))
  (log (* z (* 3 z)))
  (exp (* z (* 3 z)))
  (* (pow z 6) 27)
  (* (pow z 6) 27)
  (* (cbrt (* z (* 3 z))) (cbrt (* z (* 3 z))))
  (cbrt (* z (* 3 z)))
  (* (pow z 6) 27)
  (sqrt (* z (* 3 z)))
  (sqrt (* z (* 3 z)))
  (* 3 z)
  (* (cbrt z) (* 3 z))
  (* (pow z 3/2) 3)
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
9.882 * * * [progress]: adding candidates to table
9.937 * * [progress]: iteration 3 / 4
9.937 * * * [progress]: picking best candidate
9.948 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z))))))>
9.948 * * * [progress]: localizing error
9.960 * * * [progress]: generating rewritten candidates
9.961 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2)
9.975 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1)
9.995 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3)
10.103 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 1)
10.125 * * * [progress]: generating series expansions
10.125 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2)
10.125 * [backup-simplify]: Simplify (sqrt (* z (* 3 z))) into (* (sqrt 3) z)
10.125 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
10.125 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
10.125 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.125 * [taylor]: Taking taylor expansion of 3 in z
10.125 * [backup-simplify]: Simplify 3 into 3
10.126 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.127 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.127 * [taylor]: Taking taylor expansion of z in z
10.127 * [backup-simplify]: Simplify 0 into 0
10.127 * [backup-simplify]: Simplify 1 into 1
10.127 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
10.127 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.127 * [taylor]: Taking taylor expansion of 3 in z
10.127 * [backup-simplify]: Simplify 3 into 3
10.127 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.128 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.128 * [taylor]: Taking taylor expansion of z in z
10.128 * [backup-simplify]: Simplify 0 into 0
10.128 * [backup-simplify]: Simplify 1 into 1
10.128 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0
10.128 * [backup-simplify]: Simplify 0 into 0
10.130 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3)
10.130 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.130 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.131 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0
10.131 * [backup-simplify]: Simplify 0 into 0
10.132 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.133 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.133 * [backup-simplify]: Simplify 0 into 0
10.133 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.134 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.134 * [backup-simplify]: Simplify 0 into 0
10.135 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.136 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
10.136 * [backup-simplify]: Simplify 0 into 0
10.137 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.138 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
10.138 * [backup-simplify]: Simplify 0 into 0
10.138 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.139 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
10.139 * [backup-simplify]: Simplify 0 into 0
10.140 * [backup-simplify]: Simplify (* (sqrt 3) z) into (* (sqrt 3) z)
10.140 * [backup-simplify]: Simplify (sqrt (* (/ 1 z) (* 3 (/ 1 z)))) into (/ (sqrt 3) z)
10.140 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
10.140 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.140 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.140 * [taylor]: Taking taylor expansion of 3 in z
10.140 * [backup-simplify]: Simplify 3 into 3
10.140 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.141 * [taylor]: Taking taylor expansion of z in z
10.141 * [backup-simplify]: Simplify 0 into 0
10.141 * [backup-simplify]: Simplify 1 into 1
10.141 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.141 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.141 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.141 * [taylor]: Taking taylor expansion of 3 in z
10.141 * [backup-simplify]: Simplify 3 into 3
10.142 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.142 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.142 * [taylor]: Taking taylor expansion of z in z
10.142 * [backup-simplify]: Simplify 0 into 0
10.142 * [backup-simplify]: Simplify 1 into 1
10.143 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.143 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
10.144 * [backup-simplify]: Simplify 0 into 0
10.144 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.145 * [backup-simplify]: Simplify 0 into 0
10.146 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.146 * [backup-simplify]: Simplify 0 into 0
10.147 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.148 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.148 * [backup-simplify]: Simplify 0 into 0
10.149 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.150 * [backup-simplify]: Simplify 0 into 0
10.150 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.151 * [backup-simplify]: Simplify 0 into 0
10.151 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 z))) into (* (sqrt 3) z)
10.152 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- z)) (* 3 (/ 1 (- z))))) into (/ (sqrt 3) z)
10.152 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
10.152 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.152 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.152 * [taylor]: Taking taylor expansion of 3 in z
10.152 * [backup-simplify]: Simplify 3 into 3
10.152 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.152 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.153 * [taylor]: Taking taylor expansion of z in z
10.153 * [backup-simplify]: Simplify 0 into 0
10.153 * [backup-simplify]: Simplify 1 into 1
10.153 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.153 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.153 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.153 * [taylor]: Taking taylor expansion of 3 in z
10.153 * [backup-simplify]: Simplify 3 into 3
10.153 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.154 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.154 * [taylor]: Taking taylor expansion of z in z
10.154 * [backup-simplify]: Simplify 0 into 0
10.154 * [backup-simplify]: Simplify 1 into 1
10.155 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.155 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
10.156 * [backup-simplify]: Simplify 0 into 0
10.156 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.157 * [backup-simplify]: Simplify 0 into 0
10.158 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.158 * [backup-simplify]: Simplify 0 into 0
10.159 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.160 * [backup-simplify]: Simplify 0 into 0
10.161 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.162 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.162 * [backup-simplify]: Simplify 0 into 0
10.163 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.164 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.164 * [backup-simplify]: Simplify 0 into 0
10.164 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- z)))) into (* -1 (* (sqrt 3) z))
10.164 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1)
10.164 * [backup-simplify]: Simplify (sqrt (* z (* 3 z))) into (* (sqrt 3) z)
10.164 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
10.164 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
10.165 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.165 * [taylor]: Taking taylor expansion of 3 in z
10.165 * [backup-simplify]: Simplify 3 into 3
10.165 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.165 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.165 * [taylor]: Taking taylor expansion of z in z
10.165 * [backup-simplify]: Simplify 0 into 0
10.165 * [backup-simplify]: Simplify 1 into 1
10.165 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
10.165 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.165 * [taylor]: Taking taylor expansion of 3 in z
10.165 * [backup-simplify]: Simplify 3 into 3
10.166 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.166 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.166 * [taylor]: Taking taylor expansion of z in z
10.166 * [backup-simplify]: Simplify 0 into 0
10.166 * [backup-simplify]: Simplify 1 into 1
10.166 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0
10.167 * [backup-simplify]: Simplify 0 into 0
10.168 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3)
10.168 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.169 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.169 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0
10.169 * [backup-simplify]: Simplify 0 into 0
10.170 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.171 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.171 * [backup-simplify]: Simplify 0 into 0
10.172 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.173 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.173 * [backup-simplify]: Simplify 0 into 0
10.174 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.180 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
10.180 * [backup-simplify]: Simplify 0 into 0
10.181 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.182 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
10.182 * [backup-simplify]: Simplify 0 into 0
10.182 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.184 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
10.184 * [backup-simplify]: Simplify 0 into 0
10.185 * [backup-simplify]: Simplify (* (sqrt 3) z) into (* (sqrt 3) z)
10.185 * [backup-simplify]: Simplify (sqrt (* (/ 1 z) (* 3 (/ 1 z)))) into (/ (sqrt 3) z)
10.185 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
10.185 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.186 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.186 * [taylor]: Taking taylor expansion of 3 in z
10.186 * [backup-simplify]: Simplify 3 into 3
10.186 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.187 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.187 * [taylor]: Taking taylor expansion of z in z
10.187 * [backup-simplify]: Simplify 0 into 0
10.187 * [backup-simplify]: Simplify 1 into 1
10.188 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.188 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.188 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.188 * [taylor]: Taking taylor expansion of 3 in z
10.188 * [backup-simplify]: Simplify 3 into 3
10.188 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.189 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.189 * [taylor]: Taking taylor expansion of z in z
10.189 * [backup-simplify]: Simplify 0 into 0
10.189 * [backup-simplify]: Simplify 1 into 1
10.190 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.190 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
10.191 * [backup-simplify]: Simplify 0 into 0
10.192 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.193 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.193 * [backup-simplify]: Simplify 0 into 0
10.194 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.195 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.195 * [backup-simplify]: Simplify 0 into 0
10.197 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.198 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.198 * [backup-simplify]: Simplify 0 into 0
10.199 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.200 * [backup-simplify]: Simplify 0 into 0
10.200 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.201 * [backup-simplify]: Simplify 0 into 0
10.201 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 z))) into (* (sqrt 3) z)
10.202 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- z)) (* 3 (/ 1 (- z))))) into (/ (sqrt 3) z)
10.202 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
10.202 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.202 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.202 * [taylor]: Taking taylor expansion of 3 in z
10.202 * [backup-simplify]: Simplify 3 into 3
10.202 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.202 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.202 * [taylor]: Taking taylor expansion of z in z
10.202 * [backup-simplify]: Simplify 0 into 0
10.202 * [backup-simplify]: Simplify 1 into 1
10.203 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.203 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
10.203 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.203 * [taylor]: Taking taylor expansion of 3 in z
10.203 * [backup-simplify]: Simplify 3 into 3
10.203 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.204 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.204 * [taylor]: Taking taylor expansion of z in z
10.204 * [backup-simplify]: Simplify 0 into 0
10.204 * [backup-simplify]: Simplify 1 into 1
10.204 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
10.205 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.205 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
10.205 * [backup-simplify]: Simplify 0 into 0
10.206 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.207 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.207 * [backup-simplify]: Simplify 0 into 0
10.207 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.208 * [backup-simplify]: Simplify 0 into 0
10.209 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.209 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.209 * [backup-simplify]: Simplify 0 into 0
10.210 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.211 * [backup-simplify]: Simplify 0 into 0
10.212 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.213 * [backup-simplify]: Simplify 0 into 0
10.213 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- z)))) into (* -1 (* (sqrt 3) z))
10.213 * * * * [progress]: [ 3 / 4 ] generating series at (2 3)
10.213 * [backup-simplify]: Simplify (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) into (* (pow (sqrt 3) 2) (pow z 2))
10.213 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
10.213 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
10.213 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
10.213 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.213 * [taylor]: Taking taylor expansion of 3 in z
10.213 * [backup-simplify]: Simplify 3 into 3
10.213 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.214 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.214 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.214 * [taylor]: Taking taylor expansion of z in z
10.214 * [backup-simplify]: Simplify 0 into 0
10.214 * [backup-simplify]: Simplify 1 into 1
10.214 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
10.214 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
10.214 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.214 * [taylor]: Taking taylor expansion of 3 in z
10.214 * [backup-simplify]: Simplify 3 into 3
10.214 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.215 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.215 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.215 * [taylor]: Taking taylor expansion of z in z
10.215 * [backup-simplify]: Simplify 0 into 0
10.215 * [backup-simplify]: Simplify 1 into 1
10.216 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
10.216 * [backup-simplify]: Simplify (* 1 1) into 1
10.217 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
10.218 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
10.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.218 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
10.219 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (* 0 1)) into 0
10.219 * [backup-simplify]: Simplify 0 into 0
10.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.220 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.221 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
10.222 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (* 0 1))) into 0
10.222 * [backup-simplify]: Simplify 0 into 0
10.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.223 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.224 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
10.225 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.225 * [backup-simplify]: Simplify 0 into 0
10.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.226 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.227 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
10.228 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.228 * [backup-simplify]: Simplify 0 into 0
10.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.230 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.231 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
10.232 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.232 * [backup-simplify]: Simplify 0 into 0
10.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.234 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.235 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
10.236 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.236 * [backup-simplify]: Simplify 0 into 0
10.237 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow z 2)) into (* (pow (sqrt 3) 2) (pow z 2))
10.237 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 z) (* 3 (/ 1 z)))) (sqrt (* (/ 1 z) (* 3 (/ 1 z))))) into (/ (pow (sqrt 3) 2) (pow z 2))
10.237 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
10.237 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
10.237 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
10.237 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.238 * [taylor]: Taking taylor expansion of 3 in z
10.238 * [backup-simplify]: Simplify 3 into 3
10.238 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.238 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.238 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.238 * [taylor]: Taking taylor expansion of z in z
10.238 * [backup-simplify]: Simplify 0 into 0
10.238 * [backup-simplify]: Simplify 1 into 1
10.239 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
10.240 * [backup-simplify]: Simplify (* 1 1) into 1
10.241 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
10.241 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
10.241 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
10.241 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.241 * [taylor]: Taking taylor expansion of 3 in z
10.241 * [backup-simplify]: Simplify 3 into 3
10.241 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.241 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.242 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.242 * [taylor]: Taking taylor expansion of z in z
10.242 * [backup-simplify]: Simplify 0 into 0
10.242 * [backup-simplify]: Simplify 1 into 1
10.242 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
10.243 * [backup-simplify]: Simplify (* 1 1) into 1
10.244 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
10.244 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
10.245 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
10.245 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
10.246 * [backup-simplify]: Simplify 0 into 0
10.247 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.247 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
10.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.248 * [backup-simplify]: Simplify 0 into 0
10.249 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.250 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
10.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.251 * [backup-simplify]: Simplify 0 into 0
10.252 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.253 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
10.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.254 * [backup-simplify]: Simplify 0 into 0
10.255 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.256 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
10.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.258 * [backup-simplify]: Simplify 0 into 0
10.258 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.259 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
10.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.261 * [backup-simplify]: Simplify 0 into 0
10.262 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 z)) 2)) into (* (pow (sqrt 3) 2) (pow z 2))
10.262 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 (- z)) (* 3 (/ 1 (- z))))) (sqrt (* (/ 1 (- z)) (* 3 (/ 1 (- z)))))) into (/ (pow (sqrt 3) 2) (pow z 2))
10.263 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
10.263 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
10.263 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
10.263 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.263 * [taylor]: Taking taylor expansion of 3 in z
10.263 * [backup-simplify]: Simplify 3 into 3
10.263 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.263 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.263 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.263 * [taylor]: Taking taylor expansion of z in z
10.263 * [backup-simplify]: Simplify 0 into 0
10.263 * [backup-simplify]: Simplify 1 into 1
10.264 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
10.264 * [backup-simplify]: Simplify (* 1 1) into 1
10.266 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
10.266 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
10.266 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
10.266 * [taylor]: Taking taylor expansion of (sqrt 3) in z
10.266 * [taylor]: Taking taylor expansion of 3 in z
10.266 * [backup-simplify]: Simplify 3 into 3
10.266 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
10.266 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
10.266 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.266 * [taylor]: Taking taylor expansion of z in z
10.266 * [backup-simplify]: Simplify 0 into 0
10.266 * [backup-simplify]: Simplify 1 into 1
10.267 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
10.267 * [backup-simplify]: Simplify (* 1 1) into 1
10.268 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
10.269 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
10.270 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
10.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.271 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
10.271 * [backup-simplify]: Simplify 0 into 0
10.271 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
10.272 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
10.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.280 * [backup-simplify]: Simplify 0 into 0
10.281 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.282 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
10.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.283 * [backup-simplify]: Simplify 0 into 0
10.284 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.285 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
10.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.287 * [backup-simplify]: Simplify 0 into 0
10.287 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.288 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
10.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.290 * [backup-simplify]: Simplify 0 into 0
10.291 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
10.292 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
10.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.293 * [backup-simplify]: Simplify 0 into 0
10.294 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 (- z))) 2)) into (* (pow (sqrt 3) 2) (pow z 2))
10.294 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 1)
10.294 * [backup-simplify]: Simplify (* z (* 3 z)) into (* 3 (pow z 2))
10.294 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
10.294 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
10.294 * [taylor]: Taking taylor expansion of 3 in z
10.294 * [backup-simplify]: Simplify 3 into 3
10.294 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.294 * [taylor]: Taking taylor expansion of z in z
10.294 * [backup-simplify]: Simplify 0 into 0
10.294 * [backup-simplify]: Simplify 1 into 1
10.294 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
10.295 * [taylor]: Taking taylor expansion of 3 in z
10.295 * [backup-simplify]: Simplify 3 into 3
10.295 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.295 * [taylor]: Taking taylor expansion of z in z
10.295 * [backup-simplify]: Simplify 0 into 0
10.295 * [backup-simplify]: Simplify 1 into 1
10.295 * [backup-simplify]: Simplify (* 1 1) into 1
10.295 * [backup-simplify]: Simplify (* 3 1) into 3
10.295 * [backup-simplify]: Simplify 3 into 3
10.296 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.296 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
10.296 * [backup-simplify]: Simplify 0 into 0
10.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.297 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
10.297 * [backup-simplify]: Simplify 0 into 0
10.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.298 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.298 * [backup-simplify]: Simplify 0 into 0
10.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.300 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.300 * [backup-simplify]: Simplify 0 into 0
10.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.301 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.301 * [backup-simplify]: Simplify 0 into 0
10.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.303 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.303 * [backup-simplify]: Simplify 0 into 0
10.303 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
10.303 * [backup-simplify]: Simplify (* (/ 1 z) (* 3 (/ 1 z))) into (/ 3 (pow z 2))
10.303 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
10.303 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
10.303 * [taylor]: Taking taylor expansion of 3 in z
10.303 * [backup-simplify]: Simplify 3 into 3
10.303 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.303 * [taylor]: Taking taylor expansion of z in z
10.303 * [backup-simplify]: Simplify 0 into 0
10.303 * [backup-simplify]: Simplify 1 into 1
10.304 * [backup-simplify]: Simplify (* 1 1) into 1
10.304 * [backup-simplify]: Simplify (/ 3 1) into 3
10.304 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
10.304 * [taylor]: Taking taylor expansion of 3 in z
10.304 * [backup-simplify]: Simplify 3 into 3
10.304 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.304 * [taylor]: Taking taylor expansion of z in z
10.304 * [backup-simplify]: Simplify 0 into 0
10.304 * [backup-simplify]: Simplify 1 into 1
10.304 * [backup-simplify]: Simplify (* 1 1) into 1
10.304 * [backup-simplify]: Simplify (/ 3 1) into 3
10.305 * [backup-simplify]: Simplify 3 into 3
10.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
10.305 * [backup-simplify]: Simplify 0 into 0
10.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.306 * [backup-simplify]: Simplify 0 into 0
10.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.308 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.309 * [backup-simplify]: Simplify 0 into 0
10.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
10.312 * [backup-simplify]: Simplify (* (/ 1 (- z)) (* 3 (/ 1 (- z)))) into (/ 3 (pow z 2))
10.312 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
10.312 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
10.312 * [taylor]: Taking taylor expansion of 3 in z
10.312 * [backup-simplify]: Simplify 3 into 3
10.312 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.312 * [taylor]: Taking taylor expansion of z in z
10.312 * [backup-simplify]: Simplify 0 into 0
10.312 * [backup-simplify]: Simplify 1 into 1
10.313 * [backup-simplify]: Simplify (* 1 1) into 1
10.313 * [backup-simplify]: Simplify (/ 3 1) into 3
10.313 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
10.313 * [taylor]: Taking taylor expansion of 3 in z
10.313 * [backup-simplify]: Simplify 3 into 3
10.313 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.313 * [taylor]: Taking taylor expansion of z in z
10.313 * [backup-simplify]: Simplify 0 into 0
10.313 * [backup-simplify]: Simplify 1 into 1
10.313 * [backup-simplify]: Simplify (* 1 1) into 1
10.313 * [backup-simplify]: Simplify (/ 3 1) into 3
10.313 * [backup-simplify]: Simplify 3 into 3
10.314 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.314 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
10.314 * [backup-simplify]: Simplify 0 into 0
10.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.316 * [backup-simplify]: Simplify 0 into 0
10.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.318 * [backup-simplify]: Simplify 0 into 0
10.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.320 * [backup-simplify]: Simplify 0 into 0
10.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.323 * [backup-simplify]: Simplify 0 into 0
10.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.325 * [backup-simplify]: Simplify 0 into 0
10.326 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
10.326 * * * [progress]: simplifying candidates
10.328 * [simplify]: Simplifying:
  (expm1 (sqrt (* z (* 3 z))))
  (log1p (sqrt (* z (* 3 z))))
  (log (sqrt (* z (* 3 z))))
  (exp (sqrt (* z (* 3 z))))
  (* (cbrt (sqrt (* z (* 3 z)))) (cbrt (sqrt (* z (* 3 z)))))
  (cbrt (sqrt (* z (* 3 z))))
  (* (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z))))
  (sqrt z)
  (sqrt (* 3 z))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* z (* 3 z))))
  (sqrt (sqrt (* z (* 3 z))))
  (expm1 (sqrt (* z (* 3 z))))
  (log1p (sqrt (* z (* 3 z))))
  (log (sqrt (* z (* 3 z))))
  (exp (sqrt (* z (* 3 z))))
  (* (cbrt (sqrt (* z (* 3 z)))) (cbrt (sqrt (* z (* 3 z)))))
  (cbrt (sqrt (* z (* 3 z))))
  (* (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z))))
  (sqrt z)
  (sqrt (* 3 z))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* z (* 3 z))))
  (sqrt (sqrt (* z (* 3 z))))
  (expm1 (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (log1p (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z))))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (+ 1 1)
  (+ (log (sqrt (* z (* 3 z)))) (log (sqrt (* z (* 3 z)))))
  (log (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (exp (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (* (* (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z)))) (* (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z)))))
  (* (cbrt (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z))))) (cbrt (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z))))))
  (cbrt (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (* (* (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z))))) (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (* (* z (* 3 z)) (* z (* 3 z)))
  (sqrt (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (sqrt (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))))
  (* (* (cbrt (sqrt (* z (* 3 z)))) (cbrt (sqrt (* z (* 3 z))))) (* (cbrt (sqrt (* z (* 3 z)))) (cbrt (sqrt (* z (* 3 z))))))
  (* (cbrt (sqrt (* z (* 3 z)))) (cbrt (sqrt (* z (* 3 z)))))
  (* (sqrt z) (sqrt z))
  (* (sqrt (* 3 z)) (sqrt (* 3 z)))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (sqrt (* z (* 3 z)))))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (sqrt (* z (* 3 z)))))
  (* 1 1)
  (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z))))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (sqrt (* z (* 3 z)))))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (sqrt (* z (* 3 z)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* z (* 3 z))) (* (cbrt (sqrt (* z (* 3 z)))) (cbrt (sqrt (* z (* 3 z))))))
  (* (sqrt (* z (* 3 z))) (sqrt z))
  (* (sqrt (* z (* 3 z))) (sqrt (sqrt (* z (* 3 z)))))
  (* (sqrt (* z (* 3 z))) 1)
  (* (cbrt (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z))))
  (* (sqrt (* 3 z)) (sqrt (* z (* 3 z))))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z))))
  (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z))))
  (expm1 (* z (* 3 z)))
  (log1p (* z (* 3 z)))
  (* z (* 3 z))
  (* z (* 3 z))
  (+ (log z) (+ (log 3) (log z)))
  (+ (log z) (log (* 3 z)))
  (log (* z (* 3 z)))
  (exp (* z (* 3 z)))
  (* (* (* z z) z) (* (* (* 3 3) 3) (* (* z z) z)))
  (* (* (* z z) z) (* (* (* 3 z) (* 3 z)) (* 3 z)))
  (* (cbrt (* z (* 3 z))) (cbrt (* z (* 3 z))))
  (cbrt (* z (* 3 z)))
  (* (* (* z (* 3 z)) (* z (* 3 z))) (* z (* 3 z)))
  (sqrt (* z (* 3 z)))
  (sqrt (* z (* 3 z)))
  (* z 3)
  (* (cbrt z) (* 3 z))
  (* (sqrt z) (* 3 z))
  (* z (* 3 z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
10.331 * * [simplify]: Extracting # 0 : cost  0
10.332 * * [simplify]: Extracting # 1 : cost  0
10.332 * * [simplify]: Extracting # 2 : cost  0
10.332 * * [simplify]: Extracting # 3 : cost  0
10.332 * * [simplify]: Extracting # 4 : cost  0
10.333 * * [simplify]: Extracting # 5 : cost  0
10.333 * * [simplify]: iteration  0 :  86  enodes  (cost  1168 )
10.382 * * [simplify]: Extracting # 0 : cost  0
10.382 * * [simplify]: Extracting # 1 : cost  0
10.382 * * [simplify]: Extracting # 2 : cost  0
10.383 * * [simplify]: iteration  1 :  170  enodes  (cost  774 )
10.470 * * [simplify]: Extracting # 0 : cost  0
10.471 * * [simplify]: Extracting # 1 : cost  0
10.472 * * [simplify]: Extracting # 2 : cost  0
10.473 * * [simplify]: Extracting # 3 : cost  0
10.474 * * [simplify]: iteration  2 :  501  enodes  (cost  697 )
11.237 * * [simplify]: Extracting # 0 : cost  0
11.240 * * [simplify]: Extracting # 1 : cost  0
11.241 * * [simplify]: Extracting # 2 : cost  0
11.243 * * [simplify]: Extracting # 3 : cost  0
11.245 * * [simplify]: Extracting # 4 : cost  0
11.246 * * [simplify]: iteration  3 :  1889  enodes  (cost  606 )
12.924 * * [simplify]: Extracting # 0 : cost  0
12.935 * * [simplify]: Extracting # 1 : cost  0
12.944 * * [simplify]: Extracting # 2 : cost  0
12.957 * * [simplify]: Extracting # 3 : cost  0
12.964 * * [simplify]: Extracting # 4 : cost  0
12.969 * * [simplify]: iteration done:  5000  enodes  (cost  579 )
12.969 * [simplify]: Simplified to:
  (expm1 (fabs (* (sqrt 3) z)))
  (log1p (fabs (* (sqrt 3) z)))
  (log (fabs (* (sqrt 3) z)))
  (exp (fabs (* (sqrt 3) z)))
  (* (cbrt (fabs (* (sqrt 3) z))) (cbrt (fabs (* (sqrt 3) z))))
  (cbrt (fabs (* (sqrt 3) z)))
  (pow (fabs (* (sqrt 3) z)) 3)
  (sqrt z)
  (sqrt (* 3 z))
  1/2
  1/2
  1/2
  (sqrt (fabs (* (sqrt 3) z)))
  (sqrt (fabs (* (sqrt 3) z)))
  (expm1 (fabs (* (sqrt 3) z)))
  (log1p (fabs (* (sqrt 3) z)))
  (log (fabs (* (sqrt 3) z)))
  (exp (fabs (* (sqrt 3) z)))
  (* (cbrt (fabs (* (sqrt 3) z))) (cbrt (fabs (* (sqrt 3) z))))
  (cbrt (fabs (* (sqrt 3) z)))
  (pow (fabs (* (sqrt 3) z)) 3)
  (sqrt z)
  (sqrt (* 3 z))
  1/2
  1/2
  1/2
  (sqrt (fabs (* (sqrt 3) z)))
  (sqrt (fabs (* (sqrt 3) z)))
  (expm1 (* z (* 3 z)))
  (log1p (* z (* 3 z)))
  1
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (pow z 4) 9)
  (* 3 (pow z 2))
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  (* (pow z 4) 9)
  2
  (log (* z (* 3 z)))
  (log (* z (* 3 z)))
  (exp (* z (* 3 z)))
  (* 27 (pow z 6))
  (* (cbrt (* z (* 3 z))) (cbrt (* z (* 3 z))))
  (cbrt (* z (* 3 z)))
  (* 27 (pow z 6))
  (* (pow z 4) 9)
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  (pow (cbrt (fabs (* (sqrt 3) z))) 4)
  (* (cbrt (fabs (* (sqrt 3) z))) (cbrt (fabs (* (sqrt 3) z))))
  z
  (* 3 z)
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  1
  (* 3 (pow z 2))
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (pow (cbrt (fabs (* (sqrt 3) z))) (+ 4 1))
  (* (sqrt z) (fabs (* (sqrt 3) z)))
  (pow (sqrt (fabs (* (sqrt 3) z))) 3)
  (fabs (* (sqrt 3) z))
  (pow (cbrt (fabs (* (sqrt 3) z))) 4)
  (* (sqrt (* 3 z)) (fabs (* (sqrt 3) z)))
  (pow (sqrt (fabs (* (sqrt 3) z))) 3)
  (* 3 (pow z 2))
  (expm1 (* z (* 3 z)))
  (log1p (* z (* 3 z)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (log (* z (* 3 z)))
  (log (* z (* 3 z)))
  (log (* z (* 3 z)))
  (exp (* z (* 3 z)))
  (* 27 (pow z 6))
  (* 27 (pow z 6))
  (* (cbrt (* z (* 3 z))) (cbrt (* z (* 3 z))))
  (cbrt (* z (* 3 z)))
  (* 27 (pow z 6))
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  (* 3 z)
  (* (cbrt z) (* 3 z))
  (* (sqrt z) (* 3 z))
  (* 3 (pow z 2))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (- (* (sqrt 3) z))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (- (* (sqrt 3) z))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
12.970 * * * [progress]: adding candidates to table
13.213 * * [progress]: iteration 4 / 4
13.213 * * * [progress]: picking best candidate
13.226 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y x (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))))>
13.226 * * * [progress]: localizing error
13.243 * * * [progress]: generating rewritten candidates
13.243 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2)
13.249 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1)
13.263 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3)
13.330 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 1)
13.345 * * * [progress]: generating series expansions
13.345 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2)
13.345 * [backup-simplify]: Simplify (sqrt (* 3 (pow z 2))) into (* (sqrt 3) z)
13.345 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
13.345 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
13.345 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.345 * [taylor]: Taking taylor expansion of 3 in z
13.345 * [backup-simplify]: Simplify 3 into 3
13.346 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.346 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.346 * [taylor]: Taking taylor expansion of z in z
13.346 * [backup-simplify]: Simplify 0 into 0
13.346 * [backup-simplify]: Simplify 1 into 1
13.346 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
13.346 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.346 * [taylor]: Taking taylor expansion of 3 in z
13.346 * [backup-simplify]: Simplify 3 into 3
13.347 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.347 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.347 * [taylor]: Taking taylor expansion of z in z
13.347 * [backup-simplify]: Simplify 0 into 0
13.347 * [backup-simplify]: Simplify 1 into 1
13.348 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0
13.348 * [backup-simplify]: Simplify 0 into 0
13.349 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3)
13.349 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.350 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.350 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0
13.350 * [backup-simplify]: Simplify 0 into 0
13.351 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.352 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.352 * [backup-simplify]: Simplify 0 into 0
13.353 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.354 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
13.354 * [backup-simplify]: Simplify 0 into 0
13.355 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.356 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
13.356 * [backup-simplify]: Simplify 0 into 0
13.356 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.357 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
13.357 * [backup-simplify]: Simplify 0 into 0
13.358 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.359 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
13.359 * [backup-simplify]: Simplify 0 into 0
13.359 * [backup-simplify]: Simplify (* (sqrt 3) z) into (* (sqrt 3) z)
13.360 * [backup-simplify]: Simplify (sqrt (* 3 (pow (/ 1 z) 2))) into (/ (sqrt 3) z)
13.360 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
13.360 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.360 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.360 * [taylor]: Taking taylor expansion of 3 in z
13.360 * [backup-simplify]: Simplify 3 into 3
13.360 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.360 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.361 * [taylor]: Taking taylor expansion of z in z
13.361 * [backup-simplify]: Simplify 0 into 0
13.361 * [backup-simplify]: Simplify 1 into 1
13.361 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.361 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.361 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.361 * [taylor]: Taking taylor expansion of 3 in z
13.361 * [backup-simplify]: Simplify 3 into 3
13.361 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.362 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.362 * [taylor]: Taking taylor expansion of z in z
13.362 * [backup-simplify]: Simplify 0 into 0
13.362 * [backup-simplify]: Simplify 1 into 1
13.363 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.363 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.364 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.365 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.365 * [backup-simplify]: Simplify 0 into 0
13.366 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.366 * [backup-simplify]: Simplify 0 into 0
13.367 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.368 * [backup-simplify]: Simplify 0 into 0
13.369 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.369 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.369 * [backup-simplify]: Simplify 0 into 0
13.370 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.371 * [backup-simplify]: Simplify 0 into 0
13.371 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 z))) into (* (sqrt 3) z)
13.375 * [backup-simplify]: Simplify (sqrt (* 3 (pow (/ 1 (- z)) 2))) into (/ (sqrt 3) z)
13.375 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
13.375 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.375 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.375 * [taylor]: Taking taylor expansion of 3 in z
13.375 * [backup-simplify]: Simplify 3 into 3
13.375 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.376 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.376 * [taylor]: Taking taylor expansion of z in z
13.376 * [backup-simplify]: Simplify 0 into 0
13.376 * [backup-simplify]: Simplify 1 into 1
13.376 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.376 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.376 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.376 * [taylor]: Taking taylor expansion of 3 in z
13.376 * [backup-simplify]: Simplify 3 into 3
13.377 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.377 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.377 * [taylor]: Taking taylor expansion of z in z
13.377 * [backup-simplify]: Simplify 0 into 0
13.377 * [backup-simplify]: Simplify 1 into 1
13.378 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.378 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
13.379 * [backup-simplify]: Simplify 0 into 0
13.379 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.380 * [backup-simplify]: Simplify 0 into 0
13.381 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.381 * [backup-simplify]: Simplify 0 into 0
13.382 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.383 * [backup-simplify]: Simplify 0 into 0
13.383 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.384 * [backup-simplify]: Simplify 0 into 0
13.385 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.386 * [backup-simplify]: Simplify 0 into 0
13.386 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- z)))) into (* -1 (* (sqrt 3) z))
13.386 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1)
13.386 * [backup-simplify]: Simplify (sqrt (* z (* 3 z))) into (* (sqrt 3) z)
13.386 * [approximate]: Taking taylor expansion of (* (sqrt 3) z) in (z) around 0
13.386 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
13.386 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.386 * [taylor]: Taking taylor expansion of 3 in z
13.386 * [backup-simplify]: Simplify 3 into 3
13.386 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.387 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.387 * [taylor]: Taking taylor expansion of z in z
13.387 * [backup-simplify]: Simplify 0 into 0
13.387 * [backup-simplify]: Simplify 1 into 1
13.387 * [taylor]: Taking taylor expansion of (* (sqrt 3) z) in z
13.387 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.387 * [taylor]: Taking taylor expansion of 3 in z
13.387 * [backup-simplify]: Simplify 3 into 3
13.387 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.388 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.388 * [taylor]: Taking taylor expansion of z in z
13.388 * [backup-simplify]: Simplify 0 into 0
13.388 * [backup-simplify]: Simplify 1 into 1
13.388 * [backup-simplify]: Simplify (* (sqrt 3) 0) into 0
13.388 * [backup-simplify]: Simplify 0 into 0
13.389 * [backup-simplify]: Simplify (+ (* (sqrt 3) 1) (* 0 0)) into (sqrt 3)
13.390 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.390 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.391 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 1) (* 0 0))) into 0
13.391 * [backup-simplify]: Simplify 0 into 0
13.392 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.392 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.392 * [backup-simplify]: Simplify 0 into 0
13.393 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.394 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
13.394 * [backup-simplify]: Simplify 0 into 0
13.395 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.395 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
13.396 * [backup-simplify]: Simplify 0 into 0
13.396 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.397 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
13.397 * [backup-simplify]: Simplify 0 into 0
13.398 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.399 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
13.399 * [backup-simplify]: Simplify 0 into 0
13.399 * [backup-simplify]: Simplify (* (sqrt 3) z) into (* (sqrt 3) z)
13.399 * [backup-simplify]: Simplify (sqrt (* (/ 1 z) (* 3 (/ 1 z)))) into (/ (sqrt 3) z)
13.400 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
13.400 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.400 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.400 * [taylor]: Taking taylor expansion of 3 in z
13.400 * [backup-simplify]: Simplify 3 into 3
13.400 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.400 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.400 * [taylor]: Taking taylor expansion of z in z
13.400 * [backup-simplify]: Simplify 0 into 0
13.400 * [backup-simplify]: Simplify 1 into 1
13.401 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.401 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.401 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.401 * [taylor]: Taking taylor expansion of 3 in z
13.401 * [backup-simplify]: Simplify 3 into 3
13.401 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.402 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.402 * [taylor]: Taking taylor expansion of z in z
13.402 * [backup-simplify]: Simplify 0 into 0
13.402 * [backup-simplify]: Simplify 1 into 1
13.402 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.402 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
13.403 * [backup-simplify]: Simplify 0 into 0
13.404 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.404 * [backup-simplify]: Simplify 0 into 0
13.405 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.406 * [backup-simplify]: Simplify 0 into 0
13.407 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.407 * [backup-simplify]: Simplify 0 into 0
13.408 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.409 * [backup-simplify]: Simplify 0 into 0
13.409 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.410 * [backup-simplify]: Simplify 0 into 0
13.410 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 z))) into (* (sqrt 3) z)
13.411 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- z)) (* 3 (/ 1 (- z))))) into (/ (sqrt 3) z)
13.411 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
13.411 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.411 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.411 * [taylor]: Taking taylor expansion of 3 in z
13.411 * [backup-simplify]: Simplify 3 into 3
13.411 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.411 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.411 * [taylor]: Taking taylor expansion of z in z
13.411 * [backup-simplify]: Simplify 0 into 0
13.411 * [backup-simplify]: Simplify 1 into 1
13.412 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.412 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
13.412 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.412 * [taylor]: Taking taylor expansion of 3 in z
13.412 * [backup-simplify]: Simplify 3 into 3
13.412 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.413 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.413 * [taylor]: Taking taylor expansion of z in z
13.413 * [backup-simplify]: Simplify 0 into 0
13.413 * [backup-simplify]: Simplify 1 into 1
13.413 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
13.414 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
13.414 * [backup-simplify]: Simplify 0 into 0
13.415 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.416 * [backup-simplify]: Simplify 0 into 0
13.416 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.417 * [backup-simplify]: Simplify 0 into 0
13.418 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.418 * [backup-simplify]: Simplify 0 into 0
13.419 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.420 * [backup-simplify]: Simplify 0 into 0
13.421 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.421 * [backup-simplify]: Simplify 0 into 0
13.422 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- z)))) into (* -1 (* (sqrt 3) z))
13.422 * * * * [progress]: [ 3 / 4 ] generating series at (2 3)
13.422 * [backup-simplify]: Simplify (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))) into (* (pow (sqrt 3) 2) (pow z 2))
13.422 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
13.422 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
13.422 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
13.422 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.422 * [taylor]: Taking taylor expansion of 3 in z
13.422 * [backup-simplify]: Simplify 3 into 3
13.422 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.423 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.423 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.423 * [taylor]: Taking taylor expansion of z in z
13.423 * [backup-simplify]: Simplify 0 into 0
13.423 * [backup-simplify]: Simplify 1 into 1
13.423 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3) 2) (pow z 2)) in z
13.423 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
13.423 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.423 * [taylor]: Taking taylor expansion of 3 in z
13.423 * [backup-simplify]: Simplify 3 into 3
13.423 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.423 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.423 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.423 * [taylor]: Taking taylor expansion of z in z
13.424 * [backup-simplify]: Simplify 0 into 0
13.424 * [backup-simplify]: Simplify 1 into 1
13.424 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
13.425 * [backup-simplify]: Simplify (* 1 1) into 1
13.426 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
13.426 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
13.427 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.427 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
13.428 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (* 0 1)) into 0
13.428 * [backup-simplify]: Simplify 0 into 0
13.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.429 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.429 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
13.430 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (* 0 1))) into 0
13.430 * [backup-simplify]: Simplify 0 into 0
13.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.431 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.432 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
13.433 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.433 * [backup-simplify]: Simplify 0 into 0
13.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.434 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.435 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
13.436 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.436 * [backup-simplify]: Simplify 0 into 0
13.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.438 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.438 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
13.439 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.439 * [backup-simplify]: Simplify 0 into 0
13.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.441 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.442 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
13.443 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.443 * [backup-simplify]: Simplify 0 into 0
13.444 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow z 2)) into (* (pow (sqrt 3) 2) (pow z 2))
13.444 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 z) (* 3 (/ 1 z)))) (sqrt (* 3 (pow (/ 1 z) 2)))) into (/ (pow (sqrt 3) 2) (pow z 2))
13.444 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
13.444 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
13.444 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
13.444 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.444 * [taylor]: Taking taylor expansion of 3 in z
13.444 * [backup-simplify]: Simplify 3 into 3
13.445 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.445 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.445 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.445 * [taylor]: Taking taylor expansion of z in z
13.445 * [backup-simplify]: Simplify 0 into 0
13.445 * [backup-simplify]: Simplify 1 into 1
13.446 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
13.446 * [backup-simplify]: Simplify (* 1 1) into 1
13.447 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
13.447 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
13.447 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
13.447 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.447 * [taylor]: Taking taylor expansion of 3 in z
13.447 * [backup-simplify]: Simplify 3 into 3
13.448 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.448 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.448 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.448 * [taylor]: Taking taylor expansion of z in z
13.448 * [backup-simplify]: Simplify 0 into 0
13.448 * [backup-simplify]: Simplify 1 into 1
13.449 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
13.449 * [backup-simplify]: Simplify (* 1 1) into 1
13.450 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
13.451 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
13.451 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
13.451 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
13.452 * [backup-simplify]: Simplify 0 into 0
13.453 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.453 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
13.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.455 * [backup-simplify]: Simplify 0 into 0
13.455 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.456 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
13.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.461 * [backup-simplify]: Simplify 0 into 0
13.462 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.463 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
13.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.465 * [backup-simplify]: Simplify 0 into 0
13.465 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.466 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
13.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.468 * [backup-simplify]: Simplify 0 into 0
13.469 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.470 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
13.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.471 * [backup-simplify]: Simplify 0 into 0
13.472 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 z)) 2)) into (* (pow (sqrt 3) 2) (pow z 2))
13.472 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 (- z)) (* 3 (/ 1 (- z))))) (sqrt (* 3 (pow (/ 1 (- z)) 2)))) into (/ (pow (sqrt 3) 2) (pow z 2))
13.472 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
13.472 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
13.472 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
13.472 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.472 * [taylor]: Taking taylor expansion of 3 in z
13.472 * [backup-simplify]: Simplify 3 into 3
13.473 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.473 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.473 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.473 * [taylor]: Taking taylor expansion of z in z
13.473 * [backup-simplify]: Simplify 0 into 0
13.473 * [backup-simplify]: Simplify 1 into 1
13.474 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
13.474 * [backup-simplify]: Simplify (* 1 1) into 1
13.475 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
13.475 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
13.475 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
13.475 * [taylor]: Taking taylor expansion of (sqrt 3) in z
13.475 * [taylor]: Taking taylor expansion of 3 in z
13.475 * [backup-simplify]: Simplify 3 into 3
13.475 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
13.476 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
13.476 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.476 * [taylor]: Taking taylor expansion of z in z
13.476 * [backup-simplify]: Simplify 0 into 0
13.476 * [backup-simplify]: Simplify 1 into 1
13.477 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
13.477 * [backup-simplify]: Simplify (* 1 1) into 1
13.478 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
13.478 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
13.479 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
13.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
13.480 * [backup-simplify]: Simplify 0 into 0
13.481 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
13.481 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
13.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.482 * [backup-simplify]: Simplify 0 into 0
13.483 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.484 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
13.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.485 * [backup-simplify]: Simplify 0 into 0
13.486 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.487 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
13.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.488 * [backup-simplify]: Simplify 0 into 0
13.489 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.490 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
13.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.491 * [backup-simplify]: Simplify 0 into 0
13.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
13.493 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
13.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.495 * [backup-simplify]: Simplify 0 into 0
13.496 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 (- z))) 2)) into (* (pow (sqrt 3) 2) (pow z 2))
13.496 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 1)
13.496 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
13.496 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
13.496 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
13.496 * [taylor]: Taking taylor expansion of 3 in z
13.496 * [backup-simplify]: Simplify 3 into 3
13.496 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.496 * [taylor]: Taking taylor expansion of z in z
13.496 * [backup-simplify]: Simplify 0 into 0
13.496 * [backup-simplify]: Simplify 1 into 1
13.496 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
13.496 * [taylor]: Taking taylor expansion of 3 in z
13.496 * [backup-simplify]: Simplify 3 into 3
13.496 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.496 * [taylor]: Taking taylor expansion of z in z
13.496 * [backup-simplify]: Simplify 0 into 0
13.496 * [backup-simplify]: Simplify 1 into 1
13.496 * [backup-simplify]: Simplify (* 1 1) into 1
13.497 * [backup-simplify]: Simplify (* 3 1) into 3
13.497 * [backup-simplify]: Simplify 3 into 3
13.497 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.497 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
13.497 * [backup-simplify]: Simplify 0 into 0
13.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.498 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
13.498 * [backup-simplify]: Simplify 0 into 0
13.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.500 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.500 * [backup-simplify]: Simplify 0 into 0
13.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.501 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.501 * [backup-simplify]: Simplify 0 into 0
13.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.503 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.503 * [backup-simplify]: Simplify 0 into 0
13.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.504 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.504 * [backup-simplify]: Simplify 0 into 0
13.504 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
13.505 * [backup-simplify]: Simplify (* 3 (pow (/ 1 z) 2)) into (/ 3 (pow z 2))
13.505 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
13.505 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
13.505 * [taylor]: Taking taylor expansion of 3 in z
13.505 * [backup-simplify]: Simplify 3 into 3
13.505 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.505 * [taylor]: Taking taylor expansion of z in z
13.505 * [backup-simplify]: Simplify 0 into 0
13.505 * [backup-simplify]: Simplify 1 into 1
13.505 * [backup-simplify]: Simplify (* 1 1) into 1
13.505 * [backup-simplify]: Simplify (/ 3 1) into 3
13.505 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
13.505 * [taylor]: Taking taylor expansion of 3 in z
13.505 * [backup-simplify]: Simplify 3 into 3
13.505 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.505 * [taylor]: Taking taylor expansion of z in z
13.505 * [backup-simplify]: Simplify 0 into 0
13.505 * [backup-simplify]: Simplify 1 into 1
13.506 * [backup-simplify]: Simplify (* 1 1) into 1
13.506 * [backup-simplify]: Simplify (/ 3 1) into 3
13.506 * [backup-simplify]: Simplify 3 into 3
13.506 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
13.507 * [backup-simplify]: Simplify 0 into 0
13.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.508 * [backup-simplify]: Simplify 0 into 0
13.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.509 * [backup-simplify]: Simplify 0 into 0
13.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.510 * [backup-simplify]: Simplify 0 into 0
13.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.511 * [backup-simplify]: Simplify 0 into 0
13.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.513 * [backup-simplify]: Simplify 0 into 0
13.513 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
13.513 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (- z)) 2)) into (/ 3 (pow z 2))
13.513 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
13.513 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
13.513 * [taylor]: Taking taylor expansion of 3 in z
13.513 * [backup-simplify]: Simplify 3 into 3
13.513 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.513 * [taylor]: Taking taylor expansion of z in z
13.513 * [backup-simplify]: Simplify 0 into 0
13.513 * [backup-simplify]: Simplify 1 into 1
13.514 * [backup-simplify]: Simplify (* 1 1) into 1
13.514 * [backup-simplify]: Simplify (/ 3 1) into 3
13.514 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
13.514 * [taylor]: Taking taylor expansion of 3 in z
13.514 * [backup-simplify]: Simplify 3 into 3
13.514 * [taylor]: Taking taylor expansion of (pow z 2) in z
13.514 * [taylor]: Taking taylor expansion of z in z
13.514 * [backup-simplify]: Simplify 0 into 0
13.514 * [backup-simplify]: Simplify 1 into 1
13.514 * [backup-simplify]: Simplify (* 1 1) into 1
13.514 * [backup-simplify]: Simplify (/ 3 1) into 3
13.514 * [backup-simplify]: Simplify 3 into 3
13.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
13.515 * [backup-simplify]: Simplify 0 into 0
13.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.516 * [backup-simplify]: Simplify 0 into 0
13.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.518 * [backup-simplify]: Simplify 0 into 0
13.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.519 * [backup-simplify]: Simplify 0 into 0
13.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.520 * [backup-simplify]: Simplify 0 into 0
13.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.522 * [backup-simplify]: Simplify 0 into 0
13.522 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
13.522 * * * [progress]: simplifying candidates
13.523 * [simplify]: Simplifying:
  (expm1 (sqrt (* 3 (pow z 2))))
  (log1p (sqrt (* 3 (pow z 2))))
  (log (sqrt (* 3 (pow z 2))))
  (exp (sqrt (* 3 (pow z 2))))
  (* (cbrt (sqrt (* 3 (pow z 2)))) (cbrt (sqrt (* 3 (pow z 2)))))
  (cbrt (sqrt (* 3 (pow z 2))))
  (* (* (sqrt (* 3 (pow z 2))) (sqrt (* 3 (pow z 2)))) (sqrt (* 3 (pow z 2))))
  (sqrt 3)
  (sqrt (pow z 2))
  (/ 1 2)
  (sqrt (sqrt (* 3 (pow z 2))))
  (sqrt (sqrt (* 3 (pow z 2))))
  (expm1 (sqrt (* z (* 3 z))))
  (log1p (sqrt (* z (* 3 z))))
  (log (sqrt (* z (* 3 z))))
  (exp (sqrt (* z (* 3 z))))
  (* (cbrt (sqrt (* z (* 3 z)))) (cbrt (sqrt (* z (* 3 z)))))
  (cbrt (sqrt (* z (* 3 z))))
  (* (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z))))
  (sqrt z)
  (sqrt (* 3 z))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* z (* 3 z))))
  (sqrt (sqrt (* z (* 3 z))))
  (expm1 (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (log1p (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (* (* z (* 3 z)) (* 3 (pow z 2)))
  (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))
  (* (* z (* 3 z)) (* 3 (pow z 2)))
  (* (* z (* 3 z)) (* 3 (pow z 2)))
  (* (* z (* 3 z)) (* 3 (pow z 2)))
  (+ (log (sqrt (* z (* 3 z)))) (log (sqrt (* 3 (pow z 2)))))
  (log (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (exp (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (* (* (* (sqrt (* z (* 3 z))) (sqrt (* z (* 3 z)))) (sqrt (* z (* 3 z)))) (* (* (sqrt (* 3 (pow z 2))) (sqrt (* 3 (pow z 2)))) (sqrt (* 3 (pow z 2)))))
  (* (cbrt (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))) (cbrt (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))))
  (cbrt (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (* (* (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))) (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))) (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (* (* z (* 3 z)) (* 3 (pow z 2)))
  (sqrt (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (sqrt (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2)))))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (sqrt (* 3 (pow z 2)))))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (sqrt (* 3 (pow z 2)))))
  (* (sqrt (* z (* 3 z))) (* (cbrt (sqrt (* 3 (pow z 2)))) (cbrt (sqrt (* 3 (pow z 2))))))
  (* (sqrt (* z (* 3 z))) (sqrt 3))
  (* (sqrt (* z (* 3 z))) (sqrt (sqrt (* 3 (pow z 2)))))
  (* (sqrt (* z (* 3 z))) 1)
  (* (cbrt (sqrt (* z (* 3 z)))) (sqrt (* 3 (pow z 2))))
  (* (sqrt (* 3 z)) (sqrt (* 3 (pow z 2))))
  (* (sqrt (sqrt (* z (* 3 z)))) (sqrt (* 3 (pow z 2))))
  (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))
  (expm1 (* 3 (pow z 2)))
  (log1p (* 3 (pow z 2)))
  (+ (log 3) (* (log z) 2))
  (+ (log 3) (* (log z) 2))
  (+ (log 3) (log (pow z 2)))
  (log (* 3 (pow z 2)))
  (exp (* 3 (pow z 2)))
  (* (* (* 3 3) 3) (* (* (pow z 2) (pow z 2)) (pow z 2)))
  (* (cbrt (* 3 (pow z 2))) (cbrt (* 3 (pow z 2))))
  (cbrt (* 3 (pow z 2)))
  (* (* (* 3 (pow z 2)) (* 3 (pow z 2))) (* 3 (pow z 2)))
  (sqrt (* 3 (pow z 2)))
  (sqrt (* 3 (pow z 2)))
  (* (sqrt 3) (pow (sqrt z) 2))
  (* (sqrt 3) (pow (sqrt z) 2))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) (sqrt (pow z 2)))
  (* (sqrt 3) (sqrt (pow z 2)))
  (* (sqrt 3) (pow z (/ 2 2)))
  (* (sqrt 3) (pow z (/ 2 2)))
  (* 3 (pow (* (cbrt z) (cbrt z)) 2))
  (* 3 (pow (sqrt z) 2))
  (* 3 (pow 1 2))
  (* 3 z)
  (* 3 (* (cbrt (pow z 2)) (cbrt (pow z 2))))
  (* 3 (sqrt (pow z 2)))
  (* 3 1)
  (* 3 (pow z (/ 2 2)))
  (* (cbrt 3) (pow z 2))
  (* (sqrt 3) (pow z 2))
  (* 3 (pow z 2))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* -1 (* (sqrt 3) z))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* (pow (sqrt 3) 2) (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
13.524 * * [simplify]: Extracting # 0 : cost  0
13.524 * * [simplify]: Extracting # 1 : cost  0
13.524 * * [simplify]: Extracting # 2 : cost  0
13.525 * * [simplify]: Extracting # 3 : cost  0
13.525 * * [simplify]: Extracting # 4 : cost  0
13.525 * * [simplify]: Extracting # 5 : cost  0
13.525 * * [simplify]: Extracting # 6 : cost  0
13.525 * * [simplify]: iteration  0 :  100  enodes  (cost  915 )
13.552 * * [simplify]: Extracting # 0 : cost  0
13.553 * * [simplify]: Extracting # 1 : cost  0
13.553 * * [simplify]: Extracting # 2 : cost  0
13.553 * * [simplify]: Extracting # 3 : cost  0
13.553 * * [simplify]: Extracting # 4 : cost  0
13.553 * * [simplify]: iteration  1 :  198  enodes  (cost  825 )
13.620 * * [simplify]: Extracting # 0 : cost  0
13.620 * * [simplify]: Extracting # 1 : cost  0
13.621 * * [simplify]: Extracting # 2 : cost  0
13.621 * * [simplify]: Extracting # 3 : cost  0
13.621 * * [simplify]: Extracting # 4 : cost  0
13.622 * * [simplify]: iteration  2 :  438  enodes  (cost  617 )
14.037 * * [simplify]: Extracting # 0 : cost  0
14.039 * * [simplify]: Extracting # 1 : cost  0
14.041 * * [simplify]: Extracting # 2 : cost  0
14.042 * * [simplify]: Extracting # 3 : cost  0
14.045 * * [simplify]: Extracting # 4 : cost  0
14.048 * * [simplify]: iteration  3 :  1570  enodes  (cost  561 )
15.987 * * [simplify]: Extracting # 0 : cost  0
15.997 * * [simplify]: Extracting # 1 : cost  0
16.007 * * [simplify]: Extracting # 2 : cost  0
16.016 * * [simplify]: Extracting # 3 : cost  0
16.031 * * [simplify]: Extracting # 4 : cost  0
16.041 * * [simplify]: iteration done:  5000  enodes  (cost  542 )
16.042 * [simplify]: Simplified to:
  (expm1 (fabs (* (sqrt 3) z)))
  (log1p (fabs (* (sqrt 3) z)))
  (log (fabs (* (sqrt 3) z)))
  (exp (fabs (* (sqrt 3) z)))
  (* (cbrt (fabs (* (sqrt 3) z))) (cbrt (fabs (* (sqrt 3) z))))
  (cbrt (fabs (* (sqrt 3) z)))
  (pow (fabs (* (sqrt 3) z)) 3)
  (sqrt 3)
  (fabs z)
  1/2
  (sqrt (fabs (* (sqrt 3) z)))
  (sqrt (fabs (* (sqrt 3) z)))
  (expm1 (fabs (* (sqrt 3) z)))
  (log1p (fabs (* (sqrt 3) z)))
  (log (fabs (* (sqrt 3) z)))
  (exp (fabs (* (sqrt 3) z)))
  (* (cbrt (fabs (* (sqrt 3) z))) (cbrt (fabs (* (sqrt 3) z))))
  (cbrt (fabs (* (sqrt 3) z)))
  (pow (fabs (* (sqrt 3) z)) 3)
  (sqrt z)
  (sqrt (* 3 z))
  1/2
  1/2
  1/2
  (sqrt (fabs (* (sqrt 3) z)))
  (sqrt (fabs (* (sqrt 3) z)))
  (expm1 (* z (* 3 z)))
  (log1p (* z (* 3 z)))
  (* 9 (pow z 4))
  (* (* 3 z) z)
  (* 9 (pow z 4))
  (* 9 (pow z 4))
  (* 9 (pow z 4))
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (exp (* (* 3 z) z))
  (* 27 (pow z 6))
  (* (cbrt (* z (* 3 z))) (cbrt (* z (* 3 z))))
  (cbrt (* z (* 3 z)))
  (* 27 (pow z 6))
  (* 9 (pow z 4))
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  (* (* (cbrt (fabs (* (sqrt 3) z))) (fabs (* (sqrt 3) z))) (cbrt (fabs (* (sqrt 3) z))))
  (* (fabs (* (sqrt 3) z)) (sqrt 3))
  (pow (sqrt (fabs (* (sqrt 3) z))) 3)
  (fabs (* (sqrt 3) z))
  (* (cbrt (fabs (* (sqrt 3) z))) (fabs (* (sqrt 3) z)))
  (* (fabs (* (sqrt 3) z)) (sqrt (* 3 z)))
  (pow (sqrt (fabs (* (sqrt 3) z))) 3)
  (* (* 3 z) z)
  (expm1 (* z (* 3 z)))
  (log1p (* z (* 3 z)))
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (log (* (* 3 z) z))
  (exp (* (* 3 z) z))
  (* 27 (pow z 6))
  (* (cbrt (* z (* 3 z))) (cbrt (* z (* 3 z))))
  (cbrt (* z (* 3 z)))
  (* 27 (pow z 6))
  (fabs (* (sqrt 3) z))
  (fabs (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (sqrt 3) (fabs z))
  (* (sqrt 3) (fabs z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (* (cbrt z) (* z 3))
  (* z 3)
  3
  (* z 3)
  (* 3 (* (cbrt (pow z 2)) (cbrt (pow z 2))))
  (* 3 (fabs z))
  3
  (* z 3)
  (* (cbrt 3) (pow z 2))
  (* z (* (sqrt 3) z))
  (* (* 3 z) z)
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
  (* (sqrt 3) z)
  (* (sqrt 3) z)
  (- (* (sqrt 3) z))
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
  (* (* 3 z) z)
16.042 * * * [progress]: adding candidates to table
16.401 * [progress]: [Phase 3 of 3] Extracting.
16.402 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma y x (* (sqrt z) (* (pow z 3/2) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt 3) (* (sqrt 3) (* z z)))))> #<alt (λ (x y z) (fma y x (* z (* 3 z))))> #<alt (λ (x y z) (fma y x (* (sqrt (sqrt (* z (* 3 z)))) (pow (sqrt (fabs (* (sqrt 3) z))) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt z) (* (sqrt (* 3 z)) (fabs (* (sqrt 3) z))))))> #<alt (λ (x y z) (fma y x (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))))>)
16.404 * * * [regime-changes]: Trying 4 branch expressions: ((* z z) z y x)
16.404 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (fma y x (* (sqrt z) (* (pow z 3/2) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt 3) (* (sqrt 3) (* z z)))))> #<alt (λ (x y z) (fma y x (* z (* 3 z))))> #<alt (λ (x y z) (fma y x (* (sqrt (sqrt (* z (* 3 z)))) (pow (sqrt (fabs (* (sqrt 3) z))) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt z) (* (sqrt (* 3 z)) (fabs (* (sqrt 3) z))))))> #<alt (λ (x y z) (fma y x (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))))>)
16.454 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma y x (* (sqrt z) (* (pow z 3/2) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt 3) (* (sqrt 3) (* z z)))))> #<alt (λ (x y z) (fma y x (* z (* 3 z))))> #<alt (λ (x y z) (fma y x (* (sqrt (sqrt (* z (* 3 z)))) (pow (sqrt (fabs (* (sqrt 3) z))) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt z) (* (sqrt (* 3 z)) (fabs (* (sqrt 3) z))))))> #<alt (λ (x y z) (fma y x (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))))>)
16.511 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma y x (* (sqrt z) (* (pow z 3/2) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt 3) (* (sqrt 3) (* z z)))))> #<alt (λ (x y z) (fma y x (* z (* 3 z))))> #<alt (λ (x y z) (fma y x (* (sqrt (sqrt (* z (* 3 z)))) (pow (sqrt (fabs (* (sqrt 3) z))) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt z) (* (sqrt (* 3 z)) (fabs (* (sqrt 3) z))))))> #<alt (λ (x y z) (fma y x (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))))>)
16.568 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma y x (* (sqrt z) (* (pow z 3/2) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt 3) (* (sqrt 3) (* z z)))))> #<alt (λ (x y z) (fma y x (* z (* 3 z))))> #<alt (λ (x y z) (fma y x (* (sqrt (sqrt (* z (* 3 z)))) (pow (sqrt (fabs (* (sqrt 3) z))) 3))))> #<alt (λ (x y z) (fma y x (* (sqrt z) (* (sqrt (* 3 z)) (fabs (* (sqrt 3) z))))))> #<alt (λ (x y z) (fma y x (* (sqrt (* z (* 3 z))) (sqrt (* 3 (pow z 2))))))>)
16.623 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
16.623 * [simplify]: Simplifying:
  (fma y x (* z (* 3 z)))
16.623 * * [simplify]: Extracting # 0 : cost  0
16.623 * * [simplify]: Extracting # 1 : cost  0
16.623 * * [simplify]: Extracting # 2 : cost  0
16.623 * * [simplify]: Extracting # 3 : cost  0
16.623 * * [simplify]: Extracting # 4 : cost  0
16.623 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
16.624 * * [simplify]: Extracting # 0 : cost  0
16.624 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
16.625 * * [simplify]: Extracting # 0 : cost  0
16.625 * * [simplify]: iteration done:  9  enodes  (cost  8 )
16.625 * [simplify]: Simplified to:
  (fma y x (* z (* 3 z)))
18.581 * [regime-testing]: Baseline error score: 0.10183584979381438
18.582 * [regime-testing]: Oracle error score: 0.021075754781937888
18.584 * [regime-testing]: End program error score: 0.10183584979381438
18.611 * [regime-testing]: Target error score: 0.10621139673718229