17.879 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (* (- y x) 6.0) z))
0.020 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.021 * * [simplify]: iteration  1 :  15  enodes  (cost  9 )
0.023 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.027 * * [simplify]: iteration  3 :  56  enodes  (cost  9 )
0.034 * * [simplify]: iteration  4 :  91  enodes  (cost  9 )
0.049 * * [simplify]: iteration  5 :  117  enodes  (cost  9 )
0.073 * * [simplify]: iteration  6 :  134  enodes  (cost  9 )
0.102 * * [simplify]: iteration  7 :  151  enodes  (cost  9 )
0.132 * * [simplify]: iteration  8 :  202  enodes  (cost  9 )
0.174 * * [simplify]: iteration  9 :  304  enodes  (cost  9 )
0.280 * * [simplify]: iteration  10 :  543  enodes  (cost  9 )
0.562 * * [simplify]: iteration  11 :  919  enodes  (cost  9 )
1.427 * * [simplify]: iteration  12 :  1617  enodes  (cost  9 )
4.015 * * [simplify]: iteration  13 :  2016  enodes  (cost  9 )
7.617 * * [simplify]: iteration  14 :  2875  enodes  (cost  9 )
14.280 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
14.280 * [simplify]: Simplified to:
   (+ x (* (* (- y x) 6.0) z))
14.280 * * [progress]: iteration 1 / 4
14.280 * * * [progress]: picking best candidate
14.282 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))>
14.282 * * * [progress]: localizing error
14.288 * * * [progress]: generating rewritten candidates
14.288 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
14.302 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
14.313 * * * [progress]: generating series expansions
14.314 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
14.314 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0
14.314 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z
14.314 * [taylor]: Taking taylor expansion of 6.0 in z
14.314 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
14.314 * [taylor]: Taking taylor expansion of (- y x) in z
14.314 * [taylor]: Taking taylor expansion of y in z
14.314 * [taylor]: Taking taylor expansion of x in z
14.314 * [taylor]: Taking taylor expansion of z in z
14.314 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x
14.314 * [taylor]: Taking taylor expansion of 6.0 in x
14.314 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
14.314 * [taylor]: Taking taylor expansion of (- y x) in x
14.314 * [taylor]: Taking taylor expansion of y in x
14.314 * [taylor]: Taking taylor expansion of x in x
14.314 * [taylor]: Taking taylor expansion of z in x
14.314 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
14.314 * [taylor]: Taking taylor expansion of 6.0 in y
14.314 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
14.314 * [taylor]: Taking taylor expansion of (- y x) in y
14.314 * [taylor]: Taking taylor expansion of y in y
14.314 * [taylor]: Taking taylor expansion of x in y
14.314 * [taylor]: Taking taylor expansion of z in y
14.314 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
14.314 * [taylor]: Taking taylor expansion of 6.0 in y
14.314 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
14.314 * [taylor]: Taking taylor expansion of (- y x) in y
14.314 * [taylor]: Taking taylor expansion of y in y
14.314 * [taylor]: Taking taylor expansion of x in y
14.314 * [taylor]: Taking taylor expansion of z in y
14.314 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
14.315 * [taylor]: Taking taylor expansion of -6.0 in x
14.315 * [taylor]: Taking taylor expansion of (* x z) in x
14.315 * [taylor]: Taking taylor expansion of x in x
14.315 * [taylor]: Taking taylor expansion of z in x
14.315 * [taylor]: Taking taylor expansion of 0 in z
14.316 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
14.316 * [taylor]: Taking taylor expansion of 6.0 in x
14.316 * [taylor]: Taking taylor expansion of z in x
14.316 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
14.316 * [taylor]: Taking taylor expansion of 6.0 in z
14.316 * [taylor]: Taking taylor expansion of z in z
14.317 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z
14.317 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
14.317 * [taylor]: Taking taylor expansion of 6.0 in z
14.317 * [taylor]: Taking taylor expansion of z in z
14.318 * [taylor]: Taking taylor expansion of 0 in x
14.318 * [taylor]: Taking taylor expansion of 0 in z
14.319 * [taylor]: Taking taylor expansion of 0 in z
14.319 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
14.319 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
14.319 * [taylor]: Taking taylor expansion of 6.0 in z
14.319 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
14.319 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
14.319 * [taylor]: Taking taylor expansion of (/ 1 y) in z
14.319 * [taylor]: Taking taylor expansion of y in z
14.319 * [taylor]: Taking taylor expansion of (/ 1 x) in z
14.319 * [taylor]: Taking taylor expansion of x in z
14.319 * [taylor]: Taking taylor expansion of z in z
14.319 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
14.319 * [taylor]: Taking taylor expansion of 6.0 in x
14.319 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
14.319 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
14.319 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.319 * [taylor]: Taking taylor expansion of y in x
14.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.319 * [taylor]: Taking taylor expansion of x in x
14.320 * [taylor]: Taking taylor expansion of z in x
14.320 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
14.320 * [taylor]: Taking taylor expansion of 6.0 in y
14.320 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
14.320 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
14.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.320 * [taylor]: Taking taylor expansion of y in y
14.320 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.321 * [taylor]: Taking taylor expansion of x in y
14.321 * [taylor]: Taking taylor expansion of z in y
14.321 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
14.321 * [taylor]: Taking taylor expansion of 6.0 in y
14.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
14.321 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
14.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.321 * [taylor]: Taking taylor expansion of y in y
14.321 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.321 * [taylor]: Taking taylor expansion of x in y
14.321 * [taylor]: Taking taylor expansion of z in y
14.322 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
14.322 * [taylor]: Taking taylor expansion of 6.0 in x
14.322 * [taylor]: Taking taylor expansion of z in x
14.322 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
14.322 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
14.322 * [taylor]: Taking taylor expansion of 6.0 in x
14.322 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
14.323 * [taylor]: Taking taylor expansion of (* x z) in x
14.323 * [taylor]: Taking taylor expansion of x in x
14.323 * [taylor]: Taking taylor expansion of z in x
14.323 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
14.323 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
14.323 * [taylor]: Taking taylor expansion of 6.0 in z
14.323 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.323 * [taylor]: Taking taylor expansion of z in z
14.324 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
14.324 * [taylor]: Taking taylor expansion of 6.0 in z
14.324 * [taylor]: Taking taylor expansion of z in z
14.326 * [taylor]: Taking taylor expansion of 0 in x
14.327 * [taylor]: Taking taylor expansion of 0 in z
14.327 * [taylor]: Taking taylor expansion of 0 in z
14.330 * [taylor]: Taking taylor expansion of 0 in x
14.330 * [taylor]: Taking taylor expansion of 0 in z
14.332 * [taylor]: Taking taylor expansion of 0 in z
14.332 * [taylor]: Taking taylor expansion of 0 in z
14.334 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
14.334 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
14.334 * [taylor]: Taking taylor expansion of -6.0 in z
14.334 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
14.334 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
14.335 * [taylor]: Taking taylor expansion of (/ 1 x) in z
14.335 * [taylor]: Taking taylor expansion of x in z
14.335 * [taylor]: Taking taylor expansion of (/ 1 y) in z
14.335 * [taylor]: Taking taylor expansion of y in z
14.335 * [taylor]: Taking taylor expansion of z in z
14.335 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
14.335 * [taylor]: Taking taylor expansion of -6.0 in x
14.335 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
14.335 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
14.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.335 * [taylor]: Taking taylor expansion of x in x
14.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.335 * [taylor]: Taking taylor expansion of y in x
14.335 * [taylor]: Taking taylor expansion of z in x
14.335 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
14.336 * [taylor]: Taking taylor expansion of -6.0 in y
14.336 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
14.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
14.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.336 * [taylor]: Taking taylor expansion of x in y
14.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.336 * [taylor]: Taking taylor expansion of y in y
14.336 * [taylor]: Taking taylor expansion of z in y
14.336 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
14.336 * [taylor]: Taking taylor expansion of -6.0 in y
14.336 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
14.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
14.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.337 * [taylor]: Taking taylor expansion of x in y
14.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.337 * [taylor]: Taking taylor expansion of y in y
14.337 * [taylor]: Taking taylor expansion of z in y
14.337 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
14.337 * [taylor]: Taking taylor expansion of 6.0 in x
14.337 * [taylor]: Taking taylor expansion of z in x
14.338 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
14.338 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
14.338 * [taylor]: Taking taylor expansion of 6.0 in x
14.338 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
14.338 * [taylor]: Taking taylor expansion of (* x z) in x
14.338 * [taylor]: Taking taylor expansion of x in x
14.338 * [taylor]: Taking taylor expansion of z in x
14.339 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
14.339 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
14.339 * [taylor]: Taking taylor expansion of 6.0 in z
14.339 * [taylor]: Taking taylor expansion of (/ 1 z) in z
14.339 * [taylor]: Taking taylor expansion of z in z
14.340 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
14.340 * [taylor]: Taking taylor expansion of 6.0 in z
14.340 * [taylor]: Taking taylor expansion of z in z
14.342 * [taylor]: Taking taylor expansion of 0 in x
14.343 * [taylor]: Taking taylor expansion of 0 in z
14.343 * [taylor]: Taking taylor expansion of 0 in z
14.349 * [taylor]: Taking taylor expansion of 0 in x
14.350 * [taylor]: Taking taylor expansion of 0 in z
14.351 * [taylor]: Taking taylor expansion of 0 in z
14.351 * [taylor]: Taking taylor expansion of 0 in z
14.353 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
14.354 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0
14.354 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x
14.354 * [taylor]: Taking taylor expansion of 6.0 in x
14.354 * [taylor]: Taking taylor expansion of (- y x) in x
14.354 * [taylor]: Taking taylor expansion of y in x
14.354 * [taylor]: Taking taylor expansion of x in x
14.354 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
14.354 * [taylor]: Taking taylor expansion of 6.0 in y
14.354 * [taylor]: Taking taylor expansion of (- y x) in y
14.354 * [taylor]: Taking taylor expansion of y in y
14.354 * [taylor]: Taking taylor expansion of x in y
14.354 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y
14.354 * [taylor]: Taking taylor expansion of 6.0 in y
14.354 * [taylor]: Taking taylor expansion of (- y x) in y
14.354 * [taylor]: Taking taylor expansion of y in y
14.354 * [taylor]: Taking taylor expansion of x in y
14.354 * [taylor]: Taking taylor expansion of (* -6.0 x) in x
14.354 * [taylor]: Taking taylor expansion of -6.0 in x
14.354 * [taylor]: Taking taylor expansion of x in x
14.355 * [taylor]: Taking taylor expansion of 6.0 in x
14.357 * [taylor]: Taking taylor expansion of 0 in x
14.359 * [taylor]: Taking taylor expansion of 0 in x
14.360 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0
14.360 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x
14.360 * [taylor]: Taking taylor expansion of 6.0 in x
14.360 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
14.360 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.360 * [taylor]: Taking taylor expansion of y in x
14.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.360 * [taylor]: Taking taylor expansion of x in x
14.360 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
14.360 * [taylor]: Taking taylor expansion of 6.0 in y
14.360 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
14.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.360 * [taylor]: Taking taylor expansion of y in y
14.360 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.360 * [taylor]: Taking taylor expansion of x in y
14.360 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y
14.360 * [taylor]: Taking taylor expansion of 6.0 in y
14.360 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
14.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.360 * [taylor]: Taking taylor expansion of y in y
14.361 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.361 * [taylor]: Taking taylor expansion of x in y
14.361 * [taylor]: Taking taylor expansion of 6.0 in x
14.362 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x
14.362 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
14.362 * [taylor]: Taking taylor expansion of 6.0 in x
14.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.362 * [taylor]: Taking taylor expansion of x in x
14.365 * [taylor]: Taking taylor expansion of 0 in x
14.368 * [taylor]: Taking taylor expansion of 0 in x
14.371 * [taylor]: Taking taylor expansion of 0 in x
14.371 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0
14.371 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x
14.372 * [taylor]: Taking taylor expansion of 6.0 in x
14.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
14.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.372 * [taylor]: Taking taylor expansion of x in x
14.372 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.372 * [taylor]: Taking taylor expansion of y in x
14.372 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
14.372 * [taylor]: Taking taylor expansion of 6.0 in y
14.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
14.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.372 * [taylor]: Taking taylor expansion of x in y
14.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.372 * [taylor]: Taking taylor expansion of y in y
14.372 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y
14.372 * [taylor]: Taking taylor expansion of 6.0 in y
14.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
14.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.372 * [taylor]: Taking taylor expansion of x in y
14.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.372 * [taylor]: Taking taylor expansion of y in y
14.373 * [taylor]: Taking taylor expansion of -6.0 in x
14.374 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
14.374 * [taylor]: Taking taylor expansion of 6.0 in x
14.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.374 * [taylor]: Taking taylor expansion of x in x
14.376 * [taylor]: Taking taylor expansion of 0 in x
14.379 * [taylor]: Taking taylor expansion of 0 in x
14.382 * [taylor]: Taking taylor expansion of 0 in x
14.382 * * * [progress]: simplifying candidates
14.383 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (- y x) 6.0) z)
  (* (* (- y x) 6.0) z)
  (+ (+ (log (- y x)) (log 6.0)) (log z))
  (+ (log (* (- y x) 6.0)) (log z))
  (log (* (* (- y x) 6.0) z))
  (exp (* (* (- y x) 6.0) z))
  (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* z z) z))
  (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* z z) z))
  (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z)))
  (cbrt (* (* (- y x) 6.0) z))
  (* (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (* (* (- y x) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- y x) 6.0) (sqrt z))
  (* (* (- y x) 6.0) 1)
  (* 6.0 z)
  (* (* (- (pow y 3) (pow x 3)) 6.0) z)
  (* (* (- (* y y) (* x x)) 6.0) z)
  (* (- y x) 6.0)
  (+ (log (- y x)) (log 6.0))
  (log (* (- y x) 6.0))
  (exp (* (- y x) 6.0))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0))
  (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0)))
  (cbrt (* (- y x) 6.0))
  (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0))
  (sqrt (* (- y x) 6.0))
  (sqrt (* (- y x) 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (- y x) (* (cbrt 6.0) (cbrt 6.0)))
  (* (- y x) (sqrt 6.0))
  (* (- y x) 1)
  (* (cbrt (- y x)) 6.0)
  (* (sqrt (- y x)) 6.0)
  (* (- y x) 6.0)
  (* (- (sqrt y) (sqrt x)) 6.0)
  (* (- y x) 6.0)
  (* (- (pow y 3) (pow x 3)) 6.0)
  (* (- (* y y) (* x x)) 6.0)
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
  (- (* 6.0 y) (* 6.0 x))
14.385 * * [simplify]: iteration  0 :  79  enodes  (cost  424 )
14.397 * * [simplify]: iteration  1 :  193  enodes  (cost  406 )
14.437 * * [simplify]: iteration  2 :  787  enodes  (cost  340 )
14.928 * * [simplify]: iteration  3 :  3596  enodes  (cost  340 )
16.558 * * [simplify]: iteration  done :  5001  enodes  (cost  340 )
16.559 * [simplify]: Simplified to:
   (* z (* (- y x) 6.0))
  (* z (* (- y x) 6.0))
  (log (* (* (- y x) 6.0) z))
  (log (* (* (- y x) 6.0) z))
  (log (* (* (- y x) 6.0) z))
  (exp (* (* (- y x) 6.0) z))
  (pow (* z (* (- y x) 6.0)) 3)
  (pow (* z (* (- y x) 6.0)) 3)
  (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z)))
  (cbrt (* (* (- y x) 6.0) z))
  (pow (* z (* (- y x) 6.0)) 3)
  (sqrt (* (* (- y x) 6.0) z))
  (sqrt (* (* (- y x) 6.0) z))
  (* (* (- y x) 6.0) (* (cbrt z) (cbrt z)))
  (* (* (- y x) 6.0) (sqrt z))
  (* (- y x) 6.0)
  (* z 6.0)
  (* (* (- (pow y 3) (pow x 3)) 6.0) z)
  (* (* (- (* y y) (* x x)) 6.0) z)
  (* (- y x) 6.0)
  (log (* (- y x) 6.0))
  (log (* (- y x) 6.0))
  (exp (* (- y x) 6.0))
  (pow (* (- y x) 6.0) 3)
  (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0)))
  (cbrt (* (- y x) 6.0))
  (pow (* (- y x) 6.0) 3)
  (sqrt (* (- y x) 6.0))
  (sqrt (* (- y x) 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (sqrt (- y x)) (sqrt 6.0))
  (* (- y x) (* (cbrt 6.0) (cbrt 6.0)))
  (* (- y x) (sqrt 6.0))
  (- y x)
  (* (cbrt (- y x)) 6.0)
  (* (sqrt (- y x)) 6.0)
  (* (- y x) 6.0)
  (* (- (sqrt y) (sqrt x)) 6.0)
  (* (- y x) 6.0)
  (* (- (pow y 3) (pow x 3)) 6.0)
  (* (- (* y y) (* x x)) 6.0)
  0
  (* z (* (- y x) 6.0))
  (* z (* (- y x) 6.0))
  (* (- y x) 6.0)
  (* (- y x) 6.0)
  (* (- y x) 6.0)
16.560 * * * [progress]: adding candidates to table
16.639 * * [progress]: iteration 2 / 4
16.639 * * * [progress]: picking best candidate
16.645 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (- y x) (* z 6.0))))>
16.645 * * * [progress]: localizing error
16.651 * * * [progress]: generating rewritten candidates
16.651 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
16.665 * * * [progress]: generating series expansions
16.665 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
16.665 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0
16.665 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z
16.665 * [taylor]: Taking taylor expansion of 6.0 in z
16.665 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
16.665 * [taylor]: Taking taylor expansion of (- y x) in z
16.665 * [taylor]: Taking taylor expansion of y in z
16.665 * [taylor]: Taking taylor expansion of x in z
16.665 * [taylor]: Taking taylor expansion of z in z
16.665 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x
16.665 * [taylor]: Taking taylor expansion of 6.0 in x
16.665 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
16.665 * [taylor]: Taking taylor expansion of (- y x) in x
16.665 * [taylor]: Taking taylor expansion of y in x
16.665 * [taylor]: Taking taylor expansion of x in x
16.665 * [taylor]: Taking taylor expansion of z in x
16.665 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
16.665 * [taylor]: Taking taylor expansion of 6.0 in y
16.665 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
16.665 * [taylor]: Taking taylor expansion of (- y x) in y
16.665 * [taylor]: Taking taylor expansion of y in y
16.665 * [taylor]: Taking taylor expansion of x in y
16.665 * [taylor]: Taking taylor expansion of z in y
16.665 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
16.665 * [taylor]: Taking taylor expansion of 6.0 in y
16.665 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
16.665 * [taylor]: Taking taylor expansion of (- y x) in y
16.665 * [taylor]: Taking taylor expansion of y in y
16.665 * [taylor]: Taking taylor expansion of x in y
16.665 * [taylor]: Taking taylor expansion of z in y
16.665 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
16.665 * [taylor]: Taking taylor expansion of -6.0 in x
16.665 * [taylor]: Taking taylor expansion of (* x z) in x
16.665 * [taylor]: Taking taylor expansion of x in x
16.665 * [taylor]: Taking taylor expansion of z in x
16.666 * [taylor]: Taking taylor expansion of 0 in z
16.667 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
16.667 * [taylor]: Taking taylor expansion of 6.0 in x
16.667 * [taylor]: Taking taylor expansion of z in x
16.667 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
16.667 * [taylor]: Taking taylor expansion of 6.0 in z
16.667 * [taylor]: Taking taylor expansion of z in z
16.667 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z
16.668 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
16.668 * [taylor]: Taking taylor expansion of 6.0 in z
16.668 * [taylor]: Taking taylor expansion of z in z
16.669 * [taylor]: Taking taylor expansion of 0 in x
16.669 * [taylor]: Taking taylor expansion of 0 in z
16.670 * [taylor]: Taking taylor expansion of 0 in z
16.670 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
16.670 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
16.670 * [taylor]: Taking taylor expansion of 6.0 in z
16.670 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
16.670 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
16.670 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.670 * [taylor]: Taking taylor expansion of y in z
16.670 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.670 * [taylor]: Taking taylor expansion of x in z
16.670 * [taylor]: Taking taylor expansion of z in z
16.670 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
16.670 * [taylor]: Taking taylor expansion of 6.0 in x
16.670 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
16.670 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
16.670 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.670 * [taylor]: Taking taylor expansion of y in x
16.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.670 * [taylor]: Taking taylor expansion of x in x
16.671 * [taylor]: Taking taylor expansion of z in x
16.671 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
16.671 * [taylor]: Taking taylor expansion of 6.0 in y
16.671 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
16.671 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
16.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.671 * [taylor]: Taking taylor expansion of y in y
16.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.672 * [taylor]: Taking taylor expansion of x in y
16.672 * [taylor]: Taking taylor expansion of z in y
16.672 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
16.672 * [taylor]: Taking taylor expansion of 6.0 in y
16.672 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
16.672 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
16.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.672 * [taylor]: Taking taylor expansion of y in y
16.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.672 * [taylor]: Taking taylor expansion of x in y
16.672 * [taylor]: Taking taylor expansion of z in y
16.673 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
16.673 * [taylor]: Taking taylor expansion of 6.0 in x
16.673 * [taylor]: Taking taylor expansion of z in x
16.673 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
16.673 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
16.673 * [taylor]: Taking taylor expansion of 6.0 in x
16.673 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
16.673 * [taylor]: Taking taylor expansion of (* x z) in x
16.673 * [taylor]: Taking taylor expansion of x in x
16.673 * [taylor]: Taking taylor expansion of z in x
16.674 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
16.674 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
16.674 * [taylor]: Taking taylor expansion of 6.0 in z
16.674 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.674 * [taylor]: Taking taylor expansion of z in z
16.675 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
16.675 * [taylor]: Taking taylor expansion of 6.0 in z
16.675 * [taylor]: Taking taylor expansion of z in z
16.677 * [taylor]: Taking taylor expansion of 0 in x
16.678 * [taylor]: Taking taylor expansion of 0 in z
16.678 * [taylor]: Taking taylor expansion of 0 in z
16.681 * [taylor]: Taking taylor expansion of 0 in x
16.681 * [taylor]: Taking taylor expansion of 0 in z
16.683 * [taylor]: Taking taylor expansion of 0 in z
16.683 * [taylor]: Taking taylor expansion of 0 in z
16.685 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
16.685 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
16.685 * [taylor]: Taking taylor expansion of -6.0 in z
16.685 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
16.685 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
16.685 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.685 * [taylor]: Taking taylor expansion of x in z
16.685 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.685 * [taylor]: Taking taylor expansion of y in z
16.685 * [taylor]: Taking taylor expansion of z in z
16.685 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
16.685 * [taylor]: Taking taylor expansion of -6.0 in x
16.686 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
16.686 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
16.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.686 * [taylor]: Taking taylor expansion of x in x
16.686 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.686 * [taylor]: Taking taylor expansion of y in x
16.686 * [taylor]: Taking taylor expansion of z in x
16.686 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
16.686 * [taylor]: Taking taylor expansion of -6.0 in y
16.686 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
16.686 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
16.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.686 * [taylor]: Taking taylor expansion of x in y
16.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.686 * [taylor]: Taking taylor expansion of y in y
16.687 * [taylor]: Taking taylor expansion of z in y
16.687 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
16.687 * [taylor]: Taking taylor expansion of -6.0 in y
16.687 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
16.687 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
16.687 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.687 * [taylor]: Taking taylor expansion of x in y
16.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.687 * [taylor]: Taking taylor expansion of y in y
16.688 * [taylor]: Taking taylor expansion of z in y
16.688 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
16.688 * [taylor]: Taking taylor expansion of 6.0 in x
16.688 * [taylor]: Taking taylor expansion of z in x
16.689 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
16.689 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
16.689 * [taylor]: Taking taylor expansion of 6.0 in x
16.689 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
16.689 * [taylor]: Taking taylor expansion of (* x z) in x
16.689 * [taylor]: Taking taylor expansion of x in x
16.689 * [taylor]: Taking taylor expansion of z in x
16.689 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
16.690 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
16.690 * [taylor]: Taking taylor expansion of 6.0 in z
16.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.690 * [taylor]: Taking taylor expansion of z in z
16.691 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
16.691 * [taylor]: Taking taylor expansion of 6.0 in z
16.691 * [taylor]: Taking taylor expansion of z in z
16.692 * [taylor]: Taking taylor expansion of 0 in x
16.693 * [taylor]: Taking taylor expansion of 0 in z
16.694 * [taylor]: Taking taylor expansion of 0 in z
16.697 * [taylor]: Taking taylor expansion of 0 in x
16.697 * [taylor]: Taking taylor expansion of 0 in z
16.698 * [taylor]: Taking taylor expansion of 0 in z
16.698 * [taylor]: Taking taylor expansion of 0 in z
16.701 * * * [progress]: simplifying candidates
16.701 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- y x) (* z 6.0))
  (* (- y x) (* z 6.0))
  (+ (log (- y x)) (+ (log z) (log 6.0)))
  (+ (log (- y x)) (log (* z 6.0)))
  (log (* (- y x) (* z 6.0)))
  (exp (* (- y x) (* z 6.0)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* z z) z) (* (* 6.0 6.0) 6.0)))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* (* z 6.0) (* z 6.0)) (* z 6.0)))
  (* (cbrt (* (- y x) (* z 6.0))) (cbrt (* (- y x) (* z 6.0))))
  (cbrt (* (- y x) (* z 6.0)))
  (* (* (* (- y x) (* z 6.0)) (* (- y x) (* z 6.0))) (* (- y x) (* z 6.0)))
  (sqrt (* (- y x) (* z 6.0)))
  (sqrt (* (- y x) (* z 6.0)))
  (* (- y x) z)
  (* (cbrt (- y x)) (* z 6.0))
  (* (sqrt (- y x)) (* z 6.0))
  (* (- y x) (* z 6.0))
  (* (- (sqrt y) (sqrt x)) (* z 6.0))
  (* (- y x) (* z 6.0))
  (* (- (pow y 3) (pow x 3)) (* z 6.0))
  (* (- (* y y) (* x x)) (* z 6.0))
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
16.703 * * [simplify]: iteration  0 :  56  enodes  (cost  248 )
16.714 * * [simplify]: iteration  1 :  148  enodes  (cost  241 )
16.738 * * [simplify]: iteration  2 :  479  enodes  (cost  195 )
16.857 * * [simplify]: iteration  3 :  1893  enodes  (cost  195 )
17.465 * * [simplify]: iteration  done :  5001  enodes  (cost  195 )
17.465 * [simplify]: Simplified to:
   (* (* z 6.0) (- y x))
  (* (* z 6.0) (- y x))
  (log (* (- y x) (* z 6.0)))
  (log (* (- y x) (* z 6.0)))
  (log (* (- y x) (* z 6.0)))
  (exp (* (- y x) (* z 6.0)))
  (pow (* (* z 6.0) (- y x)) 3)
  (pow (* (* z 6.0) (- y x)) 3)
  (* (cbrt (* (- y x) (* z 6.0))) (cbrt (* (- y x) (* z 6.0))))
  (cbrt (* (- y x) (* z 6.0)))
  (pow (* (* z 6.0) (- y x)) 3)
  (sqrt (* (- y x) (* z 6.0)))
  (sqrt (* (- y x) (* z 6.0)))
  (* (- y x) z)
  (* (cbrt (- y x)) (* z 6.0))
  (* (sqrt (- y x)) (* z 6.0))
  (* (* z 6.0) (- y x))
  (* (- (sqrt y) (sqrt x)) (* z 6.0))
  (* (* z 6.0) (- y x))
  (* (- (pow y 3) (pow x 3)) (* z 6.0))
  (* (- (* y y) (* x x)) (* z 6.0))
  0
  (* (* z 6.0) (- y x))
  (* (* z 6.0) (- y x))
17.466 * * * [progress]: adding candidates to table
17.510 * * [progress]: iteration 3 / 4
17.510 * * * [progress]: picking best candidate
17.517 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (- y x) z) 6.0)))>
17.517 * * * [progress]: localizing error
17.523 * * * [progress]: generating rewritten candidates
17.523 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
17.537 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
17.551 * * * [progress]: generating series expansions
17.551 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
17.551 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0
17.551 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z
17.551 * [taylor]: Taking taylor expansion of 6.0 in z
17.551 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
17.551 * [taylor]: Taking taylor expansion of (- y x) in z
17.551 * [taylor]: Taking taylor expansion of y in z
17.551 * [taylor]: Taking taylor expansion of x in z
17.551 * [taylor]: Taking taylor expansion of z in z
17.551 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x
17.551 * [taylor]: Taking taylor expansion of 6.0 in x
17.551 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
17.551 * [taylor]: Taking taylor expansion of (- y x) in x
17.551 * [taylor]: Taking taylor expansion of y in x
17.551 * [taylor]: Taking taylor expansion of x in x
17.552 * [taylor]: Taking taylor expansion of z in x
17.552 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
17.552 * [taylor]: Taking taylor expansion of 6.0 in y
17.552 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
17.552 * [taylor]: Taking taylor expansion of (- y x) in y
17.552 * [taylor]: Taking taylor expansion of y in y
17.552 * [taylor]: Taking taylor expansion of x in y
17.552 * [taylor]: Taking taylor expansion of z in y
17.552 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y
17.552 * [taylor]: Taking taylor expansion of 6.0 in y
17.552 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
17.552 * [taylor]: Taking taylor expansion of (- y x) in y
17.552 * [taylor]: Taking taylor expansion of y in y
17.552 * [taylor]: Taking taylor expansion of x in y
17.552 * [taylor]: Taking taylor expansion of z in y
17.552 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x
17.552 * [taylor]: Taking taylor expansion of -6.0 in x
17.552 * [taylor]: Taking taylor expansion of (* x z) in x
17.552 * [taylor]: Taking taylor expansion of x in x
17.552 * [taylor]: Taking taylor expansion of z in x
17.553 * [taylor]: Taking taylor expansion of 0 in z
17.553 * [taylor]: Taking taylor expansion of (* 6.0 z) in x
17.553 * [taylor]: Taking taylor expansion of 6.0 in x
17.553 * [taylor]: Taking taylor expansion of z in x
17.553 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
17.553 * [taylor]: Taking taylor expansion of 6.0 in z
17.553 * [taylor]: Taking taylor expansion of z in z
17.554 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z
17.554 * [taylor]: Taking taylor expansion of (* 6.0 z) in z
17.554 * [taylor]: Taking taylor expansion of 6.0 in z
17.554 * [taylor]: Taking taylor expansion of z in z
17.556 * [taylor]: Taking taylor expansion of 0 in x
17.556 * [taylor]: Taking taylor expansion of 0 in z
17.556 * [taylor]: Taking taylor expansion of 0 in z
17.556 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0
17.556 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z
17.556 * [taylor]: Taking taylor expansion of 6.0 in z
17.556 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
17.556 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
17.556 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.556 * [taylor]: Taking taylor expansion of y in z
17.556 * [taylor]: Taking taylor expansion of (/ 1 x) in z
17.556 * [taylor]: Taking taylor expansion of x in z
17.556 * [taylor]: Taking taylor expansion of z in z
17.557 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x
17.557 * [taylor]: Taking taylor expansion of 6.0 in x
17.557 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
17.557 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
17.557 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.557 * [taylor]: Taking taylor expansion of y in x
17.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.557 * [taylor]: Taking taylor expansion of x in x
17.557 * [taylor]: Taking taylor expansion of z in x
17.557 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
17.557 * [taylor]: Taking taylor expansion of 6.0 in y
17.558 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
17.558 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
17.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.558 * [taylor]: Taking taylor expansion of y in y
17.558 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.558 * [taylor]: Taking taylor expansion of x in y
17.558 * [taylor]: Taking taylor expansion of z in y
17.558 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y
17.558 * [taylor]: Taking taylor expansion of 6.0 in y
17.558 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
17.558 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
17.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.558 * [taylor]: Taking taylor expansion of y in y
17.559 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.559 * [taylor]: Taking taylor expansion of x in y
17.559 * [taylor]: Taking taylor expansion of z in y
17.559 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
17.559 * [taylor]: Taking taylor expansion of 6.0 in x
17.559 * [taylor]: Taking taylor expansion of z in x
17.560 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
17.560 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
17.560 * [taylor]: Taking taylor expansion of 6.0 in x
17.560 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.560 * [taylor]: Taking taylor expansion of (* x z) in x
17.560 * [taylor]: Taking taylor expansion of x in x
17.560 * [taylor]: Taking taylor expansion of z in x
17.560 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
17.560 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
17.560 * [taylor]: Taking taylor expansion of 6.0 in z
17.560 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.560 * [taylor]: Taking taylor expansion of z in z
17.561 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
17.561 * [taylor]: Taking taylor expansion of 6.0 in z
17.561 * [taylor]: Taking taylor expansion of z in z
17.563 * [taylor]: Taking taylor expansion of 0 in x
17.564 * [taylor]: Taking taylor expansion of 0 in z
17.564 * [taylor]: Taking taylor expansion of 0 in z
17.567 * [taylor]: Taking taylor expansion of 0 in x
17.567 * [taylor]: Taking taylor expansion of 0 in z
17.569 * [taylor]: Taking taylor expansion of 0 in z
17.569 * [taylor]: Taking taylor expansion of 0 in z
17.571 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
17.572 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z
17.572 * [taylor]: Taking taylor expansion of -6.0 in z
17.572 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
17.572 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
17.572 * [taylor]: Taking taylor expansion of (/ 1 x) in z
17.572 * [taylor]: Taking taylor expansion of x in z
17.572 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.572 * [taylor]: Taking taylor expansion of y in z
17.572 * [taylor]: Taking taylor expansion of z in z
17.572 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x
17.572 * [taylor]: Taking taylor expansion of -6.0 in x
17.572 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
17.572 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
17.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.572 * [taylor]: Taking taylor expansion of x in x
17.572 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.572 * [taylor]: Taking taylor expansion of y in x
17.572 * [taylor]: Taking taylor expansion of z in x
17.573 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
17.573 * [taylor]: Taking taylor expansion of -6.0 in y
17.573 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
17.573 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
17.573 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.573 * [taylor]: Taking taylor expansion of x in y
17.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.573 * [taylor]: Taking taylor expansion of y in y
17.573 * [taylor]: Taking taylor expansion of z in y
17.574 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y
17.574 * [taylor]: Taking taylor expansion of -6.0 in y
17.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
17.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
17.574 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.574 * [taylor]: Taking taylor expansion of x in y
17.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.574 * [taylor]: Taking taylor expansion of y in y
17.574 * [taylor]: Taking taylor expansion of z in y
17.575 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x
17.575 * [taylor]: Taking taylor expansion of 6.0 in x
17.575 * [taylor]: Taking taylor expansion of z in x
17.576 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x
17.576 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x
17.576 * [taylor]: Taking taylor expansion of 6.0 in x
17.576 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.576 * [taylor]: Taking taylor expansion of (* x z) in x
17.576 * [taylor]: Taking taylor expansion of x in x
17.576 * [taylor]: Taking taylor expansion of z in x
17.576 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z
17.576 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z
17.576 * [taylor]: Taking taylor expansion of 6.0 in z
17.576 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.576 * [taylor]: Taking taylor expansion of z in z
17.577 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z
17.577 * [taylor]: Taking taylor expansion of 6.0 in z
17.577 * [taylor]: Taking taylor expansion of z in z
17.579 * [taylor]: Taking taylor expansion of 0 in x
17.580 * [taylor]: Taking taylor expansion of 0 in z
17.580 * [taylor]: Taking taylor expansion of 0 in z
17.584 * [taylor]: Taking taylor expansion of 0 in x
17.584 * [taylor]: Taking taylor expansion of 0 in z
17.585 * [taylor]: Taking taylor expansion of 0 in z
17.585 * [taylor]: Taking taylor expansion of 0 in z
17.588 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
17.588 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
17.588 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
17.588 * [taylor]: Taking taylor expansion of (- y x) in z
17.588 * [taylor]: Taking taylor expansion of y in z
17.588 * [taylor]: Taking taylor expansion of x in z
17.588 * [taylor]: Taking taylor expansion of z in z
17.588 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
17.588 * [taylor]: Taking taylor expansion of (- y x) in x
17.588 * [taylor]: Taking taylor expansion of y in x
17.588 * [taylor]: Taking taylor expansion of x in x
17.588 * [taylor]: Taking taylor expansion of z in x
17.588 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
17.588 * [taylor]: Taking taylor expansion of (- y x) in y
17.588 * [taylor]: Taking taylor expansion of y in y
17.588 * [taylor]: Taking taylor expansion of x in y
17.588 * [taylor]: Taking taylor expansion of z in y
17.588 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
17.588 * [taylor]: Taking taylor expansion of (- y x) in y
17.588 * [taylor]: Taking taylor expansion of y in y
17.588 * [taylor]: Taking taylor expansion of x in y
17.588 * [taylor]: Taking taylor expansion of z in y
17.588 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
17.588 * [taylor]: Taking taylor expansion of -1 in x
17.588 * [taylor]: Taking taylor expansion of (* x z) in x
17.588 * [taylor]: Taking taylor expansion of x in x
17.588 * [taylor]: Taking taylor expansion of z in x
17.588 * [taylor]: Taking taylor expansion of 0 in z
17.589 * [taylor]: Taking taylor expansion of z in x
17.589 * [taylor]: Taking taylor expansion of z in z
17.590 * [taylor]: Taking taylor expansion of (- z) in z
17.590 * [taylor]: Taking taylor expansion of z in z
17.591 * [taylor]: Taking taylor expansion of 0 in x
17.591 * [taylor]: Taking taylor expansion of 0 in z
17.591 * [taylor]: Taking taylor expansion of 0 in z
17.591 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
17.591 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
17.591 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
17.591 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.591 * [taylor]: Taking taylor expansion of y in z
17.591 * [taylor]: Taking taylor expansion of (/ 1 x) in z
17.591 * [taylor]: Taking taylor expansion of x in z
17.591 * [taylor]: Taking taylor expansion of z in z
17.591 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
17.591 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
17.591 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.591 * [taylor]: Taking taylor expansion of y in x
17.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.591 * [taylor]: Taking taylor expansion of x in x
17.592 * [taylor]: Taking taylor expansion of z in x
17.592 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
17.592 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
17.592 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.592 * [taylor]: Taking taylor expansion of y in y
17.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.593 * [taylor]: Taking taylor expansion of x in y
17.593 * [taylor]: Taking taylor expansion of z in y
17.593 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
17.593 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
17.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.593 * [taylor]: Taking taylor expansion of y in y
17.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.593 * [taylor]: Taking taylor expansion of x in y
17.593 * [taylor]: Taking taylor expansion of z in y
17.594 * [taylor]: Taking taylor expansion of (/ 1 z) in x
17.594 * [taylor]: Taking taylor expansion of z in x
17.595 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
17.595 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.595 * [taylor]: Taking taylor expansion of (* x z) in x
17.595 * [taylor]: Taking taylor expansion of x in x
17.595 * [taylor]: Taking taylor expansion of z in x
17.595 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
17.595 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.595 * [taylor]: Taking taylor expansion of z in z
17.596 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.596 * [taylor]: Taking taylor expansion of z in z
17.597 * [taylor]: Taking taylor expansion of 0 in x
17.598 * [taylor]: Taking taylor expansion of 0 in z
17.598 * [taylor]: Taking taylor expansion of 0 in z
17.600 * [taylor]: Taking taylor expansion of 0 in x
17.600 * [taylor]: Taking taylor expansion of 0 in z
17.601 * [taylor]: Taking taylor expansion of 0 in z
17.602 * [taylor]: Taking taylor expansion of 0 in z
17.603 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
17.603 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
17.603 * [taylor]: Taking taylor expansion of -1 in z
17.603 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
17.603 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
17.603 * [taylor]: Taking taylor expansion of (/ 1 x) in z
17.603 * [taylor]: Taking taylor expansion of x in z
17.603 * [taylor]: Taking taylor expansion of (/ 1 y) in z
17.603 * [taylor]: Taking taylor expansion of y in z
17.603 * [taylor]: Taking taylor expansion of z in z
17.603 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
17.603 * [taylor]: Taking taylor expansion of -1 in x
17.603 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
17.603 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
17.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.604 * [taylor]: Taking taylor expansion of x in x
17.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.604 * [taylor]: Taking taylor expansion of y in x
17.604 * [taylor]: Taking taylor expansion of z in x
17.604 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
17.604 * [taylor]: Taking taylor expansion of -1 in y
17.604 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
17.604 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
17.604 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.604 * [taylor]: Taking taylor expansion of x in y
17.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.604 * [taylor]: Taking taylor expansion of y in y
17.605 * [taylor]: Taking taylor expansion of z in y
17.605 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
17.605 * [taylor]: Taking taylor expansion of -1 in y
17.605 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
17.605 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
17.605 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.605 * [taylor]: Taking taylor expansion of x in y
17.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.605 * [taylor]: Taking taylor expansion of y in y
17.605 * [taylor]: Taking taylor expansion of z in y
17.606 * [taylor]: Taking taylor expansion of (/ 1 z) in x
17.606 * [taylor]: Taking taylor expansion of z in x
17.607 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
17.607 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
17.607 * [taylor]: Taking taylor expansion of (* x z) in x
17.607 * [taylor]: Taking taylor expansion of x in x
17.607 * [taylor]: Taking taylor expansion of z in x
17.607 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
17.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.607 * [taylor]: Taking taylor expansion of z in z
17.608 * [taylor]: Taking taylor expansion of (/ 1 z) in z
17.608 * [taylor]: Taking taylor expansion of z in z
17.610 * [taylor]: Taking taylor expansion of 0 in x
17.610 * [taylor]: Taking taylor expansion of 0 in z
17.610 * [taylor]: Taking taylor expansion of 0 in z
17.613 * [taylor]: Taking taylor expansion of 0 in x
17.613 * [taylor]: Taking taylor expansion of 0 in z
17.614 * [taylor]: Taking taylor expansion of 0 in z
17.614 * [taylor]: Taking taylor expansion of 0 in z
17.616 * * * [progress]: simplifying candidates
17.617 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (- y x) z) 6.0)
  (* (* (- y x) z) 6.0)
  (+ (+ (log (- y x)) (log z)) (log 6.0))
  (+ (log (* (- y x) z)) (log 6.0))
  (log (* (* (- y x) z) 6.0))
  (exp (* (* (- y x) z) 6.0))
  (* (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (* 6.0 6.0) 6.0))
  (* (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (* (* 6.0 6.0) 6.0))
  (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0)))
  (cbrt (* (* (- y x) z) 6.0))
  (* (* (* (* (- y x) z) 6.0) (* (* (- y x) z) 6.0)) (* (* (- y x) z) 6.0))
  (sqrt (* (* (- y x) z) 6.0))
  (sqrt (* (* (- y x) z) 6.0))
  (* (* (- y x) z) (* (cbrt 6.0) (cbrt 6.0)))
  (* (* (- y x) z) (sqrt 6.0))
  (* (* (- y x) z) 1)
  (* z 6.0)
  (* (* (- (pow y 3) (pow x 3)) z) 6.0)
  (* (* (- (* y y) (* x x)) z) 6.0)
  (* (- y x) z)
  (+ (log (- y x)) (log z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (* (- y x) 1)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  0
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  (- (* 6.0 (* z y)) (* 6.0 (* x z)))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
17.618 * * [simplify]: iteration  0 :  77  enodes  (cost  418 )
17.633 * * [simplify]: iteration  1 :  188  enodes  (cost  406 )
17.669 * * [simplify]: iteration  2 :  734  enodes  (cost  336 )
17.947 * * [simplify]: iteration  3 :  3185  enodes  (cost  336 )
19.245 * * [simplify]: iteration  done :  5001  enodes  (cost  336 )
19.245 * [simplify]: Simplified to:
   (* (* (- y x) z) 6.0)
  (* (* (- y x) z) 6.0)
  (log (* (* (- y x) z) 6.0))
  (log (* (* (- y x) z) 6.0))
  (log (* (* (- y x) z) 6.0))
  (exp (* (* (- y x) z) 6.0))
  (pow (* (* (- y x) z) 6.0) 3)
  (pow (* (* (- y x) z) 6.0) 3)
  (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0)))
  (cbrt (* (* (- y x) z) 6.0))
  (pow (* (* (- y x) z) 6.0) 3)
  (sqrt (* (* (- y x) z) 6.0))
  (sqrt (* (* (- y x) z) 6.0))
  (* (* (- y x) z) (* (cbrt 6.0) (cbrt 6.0)))
  (* (* (- y x) z) (sqrt 6.0))
  (* (- y x) z)
  (* z 6.0)
  (* (* (- (pow y 3) (pow x 3)) z) 6.0)
  (* (* (- (* y y) (* x x)) z) 6.0)
  (* (- y x) z)
  (log (* (- y x) z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (pow (* (- y x) z) 3)
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (pow (* (- y x) z) 3)
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (- y x)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  0
  (* (* (- y x) z) 6.0)
  (* (* (- y x) z) 6.0)
  0
  (* (- y x) z)
  (* (- y x) z)
19.246 * * * [progress]: adding candidates to table
19.323 * * [progress]: iteration 4 / 4
19.323 * * * [progress]: picking best candidate
19.329 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))))>
19.329 * * * [progress]: localizing error
19.337 * * * [progress]: generating rewritten candidates
19.337 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
19.353 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
19.410 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
19.422 * * * [progress]: generating series expansions
19.423 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
19.423 * [approximate]: Taking taylor expansion of (* (- y x) (* z (sqrt 6.0))) in (y x z) around 0
19.423 * [taylor]: Taking taylor expansion of (* (- y x) (* z (sqrt 6.0))) in z
19.423 * [taylor]: Taking taylor expansion of (- y x) in z
19.423 * [taylor]: Taking taylor expansion of y in z
19.423 * [taylor]: Taking taylor expansion of x in z
19.423 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in z
19.423 * [taylor]: Taking taylor expansion of z in z
19.423 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.423 * [taylor]: Taking taylor expansion of 6.0 in z
19.424 * [taylor]: Taking taylor expansion of (* (- y x) (* z (sqrt 6.0))) in x
19.424 * [taylor]: Taking taylor expansion of (- y x) in x
19.424 * [taylor]: Taking taylor expansion of y in x
19.424 * [taylor]: Taking taylor expansion of x in x
19.424 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in x
19.424 * [taylor]: Taking taylor expansion of z in x
19.424 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.424 * [taylor]: Taking taylor expansion of 6.0 in x
19.425 * [taylor]: Taking taylor expansion of (* (- y x) (* z (sqrt 6.0))) in y
19.425 * [taylor]: Taking taylor expansion of (- y x) in y
19.425 * [taylor]: Taking taylor expansion of y in y
19.425 * [taylor]: Taking taylor expansion of x in y
19.425 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in y
19.425 * [taylor]: Taking taylor expansion of z in y
19.425 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.425 * [taylor]: Taking taylor expansion of 6.0 in y
19.426 * [taylor]: Taking taylor expansion of (* (- y x) (* z (sqrt 6.0))) in y
19.426 * [taylor]: Taking taylor expansion of (- y x) in y
19.426 * [taylor]: Taking taylor expansion of y in y
19.426 * [taylor]: Taking taylor expansion of x in y
19.426 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in y
19.426 * [taylor]: Taking taylor expansion of z in y
19.426 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.426 * [taylor]: Taking taylor expansion of 6.0 in y
19.427 * [taylor]: Taking taylor expansion of (* -1 (* x (* z (sqrt 6.0)))) in x
19.427 * [taylor]: Taking taylor expansion of -1 in x
19.427 * [taylor]: Taking taylor expansion of (* x (* z (sqrt 6.0))) in x
19.427 * [taylor]: Taking taylor expansion of x in x
19.427 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in x
19.427 * [taylor]: Taking taylor expansion of z in x
19.427 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.428 * [taylor]: Taking taylor expansion of 6.0 in x
19.429 * [taylor]: Taking taylor expansion of 0 in z
19.430 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in x
19.430 * [taylor]: Taking taylor expansion of z in x
19.430 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.430 * [taylor]: Taking taylor expansion of 6.0 in x
19.431 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in z
19.431 * [taylor]: Taking taylor expansion of z in z
19.431 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.431 * [taylor]: Taking taylor expansion of 6.0 in z
19.434 * [taylor]: Taking taylor expansion of (- (* z (sqrt 6.0))) in z
19.434 * [taylor]: Taking taylor expansion of (* z (sqrt 6.0)) in z
19.434 * [taylor]: Taking taylor expansion of z in z
19.434 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.434 * [taylor]: Taking taylor expansion of 6.0 in z
19.437 * [taylor]: Taking taylor expansion of 0 in x
19.437 * [taylor]: Taking taylor expansion of 0 in z
19.437 * [taylor]: Taking taylor expansion of 0 in z
19.438 * [approximate]: Taking taylor expansion of (/ (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) z) in (y x z) around 0
19.438 * [taylor]: Taking taylor expansion of (/ (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) z) in z
19.438 * [taylor]: Taking taylor expansion of (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) in z
19.438 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.438 * [taylor]: Taking taylor expansion of 6.0 in z
19.438 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
19.439 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.439 * [taylor]: Taking taylor expansion of y in z
19.439 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.439 * [taylor]: Taking taylor expansion of x in z
19.439 * [taylor]: Taking taylor expansion of z in z
19.439 * [taylor]: Taking taylor expansion of (/ (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) z) in x
19.439 * [taylor]: Taking taylor expansion of (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) in x
19.439 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.439 * [taylor]: Taking taylor expansion of 6.0 in x
19.440 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
19.440 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.440 * [taylor]: Taking taylor expansion of y in x
19.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.440 * [taylor]: Taking taylor expansion of x in x
19.440 * [taylor]: Taking taylor expansion of z in x
19.442 * [taylor]: Taking taylor expansion of (/ (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) z) in y
19.442 * [taylor]: Taking taylor expansion of (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) in y
19.442 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.442 * [taylor]: Taking taylor expansion of 6.0 in y
19.443 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
19.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.443 * [taylor]: Taking taylor expansion of y in y
19.443 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.443 * [taylor]: Taking taylor expansion of x in y
19.443 * [taylor]: Taking taylor expansion of z in y
19.444 * [taylor]: Taking taylor expansion of (/ (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) z) in y
19.444 * [taylor]: Taking taylor expansion of (* (sqrt 6.0) (- (/ 1 y) (/ 1 x))) in y
19.444 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.444 * [taylor]: Taking taylor expansion of 6.0 in y
19.445 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
19.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.445 * [taylor]: Taking taylor expansion of y in y
19.445 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.445 * [taylor]: Taking taylor expansion of x in y
19.446 * [taylor]: Taking taylor expansion of z in y
19.447 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) z) in x
19.447 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.447 * [taylor]: Taking taylor expansion of 6.0 in x
19.448 * [taylor]: Taking taylor expansion of z in x
19.450 * [taylor]: Taking taylor expansion of (- (/ (sqrt 6.0) (* x z))) in x
19.450 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) (* x z)) in x
19.450 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.450 * [taylor]: Taking taylor expansion of 6.0 in x
19.451 * [taylor]: Taking taylor expansion of (* x z) in x
19.451 * [taylor]: Taking taylor expansion of x in x
19.451 * [taylor]: Taking taylor expansion of z in x
19.451 * [taylor]: Taking taylor expansion of (- (/ (sqrt 6.0) z)) in z
19.451 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) z) in z
19.451 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.451 * [taylor]: Taking taylor expansion of 6.0 in z
19.452 * [taylor]: Taking taylor expansion of z in z
19.454 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) z) in z
19.454 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.454 * [taylor]: Taking taylor expansion of 6.0 in z
19.455 * [taylor]: Taking taylor expansion of z in z
19.458 * [taylor]: Taking taylor expansion of 0 in x
19.459 * [taylor]: Taking taylor expansion of 0 in z
19.460 * [taylor]: Taking taylor expansion of 0 in z
19.464 * [taylor]: Taking taylor expansion of 0 in x
19.464 * [taylor]: Taking taylor expansion of 0 in z
19.466 * [taylor]: Taking taylor expansion of 0 in z
19.467 * [taylor]: Taking taylor expansion of 0 in z
19.471 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z)) in (y x z) around 0
19.472 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z)) in z
19.472 * [taylor]: Taking taylor expansion of -1 in z
19.472 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z) in z
19.472 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) in z
19.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
19.472 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.472 * [taylor]: Taking taylor expansion of x in z
19.472 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.472 * [taylor]: Taking taylor expansion of y in z
19.472 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.472 * [taylor]: Taking taylor expansion of 6.0 in z
19.472 * [taylor]: Taking taylor expansion of z in z
19.473 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z)) in x
19.473 * [taylor]: Taking taylor expansion of -1 in x
19.473 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z) in x
19.473 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) in x
19.473 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
19.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.473 * [taylor]: Taking taylor expansion of x in x
19.474 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.474 * [taylor]: Taking taylor expansion of y in x
19.474 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.474 * [taylor]: Taking taylor expansion of 6.0 in x
19.474 * [taylor]: Taking taylor expansion of z in x
19.476 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z)) in y
19.476 * [taylor]: Taking taylor expansion of -1 in y
19.476 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z) in y
19.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) in y
19.476 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
19.476 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.476 * [taylor]: Taking taylor expansion of x in y
19.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.476 * [taylor]: Taking taylor expansion of y in y
19.476 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.476 * [taylor]: Taking taylor expansion of 6.0 in y
19.477 * [taylor]: Taking taylor expansion of z in y
19.478 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z)) in y
19.478 * [taylor]: Taking taylor expansion of -1 in y
19.478 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) z) in y
19.478 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 6.0)) in y
19.478 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
19.478 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.478 * [taylor]: Taking taylor expansion of x in y
19.479 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.479 * [taylor]: Taking taylor expansion of y in y
19.479 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.479 * [taylor]: Taking taylor expansion of 6.0 in y
19.479 * [taylor]: Taking taylor expansion of z in y
19.481 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) z) in x
19.481 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.481 * [taylor]: Taking taylor expansion of 6.0 in x
19.482 * [taylor]: Taking taylor expansion of z in x
19.485 * [taylor]: Taking taylor expansion of (- (/ (sqrt 6.0) (* x z))) in x
19.485 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) (* x z)) in x
19.485 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.485 * [taylor]: Taking taylor expansion of 6.0 in x
19.485 * [taylor]: Taking taylor expansion of (* x z) in x
19.485 * [taylor]: Taking taylor expansion of x in x
19.486 * [taylor]: Taking taylor expansion of z in x
19.489 * [taylor]: Taking taylor expansion of (- (/ (sqrt 6.0) z)) in z
19.489 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) z) in z
19.489 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.489 * [taylor]: Taking taylor expansion of 6.0 in z
19.490 * [taylor]: Taking taylor expansion of z in z
19.492 * [taylor]: Taking taylor expansion of (/ (sqrt 6.0) z) in z
19.492 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.492 * [taylor]: Taking taylor expansion of 6.0 in z
19.492 * [taylor]: Taking taylor expansion of z in z
19.497 * [taylor]: Taking taylor expansion of 0 in x
19.498 * [taylor]: Taking taylor expansion of 0 in z
19.498 * [taylor]: Taking taylor expansion of 0 in z
19.504 * [taylor]: Taking taylor expansion of 0 in x
19.504 * [taylor]: Taking taylor expansion of 0 in z
19.506 * [taylor]: Taking taylor expansion of 0 in z
19.507 * [taylor]: Taking taylor expansion of 0 in z
19.511 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
19.511 * [approximate]: Taking taylor expansion of (* (- y x) (* z (pow (sqrt 6.0) 2))) in (y x z) around 0
19.511 * [taylor]: Taking taylor expansion of (* (- y x) (* z (pow (sqrt 6.0) 2))) in z
19.511 * [taylor]: Taking taylor expansion of (- y x) in z
19.511 * [taylor]: Taking taylor expansion of y in z
19.511 * [taylor]: Taking taylor expansion of x in z
19.511 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in z
19.511 * [taylor]: Taking taylor expansion of z in z
19.511 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.511 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.511 * [taylor]: Taking taylor expansion of 6.0 in z
19.512 * [taylor]: Taking taylor expansion of (* (- y x) (* z (pow (sqrt 6.0) 2))) in x
19.512 * [taylor]: Taking taylor expansion of (- y x) in x
19.512 * [taylor]: Taking taylor expansion of y in x
19.512 * [taylor]: Taking taylor expansion of x in x
19.512 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in x
19.512 * [taylor]: Taking taylor expansion of z in x
19.512 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.512 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.512 * [taylor]: Taking taylor expansion of 6.0 in x
19.513 * [taylor]: Taking taylor expansion of (* (- y x) (* z (pow (sqrt 6.0) 2))) in y
19.513 * [taylor]: Taking taylor expansion of (- y x) in y
19.513 * [taylor]: Taking taylor expansion of y in y
19.513 * [taylor]: Taking taylor expansion of x in y
19.513 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in y
19.513 * [taylor]: Taking taylor expansion of z in y
19.513 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in y
19.513 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.513 * [taylor]: Taking taylor expansion of 6.0 in y
19.514 * [taylor]: Taking taylor expansion of (* (- y x) (* z (pow (sqrt 6.0) 2))) in y
19.514 * [taylor]: Taking taylor expansion of (- y x) in y
19.514 * [taylor]: Taking taylor expansion of y in y
19.514 * [taylor]: Taking taylor expansion of x in y
19.514 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in y
19.514 * [taylor]: Taking taylor expansion of z in y
19.514 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in y
19.514 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.514 * [taylor]: Taking taylor expansion of 6.0 in y
19.517 * [taylor]: Taking taylor expansion of (* -1 (* x (* z (pow (sqrt 6.0) 2)))) in x
19.517 * [taylor]: Taking taylor expansion of -1 in x
19.517 * [taylor]: Taking taylor expansion of (* x (* z (pow (sqrt 6.0) 2))) in x
19.517 * [taylor]: Taking taylor expansion of x in x
19.517 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in x
19.517 * [taylor]: Taking taylor expansion of z in x
19.517 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.517 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.517 * [taylor]: Taking taylor expansion of 6.0 in x
19.520 * [taylor]: Taking taylor expansion of 0 in z
19.522 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in x
19.522 * [taylor]: Taking taylor expansion of z in x
19.522 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.522 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.522 * [taylor]: Taking taylor expansion of 6.0 in x
19.524 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in z
19.524 * [taylor]: Taking taylor expansion of z in z
19.524 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.524 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.524 * [taylor]: Taking taylor expansion of 6.0 in z
19.529 * [taylor]: Taking taylor expansion of (- (* z (pow (sqrt 6.0) 2))) in z
19.529 * [taylor]: Taking taylor expansion of (* z (pow (sqrt 6.0) 2)) in z
19.529 * [taylor]: Taking taylor expansion of z in z
19.529 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.529 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.529 * [taylor]: Taking taylor expansion of 6.0 in z
19.535 * [taylor]: Taking taylor expansion of 0 in x
19.535 * [taylor]: Taking taylor expansion of 0 in z
19.536 * [taylor]: Taking taylor expansion of 0 in z
19.536 * [approximate]: Taking taylor expansion of (/ (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) z) in (y x z) around 0
19.537 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) z) in z
19.537 * [taylor]: Taking taylor expansion of (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) in z
19.537 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.537 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.537 * [taylor]: Taking taylor expansion of 6.0 in z
19.537 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
19.537 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.537 * [taylor]: Taking taylor expansion of y in z
19.537 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.537 * [taylor]: Taking taylor expansion of x in z
19.537 * [taylor]: Taking taylor expansion of z in z
19.540 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) z) in x
19.540 * [taylor]: Taking taylor expansion of (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) in x
19.540 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.540 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.540 * [taylor]: Taking taylor expansion of 6.0 in x
19.540 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
19.540 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.540 * [taylor]: Taking taylor expansion of y in x
19.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.540 * [taylor]: Taking taylor expansion of x in x
19.541 * [taylor]: Taking taylor expansion of z in x
19.544 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) z) in y
19.544 * [taylor]: Taking taylor expansion of (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) in y
19.544 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in y
19.544 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.544 * [taylor]: Taking taylor expansion of 6.0 in y
19.545 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
19.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.545 * [taylor]: Taking taylor expansion of y in y
19.545 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.545 * [taylor]: Taking taylor expansion of x in y
19.545 * [taylor]: Taking taylor expansion of z in y
19.548 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) z) in y
19.548 * [taylor]: Taking taylor expansion of (* (pow (sqrt 6.0) 2) (- (/ 1 y) (/ 1 x))) in y
19.548 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in y
19.548 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.548 * [taylor]: Taking taylor expansion of 6.0 in y
19.549 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
19.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.549 * [taylor]: Taking taylor expansion of y in y
19.549 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.549 * [taylor]: Taking taylor expansion of x in y
19.549 * [taylor]: Taking taylor expansion of z in y
19.552 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) z) in x
19.552 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.552 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.552 * [taylor]: Taking taylor expansion of 6.0 in x
19.552 * [taylor]: Taking taylor expansion of z in x
19.557 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 6.0) 2) (* x z))) in x
19.557 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) (* x z)) in x
19.557 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.557 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.557 * [taylor]: Taking taylor expansion of 6.0 in x
19.558 * [taylor]: Taking taylor expansion of (* x z) in x
19.558 * [taylor]: Taking taylor expansion of x in x
19.558 * [taylor]: Taking taylor expansion of z in x
19.560 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 6.0) 2) z)) in z
19.560 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) z) in z
19.560 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.560 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.560 * [taylor]: Taking taylor expansion of 6.0 in z
19.561 * [taylor]: Taking taylor expansion of z in z
19.565 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) z) in z
19.565 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.565 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.565 * [taylor]: Taking taylor expansion of 6.0 in z
19.566 * [taylor]: Taking taylor expansion of z in z
19.572 * [taylor]: Taking taylor expansion of 0 in x
19.577 * [taylor]: Taking taylor expansion of 0 in z
19.578 * [taylor]: Taking taylor expansion of 0 in z
19.586 * [taylor]: Taking taylor expansion of 0 in x
19.586 * [taylor]: Taking taylor expansion of 0 in z
19.588 * [taylor]: Taking taylor expansion of 0 in z
19.590 * [taylor]: Taking taylor expansion of 0 in z
19.597 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z)) in (y x z) around 0
19.597 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z)) in z
19.597 * [taylor]: Taking taylor expansion of -1 in z
19.597 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z) in z
19.597 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) in z
19.597 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
19.597 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.597 * [taylor]: Taking taylor expansion of x in z
19.597 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.597 * [taylor]: Taking taylor expansion of y in z
19.597 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.597 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.597 * [taylor]: Taking taylor expansion of 6.0 in z
19.598 * [taylor]: Taking taylor expansion of z in z
19.600 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z)) in x
19.600 * [taylor]: Taking taylor expansion of -1 in x
19.600 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z) in x
19.600 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) in x
19.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
19.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.600 * [taylor]: Taking taylor expansion of x in x
19.601 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.601 * [taylor]: Taking taylor expansion of y in x
19.601 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.601 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.601 * [taylor]: Taking taylor expansion of 6.0 in x
19.601 * [taylor]: Taking taylor expansion of z in x
19.604 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z)) in y
19.604 * [taylor]: Taking taylor expansion of -1 in y
19.604 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z) in y
19.604 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) in y
19.604 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
19.604 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.604 * [taylor]: Taking taylor expansion of x in y
19.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.604 * [taylor]: Taking taylor expansion of y in y
19.604 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in y
19.604 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.604 * [taylor]: Taking taylor expansion of 6.0 in y
19.605 * [taylor]: Taking taylor expansion of z in y
19.608 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z)) in y
19.609 * [taylor]: Taking taylor expansion of -1 in y
19.609 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) z) in y
19.609 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 6.0) 2)) in y
19.609 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
19.609 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.609 * [taylor]: Taking taylor expansion of x in y
19.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.609 * [taylor]: Taking taylor expansion of y in y
19.609 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in y
19.609 * [taylor]: Taking taylor expansion of (sqrt 6.0) in y
19.609 * [taylor]: Taking taylor expansion of 6.0 in y
19.610 * [taylor]: Taking taylor expansion of z in y
19.614 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) z) in x
19.614 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.614 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.614 * [taylor]: Taking taylor expansion of 6.0 in x
19.614 * [taylor]: Taking taylor expansion of z in x
19.620 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 6.0) 2) (* x z))) in x
19.620 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) (* x z)) in x
19.620 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in x
19.621 * [taylor]: Taking taylor expansion of (sqrt 6.0) in x
19.621 * [taylor]: Taking taylor expansion of 6.0 in x
19.621 * [taylor]: Taking taylor expansion of (* x z) in x
19.621 * [taylor]: Taking taylor expansion of x in x
19.621 * [taylor]: Taking taylor expansion of z in x
19.624 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 6.0) 2) z)) in z
19.624 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) z) in z
19.624 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.624 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.624 * [taylor]: Taking taylor expansion of 6.0 in z
19.624 * [taylor]: Taking taylor expansion of z in z
19.628 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 6.0) 2) z) in z
19.628 * [taylor]: Taking taylor expansion of (pow (sqrt 6.0) 2) in z
19.628 * [taylor]: Taking taylor expansion of (sqrt 6.0) in z
19.628 * [taylor]: Taking taylor expansion of 6.0 in z
19.629 * [taylor]: Taking taylor expansion of z in z
19.637 * [taylor]: Taking taylor expansion of 0 in x
19.639 * [taylor]: Taking taylor expansion of 0 in z
19.640 * [taylor]: Taking taylor expansion of 0 in z
19.649 * [taylor]: Taking taylor expansion of 0 in x
19.649 * [taylor]: Taking taylor expansion of 0 in z
19.652 * [taylor]: Taking taylor expansion of 0 in z
19.654 * [taylor]: Taking taylor expansion of 0 in z
19.663 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
19.663 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
19.663 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
19.663 * [taylor]: Taking taylor expansion of (- y x) in z
19.663 * [taylor]: Taking taylor expansion of y in z
19.663 * [taylor]: Taking taylor expansion of x in z
19.663 * [taylor]: Taking taylor expansion of z in z
19.663 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
19.663 * [taylor]: Taking taylor expansion of (- y x) in x
19.663 * [taylor]: Taking taylor expansion of y in x
19.663 * [taylor]: Taking taylor expansion of x in x
19.663 * [taylor]: Taking taylor expansion of z in x
19.663 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
19.663 * [taylor]: Taking taylor expansion of (- y x) in y
19.663 * [taylor]: Taking taylor expansion of y in y
19.663 * [taylor]: Taking taylor expansion of x in y
19.663 * [taylor]: Taking taylor expansion of z in y
19.663 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
19.664 * [taylor]: Taking taylor expansion of (- y x) in y
19.664 * [taylor]: Taking taylor expansion of y in y
19.664 * [taylor]: Taking taylor expansion of x in y
19.664 * [taylor]: Taking taylor expansion of z in y
19.664 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
19.664 * [taylor]: Taking taylor expansion of -1 in x
19.664 * [taylor]: Taking taylor expansion of (* x z) in x
19.664 * [taylor]: Taking taylor expansion of x in x
19.664 * [taylor]: Taking taylor expansion of z in x
19.664 * [taylor]: Taking taylor expansion of 0 in z
19.665 * [taylor]: Taking taylor expansion of z in x
19.665 * [taylor]: Taking taylor expansion of z in z
19.665 * [taylor]: Taking taylor expansion of (- z) in z
19.665 * [taylor]: Taking taylor expansion of z in z
19.666 * [taylor]: Taking taylor expansion of 0 in x
19.666 * [taylor]: Taking taylor expansion of 0 in z
19.666 * [taylor]: Taking taylor expansion of 0 in z
19.666 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
19.666 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
19.666 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
19.666 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.666 * [taylor]: Taking taylor expansion of y in z
19.667 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.667 * [taylor]: Taking taylor expansion of x in z
19.667 * [taylor]: Taking taylor expansion of z in z
19.667 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
19.667 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
19.667 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.667 * [taylor]: Taking taylor expansion of y in x
19.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.667 * [taylor]: Taking taylor expansion of x in x
19.667 * [taylor]: Taking taylor expansion of z in x
19.668 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
19.668 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
19.668 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.668 * [taylor]: Taking taylor expansion of y in y
19.668 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.668 * [taylor]: Taking taylor expansion of x in y
19.668 * [taylor]: Taking taylor expansion of z in y
19.668 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
19.668 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
19.668 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.668 * [taylor]: Taking taylor expansion of y in y
19.669 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.669 * [taylor]: Taking taylor expansion of x in y
19.669 * [taylor]: Taking taylor expansion of z in y
19.669 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.669 * [taylor]: Taking taylor expansion of z in x
19.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
19.670 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.670 * [taylor]: Taking taylor expansion of (* x z) in x
19.670 * [taylor]: Taking taylor expansion of x in x
19.670 * [taylor]: Taking taylor expansion of z in x
19.670 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.670 * [taylor]: Taking taylor expansion of z in z
19.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.671 * [taylor]: Taking taylor expansion of z in z
19.672 * [taylor]: Taking taylor expansion of 0 in x
19.673 * [taylor]: Taking taylor expansion of 0 in z
19.673 * [taylor]: Taking taylor expansion of 0 in z
19.675 * [taylor]: Taking taylor expansion of 0 in x
19.675 * [taylor]: Taking taylor expansion of 0 in z
19.676 * [taylor]: Taking taylor expansion of 0 in z
19.676 * [taylor]: Taking taylor expansion of 0 in z
19.678 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
19.678 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
19.678 * [taylor]: Taking taylor expansion of -1 in z
19.678 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
19.678 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
19.678 * [taylor]: Taking taylor expansion of (/ 1 x) in z
19.678 * [taylor]: Taking taylor expansion of x in z
19.678 * [taylor]: Taking taylor expansion of (/ 1 y) in z
19.678 * [taylor]: Taking taylor expansion of y in z
19.678 * [taylor]: Taking taylor expansion of z in z
19.678 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
19.678 * [taylor]: Taking taylor expansion of -1 in x
19.678 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
19.678 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
19.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.678 * [taylor]: Taking taylor expansion of x in x
19.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x
19.679 * [taylor]: Taking taylor expansion of y in x
19.679 * [taylor]: Taking taylor expansion of z in x
19.679 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
19.679 * [taylor]: Taking taylor expansion of -1 in y
19.679 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
19.679 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
19.679 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.679 * [taylor]: Taking taylor expansion of x in y
19.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.679 * [taylor]: Taking taylor expansion of y in y
19.679 * [taylor]: Taking taylor expansion of z in y
19.680 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
19.680 * [taylor]: Taking taylor expansion of -1 in y
19.680 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
19.680 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
19.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.680 * [taylor]: Taking taylor expansion of x in y
19.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.680 * [taylor]: Taking taylor expansion of y in y
19.680 * [taylor]: Taking taylor expansion of z in y
19.681 * [taylor]: Taking taylor expansion of (/ 1 z) in x
19.681 * [taylor]: Taking taylor expansion of z in x
19.682 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
19.682 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
19.682 * [taylor]: Taking taylor expansion of (* x z) in x
19.682 * [taylor]: Taking taylor expansion of x in x
19.682 * [taylor]: Taking taylor expansion of z in x
19.682 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
19.682 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.682 * [taylor]: Taking taylor expansion of z in z
19.683 * [taylor]: Taking taylor expansion of (/ 1 z) in z
19.683 * [taylor]: Taking taylor expansion of z in z
19.685 * [taylor]: Taking taylor expansion of 0 in x
19.685 * [taylor]: Taking taylor expansion of 0 in z
19.685 * [taylor]: Taking taylor expansion of 0 in z
19.689 * [taylor]: Taking taylor expansion of 0 in x
19.689 * [taylor]: Taking taylor expansion of 0 in z
19.690 * [taylor]: Taking taylor expansion of 0 in z
19.690 * [taylor]: Taking taylor expansion of 0 in z
19.691 * * * [progress]: simplifying candidates
19.692 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (- y x) z) (sqrt 6.0))
  (* (* (- y x) z) (sqrt 6.0))
  (+ (+ (log (- y x)) (log z)) (log (sqrt 6.0)))
  (+ (log (* (- y x) z)) (log (sqrt 6.0)))
  (log (* (* (- y x) z) (sqrt 6.0)))
  (exp (* (* (- y x) z) (sqrt 6.0)))
  (* (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (* (sqrt 6.0) (sqrt 6.0)) (sqrt 6.0)))
  (* (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (* (* (sqrt 6.0) (sqrt 6.0)) (sqrt 6.0)))
  (* (cbrt (* (* (- y x) z) (sqrt 6.0))) (cbrt (* (* (- y x) z) (sqrt 6.0))))
  (cbrt (* (* (- y x) z) (sqrt 6.0)))
  (* (* (* (* (- y x) z) (sqrt 6.0)) (* (* (- y x) z) (sqrt 6.0))) (* (* (- y x) z) (sqrt 6.0)))
  (sqrt (* (* (- y x) z) (sqrt 6.0)))
  (sqrt (* (* (- y x) z) (sqrt 6.0)))
  (* (* (- y x) z) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0))))
  (* (* (- y x) z) (sqrt (* (cbrt 6.0) (cbrt 6.0))))
  (* (* (- y x) z) (sqrt (sqrt 6.0)))
  (* (* (- y x) z) (sqrt 1))
  (* (* (- y x) z) (sqrt (sqrt 6.0)))
  (* (* (- y x) z) 1)
  (* z (sqrt 6.0))
  (* (* (- (pow y 3) (pow x 3)) z) (sqrt 6.0))
  (* (* (- (* y y) (* x x)) z) (sqrt 6.0))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))
  (+ (+ (+ (log (- y x)) (log z)) (log (sqrt 6.0))) (log (sqrt 6.0)))
  (+ (+ (log (* (- y x) z)) (log (sqrt 6.0))) (log (sqrt 6.0)))
  (+ (log (* (* (- y x) z) (sqrt 6.0))) (log (sqrt 6.0)))
  (log (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0)))
  (exp (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0)))
  (* (* (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (* (sqrt 6.0) (sqrt 6.0)) (sqrt 6.0))) (* (* (sqrt 6.0) (sqrt 6.0)) (sqrt 6.0)))
  (* (* (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (* (* (sqrt 6.0) (sqrt 6.0)) (sqrt 6.0))) (* (* (sqrt 6.0) (sqrt 6.0)) (sqrt 6.0)))
  (* (* (* (* (* (- y x) z) (sqrt 6.0)) (* (* (- y x) z) (sqrt 6.0))) (* (* (- y x) z) (sqrt 6.0))) (* (* (sqrt 6.0) (sqrt 6.0)) (sqrt 6.0)))
  (* (cbrt (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))) (cbrt (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))))
  (cbrt (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0)))
  (* (* (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0)) (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))) (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0)))
  (sqrt (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0)))
  (sqrt (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0)))
  (* (* (* (- y x) z) (sqrt 6.0)) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0))))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt (* (cbrt 6.0) (cbrt 6.0))))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt (sqrt 6.0)))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 1))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt (sqrt 6.0)))
  (* (* (* (- y x) z) (sqrt 6.0)) 1)
  (* (sqrt 6.0) (sqrt 6.0))
  (* (* (* (- (pow y 3) (pow x 3)) z) (sqrt 6.0)) (sqrt 6.0))
  (* (* (* (- (* y y) (* x x)) z) (sqrt 6.0)) (sqrt 6.0))
  (* (- y x) z)
  (+ (log (- y x)) (log z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (* (- y x) 1)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  0
  (- (* z (* y (sqrt 6.0))) (* x (* z (sqrt 6.0))))
  (- (* z (* y (sqrt 6.0))) (* x (* z (sqrt 6.0))))
  0
  (- (* z (* y (pow (sqrt 6.0) 2))) (* x (* z (pow (sqrt 6.0) 2))))
  (- (* z (* y (pow (sqrt 6.0) 2))) (* x (* z (pow (sqrt 6.0) 2))))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
19.696 * * [simplify]: iteration  0 :  113  enodes  (cost  923 )
19.716 * * [simplify]: iteration  1 :  294  enodes  (cost  775 )
19.787 * * [simplify]: iteration  2 :  1275  enodes  (cost  625 )
20.298 * * [simplify]: iteration  done :  5000  enodes  (cost  625 )
20.299 * [simplify]: Simplified to:
   (* (* z (sqrt 6.0)) (- y x))
  (* (* z (sqrt 6.0)) (- y x))
  (log (* (* (- y x) z) (sqrt 6.0)))
  (log (* (* (- y x) z) (sqrt 6.0)))
  (log (* (* (- y x) z) (sqrt 6.0)))
  (exp (* (* (- y x) z) (sqrt 6.0)))
  (pow (* (* z (sqrt 6.0)) (- y x)) 3)
  (pow (* (* z (sqrt 6.0)) (- y x)) 3)
  (* (cbrt (* (* (- y x) z) (sqrt 6.0))) (cbrt (* (* (- y x) z) (sqrt 6.0))))
  (cbrt (* (* (- y x) z) (sqrt 6.0)))
  (pow (* (* z (sqrt 6.0)) (- y x)) 3)
  (sqrt (* (* (- y x) z) (sqrt 6.0)))
  (sqrt (* (* (- y x) z) (sqrt 6.0)))
  (* (* (- y x) z) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0))))
  (* (fabs (cbrt 6.0)) (* (- y x) z))
  (* (* (- y x) z) (sqrt (sqrt 6.0)))
  (* (- y x) z)
  (* (* (- y x) z) (sqrt (sqrt 6.0)))
  (* (- y x) z)
  (* z (sqrt 6.0))
  (* (* (- (pow y 3) (pow x 3)) z) (sqrt 6.0))
  (* (* (- (* y y) (* x x)) z) (sqrt 6.0))
  (* (* (- y x) z) 6.0)
  (* (* (- y x) z) 6.0)
  (* (* (- y x) z) 6.0)
  (log (* (* (- y x) z) 6.0))
  (log (* (* (- y x) z) 6.0))
  (log (* (* (- y x) z) 6.0))
  (log (* (* (- y x) z) 6.0))
  (exp (* (* (- y x) z) 6.0))
  (pow (* (* (- y x) z) 6.0) 3)
  (pow (* (* (- y x) z) 6.0) 3)
  (pow (* (* (- y x) z) 6.0) 3)
  (* (cbrt (* (* (- y x) z) 6.0)) (cbrt (* (* (- y x) z) 6.0)))
  (cbrt (* (* (- y x) z) 6.0))
  (pow (* (* (- y x) z) 6.0) 3)
  (sqrt (* (* (- y x) z) 6.0))
  (sqrt (* (* (- y x) z) 6.0))
  (* (* (* (- y x) z) (sqrt 6.0)) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0))))
  (* (* (* (- y x) z) (sqrt 6.0)) (fabs (cbrt 6.0)))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt (sqrt 6.0)))
  (* (* z (sqrt 6.0)) (- y x))
  (* (* (* (- y x) z) (sqrt 6.0)) (sqrt (sqrt 6.0)))
  (* (* z (sqrt 6.0)) (- y x))
  6.0
  (* (* (- (pow y 3) (pow x 3)) z) 6.0)
  (* (* (- (* y y) (* x x)) z) 6.0)
  (* (- y x) z)
  (log (* (- y x) z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (pow (* (- y x) z) 3)
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (pow (* (- y x) z) 3)
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (- y x)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  0
  (* (* z (sqrt 6.0)) (- y x))
  (* (* z (sqrt 6.0)) (- y x))
  0
  (* (* (- y x) z) 6.0)
  (* (* (- y x) z) 6.0)
  0
  (* (- y x) z)
  (* (- y x) z)
20.299 * * * [progress]: adding candidates to table
20.441 * [progress]: [Phase 3 of 3] Extracting.
20.441 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (* (* (cbrt (* (- y x) (* z 6.0))) (cbrt (* (- y x) (* z 6.0)))) (cbrt (* (- y x) (* z 6.0))))))> #<alt (λ (x y z) (+ x (* (- y x) (* z 6.0))))> #<alt (λ (x y z) (+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (* z 6.0)))))> #<alt (λ (x y z) (+ x (* (* (* (* (- y x) z) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0))))> #<alt (λ (x y z) (+ x (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))))>)
20.443 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (* (- y x) 6.0) z)) z y x)
20.443 * * * * [regimes]: Trying to branch on (+ x (* (* (- y x) 6.0) z)) from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (* (* (cbrt (* (- y x) (* z 6.0))) (cbrt (* (- y x) (* z 6.0)))) (cbrt (* (- y x) (* z 6.0))))))> #<alt (λ (x y z) (+ x (* (- y x) (* z 6.0))))> #<alt (λ (x y z) (+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (* z 6.0)))))> #<alt (λ (x y z) (+ x (* (* (* (* (- y x) z) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0))))> #<alt (λ (x y z) (+ x (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))))>)
20.464 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (* (* (cbrt (* (- y x) (* z 6.0))) (cbrt (* (- y x) (* z 6.0)))) (cbrt (* (- y x) (* z 6.0))))))> #<alt (λ (x y z) (+ x (* (- y x) (* z 6.0))))> #<alt (λ (x y z) (+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (* z 6.0)))))> #<alt (λ (x y z) (+ x (* (* (* (* (- y x) z) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0))))> #<alt (λ (x y z) (+ x (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))))>)
20.487 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (* (* (cbrt (* (- y x) (* z 6.0))) (cbrt (* (- y x) (* z 6.0)))) (cbrt (* (- y x) (* z 6.0))))))> #<alt (λ (x y z) (+ x (* (- y x) (* z 6.0))))> #<alt (λ (x y z) (+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (* z 6.0)))))> #<alt (λ (x y z) (+ x (* (* (* (* (- y x) z) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0))))> #<alt (λ (x y z) (+ x (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))))>)
20.510 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* (* (- y x) 6.0) z)))> #<alt (λ (x y z) (+ x (* (* (cbrt (* (- y x) (* z 6.0))) (cbrt (* (- y x) (* z 6.0)))) (cbrt (* (- y x) (* z 6.0))))))> #<alt (λ (x y z) (+ x (* (- y x) (* z 6.0))))> #<alt (λ (x y z) (+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (* z 6.0)))))> #<alt (λ (x y z) (+ x (* (* (* (* (- y x) z) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0))))> #<alt (λ (x y z) (+ x (* (* (* (- y x) z) (sqrt 6.0)) (sqrt 6.0))))>)
20.531 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
20.531 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* (- y x) (* z 6.0)))
20.532 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
20.532 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
20.532 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
20.532 * [simplify]: Simplified to:
   (+ x (* (- y x) (* z 6.0)))
21.128 * [regime-testing]: Baseline error score: 0.1887910427993998
21.128 * [regime-testing]: Oracle error score: 0.018446629435139097
21.129 * [regime-testing]: End program error score: 0.1887910427993998
21.150 * [regime-testing]: Target error score: 0.1887910427993998