14.360 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.201 * * * [progress]: [2/2] Setting up program.
0.248 * [progress]: [Phase 2 of 3] Improving.
0.248 * [simplify]: Simplifying:
  (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0)))
0.248 * * [simplify]: Extracting # 0 : cost  0
0.248 * * [simplify]: Extracting # 1 : cost  0
0.248 * * [simplify]: Extracting # 2 : cost  0
0.248 * * [simplify]: Extracting # 3 : cost  0
0.248 * * [simplify]: Extracting # 4 : cost  0
0.248 * * [simplify]: Extracting # 5 : cost  0
0.248 * * [simplify]: Extracting # 6 : cost  0
0.248 * * [simplify]: Extracting # 7 : cost  0
0.248 * * [simplify]: Extracting # 8 : cost  0
0.248 * * [simplify]: Extracting # 9 : cost  0
0.248 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.251 * * [simplify]: Extracting # 0 : cost  0
0.251 * * [simplify]: Extracting # 1 : cost  0
0.251 * * [simplify]: Extracting # 2 : cost  0
0.251 * * [simplify]: iteration  1 :  33  enodes  (cost  19 )
0.259 * * [simplify]: Extracting # 0 : cost  0
0.259 * * [simplify]: Extracting # 1 : cost  0
0.259 * * [simplify]: Extracting # 2 : cost  0
0.259 * * [simplify]: iteration  2 :  58  enodes  (cost  19 )
0.268 * * [simplify]: Extracting # 0 : cost  0
0.269 * * [simplify]: Extracting # 1 : cost  0
0.269 * * [simplify]: Extracting # 2 : cost  0
0.269 * * [simplify]: iteration  3 :  82  enodes  (cost  19 )
0.281 * * [simplify]: Extracting # 0 : cost  0
0.281 * * [simplify]: Extracting # 1 : cost  0
0.281 * * [simplify]: Extracting # 2 : cost  0
0.281 * * [simplify]: iteration  4 :  97  enodes  (cost  19 )
0.310 * * [simplify]: Extracting # 0 : cost  0
0.310 * * [simplify]: iteration  5 :  104  enodes  (cost  19 )
0.341 * * [simplify]: Extracting # 0 : cost  0
0.347 * * [simplify]: iteration  6 :  106  enodes  (cost  19 )
0.378 * * [simplify]: Extracting # 0 : cost  0
0.378 * * [simplify]: iteration done:  106  enodes  (cost  19 )
0.378 * [simplify]: Simplified to:
  (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0)))
0.379 * * [progress]: iteration 1 / 4
0.379 * * * [progress]: picking best candidate
0.385 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (- (* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0)))) (/ a (* b 3.0))))>
0.385 * * * [progress]: localizing error
0.427 * * * [progress]: generating rewritten candidates
0.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.459 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.525 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
0.536 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.548 * * * [progress]: generating series expansions
0.548 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.548 * [backup-simplify]: Simplify (cos (- y (/ (* z t) 3.0))) into (cos (- y (* 0.3333333333333333 (* t z))))
0.548 * [approximate]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in (y z t) around 0
0.548 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in t
0.548 * [taylor]: Taking taylor expansion of (- y (* 0.3333333333333333 (* t z))) in t
0.548 * [taylor]: Taking taylor expansion of y in t
0.548 * [backup-simplify]: Simplify y into y
0.548 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in t
0.548 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.548 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.548 * [taylor]: Taking taylor expansion of (* t z) in t
0.548 * [taylor]: Taking taylor expansion of t in t
0.548 * [backup-simplify]: Simplify 0 into 0
0.548 * [backup-simplify]: Simplify 1 into 1
0.548 * [taylor]: Taking taylor expansion of z in t
0.548 * [backup-simplify]: Simplify z into z
0.548 * [backup-simplify]: Simplify (* 0 z) into 0
0.549 * [backup-simplify]: Simplify (* 0.3333333333333333 0) into 0
0.549 * [backup-simplify]: Simplify (- 0) into 0
0.549 * [backup-simplify]: Simplify (+ y 0) into y
0.549 * [backup-simplify]: Simplify (cos y) into (cos y)
0.549 * [backup-simplify]: Simplify (sin y) into (sin y)
0.549 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in z
0.549 * [taylor]: Taking taylor expansion of (- y (* 0.3333333333333333 (* t z))) in z
0.549 * [taylor]: Taking taylor expansion of y in z
0.549 * [backup-simplify]: Simplify y into y
0.549 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in z
0.549 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.549 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.549 * [taylor]: Taking taylor expansion of (* t z) in z
0.549 * [taylor]: Taking taylor expansion of t in z
0.549 * [backup-simplify]: Simplify t into t
0.549 * [taylor]: Taking taylor expansion of z in z
0.549 * [backup-simplify]: Simplify 0 into 0
0.549 * [backup-simplify]: Simplify 1 into 1
0.549 * [backup-simplify]: Simplify (* t 0) into 0
0.550 * [backup-simplify]: Simplify (* 0.3333333333333333 0) into 0
0.550 * [backup-simplify]: Simplify (- 0) into 0
0.550 * [backup-simplify]: Simplify (+ y 0) into y
0.550 * [backup-simplify]: Simplify (cos y) into (cos y)
0.550 * [backup-simplify]: Simplify (sin y) into (sin y)
0.550 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in y
0.550 * [taylor]: Taking taylor expansion of (- y (* 0.3333333333333333 (* t z))) in y
0.550 * [taylor]: Taking taylor expansion of y in y
0.550 * [backup-simplify]: Simplify 0 into 0
0.550 * [backup-simplify]: Simplify 1 into 1
0.550 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in y
0.550 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.550 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.550 * [taylor]: Taking taylor expansion of (* t z) in y
0.550 * [taylor]: Taking taylor expansion of t in y
0.550 * [backup-simplify]: Simplify t into t
0.550 * [taylor]: Taking taylor expansion of z in y
0.550 * [backup-simplify]: Simplify z into z
0.550 * [backup-simplify]: Simplify (* t z) into (* t z)
0.550 * [backup-simplify]: Simplify (* 0.3333333333333333 (* t z)) into (* 0.3333333333333333 (* t z))
0.551 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (* t z))) into (- (* 0.3333333333333333 (* t z)))
0.551 * [backup-simplify]: Simplify (+ 0 (- (* 0.3333333333333333 (* t z)))) into (- (* 0.3333333333333333 (* t z)))
0.551 * [backup-simplify]: Simplify (cos (- (* 0.3333333333333333 (* t z)))) into (cos (- (* 0.3333333333333333 (* t z))))
0.551 * [backup-simplify]: Simplify (sin (- (* 0.3333333333333333 (* t z)))) into (sin (- (* 0.3333333333333333 (* t z))))
0.551 * [taylor]: Taking taylor expansion of (cos (- y (* 0.3333333333333333 (* t z)))) in y
0.551 * [taylor]: Taking taylor expansion of (- y (* 0.3333333333333333 (* t z))) in y
0.551 * [taylor]: Taking taylor expansion of y in y
0.551 * [backup-simplify]: Simplify 0 into 0
0.551 * [backup-simplify]: Simplify 1 into 1
0.551 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in y
0.551 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.551 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.551 * [taylor]: Taking taylor expansion of (* t z) in y
0.551 * [taylor]: Taking taylor expansion of t in y
0.551 * [backup-simplify]: Simplify t into t
0.551 * [taylor]: Taking taylor expansion of z in y
0.551 * [backup-simplify]: Simplify z into z
0.551 * [backup-simplify]: Simplify (* t z) into (* t z)
0.551 * [backup-simplify]: Simplify (* 0.3333333333333333 (* t z)) into (* 0.3333333333333333 (* t z))
0.551 * [backup-simplify]: Simplify (- (* 0.3333333333333333 (* t z))) into (- (* 0.3333333333333333 (* t z)))
0.551 * [backup-simplify]: Simplify (+ 0 (- (* 0.3333333333333333 (* t z)))) into (- (* 0.3333333333333333 (* t z)))
0.551 * [backup-simplify]: Simplify (cos (- (* 0.3333333333333333 (* t z)))) into (cos (- (* 0.3333333333333333 (* t z))))
0.551 * [backup-simplify]: Simplify (sin (- (* 0.3333333333333333 (* t z)))) into (sin (- (* 0.3333333333333333 (* t z))))
0.552 * [backup-simplify]: Simplify (* (cos (- (* 0.3333333333333333 (* t z)))) 1) into (cos (- (* 0.3333333333333333 (* t z))))
0.552 * [backup-simplify]: Simplify (* (sin (- (* 0.3333333333333333 (* t z)))) 0) into 0
0.552 * [backup-simplify]: Simplify (- 0) into 0
0.552 * [backup-simplify]: Simplify (+ (cos (- (* 0.3333333333333333 (* t z)))) 0) into (cos (- (* 0.3333333333333333 (* t z))))
0.552 * [taylor]: Taking taylor expansion of (cos (- (* 0.3333333333333333 (* t z)))) in z
0.552 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (* t z))) in z
0.552 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in z
0.552 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.552 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.552 * [taylor]: Taking taylor expansion of (* t z) in z
0.552 * [taylor]: Taking taylor expansion of t in z
0.552 * [backup-simplify]: Simplify t into t
0.552 * [taylor]: Taking taylor expansion of z in z
0.552 * [backup-simplify]: Simplify 0 into 0
0.552 * [backup-simplify]: Simplify 1 into 1
0.552 * [backup-simplify]: Simplify (* t 0) into 0
0.553 * [backup-simplify]: Simplify (* 0.3333333333333333 0) into 0
0.553 * [backup-simplify]: Simplify (- 0) into 0
0.553 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
0.553 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 t) (* 0 0)) into (* 0.3333333333333333 t)
0.553 * [backup-simplify]: Simplify (- (* 0.3333333333333333 t)) into (- (* 0.3333333333333333 t))
0.553 * [taylor]: Taking taylor expansion of 1 in t
0.554 * [backup-simplify]: Simplify 1 into 1
0.554 * [backup-simplify]: Simplify 1 into 1
0.554 * [backup-simplify]: Simplify (+ 0) into 0
0.554 * [backup-simplify]: Simplify (+ (* (cos (- (* 0.3333333333333333 (* t z)))) 0) (* 0 1)) into 0
0.554 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0
0.555 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 (* t z))) into 0
0.555 * [backup-simplify]: Simplify (- 0) into 0
0.555 * [backup-simplify]: Simplify (+ 1 0) into 1
0.556 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
0.556 * [backup-simplify]: Simplify (+ (* (sin (- (* 0.3333333333333333 (* t z)))) 1) (* 0 0)) into (sin (- (* 0.3333333333333333 (* t z))))
0.556 * [backup-simplify]: Simplify (- (sin (- (* 0.3333333333333333 (* t z))))) into (- (sin (- (* 0.3333333333333333 (* t z)))))
0.556 * [backup-simplify]: Simplify (+ 0 (- (sin (- (* 0.3333333333333333 (* t z)))))) into (- (sin (- (* 0.3333333333333333 (* t z)))))
0.556 * [taylor]: Taking taylor expansion of (- (sin (- (* 0.3333333333333333 (* t z))))) in z
0.556 * [taylor]: Taking taylor expansion of (sin (- (* 0.3333333333333333 (* t z)))) in z
0.556 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (* t z))) in z
0.556 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in z
0.556 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.556 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.556 * [taylor]: Taking taylor expansion of (* t z) in z
0.556 * [taylor]: Taking taylor expansion of t in z
0.556 * [backup-simplify]: Simplify t into t
0.556 * [taylor]: Taking taylor expansion of z in z
0.556 * [backup-simplify]: Simplify 0 into 0
0.556 * [backup-simplify]: Simplify 1 into 1
0.556 * [backup-simplify]: Simplify (* t 0) into 0
0.557 * [backup-simplify]: Simplify (* 0.3333333333333333 0) into 0
0.557 * [backup-simplify]: Simplify (- 0) into 0
0.557 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
0.557 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 t) (* 0 0)) into (* 0.3333333333333333 t)
0.557 * [backup-simplify]: Simplify (- (* 0.3333333333333333 t)) into (- (* 0.3333333333333333 t))
0.558 * [backup-simplify]: Simplify (- 0) into 0
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify (+ 0) into 0
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify 0 into 0
0.558 * [backup-simplify]: Simplify 0 into 0
0.559 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
0.559 * [backup-simplify]: Simplify (+ (* (cos (- (* 0.3333333333333333 (* t z)))) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos (- (* 0.3333333333333333 (* t z))))))
0.560 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0
0.560 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 (* t z)))) into 0
0.560 * [backup-simplify]: Simplify (- 0) into 0
0.561 * [backup-simplify]: Simplify (+ 0 0) into 0
0.561 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.561 * [backup-simplify]: Simplify (+ (* (sin (- (* 0.3333333333333333 (* t z)))) 0) (+ (* 0 1) (* 0 0))) into 0
0.562 * [backup-simplify]: Simplify (- 0) into 0
0.562 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos (- (* 0.3333333333333333 (* t z)))))) 0) into (- (* 1/2 (cos (- (* 0.3333333333333333 (* t z))))))
0.562 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- (* 0.3333333333333333 (* t z)))))) in z
0.562 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- (* 0.3333333333333333 (* t z))))) in z
0.562 * [taylor]: Taking taylor expansion of 1/2 in z
0.562 * [backup-simplify]: Simplify 1/2 into 1/2
0.562 * [taylor]: Taking taylor expansion of (cos (- (* 0.3333333333333333 (* t z)))) in z
0.562 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (* t z))) in z
0.562 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* t z)) in z
0.562 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.562 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.562 * [taylor]: Taking taylor expansion of (* t z) in z
0.562 * [taylor]: Taking taylor expansion of t in z
0.562 * [backup-simplify]: Simplify t into t
0.562 * [taylor]: Taking taylor expansion of z in z
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 1 into 1
0.562 * [backup-simplify]: Simplify (* t 0) into 0
0.562 * [backup-simplify]: Simplify (* 0.3333333333333333 0) into 0
0.563 * [backup-simplify]: Simplify (- 0) into 0
0.563 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
0.563 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 t) (* 0 0)) into (* 0.3333333333333333 t)
0.563 * [backup-simplify]: Simplify (- (* 0.3333333333333333 t)) into (- (* 0.3333333333333333 t))
0.564 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
0.567 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.568 * [taylor]: Taking taylor expansion of -1/2 in t
0.568 * [backup-simplify]: Simplify -1/2 into -1/2
0.568 * [backup-simplify]: Simplify -1/2 into -1/2
0.568 * [backup-simplify]: Simplify (- (* 0.3333333333333333 t)) into (- (* 0.3333333333333333 t))
0.568 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (- (* 0.3333333333333333 t)) 1) 1))) into (- (* 0.3333333333333333 t))
0.568 * [backup-simplify]: Simplify (- (- (* 0.3333333333333333 t))) into (* 0.3333333333333333 t)
0.568 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
0.568 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.568 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.568 * [taylor]: Taking taylor expansion of t in t
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify 1 into 1
0.569 * [backup-simplify]: Simplify (* 0.3333333333333333 0) into 0
0.569 * [backup-simplify]: Simplify 0 into 0
0.569 * [backup-simplify]: Simplify (- (* 0.3333333333333333 t)) into (- (* 0.3333333333333333 t))