58.460 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.112 * * * [progress]: [2/2] Setting up program.
0.119 * [progress]: [Phase 2 of 3] Improving.
0.119 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.121 * * [simplify]: iteration  0 :  25  enodes  (cost  9 )
0.122 * * [simplify]: iteration  1 :  41  enodes  (cost  9 )
0.124 * * [simplify]: iteration  2 :  88  enodes  (cost  9 )
0.125 * * [simplify]: iteration  3 :  165  enodes  (cost  9 )
0.128 * * [simplify]: iteration  4 :  287  enodes  (cost  9 )
0.133 * * [simplify]: iteration  5 :  625  enodes  (cost  9 )
0.146 * * [simplify]: iteration  6 :  2014  enodes  (cost  9 )
0.194 * * [simplify]: iteration  7 :  5002  enodes  (cost  9 )
0.194 * [simplify]: Simplified to:
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.194 * * [progress]: iteration 1 / 4
0.194 * * * [progress]: picking best candidate
0.199 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>
0.199 * * * [progress]: localizing error
0.211 * * * [progress]: generating rewritten candidates
0.211 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.219 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.221 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.232 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.238 * * * [progress]: generating series expansions
0.238 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.238 * [approximate]: Approximating (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
0.245 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
0.247 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
0.250 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
0.252 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
0.258 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
0.267 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
0.267 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
0.269 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
0.269 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
0.288 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
0.294 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
0.298 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.305 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.313 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
0.315 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.316 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.331 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
0.331 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.334 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.337 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.353 * [approximate]: Approximating (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in (x y z) around 0
0.358 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
0.362 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
0.362 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.364 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.369 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
0.370 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.370 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.376 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
0.376 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.378 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.379 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.385 * [approximate]: Approximating (exp (* 0.5 (pow t 2))) in (t) around 0
0.402 * [approximate]: Approximating (exp (/ 0.5 (pow t 2))) in (t) around 0
0.404 * [approximate]: Approximating (exp (/ 0.5 (pow t 2))) in (t) around 0
0.406 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.406 * [approximate]: Approximating (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in (x y z t) around 0
0.415 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in y
0.417 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in z
0.417 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in t
0.421 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in y
0.424 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in z
0.427 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in t
0.431 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in z
0.434 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in t
0.434 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in t
0.443 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in y
0.444 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in z
0.444 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (* (- (* 0.5 x) y) (exp (* 0.5 (pow t 2))))) (sqrt z)) in t
0.444 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in (x y z t) around 0
0.455 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in y
0.460 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in y
0.463 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in z
0.467 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in t
0.468 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in z
0.472 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in t
0.479 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in y
0.483 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in z
0.485 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in z
0.488 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in t
0.494 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in t
0.507 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in y
0.507 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in z
0.513 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in z
0.523 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in z
0.523 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in t
0.523 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in t
0.532 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (exp (/ 0.5 (pow t 2))))) (sqrt (/ 1 z))) in t
0.540 * [approximate]: Approximating (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in (x y z t) around 0
0.548 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in y
0.551 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in y
0.552 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in z
0.554 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in t
0.554 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in z
0.556 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in t
0.561 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in y
0.563 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in z
0.565 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in z
0.566 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in t
0.568 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in t
0.576 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in y
0.576 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in z
0.580 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in z
0.583 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in z
0.583 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in t
0.584 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in t
0.590 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (exp (/ 0.5 (pow t 2))))) in t
0.594 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.595 * [approximate]: Approximating (* 0.5 (pow t 2)) in (t) around 0
0.607 * [approximate]: Approximating (/ 0.5 (pow t 2)) in (t) around 0
0.617 * [approximate]: Approximating (/ 0.5 (pow t 2)) in (t) around 0
0.626 * * * [progress]: simplifying candidates
0.628 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0))))
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) 1)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp (/ t 1))
  (exp 1)
  (exp (* t t))
  (log (exp (/ (* t t) 2.0)))
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (* (* (exp (/ (* t t) 2.0)) (exp (/ (* t t) 2.0))) (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (/ (* t t) 2.0))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (/ (* t t) 2.0))
  (log (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0)))) (* (* (exp (/ (* t t) 2.0)) (exp (/ (* t t) 2.0))) (exp (/ (* t t) 2.0))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (* (exp (/ (* t t) 2.0)) (exp (/ (* t t) 2.0))) (exp (/ (* t t) 2.0))))
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (sqrt (exp (/ (* t t) 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) 1)
  (* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0)))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (- (+ (log t) (log t)) (log 2.0))
  (- (log (* t t)) (log 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (/ (* (* (* t t) t) (* (* t t) t)) (* (* 2.0 2.0) 2.0))
  (/ (* (* (* t t) (* t t)) (* t t)) (* (* 2.0 2.0) 2.0))
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (* (* (/ (* t t) 2.0) (/ (* t t) 2.0)) (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  (/ t 1)
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (/ (* t t) 1)
  (/ 2.0 t)
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (/ (* (pow NAN 3) y) z) (* 0.5 (* x NAN))) (* NAN y))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN (* (exp (* 0.5 (pow t 2))) x)))) (+ (* (sqrt 2.0) (* NAN (* y (exp (* 0.5 (pow t 2)))))) (/ (* (sqrt 2.0) (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2)))))) z)))
  (- (+ (* 0.5 (* x (* NAN (exp (* 0.5 (pow t 2)))))) (/ (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2))))) z)) (* NAN (* y (exp (* 0.5 (pow t 2))))))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
0.633 * * [simplify]: iteration  0 :  413  enodes  (cost  610 )
0.641 * * [simplify]: iteration  1 :  1743  enodes  (cost  532 )
0.672 * * [simplify]: iteration  2 :  5002  enodes  (cost  532 )
0.675 * [simplify]: Simplified to:
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (- (* x 0.5) y)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp t)
  E
  (exp (* t t))
  (/ (* t t) 2.0)
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (pow (exp (/ (* t t) 2.0)) 3)
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) 3)
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) 3)
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) 3)
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (sqrt (exp (/ (* t t) 2.0))))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0)))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (pow (/ (* t t) 2.0) 3)
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  t
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (pow t 2)
  (/ 2.0 t)
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN (* (exp (* 0.5 (pow t 2))) x)))) (+ (* (sqrt 2.0) (* NAN (* y (exp (* 0.5 (pow t 2)))))) (/ (* (sqrt 2.0) (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2)))))) z)))
  (- (+ (* 0.5 (* x (* NAN (exp (* 0.5 (pow t 2)))))) (/ (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2))))) z)) (* NAN (* y (exp (* 0.5 (pow t 2))))))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
0.676 * * * [progress]: adding candidates to table
1.016 * * [progress]: iteration 2 / 4
1.016 * * * [progress]: picking best candidate
1.064 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))>
1.064 * * * [progress]: localizing error
1.076 * * * [progress]: generating rewritten candidates
1.076 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.084 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.088 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.102 * * * [progress]: generating series expansions
1.102 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.102 * [approximate]: Approximating (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
1.109 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.111 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.114 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.116 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.122 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.129 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.129 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.130 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.130 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
1.139 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.142 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.145 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.149 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.157 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.158 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.160 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.177 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.177 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.180 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.183 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.199 * [approximate]: Approximating (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in (x y z) around 0
1.204 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
1.206 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
1.206 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
1.208 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
1.213 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
1.214 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
1.214 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
1.220 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
1.220 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
1.221 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
1.223 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
1.228 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.228 * [approximate]: Approximating (pow (exp t) (* 0.5 t)) in (t) around 0
1.278 * [approximate]: Approximating (pow (exp (/ 1 t)) (/ 0.5 t)) in (t) around 0
1.280 * [approximate]: Approximating (pow (exp (/ -1 t)) (/ -0.5 t)) in (t) around 0
1.282 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.283 * [approximate]: Approximating (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in (x y z t) around 0
1.300 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in y
1.302 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in z
1.302 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in t
1.308 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in y
1.311 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in z
1.314 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in t
1.318 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in z
1.322 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in t
1.322 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in t
1.334 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in y
1.334 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in z
1.334 * [taylor]: Taking taylor expansion of (* (* (pow (exp t) (* 0.5 t)) (* (sqrt 2.0) (- (* 0.5 x) y))) (sqrt z)) in t
1.334 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in (x y z t) around 0
1.346 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in y
1.352 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in y
1.355 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in z
1.359 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in t
1.360 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in z
1.364 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in t
1.373 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in y
1.377 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in z
1.379 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in z
1.382 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in t
1.388 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in t
1.406 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in y
1.406 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in z
1.412 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in z
1.418 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in z
1.418 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in t
1.418 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in t
1.426 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (* (sqrt 2.0) (pow (exp (/ 1 t)) (/ 0.5 t)))) (sqrt (/ 1 z))) in t
1.434 * [approximate]: Approximating (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in (x y z t) around 0
1.442 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
1.446 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
1.446 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
1.448 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
1.449 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
1.451 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
1.457 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
1.459 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
1.461 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
1.462 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
1.464 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
1.475 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
1.475 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
1.481 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
1.485 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
1.485 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
1.485 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
1.491 * [taylor]: Taking taylor expansion of (* (pow (exp (/ -1 t)) (/ -0.5 t)) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
1.495 * * * [progress]: simplifying candidates
1.496 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0))))
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) 1)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (* t (/ t 2.0))
  (* (log (exp t)) (/ t 2.0))
  (* 1 (/ t 2.0))
  (* (cbrt t) (/ t 2.0))
  (* (sqrt t) (/ t 2.0))
  (* t (/ t 2.0))
  (pow (exp t) (* (cbrt (/ t 2.0)) (cbrt (/ t 2.0))))
  (pow (exp t) (sqrt (/ t 2.0)))
  (pow (exp t) (/ (* (cbrt t) (cbrt t)) (* (cbrt 2.0) (cbrt 2.0))))
  (pow (exp t) (/ (* (cbrt t) (cbrt t)) (sqrt 2.0)))
  (pow (exp t) (/ (* (cbrt t) (cbrt t)) 1))
  (pow (exp t) (/ (sqrt t) (* (cbrt 2.0) (cbrt 2.0))))
  (pow (exp t) (/ (sqrt t) (sqrt 2.0)))
  (pow (exp t) (/ (sqrt t) 1))
  (pow (exp t) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))
  (pow (exp t) (/ 1 (sqrt 2.0)))
  (pow (exp t) (/ 1 1))
  (pow (exp t) 1)
  (pow (exp t) t)
  (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))
  (pow (cbrt (exp t)) (/ t 2.0))
  (pow (sqrt (exp t)) (/ t 2.0))
  (pow (sqrt (exp t)) (/ t 2.0))
  (pow 1 (/ t 2.0))
  (pow (exp t) (/ t 2.0))
  (log (pow (exp t) (/ t 2.0)))
  (exp (pow (exp t) (/ t 2.0)))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (exp t) (/ t 2.0)))
  (* (* (pow (exp t) (/ t 2.0)) (pow (exp t) (/ t 2.0))) (pow (exp t) (/ t 2.0)))
  (sqrt (pow (exp t) (/ t 2.0)))
  (sqrt (pow (exp t) (/ t 2.0)))
  (pow (exp t) (/ (/ t 2.0) 2))
  (pow (exp t) (/ (/ t 2.0) 2))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (* t (/ t 2.0)))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (* (log (exp t)) (/ t 2.0)))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (log (pow (exp t) (/ t 2.0))))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* t (/ t 2.0)))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (log (exp t)) (/ t 2.0)))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (pow (exp t) (/ t 2.0))))
  (log (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0)))) (* (* (pow (exp t) (/ t 2.0)) (pow (exp t) (/ t 2.0))) (pow (exp t) (/ t 2.0))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (* (pow (exp t) (/ t 2.0)) (pow (exp t) (/ t 2.0))) (pow (exp t) (/ t 2.0))))
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (sqrt (exp t)) (/ t 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow 1 (/ t 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (sqrt (pow (exp t) (/ t 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) 1)
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
  (* (sqrt (* z 2.0)) (pow (exp t) (/ t 2.0)))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (/ (* (pow NAN 3) y) z) (* 0.5 (* x NAN))) (* NAN y))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN (* (exp (* 0.5 (pow t 2))) x)))) (+ (* (sqrt 2.0) (* NAN (* y (exp (* 0.5 (pow t 2)))))) (/ (* (sqrt 2.0) (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2)))))) z)))
  (- (+ (* 0.5 (* x (* NAN (exp (* 0.5 (pow t 2)))))) (/ (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2))))) z)) (* NAN (* y (exp (* 0.5 (pow t 2))))))
1.502 * * [simplify]: iteration  0 :  465  enodes  (cost  659 )
1.510 * * [simplify]: iteration  1 :  1969  enodes  (cost  601 )
1.545 * * [simplify]: iteration  2 :  5001  enodes  (cost  601 )
1.549 * [simplify]: Simplified to:
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (- (* x 0.5) y)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (/ (* t t) 2.0)
  (/ (* t t) 2.0)
  (/ t 2.0)
  (* (cbrt t) (/ t 2.0))
  (* (sqrt t) (/ t 2.0))
  (/ (* t t) 2.0)
  (pow (exp t) (* (cbrt (/ t 2.0)) (cbrt (/ t 2.0))))
  (pow (exp t) (sqrt (/ t 2.0)))
  (pow (exp t) (/ (* (cbrt t) (cbrt t)) (* (cbrt 2.0) (cbrt 2.0))))
  (pow (exp t) (/ (* (cbrt t) (cbrt t)) (sqrt 2.0)))
  (pow (exp t) (/ (* (cbrt t) (cbrt t)) 1))
  (pow (exp t) (/ (sqrt t) (* (cbrt 2.0) (cbrt 2.0))))
  (pow (exp t) (/ (sqrt t) (sqrt 2.0)))
  (pow (exp t) (/ (sqrt t) 1))
  (pow (exp t) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))
  (pow (exp t) (/ 1 (sqrt 2.0)))
  (exp t)
  (exp t)
  (pow (exp t) t)
  (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))
  (pow (cbrt (exp t)) (/ t 2.0))
  (pow (sqrt (exp t)) (/ t 2.0))
  (pow (sqrt (exp t)) (/ t 2.0))
  1
  (pow (exp t) (/ t 2.0))
  (/ (* t t) 2.0)
  (exp (pow (exp t) (/ t 2.0)))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (exp t) (/ t 2.0)))
  (pow (pow (exp t) (/ t 2.0)) 3)
  (sqrt (pow (exp t) (/ t 2.0)))
  (sqrt (pow (exp t) (/ t 2.0)))
  (pow (exp t) (/ (/ t 2.0) 2))
  (pow (exp t) (/ (/ t 2.0) 2))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (/ (* t t) 2.0) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))) 3)
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))) 3)
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))) 3)
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (sqrt (exp t)) (/ t 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (sqrt (pow (exp t) (/ t 2.0))))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ (/ t 2.0) 2)))
  (* (sqrt (* z 2.0)) (pow (exp t) (/ t 2.0)))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN (* (exp (* 0.5 (pow t 2))) x)))) (+ (* (sqrt 2.0) (* NAN (* y (exp (* 0.5 (pow t 2)))))) (/ (* (sqrt 2.0) (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2)))))) z)))
  (- (+ (* 0.5 (* x (* NAN (exp (* 0.5 (pow t 2)))))) (/ (* (pow NAN 3) (* y (exp (* 0.5 (pow t 2))))) z)) (* NAN (* y (exp (* 0.5 (pow t 2))))))
1.549 * * * [progress]: adding candidates to table
1.869 * * [progress]: iteration 3 / 4
1.869 * * * [progress]: picking best candidate
1.918 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (cbrt (pow (exp t) (/ t 2.0)))))>
1.918 * * * [progress]: localizing error
1.935 * * * [progress]: generating rewritten candidates
1.935 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.943 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.953 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.969 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.975 * * * [progress]: generating series expansions
1.975 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.975 * [approximate]: Approximating (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
1.982 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.984 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.990 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.992 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.998 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
2.006 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
2.006 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
2.007 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
2.007 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
2.016 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
2.020 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
2.022 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
2.026 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
2.034 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
2.036 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
2.037 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
2.052 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
2.052 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
2.055 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
2.059 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
2.079 * [approximate]: Approximating (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in (x y z) around 0
2.084 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
2.086 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
2.086 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
2.088 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
2.093 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
2.094 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
2.094 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
2.100 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
2.100 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
2.101 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
2.103 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
2.108 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.109 * [approximate]: Approximating (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) in (t) around 0
2.237 * [approximate]: Approximating (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3) in (t) around 0
2.288 * [approximate]: Approximating (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) in (t) around 0
2.344 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.345 * [approximate]: Approximating (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in (x y z t) around 0
2.387 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in y
2.390 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
2.390 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
2.399 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in y
2.402 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
2.405 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
2.412 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
2.416 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
2.416 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
2.429 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in y
2.429 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
2.429 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
2.429 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in (x y z t) around 0
2.444 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
2.452 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
2.456 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
2.465 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
2.466 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
2.470 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
2.484 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
2.488 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
2.493 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
2.499 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
2.510 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
2.532 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
2.532 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
2.542 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
2.558 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
2.558 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
2.558 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
2.571 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
2.584 * [approximate]: Approximating (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in (x y z t) around 0
2.594 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
2.601 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
2.602 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
2.605 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
2.605 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
2.608 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
2.619 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
2.623 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
2.627 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
2.636 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
2.642 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
2.658 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
2.658 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
2.665 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
2.673 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
2.673 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
2.673 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
2.683 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
2.688 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.688 * [approximate]: Approximating (pow (pow (exp t) (* 0.5 t)) 1/3) in (t) around 0
2.810 * [approximate]: Approximating (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 1/3) in (t) around 0
2.853 * [approximate]: Approximating (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 1/3) in (t) around 0
2.900 * * * [progress]: simplifying candidates
2.902 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0))))
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) 1)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (pow (exp t) (/ t 2.0)) (pow (exp t) (/ t 2.0)))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (+ 1 1)
  (+ (log (cbrt (pow (exp t) (/ t 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0)))))
  (log (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (exp (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (pow (exp t) (/ t 2.0)) (pow (exp t) (/ t 2.0)))
  (* (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (sqrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (sqrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))) (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))))
  (* (cbrt (pow (cbrt (exp t)) (/ t 2.0))) (cbrt (pow (cbrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow 1 (/ t 2.0))) (cbrt (pow 1 (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0))))) (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0))))))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* 1 1)
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow 1 (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt 1))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0))))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ t 2.0))) 1)
  (* (cbrt (pow (cbrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (sqrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (+ (log (cbrt (pow (exp t) (/ t 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (log (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (+ (log (cbrt (pow (exp t) (/ t 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (log (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0)))) (* (pow (exp t) (/ t 2.0)) (pow (exp t) (/ t 2.0))))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0)))) (* (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (pow (exp t) (/ t 2.0)) (pow (exp t) (/ t 2.0))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (sqrt (* z 2.0)) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (log (cbrt (pow (exp t) (/ t 2.0))))
  (exp (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (cbrt (pow (cbrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow 1 (/ t 2.0)))
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt 1)
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (/ (* (pow NAN 3) y) z) (* 0.5 (* x NAN))) (* NAN y))
  (+ (* 0.3333333333333333 (pow t 2)) (+ (* 0.05555555555555555 (pow t 4)) 1))
  (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)
  (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)
  0
  (- (* 0.5 (* (* (sqrt 2.0) (* NAN x)) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))) (+ (* (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)) (* (* (sqrt 2.0) (* NAN y)) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))))
  (- (+ (* 0.5 (* (* x NAN) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))) (* (/ (* (pow NAN 3) y) z) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))) (* (* NAN y) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)))
  (+ (* 0.16666666666666666 (pow t 2)) (+ (* 0.013888888888888888 (pow t 4)) 1))
  (exp (* 0.16666666666666666 (pow t 2)))
  (exp (* 0.16666666666666666 (pow t 2)))
2.911 * * [simplify]: iteration  0 :  460  enodes  (cost  1658 )
2.920 * * [simplify]: iteration  1 :  1887  enodes  (cost  1497 )
2.962 * * [simplify]: iteration  2 :  5002  enodes  (cost  1414 )
2.969 * [simplify]: Simplified to:
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (- (* x 0.5) y)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  2/3
  2
  (pow (exp t) (* 2 (/ t 2.0)))
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  2
  (* 2 (log (cbrt (pow (exp t) (/ t 2.0)))))
  (* 2 (log (cbrt (pow (exp t) (/ t 2.0)))))
  (pow (exp 1) (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4))
  (pow (exp t) (* 2 (/ t 2.0)))
  (* (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (pow (exp t) (* 2 (/ t 2.0)))
  (fabs (cbrt (pow (exp t) (/ t 2.0))))
  (fabs (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))) (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))))
  (* (cbrt (pow (cbrt (exp t)) (/ t 2.0))) (cbrt (pow (cbrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  1
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (* (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))) (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  1
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (pow (cbrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ t 2.0)))
  1
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (sqrt (exp t)) (/ t 2.0))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (* (cbrt (pow (exp t) (/ (/ t 2.0) 2))) (sqrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ t 2.0)))
  2/3
  2
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (cbrt (pow (exp t) (/ t 2.0)))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (cbrt (pow (exp t) (/ t 2.0)))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0))))))
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 3)
  (cbrt (pow (exp t) (/ t 2.0)))
  (* (cbrt (pow (cbrt (exp t)) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (sqrt (exp t)) (/ t 2.0))))
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (pow (cbrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ (/ t 2.0) 2))))
  (pow (cbrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 3)
  (pow (sqrt (cbrt (pow (exp t) (/ t 2.0)))) 4)
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (+ (* 2 (log (cbrt (pow (exp t) (/ t 2.0))))) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (* 2 (log (cbrt (pow (exp t) (/ t 2.0))))) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (* 2 (log (cbrt (pow (exp t) (/ t 2.0))))) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (* 2 (log (cbrt (pow (exp t) (/ t 2.0))))) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (+ (* 2 (log (cbrt (pow (exp t) (/ t 2.0))))) (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (* (pow (exp t) (* 2 (/ t 2.0))) (pow (- (* x 0.5) y) 3)) (pow (sqrt (* z 2.0)) 3))
  (* (* (pow (exp t) (* 2 (/ t 2.0))) (pow (- (* x 0.5) y) 3)) (pow (sqrt (* z 2.0)) 3))
  (* (* (pow (exp t) (* 2 (/ t 2.0))) (pow (- (* x 0.5) y) 3)) (pow (sqrt (* z 2.0)) 3))
  (* (* (pow (exp t) (* 2 (/ t 2.0))) (pow (- (* x 0.5) y) 3)) (pow (sqrt (* z 2.0)) 3))
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (* (pow (exp t) (* 2 (/ t 2.0))) (pow (- (* x 0.5) y) 3)) (pow (sqrt (* z 2.0)) 3))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (cbrt (pow (exp t) (/ t 2.0))))
  (* (sqrt (* z 2.0)) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (log (cbrt (pow (exp t) (/ t 2.0))))
  (exp (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (cbrt (pow (cbrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  1
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  1
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (pow (exp t) (/ t 2.0))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z))
  (+ (* 0.3333333333333333 (pow t 2)) (+ (* 0.05555555555555555 (pow t 4)) 1))
  (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)
  (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)
  0
  (* (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3) (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z))))
  (* (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3) (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z)))
  (+ (* 0.16666666666666666 (pow t 2)) (+ (* 0.013888888888888888 (pow t 4)) 1))
  (exp (* 0.16666666666666666 (pow t 2)))
  (exp (* 0.16666666666666666 (pow t 2)))
2.970 * * * [progress]: adding candidates to table
3.631 * * [progress]: iteration 4 / 4
3.632 * * * [progress]: picking best candidate
3.682 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))>
3.682 * * * [progress]: localizing error
3.706 * * * [progress]: generating rewritten candidates
3.706 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.714 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.716 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
3.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.743 * * * [progress]: generating series expansions
3.743 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.743 * [approximate]: Approximating (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
3.750 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
3.751 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
3.755 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
3.757 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
3.763 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
3.770 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
3.770 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
3.772 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
3.772 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
3.786 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
3.790 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
3.793 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
3.797 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
3.805 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
3.807 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
3.808 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
3.823 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
3.823 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
3.827 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
3.830 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
3.846 * [approximate]: Approximating (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in (x y z) around 0
3.851 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
3.853 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
3.854 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
3.856 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
3.866 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
3.867 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
3.867 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
3.873 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
3.873 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
3.875 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
3.876 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
3.882 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.882 * [approximate]: Approximating (pow (pow (exp t) (* 0.5 t)) 1/3) in (t) around 0
4.001 * [approximate]: Approximating (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 1/3) in (t) around 0
4.050 * [approximate]: Approximating (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 1/3) in (t) around 0
4.100 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
4.100 * [approximate]: Approximating (pow (pow (exp t) (* 0.5 t)) 1/3) in (t) around 0
4.220 * [approximate]: Approximating (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 1/3) in (t) around 0
4.271 * [approximate]: Approximating (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 1/3) in (t) around 0
4.313 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.313 * [approximate]: Approximating (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in (x y z t) around 0
4.356 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in y
4.359 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
4.359 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
4.368 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in y
4.371 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
4.375 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
4.381 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
4.385 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
4.385 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
4.398 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in y
4.398 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in z
4.398 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp t) (* 0.5 t)) 2) 1/3) (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z))) in t
4.399 * [approximate]: Approximating (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in (x y z t) around 0
4.413 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
4.428 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
4.432 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
4.436 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
4.438 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
4.442 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
4.455 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
4.460 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
4.464 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
4.470 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
4.481 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
4.504 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in y
4.504 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
4.520 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
4.531 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in z
4.531 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
4.531 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
4.544 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (* (sqrt (/ 1 z)) (pow (pow (pow (exp (/ 1 t)) (/ 0.5 t)) 2) 1/3))) in t
4.558 * [approximate]: Approximating (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in (x y z t) around 0
4.568 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
4.575 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
4.576 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
4.578 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
4.579 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
4.582 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
4.592 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
4.602 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
4.606 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
4.609 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
4.615 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
4.632 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in y
4.632 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
4.641 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
4.648 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in z
4.648 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
4.648 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
4.659 * [taylor]: Taking taylor expansion of (* (pow (pow (pow (exp (/ -1 t)) (/ -0.5 t)) 2) 1/3) (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x))))) in t
4.664 * * * [progress]: simplifying candidates
4.666 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0))))
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) 1)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (log (cbrt (pow (exp t) (/ t 2.0))))
  (exp (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (cbrt (pow (cbrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow 1 (/ t 2.0)))
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt 1)
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (log (cbrt (pow (exp t) (/ t 2.0))))
  (exp (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (cbrt (pow (cbrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow 1 (/ t 2.0)))
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt 1)
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (+ (+ (log (cbrt (pow (exp t) (/ t 2.0)))) (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (+ (log (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0)))) (log (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (+ (+ (log (cbrt (pow (exp t) (/ t 2.0)))) (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (+ (log (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (log (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0)))) (* (* (pow (exp t) (/ t 2.0)) (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (pow (exp t) (/ t 2.0)))))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0)))) (* (* (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (sqrt (pow (exp t) (/ t 2.0)))))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0)))) (* (* (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (* (pow (exp t) (/ t 2.0)) (sqrt (pow (exp t) (/ t 2.0)))) (sqrt (pow (exp t) (/ t 2.0)))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (* (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (sqrt (pow (exp t) (/ t 2.0)))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (* (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (* (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (sqrt (* z 2.0)) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (/ (* (pow NAN 3) y) z) (* 0.5 (* x NAN))) (* NAN y))
  (+ (* 0.16666666666666666 (pow t 2)) (+ (* 0.013888888888888888 (pow t 4)) 1))
  (exp (* 0.16666666666666666 (pow t 2)))
  (exp (* 0.16666666666666666 (pow t 2)))
  (+ (* 0.16666666666666666 (pow t 2)) (+ (* 0.013888888888888888 (pow t 4)) 1))
  (exp (* 0.16666666666666666 (pow t 2)))
  (exp (* 0.16666666666666666 (pow t 2)))
  0
  (- (* 0.5 (* (* (sqrt 2.0) (* NAN x)) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))) (+ (* (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)) (* (* (sqrt 2.0) (* NAN y)) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))))
  (- (+ (* 0.5 (* (* x NAN) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))) (* (/ (* (pow NAN 3) y) z) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3))) (* (* NAN y) (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3)))
4.673 * * [simplify]: iteration  0 :  438  enodes  (cost  1347 )
4.682 * * [simplify]: iteration  1 :  1798  enodes  (cost  1082 )
4.722 * * [simplify]: iteration  2 :  5002  enodes  (cost  1062 )
4.727 * [simplify]: Simplified to:
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (- (* x 0.5) y)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (log (cbrt (pow (exp t) (/ t 2.0))))
  (exp (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (cbrt (pow (cbrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt 1)
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt 1)
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (pow (exp t) (/ t 2.0))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (log (cbrt (pow (exp t) (/ t 2.0))))
  (exp (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (pow (* (cbrt (exp t)) (cbrt (exp t))) (/ t 2.0)))
  (cbrt (pow (cbrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt (pow (sqrt (exp t)) (/ t 2.0)))
  (cbrt 1)
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt (sqrt (pow (exp t) (/ t 2.0))))
  (cbrt 1)
  (cbrt (pow (exp t) (/ t 2.0)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (cbrt (pow (exp t) (/ (/ t 2.0) 2)))
  (* (cbrt (cbrt (pow (exp t) (/ t 2.0)))) (cbrt (cbrt (pow (exp t) (/ t 2.0)))))
  (cbrt (cbrt (pow (exp t) (/ t 2.0))))
  (pow (exp t) (/ t 2.0))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (sqrt (cbrt (pow (exp t) (/ t 2.0))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (+ (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))) (* 2 (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))) (* 2 (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))) (* 2 (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))) (* 2 (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))) (* 2 (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))) (* 2 (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (+ (+ (log (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (log (cbrt (pow (exp t) (/ t 2.0))))) (* 2 (log (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (exp (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (* (* (pow (exp t) (* 2 (/ t 2.0))) (sqrt (* z 2.0))) (* (* (pow (- (* x 0.5) y) 3) z) 2.0))
  (* (* (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3) (sqrt (pow (exp t) (/ t 2.0)))) (pow (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) 3))
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) 3)
  (* (* (pow (exp t) (* 2 (/ t 2.0))) (sqrt (* z 2.0))) (* (* (pow (- (* x 0.5) y) 3) z) 2.0))
  (* (* (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3) (sqrt (pow (exp t) (/ t 2.0)))) (pow (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) 3))
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) 3)
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (pow (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) 3)
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (sqrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))))
  (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (sqrt (* z 2.0)) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z))
  (+ (* 0.16666666666666666 (pow t 2)) (+ (* 0.013888888888888888 (pow t 4)) 1))
  (exp (* 0.16666666666666666 (pow t 2)))
  (exp (* 0.16666666666666666 (pow t 2)))
  (+ (* 0.16666666666666666 (pow t 2)) (+ (* 0.013888888888888888 (pow t 4)) 1))
  (exp (* 0.16666666666666666 (pow t 2)))
  (exp (* 0.16666666666666666 (pow t 2)))
  0
  (* (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3) (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z))))
  (* (pow (pow (exp (* 0.5 (pow t 2))) 2) 1/3) (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z)))
4.728 * * * [progress]: adding candidates to table
5.138 * [progress]: [Phase 3 of 3] Extracting.
5.138 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.143 * * * [regime-changes]: Trying 13 branch expressions: ((* t t) (/ (* t t) 2.0) (exp (/ (* t t) 2.0)) (* z 2.0) (sqrt (* z 2.0)) (* x 0.5) (- (* x 0.5) y) (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) t z y x)
5.143 * * * * [regimes]: Trying to branch on (* t t) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.235 * * * * [regimes]: Trying to branch on (* t t) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.319 * * * * [regimes]: Trying to branch on (/ (* t t) 2.0) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.413 * * * * [regimes]: Trying to branch on (/ (* t t) 2.0) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.498 * * * * [regimes]: Trying to branch on (exp (/ (* t t) 2.0)) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.584 * * * * [regimes]: Trying to branch on (exp (/ (* t t) 2.0)) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.669 * * * * [regimes]: Trying to branch on (* z 2.0) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.764 * * * * [regimes]: Trying to branch on (sqrt (* z 2.0)) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.866 * * * * [regimes]: Trying to branch on (* x 0.5) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
5.965 * * * * [regimes]: Trying to branch on (- (* x 0.5) y) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
6.062 * * * * [regimes]: Trying to branch on (* (- (* x 0.5) y) (sqrt (* z 2.0))) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
6.165 * * * * [regimes]: Trying to branch on (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
6.272 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
6.367 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
6.464 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
6.562 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (/ (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0))) (+ (* x 0.5) y)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0))))) (cbrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (cbrt (- (* x 0.5) y)) (cbrt (- (* x 0.5) y))) (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (/ (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0))) (+ (* (* x 0.5) (* x 0.5)) (+ (* y y) (* (* x 0.5) y)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0)))))> #<alt (λ (x y z t) (* (* (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))) (cbrt (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))))>)
6.658 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
6.658 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0))))
6.659 * * [simplify]: iteration  0 :  28  enodes  (cost  27 )
6.659 * * [simplify]: iteration  1 :  28  enodes  (cost  27 )
6.659 * [simplify]: Simplified to:
  (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (cbrt (pow (exp t) (/ t 2.0))) (cbrt (sqrt (pow (exp t) (/ t 2.0))))) (cbrt (sqrt (pow (exp t) (/ t 2.0)))))) (cbrt (pow (exp t) (/ t 2.0))))