15.679 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ x (cos y)) (* z (sin y)))
0.049 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.051 * * [simplify]: iteration  1 :  28  enodes  (cost  5 )
0.052 * * [simplify]: iteration  2 :  37  enodes  (cost  5 )
0.053 * * [simplify]: iteration  3 :  43  enodes  (cost  5 )
0.055 * * [simplify]: iteration  4 :  52  enodes  (cost  5 )
0.056 * * [simplify]: iteration  5 :  66  enodes  (cost  5 )
0.058 * * [simplify]: iteration  6 :  101  enodes  (cost  5 )
0.060 * * [simplify]: iteration  7 :  166  enodes  (cost  5 )
0.062 * * [simplify]: iteration  8 :  212  enodes  (cost  5 )
0.064 * * [simplify]: iteration  9 :  236  enodes  (cost  5 )
0.066 * * [simplify]: iteration  10 :  250  enodes  (cost  5 )
0.068 * * [simplify]: iteration  11 :  270  enodes  (cost  5 )
0.070 * * [simplify]: iteration  12 :  270  enodes  (cost  5 )
0.070 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
0.070 * * [progress]: iteration 1 / 4
0.070 * * * [progress]: picking best candidate
0.072 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>
0.072 * * * [progress]: localizing error
0.082 * * * [progress]: generating rewritten candidates
0.082 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.087 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.090 * * * [progress]: generating series expansions
0.090 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.091 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.091 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.091 * [taylor]: Taking taylor expansion of (sin y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of z in y
0.091 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.091 * [taylor]: Taking taylor expansion of (sin y) in z
0.091 * [taylor]: Taking taylor expansion of y in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.091 * [taylor]: Taking taylor expansion of (sin y) in z
0.091 * [taylor]: Taking taylor expansion of y in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of (sin y) in y
0.093 * [taylor]: Taking taylor expansion of y in y
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.103 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.103 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.103 * [taylor]: Taking taylor expansion of z in y
0.103 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.103 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.103 * [taylor]: Taking taylor expansion of y in z
0.104 * [taylor]: Taking taylor expansion of z in z
0.104 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.104 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.104 * [taylor]: Taking taylor expansion of y in z
0.104 * [taylor]: Taking taylor expansion of z in z
0.104 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.104 * [taylor]: Taking taylor expansion of y in y
0.106 * [taylor]: Taking taylor expansion of 0 in y
0.109 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.119 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.119 * [taylor]: Taking taylor expansion of -1 in y
0.119 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.119 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.119 * [taylor]: Taking taylor expansion of -1 in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of z in y
0.119 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.119 * [taylor]: Taking taylor expansion of -1 in z
0.119 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.119 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.119 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.119 * [taylor]: Taking taylor expansion of -1 in z
0.119 * [taylor]: Taking taylor expansion of y in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.120 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.120 * [taylor]: Taking taylor expansion of -1 in z
0.120 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.120 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.120 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.120 * [taylor]: Taking taylor expansion of -1 in z
0.120 * [taylor]: Taking taylor expansion of y in z
0.120 * [taylor]: Taking taylor expansion of z in z
0.120 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.120 * [taylor]: Taking taylor expansion of -1 in y
0.120 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.120 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.120 * [taylor]: Taking taylor expansion of -1 in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.127 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.132 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.132 * [approximate]: Taking taylor expansion of (+ x (cos y)) in (x y) around 0
0.132 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y
0.132 * [taylor]: Taking taylor expansion of x in y
0.132 * [taylor]: Taking taylor expansion of (cos y) in y
0.132 * [taylor]: Taking taylor expansion of y in y
0.132 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [taylor]: Taking taylor expansion of (cos y) in x
0.132 * [taylor]: Taking taylor expansion of y in x
0.133 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of (cos y) in x
0.133 * [taylor]: Taking taylor expansion of y in x
0.133 * [taylor]: Taking taylor expansion of (cos y) in y
0.133 * [taylor]: Taking taylor expansion of y in y
0.135 * [taylor]: Taking taylor expansion of 1 in y
0.138 * [taylor]: Taking taylor expansion of 0 in y
0.139 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in (x y) around 0
0.139 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y
0.139 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.139 * [taylor]: Taking taylor expansion of x in y
0.139 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.139 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.139 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.140 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.140 * [taylor]: Taking taylor expansion of y in x
0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.140 * [taylor]: Taking taylor expansion of x in x
0.140 * [taylor]: Taking taylor expansion of 1 in y
0.141 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.141 * [taylor]: Taking taylor expansion of y in y
0.144 * [taylor]: Taking taylor expansion of 0 in y
0.147 * [taylor]: Taking taylor expansion of 0 in y
0.147 * [approximate]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in (x y) around 0
0.147 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y
0.147 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.147 * [taylor]: Taking taylor expansion of -1 in y
0.147 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.147 * [taylor]: Taking taylor expansion of x in y
0.147 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x
0.148 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.148 * [taylor]: Taking taylor expansion of -1 in x
0.148 * [taylor]: Taking taylor expansion of y in x
0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of -1 in y
0.150 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.150 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.150 * [taylor]: Taking taylor expansion of -1 in y
0.150 * [taylor]: Taking taylor expansion of y in y
0.153 * [taylor]: Taking taylor expansion of 0 in y
0.156 * [taylor]: Taking taylor expansion of 0 in y
0.156 * * * [progress]: simplifying candidates
0.157 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (sin y))
  (+ (log z) (log (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (* (* (* z (sin y)) (* z (sin y))) (* z (sin y)))
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  (* z 1)
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (* (exp x) (exp (cos y)))
  (log (+ x (cos y)))
  (exp (+ x (cos y)))
  (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y))))
  (cbrt (+ x (cos y)))
  (* (* (+ x (cos y)) (+ x (cos y))) (+ x (cos y)))
  (sqrt (+ x (cos y)))
  (sqrt (+ x (cos y)))
  (+ (pow x 3) (pow (cos y) 3))
  (+ (* x x) (- (* (cos y) (cos y)) (* x (cos y))))
  (- (* x x) (* (cos y) (cos y)))
  (- x (cos y))
  (+ x (cos y))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
  (- (+ x 1) (* 1/2 (pow y 2)))
  (+ x (cos y))
  (+ x (cos y))
0.160 * * [simplify]: iteration  0 :  140  enodes  (cost  133 )
0.163 * * [simplify]: iteration  1 :  414  enodes  (cost  118 )
0.170 * * [simplify]: iteration  2 :  1285  enodes  (cost  118 )
0.192 * * [simplify]: iteration  3 :  4868  enodes  (cost  118 )
0.284 * * [simplify]: iteration  4 :  5002  enodes  (cost  118 )
0.285 * [simplify]: Simplified to:
   (* z (sin y))
  (log (* z (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (pow (* z (sin y)) 3)
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (pow (* z (sin y)) 3)
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  z
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (exp (+ x (cos y)))
  (log (+ x (cos y)))
  (exp (+ x (cos y)))
  (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y))))
  (cbrt (+ x (cos y)))
  (pow (+ x (cos y)) 3)
  (sqrt (+ x (cos y)))
  (sqrt (+ x (cos y)))
  (+ (pow x 3) (pow (cos y) 3))
  (+ (* (cos y) (- (cos y) x)) (* x x))
  (- (* x x) (* (cos y) (cos y)))
  (- x (cos y))
  (+ x (cos y))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  (- (+ x 1) (* 1/2 (pow y 2)))
  (+ x (cos y))
  (+ x (cos y))
0.285 * * * [progress]: adding candidates to table
0.364 * * [progress]: iteration 2 / 4
0.364 * * * [progress]: picking best candidate
0.373 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))>
0.373 * * * [progress]: localizing error
0.387 * * * [progress]: generating rewritten candidates
0.387 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.389 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.390 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.391 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.398 * * * [progress]: generating series expansions
0.398 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.398 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.398 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.398 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.398 * [taylor]: Taking taylor expansion of 1/3 in z
0.398 * [taylor]: Taking taylor expansion of (log z) in z
0.398 * [taylor]: Taking taylor expansion of z in z
0.399 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.399 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.399 * [taylor]: Taking taylor expansion of 1/3 in z
0.399 * [taylor]: Taking taylor expansion of (log z) in z
0.399 * [taylor]: Taking taylor expansion of z in z
0.451 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
0.451 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.451 * [taylor]: Taking taylor expansion of 1/3 in z
0.451 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.451 * [taylor]: Taking taylor expansion of z in z
0.452 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.452 * [taylor]: Taking taylor expansion of 1/3 in z
0.452 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.452 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.452 * [taylor]: Taking taylor expansion of z in z
0.502 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
0.502 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
0.502 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.502 * [taylor]: Taking taylor expansion of -1 in z
0.502 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.503 * [taylor]: Taking taylor expansion of 1/3 in z
0.503 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.503 * [taylor]: Taking taylor expansion of z in z
0.503 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
0.503 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.503 * [taylor]: Taking taylor expansion of -1 in z
0.504 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.504 * [taylor]: Taking taylor expansion of 1/3 in z
0.504 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.504 * [taylor]: Taking taylor expansion of z in z
0.571 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.571 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.571 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.571 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.571 * [taylor]: Taking taylor expansion of 1/3 in z
0.571 * [taylor]: Taking taylor expansion of (log z) in z
0.571 * [taylor]: Taking taylor expansion of z in z
0.571 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.571 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.571 * [taylor]: Taking taylor expansion of 1/3 in z
0.571 * [taylor]: Taking taylor expansion of (log z) in z
0.571 * [taylor]: Taking taylor expansion of z in z
0.625 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
0.625 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.625 * [taylor]: Taking taylor expansion of 1/3 in z
0.625 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.625 * [taylor]: Taking taylor expansion of z in z
0.626 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.626 * [taylor]: Taking taylor expansion of 1/3 in z
0.626 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.626 * [taylor]: Taking taylor expansion of z in z
0.681 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
0.681 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
0.681 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.681 * [taylor]: Taking taylor expansion of -1 in z
0.681 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.681 * [taylor]: Taking taylor expansion of 1/3 in z
0.681 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.682 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.682 * [taylor]: Taking taylor expansion of z in z
0.682 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
0.682 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.682 * [taylor]: Taking taylor expansion of -1 in z
0.683 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.683 * [taylor]: Taking taylor expansion of 1/3 in z
0.683 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.683 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.683 * [taylor]: Taking taylor expansion of z in z
0.750 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.750 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
0.750 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.750 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.750 * [taylor]: Taking taylor expansion of 1/3 in z
0.750 * [taylor]: Taking taylor expansion of (log z) in z
0.750 * [taylor]: Taking taylor expansion of z in z
0.750 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
0.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
0.750 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
0.750 * [taylor]: Taking taylor expansion of 1/3 in z
0.751 * [taylor]: Taking taylor expansion of (log z) in z
0.751 * [taylor]: Taking taylor expansion of z in z
0.798 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
0.798 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.798 * [taylor]: Taking taylor expansion of 1/3 in z
0.798 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.798 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.798 * [taylor]: Taking taylor expansion of z in z
0.799 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.799 * [taylor]: Taking taylor expansion of 1/3 in z
0.799 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.799 * [taylor]: Taking taylor expansion of z in z
0.874 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
0.874 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
0.874 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.874 * [taylor]: Taking taylor expansion of -1 in z
0.875 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.875 * [taylor]: Taking taylor expansion of 1/3 in z
0.875 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.875 * [taylor]: Taking taylor expansion of z in z
0.875 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
0.876 * [taylor]: Taking taylor expansion of (cbrt -1) in z
0.876 * [taylor]: Taking taylor expansion of -1 in z
0.876 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
0.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
0.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
0.876 * [taylor]: Taking taylor expansion of 1/3 in z
0.876 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
0.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.876 * [taylor]: Taking taylor expansion of z in z
0.947 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.947 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0
0.947 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
0.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
0.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
0.947 * [taylor]: Taking taylor expansion of 1/3 in z
0.948 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.948 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.948 * [taylor]: Taking taylor expansion of z in z
0.948 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
0.948 * [taylor]: Taking taylor expansion of 1/3 in z
0.949 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
0.949 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.949 * [taylor]: Taking taylor expansion of z in z
1.007 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0
1.007 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.008 * [taylor]: Taking taylor expansion of 1/3 in z
1.008 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.008 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.008 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.008 * [taylor]: Taking taylor expansion of z in z
1.009 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.009 * [taylor]: Taking taylor expansion of 1/3 in z
1.009 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.009 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.009 * [taylor]: Taking taylor expansion of z in z
1.074 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0
1.074 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z
1.074 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.074 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.074 * [taylor]: Taking taylor expansion of -1 in z
1.074 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.075 * [taylor]: Taking taylor expansion of 1/3 in z
1.075 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.075 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.075 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.075 * [taylor]: Taking taylor expansion of z in z
1.076 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z
1.076 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.076 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.076 * [taylor]: Taking taylor expansion of -1 in z
1.076 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.076 * [taylor]: Taking taylor expansion of 1/3 in z
1.076 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.077 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.077 * [taylor]: Taking taylor expansion of z in z
1.154 * * * [progress]: simplifying candidates
1.155 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (+ 1/3 1/3)
  (+ 1 1)
  (* z z)
  (* (cbrt z) (cbrt z))
  (+ 1 1)
  (+ (log (cbrt z)) (log (cbrt z)))
  (log (* (cbrt z) (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt z) (cbrt z))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 1 1)
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (* (cbrt z) (cbrt 1))
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt z) (sqrt (cbrt z)))
  (* (cbrt z) 1)
  (* (cbrt (cbrt z)) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (cbrt z))
  (* (sqrt (cbrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 2/3)
  (pow (/ 1 z) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3))
1.158 * * [simplify]: iteration  0 :  115  enodes  (cost  288 )
1.161 * * [simplify]: iteration  1 :  472  enodes  (cost  261 )
1.174 * * [simplify]: iteration  2 :  2959  enodes  (cost  238 )
1.237 * * [simplify]: iteration  3 :  5003  enodes  (cost  235 )
1.238 * [simplify]: Simplified to:
   (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  2/3
  2
  (pow z 2)
  (pow z 2/3)
  2
  (* 2/3 (log z))
  (* 2/3 (log z))
  (exp (pow z 2/3))
  (pow z 2)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (pow z 2)
  (fabs (pow z 1/3))
  (fabs (pow z 1/3))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  1
  (pow z 2/3)
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (pow z 1/3)
  (pow z 1/3)
  1
  (pow z 2/3)
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (pow z 1/3)
  (pow z 1/3)
  2/3
  2
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (pow z 1/3)
  (pow (cbrt (cbrt z)) 5)
  (pow (sqrt (cbrt z)) 3)
  (pow z 1/3)
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt z) (cbrt (sqrt z)))
  (pow z 2/3)
  (pow (cbrt (cbrt z)) 4)
  (pow (sqrt (cbrt z)) 3)
  (pow z 2/3)
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 2/3)
  (pow (/ 1 z) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3))
1.238 * * * [progress]: adding candidates to table
1.485 * * [progress]: iteration 3 / 4
1.485 * * * [progress]: picking best candidate
1.494 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt z))) (* (cbrt z) (sin y)))))>
1.495 * * * [progress]: localizing error
1.514 * * * [progress]: generating rewritten candidates
1.515 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.516 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
1.517 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 1 2)
1.522 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 1)
1.524 * * * [progress]: generating series expansions
1.524 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.525 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.525 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.525 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.525 * [taylor]: Taking taylor expansion of 1/3 in z
1.525 * [taylor]: Taking taylor expansion of (log z) in z
1.525 * [taylor]: Taking taylor expansion of z in z
1.526 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.526 * [taylor]: Taking taylor expansion of 1/3 in z
1.526 * [taylor]: Taking taylor expansion of (log z) in z
1.526 * [taylor]: Taking taylor expansion of z in z
1.573 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.573 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.573 * [taylor]: Taking taylor expansion of 1/3 in z
1.573 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.573 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.573 * [taylor]: Taking taylor expansion of z in z
1.574 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.574 * [taylor]: Taking taylor expansion of 1/3 in z
1.574 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.574 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.574 * [taylor]: Taking taylor expansion of z in z
1.633 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.633 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.633 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.633 * [taylor]: Taking taylor expansion of -1 in z
1.634 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.634 * [taylor]: Taking taylor expansion of 1/3 in z
1.634 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.634 * [taylor]: Taking taylor expansion of z in z
1.635 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.635 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.635 * [taylor]: Taking taylor expansion of -1 in z
1.635 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.635 * [taylor]: Taking taylor expansion of 1/3 in z
1.635 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.635 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.635 * [taylor]: Taking taylor expansion of z in z
1.706 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
1.706 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.706 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.706 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.706 * [taylor]: Taking taylor expansion of 1/3 in z
1.706 * [taylor]: Taking taylor expansion of (log z) in z
1.706 * [taylor]: Taking taylor expansion of z in z
1.707 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.707 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.707 * [taylor]: Taking taylor expansion of 1/3 in z
1.707 * [taylor]: Taking taylor expansion of (log z) in z
1.707 * [taylor]: Taking taylor expansion of z in z
1.762 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
1.762 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.762 * [taylor]: Taking taylor expansion of 1/3 in z
1.762 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.762 * [taylor]: Taking taylor expansion of z in z
1.763 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.763 * [taylor]: Taking taylor expansion of 1/3 in z
1.763 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.763 * [taylor]: Taking taylor expansion of z in z
1.813 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
1.813 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.813 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.813 * [taylor]: Taking taylor expansion of -1 in z
1.814 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.814 * [taylor]: Taking taylor expansion of 1/3 in z
1.814 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.814 * [taylor]: Taking taylor expansion of z in z
1.814 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
1.814 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.814 * [taylor]: Taking taylor expansion of -1 in z
1.815 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
1.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
1.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
1.815 * [taylor]: Taking taylor expansion of 1/3 in z
1.815 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
1.815 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.815 * [taylor]: Taking taylor expansion of z in z
2.061 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 1 2)
2.061 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
2.061 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.061 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.061 * [taylor]: Taking taylor expansion of 1/3 in z
2.061 * [taylor]: Taking taylor expansion of (log z) in z
2.061 * [taylor]: Taking taylor expansion of z in z
2.062 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.062 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.062 * [taylor]: Taking taylor expansion of 1/3 in z
2.062 * [taylor]: Taking taylor expansion of (log z) in z
2.062 * [taylor]: Taking taylor expansion of z in z
2.114 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
2.114 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.114 * [taylor]: Taking taylor expansion of 1/3 in z
2.114 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.114 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.114 * [taylor]: Taking taylor expansion of z in z
2.115 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.115 * [taylor]: Taking taylor expansion of 1/3 in z
2.115 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.115 * [taylor]: Taking taylor expansion of z in z
2.170 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
2.170 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.170 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.170 * [taylor]: Taking taylor expansion of -1 in z
2.171 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.171 * [taylor]: Taking taylor expansion of 1/3 in z
2.171 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.171 * [taylor]: Taking taylor expansion of z in z
2.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.172 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.172 * [taylor]: Taking taylor expansion of -1 in z
2.173 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.173 * [taylor]: Taking taylor expansion of 1/3 in z
2.173 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.173 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.173 * [taylor]: Taking taylor expansion of z in z
2.237 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 1)
2.237 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
2.237 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.237 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.237 * [taylor]: Taking taylor expansion of 1/3 in z
2.237 * [taylor]: Taking taylor expansion of (log z) in z
2.237 * [taylor]: Taking taylor expansion of z in z
2.238 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.238 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.238 * [taylor]: Taking taylor expansion of 1/3 in z
2.238 * [taylor]: Taking taylor expansion of (log z) in z
2.238 * [taylor]: Taking taylor expansion of z in z
2.285 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
2.285 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.285 * [taylor]: Taking taylor expansion of 1/3 in z
2.285 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.285 * [taylor]: Taking taylor expansion of z in z
2.285 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.286 * [taylor]: Taking taylor expansion of 1/3 in z
2.286 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.286 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.286 * [taylor]: Taking taylor expansion of z in z
2.342 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
2.342 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.342 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.342 * [taylor]: Taking taylor expansion of -1 in z
2.343 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.343 * [taylor]: Taking taylor expansion of 1/3 in z
2.343 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.343 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.343 * [taylor]: Taking taylor expansion of z in z
2.343 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.344 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.344 * [taylor]: Taking taylor expansion of -1 in z
2.344 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.344 * [taylor]: Taking taylor expansion of 1/3 in z
2.344 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.344 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.344 * [taylor]: Taking taylor expansion of z in z
2.408 * * * [progress]: simplifying candidates
2.409 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
2.411 * * [simplify]: iteration  0 :  40  enodes  (cost  156 )
2.413 * * [simplify]: iteration  1 :  81  enodes  (cost  144 )
2.415 * * [simplify]: iteration  2 :  193  enodes  (cost  136 )
2.419 * * [simplify]: iteration  3 :  696  enodes  (cost  136 )
2.438 * * [simplify]: iteration  4 :  4103  enodes  (cost  136 )
2.528 * * [simplify]: iteration  5 :  5002  enodes  (cost  136 )
2.529 * [simplify]: Simplified to:
   (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
2.529 * * * [progress]: adding candidates to table
2.739 * * [progress]: iteration 4 / 4
2.739 * * * [progress]: picking best candidate
2.749 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))) (cbrt (cbrt z))) (* (cbrt z) (sin y)))))>
2.749 * * * [progress]: localizing error
2.774 * * * [progress]: generating rewritten candidates
2.774 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.775 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
2.776 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 1 2 2 1)
2.777 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 2 1 1 2)
2.779 * * * [progress]: generating series expansions
2.780 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.780 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
2.780 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.780 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.780 * [taylor]: Taking taylor expansion of 1/3 in z
2.780 * [taylor]: Taking taylor expansion of (log z) in z
2.780 * [taylor]: Taking taylor expansion of z in z
2.781 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.781 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.781 * [taylor]: Taking taylor expansion of 1/3 in z
2.781 * [taylor]: Taking taylor expansion of (log z) in z
2.781 * [taylor]: Taking taylor expansion of z in z
2.829 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
2.829 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.829 * [taylor]: Taking taylor expansion of 1/3 in z
2.829 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.829 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.829 * [taylor]: Taking taylor expansion of z in z
2.830 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.830 * [taylor]: Taking taylor expansion of 1/3 in z
2.830 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.830 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.830 * [taylor]: Taking taylor expansion of z in z
2.881 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
2.881 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.881 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.881 * [taylor]: Taking taylor expansion of -1 in z
2.882 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.882 * [taylor]: Taking taylor expansion of 1/3 in z
2.882 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.882 * [taylor]: Taking taylor expansion of z in z
2.883 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.883 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.883 * [taylor]: Taking taylor expansion of -1 in z
2.883 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.884 * [taylor]: Taking taylor expansion of 1/3 in z
2.884 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.884 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.884 * [taylor]: Taking taylor expansion of z in z
2.945 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
2.946 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
2.946 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.946 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.946 * [taylor]: Taking taylor expansion of 1/3 in z
2.946 * [taylor]: Taking taylor expansion of (log z) in z
2.946 * [taylor]: Taking taylor expansion of z in z
2.946 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
2.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
2.946 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
2.946 * [taylor]: Taking taylor expansion of 1/3 in z
2.946 * [taylor]: Taking taylor expansion of (log z) in z
2.946 * [taylor]: Taking taylor expansion of z in z
2.992 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
2.992 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.992 * [taylor]: Taking taylor expansion of 1/3 in z
2.992 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.992 * [taylor]: Taking taylor expansion of z in z
2.993 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.993 * [taylor]: Taking taylor expansion of 1/3 in z
2.993 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.993 * [taylor]: Taking taylor expansion of z in z
3.044 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
3.044 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
3.044 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.044 * [taylor]: Taking taylor expansion of -1 in z
3.045 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.045 * [taylor]: Taking taylor expansion of 1/3 in z
3.045 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.045 * [taylor]: Taking taylor expansion of z in z
3.046 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
3.046 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.046 * [taylor]: Taking taylor expansion of -1 in z
3.047 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.047 * [taylor]: Taking taylor expansion of 1/3 in z
3.047 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.047 * [taylor]: Taking taylor expansion of z in z
3.108 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 1 2 2 1)
3.108 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
3.108 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
3.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
3.108 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
3.108 * [taylor]: Taking taylor expansion of 1/3 in z
3.108 * [taylor]: Taking taylor expansion of (log z) in z
3.108 * [taylor]: Taking taylor expansion of z in z
3.109 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
3.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
3.109 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
3.109 * [taylor]: Taking taylor expansion of 1/3 in z
3.109 * [taylor]: Taking taylor expansion of (log z) in z
3.109 * [taylor]: Taking taylor expansion of z in z
3.157 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
3.157 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.157 * [taylor]: Taking taylor expansion of 1/3 in z
3.157 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.157 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.157 * [taylor]: Taking taylor expansion of z in z
3.158 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.158 * [taylor]: Taking taylor expansion of 1/3 in z
3.158 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.158 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.158 * [taylor]: Taking taylor expansion of z in z
3.207 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
3.207 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
3.207 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.207 * [taylor]: Taking taylor expansion of -1 in z
3.211 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.211 * [taylor]: Taking taylor expansion of 1/3 in z
3.211 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.211 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.211 * [taylor]: Taking taylor expansion of z in z
3.212 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
3.212 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.212 * [taylor]: Taking taylor expansion of -1 in z
3.212 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.212 * [taylor]: Taking taylor expansion of 1/3 in z
3.212 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.212 * [taylor]: Taking taylor expansion of z in z
3.273 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 2 1 1 2)
3.273 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
3.274 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
3.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
3.274 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
3.274 * [taylor]: Taking taylor expansion of 1/3 in z
3.274 * [taylor]: Taking taylor expansion of (log z) in z
3.274 * [taylor]: Taking taylor expansion of z in z
3.274 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
3.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
3.274 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
3.274 * [taylor]: Taking taylor expansion of 1/3 in z
3.274 * [taylor]: Taking taylor expansion of (log z) in z
3.274 * [taylor]: Taking taylor expansion of z in z
3.327 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
3.327 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.327 * [taylor]: Taking taylor expansion of 1/3 in z
3.327 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.327 * [taylor]: Taking taylor expansion of z in z
3.328 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.328 * [taylor]: Taking taylor expansion of 1/3 in z
3.328 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.328 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.328 * [taylor]: Taking taylor expansion of z in z
3.383 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
3.383 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
3.383 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.383 * [taylor]: Taking taylor expansion of -1 in z
3.384 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.384 * [taylor]: Taking taylor expansion of 1/3 in z
3.384 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.384 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.384 * [taylor]: Taking taylor expansion of z in z
3.385 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
3.385 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.385 * [taylor]: Taking taylor expansion of -1 in z
3.386 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
3.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
3.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
3.386 * [taylor]: Taking taylor expansion of 1/3 in z
3.386 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
3.386 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.386 * [taylor]: Taking taylor expansion of z in z
3.450 * * * [progress]: simplifying candidates
3.451 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
3.454 * * [simplify]: iteration  0 :  40  enodes  (cost  156 )
3.455 * * [simplify]: iteration  1 :  81  enodes  (cost  144 )
3.457 * * [simplify]: iteration  2 :  193  enodes  (cost  136 )
3.462 * * [simplify]: iteration  3 :  696  enodes  (cost  136 )
3.481 * * [simplify]: iteration  4 :  4103  enodes  (cost  136 )
3.570 * * [simplify]: iteration  5 :  5002  enodes  (cost  136 )
3.572 * [simplify]: Simplified to:
   (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
3.572 * * * [progress]: adding candidates to table
3.818 * [progress]: [Phase 3 of 3] Extracting.
3.818 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))) (cbrt (cbrt z))) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))>)
3.819 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x)
3.819 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))) (cbrt (cbrt z))) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))>)
3.877 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))) (cbrt (cbrt z))) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))>)
3.924 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))) (cbrt (cbrt z))) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))>)
3.955 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt (* (cbrt z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)))))) (cbrt (cbrt z))) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))>)
3.982 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.982 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ x (cos y)) (* z (sin y)))
3.983 * * [simplify]: iteration  0 :  10  enodes  (cost  5 )
3.983 * * [simplify]: iteration  1 :  10  enodes  (cost  5 )
3.983 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
5.590 * [regime-testing]: Baseline error score: 0.05282972402809366
5.591 * [regime-testing]: Oracle error score: 0.025701332979212548
5.592 * [regime-testing]: End program error score: 0.05282972402809366