22.152 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.030 * [progress]: [Phase 2 of 3] Improving.
0.030 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (- (* x y) (* z y)) t)
0.032 * * [simplify]: iteration  0 :  15  enodes  (cost  3 )
0.033 * * [simplify]: iteration  1 :  34  enodes  (cost  3 )
0.034 * * [simplify]: iteration  2 :  72  enodes  (cost  3 )
0.036 * * [simplify]: iteration  3 :  100  enodes  (cost  3 )
0.038 * * [simplify]: iteration  4 :  108  enodes  (cost  3 )
0.040 * * [simplify]: iteration  5 :  108  enodes  (cost  3 )
0.040 * [simplify]: Simplified to:
  (* t (* y (- x z)))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.049 * * * * [pick]: Picked  #<alt (λ (x y z t) (* t (* y (- x z))))>
0.049 * * * [progress]: localizing error
0.054 * * * [progress]: generating rewritten candidates
0.054 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.062 * * * [progress]: generating series expansions
0.062 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.062 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
0.062 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.062 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.062 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.064 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.064 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.064 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.064 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.064 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.064 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.067 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.067 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.067 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.067 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
0.070 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.070 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.071 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.073 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.074 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.075 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.078 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.078 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.083 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.083 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.087 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.087 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.087 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.093 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
0.096 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.097 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.098 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.099 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.101 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.102 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.106 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.106 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.110 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.110 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.110 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.112 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.112 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.112 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.113 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.114 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.115 * * * [progress]: simplifying candidates
0.115 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* t (* y (- x z)))
  (* t (* y (- x z)))
  (+ (log t) (+ (log y) (log (- x z))))
  (+ (log t) (log (* y (- x z))))
  (log (* t (* y (- x z))))
  (exp (* t (* y (- x z))))
  (* (* (* t t) t) (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z))))
  (* (* (* t t) t) (* (* (* y (- x z)) (* y (- x z))) (* y (- x z))))
  (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z)))))
  (cbrt (* t (* y (- x z))))
  (* (* (* t (* y (- x z))) (* t (* y (- x z)))) (* t (* y (- x z))))
  (sqrt (* t (* y (- x z))))
  (sqrt (* t (* y (- x z))))
  (* t (* y x))
  (* t (* y (neg z)))
  (* t (* y x))
  (* t (* y (neg z)))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* (* y x) t)
  (* (* y (neg z)) t)
  (* (* y x) t)
  (* (* y (neg z)) t)
  (* (* x y) t)
  (* (* (neg z) y) t)
  (* (* x y) t)
  (* (* (neg z) y) t)
  (* t y)
  (* (cbrt t) (* y (- x z)))
  (* (sqrt t) (* y (- x z)))
  (* t (* y (- x z)))
  (* t (* y (- (pow x 3) (pow z 3))))
  (* t (* y (- (* x x) (* z z))))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
0.118 * * [simplify]: iteration  0 :  161  enodes  (cost  146 )
0.122 * * [simplify]: iteration  1 :  537  enodes  (cost  123 )
0.134 * * [simplify]: iteration  2 :  2648  enodes  (cost  123 )
0.180 * * [simplify]: iteration  3 :  5002  enodes  (cost  123 )
0.181 * [simplify]: Simplified to:
  (* t (* y (- x z)))
  (* t (* y (- x z)))
  (log (* t (* y (- x z))))
  (log (* t (* y (- x z))))
  (log (* t (* y (- x z))))
  (exp (* t (* y (- x z))))
  (pow (* t (* y (- x z))) 3)
  (pow (* t (* y (- x z))) 3)
  (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z)))))
  (cbrt (* t (* y (- x z))))
  (pow (* t (* y (- x z))) 3)
  (sqrt (* t (* y (- x z))))
  (sqrt (* t (* y (- x z))))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t (* x y))
  (* t (* (neg z) y))
  (* t y)
  (* (cbrt t) (* y (- x z)))
  (* (sqrt t) (* y (- x z)))
  (* t (* y (- x z)))
  (* t (* y (- (pow x 3) (pow z 3))))
  (* t (* y (- (* x x) (* z z))))
  0
  (* t (* y (- x z)))
  (* t (* y (- x z)))
0.181 * * * [progress]: adding candidates to table
0.220 * * [progress]: iteration 2 / 4
0.220 * * * [progress]: picking best candidate
0.249 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* t y) (- x z)))>
0.249 * * * [progress]: localizing error
0.254 * * * [progress]: generating rewritten candidates
0.255 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.262 * * * [progress]: generating series expansions
0.262 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.262 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
0.262 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.263 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.263 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.264 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.264 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.264 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.264 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.264 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.265 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.266 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.266 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.266 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.266 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
0.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.271 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.273 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.277 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.277 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.279 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.279 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.283 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.283 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.288 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.288 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.288 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.288 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.290 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.291 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
0.295 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.295 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.296 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.298 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.299 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.300 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.303 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.303 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.304 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.305 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.306 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.312 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.313 * * * [progress]: simplifying candidates
0.314 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
0.317 * * [simplify]: iteration  0 :  177  enodes  (cost  134 )
0.320 * * [simplify]: iteration  1 :  820  enodes  (cost  111 )
0.338 * * [simplify]: iteration  2 :  4326  enodes  (cost  111 )
0.405 * * [simplify]: iteration  3 :  5002  enodes  (cost  111 )
0.407 * [simplify]: Simplified to:
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
0.407 * * * [progress]: adding candidates to table
0.438 * * [progress]: iteration 3 / 4
0.438 * * * [progress]: picking best candidate
0.476 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))>
0.476 * * * [progress]: localizing error
0.485 * * * [progress]: generating rewritten candidates
0.485 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.492 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.499 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.506 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.513 * * * [progress]: generating series expansions
0.514 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.514 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
0.514 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.514 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.514 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.515 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.516 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.516 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.516 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.516 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.516 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.518 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.518 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.518 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.518 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
0.523 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.524 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.524 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.526 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.527 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.530 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.530 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.532 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.532 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.534 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.537 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.537 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.537 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.539 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.540 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.542 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
0.545 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.545 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.546 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.548 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.549 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.550 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.552 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.552 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.554 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.554 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.555 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.558 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.558 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.558 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.562 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
0.563 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
0.563 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.563 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.563 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.564 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.565 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.565 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.565 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.565 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.565 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.567 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.567 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.567 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.567 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
0.570 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.571 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.571 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.573 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.575 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.577 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.577 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.579 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.579 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.581 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.584 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.587 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.589 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
0.592 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.592 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.595 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.597 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.598 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.599 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.601 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.603 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.603 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.605 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.611 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.612 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.612 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
0.613 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.613 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.613 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.614 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.614 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.614 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.614 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.614 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.614 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.616 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
0.616 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
0.616 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
0.616 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
0.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.622 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.624 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.627 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.628 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
0.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
0.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.637 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
0.638 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
0.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.645 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.646 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.648 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.648 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.650 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.650 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.652 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.654 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
0.654 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.654 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.657 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
0.657 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.657 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.657 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.658 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
0.659 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.659 * [approximate]: Approximating (pow (* t (* y (- x z))) 1/3) in (t y x z) around 0
0.666 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in y
0.670 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in x
0.670 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in z
0.678 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in y
0.678 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in x
0.678 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in z
0.682 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in x
0.682 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in z
0.684 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in z
0.705 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in y
0.705 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in x
0.705 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in z
0.706 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in x
0.706 * [taylor]: Taking taylor expansion of (pow (* t (* y (- x z))) 1/3) in z
0.706 * [approximate]: Approximating (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in (t y x z) around 0
0.713 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in y
0.714 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in x
0.715 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in z
0.719 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in y
0.720 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in x
0.720 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in z
0.724 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in x
0.724 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in z
0.727 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in z
0.740 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in y
0.740 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in x
0.740 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in z
0.740 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in x
0.740 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 z)) (* t y)) 1/3) in z
0.741 * [approximate]: Approximating (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in (t y x z) around 0
0.750 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in y
0.751 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in x
0.754 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in z
0.760 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in y
0.760 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in x
0.760 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in z
0.764 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in x
0.764 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in z
0.768 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in z
0.788 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in y
0.788 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in x
0.788 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in z
0.788 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in x
0.789 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 x)) (* t y)) 1/3) in z
0.789 * * * [progress]: simplifying candidates
0.790 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (log (cbrt (* (* t y) (- x z))))
  (exp (cbrt (* (* t y) (- x z))))
  (cbrt (* t y))
  (cbrt (- x z))
  (cbrt (* (* t y) (- (pow x 3) (pow z 3))))
  (cbrt (+ (* x x) (+ (* z z) (* x z))))
  (cbrt (* (* t y) (- (* x x) (* z z))))
  (cbrt (+ x z))
  (* (cbrt (cbrt (* (* t y) (- x z)))) (cbrt (cbrt (* (* t y) (- x z)))))
  (cbrt (cbrt (* (* t y) (- x z))))
  (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z))))
  (sqrt (cbrt (* (* t y) (- x z))))
  (sqrt (cbrt (* (* t y) (- x z))))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log z) (log y))))))
  (exp (* -1/3 (+ (log (/ 1 t)) (+ (log (/ 1 x)) (log (/ 1 y))))))
  (exp (* 1/3 (- (log -1) (+ (log (/ -1 t)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
0.794 * * [simplify]: iteration  0 :  280  enodes  (cost  507 )
0.799 * * [simplify]: iteration  1 :  1108  enodes  (cost  429 )
0.820 * * [simplify]: iteration  2 :  5001  enodes  (cost  426 )
0.823 * [simplify]: Simplified to:
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (log (cbrt (* (* t y) (- x z))))
  (exp (cbrt (* (* t y) (- x z))))
  (cbrt (* t y))
  (cbrt (- x z))
  (cbrt (* (* t y) (- (pow x 3) (pow z 3))))
  (cbrt (+ (* x x) (+ (* z z) (* x z))))
  (cbrt (* (* t y) (- (* x x) (* z z))))
  (cbrt (+ x z))
  (* (cbrt (cbrt (* (* t y) (- x z)))) (cbrt (cbrt (* (* t y) (- x z)))))
  (cbrt (cbrt (* (* t y) (- x z))))
  (* (* t y) (- x z))
  (sqrt (cbrt (* (* t y) (- x z))))
  (sqrt (cbrt (* (* t y) (- x z))))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (exp (* 1/3 (+ (log t) (+ (log -1) (+ (log z) (log y))))))
  (* (pow (exp -1/3) (neg (+ (log y) (log x)))) (pow (/ 1 t) -1/3))
  (exp (* 1/3 (- (log -1) (+ (log (/ -1 t)) (+ (log (/ -1 y)) (log (/ -1 x)))))))
0.824 * * * [progress]: adding candidates to table
1.066 * * [progress]: iteration 4 / 4
1.066 * * * [progress]: picking best candidate
1.101 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))>
1.101 * * * [progress]: localizing error
1.114 * * * [progress]: generating rewritten candidates
1.114 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.121 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1)
1.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 1)
1.136 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
1.154 * * * [progress]: generating series expansions
1.154 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.154 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
1.155 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.155 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.155 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.157 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.158 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.158 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.158 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.158 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.158 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.161 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.161 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.161 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.161 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
1.166 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.167 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.168 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.170 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.173 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.174 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.181 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.181 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.183 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.188 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.188 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.188 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.192 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.192 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.192 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.192 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.197 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.199 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
1.205 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.205 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.206 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.208 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.209 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.210 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.215 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.219 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.219 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.219 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.223 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.223 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.223 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.223 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.227 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1)
1.227 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
1.227 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.227 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.227 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.229 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.230 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.230 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.230 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.230 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.230 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.233 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.233 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.233 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.233 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
1.238 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.239 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.240 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.242 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.244 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.245 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.249 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.249 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.253 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.253 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.259 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.260 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.260 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.260 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.261 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.262 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
1.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.266 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.267 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.268 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.270 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.271 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.273 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.273 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.275 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.276 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.279 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.279 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.279 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.283 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 1)
1.283 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
1.284 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.284 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.284 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.287 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.287 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.287 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.287 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.287 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.288 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.289 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.289 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.289 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.289 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
1.293 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.293 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.294 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.295 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.297 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.297 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.300 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.300 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.302 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.302 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.303 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.306 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.306 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.306 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.308 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.308 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.310 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.311 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
1.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.316 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.317 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.319 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.320 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.324 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.324 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.325 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.328 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.328 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.328 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.330 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.330 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.330 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.330 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.331 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.332 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
1.332 * [approximate]: Approximating (* t (* y (- x z))) in (t y x z) around 0
1.333 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.333 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.333 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.334 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.334 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.334 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.334 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.334 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.335 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.336 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y
1.336 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x
1.336 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z
1.336 * [approximate]: Approximating (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (t y x z) around 0
1.340 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.340 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.341 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.342 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.344 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.347 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.349 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.349 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.350 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y
1.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x
1.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z
1.360 * [approximate]: Approximating (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (t y x z) around 0
1.364 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.364 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.365 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.366 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.368 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.368 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.371 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.371 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.373 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.373 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.374 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.377 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y
1.377 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.377 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.379 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x
1.379 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.379 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.379 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.380 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z
1.381 * * * [progress]: simplifying candidates
1.383 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (+ (+ (log t) (log y)) (log (- x z)))
  (+ (log (* t y)) (log (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (* (* (* (* t t) t) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (* t y) (* t y)) (* t y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (* (* (* (* t y) (- x z)) (* (* t y) (- x z))) (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* x (* t y))
  (* (neg z) (* t y))
  (* x (* t y))
  (* (neg z) (* t y))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* (* t y) 1)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* (* t y) 1)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
  0
  (- (* t (* x y)) (* t (* z y)))
  (- (* t (* x y)) (* t (* z y)))
1.387 * * [simplify]: iteration  0 :  177  enodes  (cost  536 )
1.391 * * [simplify]: iteration  1 :  820  enodes  (cost  444 )
1.408 * * [simplify]: iteration  2 :  4326  enodes  (cost  444 )
1.476 * * [simplify]: iteration  3 :  5002  enodes  (cost  444 )
1.479 * [simplify]: Simplified to:
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (log (* (* t y) (- x z)))
  (exp (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (pow (* (* t y) (- x z)) 3)
  (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z))))
  (cbrt (* (* t y) (- x z)))
  (pow (* (* t y) (- x z)) 3)
  (sqrt (* (* t y) (- x z)))
  (sqrt (* (* t y) (- x z)))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) x)
  (* (* t y) (neg z))
  (* (* t y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (* t y) (sqrt (- x z)))
  (* t y)
  (* (* t y) (+ (sqrt x) (sqrt z)))
  (* t y)
  (* y (- x z))
  (* (* t y) (- (pow x 3) (pow z 3)))
  (* (* t y) (- (* x x) (* z z)))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
  0
  (* (* t y) (- x z))
  (* (* t y) (- x z))
1.479 * * * [progress]: adding candidates to table
1.945 * [progress]: [Phase 3 of 3] Extracting.
1.945 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (* (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z))))) (cbrt (* t (* y (- x z))))))> #<alt (λ (x y z t) (* t (* y (- x z))))> #<alt (λ (x y z t) (* (sqrt (* (* t y) (- x z))) (sqrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* (* t y) (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (cbrt (pow (* t (* y (- x z))) 3)))> #<alt (λ (x y z t) (* (* (* t y) (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z))))> #<alt (λ (x y z t) (/ (* t (* y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))))>)
1.947 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
1.947 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (* (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z))))) (cbrt (* t (* y (- x z))))))> #<alt (λ (x y z t) (* t (* y (- x z))))> #<alt (λ (x y z t) (* (sqrt (* (* t y) (- x z))) (sqrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* (* t y) (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (cbrt (pow (* t (* y (- x z))) 3)))> #<alt (λ (x y z t) (* (* (* t y) (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z))))> #<alt (λ (x y z t) (/ (* t (* y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))))>)
2.036 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (* (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z))))) (cbrt (* t (* y (- x z))))))> #<alt (λ (x y z t) (* t (* y (- x z))))> #<alt (λ (x y z t) (* (sqrt (* (* t y) (- x z))) (sqrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* (* t y) (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (cbrt (pow (* t (* y (- x z))) 3)))> #<alt (λ (x y z t) (* (* (* t y) (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z))))> #<alt (λ (x y z t) (/ (* t (* y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))))>)
2.128 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (* (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z))))) (cbrt (* t (* y (- x z))))))> #<alt (λ (x y z t) (* t (* y (- x z))))> #<alt (λ (x y z t) (* (sqrt (* (* t y) (- x z))) (sqrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* (* t y) (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (cbrt (pow (* t (* y (- x z))) 3)))> #<alt (λ (x y z t) (* (* (* t y) (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z))))> #<alt (λ (x y z t) (/ (* t (* y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))))>)
2.234 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (* (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z))))) (cbrt (* t (* y (- x z))))))> #<alt (λ (x y z t) (* t (* y (- x z))))> #<alt (λ (x y z t) (* (sqrt (* (* t y) (- x z))) (sqrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* (* t y) (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (cbrt (pow (* t (* y (- x z))) 3)))> #<alt (λ (x y z t) (* (* (* t y) (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z))))> #<alt (λ (x y z t) (/ (* t (* y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))))>)
2.329 * * * [regime]: Found split indices: #<option (#s(si 1 70) #s(si 3 206) #s(si 1 255))>
2.330 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (* (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z))))) (cbrt (* t (* y (- x z))))))> #<alt (λ (x y z t) (* t (* y (- x z))))> #<alt (λ (x y z t) (* (sqrt (* (* t y) (- x z))) (sqrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* (* t y) (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (cbrt (pow (* t (* y (- x z))) 3)))> #<alt (λ (x y z t) (* (* (* t y) (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z))))> #<alt (λ (x y z t) (/ (* t (* y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))))>)
2.407 * [regimes]: Found splitpoints: (#s(sp 1 y -1.2511771692288799e-19) #s(sp 3 y 8.02205953564386e-20) #s(sp 1 y +nan.0)) , with alts (#<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* t y) (- x z)))> #<alt (λ (x y z t) (* (* (cbrt (* t (* y (- x z)))) (cbrt (* t (* y (- x z))))) (cbrt (* t (* y (- x z))))))> #<alt (λ (x y z t) (* t (* y (- x z))))> #<alt (λ (x y z t) (* (sqrt (* (* t y) (- x z))) (sqrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (* (* (* t y) (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))))> #<alt (λ (x y z t) (* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* (cbrt (* (* t y) (- x z))) (cbrt (* (* t y) (- x z)))) (cbrt (* (* t y) (- x z)))))) (cbrt (* (* t y) (- x z)))))> #<alt (λ (x y z t) (cbrt (pow (* t (* y (- x z))) 3)))> #<alt (λ (x y z t) (* (* (* t y) (+ (sqrt x) (sqrt z))) (- (sqrt x) (sqrt z))))> #<alt (λ (x y z t) (/ (* t (* y (- (pow x 3) (pow z 3)))) (+ (* x x) (+ (* z z) (* x z)))))>)
2.407 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= y -1.2511771692288799e-19) (* (* t y) (- x z)) (if (<= y 8.02205953564386e-20) (* t (* y (- x z))) (* (* t y) (- x z))))
2.408 * * [simplify]: iteration  0 :  22  enodes  (cost  6 )
2.408 * * [simplify]: iteration  1 :  22  enodes  (cost  6 )
2.408 * [simplify]: Simplified to:
  (if (or (<= y -1.2511771692288799e-19) (not (<= y 8.02205953564386e-20))) (* (* t y) (- x z)) (* t (* y (- x z))))