7.536 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.054 * * * [progress]: [2/2] Setting up program.
0.057 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* x (sin y)) (* z (cos y)))
0.058 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.059 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
0.060 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
0.060 * [simplify]: Simplified to:
   (+ (* x (sin y)) (* z (cos y)))
0.060 * * [progress]: iteration 1 / 4
0.060 * * * [progress]: picking best candidate
0.062 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* z (cos y))))>
0.062 * * * [progress]: localizing error
0.072 * * * [progress]: generating rewritten candidates
0.072 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.075 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.079 * * * [progress]: generating series expansions
0.079 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.079 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.079 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.079 * [taylor]: Taking taylor expansion of (cos y) in y
0.079 * [taylor]: Taking taylor expansion of y in y
0.079 * [taylor]: Taking taylor expansion of z in y
0.079 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.079 * [taylor]: Taking taylor expansion of (cos y) in z
0.079 * [taylor]: Taking taylor expansion of y in z
0.079 * [taylor]: Taking taylor expansion of z in z
0.079 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.079 * [taylor]: Taking taylor expansion of (cos y) in z
0.079 * [taylor]: Taking taylor expansion of y in z
0.079 * [taylor]: Taking taylor expansion of z in z
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.082 * [taylor]: Taking taylor expansion of (cos y) in y
0.082 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.089 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.089 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of z in y
0.089 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.089 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.089 * [taylor]: Taking taylor expansion of y in z
0.089 * [taylor]: Taking taylor expansion of z in z
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.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.093 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.100 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.100 * [taylor]: Taking taylor expansion of -1 in y
0.100 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.100 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.101 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.101 * [taylor]: Taking taylor expansion of -1 in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of z in y
0.101 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.101 * [taylor]: Taking taylor expansion of -1 in z
0.101 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.101 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.101 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.101 * [taylor]: Taking taylor expansion of -1 in z
0.101 * [taylor]: Taking taylor expansion of y in z
0.101 * [taylor]: Taking taylor expansion of z in z
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.102 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.102 * [taylor]: Taking taylor expansion of -1 in y
0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.103 * [taylor]: Taking taylor expansion of -1 in y
0.103 * [taylor]: Taking taylor expansion of y in y
0.106 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.115 * [taylor]: Taking taylor expansion of 0 in y
0.115 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.116 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
0.116 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.116 * [taylor]: Taking taylor expansion of x in y
0.116 * [taylor]: Taking taylor expansion of (sin y) in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (sin y) in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (sin y) in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of (sin y) in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of 0 in y
0.124 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [taylor]: Taking taylor expansion of 0 in y
0.129 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
0.129 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.129 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.129 * [taylor]: Taking taylor expansion of y in y
0.129 * [taylor]: Taking taylor expansion of x in y
0.129 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.129 * [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.130 * [taylor]: Taking taylor expansion of x in x
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.130 * [taylor]: Taking taylor expansion of x in x
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.133 * [taylor]: Taking taylor expansion of 0 in y
0.141 * [taylor]: Taking taylor expansion of 0 in y
0.145 * [taylor]: Taking taylor expansion of 0 in y
0.145 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.145 * [taylor]: Taking taylor expansion of -1 in y
0.145 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.145 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.145 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.145 * [taylor]: Taking taylor expansion of -1 in y
0.145 * [taylor]: Taking taylor expansion of y in y
0.145 * [taylor]: Taking taylor expansion of x in y
0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.145 * [taylor]: Taking taylor expansion of -1 in x
0.145 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of y in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.146 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of y in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.146 * [taylor]: Taking taylor expansion of -1 in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.149 * [taylor]: Taking taylor expansion of 0 in y
0.153 * [taylor]: Taking taylor expansion of 0 in y
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.158 * * * [progress]: simplifying candidates
0.159 * [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.161 * * [simplify]: iteration  0 :  61  enodes  (cost  254 )
0.171 * * [simplify]: iteration  1 :  118  enodes  (cost  248 )
0.188 * * [simplify]: iteration  2 :  230  enodes  (cost  216 )
0.241 * * [simplify]: iteration  3 :  300  enodes  (cost  216 )
0.308 * * [simplify]: iteration  4 :  429  enodes  (cost  216 )
0.430 * * [simplify]: iteration  5 :  787  enodes  (cost  216 )
0.791 * * [simplify]: iteration  6 :  1892  enodes  (cost  216 )
1.725 * * [simplify]: iteration  done :  5000  enodes  (cost  216 )
1.726 * [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.726 * * * [progress]: adding candidates to table
1.810 * * [progress]: iteration 2 / 4
1.810 * * * [progress]: picking best candidate
1.832 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))>
1.832 * * * [progress]: localizing error
1.844 * * * [progress]: generating rewritten candidates
1.844 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.845 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
1.846 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
1.846 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
1.854 * * * [progress]: generating series expansions
1.854 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.855 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.855 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.855 * [taylor]: Taking taylor expansion of 1/3 in y
1.855 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.855 * [taylor]: Taking taylor expansion of (sin y) in y
1.855 * [taylor]: Taking taylor expansion of y in y
1.856 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.856 * [taylor]: Taking taylor expansion of 1/3 in y
1.856 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.856 * [taylor]: Taking taylor expansion of (sin y) in y
1.856 * [taylor]: Taking taylor expansion of y in y
1.881 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.881 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.881 * [taylor]: Taking taylor expansion of 1/3 in y
1.881 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.881 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.881 * [taylor]: Taking taylor expansion of y in y
1.882 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.882 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.882 * [taylor]: Taking taylor expansion of 1/3 in y
1.882 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.882 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.919 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
1.919 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.919 * [taylor]: Taking taylor expansion of 1/3 in y
1.919 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.919 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.919 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.919 * [taylor]: Taking taylor expansion of -1 in y
1.919 * [taylor]: Taking taylor expansion of y in y
1.920 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
1.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
1.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
1.920 * [taylor]: Taking taylor expansion of 1/3 in y
1.920 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
1.920 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.920 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.920 * [taylor]: Taking taylor expansion of -1 in y
1.920 * [taylor]: Taking taylor expansion of y in y
1.952 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
1.952 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
1.952 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.952 * [taylor]: Taking taylor expansion of 1/3 in y
1.952 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.952 * [taylor]: Taking taylor expansion of (sin y) in y
1.952 * [taylor]: Taking taylor expansion of y in y
1.953 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
1.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
1.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
1.953 * [taylor]: Taking taylor expansion of 1/3 in y
1.953 * [taylor]: Taking taylor expansion of (log (sin y)) in y
1.953 * [taylor]: Taking taylor expansion of (sin y) in y
1.953 * [taylor]: Taking taylor expansion of y in y
1.984 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
1.984 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.984 * [taylor]: Taking taylor expansion of 1/3 in y
1.984 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.984 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.984 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.984 * [taylor]: Taking taylor expansion of y in y
1.985 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
1.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
1.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
1.985 * [taylor]: Taking taylor expansion of 1/3 in y
1.985 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
1.985 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.985 * [taylor]: Taking taylor expansion of y in y
2.017 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.018 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.018 * [taylor]: Taking taylor expansion of 1/3 in y
2.018 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.018 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.018 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.018 * [taylor]: Taking taylor expansion of -1 in y
2.018 * [taylor]: Taking taylor expansion of y in y
2.018 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.018 * [taylor]: Taking taylor expansion of 1/3 in y
2.018 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.018 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.018 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.018 * [taylor]: Taking taylor expansion of -1 in y
2.018 * [taylor]: Taking taylor expansion of y in y
2.051 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
2.051 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
2.051 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.051 * [taylor]: Taking taylor expansion of 1/3 in y
2.051 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.051 * [taylor]: Taking taylor expansion of (sin y) in y
2.051 * [taylor]: Taking taylor expansion of y in y
2.052 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.052 * [taylor]: Taking taylor expansion of 1/3 in y
2.052 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.052 * [taylor]: Taking taylor expansion of (sin y) in y
2.052 * [taylor]: Taking taylor expansion of y in y
2.083 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.083 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.083 * [taylor]: Taking taylor expansion of 1/3 in y
2.083 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.083 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.083 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.084 * [taylor]: Taking taylor expansion of y in y
2.084 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.084 * [taylor]: Taking taylor expansion of 1/3 in y
2.084 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.084 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.084 * [taylor]: Taking taylor expansion of y in y
2.116 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.116 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.117 * [taylor]: Taking taylor expansion of 1/3 in y
2.117 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.117 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.117 * [taylor]: Taking taylor expansion of -1 in y
2.117 * [taylor]: Taking taylor expansion of y in y
2.117 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.117 * [taylor]: Taking taylor expansion of 1/3 in y
2.117 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.117 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.117 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.117 * [taylor]: Taking taylor expansion of -1 in y
2.117 * [taylor]: Taking taylor expansion of y in y
2.155 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
2.156 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
2.156 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
2.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
2.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
2.156 * [taylor]: Taking taylor expansion of 1/3 in y
2.156 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
2.156 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.156 * [taylor]: Taking taylor expansion of (sin y) in y
2.156 * [taylor]: Taking taylor expansion of y in y
2.157 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
2.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
2.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
2.157 * [taylor]: Taking taylor expansion of 1/3 in y
2.157 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
2.157 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.157 * [taylor]: Taking taylor expansion of (sin y) in y
2.157 * [taylor]: Taking taylor expansion of y in y
2.184 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
2.184 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.185 * [taylor]: Taking taylor expansion of 1/3 in y
2.185 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.185 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.185 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.185 * [taylor]: Taking taylor expansion of y in y
2.185 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.185 * [taylor]: Taking taylor expansion of 1/3 in y
2.185 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.185 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.185 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.185 * [taylor]: Taking taylor expansion of y in y
2.224 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
2.224 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.224 * [taylor]: Taking taylor expansion of 1/3 in y
2.224 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.224 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.224 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.224 * [taylor]: Taking taylor expansion of -1 in y
2.224 * [taylor]: Taking taylor expansion of y in y
2.225 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.225 * [taylor]: Taking taylor expansion of 1/3 in y
2.225 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.225 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.225 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.225 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.225 * [taylor]: Taking taylor expansion of -1 in y
2.225 * [taylor]: Taking taylor expansion of y in y
2.269 * * * [progress]: simplifying candidates
2.270 * [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.272 * * [simplify]: iteration  0 :  75  enodes  (cost  710 )
2.291 * * [simplify]: iteration  1 :  156  enodes  (cost  628 )
2.325 * * [simplify]: iteration  2 :  408  enodes  (cost  534 )
2.573 * * [simplify]: iteration  3 :  1332  enodes  (cost  512 )
4.048 * * [simplify]: iteration  4 :  4365  enodes  (cost  505 )
5.700 * * [simplify]: iteration  done :  5000  enodes  (cost  505 )
5.701 * [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))))
  (* (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 (sqrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  2/3
  2
  (* (cbrt (sin y)) (cbrt (pow (sin y) 2/3)))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (cbrt (sin y))
  (pow (cbrt (cbrt (sin y))) 5)
  (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)))
  (pow (sin y) 2/3)
  (pow (sin y) 2/3)
5.701 * * * [progress]: adding candidates to table
5.927 * * [progress]: iteration 3 / 4
5.927 * * * [progress]: picking best candidate
5.944 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))>
5.944 * * * [progress]: localizing error
5.956 * * * [progress]: generating rewritten candidates
5.956 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
5.957 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
5.957 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
5.958 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.965 * * * [progress]: generating series expansions
5.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
5.965 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
5.966 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.966 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.966 * [taylor]: Taking taylor expansion of 1/3 in x
5.966 * [taylor]: Taking taylor expansion of (log x) in x
5.966 * [taylor]: Taking taylor expansion of x in x
5.966 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.966 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.966 * [taylor]: Taking taylor expansion of 1/3 in x
5.966 * [taylor]: Taking taylor expansion of (log x) in x
5.967 * [taylor]: Taking taylor expansion of x in x
6.020 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
6.020 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.020 * [taylor]: Taking taylor expansion of 1/3 in x
6.020 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.020 * [taylor]: Taking taylor expansion of x in x
6.021 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.021 * [taylor]: Taking taylor expansion of 1/3 in x
6.021 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.021 * [taylor]: Taking taylor expansion of x in x
6.071 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
6.071 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.071 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.071 * [taylor]: Taking taylor expansion of -1 in x
6.072 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.072 * [taylor]: Taking taylor expansion of 1/3 in x
6.072 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.072 * [taylor]: Taking taylor expansion of x in x
6.078 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.078 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.078 * [taylor]: Taking taylor expansion of -1 in x
6.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.079 * [taylor]: Taking taylor expansion of 1/3 in x
6.079 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.079 * [taylor]: Taking taylor expansion of x in x
6.141 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
6.141 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
6.141 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.141 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.141 * [taylor]: Taking taylor expansion of 1/3 in x
6.141 * [taylor]: Taking taylor expansion of (log x) in x
6.141 * [taylor]: Taking taylor expansion of x in x
6.141 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.141 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.141 * [taylor]: Taking taylor expansion of 1/3 in x
6.141 * [taylor]: Taking taylor expansion of (log x) in x
6.141 * [taylor]: Taking taylor expansion of x in x
6.195 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
6.195 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.195 * [taylor]: Taking taylor expansion of 1/3 in x
6.195 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.195 * [taylor]: Taking taylor expansion of x in x
6.196 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.196 * [taylor]: Taking taylor expansion of 1/3 in x
6.196 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.196 * [taylor]: Taking taylor expansion of x in x
6.253 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
6.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.253 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.254 * [taylor]: Taking taylor expansion of -1 in x
6.254 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.254 * [taylor]: Taking taylor expansion of 1/3 in x
6.254 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.254 * [taylor]: Taking taylor expansion of x in x
6.255 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.255 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.255 * [taylor]: Taking taylor expansion of -1 in x
6.256 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.256 * [taylor]: Taking taylor expansion of 1/3 in x
6.256 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.256 * [taylor]: Taking taylor expansion of x in x
6.326 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
6.326 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
6.326 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.326 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.326 * [taylor]: Taking taylor expansion of 1/3 in x
6.326 * [taylor]: Taking taylor expansion of (log x) in x
6.326 * [taylor]: Taking taylor expansion of x in x
6.327 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
6.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
6.327 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
6.327 * [taylor]: Taking taylor expansion of 1/3 in x
6.327 * [taylor]: Taking taylor expansion of (log x) in x
6.327 * [taylor]: Taking taylor expansion of x in x
6.375 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
6.375 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.375 * [taylor]: Taking taylor expansion of 1/3 in x
6.375 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.375 * [taylor]: Taking taylor expansion of x in x
6.376 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.376 * [taylor]: Taking taylor expansion of 1/3 in x
6.376 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.376 * [taylor]: Taking taylor expansion of x in x
6.434 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
6.434 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.435 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.435 * [taylor]: Taking taylor expansion of -1 in x
6.435 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.435 * [taylor]: Taking taylor expansion of 1/3 in x
6.435 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.435 * [taylor]: Taking taylor expansion of x in x
6.436 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
6.436 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.436 * [taylor]: Taking taylor expansion of -1 in x
6.437 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
6.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
6.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
6.437 * [taylor]: Taking taylor expansion of 1/3 in x
6.437 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.437 * [taylor]: Taking taylor expansion of x in x
6.506 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.506 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
6.506 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.506 * [taylor]: Taking taylor expansion of 1/3 in x
6.506 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.506 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.506 * [taylor]: Taking taylor expansion of x in x
6.507 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
6.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
6.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
6.507 * [taylor]: Taking taylor expansion of 1/3 in x
6.507 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
6.507 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.507 * [taylor]: Taking taylor expansion of x in x
6.567 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
6.567 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.567 * [taylor]: Taking taylor expansion of 1/3 in x
6.567 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.567 * [taylor]: Taking taylor expansion of x in x
6.568 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.568 * [taylor]: Taking taylor expansion of 1/3 in x
6.568 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.568 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.568 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.568 * [taylor]: Taking taylor expansion of x in x
6.631 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
6.631 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
6.631 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
6.631 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.631 * [taylor]: Taking taylor expansion of -1 in x
6.632 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.632 * [taylor]: Taking taylor expansion of 1/3 in x
6.632 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.632 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.632 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.632 * [taylor]: Taking taylor expansion of x in x
6.633 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
6.633 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
6.633 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.633 * [taylor]: Taking taylor expansion of -1 in x
6.634 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
6.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
6.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
6.634 * [taylor]: Taking taylor expansion of 1/3 in x
6.634 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
6.634 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.634 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.634 * [taylor]: Taking taylor expansion of x in x
6.713 * * * [progress]: simplifying candidates
6.714 * [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))
6.716 * * [simplify]: iteration  0 :  61  enodes  (cost  524 )
6.734 * * [simplify]: iteration  1 :  115  enodes  (cost  417 )
6.755 * * [simplify]: iteration  2 :  327  enodes  (cost  397 )
6.997 * * [simplify]: iteration  3 :  1169  enodes  (cost  379 )
8.249 * * [simplify]: iteration  4 :  3727  enodes  (cost  374 )
9.812 * * [simplify]: iteration  done :  5000  enodes  (cost  374 )
9.813 * [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)
  (pow (cbrt (cbrt x)) 5)
  (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) (pow x 2/3))
9.813 * * * [progress]: adding candidates to table
10.045 * * [progress]: iteration 4 / 4
10.045 * * * [progress]: picking best candidate
10.060 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) (* (cbrt x) (sin y))) (* z (cos y))))>
10.060 * * * [progress]: localizing error
10.079 * * * [progress]: generating rewritten candidates
10.079 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
10.082 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
10.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
10.085 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
10.087 * * * [progress]: generating series expansions
10.087 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
10.087 * [approximate]: Taking taylor expansion of (pow (pow x 1/9) 4) in (x) around 0
10.087 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x
10.087 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
10.087 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
10.087 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
10.087 * [taylor]: Taking taylor expansion of 1/9 in x
10.087 * [taylor]: Taking taylor expansion of (log x) in x
10.087 * [taylor]: Taking taylor expansion of x in x
10.088 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x
10.088 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
10.088 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
10.088 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
10.088 * [taylor]: Taking taylor expansion of 1/9 in x
10.088 * [taylor]: Taking taylor expansion of (log x) in x
10.088 * [taylor]: Taking taylor expansion of x in x
10.149 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in (x) around 0
10.150 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x
10.150 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
10.150 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
10.150 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
10.150 * [taylor]: Taking taylor expansion of 1/9 in x
10.150 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.150 * [taylor]: Taking taylor expansion of x in x
10.151 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x
10.151 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
10.151 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
10.151 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
10.151 * [taylor]: Taking taylor expansion of 1/9 in x
10.151 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.151 * [taylor]: Taking taylor expansion of x in x
10.217 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 4) in (x) around 0
10.218 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 4) in x
10.218 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
10.218 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
10.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
10.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
10.218 * [taylor]: Taking taylor expansion of 1/3 in x
10.218 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
10.218 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.218 * [taylor]: Taking taylor expansion of -1 in x
10.221 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
10.221 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
10.221 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
10.221 * [taylor]: Taking taylor expansion of 1/9 in x
10.221 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.221 * [taylor]: Taking taylor expansion of x in x
10.223 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 4) in x
10.223 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
10.223 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
10.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
10.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
10.223 * [taylor]: Taking taylor expansion of 1/3 in x
10.223 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
10.223 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.223 * [taylor]: Taking taylor expansion of -1 in x
10.226 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
10.226 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
10.226 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
10.226 * [taylor]: Taking taylor expansion of 1/9 in x
10.226 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.226 * [taylor]: Taking taylor expansion of x in x
10.572 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
10.572 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0
10.572 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
10.572 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
10.572 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
10.572 * [taylor]: Taking taylor expansion of 1/9 in x
10.572 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
10.572 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.572 * [taylor]: Taking taylor expansion of x in x
10.573 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
10.573 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
10.573 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
10.573 * [taylor]: Taking taylor expansion of 1/9 in x
10.573 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
10.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.573 * [taylor]: Taking taylor expansion of x in x
10.628 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0
10.628 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
10.629 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
10.629 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
10.629 * [taylor]: Taking taylor expansion of 1/9 in x
10.629 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
10.629 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.629 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.629 * [taylor]: Taking taylor expansion of x in x
10.630 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
10.630 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
10.630 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
10.630 * [taylor]: Taking taylor expansion of 1/9 in x
10.630 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
10.630 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.630 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.630 * [taylor]: Taking taylor expansion of x in x
10.688 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in (x) around 0
10.688 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
10.688 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
10.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
10.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
10.688 * [taylor]: Taking taylor expansion of 1/3 in x
10.688 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
10.688 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
10.688 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.688 * [taylor]: Taking taylor expansion of -1 in x
10.694 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
10.694 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
10.694 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
10.694 * [taylor]: Taking taylor expansion of 1/9 in x
10.694 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
10.695 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.695 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.695 * [taylor]: Taking taylor expansion of x in x
10.696 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
10.696 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
10.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
10.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
10.696 * [taylor]: Taking taylor expansion of 1/3 in x
10.696 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
10.696 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
10.696 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.696 * [taylor]: Taking taylor expansion of -1 in x
10.702 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
10.702 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
10.702 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
10.702 * [taylor]: Taking taylor expansion of 1/9 in x
10.702 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
10.702 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.702 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.702 * [taylor]: Taking taylor expansion of x in x
10.836 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
10.836 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
10.836 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
10.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
10.836 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
10.836 * [taylor]: Taking taylor expansion of 1/3 in x
10.836 * [taylor]: Taking taylor expansion of (log x) in x
10.836 * [taylor]: Taking taylor expansion of x in x
10.837 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
10.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
10.837 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
10.837 * [taylor]: Taking taylor expansion of 1/3 in x
10.837 * [taylor]: Taking taylor expansion of (log x) in x
10.837 * [taylor]: Taking taylor expansion of x in x
10.885 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
10.885 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.886 * [taylor]: Taking taylor expansion of 1/3 in x
10.887 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.887 * [taylor]: Taking taylor expansion of x in x
10.887 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.888 * [taylor]: Taking taylor expansion of 1/3 in x
10.888 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.888 * [taylor]: Taking taylor expansion of x in x
10.944 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
10.944 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
10.945 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.945 * [taylor]: Taking taylor expansion of -1 in x
10.945 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.945 * [taylor]: Taking taylor expansion of 1/3 in x
10.945 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.945 * [taylor]: Taking taylor expansion of x in x
10.946 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
10.946 * [taylor]: Taking taylor expansion of (cbrt -1) in x
10.946 * [taylor]: Taking taylor expansion of -1 in x
10.947 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
10.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
10.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
10.947 * [taylor]: Taking taylor expansion of 1/3 in x
10.947 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.947 * [taylor]: Taking taylor expansion of x in x
11.016 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
11.016 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
11.016 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.016 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.016 * [taylor]: Taking taylor expansion of 1/3 in x
11.016 * [taylor]: Taking taylor expansion of (log x) in x
11.016 * [taylor]: Taking taylor expansion of x in x
11.016 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
11.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
11.017 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
11.017 * [taylor]: Taking taylor expansion of 1/3 in x
11.017 * [taylor]: Taking taylor expansion of (log x) in x
11.017 * [taylor]: Taking taylor expansion of x in x
11.070 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
11.070 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.070 * [taylor]: Taking taylor expansion of 1/3 in x
11.070 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.070 * [taylor]: Taking taylor expansion of x in x
11.071 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.071 * [taylor]: Taking taylor expansion of 1/3 in x
11.071 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.071 * [taylor]: Taking taylor expansion of x in x
11.127 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
11.127 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.127 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.127 * [taylor]: Taking taylor expansion of -1 in x
11.128 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.128 * [taylor]: Taking taylor expansion of 1/3 in x
11.128 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.128 * [taylor]: Taking taylor expansion of x in x
11.129 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
11.129 * [taylor]: Taking taylor expansion of (cbrt -1) in x
11.129 * [taylor]: Taking taylor expansion of -1 in x
11.129 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
11.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
11.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
11.129 * [taylor]: Taking taylor expansion of 1/3 in x
11.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
11.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.130 * [taylor]: Taking taylor expansion of x in x
11.192 * * * [progress]: simplifying candidates
11.193 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (log (cbrt (cbrt x))) 4)
  (* (log (cbrt (cbrt x))) 4)
  (* 1/3 4)
  (* 1 4)
  (pow (cbrt (cbrt x)) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt x)) (sqrt 4))
  (pow (cbrt (cbrt x)) 1)
  (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (cbrt (cbrt (sqrt x))) 4)
  (pow (cbrt (cbrt (sqrt x))) 4)
  (pow (cbrt (cbrt 1)) 4)
  (pow (cbrt (cbrt x)) 4)
  (pow (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (cbrt (sqrt (cbrt x))) 4)
  (pow (cbrt (sqrt (cbrt x))) 4)
  (pow (cbrt 1) 4)
  (pow (cbrt (cbrt x)) 4)
  (pow (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (sqrt (cbrt (cbrt x))) 4)
  (pow (sqrt (cbrt (cbrt x))) 4)
  (pow 1 4)
  (pow (cbrt (cbrt x)) 4)
  (log (pow (cbrt (cbrt x)) 4))
  (exp (pow (cbrt (cbrt x)) 4))
  (* (cbrt (pow (cbrt (cbrt x)) 4)) (cbrt (pow (cbrt (cbrt x)) 4)))
  (cbrt (pow (cbrt (cbrt x)) 4))
  (* (* (pow (cbrt (cbrt x)) 4) (pow (cbrt (cbrt x)) 4)) (pow (cbrt (cbrt x)) 4))
  (sqrt (pow (cbrt (cbrt x)) 4))
  (sqrt (pow (cbrt (cbrt x)) 4))
  (pow (cbrt (cbrt x)) (/ 4 2))
  (pow (cbrt (cbrt x)) (/ 4 2))
  (log (cbrt (* (cbrt x) (cbrt x))))
  (exp (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (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))
  (pow (pow x 4) 1/9)
  (pow (pow x 4) 1/9)
  (* (pow (pow (cbrt -1) 4) 1/3) (pow (pow x 4) 1/9))
  (pow x 2/9)
  (pow (/ 1 x) -2/9)
  (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow x 2) 1/9))
  (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))
11.201 * * [simplify]: iteration  0 :  85  enodes  (cost  471 )
11.223 * * [simplify]: iteration  1 :  177  enodes  (cost  429 )
11.261 * * [simplify]: iteration  2 :  371  enodes  (cost  383 )
11.341 * * [simplify]: iteration  3 :  868  enodes  (cost  365 )
11.770 * * [simplify]: iteration  4 :  2913  enodes  (cost  360 )
12.854 * * [simplify]: iteration  done :  5000  enodes  (cost  360 )
12.854 * [simplify]: Simplified to:
   (log (pow (cbrt (cbrt x)) 4))
  (log (pow (cbrt (cbrt x)) 4))
  4/3
  4
  (pow (cbrt (cbrt x)) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt x)) 2)
  (cbrt (cbrt x))
  (pow (cbrt (cbrt (pow x 2/3))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (cbrt (cbrt (sqrt x))) 4)
  (pow (cbrt (cbrt (sqrt x))) 4)
  1
  (pow (cbrt (cbrt x)) 4)
  (pow (cbrt (pow (cbrt (cbrt x)) 2)) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (cbrt (sqrt (cbrt x))) 4)
  (pow (cbrt (sqrt (cbrt x))) 4)
  1
  (pow (cbrt (cbrt x)) 4)
  (pow (cbrt (cbrt (cbrt x))) 8)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (cbrt (cbrt x)) 2)
  (pow (cbrt (cbrt x)) 2)
  1
  (pow (cbrt (cbrt x)) 4)
  (log (pow (cbrt (cbrt x)) 4))
  (exp (pow (cbrt (cbrt x)) 4))
  (* (cbrt (pow (cbrt (cbrt x)) 4)) (cbrt (pow (cbrt (cbrt x)) 4)))
  (cbrt (pow (cbrt (cbrt x)) 4))
  (* (cbrt x) x)
  (sqrt (pow (cbrt (cbrt x)) 4))
  (sqrt (pow (cbrt (cbrt x)) 4))
  (pow (cbrt (cbrt x)) 2)
  (pow (cbrt (cbrt x)) 2)
  (log (cbrt (pow x 2/3)))
  (exp (cbrt (pow x 2/3)))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (pow (cbrt (cbrt (pow x 2/3))) 2)
  (cbrt (cbrt (pow x 2/3)))
  (pow x 2/3)
  (sqrt (cbrt (pow x 2/3)))
  (sqrt (cbrt (pow x 2/3)))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (pow (cbrt (cbrt x)) 2)
  (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)
  (pow (cbrt (cbrt x)) 2)
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (pow (pow x 4) 1/9)
  (pow (pow x 4) 1/9)
  (* (cbrt (pow (cbrt -1) 4)) (pow (pow x 4) 1/9))
  (pow x 2/9)
  (pow (/ 1 x) -2/9)
  (* (cbrt (pow (cbrt -1) 2)) (pow (pow x 2) 1/9))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
12.855 * * * [progress]: adding candidates to table
13.114 * [progress]: [Phase 3 of 3] Extracting.
13.114 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))>)
13.116 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
13.116 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))>)
13.148 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))>)
13.181 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))> #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))> #<alt (λ (x y z) (+ (* (* x (pow (pow (sin y) 2) 1/3)) (cbrt (sin y))) (* z (cos y))))>)
13.215 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
13.216 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y)))
13.216 * * [simplify]: iteration  0 :  11  enodes  (cost  18 )
13.216 * * [simplify]: iteration  1 :  15  enodes  (cost  18 )
13.217 * * [simplify]: iteration  done :  15  enodes  (cost  18 )
13.217 * [simplify]: Simplified to:
   (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y)))
15.214 * [regime-testing]: Baseline error score: 0.6099588107918487
15.214 * [regime-testing]: Oracle error score: 0.061830849168736234
15.215 * [regime-testing]: End program error score: 0.6099588107918487