11.136 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* x (sin y)) (* z (cos y)))
0.053 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.054 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
0.055 * * [simplify]: iteration  2 :  15  enodes  (cost  8 )
0.057 * * [simplify]: iteration  done :  15  enodes  (cost  8 )
0.057 * [simplify]: Simplified to:
   (fma 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.075 * * * [progress]: generating rewritten candidates
0.075 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.078 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.083 * * * [progress]: generating series expansions
0.083 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.083 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.083 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.083 * [taylor]: Taking taylor expansion of (cos y) in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of z in y
0.083 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.083 * [taylor]: Taking taylor expansion of (cos y) in z
0.083 * [taylor]: Taking taylor expansion of y in z
0.083 * [taylor]: Taking taylor expansion of z in z
0.083 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.083 * [taylor]: Taking taylor expansion of (cos y) in z
0.083 * [taylor]: Taking taylor expansion of y in z
0.083 * [taylor]: Taking taylor expansion of z in z
0.084 * [taylor]: Taking taylor expansion of 0 in y
0.086 * [taylor]: Taking taylor expansion of (cos y) in y
0.086 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.092 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.092 * [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.093 * [taylor]: Taking taylor expansion of z in y
0.093 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.093 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.093 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.093 * [taylor]: Taking taylor expansion of y in z
0.093 * [taylor]: Taking taylor expansion of z in z
0.093 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.093 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.093 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.093 * [taylor]: Taking taylor expansion of y in z
0.093 * [taylor]: Taking taylor expansion of z in z
0.094 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.104 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.104 * [taylor]: Taking taylor expansion of -1 in y
0.104 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) 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.104 * [taylor]: Taking taylor expansion of z in y
0.105 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.105 * [taylor]: Taking taylor expansion of -1 in z
0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.105 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.105 * [taylor]: Taking taylor expansion of -1 in z
0.105 * [taylor]: Taking taylor expansion of y in z
0.105 * [taylor]: Taking taylor expansion of z in z
0.105 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.105 * [taylor]: Taking taylor expansion of -1 in z
0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.105 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.105 * [taylor]: Taking taylor expansion of -1 in z
0.105 * [taylor]: Taking taylor expansion of y in z
0.105 * [taylor]: Taking taylor expansion of z in z
0.106 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.106 * [taylor]: Taking taylor expansion of -1 in y
0.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.106 * [taylor]: Taking taylor expansion of -1 in y
0.106 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of 0 in y
0.113 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.119 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.119 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
0.119 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.119 * [taylor]: Taking taylor expansion of x in y
0.119 * [taylor]: Taking taylor expansion of (sin y) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (sin y) in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (sin y) in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [taylor]: Taking taylor expansion of (sin y) in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.127 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.132 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
0.132 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.132 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.132 * [taylor]: Taking taylor expansion of y in y
0.132 * [taylor]: Taking taylor expansion of x in y
0.132 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.132 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.132 * [taylor]: Taking taylor expansion of y in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.133 * [taylor]: Taking taylor expansion of y in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.133 * [taylor]: Taking taylor expansion of y in y
0.135 * [taylor]: Taking taylor expansion of 0 in y
0.138 * [taylor]: Taking taylor expansion of 0 in y
0.142 * [taylor]: Taking taylor expansion of 0 in y
0.142 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
0.142 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.142 * [taylor]: Taking taylor expansion of -1 in y
0.142 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.142 * [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.142 * [taylor]: Taking taylor expansion of x in y
0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.143 * [taylor]: Taking taylor expansion of -1 in x
0.143 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.143 * [taylor]: Taking taylor expansion of -1 in x
0.143 * [taylor]: Taking taylor expansion of y in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.143 * [taylor]: Taking taylor expansion of -1 in x
0.143 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.143 * [taylor]: Taking taylor expansion of -1 in x
0.143 * [taylor]: Taking taylor expansion of y in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.143 * [taylor]: Taking taylor expansion of -1 in y
0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.143 * [taylor]: Taking taylor expansion of -1 in y
0.143 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of 0 in y
0.150 * [taylor]: Taking taylor expansion of 0 in y
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.159 * * * [progress]: simplifying candidates
0.159 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* z (cos y)))
  (log1p (* z (cos y)))
  (* 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))
  (expm1 (* x (sin y)))
  (log1p (* x (sin 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 :  65  enodes  (cost  274 )
0.171 * * [simplify]: iteration  1 :  126  enodes  (cost  268 )
0.193 * * [simplify]: iteration  2 :  387  enodes  (cost  236 )
0.294 * * [simplify]: iteration  3 :  767  enodes  (cost  236 )
0.607 * * [simplify]: iteration  4 :  1150  enodes  (cost  236 )
1.152 * * [simplify]: iteration  5 :  2437  enodes  (cost  236 )
2.340 * * [simplify]: iteration  done :  5000  enodes  (cost  236 )
2.340 * [simplify]: Simplified to:
   (expm1 (* z (cos y)))
  (log1p (* z (cos y)))
  (* 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))
  (expm1 (* x (sin y)))
  (log1p (* x (sin 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))
2.340 * * * [progress]: adding candidates to table
2.430 * * [progress]: iteration 2 / 4
2.430 * * * [progress]: picking best candidate
2.449 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y))))>
2.449 * * * [progress]: localizing error
2.462 * * * [progress]: generating rewritten candidates
2.462 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.463 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
2.464 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
2.464 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
2.473 * * * [progress]: generating series expansions
2.474 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.474 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
2.474 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.474 * [taylor]: Taking taylor expansion of 1/3 in y
2.474 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.474 * [taylor]: Taking taylor expansion of (sin y) in y
2.474 * [taylor]: Taking taylor expansion of y in y
2.475 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.475 * [taylor]: Taking taylor expansion of 1/3 in y
2.475 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.475 * [taylor]: Taking taylor expansion of (sin y) in y
2.475 * [taylor]: Taking taylor expansion of y in y
2.499 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.499 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.499 * [taylor]: Taking taylor expansion of 1/3 in y
2.499 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.499 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.499 * [taylor]: Taking taylor expansion of y in y
2.500 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.500 * [taylor]: Taking taylor expansion of 1/3 in y
2.500 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.500 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.500 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.500 * [taylor]: Taking taylor expansion of y in y
2.535 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.535 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.536 * [taylor]: Taking taylor expansion of 1/3 in y
2.536 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.536 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.536 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.536 * [taylor]: Taking taylor expansion of -1 in y
2.536 * [taylor]: Taking taylor expansion of y in y
2.536 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.536 * [taylor]: Taking taylor expansion of 1/3 in y
2.536 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.536 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.536 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.536 * [taylor]: Taking taylor expansion of -1 in y
2.536 * [taylor]: Taking taylor expansion of y in y
2.568 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
2.568 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
2.569 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.569 * [taylor]: Taking taylor expansion of 1/3 in y
2.569 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.569 * [taylor]: Taking taylor expansion of (sin y) in y
2.569 * [taylor]: Taking taylor expansion of y in y
2.570 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.570 * [taylor]: Taking taylor expansion of 1/3 in y
2.570 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.570 * [taylor]: Taking taylor expansion of (sin y) in y
2.570 * [taylor]: Taking taylor expansion of y in y
2.596 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.596 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.596 * [taylor]: Taking taylor expansion of 1/3 in y
2.596 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.596 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.596 * [taylor]: Taking taylor expansion of y in y
2.597 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.597 * [taylor]: Taking taylor expansion of 1/3 in y
2.597 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.597 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.597 * [taylor]: Taking taylor expansion of y in y
2.629 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.629 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.629 * [taylor]: Taking taylor expansion of 1/3 in y
2.629 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.629 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.629 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.629 * [taylor]: Taking taylor expansion of -1 in y
2.629 * [taylor]: Taking taylor expansion of y in y
2.630 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.630 * [taylor]: Taking taylor expansion of 1/3 in y
2.630 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.630 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.630 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.630 * [taylor]: Taking taylor expansion of -1 in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.662 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
2.662 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
2.662 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.662 * [taylor]: Taking taylor expansion of 1/3 in y
2.662 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.662 * [taylor]: Taking taylor expansion of (sin y) in y
2.662 * [taylor]: Taking taylor expansion of y in y
2.663 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
2.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
2.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
2.663 * [taylor]: Taking taylor expansion of 1/3 in y
2.663 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.663 * [taylor]: Taking taylor expansion of (sin y) in y
2.663 * [taylor]: Taking taylor expansion of y in y
2.689 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.690 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.690 * [taylor]: Taking taylor expansion of 1/3 in y
2.690 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.690 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.690 * [taylor]: Taking taylor expansion of y in y
2.690 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
2.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
2.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
2.690 * [taylor]: Taking taylor expansion of 1/3 in y
2.690 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.690 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.690 * [taylor]: Taking taylor expansion of y in y
2.722 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.722 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.722 * [taylor]: Taking taylor expansion of 1/3 in y
2.722 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.722 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.722 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.722 * [taylor]: Taking taylor expansion of -1 in y
2.722 * [taylor]: Taking taylor expansion of y in y
2.723 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
2.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
2.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
2.723 * [taylor]: Taking taylor expansion of 1/3 in y
2.723 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.723 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.723 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.723 * [taylor]: Taking taylor expansion of -1 in y
2.723 * [taylor]: Taking taylor expansion of y in y
2.758 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
2.758 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
2.758 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
2.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
2.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
2.758 * [taylor]: Taking taylor expansion of 1/3 in y
2.758 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
2.758 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.758 * [taylor]: Taking taylor expansion of (sin y) in y
2.758 * [taylor]: Taking taylor expansion of y in y
2.759 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
2.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
2.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
2.759 * [taylor]: Taking taylor expansion of 1/3 in y
2.759 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
2.759 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.759 * [taylor]: Taking taylor expansion of (sin y) in y
2.760 * [taylor]: Taking taylor expansion of y in y
2.786 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
2.786 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.786 * [taylor]: Taking taylor expansion of 1/3 in y
2.786 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.786 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.786 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.786 * [taylor]: Taking taylor expansion of y in y
2.787 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
2.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
2.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
2.787 * [taylor]: Taking taylor expansion of 1/3 in y
2.787 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.787 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.787 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.787 * [taylor]: Taking taylor expansion of y in y
2.825 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
2.825 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.825 * [taylor]: Taking taylor expansion of 1/3 in y
2.825 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.825 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.825 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.825 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.825 * [taylor]: Taking taylor expansion of -1 in y
2.825 * [taylor]: Taking taylor expansion of y in y
2.826 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
2.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
2.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
2.826 * [taylor]: Taking taylor expansion of 1/3 in y
2.826 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.826 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.826 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.826 * [taylor]: Taking taylor expansion of -1 in y
2.826 * [taylor]: Taking taylor expansion of y in y
2.866 * * * [progress]: simplifying candidates
2.868 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (* (cbrt (sin y)) (cbrt (sin y))))
  (log1p (* (cbrt (sin y)) (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.870 * * [simplify]: iteration  0 :  79  enodes  (cost  750 )
2.885 * * [simplify]: iteration  1 :  165  enodes  (cost  668 )
2.932 * * [simplify]: iteration  2 :  551  enodes  (cost  564 )
3.194 * * [simplify]: iteration  3 :  2181  enodes  (cost  541 )
4.364 * * [simplify]: iteration  done :  5000  enodes  (cost  541 )
4.365 * [simplify]: Simplified to:
   (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (cbrt (sin y)))
  (log1p (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)))
  (expm1 (pow (sin y) 2/3))
  (log1p (pow (sin y) 2/3))
  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 (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) (fma 1/3240 (cbrt (pow y 13)) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (fma 1/3240 (cbrt (pow y 13)) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (fma 1/3240 (cbrt (pow y 13)) (* (cbrt (pow y 7)) 1/18)))
  (cbrt (sin y))
  (cbrt (sin y))
  (fma -1/9 (cbrt (pow y 8)) (fma 1/405 (cbrt (pow y 14)) (pow y 2/3)))
  (cbrt (pow (sin y) 2))
  (cbrt (pow (sin y) 2))
4.365 * * * [progress]: adding candidates to table
4.598 * * [progress]: iteration 3 / 4
4.598 * * * [progress]: picking best candidate
4.614 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))>
4.614 * * * [progress]: localizing error
4.627 * * * [progress]: generating rewritten candidates
4.627 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
4.628 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
4.628 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.629 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
4.636 * * * [progress]: generating series expansions
4.636 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
4.637 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.637 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.637 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.637 * [taylor]: Taking taylor expansion of 1/3 in x
4.637 * [taylor]: Taking taylor expansion of (log x) in x
4.637 * [taylor]: Taking taylor expansion of x in x
4.638 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.638 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.638 * [taylor]: Taking taylor expansion of 1/3 in x
4.638 * [taylor]: Taking taylor expansion of (log x) in x
4.638 * [taylor]: Taking taylor expansion of x in x
4.688 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.689 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.689 * [taylor]: Taking taylor expansion of 1/3 in x
4.689 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.689 * [taylor]: Taking taylor expansion of x in x
4.689 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.690 * [taylor]: Taking taylor expansion of 1/3 in x
4.690 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.690 * [taylor]: Taking taylor expansion of x in x
4.744 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.744 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.744 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.744 * [taylor]: Taking taylor expansion of -1 in x
4.745 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.745 * [taylor]: Taking taylor expansion of 1/3 in x
4.745 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.745 * [taylor]: Taking taylor expansion of x in x
4.746 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.746 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.746 * [taylor]: Taking taylor expansion of -1 in x
4.747 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.747 * [taylor]: Taking taylor expansion of 1/3 in x
4.747 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.747 * [taylor]: Taking taylor expansion of x in x
4.811 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
4.811 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.811 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.811 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.811 * [taylor]: Taking taylor expansion of 1/3 in x
4.811 * [taylor]: Taking taylor expansion of (log x) in x
4.811 * [taylor]: Taking taylor expansion of x in x
4.812 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.812 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.812 * [taylor]: Taking taylor expansion of 1/3 in x
4.812 * [taylor]: Taking taylor expansion of (log x) in x
4.812 * [taylor]: Taking taylor expansion of x in x
4.862 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
4.862 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.862 * [taylor]: Taking taylor expansion of 1/3 in x
4.862 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.862 * [taylor]: Taking taylor expansion of x in x
4.863 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.863 * [taylor]: Taking taylor expansion of 1/3 in x
4.863 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.863 * [taylor]: Taking taylor expansion of x in x
4.914 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
4.914 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.914 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.914 * [taylor]: Taking taylor expansion of -1 in x
4.915 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.915 * [taylor]: Taking taylor expansion of 1/3 in x
4.915 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.916 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
4.916 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.916 * [taylor]: Taking taylor expansion of -1 in x
4.916 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.916 * [taylor]: Taking taylor expansion of 1/3 in x
4.916 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.916 * [taylor]: Taking taylor expansion of x in x
4.979 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.979 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
4.979 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.979 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.979 * [taylor]: Taking taylor expansion of 1/3 in x
4.979 * [taylor]: Taking taylor expansion of (log x) in x
4.979 * [taylor]: Taking taylor expansion of x in x
4.980 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.980 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.980 * [taylor]: Taking taylor expansion of 1/3 in x
4.980 * [taylor]: Taking taylor expansion of (log x) in x
4.980 * [taylor]: Taking taylor expansion of x in x
5.032 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
5.032 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.032 * [taylor]: Taking taylor expansion of 1/3 in x
5.033 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.033 * [taylor]: Taking taylor expansion of x in x
5.033 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.033 * [taylor]: Taking taylor expansion of 1/3 in x
5.033 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.033 * [taylor]: Taking taylor expansion of x in x
5.090 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.090 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.090 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.090 * [taylor]: Taking taylor expansion of -1 in x
5.091 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.091 * [taylor]: Taking taylor expansion of 1/3 in x
5.091 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.091 * [taylor]: Taking taylor expansion of x in x
5.092 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.092 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.092 * [taylor]: Taking taylor expansion of -1 in x
5.092 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.092 * [taylor]: Taking taylor expansion of 1/3 in x
5.092 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.092 * [taylor]: Taking taylor expansion of x in x
5.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
5.160 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
5.160 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
5.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
5.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
5.160 * [taylor]: Taking taylor expansion of 1/3 in x
5.160 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
5.160 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.160 * [taylor]: Taking taylor expansion of x in x
5.161 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
5.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
5.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
5.161 * [taylor]: Taking taylor expansion of 1/3 in x
5.161 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
5.161 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.161 * [taylor]: Taking taylor expansion of x in x
5.212 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
5.212 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
5.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
5.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
5.213 * [taylor]: Taking taylor expansion of 1/3 in x
5.213 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
5.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.213 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.213 * [taylor]: Taking taylor expansion of x in x
5.214 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
5.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
5.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
5.214 * [taylor]: Taking taylor expansion of 1/3 in x
5.214 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
5.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.214 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.214 * [taylor]: Taking taylor expansion of x in x
5.274 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
5.274 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
5.274 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
5.274 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.274 * [taylor]: Taking taylor expansion of -1 in x
5.275 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
5.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
5.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
5.275 * [taylor]: Taking taylor expansion of 1/3 in x
5.275 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
5.275 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.275 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.275 * [taylor]: Taking taylor expansion of x in x
5.276 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
5.276 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
5.276 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.276 * [taylor]: Taking taylor expansion of -1 in x
5.276 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
5.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
5.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
5.277 * [taylor]: Taking taylor expansion of 1/3 in x
5.277 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
5.277 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.277 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.277 * [taylor]: Taking taylor expansion of x in x
5.354 * * * [progress]: simplifying candidates
5.356 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (* (cbrt x) (cbrt x)))
  (log1p (* (cbrt x) (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))
5.358 * * [simplify]: iteration  0 :  65  enodes  (cost  554 )
5.370 * * [simplify]: iteration  1 :  122  enodes  (cost  495 )
5.412 * * [simplify]: iteration  2 :  449  enodes  (cost  423 )
5.650 * * [simplify]: iteration  3 :  1993  enodes  (cost  405 )
6.913 * * [simplify]: iteration  done :  5001  enodes  (cost  405 )
6.913 * [simplify]: Simplified to:
   (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (pow x 2/3))
  (log1p (pow x 2/3))
  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)))
  (* (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 x)
  (cbrt x)
  2/3
  2
  (* (cbrt (pow x 2/3)) (cbrt x))
  (* (cbrt x) (cbrt (sqrt x)))
  (cbrt x)
  (* (pow (cbrt (cbrt x)) 4) (cbrt (cbrt x)))
  (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)
  (* (cbrt (* x x)) (pow (cbrt -1) 2))
6.914 * * * [progress]: adding candidates to table
7.163 * * [progress]: iteration 4 / 4
7.164 * * * [progress]: picking best candidate
7.178 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) (* (cbrt x) (sin y))) (* z (cos y))))>
7.178 * * * [progress]: localizing error
7.197 * * * [progress]: generating rewritten candidates
7.198 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
7.200 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
7.203 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
7.203 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
7.205 * * * [progress]: generating series expansions
7.205 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
7.205 * [approximate]: Taking taylor expansion of (pow (pow x 1/9) 4) in (x) around 0
7.205 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x
7.205 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
7.205 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
7.205 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
7.205 * [taylor]: Taking taylor expansion of 1/9 in x
7.205 * [taylor]: Taking taylor expansion of (log x) in x
7.205 * [taylor]: Taking taylor expansion of x in x
7.206 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x
7.206 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
7.206 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
7.206 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
7.206 * [taylor]: Taking taylor expansion of 1/9 in x
7.206 * [taylor]: Taking taylor expansion of (log x) in x
7.206 * [taylor]: Taking taylor expansion of x in x
7.267 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in (x) around 0
7.267 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x
7.267 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
7.267 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
7.267 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
7.267 * [taylor]: Taking taylor expansion of 1/9 in x
7.267 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.267 * [taylor]: Taking taylor expansion of x in x
7.268 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x
7.268 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
7.268 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
7.268 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
7.268 * [taylor]: Taking taylor expansion of 1/9 in x
7.268 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.268 * [taylor]: Taking taylor expansion of x in x
7.334 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 4) in (x) around 0
7.334 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 4) in x
7.334 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
7.334 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
7.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
7.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
7.334 * [taylor]: Taking taylor expansion of 1/3 in x
7.334 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
7.334 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.334 * [taylor]: Taking taylor expansion of -1 in x
7.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
7.338 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
7.338 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
7.338 * [taylor]: Taking taylor expansion of 1/9 in x
7.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.338 * [taylor]: Taking taylor expansion of x in x
7.340 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) 4) in x
7.340 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
7.340 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
7.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
7.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
7.340 * [taylor]: Taking taylor expansion of 1/3 in x
7.340 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
7.340 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.340 * [taylor]: Taking taylor expansion of -1 in x
7.343 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
7.343 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
7.343 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
7.343 * [taylor]: Taking taylor expansion of 1/9 in x
7.343 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.343 * [taylor]: Taking taylor expansion of x in x
7.506 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
7.506 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0
7.506 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
7.506 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
7.506 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
7.506 * [taylor]: Taking taylor expansion of 1/9 in x
7.506 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
7.506 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.506 * [taylor]: Taking taylor expansion of x in x
7.507 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
7.507 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
7.507 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
7.507 * [taylor]: Taking taylor expansion of 1/9 in x
7.507 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
7.507 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.507 * [taylor]: Taking taylor expansion of x in x
7.564 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0
7.564 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
7.564 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
7.564 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
7.564 * [taylor]: Taking taylor expansion of 1/9 in x
7.564 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.564 * [taylor]: Taking taylor expansion of x in x
7.565 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
7.565 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
7.565 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
7.565 * [taylor]: Taking taylor expansion of 1/9 in x
7.565 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.565 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.565 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.565 * [taylor]: Taking taylor expansion of x in x
7.626 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in (x) around 0
7.626 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
7.626 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
7.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
7.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
7.626 * [taylor]: Taking taylor expansion of 1/3 in x
7.626 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
7.626 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
7.626 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.626 * [taylor]: Taking taylor expansion of -1 in x
7.632 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
7.633 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
7.633 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
7.633 * [taylor]: Taking taylor expansion of 1/9 in x
7.633 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.633 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.633 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.633 * [taylor]: Taking taylor expansion of x in x
7.634 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
7.634 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
7.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
7.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
7.634 * [taylor]: Taking taylor expansion of 1/3 in x
7.634 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
7.634 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
7.634 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.634 * [taylor]: Taking taylor expansion of -1 in x
7.640 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
7.640 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
7.640 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
7.640 * [taylor]: Taking taylor expansion of 1/9 in x
7.640 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
7.640 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.640 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.640 * [taylor]: Taking taylor expansion of x in x
7.780 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
7.780 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
7.780 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
7.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
7.780 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
7.780 * [taylor]: Taking taylor expansion of 1/3 in x
7.780 * [taylor]: Taking taylor expansion of (log x) in x
7.780 * [taylor]: Taking taylor expansion of x in x
7.781 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
7.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
7.781 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
7.781 * [taylor]: Taking taylor expansion of 1/3 in x
7.781 * [taylor]: Taking taylor expansion of (log x) in x
7.781 * [taylor]: Taking taylor expansion of x in x
7.828 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
7.828 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.828 * [taylor]: Taking taylor expansion of 1/3 in x
7.828 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.828 * [taylor]: Taking taylor expansion of x in x
7.829 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.829 * [taylor]: Taking taylor expansion of 1/3 in x
7.829 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.829 * [taylor]: Taking taylor expansion of x in x
7.886 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
7.886 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
7.886 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.886 * [taylor]: Taking taylor expansion of -1 in x
7.887 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.887 * [taylor]: Taking taylor expansion of 1/3 in x
7.887 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.887 * [taylor]: Taking taylor expansion of x in x
7.887 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
7.887 * [taylor]: Taking taylor expansion of (cbrt -1) in x
7.888 * [taylor]: Taking taylor expansion of -1 in x
7.888 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
7.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
7.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
7.888 * [taylor]: Taking taylor expansion of 1/3 in x
7.888 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
7.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.888 * [taylor]: Taking taylor expansion of x in x
7.956 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
7.956 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
7.956 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
7.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
7.956 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
7.956 * [taylor]: Taking taylor expansion of 1/3 in x
7.956 * [taylor]: Taking taylor expansion of (log x) in x
7.956 * [taylor]: Taking taylor expansion of x in x
7.957 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
7.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
7.957 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
7.957 * [taylor]: Taking taylor expansion of 1/3 in x
7.957 * [taylor]: Taking taylor expansion of (log x) in x
7.957 * [taylor]: Taking taylor expansion of x in x
8.010 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
8.010 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.010 * [taylor]: Taking taylor expansion of 1/3 in x
8.010 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.010 * [taylor]: Taking taylor expansion of x in x
8.011 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.011 * [taylor]: Taking taylor expansion of 1/3 in x
8.011 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.011 * [taylor]: Taking taylor expansion of x in x
8.061 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
8.061 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.062 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.062 * [taylor]: Taking taylor expansion of -1 in x
8.062 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.062 * [taylor]: Taking taylor expansion of 1/3 in x
8.062 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.062 * [taylor]: Taking taylor expansion of x in x
8.069 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
8.069 * [taylor]: Taking taylor expansion of (cbrt -1) in x
8.069 * [taylor]: Taking taylor expansion of -1 in x
8.070 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
8.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
8.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
8.070 * [taylor]: Taking taylor expansion of 1/3 in x
8.070 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
8.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.070 * [taylor]: Taking taylor expansion of x in x
8.132 * * * [progress]: simplifying candidates
8.133 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (pow (cbrt (cbrt x)) 4))
  (log1p (pow (cbrt (cbrt x)) 4))
  (* (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))
  (expm1 (cbrt (* (cbrt x) (cbrt x))))
  (log1p (cbrt (* (cbrt x) (cbrt x))))
  (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))))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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))
8.135 * * [simplify]: iteration  0 :  91  enodes  (cost  509 )
8.157 * * [simplify]: iteration  1 :  185  enodes  (cost  478 )
8.204 * * [simplify]: iteration  2 :  493  enodes  (cost  417 )
8.427 * * [simplify]: iteration  3 :  1675  enodes  (cost  408 )
9.704 * * [simplify]: iteration  done :  5000  enodes  (cost  408 )
9.704 * [simplify]: Simplified to:
   (expm1 (pow (cbrt (cbrt x)) 4))
  (log1p (pow (cbrt (cbrt x)) 4))
  (* (log (cbrt (cbrt x))) 4)
  (* (log (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))) (cbrt (cbrt (cbrt x)))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (sqrt (cbrt (cbrt x))) 4)
  (pow (sqrt (cbrt (cbrt x))) 4)
  1
  (pow (cbrt (cbrt x)) 4)
  (* (log (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 (pow (cbrt (cbrt x)) 4) 3)
  (sqrt (pow (cbrt (cbrt x)) 4))
  (sqrt (pow (cbrt (cbrt x)) 4))
  (pow (cbrt (cbrt x)) 2)
  (pow (cbrt (cbrt x)) 2)
  (expm1 (cbrt (pow x 2/3)))
  (log1p (cbrt (pow x 2/3)))
  (log (cbrt (pow x 2/3)))
  (exp (cbrt (pow x 2/3)))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (pow x 2/3))))
  (cbrt (cbrt (pow x 2/3)))
  (pow x 2/3)
  (sqrt (cbrt (pow x 2/3)))
  (sqrt (cbrt (pow x 2/3)))
  (expm1 (cbrt x))
  (log1p (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))
  (expm1 (cbrt x))
  (log1p (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)
  (* (pow (pow x 2) 1/9) (cbrt (pow (cbrt -1) 2)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt (- x)) (cbrt -1))
9.705 * * * [progress]: adding candidates to table
9.996 * [progress]: [Phase 3 of 3] Extracting.
9.996 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt 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) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (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))))> #<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) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))>)
9.998 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
9.998 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt 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) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (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))))> #<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) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))>)
10.033 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt 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) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (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))))> #<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) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))>)
10.067 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt 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) (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (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))))> #<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) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (* z (sqrt (cos y))) (sqrt (cos y)))))>)
10.101 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
10.102 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y)))
10.102 * * [simplify]: iteration  0 :  11  enodes  (cost  18 )
10.102 * * [simplify]: iteration  1 :  15  enodes  (cost  18 )
10.103 * * [simplify]: iteration  done :  15  enodes  (cost  18 )
10.103 * [simplify]: Simplified to:
   (+ (* (* x (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* z (cos y)))
12.064 * [regime-testing]: Baseline error score: 0.6099588107918487
12.064 * [regime-testing]: Oracle error score: 0.061830849168736234
12.065 * [regime-testing]: End program error score: 0.6099588107918487