6.099 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.053 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* x (sin y)) (* z (cos y)))
0.054 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.055 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
0.056 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
0.056 * [simplify]: Simplified to:
   (+ (* x (sin y)) (* z (cos y)))
0.057 * * [progress]: iteration 1 / 4
0.057 * * * [progress]: picking best candidate
0.059 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* z (cos y))))>
0.059 * * * [progress]: localizing error
0.068 * * * [progress]: generating rewritten candidates
0.068 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.071 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.076 * * * [progress]: generating series expansions
0.076 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.076 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.076 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.076 * [taylor]: Taking taylor expansion of (cos y) in y
0.076 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of z in y
0.076 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.076 * [taylor]: Taking taylor expansion of (cos y) in z
0.076 * [taylor]: Taking taylor expansion of y in z
0.076 * [taylor]: Taking taylor expansion of z in z
0.076 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.076 * [taylor]: Taking taylor expansion of (cos y) in z
0.076 * [taylor]: Taking taylor expansion of y in z
0.076 * [taylor]: Taking taylor expansion of z in z
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.084 * [taylor]: Taking taylor expansion of (cos y) in y
0.084 * [taylor]: Taking taylor expansion of y in y
0.086 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.090 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.090 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of z in y
0.090 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.090 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.090 * [taylor]: Taking taylor expansion of y in z
0.090 * [taylor]: Taking taylor expansion of z in z
0.091 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.091 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.091 * [taylor]: Taking taylor expansion of (/ 1 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 (cos (/ 1 y)) in y
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.102 * [taylor]: Taking taylor expansion of -1 in y
0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.102 * [taylor]: Taking taylor expansion of -1 in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of z in y
0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.102 * [taylor]: Taking taylor expansion of -1 in z
0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.102 * [taylor]: Taking taylor expansion of -1 in z
0.102 * [taylor]: Taking taylor expansion of y in z
0.102 * [taylor]: Taking taylor expansion of z in z
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.103 * [taylor]: Taking taylor expansion of -1 in z
0.103 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.103 * [taylor]: Taking taylor expansion of -1 in z
0.103 * [taylor]: Taking taylor expansion of y in z
0.103 * [taylor]: Taking taylor expansion of z in z
0.104 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.104 * [taylor]: Taking taylor expansion of -1 in y
0.104 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.104 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.104 * [taylor]: Taking taylor expansion of -1 in y
0.104 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.116 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.117 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
0.117 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.117 * [taylor]: Taking taylor expansion of x in y
0.117 * [taylor]: Taking taylor expansion of (sin y) in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (sin y) in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (sin y) in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of (sin y) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.125 * [taylor]: Taking taylor expansion of 0 in y
0.130 * [taylor]: Taking taylor expansion of 0 in y
0.130 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
0.130 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.130 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.130 * [taylor]: Taking taylor expansion of x in y
0.130 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.130 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.131 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.131 * [taylor]: Taking taylor expansion of y in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.131 * [taylor]: Taking taylor expansion of y in y
0.133 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.140 * [taylor]: Taking taylor expansion of 0 in y
0.140 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
0.140 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.140 * [taylor]: Taking taylor expansion of -1 in y
0.140 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.140 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.140 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.140 * [taylor]: Taking taylor expansion of -1 in y
0.140 * [taylor]: Taking taylor expansion of y in y
0.141 * [taylor]: Taking taylor expansion of x in y
0.141 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.141 * [taylor]: Taking taylor expansion of -1 in x
0.141 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.141 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.141 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.141 * [taylor]: Taking taylor expansion of -1 in x
0.141 * [taylor]: Taking taylor expansion of y in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.141 * [taylor]: Taking taylor expansion of -1 in x
0.141 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.141 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.141 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.141 * [taylor]: Taking taylor expansion of -1 in x
0.141 * [taylor]: Taking taylor expansion of y in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.141 * [taylor]: Taking taylor expansion of -1 in y
0.141 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.142 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.142 * [taylor]: Taking taylor expansion of -1 in y
0.142 * [taylor]: Taking taylor expansion of y in y
0.144 * [taylor]: Taking taylor expansion of 0 in y
0.148 * [taylor]: Taking taylor expansion of 0 in y
0.153 * [taylor]: Taking taylor expansion of 0 in y
0.154 * * * [progress]: simplifying candidates
0.155 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* z (cos y))
  (+ (log z) (log (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (* (* (* z (cos y)) (* z (cos y))) (* z (cos y)))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  (* z 1)
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* x (sin y))
  (+ (log x) (log (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (* (* (* x x) x) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (* (* (* x (sin y)) (* x (sin y))) (* x (sin y)))
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  (* x 1)
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  z
  (* z (cos y))
  (* z (cos y))
  (* x y)
  (* x (sin y))
  (* x (sin y))
0.156 * * [simplify]: iteration  0 :  61  enodes  (cost  254 )
0.170 * * [simplify]: iteration  1 :  118  enodes  (cost  248 )
0.190 * * [simplify]: iteration  2 :  326  enodes  (cost  216 )
0.279 * * [simplify]: iteration  3 :  647  enodes  (cost  216 )
0.458 * * [simplify]: iteration  4 :  929  enodes  (cost  216 )
0.780 * * [simplify]: iteration  5 :  2027  enodes  (cost  216 )
1.556 * * [simplify]: iteration  done :  5000  enodes  (cost  216 )
1.556 * [simplify]: Simplified to:
   (* z (cos y))
  (log (* z (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (pow (* z (cos y)) 3)
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  z
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* x (sin y))
  (log (* x (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (pow (* x (sin y)) 3)
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (pow (* x (sin y)) 3)
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  x
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  z
  (* z (cos y))
  (* z (cos y))
  (* x y)
  (* x (sin y))
  (* x (sin y))
1.557 * * * [progress]: adding candidates to table
1.646 * * [progress]: iteration 2 / 4
1.646 * * * [progress]: picking best candidate
1.664 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))>
1.664 * * * [progress]: localizing error
1.677 * * * [progress]: generating rewritten candidates
1.677 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.678 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
1.678 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
1.679 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.690 * * * [progress]: generating series expansions
1.691 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.691 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.691 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.691 * [taylor]: Taking taylor expansion of 1/3 in y
1.691 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.691 * [taylor]: Taking taylor expansion of (sin y) in y
1.691 * [taylor]: Taking taylor expansion of y in y
1.692 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.692 * [taylor]: Taking taylor expansion of 1/3 in y
1.692 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.692 * [taylor]: Taking taylor expansion of (sin y) in y
1.692 * [taylor]: Taking taylor expansion of y in y
1.718 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.718 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.718 * [taylor]: Taking taylor expansion of 1/3 in y
1.718 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.718 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.718 * [taylor]: Taking taylor expansion of y in y
1.718 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.718 * [taylor]: Taking taylor expansion of 1/3 in y
1.718 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.718 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.718 * [taylor]: Taking taylor expansion of y in y
1.751 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.751 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.751 * [taylor]: Taking taylor expansion of 1/3 in y
1.751 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.751 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.751 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.751 * [taylor]: Taking taylor expansion of -1 in y
1.751 * [taylor]: Taking taylor expansion of y in y
1.752 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.752 * [taylor]: Taking taylor expansion of 1/3 in y
1.752 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.752 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.752 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.752 * [taylor]: Taking taylor expansion of -1 in y
1.752 * [taylor]: Taking taylor expansion of y in y
1.790 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
1.790 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.790 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.790 * [taylor]: Taking taylor expansion of 1/3 in y
1.791 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.791 * [taylor]: Taking taylor expansion of (sin y) in y
1.791 * [taylor]: Taking taylor expansion of y in y
1.792 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.792 * [taylor]: Taking taylor expansion of 1/3 in y
1.792 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.792 * [taylor]: Taking taylor expansion of (sin y) in y
1.792 * [taylor]: Taking taylor expansion of y in y
1.816 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.816 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.816 * [taylor]: Taking taylor expansion of 1/3 in y
1.816 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.816 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.816 * [taylor]: Taking taylor expansion of y in y
1.817 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.817 * [taylor]: Taking taylor expansion of 1/3 in y
1.817 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.817 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.817 * [taylor]: Taking taylor expansion of y in y
1.855 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.855 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.855 * [taylor]: Taking taylor expansion of 1/3 in y
1.855 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.855 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.855 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.855 * [taylor]: Taking taylor expansion of -1 in y
1.855 * [taylor]: Taking taylor expansion of y in y
1.856 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.856 * [taylor]: Taking taylor expansion of 1/3 in y
1.856 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.856 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.856 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.856 * [taylor]: Taking taylor expansion of -1 in y
1.856 * [taylor]: Taking taylor expansion of y in y
1.888 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
1.888 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.888 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.888 * [taylor]: Taking taylor expansion of 1/3 in y
1.888 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.888 * [taylor]: Taking taylor expansion of (sin y) in y
1.888 * [taylor]: Taking taylor expansion of y in y
1.889 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.889 * [taylor]: Taking taylor expansion of 1/3 in y
1.889 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.889 * [taylor]: Taking taylor expansion of (sin y) in y
1.889 * [taylor]: Taking taylor expansion of y in y
1.914 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.914 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.914 * [taylor]: Taking taylor expansion of 1/3 in y
1.914 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.914 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.914 * [taylor]: Taking taylor expansion of y in y
1.914 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.914 * [taylor]: Taking taylor expansion of 1/3 in y
1.914 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.914 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.914 * [taylor]: Taking taylor expansion of y in y
1.952 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.952 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.953 * [taylor]: Taking taylor expansion of 1/3 in y
1.953 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.953 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.953 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.953 * [taylor]: Taking taylor expansion of -1 in y
1.953 * [taylor]: Taking taylor expansion of y in y
1.953 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.953 * [taylor]: Taking taylor expansion of 1/3 in y
1.953 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.953 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.953 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.953 * [taylor]: Taking taylor expansion of -1 in y
1.953 * [taylor]: Taking taylor expansion of y in y
1.986 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
1.986 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
1.986 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
1.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
1.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
1.986 * [taylor]: Taking taylor expansion of 1/3 in y
1.986 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
1.986 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
1.986 * [taylor]: Taking taylor expansion of (sin y) in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.987 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
1.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
1.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
1.988 * [taylor]: Taking taylor expansion of 1/3 in y
1.988 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
1.988 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
1.988 * [taylor]: Taking taylor expansion of (sin y) in y
1.988 * [taylor]: Taking taylor expansion of y in y
2.015 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
2.015 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.015 * [taylor]: Taking taylor expansion of 1/3 in y
2.015 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.015 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.015 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.015 * [taylor]: Taking taylor expansion of y in y
2.022 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.022 * [taylor]: Taking taylor expansion of 1/3 in y
2.022 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.022 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.022 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.022 * [taylor]: Taking taylor expansion of y in y
2.059 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
2.059 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.060 * [taylor]: Taking taylor expansion of 1/3 in y
2.060 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.060 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.060 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.060 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.060 * [taylor]: Taking taylor expansion of -1 in y
2.060 * [taylor]: Taking taylor expansion of y in y
2.060 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.060 * [taylor]: Taking taylor expansion of 1/3 in y
2.060 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.060 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.061 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.061 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.061 * [taylor]: Taking taylor expansion of -1 in y
2.061 * [taylor]: Taking taylor expansion of y in y
2.100 * * * [progress]: simplifying candidates
2.101 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (+ 1 1)
  (+ (log (cbrt (sin y))) (log (cbrt (sin y))))
  (log (* (cbrt (sin y)) (cbrt (sin y))))
  (exp (* (cbrt (sin y)) (cbrt (sin y))))
  (* (sin y) (sin y))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 1 1)
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (* (cbrt (sin y)) (cbrt 1))
  (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (sin y)) (sqrt (cbrt (sin y))))
  (* (cbrt (sin y)) 1)
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (sqrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3)))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
2.109 * * [simplify]: iteration  0 :  75  enodes  (cost  710 )
2.127 * * [simplify]: iteration  1 :  156  enodes  (cost  628 )
2.171 * * [simplify]: iteration  2 :  464  enodes  (cost  534 )
2.460 * * [simplify]: iteration  3 :  2018  enodes  (cost  512 )
3.615 * * [simplify]: iteration  done :  5000  enodes  (cost  512 )
3.615 * [simplify]: Simplified to:
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  2/3
  2
  (pow (sin y) 2)
  (pow (sin y) 2/3)
  2
  (log (pow (sin y) 2/3))
  (log (pow (sin y) 2/3))
  (exp (pow (sin y) 2/3))
  (pow (sin y) 2)
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (cbrt (pow (sin y) 2/3))
  (pow (sin y) 2)
  (fabs (cbrt (sin y)))
  (fabs (cbrt (sin y)))
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  1
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  1
  (pow (sin y) 2/3)
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  2/3
  2
  (* (cbrt (pow (sin y) 2/3)) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (cbrt (sin y))
  (* (pow (cbrt (cbrt (sin y))) 4) (cbrt (cbrt (sin y))))
  (pow (sqrt (cbrt (sin y))) 3)
  (cbrt (sin y))
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (pow (sqrt (cbrt (sin y))) 3)
  (pow (sin y) 2/3)
  (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (+ (* 1/405 (cbrt (pow y 14))) (- (pow y 2/3) (* (cbrt (pow y 8)) 1/9)))
  (cbrt (pow (sin y) 2))
  (cbrt (pow (sin y) 2))
3.616 * * * [progress]: adding candidates to table
3.834 * * [progress]: iteration 3 / 4
3.834 * * * [progress]: picking best candidate
3.851 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))>
3.851 * * * [progress]: localizing error
3.864 * * * [progress]: generating rewritten candidates
3.864 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
3.865 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
3.868 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
3.868 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.876 * * * [progress]: generating series expansions
3.876 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
3.876 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
3.876 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.876 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.876 * [taylor]: Taking taylor expansion of 1/3 in x
3.876 * [taylor]: Taking taylor expansion of (log x) in x
3.876 * [taylor]: Taking taylor expansion of x in x
3.877 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.877 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.877 * [taylor]: Taking taylor expansion of 1/3 in x
3.877 * [taylor]: Taking taylor expansion of (log x) in x
3.877 * [taylor]: Taking taylor expansion of x in x
3.924 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
3.924 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.925 * [taylor]: Taking taylor expansion of 1/3 in x
3.925 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.925 * [taylor]: Taking taylor expansion of x in x
3.925 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.925 * [taylor]: Taking taylor expansion of 1/3 in x
3.925 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.926 * [taylor]: Taking taylor expansion of x in x
3.979 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
3.979 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.979 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.979 * [taylor]: Taking taylor expansion of -1 in x
3.980 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.980 * [taylor]: Taking taylor expansion of 1/3 in x
3.980 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.980 * [taylor]: Taking taylor expansion of x in x
3.981 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.981 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.981 * [taylor]: Taking taylor expansion of -1 in x
3.982 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.982 * [taylor]: Taking taylor expansion of 1/3 in x
3.982 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.982 * [taylor]: Taking taylor expansion of x in x
4.047 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
4.047 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.047 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.047 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.047 * [taylor]: Taking taylor expansion of 1/3 in x
4.047 * [taylor]: Taking taylor expansion of (log x) in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.048 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.048 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.048 * [taylor]: Taking taylor expansion of 1/3 in x
4.048 * [taylor]: Taking taylor expansion of (log x) in x
4.048 * [taylor]: Taking taylor expansion of x in x
4.098 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.098 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.099 * [taylor]: Taking taylor expansion of 1/3 in x
4.099 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.099 * [taylor]: Taking taylor expansion of x in x
4.099 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.100 * [taylor]: Taking taylor expansion of 1/3 in x
4.100 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.100 * [taylor]: Taking taylor expansion of x in x
4.150 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.150 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.150 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.150 * [taylor]: Taking taylor expansion of -1 in x
4.151 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.151 * [taylor]: Taking taylor expansion of 1/3 in x
4.151 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.151 * [taylor]: Taking taylor expansion of x in x
4.152 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.152 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.152 * [taylor]: Taking taylor expansion of -1 in x
4.152 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.152 * [taylor]: Taking taylor expansion of 1/3 in x
4.152 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.153 * [taylor]: Taking taylor expansion of x in x
4.220 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.220 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.220 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.220 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.220 * [taylor]: Taking taylor expansion of 1/3 in x
4.220 * [taylor]: Taking taylor expansion of (log x) in x
4.220 * [taylor]: Taking taylor expansion of x in x
4.221 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.221 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.221 * [taylor]: Taking taylor expansion of 1/3 in x
4.221 * [taylor]: Taking taylor expansion of (log x) in x
4.221 * [taylor]: Taking taylor expansion of x in x
4.274 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.274 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.274 * [taylor]: Taking taylor expansion of 1/3 in x
4.274 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.274 * [taylor]: Taking taylor expansion of x in x
4.275 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.275 * [taylor]: Taking taylor expansion of 1/3 in x
4.275 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.275 * [taylor]: Taking taylor expansion of x in x
4.331 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.331 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.331 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.331 * [taylor]: Taking taylor expansion of -1 in x
4.332 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.332 * [taylor]: Taking taylor expansion of 1/3 in x
4.332 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.332 * [taylor]: Taking taylor expansion of x in x
4.333 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.333 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.333 * [taylor]: Taking taylor expansion of -1 in x
4.334 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.334 * [taylor]: Taking taylor expansion of 1/3 in x
4.334 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.334 * [taylor]: Taking taylor expansion of x in x
4.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
4.403 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
4.403 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
4.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
4.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
4.403 * [taylor]: Taking taylor expansion of 1/3 in x
4.403 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
4.403 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.403 * [taylor]: Taking taylor expansion of x in x
4.404 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
4.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
4.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
4.404 * [taylor]: Taking taylor expansion of 1/3 in x
4.404 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
4.404 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.404 * [taylor]: Taking taylor expansion of x in x
4.455 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
4.455 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
4.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
4.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
4.455 * [taylor]: Taking taylor expansion of 1/3 in x
4.455 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
4.455 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.455 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.455 * [taylor]: Taking taylor expansion of x in x
4.456 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
4.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
4.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
4.456 * [taylor]: Taking taylor expansion of 1/3 in x
4.456 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
4.456 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.456 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.456 * [taylor]: Taking taylor expansion of x in x
4.517 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
4.518 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
4.518 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.518 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.518 * [taylor]: Taking taylor expansion of -1 in x
4.518 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
4.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
4.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
4.518 * [taylor]: Taking taylor expansion of 1/3 in x
4.518 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
4.518 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.518 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.518 * [taylor]: Taking taylor expansion of x in x
4.520 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
4.520 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.520 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.520 * [taylor]: Taking taylor expansion of -1 in x
4.520 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
4.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
4.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
4.520 * [taylor]: Taking taylor expansion of 1/3 in x
4.520 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
4.520 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.520 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.520 * [taylor]: Taking taylor expansion of x in x
4.598 * * * [progress]: simplifying candidates
4.599 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (+ 1/3 1/3)
  (+ 1 1)
  (* x x)
  (* (cbrt x) (cbrt x))
  (+ 1 1)
  (+ (log (cbrt x)) (log (cbrt x)))
  (log (* (cbrt x) (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt x) (cbrt x))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 1 1)
  (* (cbrt x) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (* (cbrt x) (cbrt 1))
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (* (cbrt x) 1)
  (* (cbrt (cbrt x)) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt x))
  (* (sqrt (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3))
4.601 * * [simplify]: iteration  0 :  61  enodes  (cost  524 )
4.622 * * [simplify]: iteration  1 :  115  enodes  (cost  417 )
4.654 * * [simplify]: iteration  2 :  381  enodes  (cost  397 )
4.917 * * [simplify]: iteration  3 :  1865  enodes  (cost  379 )
5.940 * * [simplify]: iteration  done :  5000  enodes  (cost  379 )
5.940 * [simplify]: Simplified to:
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  2/3
  2
  (* x x)
  (pow x 2/3)
  2
  (log (pow x 2/3))
  (log (pow x 2/3))
  (exp (pow x 2/3))
  (* x x)
  (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3)))
  (cbrt (pow x 2/3))
  (* x x)
  (fabs (cbrt x))
  (fabs (cbrt x))
  (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3)))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  1
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  1
  (pow x 2/3)
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (cbrt x)
  (cbrt x)
  2/3
  2
  (* (cbrt (pow x 2/3)) (cbrt x))
  (* (cbrt x) (cbrt (sqrt x)))
  (cbrt x)
  (* (cbrt (cbrt x)) (pow (cbrt (cbrt x)) 4))
  (pow (sqrt (cbrt x)) 3)
  (cbrt x)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt x) (cbrt (sqrt x)))
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (pow (sqrt (cbrt x)) 3)
  (pow x 2/3)
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (* (pow (cbrt -1) 2) (cbrt (* x x)))
5.941 * * * [progress]: adding candidates to table
6.167 * * [progress]: iteration 4 / 4
6.167 * * * [progress]: picking best candidate
6.181 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))>
6.181 * * * [progress]: localizing error
6.199 * * * [progress]: generating rewritten candidates
6.199 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
6.202 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.203 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.221 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
6.224 * * * [progress]: generating series expansions
6.224 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
6.224 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
6.225 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
6.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
6.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
6.225 * [taylor]: Taking taylor expansion of 1/3 in y
6.225 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
6.225 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
6.225 * [taylor]: Taking taylor expansion of (sin y) in y
6.225 * [taylor]: Taking taylor expansion of y in y
6.226 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
6.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
6.226 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
6.226 * [taylor]: Taking taylor expansion of 1/3 in y
6.226 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
6.226 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
6.226 * [taylor]: Taking taylor expansion of (sin y) in y
6.226 * [taylor]: Taking taylor expansion of y in y
6.257 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
6.257 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
6.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
6.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
6.258 * [taylor]: Taking taylor expansion of 1/3 in y
6.258 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
6.258 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
6.258 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.258 * [taylor]: Taking taylor expansion of y in y
6.258 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
6.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
6.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
6.258 * [taylor]: Taking taylor expansion of 1/3 in y
6.258 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
6.258 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
6.258 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.259 * [taylor]: Taking taylor expansion of y in y
6.297 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
6.297 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
6.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
6.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
6.297 * [taylor]: Taking taylor expansion of 1/3 in y
6.297 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
6.297 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
6.297 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.297 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.297 * [taylor]: Taking taylor expansion of -1 in y
6.297 * [taylor]: Taking taylor expansion of y in y
6.298 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
6.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
6.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
6.298 * [taylor]: Taking taylor expansion of 1/3 in y
6.298 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
6.298 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
6.298 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.298 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.298 * [taylor]: Taking taylor expansion of -1 in y
6.298 * [taylor]: Taking taylor expansion of y in y
6.341 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.342 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
6.342 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
6.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
6.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
6.342 * [taylor]: Taking taylor expansion of 1/3 in y
6.342 * [taylor]: Taking taylor expansion of (log (sin y)) in y
6.342 * [taylor]: Taking taylor expansion of (sin y) in y
6.342 * [taylor]: Taking taylor expansion of y in y
6.343 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
6.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
6.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
6.343 * [taylor]: Taking taylor expansion of 1/3 in y
6.343 * [taylor]: Taking taylor expansion of (log (sin y)) in y
6.343 * [taylor]: Taking taylor expansion of (sin y) in y
6.343 * [taylor]: Taking taylor expansion of y in y
6.367 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
6.367 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
6.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
6.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
6.367 * [taylor]: Taking taylor expansion of 1/3 in y
6.367 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
6.367 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.367 * [taylor]: Taking taylor expansion of y in y
6.367 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
6.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
6.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
6.367 * [taylor]: Taking taylor expansion of 1/3 in y
6.367 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
6.367 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.367 * [taylor]: Taking taylor expansion of y in y
6.399 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
6.399 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
6.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
6.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
6.399 * [taylor]: Taking taylor expansion of 1/3 in y
6.399 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
6.399 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.399 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.399 * [taylor]: Taking taylor expansion of -1 in y
6.399 * [taylor]: Taking taylor expansion of y in y
6.399 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
6.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
6.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
6.399 * [taylor]: Taking taylor expansion of 1/3 in y
6.399 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
6.399 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.399 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.400 * [taylor]: Taking taylor expansion of -1 in y
6.400 * [taylor]: Taking taylor expansion of y in y
6.437 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.437 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
6.437 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
6.437 * [taylor]: Taking taylor expansion of x in y
6.437 * [taylor]: Taking taylor expansion of (sin y) in y
6.437 * [taylor]: Taking taylor expansion of y in y
6.437 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
6.437 * [taylor]: Taking taylor expansion of x in x
6.437 * [taylor]: Taking taylor expansion of (sin y) in x
6.437 * [taylor]: Taking taylor expansion of y in x
6.437 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
6.437 * [taylor]: Taking taylor expansion of x in x
6.437 * [taylor]: Taking taylor expansion of (sin y) in x
6.437 * [taylor]: Taking taylor expansion of y in x
6.438 * [taylor]: Taking taylor expansion of 0 in y
6.439 * [taylor]: Taking taylor expansion of (sin y) in y
6.439 * [taylor]: Taking taylor expansion of y in y
6.442 * [taylor]: Taking taylor expansion of 0 in y
6.445 * [taylor]: Taking taylor expansion of 0 in y
6.450 * [taylor]: Taking taylor expansion of 0 in y
6.450 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
6.450 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
6.450 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.450 * [taylor]: Taking taylor expansion of y in y
6.450 * [taylor]: Taking taylor expansion of x in y
6.450 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
6.450 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
6.451 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.451 * [taylor]: Taking taylor expansion of y in x
6.451 * [taylor]: Taking taylor expansion of x in x
6.451 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
6.451 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
6.451 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.451 * [taylor]: Taking taylor expansion of y in x
6.451 * [taylor]: Taking taylor expansion of x in x
6.451 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.451 * [taylor]: Taking taylor expansion of y in y
6.454 * [taylor]: Taking taylor expansion of 0 in y
6.456 * [taylor]: Taking taylor expansion of 0 in y
6.460 * [taylor]: Taking taylor expansion of 0 in y
6.461 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
6.461 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
6.461 * [taylor]: Taking taylor expansion of -1 in y
6.461 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
6.461 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.461 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.461 * [taylor]: Taking taylor expansion of -1 in y
6.461 * [taylor]: Taking taylor expansion of y in y
6.461 * [taylor]: Taking taylor expansion of x in y
6.461 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
6.461 * [taylor]: Taking taylor expansion of -1 in x
6.461 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
6.461 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
6.461 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.461 * [taylor]: Taking taylor expansion of -1 in x
6.461 * [taylor]: Taking taylor expansion of y in x
6.461 * [taylor]: Taking taylor expansion of x in x
6.461 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
6.461 * [taylor]: Taking taylor expansion of -1 in x
6.461 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
6.461 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
6.461 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.461 * [taylor]: Taking taylor expansion of -1 in x
6.462 * [taylor]: Taking taylor expansion of y in x
6.462 * [taylor]: Taking taylor expansion of x in x
6.462 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
6.462 * [taylor]: Taking taylor expansion of -1 in y
6.462 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.462 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.462 * [taylor]: Taking taylor expansion of -1 in y
6.462 * [taylor]: Taking taylor expansion of y in y
6.465 * [taylor]: Taking taylor expansion of 0 in y
6.468 * [taylor]: Taking taylor expansion of 0 in y
6.473 * [taylor]: Taking taylor expansion of 0 in y
6.473 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
6.473 * [approximate]: Taking taylor expansion of (pow (sin y) 2) in (y) around 0
6.473 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
6.473 * [taylor]: Taking taylor expansion of (sin y) in y
6.473 * [taylor]: Taking taylor expansion of y in y
6.474 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
6.474 * [taylor]: Taking taylor expansion of (sin y) in y
6.474 * [taylor]: Taking taylor expansion of y in y
6.481 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in (y) around 0
6.481 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
6.481 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.481 * [taylor]: Taking taylor expansion of y in y
6.482 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
6.482 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
6.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.482 * [taylor]: Taking taylor expansion of y in y
6.487 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in (y) around 0
6.487 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
6.487 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.487 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.487 * [taylor]: Taking taylor expansion of -1 in y
6.487 * [taylor]: Taking taylor expansion of y in y
6.487 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
6.487 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
6.487 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.487 * [taylor]: Taking taylor expansion of -1 in y
6.487 * [taylor]: Taking taylor expansion of y in y
6.492 * * * [progress]: simplifying candidates
6.499 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (log (sin y)) 2) 1/3)
  (* (* (log (sin y)) 2) 1/3)
  (* (log (pow (sin y) 2)) 1/3)
  (* (log (pow (sin y) 2)) 1/3)
  (* 2 1/3)
  (pow (pow (sin y) 2) (* (cbrt 1/3) (cbrt 1/3)))
  (pow (pow (sin y) 2) (sqrt 1/3))
  (pow (pow (sin y) 2) 1)
  (pow (pow (* (cbrt (sin y)) (cbrt (sin y))) 2) 1/3)
  (pow (pow (cbrt (sin y)) 2) 1/3)
  (pow (pow (sqrt (sin y)) 2) 1/3)
  (pow (pow (sqrt (sin y)) 2) 1/3)
  (pow (pow 1 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (pow (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2))) 1/3)
  (pow (cbrt (pow (sin y) 2)) 1/3)
  (pow (sqrt (pow (sin y) 2)) 1/3)
  (pow (sqrt (pow (sin y) 2)) 1/3)
  (pow 1 1/3)
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) (/ 2 2)) 1/3)
  (pow (pow (sin y) (/ 2 2)) 1/3)
  (log (pow (pow (sin y) 2) 1/3))
  (exp (pow (pow (sin y) 2) 1/3))
  (* (cbrt (pow (pow (sin y) 2) 1/3)) (cbrt (pow (pow (sin y) 2) 1/3)))
  (cbrt (pow (pow (sin y) 2) 1/3))
  (* (* (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3)) (pow (pow (sin y) 2) 1/3))
  (sqrt (pow (pow (sin y) 2) 1/3))
  (sqrt (pow (pow (sin y) 2) 1/3))
  (pow (pow (sin y) 2) (/ 1/3 2))
  (pow (pow (sin y) 2) (/ 1/3 2))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))
  (+ (+ (log x) (* (* (log (sin y)) 2) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log x) (* (* (log (sin y)) 2) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log x) (* (log (pow (sin y) 2)) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log x) (* (log (pow (sin y) 2)) 1/3)) (log (cbrt (sin y))))
  (+ (+ (log x) (log (pow (pow (sin y) 2) 1/3))) (log (cbrt (sin y))))
  (+ (log (* x (pow (pow (sin y) 2) 1/3))) (log (cbrt (sin y))))
  (log (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (exp (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (* (* (* x x) x) (pow (sin y) 2)) (sin y))
  (* (* (* (* x x) x) (* (* (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3)) (pow (pow (sin y) 2) 1/3))) (sin y))
  (* (* (* (* x (pow (pow (sin y) 2) 1/3)) (* x (pow (pow (sin y) 2) 1/3))) (* x (pow (pow (sin y) 2) 1/3))) (sin y))
  (* (cbrt (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))) (cbrt (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))
  (cbrt (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (* (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))) (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (sqrt (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (sqrt (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))))
  (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sqrt (sin y))))
  (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt 1))
  (* (* x (pow (pow (sin y) 2) 1/3)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (* x (pow (pow (sin y) 2) 1/3)) (sqrt (cbrt (sin y))))
  (* (* x (pow (pow (sin y) 2) 1/3)) 1)
  (* (pow (pow (sin y) 2) 1/3) (cbrt (sin y)))
  (* (log (sin y)) 2)
  (* (log (sin y)) 2)
  (* 1 2)
  (pow (sin y) (* (cbrt 2) (cbrt 2)))
  (pow (sin y) (sqrt 2))
  (pow (sin y) 1)
  (pow (* (cbrt (sin y)) (cbrt (sin y))) 2)
  (pow (cbrt (sin y)) 2)
  (pow (sqrt (sin y)) 2)
  (pow (sqrt (sin y)) 2)
  (pow 1 2)
  (pow (sin y) 2)
  (log (pow (sin y) 2))
  (exp (pow (sin y) 2))
  (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)))
  (cbrt (pow (sin y) 2))
  (* (* (pow (sin y) 2) (pow (sin y) 2)) (pow (sin y) 2))
  (sqrt (pow (sin y) 2))
  (sqrt (pow (sin y) 2))
  (pow (sin y) (/ 2 2))
  (pow (sin y) (/ 2 2))
  (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3)))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (* x y)
  (* x (sin y))
  (* x (sin y))
  (- (+ (pow y 2) (* 2/45 (pow y 6))) (* 1/3 (pow y 4)))
  (pow (sin y) 2)
  (pow (sin y) 2)
6.502 * * [simplify]: iteration  0 :  143  enodes  (cost  924 )
6.536 * * [simplify]: iteration  1 :  359  enodes  (cost  752 )
6.648 * * [simplify]: iteration  2 :  1219  enodes  (cost  671 )
7.083 * * [simplify]: iteration  done :  5000  enodes  (cost  671 )
7.083 * [simplify]: Simplified to:
   (* (log (sin y)) 2/3)
  (* (log (sin y)) 2/3)
  (* (log (sin y)) 2/3)
  (* (log (sin y)) 2/3)
  2/3
  (pow (pow (sin y) 2) (* (cbrt 1/3) (cbrt 1/3)))
  (pow (pow (sin y) 2) (sqrt 1/3))
  (pow (sin y) 2)
  (cbrt (pow (cbrt (sin y)) 4))
  (cbrt (pow (sin y) 2/3))
  (cbrt (sin y))
  (cbrt (sin y))
  1
  (cbrt (pow (sin y) 2))
  (cbrt (sin y))
  (cbrt (sin y))
  (cbrt (pow (pow (sin y) 2) 2/3))
  (cbrt (cbrt (pow (sin y) 2)))
  (cbrt (fabs (sin y)))
  (cbrt (fabs (sin y)))
  1
  (cbrt (pow (sin y) 2))
  (cbrt (sin y))
  (cbrt (sin y))
  (* (log (sin y)) 2/3)
  (exp (cbrt (pow (sin y) 2)))
  (pow (cbrt (pow (sin y) 2)) 2/3)
  (cbrt (cbrt (pow (sin y) 2)))
  (pow (cbrt (pow (sin y) 2)) 3)
  (sqrt (cbrt (pow (sin y) 2)))
  (sqrt (cbrt (pow (sin y) 2)))
  (pow (pow (sin y) 2) 1/6)
  (pow (pow (sin y) 2) 1/6)
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (pow (cbrt (sin y)) 3)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y)))
  (log (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (log (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (log (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (log (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (log (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (log (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (log (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (exp (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (* (* (pow (sin y) 2) (sin y)) (pow x 3))
  (* (sin y) (pow (* x (cbrt (pow (sin y) 2))) 3))
  (* (sin y) (pow (* x (cbrt (pow (sin y) 2))) 3))
  (* (cbrt (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (cbrt (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y)))))
  (cbrt (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (pow (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))) 3)
  (sqrt (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (sqrt (* (* x (cbrt (pow (sin y) 2))) (cbrt (sin y))))
  (* (* (cbrt (pow (sin y) 2/3)) x) (cbrt (pow (sin y) 2)))
  (* (cbrt (sqrt (sin y))) (* x (cbrt (pow (sin y) 2))))
  (* x (cbrt (pow (sin y) 2)))
  (* (* x (cbrt (pow (sin y) 2))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (sqrt (cbrt (sin y))) (* x (cbrt (pow (sin y) 2))))
  (* x (cbrt (pow (sin y) 2)))
  (* (cbrt (sin y)) (cbrt (pow (sin y) 2)))
  (log (pow (sin y) 2))
  (log (pow (sin y) 2))
  2
  (pow (sin y) (* (cbrt 2) (cbrt 2)))
  (pow (sin y) (sqrt 2))
  (sin y)
  (pow (cbrt (sin y)) 4)
  (pow (sin y) 2/3)
  (sin y)
  (sin y)
  1
  (pow (sin y) 2)
  (log (pow (sin y) 2))
  (exp (pow (sin y) 2))
  (pow (pow (sin y) 2) 2/3)
  (cbrt (pow (sin y) 2))
  (pow (pow (sin y) 2) 3)
  (fabs (sin y))
  (fabs (sin y))
  (sin y)
  (sin y)
  (- (+ (pow y 2/3) (* 1/405 (cbrt (pow y 14)))) (* 1/9 (cbrt (pow y 8))))
  (cbrt (pow (sin y) 2))
  (cbrt (pow (sin y) 2))
  (- (cbrt y) (+ (* 1/18 (cbrt (pow y 7))) (* (cbrt (pow y 13)) 1/3240)))
  (cbrt (sin y))
  (cbrt (sin y))
  (* x y)
  (* x (sin y))
  (* x (sin y))
  (- (+ (pow y 2) (* 2/45 (pow y 6))) (* 1/3 (pow y 4)))
  (pow (sin y) 2)
  (pow (sin y) 2)
7.084 * * * [progress]: adding candidates to table
7.327 * [progress]: [Phase 3 of 3] Extracting.
7.327 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (pow (* (pow (pow (sin y) 2) 2/3) (cbrt (pow (sin y) 2))) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (sin y)) 3)) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))>)
7.329 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
7.329 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (pow (* (pow (pow (sin y) 2) 2/3) (cbrt (pow (sin y) 2))) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (sin y)) 3)) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))>)
7.364 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (pow (* (pow (pow (sin y) 2) 2/3) (cbrt (pow (sin y) 2))) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (sin y)) 3)) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))>)
7.398 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (pow (* (pow (pow (sin y) 2) 2/3) (cbrt (pow (sin y) 2))) 1/3)) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (sin y)) 3)) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))>)
7.430 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
7.430 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y)))
7.431 * * [simplify]: iteration  0 :  11  enodes  (cost  18 )
7.431 * * [simplify]: iteration  1 :  15  enodes  (cost  18 )
7.431 * * [simplify]: iteration  done :  15  enodes  (cost  18 )
7.432 * [simplify]: Simplified to:
   (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y)))
9.404 * [regime-testing]: Baseline error score: 0.6099588107918487
9.404 * [regime-testing]: Oracle error score: 0.06458119296171035
9.405 * [regime-testing]: End program error score: 0.6099588107918487