20.792 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
0.030 * * [simplify]: iteration  0 :  10  enodes  (cost  12 )
0.032 * * [simplify]: iteration  1 :  21  enodes  (cost  12 )
0.034 * * [simplify]: iteration  2 :  60  enodes  (cost  12 )
0.045 * * [simplify]: iteration  3 :  163  enodes  (cost  12 )
0.072 * * [simplify]: iteration  4 :  491  enodes  (cost  12 )
0.184 * * [simplify]: iteration  5 :  1152  enodes  (cost  12 )
0.549 * * [simplify]: iteration  6 :  1851  enodes  (cost  12 )
1.356 * * [simplify]: iteration  7 :  2616  enodes  (cost  12 )
2.844 * * [simplify]: iteration  8 :  2807  enodes  (cost  12 )
4.601 * * [simplify]: iteration  9 :  3007  enodes  (cost  12 )
6.770 * * [simplify]: iteration  10 :  3220  enodes  (cost  12 )
9.682 * * [simplify]: iteration  11 :  4538  enodes  (cost  12 )
15.860 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
15.860 * [simplify]: Simplified to:
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
15.860 * * [progress]: iteration 1 / 4
15.860 * * * [progress]: picking best candidate
15.862 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))>
15.862 * * * [progress]: localizing error
15.871 * * * [progress]: generating rewritten candidates
15.871 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
15.885 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
15.894 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
15.946 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
15.951 * * * [progress]: generating series expansions
15.951 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
15.951 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0
15.951 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y
15.951 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
15.951 * [taylor]: Taking taylor expansion of y in y
15.951 * [taylor]: Taking taylor expansion of 0.5 in y
15.951 * [taylor]: Taking taylor expansion of (log y) in y
15.951 * [taylor]: Taking taylor expansion of y in y
15.952 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y
15.952 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
15.952 * [taylor]: Taking taylor expansion of y in y
15.952 * [taylor]: Taking taylor expansion of 0.5 in y
15.952 * [taylor]: Taking taylor expansion of (log y) in y
15.952 * [taylor]: Taking taylor expansion of y in y
16.021 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0
16.021 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y
16.021 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.021 * [taylor]: Taking taylor expansion of y in y
16.021 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
16.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.022 * [taylor]: Taking taylor expansion of y in y
16.022 * [taylor]: Taking taylor expansion of 0.5 in y
16.022 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y
16.022 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.022 * [taylor]: Taking taylor expansion of y in y
16.022 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
16.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.022 * [taylor]: Taking taylor expansion of y in y
16.023 * [taylor]: Taking taylor expansion of 0.5 in y
16.097 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0
16.097 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y
16.097 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
16.097 * [taylor]: Taking taylor expansion of 0.5 in y
16.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.097 * [taylor]: Taking taylor expansion of y in y
16.097 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.097 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.097 * [taylor]: Taking taylor expansion of -1 in y
16.097 * [taylor]: Taking taylor expansion of y in y
16.098 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y
16.098 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
16.098 * [taylor]: Taking taylor expansion of 0.5 in y
16.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.098 * [taylor]: Taking taylor expansion of y in y
16.098 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.098 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.098 * [taylor]: Taking taylor expansion of -1 in y
16.098 * [taylor]: Taking taylor expansion of y in y
16.189 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
16.189 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0
16.189 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y
16.189 * [taylor]: Taking taylor expansion of (+ x y) in y
16.189 * [taylor]: Taking taylor expansion of x in y
16.189 * [taylor]: Taking taylor expansion of y in y
16.189 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
16.189 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
16.189 * [taylor]: Taking taylor expansion of 0.5 in y
16.189 * [taylor]: Taking taylor expansion of (log y) in y
16.189 * [taylor]: Taking taylor expansion of y in y
16.190 * [taylor]: Taking taylor expansion of (* y (log y)) in y
16.190 * [taylor]: Taking taylor expansion of y in y
16.190 * [taylor]: Taking taylor expansion of (log y) in y
16.190 * [taylor]: Taking taylor expansion of y in y
16.190 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x
16.190 * [taylor]: Taking taylor expansion of (+ x y) in x
16.190 * [taylor]: Taking taylor expansion of x in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.190 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
16.190 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
16.190 * [taylor]: Taking taylor expansion of 0.5 in x
16.190 * [taylor]: Taking taylor expansion of (log y) in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.190 * [taylor]: Taking taylor expansion of (* y (log y)) in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.190 * [taylor]: Taking taylor expansion of (log y) in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.190 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x
16.190 * [taylor]: Taking taylor expansion of (+ x y) in x
16.190 * [taylor]: Taking taylor expansion of x in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.190 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
16.190 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
16.190 * [taylor]: Taking taylor expansion of 0.5 in x
16.190 * [taylor]: Taking taylor expansion of (log y) in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.190 * [taylor]: Taking taylor expansion of (* y (log y)) in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.190 * [taylor]: Taking taylor expansion of (log y) in x
16.190 * [taylor]: Taking taylor expansion of y in x
16.191 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y
16.191 * [taylor]: Taking taylor expansion of y in y
16.191 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
16.191 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
16.191 * [taylor]: Taking taylor expansion of 0.5 in y
16.191 * [taylor]: Taking taylor expansion of (log y) in y
16.191 * [taylor]: Taking taylor expansion of y in y
16.191 * [taylor]: Taking taylor expansion of (* y (log y)) in y
16.191 * [taylor]: Taking taylor expansion of y in y
16.191 * [taylor]: Taking taylor expansion of (log y) in y
16.191 * [taylor]: Taking taylor expansion of y in y
16.194 * [taylor]: Taking taylor expansion of 1 in y
16.197 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0
16.198 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
16.198 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
16.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.198 * [taylor]: Taking taylor expansion of y in y
16.198 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.198 * [taylor]: Taking taylor expansion of x in y
16.198 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
16.198 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
16.198 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.198 * [taylor]: Taking taylor expansion of y in y
16.198 * [taylor]: Taking taylor expansion of y in y
16.199 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
16.199 * [taylor]: Taking taylor expansion of 0.5 in y
16.199 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.199 * [taylor]: Taking taylor expansion of y in y
16.200 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
16.200 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
16.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.200 * [taylor]: Taking taylor expansion of y in x
16.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.200 * [taylor]: Taking taylor expansion of x in x
16.200 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
16.200 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
16.200 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.200 * [taylor]: Taking taylor expansion of y in x
16.200 * [taylor]: Taking taylor expansion of y in x
16.200 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
16.200 * [taylor]: Taking taylor expansion of 0.5 in x
16.200 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.200 * [taylor]: Taking taylor expansion of y in x
16.200 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
16.200 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
16.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.200 * [taylor]: Taking taylor expansion of y in x
16.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.200 * [taylor]: Taking taylor expansion of x in x
16.201 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
16.201 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
16.201 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.201 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.201 * [taylor]: Taking taylor expansion of y in x
16.201 * [taylor]: Taking taylor expansion of y in x
16.201 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
16.201 * [taylor]: Taking taylor expansion of 0.5 in x
16.201 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.201 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.201 * [taylor]: Taking taylor expansion of y in x
16.202 * [taylor]: Taking taylor expansion of 1 in y
16.202 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
16.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.202 * [taylor]: Taking taylor expansion of y in y
16.203 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
16.203 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
16.203 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.203 * [taylor]: Taking taylor expansion of y in y
16.203 * [taylor]: Taking taylor expansion of y in y
16.204 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
16.204 * [taylor]: Taking taylor expansion of 0.5 in y
16.204 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.204 * [taylor]: Taking taylor expansion of y in y
16.207 * [taylor]: Taking taylor expansion of 0 in y
16.210 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0
16.210 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y
16.210 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
16.210 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.210 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.210 * [taylor]: Taking taylor expansion of -1 in y
16.210 * [taylor]: Taking taylor expansion of y in y
16.211 * [taylor]: Taking taylor expansion of y in y
16.212 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y
16.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.212 * [taylor]: Taking taylor expansion of y in y
16.213 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y
16.213 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
16.213 * [taylor]: Taking taylor expansion of 0.5 in y
16.213 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.213 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.213 * [taylor]: Taking taylor expansion of -1 in y
16.213 * [taylor]: Taking taylor expansion of y in y
16.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.213 * [taylor]: Taking taylor expansion of x in y
16.213 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
16.213 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
16.213 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.213 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.213 * [taylor]: Taking taylor expansion of -1 in x
16.213 * [taylor]: Taking taylor expansion of y in x
16.213 * [taylor]: Taking taylor expansion of y in x
16.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
16.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.214 * [taylor]: Taking taylor expansion of y in x
16.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
16.214 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
16.214 * [taylor]: Taking taylor expansion of 0.5 in x
16.214 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.214 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.214 * [taylor]: Taking taylor expansion of -1 in x
16.214 * [taylor]: Taking taylor expansion of y in x
16.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.214 * [taylor]: Taking taylor expansion of x in x
16.214 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
16.214 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
16.214 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.214 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.214 * [taylor]: Taking taylor expansion of -1 in x
16.214 * [taylor]: Taking taylor expansion of y in x
16.214 * [taylor]: Taking taylor expansion of y in x
16.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
16.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.214 * [taylor]: Taking taylor expansion of y in x
16.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
16.214 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
16.214 * [taylor]: Taking taylor expansion of 0.5 in x
16.214 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.214 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.214 * [taylor]: Taking taylor expansion of -1 in x
16.214 * [taylor]: Taking taylor expansion of y in x
16.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.215 * [taylor]: Taking taylor expansion of x in x
16.216 * [taylor]: Taking taylor expansion of -1 in y
16.217 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y
16.217 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
16.217 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.217 * [taylor]: Taking taylor expansion of -1 in y
16.217 * [taylor]: Taking taylor expansion of y in y
16.217 * [taylor]: Taking taylor expansion of y in y
16.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y
16.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.219 * [taylor]: Taking taylor expansion of y in y
16.219 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
16.219 * [taylor]: Taking taylor expansion of 0.5 in y
16.219 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.219 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.219 * [taylor]: Taking taylor expansion of -1 in y
16.219 * [taylor]: Taking taylor expansion of y in y
16.223 * [taylor]: Taking taylor expansion of 0 in y
16.230 * * * * [progress]: [ 3 / 4 ] generating series at (2)
16.230 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0
16.230 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z
16.230 * [taylor]: Taking taylor expansion of (+ x y) in z
16.230 * [taylor]: Taking taylor expansion of x in z
16.230 * [taylor]: Taking taylor expansion of y in z
16.230 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z
16.230 * [taylor]: Taking taylor expansion of z in z
16.230 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z
16.230 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
16.230 * [taylor]: Taking taylor expansion of 0.5 in z
16.230 * [taylor]: Taking taylor expansion of (log y) in z
16.230 * [taylor]: Taking taylor expansion of y in z
16.230 * [taylor]: Taking taylor expansion of (* y (log y)) in z
16.230 * [taylor]: Taking taylor expansion of y in z
16.230 * [taylor]: Taking taylor expansion of (log y) in z
16.230 * [taylor]: Taking taylor expansion of y in z
16.230 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y
16.230 * [taylor]: Taking taylor expansion of (+ x y) in y
16.230 * [taylor]: Taking taylor expansion of x in y
16.230 * [taylor]: Taking taylor expansion of y in y
16.230 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y
16.230 * [taylor]: Taking taylor expansion of z in y
16.230 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
16.230 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
16.230 * [taylor]: Taking taylor expansion of 0.5 in y
16.230 * [taylor]: Taking taylor expansion of (log y) in y
16.230 * [taylor]: Taking taylor expansion of y in y
16.231 * [taylor]: Taking taylor expansion of (* y (log y)) in y
16.231 * [taylor]: Taking taylor expansion of y in y
16.231 * [taylor]: Taking taylor expansion of (log y) in y
16.231 * [taylor]: Taking taylor expansion of y in y
16.231 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x
16.231 * [taylor]: Taking taylor expansion of (+ x y) in x
16.231 * [taylor]: Taking taylor expansion of x in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.231 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x
16.231 * [taylor]: Taking taylor expansion of z in x
16.231 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
16.231 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
16.231 * [taylor]: Taking taylor expansion of 0.5 in x
16.231 * [taylor]: Taking taylor expansion of (log y) in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.231 * [taylor]: Taking taylor expansion of (* y (log y)) in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.231 * [taylor]: Taking taylor expansion of (log y) in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.231 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x
16.231 * [taylor]: Taking taylor expansion of (+ x y) in x
16.231 * [taylor]: Taking taylor expansion of x in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.231 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x
16.231 * [taylor]: Taking taylor expansion of z in x
16.231 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
16.231 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
16.231 * [taylor]: Taking taylor expansion of 0.5 in x
16.231 * [taylor]: Taking taylor expansion of (log y) in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.231 * [taylor]: Taking taylor expansion of (* y (log y)) in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.231 * [taylor]: Taking taylor expansion of (log y) in x
16.231 * [taylor]: Taking taylor expansion of y in x
16.232 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y
16.232 * [taylor]: Taking taylor expansion of y in y
16.232 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y
16.232 * [taylor]: Taking taylor expansion of z in y
16.232 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
16.232 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
16.232 * [taylor]: Taking taylor expansion of 0.5 in y
16.232 * [taylor]: Taking taylor expansion of (log y) in y
16.232 * [taylor]: Taking taylor expansion of y in y
16.232 * [taylor]: Taking taylor expansion of (* y (log y)) in y
16.232 * [taylor]: Taking taylor expansion of y in y
16.232 * [taylor]: Taking taylor expansion of (log y) in y
16.232 * [taylor]: Taking taylor expansion of y in y
16.233 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z
16.233 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z
16.233 * [taylor]: Taking taylor expansion of z in z
16.233 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
16.234 * [taylor]: Taking taylor expansion of 0.5 in z
16.234 * [taylor]: Taking taylor expansion of (log y) in z
16.234 * [taylor]: Taking taylor expansion of y in z
16.236 * [taylor]: Taking taylor expansion of 1 in y
16.236 * [taylor]: Taking taylor expansion of 1 in z
16.239 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z
16.239 * [taylor]: Taking taylor expansion of 1 in z
16.239 * [taylor]: Taking taylor expansion of (log y) in z
16.239 * [taylor]: Taking taylor expansion of y in z
16.239 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in (x y z) around 0
16.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z
16.239 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
16.239 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.239 * [taylor]: Taking taylor expansion of y in z
16.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.239 * [taylor]: Taking taylor expansion of x in z
16.239 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z
16.239 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z
16.239 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
16.239 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.240 * [taylor]: Taking taylor expansion of y in z
16.240 * [taylor]: Taking taylor expansion of y in z
16.240 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z
16.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.240 * [taylor]: Taking taylor expansion of z in z
16.240 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z
16.240 * [taylor]: Taking taylor expansion of 0.5 in z
16.240 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
16.240 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.240 * [taylor]: Taking taylor expansion of y in z
16.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y
16.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
16.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.240 * [taylor]: Taking taylor expansion of y in y
16.240 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.240 * [taylor]: Taking taylor expansion of x in y
16.240 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y
16.240 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
16.240 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.241 * [taylor]: Taking taylor expansion of y in y
16.241 * [taylor]: Taking taylor expansion of y in y
16.242 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y
16.242 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.242 * [taylor]: Taking taylor expansion of z in y
16.242 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
16.242 * [taylor]: Taking taylor expansion of 0.5 in y
16.242 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.242 * [taylor]: Taking taylor expansion of y in y
16.242 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x
16.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
16.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.242 * [taylor]: Taking taylor expansion of y in x
16.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.242 * [taylor]: Taking taylor expansion of x in x
16.243 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x
16.243 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
16.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.243 * [taylor]: Taking taylor expansion of y in x
16.243 * [taylor]: Taking taylor expansion of y in x
16.243 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x
16.243 * [taylor]: Taking taylor expansion of (/ 1 z) in x
16.243 * [taylor]: Taking taylor expansion of z in x
16.243 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
16.243 * [taylor]: Taking taylor expansion of 0.5 in x
16.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.243 * [taylor]: Taking taylor expansion of y in x
16.243 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x
16.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
16.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.243 * [taylor]: Taking taylor expansion of y in x
16.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.243 * [taylor]: Taking taylor expansion of x in x
16.243 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x
16.243 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
16.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.243 * [taylor]: Taking taylor expansion of y in x
16.243 * [taylor]: Taking taylor expansion of y in x
16.244 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x
16.244 * [taylor]: Taking taylor expansion of (/ 1 z) in x
16.244 * [taylor]: Taking taylor expansion of z in x
16.244 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
16.244 * [taylor]: Taking taylor expansion of 0.5 in x
16.244 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.244 * [taylor]: Taking taylor expansion of y in x
16.244 * [taylor]: Taking taylor expansion of 1 in y
16.245 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y
16.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.245 * [taylor]: Taking taylor expansion of y in y
16.246 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y
16.246 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
16.246 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.246 * [taylor]: Taking taylor expansion of y in y
16.246 * [taylor]: Taking taylor expansion of y in y
16.247 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y
16.247 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.247 * [taylor]: Taking taylor expansion of z in y
16.247 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
16.247 * [taylor]: Taking taylor expansion of 0.5 in y
16.247 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.247 * [taylor]: Taking taylor expansion of y in y
16.248 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z
16.248 * [taylor]: Taking taylor expansion of (log y) in z
16.248 * [taylor]: Taking taylor expansion of y in z
16.248 * [taylor]: Taking taylor expansion of 1 in z
16.248 * [taylor]: Taking taylor expansion of 1 in z
16.251 * [taylor]: Taking taylor expansion of 0 in y
16.254 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z
16.254 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
16.254 * [taylor]: Taking taylor expansion of 0.5 in z
16.254 * [taylor]: Taking taylor expansion of (log y) in z
16.254 * [taylor]: Taking taylor expansion of y in z
16.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.254 * [taylor]: Taking taylor expansion of z in z
16.255 * [taylor]: Taking taylor expansion of 0 in z
16.255 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y z) around 0
16.255 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z
16.255 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z
16.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.255 * [taylor]: Taking taylor expansion of z in z
16.256 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z
16.256 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
16.256 * [taylor]: Taking taylor expansion of (/ -1 y) in z
16.256 * [taylor]: Taking taylor expansion of -1 in z
16.256 * [taylor]: Taking taylor expansion of y in z
16.256 * [taylor]: Taking taylor expansion of y in z
16.256 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z
16.256 * [taylor]: Taking taylor expansion of (/ 1 y) in z
16.256 * [taylor]: Taking taylor expansion of y in z
16.256 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z
16.256 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z
16.256 * [taylor]: Taking taylor expansion of 0.5 in z
16.256 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
16.256 * [taylor]: Taking taylor expansion of (/ -1 y) in z
16.256 * [taylor]: Taking taylor expansion of -1 in z
16.256 * [taylor]: Taking taylor expansion of y in z
16.256 * [taylor]: Taking taylor expansion of (/ 1 x) in z
16.256 * [taylor]: Taking taylor expansion of x in z
16.256 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y
16.256 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y
16.256 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.256 * [taylor]: Taking taylor expansion of z in y
16.256 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
16.256 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.256 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.256 * [taylor]: Taking taylor expansion of -1 in y
16.256 * [taylor]: Taking taylor expansion of y in y
16.257 * [taylor]: Taking taylor expansion of y in y
16.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y
16.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.258 * [taylor]: Taking taylor expansion of y in y
16.259 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y
16.259 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
16.259 * [taylor]: Taking taylor expansion of 0.5 in y
16.259 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.259 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.259 * [taylor]: Taking taylor expansion of -1 in y
16.259 * [taylor]: Taking taylor expansion of y in y
16.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.259 * [taylor]: Taking taylor expansion of x in y
16.259 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
16.259 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x
16.259 * [taylor]: Taking taylor expansion of (/ 1 z) in x
16.259 * [taylor]: Taking taylor expansion of z in x
16.259 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
16.259 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.259 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.259 * [taylor]: Taking taylor expansion of -1 in x
16.259 * [taylor]: Taking taylor expansion of y in x
16.259 * [taylor]: Taking taylor expansion of y in x
16.260 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
16.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.260 * [taylor]: Taking taylor expansion of y in x
16.260 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
16.260 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
16.260 * [taylor]: Taking taylor expansion of 0.5 in x
16.260 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.260 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.260 * [taylor]: Taking taylor expansion of -1 in x
16.260 * [taylor]: Taking taylor expansion of y in x
16.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.260 * [taylor]: Taking taylor expansion of x in x
16.260 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
16.260 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x
16.260 * [taylor]: Taking taylor expansion of (/ 1 z) in x
16.260 * [taylor]: Taking taylor expansion of z in x
16.260 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
16.260 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.260 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.260 * [taylor]: Taking taylor expansion of -1 in x
16.260 * [taylor]: Taking taylor expansion of y in x
16.260 * [taylor]: Taking taylor expansion of y in x
16.264 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
16.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.264 * [taylor]: Taking taylor expansion of y in x
16.264 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
16.264 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
16.264 * [taylor]: Taking taylor expansion of 0.5 in x
16.264 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.264 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.264 * [taylor]: Taking taylor expansion of -1 in x
16.264 * [taylor]: Taking taylor expansion of y in x
16.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.265 * [taylor]: Taking taylor expansion of x in x
16.266 * [taylor]: Taking taylor expansion of -1 in y
16.267 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y
16.267 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y
16.267 * [taylor]: Taking taylor expansion of (/ 1 z) in y
16.267 * [taylor]: Taking taylor expansion of z in y
16.267 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
16.267 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.267 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.267 * [taylor]: Taking taylor expansion of -1 in y
16.267 * [taylor]: Taking taylor expansion of y in y
16.268 * [taylor]: Taking taylor expansion of y in y
16.269 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y
16.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.269 * [taylor]: Taking taylor expansion of y in y
16.269 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
16.269 * [taylor]: Taking taylor expansion of 0.5 in y
16.269 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.269 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.269 * [taylor]: Taking taylor expansion of -1 in y
16.269 * [taylor]: Taking taylor expansion of y in y
16.271 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z
16.271 * [taylor]: Taking taylor expansion of (log -1) in z
16.271 * [taylor]: Taking taylor expansion of -1 in z
16.271 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z
16.271 * [taylor]: Taking taylor expansion of (log y) in z
16.271 * [taylor]: Taking taylor expansion of y in z
16.271 * [taylor]: Taking taylor expansion of 1 in z
16.271 * [taylor]: Taking taylor expansion of -1 in z
16.274 * [taylor]: Taking taylor expansion of 0 in y
16.279 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z
16.279 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z
16.279 * [taylor]: Taking taylor expansion of (/ 1 z) in z
16.279 * [taylor]: Taking taylor expansion of z in z
16.280 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
16.280 * [taylor]: Taking taylor expansion of 0.5 in z
16.280 * [taylor]: Taking taylor expansion of (log y) in z
16.280 * [taylor]: Taking taylor expansion of y in z
16.280 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z
16.280 * [taylor]: Taking taylor expansion of 0.5 in z
16.280 * [taylor]: Taking taylor expansion of (log -1) in z
16.280 * [taylor]: Taking taylor expansion of -1 in z
16.280 * [taylor]: Taking taylor expansion of 0 in z
16.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
16.282 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0
16.282 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y
16.282 * [taylor]: Taking taylor expansion of x in y
16.282 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
16.282 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
16.282 * [taylor]: Taking taylor expansion of 0.5 in y
16.282 * [taylor]: Taking taylor expansion of (log y) in y
16.282 * [taylor]: Taking taylor expansion of y in y
16.282 * [taylor]: Taking taylor expansion of (* y (log y)) in y
16.283 * [taylor]: Taking taylor expansion of y in y
16.283 * [taylor]: Taking taylor expansion of (log y) in y
16.283 * [taylor]: Taking taylor expansion of y in y
16.283 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x
16.283 * [taylor]: Taking taylor expansion of x in x
16.283 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
16.283 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
16.283 * [taylor]: Taking taylor expansion of 0.5 in x
16.283 * [taylor]: Taking taylor expansion of (log y) in x
16.283 * [taylor]: Taking taylor expansion of y in x
16.283 * [taylor]: Taking taylor expansion of (* y (log y)) in x
16.283 * [taylor]: Taking taylor expansion of y in x
16.283 * [taylor]: Taking taylor expansion of (log y) in x
16.283 * [taylor]: Taking taylor expansion of y in x
16.283 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x
16.283 * [taylor]: Taking taylor expansion of x in x
16.283 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
16.283 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
16.283 * [taylor]: Taking taylor expansion of 0.5 in x
16.283 * [taylor]: Taking taylor expansion of (log y) in x
16.283 * [taylor]: Taking taylor expansion of y in x
16.283 * [taylor]: Taking taylor expansion of (* y (log y)) in x
16.283 * [taylor]: Taking taylor expansion of y in x
16.283 * [taylor]: Taking taylor expansion of (log y) in x
16.283 * [taylor]: Taking taylor expansion of y in x
16.284 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y
16.284 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y
16.284 * [taylor]: Taking taylor expansion of (* y (log y)) in y
16.284 * [taylor]: Taking taylor expansion of y in y
16.284 * [taylor]: Taking taylor expansion of (log y) in y
16.284 * [taylor]: Taking taylor expansion of y in y
16.284 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
16.284 * [taylor]: Taking taylor expansion of 0.5 in y
16.284 * [taylor]: Taking taylor expansion of (log y) in y
16.284 * [taylor]: Taking taylor expansion of y in y
16.287 * [taylor]: Taking taylor expansion of 1 in y
16.290 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0
16.290 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
16.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.290 * [taylor]: Taking taylor expansion of x in y
16.290 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
16.290 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
16.290 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.290 * [taylor]: Taking taylor expansion of y in y
16.290 * [taylor]: Taking taylor expansion of y in y
16.291 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
16.291 * [taylor]: Taking taylor expansion of 0.5 in y
16.291 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.291 * [taylor]: Taking taylor expansion of y in y
16.291 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
16.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.291 * [taylor]: Taking taylor expansion of x in x
16.292 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
16.292 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
16.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.292 * [taylor]: Taking taylor expansion of y in x
16.292 * [taylor]: Taking taylor expansion of y in x
16.292 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
16.292 * [taylor]: Taking taylor expansion of 0.5 in x
16.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.292 * [taylor]: Taking taylor expansion of y in x
16.292 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
16.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.292 * [taylor]: Taking taylor expansion of x in x
16.292 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
16.292 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
16.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.292 * [taylor]: Taking taylor expansion of y in x
16.292 * [taylor]: Taking taylor expansion of y in x
16.293 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
16.293 * [taylor]: Taking taylor expansion of 0.5 in x
16.293 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
16.293 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.293 * [taylor]: Taking taylor expansion of y in x
16.293 * [taylor]: Taking taylor expansion of 1 in y
16.294 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
16.294 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
16.294 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
16.294 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.294 * [taylor]: Taking taylor expansion of y in y
16.294 * [taylor]: Taking taylor expansion of y in y
16.295 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
16.295 * [taylor]: Taking taylor expansion of 0.5 in y
16.295 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.295 * [taylor]: Taking taylor expansion of y in y
16.298 * [taylor]: Taking taylor expansion of 0 in y
16.301 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0
16.301 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y
16.301 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
16.301 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.301 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.301 * [taylor]: Taking taylor expansion of -1 in y
16.301 * [taylor]: Taking taylor expansion of y in y
16.302 * [taylor]: Taking taylor expansion of y in y
16.303 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y
16.303 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
16.303 * [taylor]: Taking taylor expansion of 0.5 in y
16.303 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.303 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.303 * [taylor]: Taking taylor expansion of -1 in y
16.303 * [taylor]: Taking taylor expansion of y in y
16.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.303 * [taylor]: Taking taylor expansion of x in y
16.304 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
16.304 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
16.304 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.304 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.304 * [taylor]: Taking taylor expansion of -1 in x
16.304 * [taylor]: Taking taylor expansion of y in x
16.304 * [taylor]: Taking taylor expansion of y in x
16.304 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
16.304 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
16.304 * [taylor]: Taking taylor expansion of 0.5 in x
16.304 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.304 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.304 * [taylor]: Taking taylor expansion of -1 in x
16.304 * [taylor]: Taking taylor expansion of y in x
16.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.304 * [taylor]: Taking taylor expansion of x in x
16.304 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
16.304 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
16.304 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.304 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.304 * [taylor]: Taking taylor expansion of -1 in x
16.304 * [taylor]: Taking taylor expansion of y in x
16.304 * [taylor]: Taking taylor expansion of y in x
16.304 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
16.304 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
16.304 * [taylor]: Taking taylor expansion of 0.5 in x
16.304 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
16.304 * [taylor]: Taking taylor expansion of (/ -1 y) in x
16.304 * [taylor]: Taking taylor expansion of -1 in x
16.304 * [taylor]: Taking taylor expansion of y in x
16.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.305 * [taylor]: Taking taylor expansion of x in x
16.306 * [taylor]: Taking taylor expansion of -1 in y
16.306 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y
16.306 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
16.306 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.306 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.306 * [taylor]: Taking taylor expansion of -1 in y
16.306 * [taylor]: Taking taylor expansion of y in y
16.307 * [taylor]: Taking taylor expansion of y in y
16.308 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
16.308 * [taylor]: Taking taylor expansion of 0.5 in y
16.308 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
16.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.308 * [taylor]: Taking taylor expansion of -1 in y
16.308 * [taylor]: Taking taylor expansion of y in y
16.312 * [taylor]: Taking taylor expansion of 0 in y
16.317 * * * [progress]: simplifying candidates
16.319 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ y 0.5) (log y))
  (+ (log (+ y 0.5)) (log (log y)))
  (log (* (+ y 0.5) (log y)))
  (exp (* (+ y 0.5) (log y)))
  (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))
  (cbrt (* (+ y 0.5) (log y)))
  (* (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)))
  (sqrt (* (+ y 0.5) (log y)))
  (sqrt (* (+ y 0.5) (log y)))
  (* (sqrt (+ y 0.5)) (sqrt (log y)))
  (* (sqrt (+ y 0.5)) (sqrt (log y)))
  (* (+ y 0.5) (log (* (cbrt y) (cbrt y))))
  (* (+ y 0.5) (log (cbrt y)))
  (* (+ y 0.5) (log (sqrt y)))
  (* (+ y 0.5) (log (sqrt y)))
  (* (+ y 0.5) (log 1))
  (* (+ y 0.5) (log y))
  (* (log (* (cbrt y) (cbrt y))) (+ y 0.5))
  (* (log (cbrt y)) (+ y 0.5))
  (* (log (sqrt y)) (+ y 0.5))
  (* (log (sqrt y)) (+ y 0.5))
  (* (log 1) (+ y 0.5))
  (* (log y) (+ y 0.5))
  (* (+ y 0.5) 1)
  (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y))))
  (* (+ y 0.5) (sqrt (log y)))
  (* (+ y 0.5) 1)
  (* (cbrt (+ y 0.5)) (log y))
  (* (sqrt (+ y 0.5)) (log y))
  (* (+ y 0.5) (log y))
  (* (+ y 0.5) (log y))
  (* (+ (pow y 3) (pow 0.5 3)) (log y))
  (* (- (* y y) (* 0.5 0.5)) (log y))
  (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y))
  (* (exp (- x (* (+ y 0.5) (log y)))) (exp y))
  (log (+ (- x (* (+ y 0.5) (log y))) y))
  (exp (+ (- x (* (+ y 0.5) (log y))) y))
  (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)))
  (cbrt (+ (- x (* (+ y 0.5) (log y))) y))
  (* (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (- x (* (+ y 0.5) (log y))) y))
  (sqrt (+ (- x (* (+ y 0.5) (log y))) y))
  (sqrt (+ (- x (* (+ y 0.5) (log y))) y))
  (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3))
  (+ (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- (* y y) (* (- x (* (+ y 0.5) (log y))) y)))
  (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y))
  (- (- x (* (+ y 0.5) (log y))) y)
  (+ (- x (* (+ y 0.5) (log y))) y)
  (+ (- (* (+ y 0.5) (log y))) y)
  (+ (- (* (+ y 0.5) (log y))) y)
  (- (* (+ y 0.5) (log y)) y)
  (/ (* (/ (exp x) (exp (* (+ y 0.5) (log y)))) (exp y)) (exp z))
  (/ (* (exp (- x (* (+ y 0.5) (log y)))) (exp y)) (exp z))
  (/ (exp (+ (- x (* (+ y 0.5) (log y))) y)) (exp z))
  (log (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)))
  (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (* (* (- (+ (- x (* (+ y 0.5) (log y))) y) z) (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3))
  (+ (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (+ (* z z) (* (+ (- x (* (+ y 0.5) (log y))) y) z)))
  (- z)
  (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z))
  (+ (+ (- x (* (+ y 0.5) (log y))) y) z)
  (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z))
  (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z))
  (- (+ (- x (* (+ y 0.5) (log y))) y) z)
  (- (+ (- x (* (+ y 0.5) (log y))) y) z)
  (- y z)
  (+ (- (* (+ y 0.5) (log y)) y) z)
  (- z)
  (/ (exp x) (exp (* (+ y 0.5) (log y))))
  (log (- x (* (+ y 0.5) (log y))))
  (exp (- x (* (+ y 0.5) (log y))))
  (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y)))))
  (cbrt (- x (* (+ y 0.5) (log y))))
  (* (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (- x (* (+ y 0.5) (log y))))
  (sqrt (- x (* (+ y 0.5) (log y))))
  (sqrt (- x (* (+ y 0.5) (log y))))
  (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3))
  (+ (* x x) (+ (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))) (* x (* (+ y 0.5) (log y)))))
  (- (* (+ y 0.5) (log y)))
  (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))))
  (+ x (* (+ y 0.5) (log y)))
  (- x (* (+ y 0.5) (log (* (cbrt y) (cbrt y)))))
  (- x (* (+ y 0.5) (log (sqrt y))))
  (- x (* (+ y 0.5) (log 1)))
  (- x (* (log (* (cbrt y) (cbrt y))) (+ y 0.5)))
  (- x (* (log (sqrt y)) (+ y 0.5)))
  (- x (* (log 1) (+ y 0.5)))
  (- (* (+ y 0.5) (log y)))
  (+ (* 0.5 (log y)) (* y (log y)))
  (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))
  (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y)))))
  (- (+ x y) (+ (* 0.5 (log y)) (* y (log y))))
  (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))))
  (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1))))
  (- (+ x y) (+ (* 0.5 (log y)) (* y (log y))))
  (- (+ x (+ y (* y (log (/ 1 y))))) z)
  (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y)))
  (- x (+ (* 0.5 (log y)) (* y (log y))))
  (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))
  (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1))))
16.323 * * [simplify]: iteration  0 :  172  enodes  (cost  1294 )
16.354 * * [simplify]: iteration  1 :  452  enodes  (cost  1175 )
16.436 * * [simplify]: iteration  2 :  1474  enodes  (cost  1094 )
16.842 * * [simplify]: iteration  done :  5000  enodes  (cost  1063 )
16.842 * [simplify]: Simplified to:
   (* (log y) (+ y 0.5))
  (log (* (+ y 0.5) (log y)))
  (log (* (+ y 0.5) (log y)))
  (pow y (+ y 0.5))
  (pow (* (log y) (+ y 0.5)) 3)
  (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y))))
  (cbrt (* (+ y 0.5) (log y)))
  (pow (* (log y) (+ y 0.5)) 3)
  (sqrt (* (+ y 0.5) (log y)))
  (sqrt (* (+ y 0.5) (log y)))
  (* (sqrt (+ y 0.5)) (sqrt (log y)))
  (* (sqrt (+ y 0.5)) (sqrt (log y)))
  (* (* 2 (log (cbrt y))) (+ y 0.5))
  (* (+ y 0.5) (log (cbrt y)))
  (* (+ y 0.5) (log (sqrt y)))
  (* (+ y 0.5) (log (sqrt y)))
  0
  (* (log y) (+ y 0.5))
  (* (* 2 (log (cbrt y))) (+ y 0.5))
  (* (+ y 0.5) (log (cbrt y)))
  (* (+ y 0.5) (log (sqrt y)))
  (* (+ y 0.5) (log (sqrt y)))
  0
  (* (log y) (+ y 0.5))
  (+ y 0.5)
  (* (+ y 0.5) (* (cbrt (log y)) (cbrt (log y))))
  (* (+ y 0.5) (sqrt (log y)))
  (+ y 0.5)
  (* (cbrt (+ y 0.5)) (log y))
  (* (sqrt (+ y 0.5)) (log y))
  (* (log y) (+ y 0.5))
  (* (log y) (+ y 0.5))
  (* (+ (pow y 3) (pow 0.5 3)) (log y))
  (* (- (* y y) (* 0.5 0.5)) (log y))
  (/ (exp (+ x y)) (pow y (+ y 0.5)))
  (/ (exp (+ x y)) (pow y (+ y 0.5)))
  (log (+ (- x (* (+ y 0.5) (log y))) y))
  (/ (exp (+ x y)) (pow y (+ y 0.5)))
  (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)))
  (cbrt (+ (- x (* (+ y 0.5) (log y))) y))
  (pow (+ (- x (* (+ y 0.5) (log y))) y) 3)
  (sqrt (+ (- x (* (+ y 0.5) (log y))) y))
  (sqrt (+ (- x (* (+ y 0.5) (log y))) y))
  (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3))
  (+ (* y y) (* (- x (* (log y) (+ y 0.5))) (- (- x (* (+ y 0.5) (log y))) y)))
  (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y))
  (- (- x (* (+ y 0.5) (log y))) y)
  (- (+ x y) (* (log y) (+ y 0.5)))
  (- y (* (log y) (+ y 0.5)))
  (- y (* (log y) (+ y 0.5)))
  (- (* (+ y 0.5) (log y)) y)
  (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (log (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (exp (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (* (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)))
  (cbrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (pow (- (+ (- x (* (+ y 0.5) (log y))) y) z) 3)
  (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z))
  (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3))
  (+ (* (- (+ x y) (* (log y) (+ y 0.5))) (+ (+ (- x (* (+ y 0.5) (log y))) y) z)) (* z z))
  (- z)
  (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z))
  (+ (+ (- x (* (+ y 0.5) (log y))) y) z)
  (+ (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z))
  (- (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt z))
  (- (+ (- x (* (+ y 0.5) (log y))) y) z)
  (- (+ (- x (* (+ y 0.5) (log y))) y) z)
  (- y z)
  (+ (- (* (+ y 0.5) (log y)) y) z)
  (- z)
  (/ (exp x) (pow y (+ y 0.5)))
  (log (- x (* (+ y 0.5) (log y))))
  (/ (exp x) (pow y (+ y 0.5)))
  (* (cbrt (- x (* (+ y 0.5) (log y)))) (cbrt (- x (* (+ y 0.5) (log y)))))
  (cbrt (- x (* (+ y 0.5) (log y))))
  (pow (- x (* (+ y 0.5) (log y))) 3)
  (sqrt (- x (* (+ y 0.5) (log y))))
  (sqrt (- x (* (+ y 0.5) (log y))))
  (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3))
  (+ (* (* (log y) (+ y 0.5)) (+ x (* (+ y 0.5) (log y)))) (* x x))
  (- (* (+ y 0.5) (log y)))
  (- (* x x) (* (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y))))
  (+ x (* (+ y 0.5) (log y)))
  (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))
  (- x (* (+ y 0.5) (log (sqrt y))))
  (- x 0)
  (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))
  (- x (* (+ y 0.5) (log (sqrt y))))
  (- x 0)
  (- (* (+ y 0.5) (log y)))
  (* (log y) (+ y 0.5))
  (- (* (- (log y)) (+ y 0.5)))
  (* (+ y 0.5) (- (log -1) (log (/ -1 y))))
  (- (+ x y) (* (log y) (+ y 0.5)))
  (- (+ x y) (* (log y) (+ y 0.5)))
  (+ (+ y (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) x)
  (- (+ x y) (* (log y) (+ y 0.5)))
  (+ (- y z) (- x (* y (log y))))
  (- (+ x (* y (- (+ (log (/ -1 y)) 1) (log -1)))) z)
  (- x (* (log y) (+ y 0.5)))
  (- x (* (log y) (+ y 0.5)))
  (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1))))
16.843 * * * [progress]: adding candidates to table
17.051 * * [progress]: iteration 2 / 4
17.051 * * * [progress]: picking best candidate
17.067 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) y) z))>
17.067 * * * [progress]: localizing error
17.084 * * * [progress]: generating rewritten candidates
17.084 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1)
17.085 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1)
17.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
17.100 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
17.114 * * * [progress]: generating series expansions
17.114 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1)
17.114 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
17.114 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.114 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.114 * [taylor]: Taking taylor expansion of 1/3 in y
17.114 * [taylor]: Taking taylor expansion of (log y) in y
17.114 * [taylor]: Taking taylor expansion of y in y
17.115 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.115 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.115 * [taylor]: Taking taylor expansion of 1/3 in y
17.115 * [taylor]: Taking taylor expansion of (log y) in y
17.115 * [taylor]: Taking taylor expansion of y in y
17.168 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
17.168 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.168 * [taylor]: Taking taylor expansion of 1/3 in y
17.168 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.168 * [taylor]: Taking taylor expansion of y in y
17.169 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.169 * [taylor]: Taking taylor expansion of 1/3 in y
17.169 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.169 * [taylor]: Taking taylor expansion of y in y
17.219 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
17.219 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.219 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.219 * [taylor]: Taking taylor expansion of -1 in y
17.220 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.220 * [taylor]: Taking taylor expansion of 1/3 in y
17.220 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.220 * [taylor]: Taking taylor expansion of y in y
17.221 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.221 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.221 * [taylor]: Taking taylor expansion of -1 in y
17.222 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.222 * [taylor]: Taking taylor expansion of 1/3 in y
17.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.222 * [taylor]: Taking taylor expansion of y in y
17.289 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1)
17.289 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
17.289 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.289 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.289 * [taylor]: Taking taylor expansion of 1/3 in y
17.289 * [taylor]: Taking taylor expansion of (log y) in y
17.289 * [taylor]: Taking taylor expansion of y in y
17.290 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.290 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.290 * [taylor]: Taking taylor expansion of 1/3 in y
17.290 * [taylor]: Taking taylor expansion of (log y) in y
17.290 * [taylor]: Taking taylor expansion of y in y
17.344 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
17.345 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.345 * [taylor]: Taking taylor expansion of 1/3 in y
17.345 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.345 * [taylor]: Taking taylor expansion of y in y
17.345 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.346 * [taylor]: Taking taylor expansion of 1/3 in y
17.346 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.346 * [taylor]: Taking taylor expansion of y in y
17.401 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
17.402 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.402 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.402 * [taylor]: Taking taylor expansion of -1 in y
17.402 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.402 * [taylor]: Taking taylor expansion of 1/3 in y
17.402 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.402 * [taylor]: Taking taylor expansion of y in y
17.403 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.403 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.403 * [taylor]: Taking taylor expansion of -1 in y
17.404 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.404 * [taylor]: Taking taylor expansion of 1/3 in y
17.404 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.404 * [taylor]: Taking taylor expansion of y in y
17.472 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
17.473 * [approximate]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0
17.473 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y
17.473 * [taylor]: Taking taylor expansion of x in y
17.473 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y
17.473 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y
17.473 * [taylor]: Taking taylor expansion of 3 in y
17.473 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y
17.473 * [taylor]: Taking taylor expansion of y in y
17.473 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
17.473 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.473 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.473 * [taylor]: Taking taylor expansion of 1/3 in y
17.473 * [taylor]: Taking taylor expansion of (log y) in y
17.473 * [taylor]: Taking taylor expansion of y in y
17.474 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y
17.474 * [taylor]: Taking taylor expansion of 1.5 in y
17.474 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
17.474 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.474 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.474 * [taylor]: Taking taylor expansion of 1/3 in y
17.474 * [taylor]: Taking taylor expansion of (log y) in y
17.474 * [taylor]: Taking taylor expansion of y in y
17.475 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x
17.475 * [taylor]: Taking taylor expansion of x in x
17.475 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x
17.475 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x
17.475 * [taylor]: Taking taylor expansion of 3 in x
17.475 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x
17.475 * [taylor]: Taking taylor expansion of y in x
17.475 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
17.475 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
17.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
17.475 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
17.475 * [taylor]: Taking taylor expansion of 1/3 in x
17.475 * [taylor]: Taking taylor expansion of (log y) in x
17.475 * [taylor]: Taking taylor expansion of y in x
17.475 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x
17.475 * [taylor]: Taking taylor expansion of 1.5 in x
17.475 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
17.475 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
17.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
17.475 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
17.475 * [taylor]: Taking taylor expansion of 1/3 in x
17.475 * [taylor]: Taking taylor expansion of (log y) in x
17.475 * [taylor]: Taking taylor expansion of y in x
17.475 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x
17.475 * [taylor]: Taking taylor expansion of x in x
17.475 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x
17.475 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x
17.475 * [taylor]: Taking taylor expansion of 3 in x
17.475 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x
17.475 * [taylor]: Taking taylor expansion of y in x
17.475 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
17.475 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
17.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
17.475 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
17.475 * [taylor]: Taking taylor expansion of 1/3 in x
17.475 * [taylor]: Taking taylor expansion of (log y) in x
17.475 * [taylor]: Taking taylor expansion of y in x
17.476 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x
17.476 * [taylor]: Taking taylor expansion of 1.5 in x
17.476 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
17.476 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
17.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
17.476 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
17.476 * [taylor]: Taking taylor expansion of 1/3 in x
17.476 * [taylor]: Taking taylor expansion of (log y) in x
17.476 * [taylor]: Taking taylor expansion of y in x
17.477 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y
17.477 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y
17.477 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y
17.477 * [taylor]: Taking taylor expansion of 3 in y
17.477 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y
17.477 * [taylor]: Taking taylor expansion of y in y
17.477 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
17.477 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.477 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.477 * [taylor]: Taking taylor expansion of 1/3 in y
17.477 * [taylor]: Taking taylor expansion of (log y) in y
17.477 * [taylor]: Taking taylor expansion of y in y
17.478 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y
17.478 * [taylor]: Taking taylor expansion of 1.5 in y
17.478 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
17.478 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.478 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.478 * [taylor]: Taking taylor expansion of 1/3 in y
17.478 * [taylor]: Taking taylor expansion of (log y) in y
17.478 * [taylor]: Taking taylor expansion of y in y
17.484 * [taylor]: Taking taylor expansion of 1 in y
17.490 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0
17.490 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y
17.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.490 * [taylor]: Taking taylor expansion of x in y
17.490 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y
17.490 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y
17.490 * [taylor]: Taking taylor expansion of 1.5 in y
17.490 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
17.490 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.491 * [taylor]: Taking taylor expansion of 1/3 in y
17.491 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.491 * [taylor]: Taking taylor expansion of y in y
17.491 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y
17.491 * [taylor]: Taking taylor expansion of 3 in y
17.491 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y
17.492 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
17.492 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.492 * [taylor]: Taking taylor expansion of 1/3 in y
17.492 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.492 * [taylor]: Taking taylor expansion of y in y
17.492 * [taylor]: Taking taylor expansion of y in y
17.493 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x
17.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.493 * [taylor]: Taking taylor expansion of x in x
17.493 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x
17.493 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x
17.493 * [taylor]: Taking taylor expansion of 1.5 in x
17.493 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
17.493 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.493 * [taylor]: Taking taylor expansion of 1/3 in x
17.493 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.493 * [taylor]: Taking taylor expansion of y in x
17.493 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x
17.493 * [taylor]: Taking taylor expansion of 3 in x
17.493 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x
17.493 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
17.493 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.493 * [taylor]: Taking taylor expansion of 1/3 in x
17.493 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.493 * [taylor]: Taking taylor expansion of y in x
17.494 * [taylor]: Taking taylor expansion of y in x
17.494 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x
17.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.494 * [taylor]: Taking taylor expansion of x in x
17.494 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x
17.494 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x
17.494 * [taylor]: Taking taylor expansion of 1.5 in x
17.494 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
17.494 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.494 * [taylor]: Taking taylor expansion of 1/3 in x
17.494 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.494 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.494 * [taylor]: Taking taylor expansion of y in x
17.494 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x
17.494 * [taylor]: Taking taylor expansion of 3 in x
17.494 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x
17.495 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
17.495 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.495 * [taylor]: Taking taylor expansion of 1/3 in x
17.495 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.495 * [taylor]: Taking taylor expansion of y in x
17.495 * [taylor]: Taking taylor expansion of y in x
17.495 * [taylor]: Taking taylor expansion of 1 in y
17.496 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y
17.497 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y
17.497 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y
17.497 * [taylor]: Taking taylor expansion of 1.5 in y
17.497 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
17.497 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.497 * [taylor]: Taking taylor expansion of 1/3 in y
17.497 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.497 * [taylor]: Taking taylor expansion of y in y
17.498 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y
17.498 * [taylor]: Taking taylor expansion of 3 in y
17.498 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y
17.498 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
17.498 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.498 * [taylor]: Taking taylor expansion of 1/3 in y
17.498 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.498 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.498 * [taylor]: Taking taylor expansion of y in y
17.499 * [taylor]: Taking taylor expansion of y in y
17.505 * [taylor]: Taking taylor expansion of 0 in y
17.509 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in (x y) around 0
17.509 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y
17.509 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y
17.509 * [taylor]: Taking taylor expansion of 3 in y
17.509 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y
17.509 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
17.509 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.509 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.509 * [taylor]: Taking taylor expansion of -1 in y
17.510 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.510 * [taylor]: Taking taylor expansion of 1/3 in y
17.510 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.510 * [taylor]: Taking taylor expansion of y in y
17.512 * [taylor]: Taking taylor expansion of y in y
17.512 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
17.512 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.512 * [taylor]: Taking taylor expansion of x in y
17.512 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
17.512 * [taylor]: Taking taylor expansion of 1.5 in y
17.512 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
17.512 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.512 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.512 * [taylor]: Taking taylor expansion of -1 in y
17.513 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.513 * [taylor]: Taking taylor expansion of 1/3 in y
17.513 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.513 * [taylor]: Taking taylor expansion of y in y
17.515 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x
17.515 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x
17.515 * [taylor]: Taking taylor expansion of 3 in x
17.515 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x
17.515 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
17.515 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
17.515 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.515 * [taylor]: Taking taylor expansion of -1 in x
17.516 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.516 * [taylor]: Taking taylor expansion of 1/3 in x
17.516 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.516 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.516 * [taylor]: Taking taylor expansion of y in x
17.517 * [taylor]: Taking taylor expansion of y in x
17.517 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x
17.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.517 * [taylor]: Taking taylor expansion of x in x
17.517 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x
17.517 * [taylor]: Taking taylor expansion of 1.5 in x
17.517 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
17.517 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
17.517 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.517 * [taylor]: Taking taylor expansion of -1 in x
17.518 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.518 * [taylor]: Taking taylor expansion of 1/3 in x
17.518 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.518 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.518 * [taylor]: Taking taylor expansion of y in x
17.519 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x
17.519 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x
17.519 * [taylor]: Taking taylor expansion of 3 in x
17.519 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x
17.519 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
17.519 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
17.520 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.520 * [taylor]: Taking taylor expansion of -1 in x
17.520 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.520 * [taylor]: Taking taylor expansion of 1/3 in x
17.520 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.520 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.520 * [taylor]: Taking taylor expansion of y in x
17.521 * [taylor]: Taking taylor expansion of y in x
17.522 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x
17.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.522 * [taylor]: Taking taylor expansion of x in x
17.522 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x
17.522 * [taylor]: Taking taylor expansion of 1.5 in x
17.522 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
17.522 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
17.522 * [taylor]: Taking taylor expansion of (cbrt -1) in x
17.522 * [taylor]: Taking taylor expansion of -1 in x
17.523 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
17.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
17.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
17.523 * [taylor]: Taking taylor expansion of 1/3 in x
17.523 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
17.523 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.523 * [taylor]: Taking taylor expansion of y in x
17.525 * [taylor]: Taking taylor expansion of -1 in y
17.528 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
17.528 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y
17.528 * [taylor]: Taking taylor expansion of 3 in y
17.528 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y
17.528 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
17.528 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.528 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.528 * [taylor]: Taking taylor expansion of -1 in y
17.528 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.529 * [taylor]: Taking taylor expansion of 1/3 in y
17.529 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.529 * [taylor]: Taking taylor expansion of y in y
17.530 * [taylor]: Taking taylor expansion of y in y
17.531 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
17.531 * [taylor]: Taking taylor expansion of 1.5 in y
17.531 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
17.531 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.531 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.531 * [taylor]: Taking taylor expansion of -1 in y
17.531 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.531 * [taylor]: Taking taylor expansion of 1/3 in y
17.531 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.531 * [taylor]: Taking taylor expansion of y in y
17.542 * [taylor]: Taking taylor expansion of 0 in y
17.555 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
17.555 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0
17.555 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
17.555 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
17.555 * [taylor]: Taking taylor expansion of y in y
17.555 * [taylor]: Taking taylor expansion of 0.5 in y
17.555 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
17.555 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.555 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.555 * [taylor]: Taking taylor expansion of 1/3 in y
17.555 * [taylor]: Taking taylor expansion of (log y) in y
17.555 * [taylor]: Taking taylor expansion of y in y
17.556 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
17.556 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
17.556 * [taylor]: Taking taylor expansion of y in y
17.556 * [taylor]: Taking taylor expansion of 0.5 in y
17.556 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
17.556 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
17.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
17.556 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
17.556 * [taylor]: Taking taylor expansion of 1/3 in y
17.556 * [taylor]: Taking taylor expansion of (log y) in y
17.556 * [taylor]: Taking taylor expansion of y in y
17.677 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0
17.677 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
17.677 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
17.677 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.677 * [taylor]: Taking taylor expansion of 1/3 in y
17.677 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.677 * [taylor]: Taking taylor expansion of y in y
17.678 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
17.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.678 * [taylor]: Taking taylor expansion of y in y
17.678 * [taylor]: Taking taylor expansion of 0.5 in y
17.678 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
17.678 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
17.678 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.678 * [taylor]: Taking taylor expansion of 1/3 in y
17.678 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.678 * [taylor]: Taking taylor expansion of y in y
17.679 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
17.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.679 * [taylor]: Taking taylor expansion of y in y
17.679 * [taylor]: Taking taylor expansion of 0.5 in y
17.811 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0
17.811 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
17.811 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
17.811 * [taylor]: Taking taylor expansion of 0.5 in y
17.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.811 * [taylor]: Taking taylor expansion of y in y
17.812 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
17.812 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.812 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.812 * [taylor]: Taking taylor expansion of -1 in y
17.812 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.813 * [taylor]: Taking taylor expansion of 1/3 in y
17.813 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.813 * [taylor]: Taking taylor expansion of y in y
17.814 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
17.814 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
17.814 * [taylor]: Taking taylor expansion of 0.5 in y
17.814 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.814 * [taylor]: Taking taylor expansion of y in y
17.815 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
17.815 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
17.815 * [taylor]: Taking taylor expansion of (cbrt -1) in y
17.815 * [taylor]: Taking taylor expansion of -1 in y
17.815 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
17.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
17.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
17.815 * [taylor]: Taking taylor expansion of 1/3 in y
17.815 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
17.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.815 * [taylor]: Taking taylor expansion of y in y
17.988 * * * [progress]: simplifying candidates
17.989 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (/ (/ (exp x) (exp (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (+ y 0.5) (log (cbrt y)))))
  (/ (exp (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (+ y 0.5) (log (cbrt y)))))
  (log (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))
  (exp (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))
  (* (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))))
  (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))
  (* (* (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))
  (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))
  (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))))
  (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))))
  (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))
  (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (- y 0.5)) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))))
  (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (- y 0.5))
  (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))))
  (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))
  (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- y 0.5)) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))))
  (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- y 0.5))
  (- (pow (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3))
  (+ (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))))
  (- (* (+ y 0.5) (log (cbrt y))))
  (- (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))))
  (+ (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y))))))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt (sqrt y)))))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt 1))))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (sqrt (cbrt y)))))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log 1)))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5)))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt (sqrt y))) (+ y 0.5)))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt 1)) (+ y 0.5)))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5)))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (sqrt (cbrt y))) (+ y 0.5)))
  (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log 1) (+ y 0.5)))
  (- (- (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))
  (- (- (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y))))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))
  (- (* (+ y 0.5) (log (cbrt y))))
  (* (+ y 0.5) (log (cbrt y)))
  (+ (log (+ y 0.5)) (log (log (cbrt y))))
  (log (* (+ y 0.5) (log (cbrt y))))
  (exp (* (+ y 0.5) (log (cbrt y))))
  (* (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))))
  (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y)))))
  (cbrt (* (+ y 0.5) (log (cbrt y))))
  (* (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y)))) (* (+ y 0.5) (log (cbrt y))))
  (sqrt (* (+ y 0.5) (log (cbrt y))))
  (sqrt (* (+ y 0.5) (log (cbrt y))))
  (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y))))
  (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y))))
  (* (+ y 0.5) (log (cbrt (* (cbrt y) (cbrt y)))))
  (* (+ y 0.5) (log (cbrt (cbrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  (* (+ y 0.5) (log (cbrt 1)))
  (* (+ y 0.5) (log (cbrt y)))
  (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* (+ y 0.5) (log (cbrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  (* (+ y 0.5) (log 1))
  (* (+ y 0.5) (log (cbrt y)))
  (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5))
  (* (log (cbrt (cbrt y))) (+ y 0.5))
  (* (log (cbrt (sqrt y))) (+ y 0.5))
  (* (log (cbrt (sqrt y))) (+ y 0.5))
  (* (log (cbrt 1)) (+ y 0.5))
  (* (log (cbrt y)) (+ y 0.5))
  (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5))
  (* (log (cbrt (cbrt y))) (+ y 0.5))
  (* (log (sqrt (cbrt y))) (+ y 0.5))
  (* (log (sqrt (cbrt y))) (+ y 0.5))
  (* (log 1) (+ y 0.5))
  (* (log (cbrt y)) (+ y 0.5))
  (* (+ y 0.5) 1/3)
  (* (+ y 0.5) 1)
  (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* (+ y 0.5) (sqrt (log (cbrt y))))
  (* (+ y 0.5) 1)
  (* (cbrt (+ y 0.5)) (log (cbrt y)))
  (* (sqrt (+ y 0.5)) (log (cbrt y)))
  (* (+ y 0.5) (log (cbrt y)))
  (* (+ y 0.5) (log (cbrt y)))
  (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))
  (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))))
  (- x (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3)))))
  (- x (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))))
  (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3))))
  (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3))))
  (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y))
17.995 * * [simplify]: iteration  0 :  184  enodes  (cost  1745 )
18.033 * * [simplify]: iteration  1 :  519  enodes  (cost  1628 )
18.166 * * [simplify]: iteration  2 :  2160  enodes  (cost  1297 )
18.766 * * [simplify]: iteration  done :  5001  enodes  (cost  1297 )
18.767 * [simplify]: Simplified to:
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (pow (cbrt y) 3)
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (pow (cbrt y) 3)
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (exp (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (exp (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (log (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (exp (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (* (cbrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))) (cbrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5))))))
  (cbrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (pow (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))) 3)
  (sqrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (sqrt (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (- (* (- (pow x 3) (pow (* (+ y 0.5) (* 2/3 (log y))) 3)) (+ (* 0.5 (- 0.5 y)) (* y y))) (* (* (+ (* (+ y 0.5) (* (* 2/3 (log y)) (+ x (* (+ y 0.5) (* 2/3 (log y)))))) (* x x)) (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))))
  (* (+ (* (+ y 0.5) (* (* 2/3 (log y)) (+ x (* (+ y 0.5) (* 2/3 (log y)))))) (* x x)) (+ (* 0.5 (- 0.5 y)) (* y y)))
  (- (* (- (pow x 3) (pow (* (+ y 0.5) (* 2/3 (log y))) 3)) (- y 0.5)) (* (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (+ (* (+ y 0.5) (* (* 2/3 (log y)) (+ x (* (+ y 0.5) (* 2/3 (log y)))))) (* x x))))
  (* (- y 0.5) (+ (* (+ y 0.5) (* (* 2/3 (log y)) (+ x (* (+ y 0.5) (* 2/3 (log y)))))) (* x x)))
  (- (* (- (* x x) (* (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (* 2/3 (log y))))) (+ (* 0.5 (- 0.5 y)) (* y y))) (* (log (cbrt y)) (* (+ x (* (+ y 0.5) (* 2/3 (log y)))) (+ (pow y 3) (pow 0.5 3)))))
  (* (+ x (* (+ y 0.5) (* 2/3 (log y)))) (+ (* 0.5 (- 0.5 y)) (* y y)))
  (- (* (- y 0.5) (- (* x x) (* (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (* 2/3 (log y)))))) (* (* (+ x (* (+ y 0.5) (* 2/3 (log y)))) (- (* y y) (* 0.5 0.5))) (log (cbrt y))))
  (* (+ x (* (+ y 0.5) (* 2/3 (log y)))) (- y 0.5))
  (- (pow (- x (* (+ y 0.5) (* 2/3 (log y)))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3))
  (+ (* (- x (* (+ y 0.5) (* 2/3 (log y)))) (- x (* (+ y 0.5) (* 2/3 (log y))))) (* (+ y 0.5) (* (log (cbrt y)) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))))))
  (- (* (+ y 0.5) (log (cbrt y))))
  (* (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* 3 (* (log (cbrt y)) (+ y 0.5)))))
  (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3))))))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))))
  (- x (+ (* (+ y 0.5) (* 2/3 (log y))) 0))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y)))))))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (sqrt (cbrt y))))))
  (- x (+ (* (+ y 0.5) (* 2/3 (log y))) 0))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3))))))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))))
  (- x (+ (* (+ y 0.5) (* 2/3 (log y))) 0))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y)))))))
  (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (log (sqrt (cbrt y))))))
  (- x (+ (* (+ y 0.5) (* 2/3 (log y))) 0))
  (- (* 3 (* (log (cbrt y)) (+ y 0.5))))
  (- (* 3 (* (log (cbrt y)) (+ y 0.5))))
  (* 3 (* (log (cbrt y)) (+ y 0.5)))
  (- (* (+ y 0.5) (log (cbrt y))))
  (* (log (cbrt y)) (+ y 0.5))
  (log (* (+ y 0.5) (log (cbrt y))))
  (log (* (+ y 0.5) (log (cbrt y))))
  (pow (cbrt y) (+ y 0.5))
  (pow (* (log (cbrt y)) (+ y 0.5)) 3)
  (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y)))))
  (cbrt (* (+ y 0.5) (log (cbrt y))))
  (pow (* (log (cbrt y)) (+ y 0.5)) 3)
  (sqrt (* (+ y 0.5) (log (cbrt y))))
  (sqrt (* (+ y 0.5) (log (cbrt y))))
  (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y))))
  (* (sqrt (+ y 0.5)) (sqrt (log (cbrt y))))
  (* (+ y 0.5) (log (cbrt (pow y 2/3))))
  (* (+ y 0.5) (log (cbrt (cbrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  0
  (* (log (cbrt y)) (+ y 0.5))
  (* (+ y 0.5) (* 2 (log (cbrt (cbrt y)))))
  (* (+ y 0.5) (log (cbrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  0
  (* (log (cbrt y)) (+ y 0.5))
  (* (+ y 0.5) (log (cbrt (pow y 2/3))))
  (* (+ y 0.5) (log (cbrt (cbrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  0
  (* (log (cbrt y)) (+ y 0.5))
  (* (+ y 0.5) (* 2 (log (cbrt (cbrt y)))))
  (* (+ y 0.5) (log (cbrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  0
  (* (log (cbrt y)) (+ y 0.5))
  (* (+ y 0.5) 1/3)
  (+ y 0.5)
  (* (+ y 0.5) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* (+ y 0.5) (sqrt (log (cbrt y))))
  (+ y 0.5)
  (* (cbrt (+ y 0.5)) (log (cbrt y)))
  (* (sqrt (+ y 0.5)) (log (cbrt y)))
  (* (log (cbrt y)) (+ y 0.5))
  (* (log (cbrt y)) (+ y 0.5))
  (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))
  (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))
  (- x (* (* (- (log y)) -1/3) (+ 1.5 (* 3 y))))
  (- (- x (* (log (* (cbrt (- y)) (cbrt -1))) 1.5)) (* 3 (* y (log (* (cbrt (- y)) (cbrt -1))))))
  (* (log (cbrt y)) (+ y 0.5))
  (* -1/3 (* (- (log y)) (+ y 0.5)))
  (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5))
18.767 * * * [progress]: adding candidates to table
19.096 * * [progress]: iteration 3 / 4
19.096 * * * [progress]: picking best candidate
19.110 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (pow y 2/3)) (cbrt (cbrt y)))))) y) z))>
19.110 * * * [progress]: localizing error
19.136 * * * [progress]: generating rewritten candidates
19.136 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1 1)
19.137 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 2)
19.138 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1)
19.139 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2 1)
19.140 * * * [progress]: generating series expansions
19.140 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1 1)
19.141 * [approximate]: Taking taylor expansion of (pow y 2/3) in (y) around 0
19.141 * [taylor]: Taking taylor expansion of (pow y 2/3) in y
19.141 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log y))) in y
19.141 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y
19.141 * [taylor]: Taking taylor expansion of 2/3 in y
19.141 * [taylor]: Taking taylor expansion of (log y) in y
19.141 * [taylor]: Taking taylor expansion of y in y
19.142 * [taylor]: Taking taylor expansion of (pow y 2/3) in y
19.142 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log y))) in y
19.142 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y
19.142 * [taylor]: Taking taylor expansion of 2/3 in y
19.142 * [taylor]: Taking taylor expansion of (log y) in y
19.142 * [taylor]: Taking taylor expansion of y in y
19.193 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 2/3) in (y) around 0
19.194 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2/3) in y
19.194 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 y)))) in y
19.194 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y
19.194 * [taylor]: Taking taylor expansion of 2/3 in y
19.194 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.194 * [taylor]: Taking taylor expansion of y in y
19.194 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 2/3) in y
19.194 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 y)))) in y
19.195 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y
19.195 * [taylor]: Taking taylor expansion of 2/3 in y
19.195 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.195 * [taylor]: Taking taylor expansion of y in y
19.251 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 2/3) in (y) around 0
19.251 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2/3) in y
19.251 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 y)))) in y
19.251 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y
19.251 * [taylor]: Taking taylor expansion of 2/3 in y
19.252 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
19.252 * [taylor]: Taking taylor expansion of (/ -1 y) in y
19.252 * [taylor]: Taking taylor expansion of -1 in y
19.252 * [taylor]: Taking taylor expansion of y in y
19.253 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 2/3) in y
19.253 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 y)))) in y
19.253 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y
19.253 * [taylor]: Taking taylor expansion of 2/3 in y
19.253 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
19.253 * [taylor]: Taking taylor expansion of (/ -1 y) in y
19.253 * [taylor]: Taking taylor expansion of -1 in y
19.253 * [taylor]: Taking taylor expansion of y in y
19.316 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 2)
19.316 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
19.316 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
19.317 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
19.317 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
19.317 * [taylor]: Taking taylor expansion of 1/9 in y
19.317 * [taylor]: Taking taylor expansion of (log y) in y
19.317 * [taylor]: Taking taylor expansion of y in y
19.317 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
19.317 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
19.317 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
19.317 * [taylor]: Taking taylor expansion of 1/9 in y
19.317 * [taylor]: Taking taylor expansion of (log y) in y
19.317 * [taylor]: Taking taylor expansion of y in y
19.365 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
19.365 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
19.365 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
19.365 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
19.365 * [taylor]: Taking taylor expansion of 1/9 in y
19.365 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.366 * [taylor]: Taking taylor expansion of y in y
19.366 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
19.366 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
19.366 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
19.366 * [taylor]: Taking taylor expansion of 1/9 in y
19.366 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.367 * [taylor]: Taking taylor expansion of y in y
19.424 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
19.424 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
19.424 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
19.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
19.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
19.424 * [taylor]: Taking taylor expansion of 1/3 in y
19.424 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
19.424 * [taylor]: Taking taylor expansion of (cbrt -1) in y
19.424 * [taylor]: Taking taylor expansion of -1 in y
19.428 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
19.428 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
19.428 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
19.428 * [taylor]: Taking taylor expansion of 1/9 in y
19.428 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.428 * [taylor]: Taking taylor expansion of y in y
19.429 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
19.429 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
19.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
19.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
19.429 * [taylor]: Taking taylor expansion of 1/3 in y
19.429 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
19.429 * [taylor]: Taking taylor expansion of (cbrt -1) in y
19.429 * [taylor]: Taking taylor expansion of -1 in y
19.432 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
19.432 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
19.432 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
19.432 * [taylor]: Taking taylor expansion of 1/9 in y
19.432 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.432 * [taylor]: Taking taylor expansion of y in y
19.561 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 1)
19.562 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0
19.562 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
19.562 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
19.562 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
19.562 * [taylor]: Taking taylor expansion of 1/9 in y
19.562 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
19.562 * [taylor]: Taking taylor expansion of (pow y 2) in y
19.562 * [taylor]: Taking taylor expansion of y in y
19.563 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y
19.563 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y
19.563 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y
19.563 * [taylor]: Taking taylor expansion of 1/9 in y
19.563 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
19.563 * [taylor]: Taking taylor expansion of (pow y 2) in y
19.563 * [taylor]: Taking taylor expansion of y in y
19.615 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0
19.615 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
19.615 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
19.615 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
19.615 * [taylor]: Taking taylor expansion of 1/9 in y
19.615 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
19.615 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
19.615 * [taylor]: Taking taylor expansion of (pow y 2) in y
19.615 * [taylor]: Taking taylor expansion of y in y
19.622 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y
19.622 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y
19.622 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y
19.622 * [taylor]: Taking taylor expansion of 1/9 in y
19.622 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
19.622 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
19.622 * [taylor]: Taking taylor expansion of (pow y 2) in y
19.622 * [taylor]: Taking taylor expansion of y in y
19.677 * [approximate]: Taking taylor expansion of (pow (/ (pow -1 2) (pow y 2)) 1/9) in (y) around 0
19.677 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2) (pow y 2)) 1/9) in y
19.677 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ (pow -1 2) (pow y 2))))) in y
19.677 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ (pow -1 2) (pow y 2)))) in y
19.677 * [taylor]: Taking taylor expansion of 1/9 in y
19.677 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2) (pow y 2))) in y
19.677 * [taylor]: Taking taylor expansion of (/ (pow -1 2) (pow y 2)) in y
19.677 * [taylor]: Taking taylor expansion of (pow -1 2) in y
19.677 * [taylor]: Taking taylor expansion of -1 in y
19.677 * [taylor]: Taking taylor expansion of (pow y 2) in y
19.677 * [taylor]: Taking taylor expansion of y in y
19.678 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2) (pow y 2)) 1/9) in y
19.678 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ (pow -1 2) (pow y 2))))) in y
19.678 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ (pow -1 2) (pow y 2)))) in y
19.678 * [taylor]: Taking taylor expansion of 1/9 in y
19.678 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2) (pow y 2))) in y
19.678 * [taylor]: Taking taylor expansion of (/ (pow -1 2) (pow y 2)) in y
19.678 * [taylor]: Taking taylor expansion of (pow -1 2) in y
19.678 * [taylor]: Taking taylor expansion of -1 in y
19.678 * [taylor]: Taking taylor expansion of (pow y 2) in y
19.678 * [taylor]: Taking taylor expansion of y in y
19.743 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2 1)
19.743 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
19.743 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
19.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
19.743 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
19.743 * [taylor]: Taking taylor expansion of 1/3 in y
19.743 * [taylor]: Taking taylor expansion of (log y) in y
19.743 * [taylor]: Taking taylor expansion of y in y
19.744 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
19.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
19.744 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
19.744 * [taylor]: Taking taylor expansion of 1/3 in y
19.744 * [taylor]: Taking taylor expansion of (log y) in y
19.744 * [taylor]: Taking taylor expansion of y in y
19.798 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
19.798 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
19.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
19.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
19.798 * [taylor]: Taking taylor expansion of 1/3 in y
19.798 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.798 * [taylor]: Taking taylor expansion of y in y
19.799 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
19.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
19.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
19.799 * [taylor]: Taking taylor expansion of 1/3 in y
19.799 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.799 * [taylor]: Taking taylor expansion of y in y
19.856 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
19.856 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
19.856 * [taylor]: Taking taylor expansion of (cbrt -1) in y
19.856 * [taylor]: Taking taylor expansion of -1 in y
19.857 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
19.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
19.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
19.857 * [taylor]: Taking taylor expansion of 1/3 in y
19.857 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.857 * [taylor]: Taking taylor expansion of y in y
19.858 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
19.858 * [taylor]: Taking taylor expansion of (cbrt -1) in y
19.858 * [taylor]: Taking taylor expansion of -1 in y
19.859 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
19.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
19.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
19.859 * [taylor]: Taking taylor expansion of 1/3 in y
19.859 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
19.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.859 * [taylor]: Taking taylor expansion of y in y
19.922 * * * [progress]: simplifying candidates
19.928 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (log y) 2/3)
  (* (log y) 2/3)
  (* 1 2/3)
  (pow y (* (cbrt 2/3) (cbrt 2/3)))
  (pow y (sqrt 2/3))
  (pow y 1)
  (pow (* (cbrt y) (cbrt y)) 2/3)
  (pow (cbrt y) 2/3)
  (pow (sqrt y) 2/3)
  (pow (sqrt y) 2/3)
  (pow 1 2/3)
  (pow y 2/3)
  (log (pow y 2/3))
  (exp (pow y 2/3))
  (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3)))
  (cbrt (pow y 2/3))
  (* (* (pow y 2/3) (pow y 2/3)) (pow y 2/3))
  (sqrt (pow y 2/3))
  (sqrt (pow y 2/3))
  (pow y (/ 2/3 2))
  (pow y (/ 2/3 2))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (pow y 2/3)))
  (exp (cbrt (pow y 2/3)))
  (cbrt (pow (* (cbrt y) (cbrt y)) 2/3))
  (cbrt (pow (cbrt y) 2/3))
  (cbrt (pow (sqrt y) 2/3))
  (cbrt (pow (sqrt y) 2/3))
  (cbrt (pow 1 2/3))
  (cbrt (pow y 2/3))
  (cbrt (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))))
  (cbrt (cbrt (pow y 2/3)))
  (cbrt (sqrt (pow y 2/3)))
  (cbrt (sqrt (pow y 2/3)))
  (cbrt 1)
  (cbrt (pow y 2/3))
  (cbrt (pow y (/ 2/3 2)))
  (cbrt (pow y (/ 2/3 2)))
  (* (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (pow y 2/3))))
  (cbrt (cbrt (pow y 2/3)))
  (* (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (cbrt (pow y 2/3)))
  (sqrt (cbrt (pow y 2/3)))
  (sqrt (cbrt (pow y 2/3)))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow y 2/3)
  (pow (/ 1 y) -2/3)
  (exp (* 2/3 (- (log -1) (log (/ -1 y)))))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 2/9)
  (pow (/ 1 y) -2/9)
  (pow (/ -1 y) -2/9)
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
19.931 * * [simplify]: iteration  0 :  93  enodes  (cost  428 )
19.946 * * [simplify]: iteration  1 :  174  enodes  (cost  398 )
19.984 * * [simplify]: iteration  2 :  429  enodes  (cost  347 )
20.140 * * [simplify]: iteration  3 :  1417  enodes  (cost  333 )
20.698 * * [simplify]: iteration  done :  5000  enodes  (cost  333 )
20.699 * [simplify]: Simplified to:
   (log (pow y 2/3))
  (log (pow y 2/3))
  2/3
  (pow y (* (cbrt 2/3) (cbrt 2/3)))
  (pow y (sqrt 2/3))
  y
  (pow (pow y 2/3) 2/3)
  (pow (cbrt y) 2/3)
  (pow (sqrt y) 2/3)
  (pow (sqrt y) 2/3)
  1
  (pow y 2/3)
  (log (pow y 2/3))
  (exp (pow y 2/3))
  (pow (pow y 2/3) 2/3)
  (cbrt (pow y 2/3))
  (* y y)
  (fabs (cbrt y))
  (fabs (cbrt y))
  (cbrt y)
  (cbrt y)
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (pow y 2/3)))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  1
  (cbrt (cbrt y))
  (cbrt (pow (cbrt y) 2/3))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  1
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (pow y 2/3)))
  (exp (cbrt (pow y 2/3)))
  (cbrt (pow (pow y 2/3) 2/3))
  (cbrt (pow (cbrt y) 2/3))
  (cbrt (pow (sqrt y) 2/3))
  (cbrt (pow (sqrt y) 2/3))
  1
  (cbrt (pow y 2/3))
  (cbrt (pow (pow y 2/3) 2/3))
  (cbrt (cbrt (pow y 2/3)))
  (cbrt (fabs (cbrt y)))
  (cbrt (fabs (cbrt y)))
  1
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (cbrt y))
  (* (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (pow y 2/3))))
  (cbrt (cbrt (pow y 2/3)))
  (pow y 2/3)
  (sqrt (cbrt (pow y 2/3)))
  (sqrt (cbrt (pow y 2/3)))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (pow (cbrt y) 2/3)
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow y 2/3)
  (pow (/ 1 y) -2/3)
  (pow (exp 2/3) (+ 0 (log y)))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (- y) 1/9) (cbrt (cbrt -1)))
  (pow y 2/9)
  (pow (/ 1 y) -2/9)
  (pow (/ -1 y) -2/9)
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
20.699 * * * [progress]: adding candidates to table
21.002 * * [progress]: iteration 4 / 4
21.002 * * * [progress]: picking best candidate
21.017 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (* (log (cbrt (cbrt y))) (+ y 0.5))) y) z))>
21.017 * * * [progress]: localizing error
21.038 * * * [progress]: generating rewritten candidates
21.038 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1)
21.039 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 2 2 1)
21.040 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1)
21.041 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2 2 2 1 1)
21.042 * * * [progress]: generating series expansions
21.042 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1)
21.042 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
21.042 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
21.042 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
21.042 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
21.042 * [taylor]: Taking taylor expansion of 1/9 in y
21.042 * [taylor]: Taking taylor expansion of (log y) in y
21.042 * [taylor]: Taking taylor expansion of y in y
21.043 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
21.043 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
21.043 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
21.043 * [taylor]: Taking taylor expansion of 1/9 in y
21.043 * [taylor]: Taking taylor expansion of (log y) in y
21.043 * [taylor]: Taking taylor expansion of y in y
21.100 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
21.100 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.100 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.100 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.100 * [taylor]: Taking taylor expansion of 1/9 in y
21.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.100 * [taylor]: Taking taylor expansion of y in y
21.101 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.101 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.101 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.101 * [taylor]: Taking taylor expansion of 1/9 in y
21.101 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.101 * [taylor]: Taking taylor expansion of y in y
21.154 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
21.154 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
21.154 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
21.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
21.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
21.154 * [taylor]: Taking taylor expansion of 1/3 in y
21.154 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
21.154 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.154 * [taylor]: Taking taylor expansion of -1 in y
21.158 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.158 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.158 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.158 * [taylor]: Taking taylor expansion of 1/9 in y
21.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.158 * [taylor]: Taking taylor expansion of y in y
21.159 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
21.159 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
21.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
21.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
21.159 * [taylor]: Taking taylor expansion of 1/3 in y
21.159 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
21.159 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.159 * [taylor]: Taking taylor expansion of -1 in y
21.162 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.163 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.163 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.163 * [taylor]: Taking taylor expansion of 1/9 in y
21.163 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.163 * [taylor]: Taking taylor expansion of y in y
21.291 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 2 2 1)
21.291 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0
21.292 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
21.292 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
21.292 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
21.292 * [taylor]: Taking taylor expansion of 1/9 in y
21.292 * [taylor]: Taking taylor expansion of (log y) in y
21.292 * [taylor]: Taking taylor expansion of y in y
21.292 * [taylor]: Taking taylor expansion of (pow y 1/9) in y
21.292 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y
21.292 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y
21.292 * [taylor]: Taking taylor expansion of 1/9 in y
21.292 * [taylor]: Taking taylor expansion of (log y) in y
21.292 * [taylor]: Taking taylor expansion of y in y
21.348 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0
21.348 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.348 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.348 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.348 * [taylor]: Taking taylor expansion of 1/9 in y
21.348 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.348 * [taylor]: Taking taylor expansion of y in y
21.349 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.349 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.349 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.349 * [taylor]: Taking taylor expansion of 1/9 in y
21.349 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.349 * [taylor]: Taking taylor expansion of y in y
21.408 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0
21.408 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
21.409 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
21.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
21.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
21.409 * [taylor]: Taking taylor expansion of 1/3 in y
21.409 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
21.409 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.409 * [taylor]: Taking taylor expansion of -1 in y
21.412 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.412 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.412 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.412 * [taylor]: Taking taylor expansion of 1/9 in y
21.412 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.412 * [taylor]: Taking taylor expansion of y in y
21.413 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y
21.413 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y
21.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y
21.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y
21.413 * [taylor]: Taking taylor expansion of 1/3 in y
21.413 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y
21.413 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.413 * [taylor]: Taking taylor expansion of -1 in y
21.417 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y
21.417 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y
21.417 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y
21.417 * [taylor]: Taking taylor expansion of 1/9 in y
21.417 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.417 * [taylor]: Taking taylor expansion of y in y
21.543 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1)
21.543 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
21.543 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
21.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
21.543 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
21.543 * [taylor]: Taking taylor expansion of 1/3 in y
21.543 * [taylor]: Taking taylor expansion of (log y) in y
21.543 * [taylor]: Taking taylor expansion of y in y
21.544 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
21.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
21.544 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
21.544 * [taylor]: Taking taylor expansion of 1/3 in y
21.544 * [taylor]: Taking taylor expansion of (log y) in y
21.544 * [taylor]: Taking taylor expansion of y in y
21.600 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
21.600 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.600 * [taylor]: Taking taylor expansion of 1/3 in y
21.600 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.600 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.600 * [taylor]: Taking taylor expansion of y in y
21.601 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.601 * [taylor]: Taking taylor expansion of 1/3 in y
21.601 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.601 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.601 * [taylor]: Taking taylor expansion of y in y
21.659 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
21.659 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
21.659 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.659 * [taylor]: Taking taylor expansion of -1 in y
21.660 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.660 * [taylor]: Taking taylor expansion of 1/3 in y
21.660 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.660 * [taylor]: Taking taylor expansion of y in y
21.661 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
21.661 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.661 * [taylor]: Taking taylor expansion of -1 in y
21.662 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.662 * [taylor]: Taking taylor expansion of 1/3 in y
21.662 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.662 * [taylor]: Taking taylor expansion of y in y
21.733 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2 2 2 1 1)
21.733 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
21.733 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
21.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
21.733 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
21.733 * [taylor]: Taking taylor expansion of 1/3 in y
21.733 * [taylor]: Taking taylor expansion of (log y) in y
21.733 * [taylor]: Taking taylor expansion of y in y
21.733 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
21.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
21.733 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
21.733 * [taylor]: Taking taylor expansion of 1/3 in y
21.733 * [taylor]: Taking taylor expansion of (log y) in y
21.733 * [taylor]: Taking taylor expansion of y in y
21.782 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
21.782 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.782 * [taylor]: Taking taylor expansion of 1/3 in y
21.782 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.782 * [taylor]: Taking taylor expansion of y in y
21.783 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.783 * [taylor]: Taking taylor expansion of 1/3 in y
21.783 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.783 * [taylor]: Taking taylor expansion of y in y
21.841 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
21.842 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
21.842 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.842 * [taylor]: Taking taylor expansion of -1 in y
21.842 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.842 * [taylor]: Taking taylor expansion of 1/3 in y
21.842 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.842 * [taylor]: Taking taylor expansion of y in y
21.843 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
21.843 * [taylor]: Taking taylor expansion of (cbrt -1) in y
21.843 * [taylor]: Taking taylor expansion of -1 in y
21.844 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
21.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
21.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
21.844 * [taylor]: Taking taylor expansion of 1/3 in y
21.844 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
21.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.844 * [taylor]: Taking taylor expansion of y in y
21.914 * * * [progress]: simplifying candidates
21.915 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt 1))
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt 1)
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
21.917 * * [simplify]: iteration  0 :  42  enodes  (cost  346 )
21.923 * * [simplify]: iteration  1 :  75  enodes  (cost  330 )
21.937 * * [simplify]: iteration  2 :  150  enodes  (cost  300 )
21.978 * * [simplify]: iteration  3 :  372  enodes  (cost  288 )
22.094 * * [simplify]: iteration  4 :  1226  enodes  (cost  288 )
22.463 * * [simplify]: iteration  done :  5000  enodes  (cost  288 )
22.463 * [simplify]: Simplified to:
   (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (pow y 2/3)))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  1
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  1
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt (cbrt y)))
  (exp (cbrt (cbrt y)))
  (cbrt (cbrt (pow y 2/3)))
  (cbrt (cbrt (cbrt y)))
  (cbrt (cbrt (sqrt y)))
  (cbrt (cbrt (sqrt y)))
  1
  (cbrt (cbrt y))
  (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  (cbrt (sqrt (cbrt y)))
  1
  (cbrt (cbrt y))
  (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y))))
  (cbrt (cbrt (cbrt y)))
  (cbrt y)
  (sqrt (cbrt (cbrt y)))
  (sqrt (cbrt (cbrt y)))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (- y) 1/9) (cbrt (cbrt -1)))
  (pow y 1/9)
  (pow (/ 1 y) -1/9)
  (* (pow (- y) 1/9) (cbrt (cbrt -1)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
22.464 * * * [progress]: adding candidates to table
22.748 * [progress]: [Phase 3 of 3] Extracting.
22.748 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))> #<alt (λ (x y z) (- (/ (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y)) z))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (pow y 2/3)) (cbrt (cbrt y)))))) y) z))> #<alt (λ (x y z) (/ (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z)))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))))) y) z))> #<alt (λ (x y z) (- (+ (- (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (* (log (cbrt (cbrt y))) (+ y 0.5))) y) z))>)
22.751 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x)
22.751 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (#<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))> #<alt (λ (x y z) (- (/ (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y)) z))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (pow y 2/3)) (cbrt (cbrt y)))))) y) z))> #<alt (λ (x y z) (/ (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z)))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))))) y) z))> #<alt (λ (x y z) (- (+ (- (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (* (log (cbrt (cbrt y))) (+ y 0.5))) y) z))>)
22.786 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (#<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))> #<alt (λ (x y z) (- (/ (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y)) z))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (pow y 2/3)) (cbrt (cbrt y)))))) y) z))> #<alt (λ (x y z) (/ (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z)))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))))) y) z))> #<alt (λ (x y z) (- (+ (- (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (* (log (cbrt (cbrt y))) (+ y 0.5))) y) z))>)
22.818 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))> #<alt (λ (x y z) (- (/ (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y)) z))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (pow y 2/3)) (cbrt (cbrt y)))))) y) z))> #<alt (λ (x y z) (/ (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z)))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))))) y) z))> #<alt (λ (x y z) (- (+ (- (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (* (log (cbrt (cbrt y))) (+ y 0.5))) y) z))>)
22.849 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))> #<alt (λ (x y z) (- (/ (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y)) z))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (pow y 2/3)) (cbrt (cbrt y)))))) y) z))> #<alt (λ (x y z) (/ (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z)))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))))) y) z))> #<alt (λ (x y z) (- (+ (- (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (* (log (cbrt (cbrt y))) (+ y 0.5))) y) z))>)
22.880 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))> #<alt (λ (x y z) (- (/ (- (* (- x (* (+ y 0.5) (log y))) (- x (* (+ y 0.5) (log y)))) (* y y)) (- (- x (* (+ y 0.5) (log y))) y)) z))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (+ y 0.5) (log (* (cbrt (pow y 2/3)) (cbrt (cbrt y)))))) y) z))> #<alt (λ (x y z) (/ (- (* (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y)) (* z z)) (+ (+ (- x (* (+ y 0.5) (log y))) y) z)))> #<alt (λ (x y z) (- (+ (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y))))) (cbrt (* (+ y 0.5) (log (cbrt y)))))) y) z))> #<alt (λ (x y z) (- (+ (- (- x (* (+ y 0.5) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt y))))))) (* (log (cbrt (cbrt y))) (+ y 0.5))) y) z))>)
22.907 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
22.907 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
22.908 * * [simplify]: iteration  0 :  10  enodes  (cost  12 )
22.908 * * [simplify]: iteration  1 :  13  enodes  (cost  12 )
22.909 * * [simplify]: iteration  done :  13  enodes  (cost  12 )
22.909 * [simplify]: Simplified to:
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
23.995 * [regime-testing]: Baseline error score: 0.10965054850669437
23.996 * [regime-testing]: Oracle error score: 0.027753469183647957
23.997 * [regime-testing]: End program error score: 0.10965054850669437
24.024 * [regime-testing]: Target error score: 0.11175457088431126