15.349 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (sqrt (- (* y y) (* z z))))
0.033 * * [simplify]: iteration  0 :  8  enodes  (cost  10 )
0.034 * * [simplify]: iteration  1 :  15  enodes  (cost  10 )
0.036 * * [simplify]: iteration  2 :  22  enodes  (cost  10 )
0.039 * * [simplify]: iteration  3 :  39  enodes  (cost  10 )
0.045 * * [simplify]: iteration  4 :  70  enodes  (cost  10 )
0.059 * * [simplify]: iteration  5 :  127  enodes  (cost  10 )
0.093 * * [simplify]: iteration  6 :  233  enodes  (cost  10 )
0.178 * * [simplify]: iteration  7 :  455  enodes  (cost  10 )
1.044 * * [simplify]: iteration  8 :  1889  enodes  (cost  10 )
6.161 * * [simplify]: iteration  done :  5000  enodes  (cost  10 )
6.161 * [simplify]: Simplified to:
   (* x (sqrt (- (* y y) (* z z))))
6.161 * * [progress]: iteration 1 / 4
6.161 * * * [progress]: picking best candidate
6.164 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (sqrt (- (* y y) (* z z)))))>
6.164 * * * [progress]: localizing error
6.171 * * * [progress]: generating rewritten candidates
6.171 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
6.176 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
6.179 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
6.194 * * * [progress]: generating series expansions
6.194 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
6.194 * [approximate]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in (y z) around 0
6.194 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in z
6.194 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z
6.194 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.194 * [taylor]: Taking taylor expansion of y in z
6.194 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.194 * [taylor]: Taking taylor expansion of z in z
6.195 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y
6.195 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
6.195 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.195 * [taylor]: Taking taylor expansion of y in y
6.195 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.195 * [taylor]: Taking taylor expansion of z in y
6.196 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y
6.196 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
6.196 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.196 * [taylor]: Taking taylor expansion of y in y
6.196 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.196 * [taylor]: Taking taylor expansion of z in y
6.197 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z
6.197 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
6.198 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.198 * [taylor]: Taking taylor expansion of z in z
6.200 * [taylor]: Taking taylor expansion of 0 in z
6.202 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow z 2)))) in z
6.202 * [taylor]: Taking taylor expansion of 1/2 in z
6.202 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z
6.202 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
6.202 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.202 * [taylor]: Taking taylor expansion of z in z
6.212 * [taylor]: Taking taylor expansion of 0 in z
6.215 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in (y z) around 0
6.215 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z
6.215 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z
6.215 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
6.216 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.216 * [taylor]: Taking taylor expansion of y in z
6.216 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.216 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.216 * [taylor]: Taking taylor expansion of z in z
6.219 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.219 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.219 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.219 * [taylor]: Taking taylor expansion of y in y
6.219 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.220 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.220 * [taylor]: Taking taylor expansion of z in y
6.222 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.222 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.222 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.222 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.222 * [taylor]: Taking taylor expansion of y in y
6.222 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.222 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.222 * [taylor]: Taking taylor expansion of z in y
6.225 * [taylor]: Taking taylor expansion of 1 in z
6.225 * [taylor]: Taking taylor expansion of 0 in z
6.227 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z
6.227 * [taylor]: Taking taylor expansion of -1/2 in z
6.227 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.227 * [taylor]: Taking taylor expansion of z in z
6.231 * [taylor]: Taking taylor expansion of 0 in z
6.232 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in (y z) around 0
6.232 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z
6.232 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z
6.232 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
6.232 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.233 * [taylor]: Taking taylor expansion of y in z
6.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.233 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.233 * [taylor]: Taking taylor expansion of z in z
6.236 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.236 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.236 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.236 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.236 * [taylor]: Taking taylor expansion of y in y
6.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.236 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.236 * [taylor]: Taking taylor expansion of z in y
6.238 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.238 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.238 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.238 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.238 * [taylor]: Taking taylor expansion of y in y
6.239 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.239 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.239 * [taylor]: Taking taylor expansion of z in y
6.241 * [taylor]: Taking taylor expansion of 1 in z
6.241 * [taylor]: Taking taylor expansion of 0 in z
6.243 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z
6.243 * [taylor]: Taking taylor expansion of -1/2 in z
6.243 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.243 * [taylor]: Taking taylor expansion of z in z
6.247 * [taylor]: Taking taylor expansion of 0 in z
6.248 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
6.248 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in (y z) around 0
6.249 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z
6.249 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.249 * [taylor]: Taking taylor expansion of y in z
6.249 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.249 * [taylor]: Taking taylor expansion of z in z
6.249 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
6.249 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.249 * [taylor]: Taking taylor expansion of y in y
6.249 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.249 * [taylor]: Taking taylor expansion of z in y
6.249 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
6.249 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.249 * [taylor]: Taking taylor expansion of y in y
6.249 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.249 * [taylor]: Taking taylor expansion of z in y
6.249 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
6.249 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.249 * [taylor]: Taking taylor expansion of z in z
6.250 * [taylor]: Taking taylor expansion of 0 in z
6.251 * [taylor]: Taking taylor expansion of 1 in z
6.252 * [taylor]: Taking taylor expansion of 0 in z
6.255 * [taylor]: Taking taylor expansion of 0 in z
6.255 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in (y z) around 0
6.255 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z
6.255 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
6.255 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.255 * [taylor]: Taking taylor expansion of y in z
6.255 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.255 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.255 * [taylor]: Taking taylor expansion of z in z
6.256 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.256 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.256 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.256 * [taylor]: Taking taylor expansion of y in y
6.257 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.257 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.257 * [taylor]: Taking taylor expansion of z in y
6.257 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.257 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.257 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.257 * [taylor]: Taking taylor expansion of y in y
6.257 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.257 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.257 * [taylor]: Taking taylor expansion of z in y
6.258 * [taylor]: Taking taylor expansion of 1 in z
6.259 * [taylor]: Taking taylor expansion of 0 in z
6.260 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
6.260 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.260 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.260 * [taylor]: Taking taylor expansion of z in z
6.263 * [taylor]: Taking taylor expansion of 0 in z
6.266 * [taylor]: Taking taylor expansion of 0 in z
6.268 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in (y z) around 0
6.268 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z
6.268 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
6.268 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.268 * [taylor]: Taking taylor expansion of y in z
6.268 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.268 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.268 * [taylor]: Taking taylor expansion of z in z
6.269 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.269 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.269 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.269 * [taylor]: Taking taylor expansion of y in y
6.269 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.269 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.269 * [taylor]: Taking taylor expansion of z in y
6.270 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.270 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.270 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.270 * [taylor]: Taking taylor expansion of y in y
6.270 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.270 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.270 * [taylor]: Taking taylor expansion of z in y
6.271 * [taylor]: Taking taylor expansion of 1 in z
6.272 * [taylor]: Taking taylor expansion of 0 in z
6.273 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
6.273 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.273 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.273 * [taylor]: Taking taylor expansion of z in z
6.276 * [taylor]: Taking taylor expansion of 0 in z
6.280 * [taylor]: Taking taylor expansion of 0 in z
6.281 * * * * [progress]: [ 3 / 3 ] generating series at (2)
6.282 * [approximate]: Taking taylor expansion of (* (sqrt (- (pow y 2) (pow z 2))) x) in (x y z) around 0
6.282 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow y 2) (pow z 2))) x) in z
6.282 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in z
6.282 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in z
6.282 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.282 * [taylor]: Taking taylor expansion of y in z
6.282 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.282 * [taylor]: Taking taylor expansion of z in z
6.282 * [taylor]: Taking taylor expansion of x in z
6.282 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow y 2) (pow z 2))) x) in y
6.282 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y
6.282 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
6.282 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.282 * [taylor]: Taking taylor expansion of y in y
6.283 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.283 * [taylor]: Taking taylor expansion of z in y
6.284 * [taylor]: Taking taylor expansion of x in y
6.284 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow y 2) (pow z 2))) x) in x
6.284 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in x
6.284 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in x
6.284 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.284 * [taylor]: Taking taylor expansion of y in x
6.284 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.284 * [taylor]: Taking taylor expansion of z in x
6.285 * [taylor]: Taking taylor expansion of x in x
6.285 * [taylor]: Taking taylor expansion of (* (sqrt (- (pow y 2) (pow z 2))) x) in x
6.285 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in x
6.285 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in x
6.285 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.285 * [taylor]: Taking taylor expansion of y in x
6.285 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.285 * [taylor]: Taking taylor expansion of z in x
6.286 * [taylor]: Taking taylor expansion of x in x
6.286 * [taylor]: Taking taylor expansion of 0 in y
6.286 * [taylor]: Taking taylor expansion of 0 in z
6.287 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y
6.287 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
6.287 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.287 * [taylor]: Taking taylor expansion of y in y
6.287 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.287 * [taylor]: Taking taylor expansion of z in y
6.288 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z
6.288 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
6.288 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.288 * [taylor]: Taking taylor expansion of z in z
6.290 * [taylor]: Taking taylor expansion of 0 in z
6.293 * [taylor]: Taking taylor expansion of 0 in y
6.293 * [taylor]: Taking taylor expansion of 0 in z
6.293 * [taylor]: Taking taylor expansion of 0 in z
6.293 * [taylor]: Taking taylor expansion of 0 in z
6.293 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in (x y z) around 0
6.293 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in z
6.293 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.293 * [taylor]: Taking taylor expansion of x in z
6.293 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z
6.293 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z
6.293 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
6.293 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.293 * [taylor]: Taking taylor expansion of y in z
6.293 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.293 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.293 * [taylor]: Taking taylor expansion of z in z
6.297 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y
6.297 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.297 * [taylor]: Taking taylor expansion of x in y
6.297 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.297 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.297 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.297 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.297 * [taylor]: Taking taylor expansion of y in y
6.298 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.298 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.298 * [taylor]: Taking taylor expansion of z in y
6.300 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x
6.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.300 * [taylor]: Taking taylor expansion of x in x
6.300 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x
6.300 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x
6.300 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.300 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.300 * [taylor]: Taking taylor expansion of y in x
6.301 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
6.301 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.301 * [taylor]: Taking taylor expansion of z in x
6.302 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x
6.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.302 * [taylor]: Taking taylor expansion of x in x
6.303 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x
6.303 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x
6.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.303 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.303 * [taylor]: Taking taylor expansion of y in x
6.303 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
6.303 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.303 * [taylor]: Taking taylor expansion of z in x
6.308 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.308 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.308 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.308 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.308 * [taylor]: Taking taylor expansion of y in y
6.309 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.309 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.309 * [taylor]: Taking taylor expansion of z in y
6.311 * [taylor]: Taking taylor expansion of 1 in z
6.313 * [taylor]: Taking taylor expansion of 0 in y
6.313 * [taylor]: Taking taylor expansion of 0 in z
6.317 * [taylor]: Taking taylor expansion of 0 in y
6.317 * [taylor]: Taking taylor expansion of 0 in z
6.319 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z
6.319 * [taylor]: Taking taylor expansion of -1/2 in z
6.319 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.319 * [taylor]: Taking taylor expansion of z in z
6.325 * [taylor]: Taking taylor expansion of 0 in y
6.325 * [taylor]: Taking taylor expansion of 0 in z
6.325 * [taylor]: Taking taylor expansion of 0 in z
6.328 * [taylor]: Taking taylor expansion of 0 in z
6.329 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in (x y z) around 0
6.329 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in z
6.329 * [taylor]: Taking taylor expansion of -1 in z
6.329 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in z
6.329 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.329 * [taylor]: Taking taylor expansion of x in z
6.329 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in z
6.330 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in z
6.330 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z
6.330 * [taylor]: Taking taylor expansion of (pow y 2) in z
6.330 * [taylor]: Taking taylor expansion of y in z
6.330 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.330 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.330 * [taylor]: Taking taylor expansion of z in z
6.333 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in y
6.333 * [taylor]: Taking taylor expansion of -1 in y
6.333 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y
6.333 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.333 * [taylor]: Taking taylor expansion of x in y
6.333 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.333 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.333 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.333 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.333 * [taylor]: Taking taylor expansion of y in y
6.334 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.334 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.334 * [taylor]: Taking taylor expansion of z in y
6.336 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in x
6.336 * [taylor]: Taking taylor expansion of -1 in x
6.336 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x
6.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.336 * [taylor]: Taking taylor expansion of x in x
6.336 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x
6.336 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x
6.336 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.337 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.337 * [taylor]: Taking taylor expansion of y in x
6.337 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
6.337 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.337 * [taylor]: Taking taylor expansion of z in x
6.338 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))))) in x
6.338 * [taylor]: Taking taylor expansion of -1 in x
6.339 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in x
6.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.339 * [taylor]: Taking taylor expansion of x in x
6.339 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in x
6.339 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in x
6.339 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
6.339 * [taylor]: Taking taylor expansion of (pow y 2) in x
6.339 * [taylor]: Taking taylor expansion of y in x
6.339 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
6.339 * [taylor]: Taking taylor expansion of (pow z 2) in x
6.339 * [taylor]: Taking taylor expansion of z in x
6.341 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y
6.341 * [taylor]: Taking taylor expansion of -1 in y
6.341 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
6.341 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
6.341 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
6.341 * [taylor]: Taking taylor expansion of (pow y 2) in y
6.341 * [taylor]: Taking taylor expansion of y in y
6.342 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
6.342 * [taylor]: Taking taylor expansion of (pow z 2) in y
6.342 * [taylor]: Taking taylor expansion of z in y
6.344 * [taylor]: Taking taylor expansion of -1 in z
6.346 * [taylor]: Taking taylor expansion of 0 in y
6.346 * [taylor]: Taking taylor expansion of 0 in z
6.351 * [taylor]: Taking taylor expansion of 0 in y
6.351 * [taylor]: Taking taylor expansion of 0 in z
6.354 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
6.354 * [taylor]: Taking taylor expansion of 1/2 in z
6.354 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
6.354 * [taylor]: Taking taylor expansion of (pow z 2) in z
6.354 * [taylor]: Taking taylor expansion of z in z
6.362 * [taylor]: Taking taylor expansion of 0 in y
6.362 * [taylor]: Taking taylor expansion of 0 in z
6.362 * [taylor]: Taking taylor expansion of 0 in z
6.365 * [taylor]: Taking taylor expansion of 0 in z
6.367 * * * [progress]: simplifying candidates
6.368 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (- (* y y) (* z z))))
  (log1p (sqrt (- (* y y) (* z z))))
  (log (sqrt (- (* y y) (* z z))))
  (exp (sqrt (- (* y y) (* z z))))
  (* (cbrt (sqrt (- (* y y) (* z z)))) (cbrt (sqrt (- (* y y) (* z z)))))
  (cbrt (sqrt (- (* y y) (* z z))))
  (* (* (sqrt (- (* y y) (* z z))) (sqrt (- (* y y) (* z z)))) (sqrt (- (* y y) (* z z))))
  (sqrt (* (cbrt (- (* y y) (* z z))) (cbrt (- (* y y) (* z z)))))
  (sqrt (cbrt (- (* y y) (* z z))))
  (sqrt (sqrt (- (* y y) (* z z))))
  (sqrt (sqrt (- (* y y) (* z z))))
  (sqrt 1)
  (sqrt (- (* y y) (* z z)))
  (sqrt (+ y z))
  (sqrt (- y z))
  (sqrt (- (pow (* y y) 3) (pow (* z z) 3)))
  (sqrt (+ (* (* y y) (* y y)) (+ (* (* z z) (* z z)) (* (* y y) (* z z)))))
  (sqrt (- (* (* y y) (* y y)) (* (* z z) (* z z))))
  (sqrt (+ (* y y) (* z z)))
  (/ 1 2)
  (sqrt (sqrt (- (* y y) (* z z))))
  (sqrt (sqrt (- (* y y) (* z z))))
  (fma y y (- (* z z)))
  (fma (- z) z (* z z))
  (expm1 (- (* y y) (* z z)))
  (log1p (- (* y y) (* z z)))
  (- (* z z))
  (/ (exp (* y y)) (exp (* z z)))
  (log (- (* y y) (* z z)))
  (exp (- (* y y) (* z z)))
  (* (cbrt (- (* y y) (* z z))) (cbrt (- (* y y) (* z z))))
  (cbrt (- (* y y) (* z z)))
  (* (* (- (* y y) (* z z)) (- (* y y) (* z z))) (- (* y y) (* z z)))
  (sqrt (- (* y y) (* z z)))
  (sqrt (- (* y y) (* z z)))
  (- (pow (* y y) 3) (pow (* z z) 3))
  (+ (* (* y y) (* y y)) (+ (* (* z z) (* z z)) (* (* y y) (* z z))))
  (- (* z z))
  (- (* (* y y) (* y y)) (* (* z z) (* z z)))
  (+ (* y y) (* z z))
  (+ y z)
  (- y z)
  (- (* z z))
  (expm1 (* x (sqrt (- (* y y) (* z z)))))
  (log1p (* x (sqrt (- (* y y) (* z z)))))
  (* x (sqrt (- (* y y) (* z z))))
  (+ (log x) (log (sqrt (- (* y y) (* z z)))))
  (log (* x (sqrt (- (* y y) (* z z)))))
  (exp (* x (sqrt (- (* y y) (* z z)))))
  (* (* (* x x) x) (* (* (sqrt (- (* y y) (* z z))) (sqrt (- (* y y) (* z z)))) (sqrt (- (* y y) (* z z)))))
  (* (cbrt (* x (sqrt (- (* y y) (* z z))))) (cbrt (* x (sqrt (- (* y y) (* z z))))))
  (cbrt (* x (sqrt (- (* y y) (* z z)))))
  (* (* (* x (sqrt (- (* y y) (* z z)))) (* x (sqrt (- (* y y) (* z z))))) (* x (sqrt (- (* y y) (* z z)))))
  (sqrt (* x (sqrt (- (* y y) (* z z)))))
  (sqrt (* x (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* x (* (cbrt (sqrt (- (* y y) (* z z)))) (cbrt (sqrt (- (* y y) (* z z))))))
  (* x (sqrt (* (cbrt (- (* y y) (* z z))) (cbrt (- (* y y) (* z z))))))
  (* x (sqrt (sqrt (- (* y y) (* z z)))))
  (* x (sqrt 1))
  (* x (sqrt (+ y z)))
  (* x (sqrt (sqrt (- (* y y) (* z z)))))
  (* x 1)
  (* (cbrt x) (sqrt (- (* y y) (* z z))))
  (* (sqrt x) (sqrt (- (* y y) (* z z))))
  (* x (sqrt (- (* y y) (* z z))))
  (* x (sqrt (- (pow (* y y) 3) (pow (* z z) 3))))
  (* x (sqrt (- (* (* y y) (* y y)) (* (* z z) (* z z)))))
  (* z (sqrt -1))
  y
  (* -1 y)
  (- (pow y 2) (pow z 2))
  (- (pow y 2) (pow z 2))
  (- (pow y 2) (pow z 2))
  0
  (* x y)
  (* -1 (* x y))
6.371 * * [simplify]: iteration  0 :  94  enodes  (cost  839 )
6.393 * * [simplify]: iteration  1 :  201  enodes  (cost  758 )
6.434 * * [simplify]: iteration  2 :  569  enodes  (cost  676 )
6.713 * * [simplify]: iteration  3 :  2169  enodes  (cost  676 )
7.440 * * [simplify]: iteration  done :  5001  enodes  (cost  675 )
7.440 * [simplify]: Simplified to:
   (expm1 (sqrt (- (* y y) (* z z))))
  (log1p (sqrt (- (* y y) (* z z))))
  (log (sqrt (- (* y y) (* z z))))
  (exp (sqrt (- (* y y) (* z z))))
  (* (cbrt (sqrt (- (* y y) (* z z)))) (cbrt (sqrt (- (* y y) (* z z)))))
  (cbrt (sqrt (- (* y y) (* z z))))
  (pow (sqrt (- (* y y) (* z z))) 3)
  (fabs (cbrt (- (* y y) (* z z))))
  (sqrt (cbrt (- (* y y) (* z z))))
  (sqrt (sqrt (- (* y y) (* z z))))
  (sqrt (sqrt (- (* y y) (* z z))))
  1
  (sqrt (- (* y y) (* z z)))
  (sqrt (+ y z))
  (sqrt (- y z))
  (sqrt (- (pow y 6) (pow z 6)))
  (sqrt (fma (* z z) (fma y y (* z z)) (pow y 4)))
  (sqrt (- (pow y 4) (pow z 4)))
  (hypot y z)
  1/2
  (sqrt (sqrt (- (* y y) (* z z))))
  (sqrt (sqrt (- (* y y) (* z z))))
  (fma y y (- (* z z)))
  (* (- z z) z)
  (expm1 (- (* y y) (* z z)))
  (log1p (- (* y y) (* z z)))
  (- (* z z))
  (exp (- (pow y 2) (pow z 2)))
  (log (- (* y y) (* z z)))
  (exp (- (pow y 2) (pow z 2)))
  (* (cbrt (- (* y y) (* z z))) (cbrt (- (* y y) (* z z))))
  (cbrt (- (* y y) (* z z)))
  (pow (fma y y (- (* z z))) 3)
  (sqrt (- (* y y) (* z z)))
  (sqrt (- (* y y) (* z z)))
  (- (pow y 6) (pow z 6))
  (fma (* z z) (fma y y (* z z)) (pow y 4))
  (- (* z z))
  (- (pow y 4) (pow z 4))
  (fma y y (* z z))
  (+ y z)
  (- y z)
  (- (* z z))
  (expm1 (* x (sqrt (- (* y y) (* z z)))))
  (log1p (* x (sqrt (- (* y y) (* z z)))))
  (* x (sqrt (- (* y y) (* z z))))
  (log (* x (sqrt (- (* y y) (* z z)))))
  (log (* x (sqrt (- (* y y) (* z z)))))
  (exp (* x (sqrt (- (* y y) (* z z)))))
  (pow (* x (sqrt (- (* y y) (* z z)))) 3)
  (* (cbrt (* x (sqrt (- (* y y) (* z z))))) (cbrt (* x (sqrt (- (* y y) (* z z))))))
  (cbrt (* x (sqrt (- (* y y) (* z z)))))
  (pow (* x (sqrt (- (* y y) (* z z)))) 3)
  (sqrt (* x (sqrt (- (* y y) (* z z)))))
  (sqrt (* x (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* (sqrt x) (sqrt (sqrt (- (* y y) (* z z)))))
  (* x (* (cbrt (sqrt (- (* y y) (* z z)))) (cbrt (sqrt (- (* y y) (* z z))))))
  (* (fabs (cbrt (- (* y y) (* z z)))) x)
  (* x (sqrt (sqrt (- (* y y) (* z z)))))
  x
  (* x (sqrt (+ y z)))
  (* x (sqrt (sqrt (- (* y y) (* z z)))))
  x
  (* (cbrt x) (sqrt (- (* y y) (* z z))))
  (* (sqrt x) (sqrt (- (* y y) (* z z))))
  (* x (sqrt (- (* y y) (* z z))))
  (* (sqrt (- (pow y 6) (pow z 6))) x)
  (* x (sqrt (- (pow y 4) (pow z 4))))
  (* z (sqrt -1))
  y
  (- y)
  (fma y y (- (* z z)))
  (fma y y (- (* z z)))
  (fma y y (- (* z z)))
  0
  (* x y)
  (- (* x y))
7.441 * * * [progress]: adding candidates to table
7.633 * * [progress]: iteration 2 / 4
7.633 * * * [progress]: picking best candidate
7.641 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))>
7.641 * * * [progress]: localizing error
7.653 * * * [progress]: generating rewritten candidates
7.653 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
7.656 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 1)
7.657 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.667 * * * [progress]: generating series expansions
7.667 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
7.667 * [approximate]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in (y z) around 0
7.667 * [taylor]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in z
7.667 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in z
7.668 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.668 * [taylor]: Taking taylor expansion of (* y y) in z
7.668 * [taylor]: Taking taylor expansion of y in z
7.668 * [taylor]: Taking taylor expansion of y in z
7.668 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
7.668 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.668 * [taylor]: Taking taylor expansion of z in z
7.669 * [taylor]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in y
7.669 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in y
7.669 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.669 * [taylor]: Taking taylor expansion of (* y y) in y
7.669 * [taylor]: Taking taylor expansion of y in y
7.669 * [taylor]: Taking taylor expansion of y in y
7.669 * [taylor]: Taking taylor expansion of (- (pow z 2)) in y
7.669 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.669 * [taylor]: Taking taylor expansion of z in y
7.671 * [taylor]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in y
7.671 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in y
7.671 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.671 * [taylor]: Taking taylor expansion of (* y y) in y
7.671 * [taylor]: Taking taylor expansion of y in y
7.671 * [taylor]: Taking taylor expansion of y in y
7.671 * [taylor]: Taking taylor expansion of (- (pow z 2)) in y
7.671 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.671 * [taylor]: Taking taylor expansion of z in y
7.673 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z
7.673 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
7.673 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.673 * [taylor]: Taking taylor expansion of z in z
7.675 * [taylor]: Taking taylor expansion of 0 in z
7.678 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- (pow z 2)))) in z
7.678 * [taylor]: Taking taylor expansion of 1/2 in z
7.678 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z
7.678 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
7.678 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.678 * [taylor]: Taking taylor expansion of z in z
7.684 * [taylor]: Taking taylor expansion of 0 in z
7.686 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in (y z) around 0
7.686 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in z
7.686 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in z
7.687 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.687 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in z
7.687 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.687 * [taylor]: Taking taylor expansion of y in z
7.687 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.687 * [taylor]: Taking taylor expansion of y in z
7.687 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.687 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.687 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.687 * [taylor]: Taking taylor expansion of z in z
7.690 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in y
7.690 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in y
7.690 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.690 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
7.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.690 * [taylor]: Taking taylor expansion of y in y
7.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.691 * [taylor]: Taking taylor expansion of y in y
7.691 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.691 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.691 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.691 * [taylor]: Taking taylor expansion of z in y
7.694 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in y
7.694 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in y
7.694 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.694 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
7.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.694 * [taylor]: Taking taylor expansion of y in y
7.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.695 * [taylor]: Taking taylor expansion of y in y
7.695 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.695 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.695 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.695 * [taylor]: Taking taylor expansion of z in y
7.698 * [taylor]: Taking taylor expansion of 1 in z
7.698 * [taylor]: Taking taylor expansion of 0 in z
7.701 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z
7.701 * [taylor]: Taking taylor expansion of -1/2 in z
7.701 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.701 * [taylor]: Taking taylor expansion of z in z
7.706 * [taylor]: Taking taylor expansion of 0 in z
7.707 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in (y z) around 0
7.708 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in z
7.708 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in z
7.708 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.708 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in z
7.708 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.708 * [taylor]: Taking taylor expansion of -1 in z
7.708 * [taylor]: Taking taylor expansion of y in z
7.708 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.708 * [taylor]: Taking taylor expansion of -1 in z
7.708 * [taylor]: Taking taylor expansion of y in z
7.708 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.708 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.708 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.708 * [taylor]: Taking taylor expansion of z in z
7.711 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in y
7.711 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in y
7.711 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.711 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
7.711 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.711 * [taylor]: Taking taylor expansion of -1 in y
7.711 * [taylor]: Taking taylor expansion of y in y
7.712 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.712 * [taylor]: Taking taylor expansion of -1 in y
7.712 * [taylor]: Taking taylor expansion of y in y
7.712 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.712 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.712 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.712 * [taylor]: Taking taylor expansion of z in y
7.715 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in y
7.715 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in y
7.715 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.715 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
7.715 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.715 * [taylor]: Taking taylor expansion of -1 in y
7.716 * [taylor]: Taking taylor expansion of y in y
7.716 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.716 * [taylor]: Taking taylor expansion of -1 in y
7.716 * [taylor]: Taking taylor expansion of y in y
7.716 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.716 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.716 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.716 * [taylor]: Taking taylor expansion of z in y
7.719 * [taylor]: Taking taylor expansion of 1 in z
7.719 * [taylor]: Taking taylor expansion of 0 in z
7.726 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z
7.726 * [taylor]: Taking taylor expansion of -1/2 in z
7.726 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.726 * [taylor]: Taking taylor expansion of z in z
7.731 * [taylor]: Taking taylor expansion of 0 in z
7.732 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 1)
7.732 * [approximate]: Taking taylor expansion of (fma y y (- (pow z 2))) in (y z) around 0
7.732 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in z
7.733 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.733 * [taylor]: Taking taylor expansion of (* y y) in z
7.733 * [taylor]: Taking taylor expansion of y in z
7.733 * [taylor]: Taking taylor expansion of y in z
7.733 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
7.733 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.733 * [taylor]: Taking taylor expansion of z in z
7.733 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in y
7.733 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.733 * [taylor]: Taking taylor expansion of (* y y) in y
7.733 * [taylor]: Taking taylor expansion of y in y
7.733 * [taylor]: Taking taylor expansion of y in y
7.733 * [taylor]: Taking taylor expansion of (- (pow z 2)) in y
7.733 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.733 * [taylor]: Taking taylor expansion of z in y
7.733 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in y
7.733 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.733 * [taylor]: Taking taylor expansion of (* y y) in y
7.733 * [taylor]: Taking taylor expansion of y in y
7.733 * [taylor]: Taking taylor expansion of y in y
7.733 * [taylor]: Taking taylor expansion of (- (pow z 2)) in y
7.733 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.733 * [taylor]: Taking taylor expansion of z in y
7.734 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
7.734 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.734 * [taylor]: Taking taylor expansion of z in z
7.735 * [taylor]: Taking taylor expansion of 0 in z
7.736 * [taylor]: Taking taylor expansion of 1 in z
7.739 * [taylor]: Taking taylor expansion of 0 in z
7.741 * [taylor]: Taking taylor expansion of 0 in z
7.742 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in (y z) around 0
7.742 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in z
7.742 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.742 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in z
7.742 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.742 * [taylor]: Taking taylor expansion of y in z
7.742 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.742 * [taylor]: Taking taylor expansion of y in z
7.742 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.742 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.742 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.742 * [taylor]: Taking taylor expansion of z in z
7.743 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in y
7.743 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.743 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
7.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.743 * [taylor]: Taking taylor expansion of y in y
7.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.743 * [taylor]: Taking taylor expansion of y in y
7.743 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.743 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.744 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.744 * [taylor]: Taking taylor expansion of z in y
7.744 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in y
7.744 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.744 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
7.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.744 * [taylor]: Taking taylor expansion of y in y
7.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.744 * [taylor]: Taking taylor expansion of y in y
7.744 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.745 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.745 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.745 * [taylor]: Taking taylor expansion of z in y
7.745 * [taylor]: Taking taylor expansion of 1 in z
7.747 * [taylor]: Taking taylor expansion of 0 in z
7.749 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.749 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.749 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.749 * [taylor]: Taking taylor expansion of z in z
7.753 * [taylor]: Taking taylor expansion of 0 in z
7.757 * [taylor]: Taking taylor expansion of 0 in z
7.759 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in (y z) around 0
7.759 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in z
7.759 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.759 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in z
7.759 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.759 * [taylor]: Taking taylor expansion of -1 in z
7.759 * [taylor]: Taking taylor expansion of y in z
7.759 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.759 * [taylor]: Taking taylor expansion of -1 in z
7.759 * [taylor]: Taking taylor expansion of y in z
7.759 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.759 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.759 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.759 * [taylor]: Taking taylor expansion of z in z
7.760 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in y
7.760 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.760 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
7.760 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.760 * [taylor]: Taking taylor expansion of -1 in y
7.760 * [taylor]: Taking taylor expansion of y in y
7.761 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.761 * [taylor]: Taking taylor expansion of -1 in y
7.761 * [taylor]: Taking taylor expansion of y in y
7.761 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.761 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.761 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.761 * [taylor]: Taking taylor expansion of z in y
7.761 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in y
7.761 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.761 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
7.761 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.761 * [taylor]: Taking taylor expansion of -1 in y
7.761 * [taylor]: Taking taylor expansion of y in y
7.762 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.762 * [taylor]: Taking taylor expansion of -1 in y
7.762 * [taylor]: Taking taylor expansion of y in y
7.762 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.762 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.762 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.762 * [taylor]: Taking taylor expansion of z in y
7.763 * [taylor]: Taking taylor expansion of 1 in z
7.764 * [taylor]: Taking taylor expansion of 0 in z
7.766 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.767 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.767 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.767 * [taylor]: Taking taylor expansion of z in z
7.770 * [taylor]: Taking taylor expansion of 0 in z
7.774 * [taylor]: Taking taylor expansion of 0 in z
7.776 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.776 * [approximate]: Taking taylor expansion of (* (sqrt (fma y y (- (pow z 2)))) x) in (x y z) around 0
7.776 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y (- (pow z 2)))) x) in z
7.776 * [taylor]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in z
7.776 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in z
7.776 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.776 * [taylor]: Taking taylor expansion of (* y y) in z
7.776 * [taylor]: Taking taylor expansion of y in z
7.776 * [taylor]: Taking taylor expansion of y in z
7.776 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
7.776 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.776 * [taylor]: Taking taylor expansion of z in z
7.777 * [taylor]: Taking taylor expansion of x in z
7.777 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y (- (pow z 2)))) x) in y
7.777 * [taylor]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in y
7.777 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in y
7.777 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.777 * [taylor]: Taking taylor expansion of (* y y) in y
7.777 * [taylor]: Taking taylor expansion of y in y
7.777 * [taylor]: Taking taylor expansion of y in y
7.777 * [taylor]: Taking taylor expansion of (- (pow z 2)) in y
7.777 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.777 * [taylor]: Taking taylor expansion of z in y
7.779 * [taylor]: Taking taylor expansion of x in y
7.779 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y (- (pow z 2)))) x) in x
7.779 * [taylor]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in x
7.779 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in x
7.779 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.779 * [taylor]: Taking taylor expansion of (* y y) in x
7.779 * [taylor]: Taking taylor expansion of y in x
7.779 * [taylor]: Taking taylor expansion of y in x
7.779 * [taylor]: Taking taylor expansion of (- (pow z 2)) in x
7.779 * [taylor]: Taking taylor expansion of (pow z 2) in x
7.779 * [taylor]: Taking taylor expansion of z in x
7.780 * [taylor]: Taking taylor expansion of x in x
7.780 * [taylor]: Taking taylor expansion of (* (sqrt (fma y y (- (pow z 2)))) x) in x
7.780 * [taylor]: Taking taylor expansion of (sqrt (fma y y (- (pow z 2)))) in x
7.780 * [taylor]: Taking taylor expansion of (fma y y (- (pow z 2))) in x
7.781 * [taylor]: Rewrote expression to (+ (* y y) (- (pow z 2)))
7.781 * [taylor]: Taking taylor expansion of (* y y) in x
7.781 * [taylor]: Taking taylor expansion of y in x
7.781 * [taylor]: Taking taylor expansion of y in x
7.781 * [taylor]: Taking taylor expansion of (- (pow z 2)) in x
7.781 * [taylor]: Taking taylor expansion of (pow z 2) in x
7.781 * [taylor]: Taking taylor expansion of z in x
7.782 * [taylor]: Taking taylor expansion of x in x
7.782 * [taylor]: Taking taylor expansion of 0 in y
7.782 * [taylor]: Taking taylor expansion of 0 in z
7.783 * [taylor]: Taking taylor expansion of (sqrt (- (pow y 2) (pow z 2))) in y
7.783 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow z 2)) in y
7.783 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.783 * [taylor]: Taking taylor expansion of y in y
7.783 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.783 * [taylor]: Taking taylor expansion of z in y
7.784 * [taylor]: Taking taylor expansion of (sqrt (- (pow z 2))) in z
7.784 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
7.784 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.784 * [taylor]: Taking taylor expansion of z in z
7.786 * [taylor]: Taking taylor expansion of 0 in z
7.788 * [taylor]: Taking taylor expansion of 0 in y
7.788 * [taylor]: Taking taylor expansion of 0 in z
7.789 * [taylor]: Taking taylor expansion of 0 in z
7.789 * [taylor]: Taking taylor expansion of 0 in z
7.789 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))))) in (x y z) around 0
7.789 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))))) in z
7.789 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.789 * [taylor]: Taking taylor expansion of x in z
7.789 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in z
7.789 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in z
7.789 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.789 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in z
7.789 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.789 * [taylor]: Taking taylor expansion of y in z
7.789 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.789 * [taylor]: Taking taylor expansion of y in z
7.789 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.789 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.789 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.789 * [taylor]: Taking taylor expansion of z in z
7.793 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))))) in y
7.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.793 * [taylor]: Taking taylor expansion of x in y
7.793 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in y
7.793 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in y
7.793 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.793 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in y
7.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.793 * [taylor]: Taking taylor expansion of y in y
7.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.793 * [taylor]: Taking taylor expansion of y in y
7.794 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.794 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.794 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.794 * [taylor]: Taking taylor expansion of z in y
7.796 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))))) in x
7.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.797 * [taylor]: Taking taylor expansion of x in x
7.797 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in x
7.797 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in x
7.797 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.797 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
7.797 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.797 * [taylor]: Taking taylor expansion of y in x
7.797 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.797 * [taylor]: Taking taylor expansion of y in x
7.797 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in x
7.797 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
7.797 * [taylor]: Taking taylor expansion of (pow z 2) in x
7.797 * [taylor]: Taking taylor expansion of z in x
7.799 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))))) in x
7.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.799 * [taylor]: Taking taylor expansion of x in x
7.799 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2))))) in x
7.799 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 y) (- (/ 1 (pow z 2)))) in x
7.800 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 y)) (- (/ 1 (pow z 2))))
7.800 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 y)) in x
7.800 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.800 * [taylor]: Taking taylor expansion of y in x
7.800 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.800 * [taylor]: Taking taylor expansion of y in x
7.800 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in x
7.800 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
7.800 * [taylor]: Taking taylor expansion of (pow z 2) in x
7.800 * [taylor]: Taking taylor expansion of z in x
7.802 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
7.802 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
7.802 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.802 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.802 * [taylor]: Taking taylor expansion of y in y
7.803 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.803 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.803 * [taylor]: Taking taylor expansion of z in y
7.805 * [taylor]: Taking taylor expansion of 1 in z
7.806 * [taylor]: Taking taylor expansion of 0 in y
7.807 * [taylor]: Taking taylor expansion of 0 in z
7.810 * [taylor]: Taking taylor expansion of 0 in y
7.810 * [taylor]: Taking taylor expansion of 0 in z
7.813 * [taylor]: Taking taylor expansion of (/ -1/2 (pow z 2)) in z
7.813 * [taylor]: Taking taylor expansion of -1/2 in z
7.813 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.813 * [taylor]: Taking taylor expansion of z in z
7.819 * [taylor]: Taking taylor expansion of 0 in y
7.819 * [taylor]: Taking taylor expansion of 0 in z
7.819 * [taylor]: Taking taylor expansion of 0 in z
7.821 * [taylor]: Taking taylor expansion of 0 in z
7.826 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))))) in (x y z) around 0
7.826 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))))) in z
7.826 * [taylor]: Taking taylor expansion of -1 in z
7.826 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))))) in z
7.826 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.826 * [taylor]: Taking taylor expansion of x in z
7.826 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in z
7.826 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in z
7.826 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.826 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in z
7.826 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.826 * [taylor]: Taking taylor expansion of -1 in z
7.826 * [taylor]: Taking taylor expansion of y in z
7.826 * [taylor]: Taking taylor expansion of (/ -1 y) in z
7.826 * [taylor]: Taking taylor expansion of -1 in z
7.826 * [taylor]: Taking taylor expansion of y in z
7.827 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
7.827 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.827 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.827 * [taylor]: Taking taylor expansion of z in z
7.830 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))))) in y
7.830 * [taylor]: Taking taylor expansion of -1 in y
7.830 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))))) in y
7.830 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.830 * [taylor]: Taking taylor expansion of x in y
7.830 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in y
7.830 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in y
7.831 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.831 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in y
7.831 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.831 * [taylor]: Taking taylor expansion of -1 in y
7.831 * [taylor]: Taking taylor expansion of y in y
7.831 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.831 * [taylor]: Taking taylor expansion of -1 in y
7.831 * [taylor]: Taking taylor expansion of y in y
7.831 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in y
7.831 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.831 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.831 * [taylor]: Taking taylor expansion of z in y
7.834 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))))) in x
7.835 * [taylor]: Taking taylor expansion of -1 in x
7.835 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))))) in x
7.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.835 * [taylor]: Taking taylor expansion of x in x
7.835 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in x
7.835 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in x
7.835 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.835 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
7.835 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.835 * [taylor]: Taking taylor expansion of -1 in x
7.835 * [taylor]: Taking taylor expansion of y in x
7.835 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.835 * [taylor]: Taking taylor expansion of -1 in x
7.835 * [taylor]: Taking taylor expansion of y in x
7.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in x
7.835 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
7.835 * [taylor]: Taking taylor expansion of (pow z 2) in x
7.835 * [taylor]: Taking taylor expansion of z in x
7.837 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))))) in x
7.837 * [taylor]: Taking taylor expansion of -1 in x
7.837 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))))) in x
7.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.837 * [taylor]: Taking taylor expansion of x in x
7.838 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2))))) in x
7.838 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 y) (- (/ 1 (pow z 2)))) in x
7.838 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 y)) (- (/ 1 (pow z 2))))
7.838 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 y)) in x
7.838 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.838 * [taylor]: Taking taylor expansion of -1 in x
7.838 * [taylor]: Taking taylor expansion of y in x
7.838 * [taylor]: Taking taylor expansion of (/ -1 y) in x
7.838 * [taylor]: Taking taylor expansion of -1 in x
7.838 * [taylor]: Taking taylor expansion of y in x
7.838 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in x
7.838 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
7.838 * [taylor]: Taking taylor expansion of (pow z 2) in x
7.838 * [taylor]: Taking taylor expansion of z in x
7.840 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2))))) in y
7.840 * [taylor]: Taking taylor expansion of -1 in y
7.840 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow y 2)) (/ 1 (pow z 2)))) in y
7.840 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow z 2))) in y
7.840 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.840 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.840 * [taylor]: Taking taylor expansion of y in y
7.841 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
7.841 * [taylor]: Taking taylor expansion of (pow z 2) in y
7.841 * [taylor]: Taking taylor expansion of z in y
7.843 * [taylor]: Taking taylor expansion of -1 in z
7.845 * [taylor]: Taking taylor expansion of 0 in y
7.845 * [taylor]: Taking taylor expansion of 0 in z
7.850 * [taylor]: Taking taylor expansion of 0 in y
7.850 * [taylor]: Taking taylor expansion of 0 in z
7.853 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow z 2))) in z
7.853 * [taylor]: Taking taylor expansion of 1/2 in z
7.853 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
7.853 * [taylor]: Taking taylor expansion of (pow z 2) in z
7.853 * [taylor]: Taking taylor expansion of z in z
7.861 * [taylor]: Taking taylor expansion of 0 in y
7.861 * [taylor]: Taking taylor expansion of 0 in z
7.861 * [taylor]: Taking taylor expansion of 0 in z
7.864 * [taylor]: Taking taylor expansion of 0 in z
7.866 * * * [progress]: simplifying candidates
7.867 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (log1p (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (log (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (exp (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (* (cbrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))) (cbrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (cbrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (* (* (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))) (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))) (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (sqrt (* (cbrt (+ (fma y y (- (* z z))) (* (- z z) z))) (cbrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (sqrt (cbrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (sqrt 1)
  (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))
  (sqrt (+ (pow (fma y y (- (* z z))) 3) (pow (* (- z z) z) 3)))
  (sqrt (+ (* (fma y y (- (* z z))) (fma y y (- (* z z)))) (- (* (* (- z z) z) (* (- z z) z)) (* (fma y y (- (* z z))) (* (- z z) z)))))
  (sqrt (- (* (fma y y (- (* z z))) (fma y y (- (* z z)))) (* (* (- z z) z) (* (- z z) z))))
  (sqrt (- (fma y y (- (* z z))) (* (- z z) z)))
  (/ 1 2)
  (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (expm1 (fma y y (- (* z z))))
  (log1p (fma y y (- (* z z))))
  (* y y)
  (log (fma y y (- (* z z))))
  (exp (fma y y (- (* z z))))
  (* (cbrt (fma y y (- (* z z)))) (cbrt (fma y y (- (* z z)))))
  (cbrt (fma y y (- (* z z))))
  (* (* (fma y y (- (* z z))) (fma y y (- (* z z)))) (fma y y (- (* z z))))
  (sqrt (fma y y (- (* z z))))
  (sqrt (fma y y (- (* z z))))
  (expm1 (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (log1p (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (+ (log x) (log (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (log (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (exp (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* (* (* x x) x) (* (* (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))) (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))) (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* (cbrt (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))) (cbrt (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))))
  (cbrt (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* (* (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (sqrt (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (sqrt (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* (sqrt x) (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* (sqrt x) (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* (sqrt x) (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* (sqrt x) (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* x (* (cbrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))) (cbrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))))
  (* x (sqrt (* (cbrt (+ (fma y y (- (* z z))) (* (- z z) z))) (cbrt (+ (fma y y (- (* z z))) (* (- z z) z))))))
  (* x (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* x (sqrt 1))
  (* x (sqrt (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))
  (* x 1)
  (* (cbrt x) (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (* (sqrt x) (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z))))
  (* x (sqrt (+ (pow (fma y y (- (* z z))) 3) (pow (* (- z z) z) 3))))
  (* x (sqrt (- (* (fma y y (- (* z z))) (fma y y (- (* z z)))) (* (* (- z z) z) (* (- z z) z)))))
  (* z (sqrt -1))
  y
  (* -1 y)
  (- (pow y 2) (pow z 2))
  (- (pow y 2) (pow z 2))
  (- (pow y 2) (pow z 2))
  0
  (* x y)
  (* -1 (* x y))
7.870 * * [simplify]: iteration  0 :  88  enodes  (cost  1079 )
7.889 * * [simplify]: iteration  1 :  180  enodes  (cost  861 )
7.948 * * [simplify]: iteration  2 :  428  enodes  (cost  707 )
8.177 * * [simplify]: iteration  3 :  1144  enodes  (cost  596 )
9.743 * * [simplify]: iteration  done :  5000  enodes  (cost  596 )
9.744 * [simplify]: Simplified to:
   (expm1 (sqrt (fma y y (- (* z z)))))
  (log1p (sqrt (fma y y (- (* z z)))))
  (log (sqrt (fma y y (- (* z z)))))
  (exp (sqrt (fma y y (- (* z z)))))
  (* (cbrt (sqrt (fma y y (- (* z z))))) (cbrt (sqrt (fma y y (- (* z z))))))
  (cbrt (sqrt (fma y y (- (* z z)))))
  (pow (sqrt (fma y y (- (* z z)))) 3)
  (fabs (cbrt (fma y y (- (* z z)))))
  (sqrt (cbrt (fma y y (- (* z z)))))
  (sqrt (sqrt (fma y y (- (* z z)))))
  (sqrt (sqrt (fma y y (- (* z z)))))
  1
  (sqrt (fma y y (- (* z z))))
  (sqrt (pow (fma y y (- (* z z))) 3))
  (fabs (fma y y (- (* z z))))
  (fabs (fma y y (- (* z z))))
  (sqrt (fma y y (- (* z z))))
  1/2
  (sqrt (sqrt (fma y y (- (* z z)))))
  (sqrt (sqrt (fma y y (- (* z z)))))
  (expm1 (fma y y (- (* z z))))
  (log1p (fma y y (- (* z z))))
  (pow y 2)
  (log (fma y y (- (* z z))))
  (exp (fma y y (- (* z z))))
  (* (cbrt (fma y y (- (* z z)))) (cbrt (fma y y (- (* z z)))))
  (cbrt (fma y y (- (* z z))))
  (pow (fma y y (- (* z z))) 3)
  (sqrt (fma y y (- (* z z))))
  (sqrt (fma y y (- (* z z))))
  (expm1 (* x (sqrt (fma y y (- (* z z))))))
  (log1p (* x (sqrt (fma y y (- (* z z))))))
  (* x (sqrt (fma y y (- (* z z)))))
  (log (* x (sqrt (fma y y (- (* z z))))))
  (log (* x (sqrt (fma y y (- (* z z))))))
  (pow (exp x) (sqrt (fma y y (- (* z z)))))
  (pow (* x (sqrt (fma y y (- (* z z))))) 3)
  (* (cbrt (* x (sqrt (fma y y (- (* z z)))))) (cbrt (* x (sqrt (fma y y (- (* z z)))))))
  (cbrt (* x (sqrt (fma y y (- (* z z))))))
  (pow (* x (sqrt (fma y y (- (* z z))))) 3)
  (sqrt (* x (sqrt (fma y y (- (* z z))))))
  (sqrt (* x (sqrt (fma y y (- (* z z))))))
  (* (sqrt (sqrt (fma y y (- (* z z))))) (sqrt x))
  (* (sqrt (sqrt (fma y y (- (* z z))))) (sqrt x))
  (* (sqrt (sqrt (fma y y (- (* z z))))) (sqrt x))
  (* (sqrt (sqrt (fma y y (- (* z z))))) (sqrt x))
  (* x (* (cbrt (sqrt (fma y y (- (* z z))))) (cbrt (sqrt (fma y y (- (* z z)))))))
  (* (fabs (cbrt (fma y y (- (* z z))))) x)
  (* x (sqrt (sqrt (fma y y (- (* z z))))))
  x
  (* x (sqrt (sqrt (fma y y (- (* z z))))))
  x
  (* (cbrt x) (sqrt (fma y y (- (* z z)))))
  (* (sqrt x) (sqrt (fma y y (- (* z z)))))
  (* x (sqrt (fma y y (- (* z z)))))
  (* (sqrt (pow (fma y y (- (* z z))) 3)) x)
  (* (fabs (fma y y (- (* z z)))) x)
  (* z (sqrt -1))
  y
  (- y)
  (fma y y (- (* z z)))
  (fma y y (- (* z z)))
  (fma y y (- (* z z)))
  0
  (* x y)
  (- (* x y))
9.744 * * * [progress]: adding candidates to table
9.924 * * [progress]: iteration 3 / 4
9.924 * * * [progress]: picking best candidate
9.929 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (- y)))>
9.929 * * * [progress]: localizing error
9.932 * * * [progress]: generating rewritten candidates
9.932 * * * [progress]: generating series expansions
9.932 * * * [progress]: simplifying candidates
9.933 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   
9.933 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
9.934 * * [simplify]: iteration  done :  0  enodes  (cost  0 )
9.934 * [simplify]: Simplified to:
   
9.934 * * * [progress]: adding candidates to table
9.934 * * [progress]: iteration 4 / 4
9.934 * * * [progress]: picking best candidate
9.938 * * * * [pick]: Picked  #<alt (λ (x y z) (* x y))>
9.938 * * * [progress]: localizing error
9.940 * * * [progress]: generating rewritten candidates
9.940 * * * [progress]: generating series expansions
9.940 * * * [progress]: simplifying candidates
9.941 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   
9.941 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
9.942 * * [simplify]: iteration  done :  0  enodes  (cost  0 )
9.942 * [simplify]: Simplified to:
   
9.942 * * * [progress]: adding candidates to table
9.942 * [progress]: [Phase 3 of 3] Extracting.
9.942 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* (* x (sqrt (+ y z))) (sqrt (- y z))))> #<alt (λ (x y z) (* x y))> #<alt (λ (x y z) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))> #<alt (λ (x y z) (* x (- y)))>)
9.942 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
9.943 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* (* x (sqrt (+ y z))) (sqrt (- y z))))> #<alt (λ (x y z) (* x y))> #<alt (λ (x y z) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))> #<alt (λ (x y z) (* x (- y)))>)
9.987 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* (* x (sqrt (+ y z))) (sqrt (- y z))))> #<alt (λ (x y z) (* x y))> #<alt (λ (x y z) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))> #<alt (λ (x y z) (* x (- y)))>)
10.013 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* (* x (sqrt (+ y z))) (sqrt (- y z))))> #<alt (λ (x y z) (* x y))> #<alt (λ (x y z) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))> #<alt (λ (x y z) (* x (- y)))>)
10.071 * * * [regime]: Found split indices: #<option (#s(si 3 134) #s(si 1 255))>
10.072 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y z) (* (* x (sqrt (+ y z))) (sqrt (- y z))))> #<alt (λ (x y z) (* x y))> #<alt (λ (x y z) (* x (sqrt (+ (fma y y (- (* z z))) (* (- z z) z)))))> #<alt (λ (x y z) (* x (- y)))>)