30.676 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.046 * [progress]: [Phase 2 of 3] Improving.
0.046 * [simplify]: Simplifying:
  (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.046 * * [simplify]: iteration 0: 8 enodes
0.048 * * [simplify]: iteration 1: 15 enodes
0.050 * * [simplify]: iteration 2: 25 enodes
0.054 * * [simplify]: iteration 3: 38 enodes
0.059 * * [simplify]: iteration 4: 48 enodes
0.067 * * [simplify]: iteration 5: 52 enodes
0.073 * * [simplify]: iteration complete: 52 enodes
0.073 * * [simplify]: Extracting #0: cost 1 inf + 0
0.073 * * [simplify]: Extracting #1: cost 7 inf + 0
0.073 * * [simplify]: Extracting #2: cost 14 inf + 0
0.073 * * [simplify]: Extracting #3: cost 8 inf + 46
0.073 * * [simplify]: Extracting #4: cost 1 inf + 621
0.073 * * [simplify]: Extracting #5: cost 0 inf + 784
0.073 * [simplify]: Simplified to:
  (+ (* x y) (* (* z z) 3))
0.078 * * [progress]: iteration 1 / 4
0.078 * * * [progress]: picking best candidate
0.082 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* (* z z) 3)))>
0.082 * * * [progress]: localizing error
0.092 * * * [progress]: generating rewritten candidates
0.092 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.107 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.118 * * * [progress]: generating series expansions
0.118 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.118 * [backup-simplify]: Simplify (* (* z z) 3) into (* 3 (pow z 2))
0.118 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
0.118 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.118 * [taylor]: Taking taylor expansion of 3 in z
0.118 * [backup-simplify]: Simplify 3 into 3
0.118 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.118 * [taylor]: Taking taylor expansion of z in z
0.118 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify 1 into 1
0.118 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.118 * [taylor]: Taking taylor expansion of 3 in z
0.118 * [backup-simplify]: Simplify 3 into 3
0.118 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.118 * [taylor]: Taking taylor expansion of z in z
0.118 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify 1 into 1
0.119 * [backup-simplify]: Simplify (* 1 1) into 1
0.119 * [backup-simplify]: Simplify (* 3 1) into 3
0.119 * [backup-simplify]: Simplify 3 into 3
0.120 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.120 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
0.120 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.121 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.122 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.122 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.124 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.124 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.126 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.127 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.127 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
0.128 * [backup-simplify]: Simplify (* (* (/ 1 z) (/ 1 z)) 3) into (/ 3 (pow z 2))
0.128 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.128 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.128 * [taylor]: Taking taylor expansion of 3 in z
0.128 * [backup-simplify]: Simplify 3 into 3
0.128 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.128 * [taylor]: Taking taylor expansion of z in z
0.128 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify 1 into 1
0.128 * [backup-simplify]: Simplify (* 1 1) into 1
0.128 * [backup-simplify]: Simplify (/ 3 1) into 3
0.128 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.128 * [taylor]: Taking taylor expansion of 3 in z
0.128 * [backup-simplify]: Simplify 3 into 3
0.128 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.128 * [taylor]: Taking taylor expansion of z in z
0.128 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify 1 into 1
0.129 * [backup-simplify]: Simplify (* 1 1) into 1
0.129 * [backup-simplify]: Simplify (/ 3 1) into 3
0.129 * [backup-simplify]: Simplify 3 into 3
0.129 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.131 * [backup-simplify]: Simplify 0 into 0
0.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.132 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.132 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.133 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.135 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.135 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.136 * [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.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
0.137 * [backup-simplify]: Simplify (* (* (/ 1 (- z)) (/ 1 (- z))) 3) into (/ 3 (pow z 2))
0.137 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
0.137 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.137 * [taylor]: Taking taylor expansion of 3 in z
0.137 * [backup-simplify]: Simplify 3 into 3
0.137 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.137 * [taylor]: Taking taylor expansion of z in z
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (* 1 1) into 1
0.137 * [backup-simplify]: Simplify (/ 3 1) into 3
0.137 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.137 * [taylor]: Taking taylor expansion of 3 in z
0.137 * [backup-simplify]: Simplify 3 into 3
0.137 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.137 * [taylor]: Taking taylor expansion of z in z
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.138 * [backup-simplify]: Simplify (* 1 1) into 1
0.138 * [backup-simplify]: Simplify (/ 3 1) into 3
0.138 * [backup-simplify]: Simplify 3 into 3
0.138 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.139 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.140 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.141 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.142 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.144 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.145 * [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.145 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
0.146 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.146 * [backup-simplify]: Simplify (+ (* x y) (* (* z z) 3)) into (+ (* 3 (pow z 2)) (* x y))
0.146 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (x y z) around 0
0.146 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z
0.146 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.146 * [taylor]: Taking taylor expansion of 3 in z
0.146 * [backup-simplify]: Simplify 3 into 3
0.146 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.146 * [taylor]: Taking taylor expansion of z in z
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify 1 into 1
0.146 * [taylor]: Taking taylor expansion of (* x y) in z
0.146 * [taylor]: Taking taylor expansion of x in z
0.146 * [backup-simplify]: Simplify x into x
0.146 * [taylor]: Taking taylor expansion of y in z
0.146 * [backup-simplify]: Simplify y into y
0.146 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y
0.146 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
0.146 * [taylor]: Taking taylor expansion of 3 in y
0.146 * [backup-simplify]: Simplify 3 into 3
0.146 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.146 * [taylor]: Taking taylor expansion of z in y
0.146 * [backup-simplify]: Simplify z into z
0.146 * [taylor]: Taking taylor expansion of (* x y) in y
0.146 * [taylor]: Taking taylor expansion of x in y
0.146 * [backup-simplify]: Simplify x into x
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify 1 into 1
0.146 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x
0.146 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
0.146 * [taylor]: Taking taylor expansion of 3 in x
0.146 * [backup-simplify]: Simplify 3 into 3
0.146 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.146 * [taylor]: Taking taylor expansion of z in x
0.146 * [backup-simplify]: Simplify z into z
0.146 * [taylor]: Taking taylor expansion of (* x y) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify 1 into 1
0.146 * [taylor]: Taking taylor expansion of y in x
0.146 * [backup-simplify]: Simplify y into y
0.146 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x
0.146 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
0.146 * [taylor]: Taking taylor expansion of 3 in x
0.146 * [backup-simplify]: Simplify 3 into 3
0.146 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.146 * [taylor]: Taking taylor expansion of z in x
0.146 * [backup-simplify]: Simplify z into z
0.146 * [taylor]: Taking taylor expansion of (* x y) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.147 * [taylor]: Taking taylor expansion of y in x
0.147 * [backup-simplify]: Simplify y into y
0.147 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.147 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
0.147 * [backup-simplify]: Simplify (* 0 y) into 0
0.147 * [backup-simplify]: Simplify (+ (* 3 (pow z 2)) 0) into (* 3 (pow z 2))
0.147 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
0.147 * [taylor]: Taking taylor expansion of 3 in y
0.147 * [backup-simplify]: Simplify 3 into 3
0.147 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.147 * [taylor]: Taking taylor expansion of z in y
0.147 * [backup-simplify]: Simplify z into z
0.147 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.147 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
0.147 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
0.147 * [taylor]: Taking taylor expansion of 3 in z
0.147 * [backup-simplify]: Simplify 3 into 3
0.147 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.147 * [taylor]: Taking taylor expansion of z in z
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.147 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.148 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
0.148 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.148 * [backup-simplify]: Simplify (+ 0 y) into y
0.148 * [taylor]: Taking taylor expansion of y in y
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.148 * [taylor]: Taking taylor expansion of 0 in z
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.149 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
0.149 * [taylor]: Taking taylor expansion of 0 in z
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.150 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
0.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.150 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [taylor]: Taking taylor expansion of 0 in y
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [taylor]: Taking taylor expansion of 0 in z
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [taylor]: Taking taylor expansion of 1 in z
0.150 * [backup-simplify]: Simplify 1 into 1
0.150 * [backup-simplify]: Simplify 1 into 1
0.151 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.151 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
0.151 * [taylor]: Taking taylor expansion of 0 in z
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 0 into 0
0.152 * [backup-simplify]: Simplify (* 1 1) into 1
0.152 * [backup-simplify]: Simplify (* 3 1) into 3
0.152 * [backup-simplify]: Simplify 3 into 3
0.153 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.153 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
0.154 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.154 * [backup-simplify]: Simplify (+ 0 0) into 0
0.154 * [taylor]: Taking taylor expansion of 0 in y
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [taylor]: Taking taylor expansion of 0 in z
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [taylor]: Taking taylor expansion of 0 in z
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [taylor]: Taking taylor expansion of 0 in z
0.154 * [backup-simplify]: Simplify 0 into 0
0.155 * [backup-simplify]: Simplify 0 into 0
0.155 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.156 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
0.156 * [taylor]: Taking taylor expansion of 0 in z
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* y x)))) into (+ (* 3 (pow z 2)) (* x y))
0.156 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (* (/ 1 z) (/ 1 z)) 3)) into (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
0.157 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0
0.157 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.157 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.157 * [taylor]: Taking taylor expansion of 3 in z
0.157 * [backup-simplify]: Simplify 3 into 3
0.157 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.157 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.157 * [taylor]: Taking taylor expansion of z in z
0.157 * [backup-simplify]: Simplify 0 into 0
0.157 * [backup-simplify]: Simplify 1 into 1
0.157 * [backup-simplify]: Simplify (* 1 1) into 1
0.157 * [backup-simplify]: Simplify (/ 1 1) into 1
0.157 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.157 * [taylor]: Taking taylor expansion of (* x y) in z
0.157 * [taylor]: Taking taylor expansion of x in z
0.157 * [backup-simplify]: Simplify x into x
0.157 * [taylor]: Taking taylor expansion of y in z
0.157 * [backup-simplify]: Simplify y into y
0.157 * [backup-simplify]: Simplify (* x y) into (* x y)
0.157 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.157 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
0.157 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.157 * [taylor]: Taking taylor expansion of 3 in y
0.157 * [backup-simplify]: Simplify 3 into 3
0.157 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.157 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.157 * [taylor]: Taking taylor expansion of z in y
0.157 * [backup-simplify]: Simplify z into z
0.158 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.158 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.158 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.158 * [taylor]: Taking taylor expansion of (* x y) in y
0.158 * [taylor]: Taking taylor expansion of x in y
0.158 * [backup-simplify]: Simplify x into x
0.158 * [taylor]: Taking taylor expansion of y in y
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify 1 into 1
0.158 * [backup-simplify]: Simplify (* x 0) into 0
0.158 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.158 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.158 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.158 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.158 * [taylor]: Taking taylor expansion of 3 in x
0.158 * [backup-simplify]: Simplify 3 into 3
0.158 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.158 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.158 * [taylor]: Taking taylor expansion of z in x
0.158 * [backup-simplify]: Simplify z into z
0.158 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.158 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.158 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.158 * [taylor]: Taking taylor expansion of (* x y) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [backup-simplify]: Simplify 0 into 0
0.158 * [backup-simplify]: Simplify 1 into 1
0.158 * [taylor]: Taking taylor expansion of y in x
0.158 * [backup-simplify]: Simplify y into y
0.159 * [backup-simplify]: Simplify (* 0 y) into 0
0.159 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.159 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.159 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.159 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.159 * [taylor]: Taking taylor expansion of 3 in x
0.159 * [backup-simplify]: Simplify 3 into 3
0.159 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.159 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.159 * [taylor]: Taking taylor expansion of z in x
0.159 * [backup-simplify]: Simplify z into z
0.159 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.159 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.159 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.159 * [taylor]: Taking taylor expansion of (* x y) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [taylor]: Taking taylor expansion of y in x
0.159 * [backup-simplify]: Simplify y into y
0.159 * [backup-simplify]: Simplify (* 0 y) into 0
0.160 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.160 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.160 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.160 * [taylor]: Taking taylor expansion of y in y
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (/ 1 1) into 1
0.160 * [taylor]: Taking taylor expansion of 1 in z
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
0.161 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.161 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.161 * [backup-simplify]: Simplify (+ (/ 3 (pow z 2)) 0) into (* 3 (/ 1 (pow z 2)))
0.161 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.161 * [taylor]: Taking taylor expansion of 3 in y
0.161 * [backup-simplify]: Simplify 3 into 3
0.161 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.161 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.161 * [taylor]: Taking taylor expansion of z in y
0.161 * [backup-simplify]: Simplify z into z
0.161 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.161 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.162 * [taylor]: Taking taylor expansion of 0 in z
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.162 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.162 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
0.163 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.163 * [backup-simplify]: Simplify (+ 0 0) into 0
0.163 * [taylor]: Taking taylor expansion of 0 in y
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
0.163 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.164 * [taylor]: Taking taylor expansion of 3 in z
0.164 * [backup-simplify]: Simplify 3 into 3
0.164 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.164 * [taylor]: Taking taylor expansion of z in z
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (* 1 1) into 1
0.164 * [backup-simplify]: Simplify (/ 3 1) into 3
0.164 * [backup-simplify]: Simplify 3 into 3
0.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.165 * [taylor]: Taking taylor expansion of 0 in z
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.165 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.166 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
0.167 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.167 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.167 * [backup-simplify]: Simplify (+ 0 0) into 0
0.167 * [taylor]: Taking taylor expansion of 0 in y
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [taylor]: Taking taylor expansion of 0 in z
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.168 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
0.168 * [taylor]: Taking taylor expansion of 0 in z
0.168 * [backup-simplify]: Simplify 0 into 0
0.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.168 * [taylor]: Taking taylor expansion of 0 in z
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.170 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.171 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2)))))) into 0
0.172 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.173 * [backup-simplify]: Simplify (+ 0 0) into 0
0.173 * [taylor]: Taking taylor expansion of 0 in y
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [taylor]: Taking taylor expansion of 0 in z
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [taylor]: Taking taylor expansion of 0 in z
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.174 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
0.174 * [taylor]: Taking taylor expansion of 0 in z
0.174 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.175 * [taylor]: Taking taylor expansion of 0 in z
0.175 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
0.178 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- z)) (/ 1 (- z))) 3)) into (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
0.178 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0
0.178 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
0.178 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
0.178 * [taylor]: Taking taylor expansion of 3 in z
0.178 * [backup-simplify]: Simplify 3 into 3
0.178 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.178 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.178 * [taylor]: Taking taylor expansion of z in z
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (* 1 1) into 1
0.179 * [backup-simplify]: Simplify (/ 1 1) into 1
0.179 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.179 * [taylor]: Taking taylor expansion of (* x y) in z
0.179 * [taylor]: Taking taylor expansion of x in z
0.179 * [backup-simplify]: Simplify x into x
0.179 * [taylor]: Taking taylor expansion of y in z
0.179 * [backup-simplify]: Simplify y into y
0.179 * [backup-simplify]: Simplify (* x y) into (* x y)
0.179 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.179 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
0.179 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.179 * [taylor]: Taking taylor expansion of 3 in y
0.179 * [backup-simplify]: Simplify 3 into 3
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.179 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.179 * [taylor]: Taking taylor expansion of z in y
0.179 * [backup-simplify]: Simplify z into z
0.179 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.179 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.179 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.179 * [taylor]: Taking taylor expansion of (* x y) in y
0.179 * [taylor]: Taking taylor expansion of x in y
0.179 * [backup-simplify]: Simplify x into x
0.179 * [taylor]: Taking taylor expansion of y in y
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify (* x 0) into 0
0.179 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.179 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.179 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.180 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.180 * [taylor]: Taking taylor expansion of 3 in x
0.180 * [backup-simplify]: Simplify 3 into 3
0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.180 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.180 * [taylor]: Taking taylor expansion of z in x
0.180 * [backup-simplify]: Simplify z into z
0.180 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.180 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.180 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.180 * [taylor]: Taking taylor expansion of (* x y) in x
0.180 * [taylor]: Taking taylor expansion of x in x
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify 1 into 1
0.180 * [taylor]: Taking taylor expansion of y in x
0.180 * [backup-simplify]: Simplify y into y
0.180 * [backup-simplify]: Simplify (* 0 y) into 0
0.180 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.180 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.180 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
0.180 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
0.180 * [taylor]: Taking taylor expansion of 3 in x
0.180 * [backup-simplify]: Simplify 3 into 3
0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.180 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.180 * [taylor]: Taking taylor expansion of z in x
0.180 * [backup-simplify]: Simplify z into z
0.180 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.180 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.180 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.181 * [taylor]: Taking taylor expansion of (* x y) in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [taylor]: Taking taylor expansion of y in x
0.181 * [backup-simplify]: Simplify y into y
0.181 * [backup-simplify]: Simplify (* 0 y) into 0
0.181 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.181 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.181 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [backup-simplify]: Simplify (/ 1 1) into 1
0.181 * [taylor]: Taking taylor expansion of 1 in z
0.181 * [backup-simplify]: Simplify 1 into 1
0.182 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
0.182 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.182 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.182 * [backup-simplify]: Simplify (+ (/ 3 (pow z 2)) 0) into (* 3 (/ 1 (pow z 2)))
0.182 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
0.182 * [taylor]: Taking taylor expansion of 3 in y
0.182 * [backup-simplify]: Simplify 3 into 3
0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.182 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.182 * [taylor]: Taking taylor expansion of z in y
0.182 * [backup-simplify]: Simplify z into z
0.182 * [backup-simplify]: Simplify (* z z) into (pow z 2)
0.182 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.183 * [taylor]: Taking taylor expansion of 0 in z
0.183 * [backup-simplify]: Simplify 0 into 0
0.183 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.184 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
0.184 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.184 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.185 * [backup-simplify]: Simplify (+ 0 0) into 0
0.185 * [taylor]: Taking taylor expansion of 0 in y
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
0.185 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
0.185 * [taylor]: Taking taylor expansion of 3 in z
0.185 * [backup-simplify]: Simplify 3 into 3
0.185 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.185 * [taylor]: Taking taylor expansion of z in z
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 1 into 1
0.185 * [backup-simplify]: Simplify (* 1 1) into 1
0.185 * [backup-simplify]: Simplify (/ 3 1) into 3
0.186 * [backup-simplify]: Simplify 3 into 3
0.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.186 * [taylor]: Taking taylor expansion of 0 in z
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.187 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
0.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.188 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.189 * [backup-simplify]: Simplify (+ 0 0) into 0
0.189 * [taylor]: Taking taylor expansion of 0 in y
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [taylor]: Taking taylor expansion of 0 in z
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
0.189 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
0.189 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
0.189 * [taylor]: Taking taylor expansion of 0 in z
0.189 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.190 * [taylor]: Taking taylor expansion of 0 in z
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.192 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.193 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2)))))) into 0
0.195 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.195 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.195 * [backup-simplify]: Simplify (+ 0 0) into 0
0.195 * [taylor]: Taking taylor expansion of 0 in y
0.195 * [backup-simplify]: Simplify 0 into 0
0.195 * [taylor]: Taking taylor expansion of 0 in z
0.195 * [backup-simplify]: Simplify 0 into 0
0.195 * [taylor]: Taking taylor expansion of 0 in z
0.195 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
0.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
0.197 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
0.197 * [taylor]: Taking taylor expansion of 0 in z
0.197 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.198 * [taylor]: Taking taylor expansion of 0 in z
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
0.200 * * * [progress]: simplifying candidates
0.201 * [simplify]: Simplifying:
  (* (* z z) 3)
  (* (* z z) 3)
  (+ (+ (log z) (log z)) (log 3))
  (+ (log (* z z)) (log 3))
  (log (* (* z z) 3))
  (exp (* (* z z) 3))
  (* (* (* (* z z) z) (* (* z z) z)) (* (* 3 3) 3))
  (* (* (* (* z z) (* z z)) (* z z)) (* (* 3 3) 3))
  (* (cbrt (* (* z z) 3)) (cbrt (* (* z z) 3)))
  (cbrt (* (* z z) 3))
  (* (* (* (* z z) 3) (* (* z z) 3)) (* (* z z) 3))
  (sqrt (* (* z z) 3))
  (sqrt (* (* z z) 3))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (* z z) (* (cbrt 3) (cbrt 3)))
  (* (* z z) (sqrt 3))
  (* (* z z) 1)
  (* z 3)
  (* (exp (* x y)) (exp (* (* z z) 3)))
  (log (+ (* x y) (* (* z z) 3)))
  (exp (+ (* x y) (* (* z z) 3)))
  (* (cbrt (+ (* x y) (* (* z z) 3))) (cbrt (+ (* x y) (* (* z z) 3))))
  (cbrt (+ (* x y) (* (* z z) 3)))
  (* (* (+ (* x y) (* (* z z) 3)) (+ (* x y) (* (* z z) 3))) (+ (* x y) (* (* z z) 3)))
  (sqrt (+ (* x y) (* (* z z) 3)))
  (sqrt (+ (* x y) (* (* z z) 3)))
  (+ (pow (* x y) 3) (pow (* (* z z) 3) 3))
  (+ (* (* x y) (* x y)) (- (* (* (* z z) 3) (* (* z z) 3)) (* (* x y) (* (* z z) 3))))
  (- (* (* x y) (* x y)) (* (* (* z z) 3) (* (* z z) 3)))
  (- (* x y) (* (* z z) 3))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
0.202 * * [simplify]: iteration 0: 60 enodes
0.222 * * [simplify]: iteration 1: 190 enodes
0.372 * * [simplify]: iteration 2: 1101 enodes
0.906 * * [simplify]: iteration complete: 5001 enodes
0.906 * * [simplify]: Extracting #0: cost 23 inf + 0
0.907 * * [simplify]: Extracting #1: cost 287 inf + 0
0.914 * * [simplify]: Extracting #2: cost 1601 inf + 10918
0.941 * * [simplify]: Extracting #3: cost 989 inf + 107127
0.996 * * [simplify]: Extracting #4: cost 233 inf + 188994
1.068 * * [simplify]: Extracting #5: cost 35 inf + 226560
1.124 * * [simplify]: Extracting #6: cost 4 inf + 234265
1.170 * * [simplify]: Extracting #7: cost 0 inf + 235311
1.214 * [simplify]: Simplified to:
  (* z (* z 3))
  (* z (* z 3))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (exp (* z (* z 3)))
  (* (* z (* z 3)) (* (* z (* z 3)) (* z (* z 3))))
  (* (* z (* z 3)) (* (* z (* z 3)) (* z (* z 3))))
  (* (cbrt (* z (* z 3))) (cbrt (* z (* z 3))))
  (cbrt (* z (* z 3)))
  (* (* z (* z 3)) (* (* z (* z 3)) (* z (* z 3))))
  (sqrt (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (* (cbrt 3) z) (* (cbrt 3) z))
  (* (* (sqrt 3) z) z)
  (* z z)
  (* z 3)
  (exp (+ (* y x) (* z (* z 3))))
  (log (+ (* y x) (* z (* z 3))))
  (exp (+ (* y x) (* z (* z 3))))
  (* (cbrt (+ (* y x) (* z (* z 3)))) (cbrt (+ (* y x) (* z (* z 3)))))
  (cbrt (+ (* y x) (* z (* z 3))))
  (* (+ (* y x) (* z (* z 3))) (* (+ (* y x) (* z (* z 3))) (+ (* y x) (* z (* z 3)))))
  (sqrt (+ (* y x) (* z (* z 3))))
  (sqrt (+ (* y x) (* z (* z 3))))
  (+ (* (* y x) (* (* y x) (* y x))) (* (* z (* z 3)) (* (* z (* z 3)) (* z (* z 3)))))
  (- (* (* z (* z 3)) (* z (* z 3))) (* (* y x) (- (* z (* z 3)) (* y x))))
  (+ (* (* y x) (* y x)) (* -9 (* (* z z) (* z z))))
  (+ (* y x) (* (* z z) -3))
  (* z (* z 3))
  (* z (* z 3))
  (* z (* z 3))
  (+ (* y x) (* z (* z 3)))
  (+ (* y x) (* z (* z 3)))
  (+ (* y x) (* z (* z 3)))
1.215 * * * [progress]: adding candidates to table
1.381 * * [progress]: iteration 2 / 4
1.381 * * * [progress]: picking best candidate
1.410 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* y x) (* z (* z 3))))>
1.410 * * * [progress]: localizing error
1.424 * * * [progress]: generating rewritten candidates
1.424 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.441 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.449 * * * [progress]: generating series expansions
1.449 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.449 * [backup-simplify]: Simplify (* z (* z 3)) into (* 3 (pow z 2))
1.449 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
1.449 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
1.449 * [taylor]: Taking taylor expansion of 3 in z
1.449 * [backup-simplify]: Simplify 3 into 3
1.449 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.449 * [taylor]: Taking taylor expansion of z in z
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 1 into 1
1.449 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
1.449 * [taylor]: Taking taylor expansion of 3 in z
1.449 * [backup-simplify]: Simplify 3 into 3
1.449 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.449 * [taylor]: Taking taylor expansion of z in z
1.449 * [backup-simplify]: Simplify 0 into 0
1.449 * [backup-simplify]: Simplify 1 into 1
1.450 * [backup-simplify]: Simplify (* 1 1) into 1
1.450 * [backup-simplify]: Simplify (* 3 1) into 3
1.450 * [backup-simplify]: Simplify 3 into 3
1.451 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.451 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.452 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
1.452 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.453 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.453 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.455 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.455 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.456 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.456 * [backup-simplify]: Simplify 0 into 0
1.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.458 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.458 * [backup-simplify]: Simplify 0 into 0
1.458 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
1.458 * [backup-simplify]: Simplify (* (/ 1 z) (* (/ 1 z) 3)) into (/ 3 (pow z 2))
1.458 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
1.458 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.458 * [taylor]: Taking taylor expansion of 3 in z
1.458 * [backup-simplify]: Simplify 3 into 3
1.458 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.458 * [taylor]: Taking taylor expansion of z in z
1.458 * [backup-simplify]: Simplify 0 into 0
1.458 * [backup-simplify]: Simplify 1 into 1
1.459 * [backup-simplify]: Simplify (* 1 1) into 1
1.459 * [backup-simplify]: Simplify (/ 3 1) into 3
1.459 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.459 * [taylor]: Taking taylor expansion of 3 in z
1.459 * [backup-simplify]: Simplify 3 into 3
1.459 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.459 * [taylor]: Taking taylor expansion of z in z
1.459 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify 1 into 1
1.459 * [backup-simplify]: Simplify (* 1 1) into 1
1.460 * [backup-simplify]: Simplify (/ 3 1) into 3
1.460 * [backup-simplify]: Simplify 3 into 3
1.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.462 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.462 * [backup-simplify]: Simplify 0 into 0
1.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.463 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.464 * [backup-simplify]: Simplify 0 into 0
1.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.465 * [backup-simplify]: Simplify 0 into 0
1.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.467 * [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
1.467 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
1.468 * [backup-simplify]: Simplify (* (/ 1 (- z)) (* (/ 1 (- z)) 3)) into (/ 3 (pow z 2))
1.468 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
1.468 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.468 * [taylor]: Taking taylor expansion of 3 in z
1.468 * [backup-simplify]: Simplify 3 into 3
1.468 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.468 * [taylor]: Taking taylor expansion of z in z
1.468 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify 1 into 1
1.468 * [backup-simplify]: Simplify (* 1 1) into 1
1.469 * [backup-simplify]: Simplify (/ 3 1) into 3
1.469 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.469 * [taylor]: Taking taylor expansion of 3 in z
1.469 * [backup-simplify]: Simplify 3 into 3
1.469 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.469 * [taylor]: Taking taylor expansion of z in z
1.469 * [backup-simplify]: Simplify 0 into 0
1.469 * [backup-simplify]: Simplify 1 into 1
1.469 * [backup-simplify]: Simplify (* 1 1) into 1
1.469 * [backup-simplify]: Simplify (/ 3 1) into 3
1.470 * [backup-simplify]: Simplify 3 into 3
1.470 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.471 * [backup-simplify]: Simplify 0 into 0
1.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.472 * [backup-simplify]: Simplify 0 into 0
1.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.474 * [backup-simplify]: Simplify 0 into 0
1.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.476 * [backup-simplify]: Simplify 0 into 0
1.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.478 * [backup-simplify]: Simplify 0 into 0
1.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.480 * [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
1.480 * [backup-simplify]: Simplify 0 into 0
1.480 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
1.480 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.480 * [backup-simplify]: Simplify (+ (* y x) (* z (* z 3))) into (+ (* 3 (pow z 2)) (* x y))
1.481 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (y x z) around 0
1.481 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z
1.481 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
1.481 * [taylor]: Taking taylor expansion of 3 in z
1.481 * [backup-simplify]: Simplify 3 into 3
1.481 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.481 * [taylor]: Taking taylor expansion of z in z
1.481 * [backup-simplify]: Simplify 0 into 0
1.481 * [backup-simplify]: Simplify 1 into 1
1.481 * [taylor]: Taking taylor expansion of (* x y) in z
1.481 * [taylor]: Taking taylor expansion of x in z
1.481 * [backup-simplify]: Simplify x into x
1.481 * [taylor]: Taking taylor expansion of y in z
1.481 * [backup-simplify]: Simplify y into y
1.481 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x
1.481 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
1.481 * [taylor]: Taking taylor expansion of 3 in x
1.481 * [backup-simplify]: Simplify 3 into 3
1.481 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.481 * [taylor]: Taking taylor expansion of z in x
1.481 * [backup-simplify]: Simplify z into z
1.481 * [taylor]: Taking taylor expansion of (* x y) in x
1.481 * [taylor]: Taking taylor expansion of x in x
1.481 * [backup-simplify]: Simplify 0 into 0
1.481 * [backup-simplify]: Simplify 1 into 1
1.481 * [taylor]: Taking taylor expansion of y in x
1.481 * [backup-simplify]: Simplify y into y
1.481 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y
1.481 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
1.481 * [taylor]: Taking taylor expansion of 3 in y
1.481 * [backup-simplify]: Simplify 3 into 3
1.481 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.481 * [taylor]: Taking taylor expansion of z in y
1.481 * [backup-simplify]: Simplify z into z
1.481 * [taylor]: Taking taylor expansion of (* x y) in y
1.481 * [taylor]: Taking taylor expansion of x in y
1.481 * [backup-simplify]: Simplify x into x
1.481 * [taylor]: Taking taylor expansion of y in y
1.481 * [backup-simplify]: Simplify 0 into 0
1.481 * [backup-simplify]: Simplify 1 into 1
1.482 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y
1.482 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
1.482 * [taylor]: Taking taylor expansion of 3 in y
1.482 * [backup-simplify]: Simplify 3 into 3
1.482 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.482 * [taylor]: Taking taylor expansion of z in y
1.482 * [backup-simplify]: Simplify z into z
1.482 * [taylor]: Taking taylor expansion of (* x y) in y
1.482 * [taylor]: Taking taylor expansion of x in y
1.482 * [backup-simplify]: Simplify x into x
1.482 * [taylor]: Taking taylor expansion of y in y
1.482 * [backup-simplify]: Simplify 0 into 0
1.482 * [backup-simplify]: Simplify 1 into 1
1.482 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.482 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
1.482 * [backup-simplify]: Simplify (* x 0) into 0
1.482 * [backup-simplify]: Simplify (+ (* 3 (pow z 2)) 0) into (* 3 (pow z 2))
1.482 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
1.482 * [taylor]: Taking taylor expansion of 3 in x
1.482 * [backup-simplify]: Simplify 3 into 3
1.482 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.482 * [taylor]: Taking taylor expansion of z in x
1.482 * [backup-simplify]: Simplify z into z
1.482 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.483 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
1.483 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
1.483 * [taylor]: Taking taylor expansion of 3 in z
1.483 * [backup-simplify]: Simplify 3 into 3
1.483 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.483 * [taylor]: Taking taylor expansion of z in z
1.483 * [backup-simplify]: Simplify 0 into 0
1.483 * [backup-simplify]: Simplify 1 into 1
1.483 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
1.483 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
1.484 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.484 * [backup-simplify]: Simplify (+ 0 x) into x
1.484 * [taylor]: Taking taylor expansion of x in x
1.484 * [backup-simplify]: Simplify 0 into 0
1.484 * [backup-simplify]: Simplify 1 into 1
1.484 * [taylor]: Taking taylor expansion of 0 in z
1.484 * [backup-simplify]: Simplify 0 into 0
1.484 * [backup-simplify]: Simplify 0 into 0
1.484 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
1.485 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0
1.485 * [taylor]: Taking taylor expansion of 0 in z
1.485 * [backup-simplify]: Simplify 0 into 0
1.485 * [backup-simplify]: Simplify 0 into 0
1.485 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
1.486 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
1.487 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.487 * [backup-simplify]: Simplify (+ 0 0) into 0
1.487 * [taylor]: Taking taylor expansion of 0 in x
1.487 * [backup-simplify]: Simplify 0 into 0
1.487 * [taylor]: Taking taylor expansion of 0 in z
1.487 * [backup-simplify]: Simplify 0 into 0
1.487 * [backup-simplify]: Simplify 0 into 0
1.487 * [taylor]: Taking taylor expansion of 1 in z
1.487 * [backup-simplify]: Simplify 1 into 1
1.487 * [backup-simplify]: Simplify 1 into 1
1.488 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
1.488 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0
1.488 * [taylor]: Taking taylor expansion of 0 in z
1.488 * [backup-simplify]: Simplify 0 into 0
1.489 * [backup-simplify]: Simplify 0 into 0
1.489 * [backup-simplify]: Simplify 0 into 0
1.489 * [backup-simplify]: Simplify 0 into 0
1.489 * [backup-simplify]: Simplify (* 1 1) into 1
1.489 * [backup-simplify]: Simplify (* 3 1) into 3
1.489 * [backup-simplify]: Simplify 3 into 3
1.490 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
1.491 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
1.492 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.496 * [backup-simplify]: Simplify (+ 0 0) into 0
1.496 * [taylor]: Taking taylor expansion of 0 in x
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [taylor]: Taking taylor expansion of 0 in z
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [taylor]: Taking taylor expansion of 0 in z
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [taylor]: Taking taylor expansion of 0 in z
1.496 * [backup-simplify]: Simplify 0 into 0
1.496 * [backup-simplify]: Simplify 0 into 0
1.497 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
1.498 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0
1.498 * [taylor]: Taking taylor expansion of 0 in z
1.498 * [backup-simplify]: Simplify 0 into 0
1.498 * [backup-simplify]: Simplify 0 into 0
1.499 * [backup-simplify]: Simplify 0 into 0
1.499 * [backup-simplify]: Simplify 0 into 0
1.499 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* x y)))) into (+ (* 3 (pow z 2)) (* x y))
1.499 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 x)) (* (/ 1 z) (* (/ 1 z) 3))) into (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
1.499 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (y x z) around 0
1.499 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
1.499 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
1.500 * [taylor]: Taking taylor expansion of 3 in z
1.500 * [backup-simplify]: Simplify 3 into 3
1.500 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.500 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.500 * [taylor]: Taking taylor expansion of z in z
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 1 into 1
1.500 * [backup-simplify]: Simplify (* 1 1) into 1
1.500 * [backup-simplify]: Simplify (/ 1 1) into 1
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.501 * [taylor]: Taking taylor expansion of (* x y) in z
1.501 * [taylor]: Taking taylor expansion of x in z
1.501 * [backup-simplify]: Simplify x into x
1.501 * [taylor]: Taking taylor expansion of y in z
1.501 * [backup-simplify]: Simplify y into y
1.501 * [backup-simplify]: Simplify (* x y) into (* x y)
1.501 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.501 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
1.501 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
1.501 * [taylor]: Taking taylor expansion of 3 in x
1.501 * [backup-simplify]: Simplify 3 into 3
1.501 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.501 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.501 * [taylor]: Taking taylor expansion of z in x
1.501 * [backup-simplify]: Simplify z into z
1.501 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.501 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.501 * [taylor]: Taking taylor expansion of (* x y) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [backup-simplify]: Simplify 0 into 0
1.501 * [backup-simplify]: Simplify 1 into 1
1.501 * [taylor]: Taking taylor expansion of y in x
1.501 * [backup-simplify]: Simplify y into y
1.501 * [backup-simplify]: Simplify (* 0 y) into 0
1.502 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.502 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.502 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
1.502 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
1.502 * [taylor]: Taking taylor expansion of 3 in y
1.502 * [backup-simplify]: Simplify 3 into 3
1.502 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.502 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.502 * [taylor]: Taking taylor expansion of z in y
1.502 * [backup-simplify]: Simplify z into z
1.502 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.502 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.502 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.502 * [taylor]: Taking taylor expansion of (* x y) in y
1.502 * [taylor]: Taking taylor expansion of x in y
1.503 * [backup-simplify]: Simplify x into x
1.503 * [taylor]: Taking taylor expansion of y in y
1.503 * [backup-simplify]: Simplify 0 into 0
1.503 * [backup-simplify]: Simplify 1 into 1
1.503 * [backup-simplify]: Simplify (* x 0) into 0
1.503 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.503 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.503 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
1.503 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
1.503 * [taylor]: Taking taylor expansion of 3 in y
1.503 * [backup-simplify]: Simplify 3 into 3
1.503 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.503 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.503 * [taylor]: Taking taylor expansion of z in y
1.503 * [backup-simplify]: Simplify z into z
1.503 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.504 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.504 * [taylor]: Taking taylor expansion of (* x y) in y
1.504 * [taylor]: Taking taylor expansion of x in y
1.504 * [backup-simplify]: Simplify x into x
1.504 * [taylor]: Taking taylor expansion of y in y
1.504 * [backup-simplify]: Simplify 0 into 0
1.504 * [backup-simplify]: Simplify 1 into 1
1.504 * [backup-simplify]: Simplify (* x 0) into 0
1.504 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.504 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.504 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
1.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.504 * [taylor]: Taking taylor expansion of x in x
1.505 * [backup-simplify]: Simplify 0 into 0
1.505 * [backup-simplify]: Simplify 1 into 1
1.505 * [backup-simplify]: Simplify (/ 1 1) into 1
1.505 * [taylor]: Taking taylor expansion of 1 in z
1.505 * [backup-simplify]: Simplify 1 into 1
1.505 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
1.506 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.506 * [backup-simplify]: Simplify (+ (/ 3 (pow z 2)) 0) into (* 3 (/ 1 (pow z 2)))
1.506 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
1.506 * [taylor]: Taking taylor expansion of 3 in x
1.506 * [backup-simplify]: Simplify 3 into 3
1.506 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.506 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.506 * [taylor]: Taking taylor expansion of z in x
1.506 * [backup-simplify]: Simplify z into z
1.506 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.506 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.507 * [taylor]: Taking taylor expansion of 0 in z
1.507 * [backup-simplify]: Simplify 0 into 0
1.507 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
1.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
1.508 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
1.509 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.509 * [backup-simplify]: Simplify (+ 0 0) into 0
1.509 * [taylor]: Taking taylor expansion of 0 in x
1.509 * [backup-simplify]: Simplify 0 into 0
1.509 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
1.510 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.510 * [taylor]: Taking taylor expansion of 3 in z
1.510 * [backup-simplify]: Simplify 3 into 3
1.510 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.510 * [taylor]: Taking taylor expansion of z in z
1.510 * [backup-simplify]: Simplify 0 into 0
1.510 * [backup-simplify]: Simplify 1 into 1
1.510 * [backup-simplify]: Simplify (* 1 1) into 1
1.510 * [backup-simplify]: Simplify (/ 3 1) into 3
1.510 * [backup-simplify]: Simplify 3 into 3
1.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.511 * [taylor]: Taking taylor expansion of 0 in z
1.511 * [backup-simplify]: Simplify 0 into 0
1.511 * [backup-simplify]: Simplify 1 into 1
1.512 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
1.512 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
1.513 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
1.514 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.514 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.514 * [backup-simplify]: Simplify (+ 0 0) into 0
1.514 * [taylor]: Taking taylor expansion of 0 in x
1.514 * [backup-simplify]: Simplify 0 into 0
1.514 * [taylor]: Taking taylor expansion of 0 in z
1.514 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
1.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
1.515 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
1.515 * [taylor]: Taking taylor expansion of 0 in z
1.515 * [backup-simplify]: Simplify 0 into 0
1.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.516 * [taylor]: Taking taylor expansion of 0 in z
1.516 * [backup-simplify]: Simplify 0 into 0
1.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.518 * [backup-simplify]: Simplify 0 into 0
1.518 * [backup-simplify]: Simplify 0 into 0
1.518 * [backup-simplify]: Simplify 0 into 0
1.518 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
1.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
1.520 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2)))))) into 0
1.521 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.521 * [backup-simplify]: Simplify (+ 0 0) into 0
1.522 * [taylor]: Taking taylor expansion of 0 in x
1.522 * [backup-simplify]: Simplify 0 into 0
1.522 * [taylor]: Taking taylor expansion of 0 in z
1.522 * [backup-simplify]: Simplify 0 into 0
1.522 * [taylor]: Taking taylor expansion of 0 in z
1.522 * [backup-simplify]: Simplify 0 into 0
1.522 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
1.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
1.523 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
1.523 * [taylor]: Taking taylor expansion of 0 in z
1.523 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.524 * [taylor]: Taking taylor expansion of 0 in z
1.524 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 0 into 0
1.527 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
1.527 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (/ 1 (- x))) (* (/ 1 (- z)) (* (/ 1 (- z)) 3))) into (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
1.527 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (y x z) around 0
1.527 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
1.527 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
1.527 * [taylor]: Taking taylor expansion of 3 in z
1.527 * [backup-simplify]: Simplify 3 into 3
1.527 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.527 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.527 * [taylor]: Taking taylor expansion of z in z
1.527 * [backup-simplify]: Simplify 0 into 0
1.527 * [backup-simplify]: Simplify 1 into 1
1.528 * [backup-simplify]: Simplify (* 1 1) into 1
1.528 * [backup-simplify]: Simplify (/ 1 1) into 1
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.528 * [taylor]: Taking taylor expansion of (* x y) in z
1.528 * [taylor]: Taking taylor expansion of x in z
1.528 * [backup-simplify]: Simplify x into x
1.528 * [taylor]: Taking taylor expansion of y in z
1.528 * [backup-simplify]: Simplify y into y
1.528 * [backup-simplify]: Simplify (* x y) into (* x y)
1.528 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.528 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
1.528 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
1.528 * [taylor]: Taking taylor expansion of 3 in x
1.528 * [backup-simplify]: Simplify 3 into 3
1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.528 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.528 * [taylor]: Taking taylor expansion of z in x
1.528 * [backup-simplify]: Simplify z into z
1.528 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.529 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.529 * [taylor]: Taking taylor expansion of (* x y) in x
1.529 * [taylor]: Taking taylor expansion of x in x
1.529 * [backup-simplify]: Simplify 0 into 0
1.529 * [backup-simplify]: Simplify 1 into 1
1.529 * [taylor]: Taking taylor expansion of y in x
1.529 * [backup-simplify]: Simplify y into y
1.529 * [backup-simplify]: Simplify (* 0 y) into 0
1.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.529 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.529 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
1.529 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
1.529 * [taylor]: Taking taylor expansion of 3 in y
1.529 * [backup-simplify]: Simplify 3 into 3
1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.529 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.529 * [taylor]: Taking taylor expansion of z in y
1.529 * [backup-simplify]: Simplify z into z
1.529 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.530 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.530 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.530 * [taylor]: Taking taylor expansion of (* x y) in y
1.530 * [taylor]: Taking taylor expansion of x in y
1.530 * [backup-simplify]: Simplify x into x
1.530 * [taylor]: Taking taylor expansion of y in y
1.530 * [backup-simplify]: Simplify 0 into 0
1.530 * [backup-simplify]: Simplify 1 into 1
1.530 * [backup-simplify]: Simplify (* x 0) into 0
1.530 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.530 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.530 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
1.530 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
1.530 * [taylor]: Taking taylor expansion of 3 in y
1.530 * [backup-simplify]: Simplify 3 into 3
1.530 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.530 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.530 * [taylor]: Taking taylor expansion of z in y
1.530 * [backup-simplify]: Simplify z into z
1.531 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.531 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.531 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.531 * [taylor]: Taking taylor expansion of (* x y) in y
1.531 * [taylor]: Taking taylor expansion of x in y
1.531 * [backup-simplify]: Simplify x into x
1.531 * [taylor]: Taking taylor expansion of y in y
1.531 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify 1 into 1
1.531 * [backup-simplify]: Simplify (* x 0) into 0
1.531 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.531 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.531 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
1.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.532 * [taylor]: Taking taylor expansion of x in x
1.532 * [backup-simplify]: Simplify 0 into 0
1.532 * [backup-simplify]: Simplify 1 into 1
1.532 * [backup-simplify]: Simplify (/ 1 1) into 1
1.532 * [taylor]: Taking taylor expansion of 1 in z
1.532 * [backup-simplify]: Simplify 1 into 1
1.532 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
1.533 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.533 * [backup-simplify]: Simplify (+ (/ 3 (pow z 2)) 0) into (* 3 (/ 1 (pow z 2)))
1.533 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
1.533 * [taylor]: Taking taylor expansion of 3 in x
1.533 * [backup-simplify]: Simplify 3 into 3
1.533 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.533 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.533 * [taylor]: Taking taylor expansion of z in x
1.533 * [backup-simplify]: Simplify z into z
1.533 * [backup-simplify]: Simplify (* z z) into (pow z 2)
1.533 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
1.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.534 * [taylor]: Taking taylor expansion of 0 in z
1.534 * [backup-simplify]: Simplify 0 into 0
1.534 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
1.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
1.535 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
1.536 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.536 * [backup-simplify]: Simplify (+ 0 0) into 0
1.536 * [taylor]: Taking taylor expansion of 0 in x
1.536 * [backup-simplify]: Simplify 0 into 0
1.536 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2))
1.536 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
1.536 * [taylor]: Taking taylor expansion of 3 in z
1.537 * [backup-simplify]: Simplify 3 into 3
1.537 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.537 * [taylor]: Taking taylor expansion of z in z
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify 1 into 1
1.537 * [backup-simplify]: Simplify (* 1 1) into 1
1.537 * [backup-simplify]: Simplify (/ 3 1) into 3
1.537 * [backup-simplify]: Simplify 3 into 3
1.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.538 * [taylor]: Taking taylor expansion of 0 in z
1.538 * [backup-simplify]: Simplify 0 into 0
1.538 * [backup-simplify]: Simplify 1 into 1
1.539 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
1.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
1.540 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
1.541 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.541 * [backup-simplify]: Simplify (+ 0 0) into 0
1.541 * [taylor]: Taking taylor expansion of 0 in x
1.542 * [backup-simplify]: Simplify 0 into 0
1.542 * [taylor]: Taking taylor expansion of 0 in z
1.542 * [backup-simplify]: Simplify 0 into 0
1.542 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
1.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
1.542 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0
1.543 * [taylor]: Taking taylor expansion of 0 in z
1.543 * [backup-simplify]: Simplify 0 into 0
1.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.543 * [taylor]: Taking taylor expansion of 0 in z
1.543 * [backup-simplify]: Simplify 0 into 0
1.544 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
1.545 * [backup-simplify]: Simplify 0 into 0
1.545 * [backup-simplify]: Simplify 0 into 0
1.545 * [backup-simplify]: Simplify 0 into 0
1.546 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
1.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
1.547 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2)))))) into 0
1.548 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.549 * [backup-simplify]: Simplify (+ 0 0) into 0
1.549 * [taylor]: Taking taylor expansion of 0 in x
1.549 * [backup-simplify]: Simplify 0 into 0
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [backup-simplify]: Simplify 0 into 0
1.549 * [taylor]: Taking taylor expansion of 0 in z
1.549 * [backup-simplify]: Simplify 0 into 0
1.549 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
1.550 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
1.551 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0
1.551 * [taylor]: Taking taylor expansion of 0 in z
1.551 * [backup-simplify]: Simplify 0 into 0
1.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.552 * [taylor]: Taking taylor expansion of 0 in z
1.552 * [backup-simplify]: Simplify 0 into 0
1.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.553 * [backup-simplify]: Simplify 0 into 0
1.553 * [backup-simplify]: Simplify 0 into 0
1.553 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y))
1.554 * * * [progress]: simplifying candidates
1.555 * [simplify]: Simplifying:
  (* z (* z 3))
  (* z (* z 3))
  (+ (log z) (+ (log z) (log 3)))
  (+ (log z) (log (* z 3)))
  (log (* z (* z 3)))
  (exp (* z (* z 3)))
  (* (* (* z z) z) (* (* (* z z) z) (* (* 3 3) 3)))
  (* (* (* z z) z) (* (* (* z 3) (* z 3)) (* z 3)))
  (* (cbrt (* z (* z 3))) (cbrt (* z (* z 3))))
  (cbrt (* z (* z 3)))
  (* (* (* z (* z 3)) (* z (* z 3))) (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (* z z)
  (* (cbrt z) (* z 3))
  (* (sqrt z) (* z 3))
  (* z (* z 3))
  (* (exp (* y x)) (exp (* z (* z 3))))
  (log (+ (* y x) (* z (* z 3))))
  (exp (+ (* y x) (* z (* z 3))))
  (* (cbrt (+ (* y x) (* z (* z 3)))) (cbrt (+ (* y x) (* z (* z 3)))))
  (cbrt (+ (* y x) (* z (* z 3))))
  (* (* (+ (* y x) (* z (* z 3))) (+ (* y x) (* z (* z 3)))) (+ (* y x) (* z (* z 3))))
  (sqrt (+ (* y x) (* z (* z 3))))
  (sqrt (+ (* y x) (* z (* z 3))))
  (+ (pow (* y x) 3) (pow (* z (* z 3)) 3))
  (+ (* (* y x) (* y x)) (- (* (* z (* z 3)) (* z (* z 3))) (* (* y x) (* z (* z 3)))))
  (- (* (* y x) (* y x)) (* (* z (* z 3)) (* z (* z 3))))
  (- (* y x) (* z (* z 3)))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
1.556 * * [simplify]: iteration 0: 57 enodes
1.572 * * [simplify]: iteration 1: 169 enodes
1.657 * * [simplify]: iteration 2: 891 enodes
2.050 * * [simplify]: iteration complete: 5000 enodes
2.050 * * [simplify]: Extracting #0: cost 21 inf + 0
2.051 * * [simplify]: Extracting #1: cost 521 inf + 0
2.057 * * [simplify]: Extracting #2: cost 1763 inf + 3201
2.080 * * [simplify]: Extracting #3: cost 1336 inf + 68303
2.127 * * [simplify]: Extracting #4: cost 397 inf + 217864
2.205 * * [simplify]: Extracting #5: cost 13 inf + 309595
2.279 * * [simplify]: Extracting #6: cost 0 inf + 310735
2.349 * [simplify]: Simplified to:
  (* z (* z 3))
  (* z (* z 3))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (exp (* z (* z 3)))
  (* (* (* (* z z) z) (* (* z z) z)) 27)
  (* (* (* (* z z) z) (* (* z z) z)) 27)
  (* (cbrt (* z (* z 3))) (cbrt (* z (* z 3))))
  (cbrt (* z (* z 3)))
  (* (* (* (* z z) z) (* (* z z) z)) 27)
  (sqrt (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (* z z)
  (* (* 3 z) (cbrt z))
  (* (* (sqrt z) 3) z)
  (* z (* z 3))
  (exp (+ (* y x) (* z (* z 3))))
  (log (+ (* z (* z 3)) (* y x)))
  (exp (+ (* y x) (* z (* z 3))))
  (* (cbrt (+ (* z (* z 3)) (* y x))) (cbrt (+ (* z (* z 3)) (* y x))))
  (cbrt (+ (* z (* z 3)) (* y x)))
  (* (* (+ (* z (* z 3)) (* y x)) (+ (* z (* z 3)) (* y x))) (+ (* z (* z 3)) (* y x)))
  (sqrt (+ (* z (* z 3)) (* y x)))
  (sqrt (+ (* z (* z 3)) (* y x)))
  (+ (* (* (* (* z z) z) (* (* z z) z)) 27) (* (* (* y x) (* y x)) (* y x)))
  (- (* (* z (* z 3)) (* z (* z 3))) (* (* y x) (- (* z (* z 3)) (* y x))))
  (- (* (* y x) (* y x)) (* (* z (* z 3)) (* z (* z 3))))
  (- (* y x) (* z (* z 3)))
  (* z (* z 3))
  (* z (* z 3))
  (* z (* z 3))
  (+ (* z (* z 3)) (* y x))
  (+ (* z (* z 3)) (* y x))
  (+ (* z (* z 3)) (* y x))
2.350 * * * [progress]: adding candidates to table
2.446 * * [progress]: iteration 3 / 4
2.446 * * * [progress]: picking best candidate
2.466 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* y x) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))>
2.466 * * * [progress]: localizing error
2.484 * * * [progress]: generating rewritten candidates
2.484 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.493 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.502 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.568 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.585 * * * [progress]: generating series expansions
2.585 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.585 * [backup-simplify]: Simplify (sqrt (* z (* z 3))) into (* z (sqrt 3))
2.585 * [approximate]: Taking taylor expansion of (* z (sqrt 3)) in (z) around 0
2.585 * [taylor]: Taking taylor expansion of (* z (sqrt 3)) in z
2.585 * [taylor]: Taking taylor expansion of z in z
2.585 * [backup-simplify]: Simplify 0 into 0
2.585 * [backup-simplify]: Simplify 1 into 1
2.585 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.585 * [taylor]: Taking taylor expansion of 3 in z
2.585 * [backup-simplify]: Simplify 3 into 3
2.586 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.586 * [taylor]: Taking taylor expansion of (* z (sqrt 3)) in z
2.586 * [taylor]: Taking taylor expansion of z in z
2.586 * [backup-simplify]: Simplify 0 into 0
2.586 * [backup-simplify]: Simplify 1 into 1
2.586 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.586 * [taylor]: Taking taylor expansion of 3 in z
2.586 * [backup-simplify]: Simplify 3 into 3
2.587 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.587 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.587 * [backup-simplify]: Simplify (* 0 (sqrt 3)) into 0
2.587 * [backup-simplify]: Simplify 0 into 0
2.589 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3))) into (sqrt 3)
2.589 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.589 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.590 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3)))) into 0
2.590 * [backup-simplify]: Simplify 0 into 0
2.591 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.591 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
2.592 * [backup-simplify]: Simplify 0 into 0
2.592 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.593 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
2.593 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.595 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
2.595 * [backup-simplify]: Simplify 0 into 0
2.596 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.596 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.600 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))))) into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify (* (sqrt 3) z) into (* z (sqrt 3))
2.601 * [backup-simplify]: Simplify (sqrt (* (/ 1 z) (* (/ 1 z) 3))) into (/ (sqrt 3) z)
2.601 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
2.601 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.601 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.601 * [taylor]: Taking taylor expansion of 3 in z
2.601 * [backup-simplify]: Simplify 3 into 3
2.601 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.602 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.602 * [taylor]: Taking taylor expansion of z in z
2.602 * [backup-simplify]: Simplify 0 into 0
2.602 * [backup-simplify]: Simplify 1 into 1
2.602 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.602 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.602 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.602 * [taylor]: Taking taylor expansion of 3 in z
2.602 * [backup-simplify]: Simplify 3 into 3
2.602 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.603 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.603 * [taylor]: Taking taylor expansion of z in z
2.603 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify 1 into 1
2.603 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.604 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
2.604 * [backup-simplify]: Simplify 0 into 0
2.605 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.606 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.607 * [backup-simplify]: Simplify 0 into 0
2.608 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.608 * [backup-simplify]: Simplify 0 into 0
2.609 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.610 * [backup-simplify]: Simplify 0 into 0
2.611 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.611 * [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
2.611 * [backup-simplify]: Simplify 0 into 0
2.612 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 z))) into (* z (sqrt 3))
2.612 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- z)) (* (/ 1 (- z)) 3))) into (/ (sqrt 3) z)
2.612 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
2.612 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.612 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.612 * [taylor]: Taking taylor expansion of 3 in z
2.612 * [backup-simplify]: Simplify 3 into 3
2.612 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.613 * [taylor]: Taking taylor expansion of z in z
2.613 * [backup-simplify]: Simplify 0 into 0
2.613 * [backup-simplify]: Simplify 1 into 1
2.613 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.613 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.613 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.613 * [taylor]: Taking taylor expansion of 3 in z
2.613 * [backup-simplify]: Simplify 3 into 3
2.613 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.614 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.614 * [taylor]: Taking taylor expansion of z in z
2.614 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify 1 into 1
2.614 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.615 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
2.615 * [backup-simplify]: Simplify 0 into 0
2.616 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.617 * [backup-simplify]: Simplify 0 into 0
2.617 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.618 * [backup-simplify]: Simplify 0 into 0
2.619 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.619 * [backup-simplify]: Simplify 0 into 0
2.620 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.621 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.622 * [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
2.622 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- z)))) into (* -1 (* z (sqrt 3)))
2.623 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.623 * [backup-simplify]: Simplify (sqrt (* z (* z 3))) into (* z (sqrt 3))
2.623 * [approximate]: Taking taylor expansion of (* z (sqrt 3)) in (z) around 0
2.623 * [taylor]: Taking taylor expansion of (* z (sqrt 3)) in z
2.623 * [taylor]: Taking taylor expansion of z in z
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify 1 into 1
2.623 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.623 * [taylor]: Taking taylor expansion of 3 in z
2.623 * [backup-simplify]: Simplify 3 into 3
2.623 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.624 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.624 * [taylor]: Taking taylor expansion of (* z (sqrt 3)) in z
2.624 * [taylor]: Taking taylor expansion of z in z
2.624 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify 1 into 1
2.624 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.624 * [taylor]: Taking taylor expansion of 3 in z
2.624 * [backup-simplify]: Simplify 3 into 3
2.624 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.624 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.625 * [backup-simplify]: Simplify (* 0 (sqrt 3)) into 0
2.625 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3))) into (sqrt 3)
2.626 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.627 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.627 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3)))) into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.629 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
2.629 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.630 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
2.630 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.632 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
2.632 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.634 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
2.634 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.636 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))))) into 0
2.636 * [backup-simplify]: Simplify 0 into 0
2.636 * [backup-simplify]: Simplify (* (sqrt 3) z) into (* z (sqrt 3))
2.636 * [backup-simplify]: Simplify (sqrt (* (/ 1 z) (* (/ 1 z) 3))) into (/ (sqrt 3) z)
2.636 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
2.636 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.636 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.636 * [taylor]: Taking taylor expansion of 3 in z
2.636 * [backup-simplify]: Simplify 3 into 3
2.636 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.637 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.637 * [taylor]: Taking taylor expansion of z in z
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 1 into 1
2.637 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.637 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.637 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.637 * [taylor]: Taking taylor expansion of 3 in z
2.637 * [backup-simplify]: Simplify 3 into 3
2.638 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.638 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.638 * [taylor]: Taking taylor expansion of z in z
2.638 * [backup-simplify]: Simplify 0 into 0
2.638 * [backup-simplify]: Simplify 1 into 1
2.639 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.639 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
2.640 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.642 * [backup-simplify]: Simplify 0 into 0
2.643 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.644 * [backup-simplify]: Simplify 0 into 0
2.644 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.645 * [backup-simplify]: Simplify 0 into 0
2.646 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.646 * [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
2.646 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 z))) into (* z (sqrt 3))
2.647 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- z)) (* (/ 1 (- z)) 3))) into (/ (sqrt 3) z)
2.647 * [approximate]: Taking taylor expansion of (/ (sqrt 3) z) in (z) around 0
2.647 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.647 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.647 * [taylor]: Taking taylor expansion of 3 in z
2.647 * [backup-simplify]: Simplify 3 into 3
2.647 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.648 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.648 * [taylor]: Taking taylor expansion of z in z
2.648 * [backup-simplify]: Simplify 0 into 0
2.648 * [backup-simplify]: Simplify 1 into 1
2.648 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.648 * [taylor]: Taking taylor expansion of (/ (sqrt 3) z) in z
2.648 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.649 * [taylor]: Taking taylor expansion of 3 in z
2.649 * [backup-simplify]: Simplify 3 into 3
2.649 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.649 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.649 * [taylor]: Taking taylor expansion of z in z
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify 1 into 1
2.650 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
2.650 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
2.651 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.652 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.653 * [backup-simplify]: Simplify 0 into 0
2.654 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.656 * [backup-simplify]: Simplify 0 into 0
2.657 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.658 * [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
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify (* (sqrt 3) (/ 1 (/ 1 (- z)))) into (* -1 (* z (sqrt 3)))
2.658 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.658 * [backup-simplify]: Simplify (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))) into (* (pow z 2) (pow (sqrt 3) 2))
2.658 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in (z) around 0
2.658 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z
2.658 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.658 * [taylor]: Taking taylor expansion of z in z
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 1 into 1
2.658 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
2.658 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.658 * [taylor]: Taking taylor expansion of 3 in z
2.658 * [backup-simplify]: Simplify 3 into 3
2.659 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.659 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.659 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z
2.659 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.659 * [taylor]: Taking taylor expansion of z in z
2.659 * [backup-simplify]: Simplify 0 into 0
2.659 * [backup-simplify]: Simplify 1 into 1
2.659 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
2.659 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.659 * [taylor]: Taking taylor expansion of 3 in z
2.659 * [backup-simplify]: Simplify 3 into 3
2.659 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.660 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.660 * [backup-simplify]: Simplify (* 1 1) into 1
2.661 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
2.662 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3) 2)) into (pow (sqrt 3) 2)
2.662 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
2.663 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
2.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.664 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3) 2))) into 0
2.664 * [backup-simplify]: Simplify 0 into 0
2.664 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.665 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
2.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))) into 0
2.666 * [backup-simplify]: Simplify 0 into 0
2.667 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.668 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
2.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2))))) into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.670 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.671 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
2.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))))) into 0
2.672 * [backup-simplify]: Simplify 0 into 0
2.673 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.674 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
2.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2))))))) into 0
2.676 * [backup-simplify]: Simplify 0 into 0
2.676 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.677 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
2.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))))))) into 0
2.682 * [backup-simplify]: Simplify 0 into 0
2.683 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow z 2)) into (* (pow z 2) (pow (sqrt 3) 2))
2.683 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 z) (* (/ 1 z) 3))) (sqrt (* (/ 1 z) (* (/ 1 z) 3)))) into (/ (pow (sqrt 3) 2) (pow z 2))
2.683 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
2.683 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
2.683 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
2.683 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.683 * [taylor]: Taking taylor expansion of 3 in z
2.683 * [backup-simplify]: Simplify 3 into 3
2.684 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.684 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.684 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.684 * [taylor]: Taking taylor expansion of z in z
2.684 * [backup-simplify]: Simplify 0 into 0
2.684 * [backup-simplify]: Simplify 1 into 1
2.685 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
2.685 * [backup-simplify]: Simplify (* 1 1) into 1
2.686 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
2.686 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
2.686 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
2.686 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.686 * [taylor]: Taking taylor expansion of 3 in z
2.686 * [backup-simplify]: Simplify 3 into 3
2.686 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.687 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.687 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.687 * [taylor]: Taking taylor expansion of z in z
2.687 * [backup-simplify]: Simplify 0 into 0
2.687 * [backup-simplify]: Simplify 1 into 1
2.688 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
2.688 * [backup-simplify]: Simplify (* 1 1) into 1
2.689 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
2.689 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
2.690 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
2.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
2.691 * [backup-simplify]: Simplify 0 into 0
2.692 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.692 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
2.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.694 * [backup-simplify]: Simplify 0 into 0
2.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.695 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
2.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.696 * [backup-simplify]: Simplify 0 into 0
2.697 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.698 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
2.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.699 * [backup-simplify]: Simplify 0 into 0
2.700 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.701 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
2.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.703 * [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
2.703 * [backup-simplify]: Simplify 0 into 0
2.703 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.704 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
2.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.706 * [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
2.706 * [backup-simplify]: Simplify 0 into 0
2.707 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 z)) 2)) into (* (pow z 2) (pow (sqrt 3) 2))
2.707 * [backup-simplify]: Simplify (* (sqrt (* (/ 1 (- z)) (* (/ 1 (- z)) 3))) (sqrt (* (/ 1 (- z)) (* (/ 1 (- z)) 3)))) into (/ (pow (sqrt 3) 2) (pow z 2))
2.707 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
2.707 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
2.707 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
2.707 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.707 * [taylor]: Taking taylor expansion of 3 in z
2.707 * [backup-simplify]: Simplify 3 into 3
2.707 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.708 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.708 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.708 * [taylor]: Taking taylor expansion of z in z
2.708 * [backup-simplify]: Simplify 0 into 0
2.708 * [backup-simplify]: Simplify 1 into 1
2.708 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
2.709 * [backup-simplify]: Simplify (* 1 1) into 1
2.710 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
2.710 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
2.710 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
2.710 * [taylor]: Taking taylor expansion of (sqrt 3) in z
2.710 * [taylor]: Taking taylor expansion of 3 in z
2.710 * [backup-simplify]: Simplify 3 into 3
2.710 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
2.710 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
2.710 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.710 * [taylor]: Taking taylor expansion of z in z
2.710 * [backup-simplify]: Simplify 0 into 0
2.710 * [backup-simplify]: Simplify 1 into 1
2.711 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
2.711 * [backup-simplify]: Simplify (* 1 1) into 1
2.712 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
2.713 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
2.713 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
2.714 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
2.716 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
2.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.717 * [backup-simplify]: Simplify 0 into 0
2.718 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.718 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
2.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.720 * [backup-simplify]: Simplify 0 into 0
2.721 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.721 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
2.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.723 * [backup-simplify]: Simplify 0 into 0
2.724 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.724 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
2.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.726 * [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
2.726 * [backup-simplify]: Simplify 0 into 0
2.727 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
2.728 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
2.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.729 * [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
2.729 * [backup-simplify]: Simplify 0 into 0
2.730 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 (- z))) 2)) into (* (pow z 2) (pow (sqrt 3) 2))
2.730 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
2.730 * [backup-simplify]: Simplify (* z (* z 3)) into (* 3 (pow z 2))
2.730 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0
2.730 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
2.730 * [taylor]: Taking taylor expansion of 3 in z
2.730 * [backup-simplify]: Simplify 3 into 3
2.730 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.730 * [taylor]: Taking taylor expansion of z in z
2.730 * [backup-simplify]: Simplify 0 into 0
2.730 * [backup-simplify]: Simplify 1 into 1
2.730 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
2.730 * [taylor]: Taking taylor expansion of 3 in z
2.730 * [backup-simplify]: Simplify 3 into 3
2.730 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.730 * [taylor]: Taking taylor expansion of z in z
2.730 * [backup-simplify]: Simplify 0 into 0
2.730 * [backup-simplify]: Simplify 1 into 1
2.731 * [backup-simplify]: Simplify (* 1 1) into 1
2.731 * [backup-simplify]: Simplify (* 3 1) into 3
2.731 * [backup-simplify]: Simplify 3 into 3
2.731 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.732 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
2.732 * [backup-simplify]: Simplify 0 into 0
2.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.733 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
2.733 * [backup-simplify]: Simplify 0 into 0
2.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.734 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.734 * [backup-simplify]: Simplify 0 into 0
2.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.735 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.736 * [backup-simplify]: Simplify 0 into 0
2.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.737 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.737 * [backup-simplify]: Simplify 0 into 0
2.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.739 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.739 * [backup-simplify]: Simplify 0 into 0
2.739 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2))
2.739 * [backup-simplify]: Simplify (* (/ 1 z) (* (/ 1 z) 3)) into (/ 3 (pow z 2))
2.739 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
2.739 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.739 * [taylor]: Taking taylor expansion of 3 in z
2.739 * [backup-simplify]: Simplify 3 into 3
2.739 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.739 * [taylor]: Taking taylor expansion of z in z
2.739 * [backup-simplify]: Simplify 0 into 0
2.739 * [backup-simplify]: Simplify 1 into 1
2.739 * [backup-simplify]: Simplify (* 1 1) into 1
2.740 * [backup-simplify]: Simplify (/ 3 1) into 3
2.740 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.740 * [taylor]: Taking taylor expansion of 3 in z
2.740 * [backup-simplify]: Simplify 3 into 3
2.740 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.740 * [taylor]: Taking taylor expansion of z in z
2.740 * [backup-simplify]: Simplify 0 into 0
2.740 * [backup-simplify]: Simplify 1 into 1
2.740 * [backup-simplify]: Simplify (* 1 1) into 1
2.740 * [backup-simplify]: Simplify (/ 3 1) into 3
2.740 * [backup-simplify]: Simplify 3 into 3
2.741 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
2.741 * [backup-simplify]: Simplify 0 into 0
2.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.742 * [backup-simplify]: Simplify 0 into 0
2.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.743 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.744 * [backup-simplify]: Simplify 0 into 0
2.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.745 * [backup-simplify]: Simplify 0 into 0
2.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.746 * [backup-simplify]: Simplify 0 into 0
2.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.748 * [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
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2))
2.748 * [backup-simplify]: Simplify (* (/ 1 (- z)) (* (/ 1 (- z)) 3)) into (/ 3 (pow z 2))
2.748 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0
2.748 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.748 * [taylor]: Taking taylor expansion of 3 in z
2.748 * [backup-simplify]: Simplify 3 into 3
2.748 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.748 * [taylor]: Taking taylor expansion of z in z
2.748 * [backup-simplify]: Simplify 0 into 0
2.748 * [backup-simplify]: Simplify 1 into 1
2.748 * [backup-simplify]: Simplify (* 1 1) into 1
2.749 * [backup-simplify]: Simplify (/ 3 1) into 3
2.749 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
2.749 * [taylor]: Taking taylor expansion of 3 in z
2.749 * [backup-simplify]: Simplify 3 into 3
2.749 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.749 * [taylor]: Taking taylor expansion of z in z
2.749 * [backup-simplify]: Simplify 0 into 0
2.749 * [backup-simplify]: Simplify 1 into 1
2.749 * [backup-simplify]: Simplify (* 1 1) into 1
2.749 * [backup-simplify]: Simplify (/ 3 1) into 3
2.749 * [backup-simplify]: Simplify 3 into 3
2.750 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0
2.750 * [backup-simplify]: Simplify 0 into 0
2.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.751 * [backup-simplify]: Simplify 0 into 0
2.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.753 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.753 * [backup-simplify]: Simplify 0 into 0
2.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.754 * [backup-simplify]: Simplify 0 into 0
2.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.755 * [backup-simplify]: Simplify 0 into 0
2.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.757 * [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
2.757 * [backup-simplify]: Simplify 0 into 0
2.757 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2))
2.757 * * * [progress]: simplifying candidates
2.758 * [simplify]: Simplifying:
  (log (sqrt (* z (* z 3))))
  (exp (sqrt (* z (* z 3))))
  (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3)))))
  (cbrt (sqrt (* z (* z 3))))
  (* (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))) (sqrt (* z (* z 3))))
  (sqrt z)
  (sqrt (* z 3))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* z (* z 3))))
  (sqrt (sqrt (* z (* z 3))))
  (log (sqrt (* z (* z 3))))
  (exp (sqrt (* z (* z 3))))
  (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3)))))
  (cbrt (sqrt (* z (* z 3))))
  (* (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))) (sqrt (* z (* z 3))))
  (sqrt z)
  (sqrt (* z 3))
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* z (* z 3))))
  (sqrt (sqrt (* z (* z 3))))
  (+ 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 (* z 3)) (* z (* z 3)))
  (* (sqrt (* z (* z 3))) (sqrt (* 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 (* z 3)))
  (+ 1 1)
  (+ (log (sqrt (* z (* z 3)))) (log (sqrt (* z (* z 3)))))
  (log (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))))
  (exp (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))))
  (* (* (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))) (* (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))
  (* (cbrt (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))) (cbrt (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))
  (cbrt (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))))
  (* (* (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))))
  (* (* z (* z 3)) (* z (* z 3)))
  (sqrt (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))))
  (sqrt (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3)))))
  (* (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))) (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))))
  (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3)))))
  (* (sqrt z) (sqrt z))
  (* (sqrt (* z 3)) (sqrt (* z 3)))
  (* (sqrt (sqrt (* z (* z 3)))) (sqrt (sqrt (* z (* z 3)))))
  (* (sqrt (sqrt (* z (* z 3)))) (sqrt (sqrt (* z (* z 3)))))
  (* 1 1)
  (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))
  (* (sqrt (sqrt (* z (* z 3)))) (sqrt (sqrt (* z (* z 3)))))
  (* (sqrt (sqrt (* z (* z 3)))) (sqrt (sqrt (* z (* z 3)))))
  (* 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 (* z 3))) (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))))
  (* (sqrt (* z (* z 3))) (sqrt z))
  (* (sqrt (* z (* z 3))) (sqrt (sqrt (* z (* z 3)))))
  (* (sqrt (* z (* z 3))) 1)
  (* (cbrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3))))
  (* (sqrt (* z 3)) (sqrt (* z (* z 3))))
  (* (sqrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3))))
  (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))
  (* z (* z 3))
  (* z (* z 3))
  (+ (log z) (+ (log z) (log 3)))
  (+ (log z) (log (* z 3)))
  (log (* z (* z 3)))
  (exp (* z (* z 3)))
  (* (* (* z z) z) (* (* (* z z) z) (* (* 3 3) 3)))
  (* (* (* z z) z) (* (* (* z 3) (* z 3)) (* z 3)))
  (* (cbrt (* z (* z 3))) (cbrt (* z (* z 3))))
  (cbrt (* z (* z 3)))
  (* (* (* z (* z 3)) (* z (* z 3))) (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (* z z)
  (* (cbrt z) (* z 3))
  (* (sqrt z) (* z 3))
  (* z (* z 3))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* -1 (* z (sqrt 3)))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* -1 (* z (sqrt 3)))
  (* (pow z 2) (pow (sqrt 3) 2))
  (* (pow z 2) (pow (sqrt 3) 2))
  (* (pow z 2) (pow (sqrt 3) 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
  (* 3 (pow z 2))
2.759 * * [simplify]: iteration 0: 79 enodes
2.782 * * [simplify]: iteration 1: 210 enodes
2.906 * * [simplify]: iteration 2: 1282 enodes
3.387 * * [simplify]: iteration complete: 5000 enodes
3.387 * * [simplify]: Extracting #0: cost 34 inf + 0
3.389 * * [simplify]: Extracting #1: cost 939 inf + 4
3.398 * * [simplify]: Extracting #2: cost 1978 inf + 14372
3.438 * * [simplify]: Extracting #3: cost 819 inf + 166028
3.501 * * [simplify]: Extracting #4: cost 201 inf + 279053
3.583 * * [simplify]: Extracting #5: cost 0 inf + 329232
3.671 * [simplify]: Simplified to:
  (log (sqrt (* 3 (* z z))))
  (exp (sqrt (* 3 (* z z))))
  (* (cbrt (sqrt (* 3 (* z z)))) (cbrt (sqrt (* 3 (* z z)))))
  (cbrt (sqrt (* 3 (* z z))))
  (* (* 3 (* z z)) (sqrt (* 3 (* z z))))
  (sqrt z)
  (sqrt (* 3 z))
  1/2
  1/2
  1/2
  (sqrt (sqrt (* 3 (* z z))))
  (sqrt (sqrt (* 3 (* z z))))
  (log (sqrt (* 3 (* z z))))
  (exp (sqrt (* 3 (* z z))))
  (* (cbrt (sqrt (* 3 (* z z)))) (cbrt (sqrt (* 3 (* z z)))))
  (cbrt (sqrt (* 3 (* z z))))
  (* (* 3 (* z z)) (sqrt (* 3 (* z z))))
  (sqrt z)
  (sqrt (* 3 z))
  1/2
  1/2
  1/2
  (sqrt (sqrt (* 3 (* z z))))
  (sqrt (sqrt (* 3 (* z z))))
  1
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (* (* z z) (* z z)) 9)
  (* 3 (* z z))
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  (* (* (* z z) (* z z)) 9)
  2
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* (* 3 (* z z)) (* (* 3 (* z z)) (* 3 (* z z))))
  (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z))))
  (cbrt (* 3 (* z z)))
  (* (* 3 (* z z)) (* (* 3 (* z z)) (* 3 (* z z))))
  (* (* (* z z) (* z z)) 9)
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  (* (sqrt (* 3 (* z z))) (cbrt (sqrt (* 3 (* z z)))))
  (* (cbrt (sqrt (* 3 (* z z)))) (cbrt (sqrt (* 3 (* z z)))))
  z
  (* 3 z)
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  1
  (* 3 (* z z))
  (sqrt (* 3 (* z z)))
  (sqrt (* 3 (* z z)))
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (sqrt (* 3 (* z z))) (* (cbrt (sqrt (* 3 (* z z)))) (cbrt (sqrt (* 3 (* z z))))))
  (* (sqrt z) (sqrt (* 3 (* z z))))
  (* (sqrt (* 3 (* z z))) (sqrt (sqrt (* 3 (* z z)))))
  (sqrt (* 3 (* z z)))
  (* (sqrt (* 3 (* z z))) (cbrt (sqrt (* 3 (* z z)))))
  (* (sqrt (* 3 z)) (sqrt (* 3 (* z z))))
  (* (sqrt (* 3 (* z z))) (sqrt (sqrt (* 3 (* z z)))))
  (* 3 (* z z))
  (* 3 (* z z))
  (* 3 (* z z))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (log (* 3 (* z z)))
  (exp (* 3 (* z z)))
  (* (* (* (* z z) z) 27) (* (* z z) z))
  (* (* (* 3 z) (* 3 z)) (* (* (* 3 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)))
  (* z z)
  (* (* (cbrt z) z) 3)
  (* (* (sqrt z) z) 3)
  (* 3 (* z z))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (- z) (sqrt 3))
  (* z (sqrt 3))
  (* z (sqrt 3))
  (* (- z) (sqrt 3))
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
  (* (* z z) 3)
3.680 * * * [progress]: adding candidates to table
4.122 * * [progress]: iteration 4 / 4
4.122 * * * [progress]: picking best candidate
4.165 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))>
4.165 * * * [progress]: localizing error
4.194 * * * [progress]: generating rewritten candidates
4.194 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
4.261 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
4.279 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
4.287 * * * [progress]: generating series expansions
4.288 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
4.288 * [backup-simplify]: Simplify (* (* (* z z) (sqrt 3)) (sqrt 3)) into (* (pow z 2) (pow (sqrt 3) 2))
4.289 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in (z) around 0
4.289 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z
4.289 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.289 * [taylor]: Taking taylor expansion of z in z
4.289 * [backup-simplify]: Simplify 0 into 0
4.289 * [backup-simplify]: Simplify 1 into 1
4.289 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.289 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.289 * [taylor]: Taking taylor expansion of 3 in z
4.289 * [backup-simplify]: Simplify 3 into 3
4.289 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.289 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z
4.289 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.289 * [taylor]: Taking taylor expansion of z in z
4.289 * [backup-simplify]: Simplify 0 into 0
4.289 * [backup-simplify]: Simplify 1 into 1
4.289 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.289 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.289 * [taylor]: Taking taylor expansion of 3 in z
4.290 * [backup-simplify]: Simplify 3 into 3
4.290 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.290 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.290 * [backup-simplify]: Simplify (* 1 1) into 1
4.291 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.292 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3) 2)) into (pow (sqrt 3) 2)
4.293 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
4.293 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.294 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3) 2))) into 0
4.294 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.296 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))) into 0
4.297 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.298 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2))))) into 0
4.300 * [backup-simplify]: Simplify 0 into 0
4.301 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.301 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
4.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))))) into 0
4.303 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.305 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
4.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2))))))) into 0
4.307 * [backup-simplify]: Simplify 0 into 0
4.307 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.308 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
4.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))))))) into 0
4.310 * [backup-simplify]: Simplify 0 into 0
4.311 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow z 2)) into (* (pow z 2) (pow (sqrt 3) 2))
4.312 * [backup-simplify]: Simplify (* (* (* (/ 1 z) (/ 1 z)) (sqrt 3)) (sqrt 3)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.312 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
4.312 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.312 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.312 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.312 * [taylor]: Taking taylor expansion of 3 in z
4.312 * [backup-simplify]: Simplify 3 into 3
4.312 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.312 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.312 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.312 * [taylor]: Taking taylor expansion of z in z
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify 1 into 1
4.313 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.313 * [backup-simplify]: Simplify (* 1 1) into 1
4.314 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.314 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.314 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.314 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.314 * [taylor]: Taking taylor expansion of 3 in z
4.314 * [backup-simplify]: Simplify 3 into 3
4.315 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.315 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.315 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.315 * [taylor]: Taking taylor expansion of z in z
4.315 * [backup-simplify]: Simplify 0 into 0
4.315 * [backup-simplify]: Simplify 1 into 1
4.316 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.316 * [backup-simplify]: Simplify (* 1 1) into 1
4.317 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.318 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
4.318 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.319 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
4.319 * [backup-simplify]: Simplify 0 into 0
4.320 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.321 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.322 * [backup-simplify]: Simplify 0 into 0
4.323 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.323 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.325 * [backup-simplify]: Simplify 0 into 0
4.326 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.328 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
4.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.330 * [backup-simplify]: Simplify 0 into 0
4.331 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.332 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
4.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.334 * [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
4.334 * [backup-simplify]: Simplify 0 into 0
4.335 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.336 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
4.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.337 * [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
4.337 * [backup-simplify]: Simplify 0 into 0
4.338 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 z)) 2)) into (* (pow z 2) (pow (sqrt 3) 2))
4.339 * [backup-simplify]: Simplify (* (* (* (/ 1 (- z)) (/ 1 (- z))) (sqrt 3)) (sqrt 3)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.339 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in (z) around 0
4.339 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.339 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.339 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.339 * [taylor]: Taking taylor expansion of 3 in z
4.339 * [backup-simplify]: Simplify 3 into 3
4.608 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.608 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.608 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.608 * [taylor]: Taking taylor expansion of z in z
4.608 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 1 into 1
4.609 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.609 * [backup-simplify]: Simplify (* 1 1) into 1
4.610 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.610 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.610 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.611 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.611 * [taylor]: Taking taylor expansion of 3 in z
4.611 * [backup-simplify]: Simplify 3 into 3
4.611 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.611 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.611 * [taylor]: Taking taylor expansion of z in z
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 1 into 1
4.612 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.612 * [backup-simplify]: Simplify (* 1 1) into 1
4.613 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.614 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
4.614 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
4.615 * [backup-simplify]: Simplify 0 into 0
4.616 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.617 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.618 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.620 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.621 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.623 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
4.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.624 * [backup-simplify]: Simplify 0 into 0
4.625 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.626 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
4.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.627 * [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
4.627 * [backup-simplify]: Simplify 0 into 0
4.628 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.629 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
4.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.631 * [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
4.631 * [backup-simplify]: Simplify 0 into 0
4.632 * [backup-simplify]: Simplify (* (pow (sqrt 3) 2) (pow (/ 1 (/ 1 (- z))) 2)) into (* (pow z 2) (pow (sqrt 3) 2))
4.632 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
4.632 * [backup-simplify]: Simplify (* (* z z) (sqrt 3)) into (* (pow z 2) (sqrt 3))
4.632 * [approximate]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in (z) around 0
4.632 * [taylor]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in z
4.632 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.632 * [taylor]: Taking taylor expansion of z in z
4.632 * [backup-simplify]: Simplify 0 into 0
4.632 * [backup-simplify]: Simplify 1 into 1
4.632 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.632 * [taylor]: Taking taylor expansion of 3 in z
4.632 * [backup-simplify]: Simplify 3 into 3
4.632 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.633 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.633 * [taylor]: Taking taylor expansion of (* (pow z 2) (sqrt 3)) in z
4.633 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.633 * [taylor]: Taking taylor expansion of z in z
4.633 * [backup-simplify]: Simplify 0 into 0
4.633 * [backup-simplify]: Simplify 1 into 1
4.633 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.633 * [taylor]: Taking taylor expansion of 3 in z
4.633 * [backup-simplify]: Simplify 3 into 3
4.633 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.634 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.634 * [backup-simplify]: Simplify (* 1 1) into 1
4.634 * [backup-simplify]: Simplify (* 1 (sqrt 3)) into (sqrt 3)
4.635 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.635 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.636 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3))) into 0
4.636 * [backup-simplify]: Simplify 0 into 0
4.636 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.637 * [backup-simplify]: Simplify 0 into 0
4.639 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.641 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))) into 0
4.644 * [backup-simplify]: Simplify 0 into 0
4.645 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))))) into 0
4.647 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3)))))))) into 0
4.652 * [backup-simplify]: Simplify 0 into 0
4.652 * [backup-simplify]: Simplify (* (sqrt 3) (pow z 2)) into (* (pow z 2) (sqrt 3))
4.653 * [backup-simplify]: Simplify (* (* (/ 1 z) (/ 1 z)) (sqrt 3)) into (/ (sqrt 3) (pow z 2))
4.653 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in (z) around 0
4.653 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z
4.653 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.653 * [taylor]: Taking taylor expansion of 3 in z
4.653 * [backup-simplify]: Simplify 3 into 3
4.653 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.654 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.654 * [taylor]: Taking taylor expansion of z in z
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 1 into 1
4.654 * [backup-simplify]: Simplify (* 1 1) into 1
4.655 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
4.655 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z
4.655 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.655 * [taylor]: Taking taylor expansion of 3 in z
4.655 * [backup-simplify]: Simplify 3 into 3
4.655 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.656 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.656 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.656 * [taylor]: Taking taylor expansion of z in z
4.656 * [backup-simplify]: Simplify 0 into 0
4.656 * [backup-simplify]: Simplify 1 into 1
4.656 * [backup-simplify]: Simplify (* 1 1) into 1
4.657 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
4.657 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
4.659 * [backup-simplify]: Simplify 0 into 0
4.660 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.662 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.665 * [backup-simplify]: Simplify 0 into 0
4.666 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.668 * [backup-simplify]: Simplify 0 into 0
4.669 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.671 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.674 * [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
4.674 * [backup-simplify]: Simplify 0 into 0
4.675 * [backup-simplify]: Simplify (* (sqrt 3) (pow (/ 1 (/ 1 z)) 2)) into (* (pow z 2) (sqrt 3))
4.675 * [backup-simplify]: Simplify (* (* (/ 1 (- z)) (/ 1 (- z))) (sqrt 3)) into (/ (sqrt 3) (pow z 2))
4.675 * [approximate]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in (z) around 0
4.675 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z
4.675 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.675 * [taylor]: Taking taylor expansion of 3 in z
4.676 * [backup-simplify]: Simplify 3 into 3
4.676 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.676 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.676 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.676 * [taylor]: Taking taylor expansion of z in z
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 1 into 1
4.677 * [backup-simplify]: Simplify (* 1 1) into 1
4.678 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
4.678 * [taylor]: Taking taylor expansion of (/ (sqrt 3) (pow z 2)) in z
4.678 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.678 * [taylor]: Taking taylor expansion of 3 in z
4.678 * [backup-simplify]: Simplify 3 into 3
4.678 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.679 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.679 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.679 * [taylor]: Taking taylor expansion of z in z
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify 1 into 1
4.679 * [backup-simplify]: Simplify (* 1 1) into 1
4.680 * [backup-simplify]: Simplify (/ (sqrt 3) 1) into (sqrt 3)
4.680 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)))) into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.684 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.687 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.691 * [backup-simplify]: Simplify 0 into 0
4.692 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.694 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.697 * [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
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify (* (sqrt 3) (pow (/ 1 (/ 1 (- z))) 2)) into (* (pow z 2) (sqrt 3))
4.697 * * * * [progress]: [ 3 / 3 ] generating series at (2)
4.699 * [backup-simplify]: Simplify (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))) into (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y))
4.699 * [approximate]: Taking taylor expansion of (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y)) in (x y z) around 0
4.699 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y)) in z
4.699 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z
4.699 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.699 * [taylor]: Taking taylor expansion of z in z
4.699 * [backup-simplify]: Simplify 0 into 0
4.699 * [backup-simplify]: Simplify 1 into 1
4.699 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.699 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.699 * [taylor]: Taking taylor expansion of 3 in z
4.699 * [backup-simplify]: Simplify 3 into 3
4.699 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.700 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.700 * [taylor]: Taking taylor expansion of (* x y) in z
4.700 * [taylor]: Taking taylor expansion of x in z
4.700 * [backup-simplify]: Simplify x into x
4.700 * [taylor]: Taking taylor expansion of y in z
4.700 * [backup-simplify]: Simplify y into y
4.700 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y)) in y
4.700 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in y
4.700 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.700 * [taylor]: Taking taylor expansion of z in y
4.700 * [backup-simplify]: Simplify z into z
4.700 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
4.700 * [taylor]: Taking taylor expansion of (sqrt 3) in y
4.700 * [taylor]: Taking taylor expansion of 3 in y
4.700 * [backup-simplify]: Simplify 3 into 3
4.700 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.701 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.701 * [taylor]: Taking taylor expansion of (* x y) in y
4.701 * [taylor]: Taking taylor expansion of x in y
4.701 * [backup-simplify]: Simplify x into x
4.701 * [taylor]: Taking taylor expansion of y in y
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify 1 into 1
4.701 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y)) in x
4.701 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in x
4.701 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.701 * [taylor]: Taking taylor expansion of z in x
4.701 * [backup-simplify]: Simplify z into z
4.701 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
4.701 * [taylor]: Taking taylor expansion of (sqrt 3) in x
4.701 * [taylor]: Taking taylor expansion of 3 in x
4.701 * [backup-simplify]: Simplify 3 into 3
4.702 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.702 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.702 * [taylor]: Taking taylor expansion of (* x y) in x
4.702 * [taylor]: Taking taylor expansion of x in x
4.702 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify 1 into 1
4.702 * [taylor]: Taking taylor expansion of y in x
4.703 * [backup-simplify]: Simplify y into y
4.703 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y)) in x
4.703 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in x
4.703 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.703 * [taylor]: Taking taylor expansion of z in x
4.703 * [backup-simplify]: Simplify z into z
4.703 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
4.703 * [taylor]: Taking taylor expansion of (sqrt 3) in x
4.703 * [taylor]: Taking taylor expansion of 3 in x
4.703 * [backup-simplify]: Simplify 3 into 3
4.703 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.703 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.703 * [taylor]: Taking taylor expansion of (* x y) in x
4.703 * [taylor]: Taking taylor expansion of x in x
4.703 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify 1 into 1
4.703 * [taylor]: Taking taylor expansion of y in x
4.703 * [backup-simplify]: Simplify y into y
4.704 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.704 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.705 * [backup-simplify]: Simplify (* (pow z 2) (pow (sqrt 3) 2)) into (* (pow z 2) (pow (sqrt 3) 2))
4.705 * [backup-simplify]: Simplify (* 0 y) into 0
4.706 * [backup-simplify]: Simplify (+ (* (pow z 2) (pow (sqrt 3) 2)) 0) into (* (pow z 2) (pow (sqrt 3) 2))
4.706 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in y
4.706 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.706 * [taylor]: Taking taylor expansion of z in y
4.706 * [backup-simplify]: Simplify z into z
4.706 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
4.706 * [taylor]: Taking taylor expansion of (sqrt 3) in y
4.706 * [taylor]: Taking taylor expansion of 3 in y
4.706 * [backup-simplify]: Simplify 3 into 3
4.707 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.707 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.707 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.708 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.709 * [backup-simplify]: Simplify (* (pow z 2) (pow (sqrt 3) 2)) into (* (pow z 2) (pow (sqrt 3) 2))
4.709 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sqrt 3) 2)) in z
4.709 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.709 * [taylor]: Taking taylor expansion of z in z
4.709 * [backup-simplify]: Simplify 0 into 0
4.709 * [backup-simplify]: Simplify 1 into 1
4.709 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.709 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.709 * [taylor]: Taking taylor expansion of 3 in z
4.709 * [backup-simplify]: Simplify 3 into 3
4.709 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.710 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.710 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.710 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.711 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 (pow (sqrt 3) 2))) into 0
4.711 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.711 * [backup-simplify]: Simplify (+ 0 y) into y
4.711 * [taylor]: Taking taylor expansion of y in y
4.711 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify 1 into 1
4.711 * [taylor]: Taking taylor expansion of 0 in z
4.711 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.712 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.714 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 (pow (sqrt 3) 2))) into 0
4.714 * [taylor]: Taking taylor expansion of 0 in z
4.714 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.716 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.716 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.717 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))) into 0
4.717 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.717 * [backup-simplify]: Simplify (+ 0 0) into 0
4.717 * [taylor]: Taking taylor expansion of 0 in y
4.717 * [backup-simplify]: Simplify 0 into 0
4.717 * [taylor]: Taking taylor expansion of 0 in z
4.717 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify 0 into 0
4.717 * [taylor]: Taking taylor expansion of 1 in z
4.718 * [backup-simplify]: Simplify 1 into 1
4.718 * [backup-simplify]: Simplify 1 into 1
4.718 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.719 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.719 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.720 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2)))) into 0
4.720 * [taylor]: Taking taylor expansion of 0 in z
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify (* 1 1) into 1
4.721 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.722 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3) 2)) into (pow (sqrt 3) 2)
4.723 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
4.723 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.724 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.725 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.726 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2))))) into 0
4.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.727 * [backup-simplify]: Simplify (+ 0 0) into 0
4.727 * [taylor]: Taking taylor expansion of 0 in y
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [taylor]: Taking taylor expansion of 0 in z
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [taylor]: Taking taylor expansion of 0 in z
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [taylor]: Taking taylor expansion of 0 in z
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify 0 into 0
4.729 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.730 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.730 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.731 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3) 2))))) into 0
4.731 * [taylor]: Taking taylor expansion of 0 in z
4.731 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify 0 into 0
4.732 * [backup-simplify]: Simplify 0 into 0
4.732 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3) 2) (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* y x)))) into (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y))
4.734 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (* (* (/ 1 z) (/ 1 z)) (sqrt 3)) (sqrt 3))) into (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y)))
4.734 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in (x y z) around 0
4.734 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z
4.734 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.734 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.734 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.734 * [taylor]: Taking taylor expansion of 3 in z
4.734 * [backup-simplify]: Simplify 3 into 3
4.734 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.735 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.735 * [taylor]: Taking taylor expansion of z in z
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify 1 into 1
4.736 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.736 * [backup-simplify]: Simplify (* 1 1) into 1
4.738 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.738 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.738 * [taylor]: Taking taylor expansion of (* x y) in z
4.738 * [taylor]: Taking taylor expansion of x in z
4.738 * [backup-simplify]: Simplify x into x
4.738 * [taylor]: Taking taylor expansion of y in z
4.738 * [backup-simplify]: Simplify y into y
4.738 * [backup-simplify]: Simplify (* x y) into (* x y)
4.738 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.739 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in y
4.739 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y
4.739 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
4.739 * [taylor]: Taking taylor expansion of (sqrt 3) in y
4.739 * [taylor]: Taking taylor expansion of 3 in y
4.739 * [backup-simplify]: Simplify 3 into 3
4.739 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.740 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.740 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.740 * [taylor]: Taking taylor expansion of z in y
4.740 * [backup-simplify]: Simplify z into z
4.741 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.741 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.742 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.742 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.742 * [taylor]: Taking taylor expansion of (* x y) in y
4.742 * [taylor]: Taking taylor expansion of x in y
4.742 * [backup-simplify]: Simplify x into x
4.742 * [taylor]: Taking taylor expansion of y in y
4.742 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify 1 into 1
4.742 * [backup-simplify]: Simplify (* x 0) into 0
4.742 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.742 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.742 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x
4.742 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x
4.742 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
4.742 * [taylor]: Taking taylor expansion of (sqrt 3) in x
4.742 * [taylor]: Taking taylor expansion of 3 in x
4.742 * [backup-simplify]: Simplify 3 into 3
4.743 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.743 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.743 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.743 * [taylor]: Taking taylor expansion of z in x
4.743 * [backup-simplify]: Simplify z into z
4.744 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.745 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.745 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.745 * [taylor]: Taking taylor expansion of (* x y) in x
4.746 * [taylor]: Taking taylor expansion of x in x
4.746 * [backup-simplify]: Simplify 0 into 0
4.746 * [backup-simplify]: Simplify 1 into 1
4.746 * [taylor]: Taking taylor expansion of y in x
4.746 * [backup-simplify]: Simplify y into y
4.746 * [backup-simplify]: Simplify (* 0 y) into 0
4.746 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.746 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.746 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x
4.746 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x
4.746 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
4.746 * [taylor]: Taking taylor expansion of (sqrt 3) in x
4.746 * [taylor]: Taking taylor expansion of 3 in x
4.746 * [backup-simplify]: Simplify 3 into 3
4.747 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.747 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.747 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.747 * [taylor]: Taking taylor expansion of z in x
4.747 * [backup-simplify]: Simplify z into z
4.748 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.748 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.749 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.749 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.749 * [taylor]: Taking taylor expansion of (* x y) in x
4.749 * [taylor]: Taking taylor expansion of x in x
4.749 * [backup-simplify]: Simplify 0 into 0
4.749 * [backup-simplify]: Simplify 1 into 1
4.749 * [taylor]: Taking taylor expansion of y in x
4.749 * [backup-simplify]: Simplify y into y
4.749 * [backup-simplify]: Simplify (* 0 y) into 0
4.750 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.750 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.750 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.750 * [taylor]: Taking taylor expansion of y in y
4.750 * [backup-simplify]: Simplify 0 into 0
4.750 * [backup-simplify]: Simplify 1 into 1
4.750 * [backup-simplify]: Simplify (/ 1 1) into 1
4.751 * [taylor]: Taking taylor expansion of 1 in z
4.751 * [backup-simplify]: Simplify 1 into 1
4.751 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.751 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.752 * [backup-simplify]: Simplify (+ (/ (pow (sqrt 3) 2) (pow z 2)) 0) into (/ (pow (sqrt 3) 2) (pow z 2))
4.752 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y
4.752 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
4.752 * [taylor]: Taking taylor expansion of (sqrt 3) in y
4.752 * [taylor]: Taking taylor expansion of 3 in y
4.753 * [backup-simplify]: Simplify 3 into 3
4.753 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.753 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.753 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.754 * [taylor]: Taking taylor expansion of z in y
4.754 * [backup-simplify]: Simplify z into z
4.755 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.755 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.756 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.756 * [taylor]: Taking taylor expansion of 0 in z
4.756 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.757 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.758 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))))) into 0
4.759 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.759 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.759 * [backup-simplify]: Simplify (+ 0 0) into 0
4.759 * [taylor]: Taking taylor expansion of 0 in y
4.759 * [backup-simplify]: Simplify 0 into 0
4.759 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.759 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.759 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.759 * [taylor]: Taking taylor expansion of 3 in z
4.759 * [backup-simplify]: Simplify 3 into 3
4.760 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.760 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.760 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.760 * [taylor]: Taking taylor expansion of z in z
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 1 into 1
4.761 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.761 * [backup-simplify]: Simplify (* 1 1) into 1
4.762 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.763 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
4.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.763 * [taylor]: Taking taylor expansion of 0 in z
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify 1 into 1
4.764 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.764 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.765 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.766 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.767 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.767 * [backup-simplify]: Simplify (+ 0 0) into 0
4.767 * [taylor]: Taking taylor expansion of 0 in y
4.767 * [backup-simplify]: Simplify 0 into 0
4.767 * [taylor]: Taking taylor expansion of 0 in z
4.767 * [backup-simplify]: Simplify 0 into 0
4.767 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.768 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.769 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))))) into 0
4.769 * [taylor]: Taking taylor expansion of 0 in z
4.769 * [backup-simplify]: Simplify 0 into 0
4.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.769 * [taylor]: Taking taylor expansion of 0 in z
4.769 * [backup-simplify]: Simplify 0 into 0
4.770 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.770 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.772 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.773 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.774 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.775 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.775 * [backup-simplify]: Simplify (+ 0 0) into 0
4.775 * [taylor]: Taking taylor expansion of 0 in y
4.775 * [backup-simplify]: Simplify 0 into 0
4.775 * [taylor]: Taking taylor expansion of 0 in z
4.775 * [backup-simplify]: Simplify 0 into 0
4.775 * [taylor]: Taking taylor expansion of 0 in z
4.775 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.777 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.777 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.778 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.778 * [taylor]: Taking taylor expansion of 0 in z
4.778 * [backup-simplify]: Simplify 0 into 0
4.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.778 * [taylor]: Taking taylor expansion of 0 in z
4.778 * [backup-simplify]: Simplify 0 into 0
4.779 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.780 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.781 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify 0 into 0
4.782 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* (pow (sqrt 3) 2) (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y))
4.783 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (* (* (/ 1 (- z)) (/ 1 (- z))) (sqrt 3)) (sqrt 3))) into (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y)))
4.783 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in (x y z) around 0
4.783 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in z
4.783 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.783 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.783 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.783 * [taylor]: Taking taylor expansion of 3 in z
4.783 * [backup-simplify]: Simplify 3 into 3
4.783 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.783 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.784 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.784 * [taylor]: Taking taylor expansion of z in z
4.784 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify 1 into 1
4.784 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.785 * [backup-simplify]: Simplify (* 1 1) into 1
4.785 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.786 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
4.786 * [taylor]: Taking taylor expansion of (* x y) in z
4.786 * [taylor]: Taking taylor expansion of x in z
4.786 * [backup-simplify]: Simplify x into x
4.786 * [taylor]: Taking taylor expansion of y in z
4.786 * [backup-simplify]: Simplify y into y
4.786 * [backup-simplify]: Simplify (* x y) into (* x y)
4.786 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.786 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in y
4.786 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y
4.786 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
4.786 * [taylor]: Taking taylor expansion of (sqrt 3) in y
4.786 * [taylor]: Taking taylor expansion of 3 in y
4.786 * [backup-simplify]: Simplify 3 into 3
4.786 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.786 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.786 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.787 * [taylor]: Taking taylor expansion of z in y
4.787 * [backup-simplify]: Simplify z into z
4.787 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.787 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.788 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.788 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.788 * [taylor]: Taking taylor expansion of (* x y) in y
4.788 * [taylor]: Taking taylor expansion of x in y
4.788 * [backup-simplify]: Simplify x into x
4.788 * [taylor]: Taking taylor expansion of y in y
4.788 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify 1 into 1
4.788 * [backup-simplify]: Simplify (* x 0) into 0
4.788 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.788 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.788 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x
4.788 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x
4.788 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
4.789 * [taylor]: Taking taylor expansion of (sqrt 3) in x
4.789 * [taylor]: Taking taylor expansion of 3 in x
4.789 * [backup-simplify]: Simplify 3 into 3
4.789 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.789 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.789 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.789 * [taylor]: Taking taylor expansion of z in x
4.789 * [backup-simplify]: Simplify z into z
4.790 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.790 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.791 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.791 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.791 * [taylor]: Taking taylor expansion of (* x y) in x
4.791 * [taylor]: Taking taylor expansion of x in x
4.791 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify 1 into 1
4.791 * [taylor]: Taking taylor expansion of y in x
4.791 * [backup-simplify]: Simplify y into y
4.791 * [backup-simplify]: Simplify (* 0 y) into 0
4.791 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.791 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.791 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 3) 2) (pow z 2)) (/ 1 (* x y))) in x
4.791 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in x
4.791 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in x
4.791 * [taylor]: Taking taylor expansion of (sqrt 3) in x
4.791 * [taylor]: Taking taylor expansion of 3 in x
4.791 * [backup-simplify]: Simplify 3 into 3
4.792 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.792 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.792 * [taylor]: Taking taylor expansion of (pow z 2) in x
4.792 * [taylor]: Taking taylor expansion of z in x
4.792 * [backup-simplify]: Simplify z into z
4.793 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.793 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.793 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.793 * [taylor]: Taking taylor expansion of (* x y) in x
4.793 * [taylor]: Taking taylor expansion of x in x
4.793 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify 1 into 1
4.794 * [taylor]: Taking taylor expansion of y in x
4.794 * [backup-simplify]: Simplify y into y
4.794 * [backup-simplify]: Simplify (* 0 y) into 0
4.794 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.794 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.794 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.794 * [taylor]: Taking taylor expansion of y in y
4.794 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify 1 into 1
4.794 * [backup-simplify]: Simplify (/ 1 1) into 1
4.794 * [taylor]: Taking taylor expansion of 1 in z
4.794 * [backup-simplify]: Simplify 1 into 1
4.795 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.796 * [backup-simplify]: Simplify (+ (/ (pow (sqrt 3) 2) (pow z 2)) 0) into (/ (pow (sqrt 3) 2) (pow z 2))
4.796 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in y
4.796 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in y
4.796 * [taylor]: Taking taylor expansion of (sqrt 3) in y
4.796 * [taylor]: Taking taylor expansion of 3 in y
4.796 * [backup-simplify]: Simplify 3 into 3
4.797 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.797 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.797 * [taylor]: Taking taylor expansion of (pow z 2) in y
4.797 * [taylor]: Taking taylor expansion of z in y
4.797 * [backup-simplify]: Simplify z into z
4.798 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.798 * [backup-simplify]: Simplify (* z z) into (pow z 2)
4.799 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) (pow z 2)) into (/ (pow (sqrt 3) 2) (pow z 2))
4.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.799 * [taylor]: Taking taylor expansion of 0 in z
4.799 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.800 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.801 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))))) into 0
4.802 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.802 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.802 * [backup-simplify]: Simplify (+ 0 0) into 0
4.802 * [taylor]: Taking taylor expansion of 0 in y
4.802 * [backup-simplify]: Simplify 0 into 0
4.802 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3) 2) (pow z 2)) in z
4.802 * [taylor]: Taking taylor expansion of (pow (sqrt 3) 2) in z
4.802 * [taylor]: Taking taylor expansion of (sqrt 3) in z
4.802 * [taylor]: Taking taylor expansion of 3 in z
4.802 * [backup-simplify]: Simplify 3 into 3
4.802 * [backup-simplify]: Simplify (sqrt 3) into (sqrt 3)
4.803 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3))) into 0
4.803 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.803 * [taylor]: Taking taylor expansion of z in z
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify 1 into 1
4.804 * [backup-simplify]: Simplify (* (sqrt 3) (sqrt 3)) into (pow (sqrt 3) 2)
4.804 * [backup-simplify]: Simplify (* 1 1) into 1
4.805 * [backup-simplify]: Simplify (/ (pow (sqrt 3) 2) 1) into (pow (sqrt 3) 2)
4.805 * [backup-simplify]: Simplify (pow (sqrt 3) 2) into (pow (sqrt 3) 2)
4.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.806 * [taylor]: Taking taylor expansion of 0 in z
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify 1 into 1
4.807 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.807 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.808 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.808 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.809 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.810 * [backup-simplify]: Simplify (+ 0 0) into 0
4.810 * [taylor]: Taking taylor expansion of 0 in y
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [taylor]: Taking taylor expansion of 0 in z
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.810 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
4.811 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))))) into 0
4.811 * [taylor]: Taking taylor expansion of 0 in z
4.811 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.812 * [taylor]: Taking taylor expansion of 0 in z
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (* 0 (sqrt 3))) into 0
4.814 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.815 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)))) into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3))) into 0
4.816 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3))))) into 0
4.817 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.818 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.819 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.820 * [backup-simplify]: Simplify (+ 0 0) into 0
4.820 * [taylor]: Taking taylor expansion of 0 in y
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [taylor]: Taking taylor expansion of 0 in z
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [taylor]: Taking taylor expansion of 0 in z
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.821 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.821 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
4.822 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ (pow (sqrt 3) 2) (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
4.822 * [taylor]: Taking taylor expansion of 0 in z
4.822 * [backup-simplify]: Simplify 0 into 0
4.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.823 * [taylor]: Taking taylor expansion of 0 in z
4.823 * [backup-simplify]: Simplify 0 into 0
4.824 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3))) into 0
4.824 * [backup-simplify]: Simplify (+ (* (sqrt 3) 0) (+ (* 0 0) (* 0 (sqrt 3)))) into 0
4.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.827 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* (pow (sqrt 3) 2) (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y))
4.827 * * * [progress]: simplifying candidates
4.827 * [simplify]: Simplifying:
  (* (* (* z z) (sqrt 3)) (sqrt 3))
  (* (* (* z z) (sqrt 3)) (sqrt 3))
  (* (* (* z z) (sqrt 3)) (sqrt 3))
  (+ (+ (+ (log z) (log z)) (log (sqrt 3))) (log (sqrt 3)))
  (+ (+ (log (* z z)) (log (sqrt 3))) (log (sqrt 3)))
  (+ (log (* (* z z) (sqrt 3))) (log (sqrt 3)))
  (log (* (* (* z z) (sqrt 3)) (sqrt 3)))
  (exp (* (* (* z z) (sqrt 3)) (sqrt 3)))
  (* (* (* (* (* z z) z) (* (* z z) z)) (* (* (sqrt 3) (sqrt 3)) (sqrt 3))) (* (* (sqrt 3) (sqrt 3)) (sqrt 3)))
  (* (* (* (* (* z z) (* z z)) (* z z)) (* (* (sqrt 3) (sqrt 3)) (sqrt 3))) (* (* (sqrt 3) (sqrt 3)) (sqrt 3)))
  (* (* (* (* (* z z) (sqrt 3)) (* (* z z) (sqrt 3))) (* (* z z) (sqrt 3))) (* (* (sqrt 3) (sqrt 3)) (sqrt 3)))
  (* (cbrt (* (* (* z z) (sqrt 3)) (sqrt 3))) (cbrt (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (cbrt (* (* (* z z) (sqrt 3)) (sqrt 3)))
  (* (* (* (* (* z z) (sqrt 3)) (sqrt 3)) (* (* (* z z) (sqrt 3)) (sqrt 3))) (* (* (* z z) (sqrt 3)) (sqrt 3)))
  (sqrt (* (* (* z z) (sqrt 3)) (sqrt 3)))
  (sqrt (* (* (* z z) (sqrt 3)) (sqrt 3)))
  (* (* (* z z) (sqrt 3)) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (* (* (* z z) (sqrt 3)) (sqrt (* (cbrt 3) (cbrt 3))))
  (* (* (* z z) (sqrt 3)) (sqrt (sqrt 3)))
  (* (* (* z z) (sqrt 3)) (sqrt 1))
  (* (* (* z z) (sqrt 3)) (sqrt (sqrt 3)))
  (* (* (* z z) (sqrt 3)) 1)
  (* (sqrt 3) (sqrt 3))
  (* (* z z) (sqrt 3))
  (* (* z z) (sqrt 3))
  (+ (+ (log z) (log z)) (log (sqrt 3)))
  (+ (log (* z z)) (log (sqrt 3)))
  (log (* (* z z) (sqrt 3)))
  (exp (* (* z z) (sqrt 3)))
  (* (* (* (* z z) z) (* (* z z) z)) (* (* (sqrt 3) (sqrt 3)) (sqrt 3)))
  (* (* (* (* z z) (* z z)) (* z z)) (* (* (sqrt 3) (sqrt 3)) (sqrt 3)))
  (* (cbrt (* (* z z) (sqrt 3))) (cbrt (* (* z z) (sqrt 3))))
  (cbrt (* (* z z) (sqrt 3)))
  (* (* (* (* z z) (sqrt 3)) (* (* z z) (sqrt 3))) (* (* z z) (sqrt 3)))
  (sqrt (* (* z z) (sqrt 3)))
  (sqrt (* (* z z) (sqrt 3)))
  (* z (sqrt (sqrt 3)))
  (* z (sqrt (sqrt 3)))
  (* z (sqrt (sqrt 3)))
  (* z (sqrt (sqrt 3)))
  (* (* z z) (* (cbrt (sqrt 3)) (cbrt (sqrt 3))))
  (* (* z z) (sqrt (* (cbrt 3) (cbrt 3))))
  (* (* z z) (sqrt (sqrt 3)))
  (* (* z z) (sqrt 1))
  (* (* z z) (sqrt (sqrt 3)))
  (* (* z z) 1)
  (* z (sqrt 3))
  (* (exp (* x y)) (exp (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (log (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (exp (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (* (cbrt (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3)))) (cbrt (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3)))))
  (cbrt (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (* (* (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3)))) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (sqrt (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (sqrt (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (+ (pow (* x y) 3) (pow (* (* (* z z) (sqrt 3)) (sqrt 3)) 3))
  (+ (* (* x y) (* x y)) (- (* (* (* (* z z) (sqrt 3)) (sqrt 3)) (* (* (* z z) (sqrt 3)) (sqrt 3))) (* (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3)))))
  (- (* (* x y) (* x y)) (* (* (* (* z z) (sqrt 3)) (sqrt 3)) (* (* (* z z) (sqrt 3)) (sqrt 3))))
  (- (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3)))
  (* (pow z 2) (pow (sqrt 3) 2))
  (* (pow z 2) (pow (sqrt 3) 2))
  (* (pow z 2) (pow (sqrt 3) 2))
  (* (pow z 2) (sqrt 3))
  (* (pow z 2) (sqrt 3))
  (* (pow z 2) (sqrt 3))
  (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y))
  (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y))
  (+ (* (pow z 2) (pow (sqrt 3) 2)) (* x y))
4.828 * * [simplify]: iteration 0: 88 enodes
4.847 * * [simplify]: iteration 1: 283 enodes
5.083 * * [simplify]: iteration 2: 1923 enodes
6.011 * * [simplify]: iteration complete: 5001 enodes
6.011 * * [simplify]: Extracting #0: cost 35 inf + 0
6.013 * * [simplify]: Extracting #1: cost 588 inf + 1
6.020 * * [simplify]: Extracting #2: cost 1566 inf + 10421
6.048 * * [simplify]: Extracting #3: cost 1013 inf + 107659
6.097 * * [simplify]: Extracting #4: cost 225 inf + 238445
6.159 * * [simplify]: Extracting #5: cost 28 inf + 285154
6.231 * * [simplify]: Extracting #6: cost 4 inf + 290371
6.293 * * [simplify]: Extracting #7: cost 0 inf + 291547
6.366 * [simplify]: Simplified to:
  (* z (* z 3))
  (* z (* z 3))
  (* z (* z 3))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (log (* z (* z 3)))
  (exp (* 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))))
  (* (cbrt (* z (* z 3))) (cbrt (* z (* z 3))))
  (cbrt (* z (* z 3)))
  (* (* z (* z 3)) (* (* z (* z 3)) (* z (* z 3))))
  (sqrt (* z (* z 3)))
  (sqrt (* z (* z 3)))
  (* (sqrt 3) (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3)))))
  (* (fabs (cbrt 3)) (* (* (sqrt 3) z) z))
  (* (sqrt (sqrt 3)) (* (* (sqrt 3) z) z))
  (* (* (sqrt 3) z) z)
  (* (sqrt (sqrt 3)) (* (* (sqrt 3) z) z))
  (* (* (sqrt 3) z) z)
  3
  (* (* (sqrt 3) z) z)
  (* (* (sqrt 3) z) z)
  (log (* (* (sqrt 3) z) z))
  (log (* (* (sqrt 3) z) z))
  (log (* (* (sqrt 3) z) z))
  (exp (* (* (sqrt 3) z) z))
  (* (* (* (sqrt 3) z) z) (* (* (* (sqrt 3) z) z) (* (* (sqrt 3) z) z)))
  (* (* (* (sqrt 3) z) z) (* (* (* (sqrt 3) z) z) (* (* (sqrt 3) z) z)))
  (* (cbrt (* (* (sqrt 3) z) z)) (cbrt (* (* (sqrt 3) z) z)))
  (cbrt (* (* (sqrt 3) z) z))
  (* (* (* (sqrt 3) z) z) (* (* (* (sqrt 3) z) z) (* (* (sqrt 3) z) z)))
  (sqrt (* (* (sqrt 3) z) z))
  (sqrt (* (* (sqrt 3) z) z))
  (* z (sqrt (sqrt 3)))
  (* z (sqrt (sqrt 3)))
  (* z (sqrt (sqrt 3)))
  (* z (sqrt (sqrt 3)))
  (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3))))
  (* (* z z) (fabs (cbrt 3)))
  (* z (* z (sqrt (sqrt 3))))
  (* z z)
  (* z (* z (sqrt (sqrt 3))))
  (* z z)
  (* (sqrt 3) z)
  (exp (+ (* z (* z 3)) (* x y)))
  (log (+ (* x y) (* z (* z 3))))
  (exp (+ (* z (* z 3)) (* x y)))
  (* (cbrt (+ (* x y) (* z (* z 3)))) (cbrt (+ (* x y) (* z (* z 3)))))
  (cbrt (+ (* x y) (* z (* z 3))))
  (* (+ (* x y) (* z (* z 3))) (* (+ (* x y) (* z (* z 3))) (+ (* x y) (* z (* z 3)))))
  (sqrt (+ (* x y) (* z (* z 3))))
  (sqrt (+ (* x y) (* z (* z 3))))
  (+ (* (* z (* z 3)) (* (* z (* z 3)) (* z (* z 3)))) (* (* x y) (* (* x y) (* x y))))
  (+ (* (* x y) (* x y)) (* (- (* z (* z 3)) (* x y)) (* z (* z 3))))
  (- (* (* x y) (* x y)) (* (* z (* z 3)) (* z (* z 3))))
  (+ (* (* z z) -3) (* x y))
  (* z (* z 3))
  (* z (* z 3))
  (* z (* z 3))
  (* (* (sqrt 3) z) z)
  (* (* (sqrt 3) z) z)
  (* (* (sqrt 3) z) z)
  (+ (* x y) (* z (* z 3)))
  (+ (* x y) (* z (* z 3)))
  (+ (* x y) (* z (* z 3)))
6.371 * * * [progress]: adding candidates to table
6.637 * [progress]: [Phase 3 of 3] Extracting.
6.638 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))> #<alt (λ (x y z) (+ (* x y) (* (* (sqrt 3) (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3))))) (cbrt (sqrt 3)))))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))> #<alt (λ (x y z) (+ (* x y) (* (* (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3))))> #<alt (λ (x y z) (+ (* y x) (* (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))) (* (cbrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))> #<alt (λ (x y z) (+ (* x y) (* (* z z) 3)))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (sqrt (* z (* z 3)))) (* (sqrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))>)
6.639 * * * [regime-changes]: Trying 5 branch expressions: ((* z z) (* x y) z y x)
6.639 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))> #<alt (λ (x y z) (+ (* x y) (* (* (sqrt 3) (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3))))) (cbrt (sqrt 3)))))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))> #<alt (λ (x y z) (+ (* x y) (* (* (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3))))> #<alt (λ (x y z) (+ (* y x) (* (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))) (* (cbrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))> #<alt (λ (x y z) (+ (* x y) (* (* z z) 3)))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (sqrt (* z (* z 3)))) (* (sqrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))>)
6.696 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))> #<alt (λ (x y z) (+ (* x y) (* (* (sqrt 3) (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3))))) (cbrt (sqrt 3)))))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))> #<alt (λ (x y z) (+ (* x y) (* (* (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3))))> #<alt (λ (x y z) (+ (* y x) (* (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))) (* (cbrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))> #<alt (λ (x y z) (+ (* x y) (* (* z z) 3)))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (sqrt (* z (* z 3)))) (* (sqrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))>)
6.752 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))> #<alt (λ (x y z) (+ (* x y) (* (* (sqrt 3) (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3))))) (cbrt (sqrt 3)))))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))> #<alt (λ (x y z) (+ (* x y) (* (* (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3))))> #<alt (λ (x y z) (+ (* y x) (* (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))) (* (cbrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))> #<alt (λ (x y z) (+ (* x y) (* (* z z) 3)))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (sqrt (* z (* z 3)))) (* (sqrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))>)
6.817 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))> #<alt (λ (x y z) (+ (* x y) (* (* (sqrt 3) (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3))))) (cbrt (sqrt 3)))))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))> #<alt (λ (x y z) (+ (* x y) (* (* (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3))))> #<alt (λ (x y z) (+ (* y x) (* (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))) (* (cbrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))> #<alt (λ (x y z) (+ (* x y) (* (* z z) 3)))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (sqrt (* z (* z 3)))) (* (sqrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))>)
6.906 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* x y) (* (* (* z z) (sqrt 3)) (sqrt 3))))> #<alt (λ (x y z) (+ (* x y) (* (* (sqrt 3) (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3))))) (cbrt (sqrt 3)))))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (* z (* z 3))) (sqrt (* z (* z 3))))))> #<alt (λ (x y z) (+ (* x y) (* (* (* (* z (cbrt (sqrt 3))) (* z (cbrt (sqrt 3)))) (cbrt (sqrt 3))) (sqrt 3))))> #<alt (λ (x y z) (+ (* y x) (* (* (cbrt (sqrt (* z (* z 3)))) (cbrt (sqrt (* z (* z 3))))) (* (cbrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))> #<alt (λ (x y z) (+ (* x y) (* (* z z) 3)))> #<alt (λ (x y z) (+ (* y x) (* (sqrt (sqrt (* z (* z 3)))) (* (sqrt (sqrt (* z (* z 3)))) (sqrt (* z (* z 3)))))))>)
6.988 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
6.988 * [simplify]: Simplifying:
  (+ (* x y) (* (* z z) 3))
6.988 * * [simplify]: iteration 0: 8 enodes
6.989 * * [simplify]: iteration 1: 11 enodes
6.990 * * [simplify]: iteration complete: 11 enodes
6.990 * * [simplify]: Extracting #0: cost 1 inf + 0
6.990 * * [simplify]: Extracting #1: cost 3 inf + 0
6.990 * * [simplify]: Extracting #2: cost 7 inf + 0
6.990 * * [simplify]: Extracting #3: cost 5 inf + 3
6.990 * * [simplify]: Extracting #4: cost 0 inf + 333
6.990 * [simplify]: Simplified to:
  (+ (* x y) (* (* z z) 3))
9.005 * [regime-testing]: Baseline error score: 0.11246217808485076
9.014 * [regime-testing]: Oracle error score: 0.015700082822943013
9.031 * [regime-testing]: End program error score: 0.11246217808485076
9.129 * [regime-testing]: Target error score: 0.10546130297546208