14.661 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
0.033 * * [simplify]: iteration  0 :  10  enodes  (cost  12 )
0.035 * * [simplify]: iteration  1 :  21  enodes  (cost  12 )
0.038 * * [simplify]: iteration  2 :  60  enodes  (cost  12 )
0.049 * * [simplify]: iteration  3 :  163  enodes  (cost  12 )
0.124 * * [simplify]: iteration  4 :  484  enodes  (cost  12 )
0.322 * * [simplify]: iteration  5 :  874  enodes  (cost  12 )
0.890 * * [simplify]: iteration  6 :  1423  enodes  (cost  12 )
1.884 * * [simplify]: iteration  7 :  1988  enodes  (cost  12 )
2.716 * * [simplify]: iteration  8 :  2158  enodes  (cost  12 )
3.678 * * [simplify]: iteration  9 :  2260  enodes  (cost  12 )
4.673 * * [simplify]: iteration  10 :  2457  enodes  (cost  12 )
5.618 * * [simplify]: iteration  11 :  2553  enodes  (cost  12 )
6.771 * * [simplify]: iteration  12 :  2653  enodes  (cost  12 )
7.777 * * [simplify]: iteration  13 :  2791  enodes  (cost  12 )
8.807 * * [simplify]: iteration  14 :  2901  enodes  (cost  12 )
9.796 * * [simplify]: iteration  15 :  2905  enodes  (cost  12 )
10.782 * * [simplify]: iteration  done :  2905  enodes  (cost  12 )
10.782 * [simplify]: Simplified to:
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
10.782 * * [progress]: iteration 1 / 4
10.782 * * * [progress]: picking best candidate
10.784 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))>
10.784 * * * [progress]: localizing error
10.793 * * * [progress]: generating rewritten candidates
10.793 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
10.807 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
10.816 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
10.818 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
10.871 * * * [progress]: generating series expansions
10.871 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
10.871 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0
10.872 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y
10.872 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
10.872 * [taylor]: Taking taylor expansion of y in y
10.872 * [taylor]: Taking taylor expansion of 0.5 in y
10.872 * [taylor]: Taking taylor expansion of (log y) in y
10.872 * [taylor]: Taking taylor expansion of y in y
10.872 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y
10.872 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
10.872 * [taylor]: Taking taylor expansion of y in y
10.872 * [taylor]: Taking taylor expansion of 0.5 in y
10.872 * [taylor]: Taking taylor expansion of (log y) in y
10.872 * [taylor]: Taking taylor expansion of y in y
10.945 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0
10.945 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y
10.945 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.945 * [taylor]: Taking taylor expansion of y in y
10.946 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
10.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.946 * [taylor]: Taking taylor expansion of y in y
10.946 * [taylor]: Taking taylor expansion of 0.5 in y
10.946 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y
10.946 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.946 * [taylor]: Taking taylor expansion of y in y
10.946 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
10.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.946 * [taylor]: Taking taylor expansion of y in y
10.947 * [taylor]: Taking taylor expansion of 0.5 in y
11.038 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0
11.038 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y
11.038 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
11.038 * [taylor]: Taking taylor expansion of 0.5 in y
11.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.038 * [taylor]: Taking taylor expansion of y in y
11.038 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.038 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.038 * [taylor]: Taking taylor expansion of -1 in y
11.038 * [taylor]: Taking taylor expansion of y in y
11.039 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y
11.039 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
11.039 * [taylor]: Taking taylor expansion of 0.5 in y
11.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.039 * [taylor]: Taking taylor expansion of y in y
11.039 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.039 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.039 * [taylor]: Taking taylor expansion of -1 in y
11.039 * [taylor]: Taking taylor expansion of y in y
11.128 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
11.128 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0
11.128 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y
11.128 * [taylor]: Taking taylor expansion of (+ x y) in y
11.128 * [taylor]: Taking taylor expansion of x in y
11.128 * [taylor]: Taking taylor expansion of y in y
11.128 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
11.128 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
11.128 * [taylor]: Taking taylor expansion of 0.5 in y
11.128 * [taylor]: Taking taylor expansion of (log y) in y
11.128 * [taylor]: Taking taylor expansion of y in y
11.129 * [taylor]: Taking taylor expansion of (* y (log y)) in y
11.129 * [taylor]: Taking taylor expansion of y in y
11.129 * [taylor]: Taking taylor expansion of (log y) in y
11.129 * [taylor]: Taking taylor expansion of y in y
11.129 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x
11.129 * [taylor]: Taking taylor expansion of (+ x y) in x
11.129 * [taylor]: Taking taylor expansion of x in x
11.129 * [taylor]: Taking taylor expansion of y in x
11.129 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
11.129 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
11.129 * [taylor]: Taking taylor expansion of 0.5 in x
11.129 * [taylor]: Taking taylor expansion of (log y) in x
11.129 * [taylor]: Taking taylor expansion of y in x
11.129 * [taylor]: Taking taylor expansion of (* y (log y)) in x
11.129 * [taylor]: Taking taylor expansion of y in x
11.129 * [taylor]: Taking taylor expansion of (log y) in x
11.129 * [taylor]: Taking taylor expansion of y in x
11.129 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x
11.129 * [taylor]: Taking taylor expansion of (+ x y) in x
11.129 * [taylor]: Taking taylor expansion of x in x
11.129 * [taylor]: Taking taylor expansion of y in x
11.129 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
11.129 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
11.129 * [taylor]: Taking taylor expansion of 0.5 in x
11.129 * [taylor]: Taking taylor expansion of (log y) in x
11.129 * [taylor]: Taking taylor expansion of y in x
11.130 * [taylor]: Taking taylor expansion of (* y (log y)) in x
11.130 * [taylor]: Taking taylor expansion of y in x
11.130 * [taylor]: Taking taylor expansion of (log y) in x
11.130 * [taylor]: Taking taylor expansion of y in x
11.130 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y
11.130 * [taylor]: Taking taylor expansion of y in y
11.130 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
11.130 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
11.130 * [taylor]: Taking taylor expansion of 0.5 in y
11.130 * [taylor]: Taking taylor expansion of (log y) in y
11.130 * [taylor]: Taking taylor expansion of y in y
11.130 * [taylor]: Taking taylor expansion of (* y (log y)) in y
11.130 * [taylor]: Taking taylor expansion of y in y
11.130 * [taylor]: Taking taylor expansion of (log y) in y
11.130 * [taylor]: Taking taylor expansion of y in y
11.134 * [taylor]: Taking taylor expansion of 1 in y
11.137 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0
11.137 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
11.137 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
11.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.137 * [taylor]: Taking taylor expansion of y in y
11.137 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.137 * [taylor]: Taking taylor expansion of x in y
11.137 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
11.137 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
11.137 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.137 * [taylor]: Taking taylor expansion of y in y
11.138 * [taylor]: Taking taylor expansion of y in y
11.138 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
11.138 * [taylor]: Taking taylor expansion of 0.5 in y
11.138 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.138 * [taylor]: Taking taylor expansion of y in y
11.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
11.139 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
11.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.139 * [taylor]: Taking taylor expansion of y in x
11.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.139 * [taylor]: Taking taylor expansion of x in x
11.139 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
11.139 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
11.139 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.139 * [taylor]: Taking taylor expansion of y in x
11.139 * [taylor]: Taking taylor expansion of y in x
11.139 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
11.139 * [taylor]: Taking taylor expansion of 0.5 in x
11.139 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.140 * [taylor]: Taking taylor expansion of y in x
11.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
11.140 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
11.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.140 * [taylor]: Taking taylor expansion of y in x
11.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.140 * [taylor]: Taking taylor expansion of x in x
11.140 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
11.140 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
11.140 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.140 * [taylor]: Taking taylor expansion of y in x
11.140 * [taylor]: Taking taylor expansion of y in x
11.140 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
11.140 * [taylor]: Taking taylor expansion of 0.5 in x
11.140 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.140 * [taylor]: Taking taylor expansion of y in x
11.141 * [taylor]: Taking taylor expansion of 1 in y
11.142 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
11.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.142 * [taylor]: Taking taylor expansion of y in y
11.142 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
11.142 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
11.142 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.142 * [taylor]: Taking taylor expansion of y in y
11.143 * [taylor]: Taking taylor expansion of y in y
11.143 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
11.143 * [taylor]: Taking taylor expansion of 0.5 in y
11.143 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.143 * [taylor]: Taking taylor expansion of y in y
11.147 * [taylor]: Taking taylor expansion of 0 in y
11.150 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0
11.150 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y
11.150 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
11.150 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.150 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.150 * [taylor]: Taking taylor expansion of -1 in y
11.150 * [taylor]: Taking taylor expansion of y in y
11.151 * [taylor]: Taking taylor expansion of y in y
11.152 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y
11.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.152 * [taylor]: Taking taylor expansion of y in y
11.153 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y
11.153 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
11.153 * [taylor]: Taking taylor expansion of 0.5 in y
11.153 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.153 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.153 * [taylor]: Taking taylor expansion of -1 in y
11.153 * [taylor]: Taking taylor expansion of y in y
11.153 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.153 * [taylor]: Taking taylor expansion of x in y
11.153 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
11.153 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
11.153 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.153 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.153 * [taylor]: Taking taylor expansion of -1 in x
11.153 * [taylor]: Taking taylor expansion of y in x
11.153 * [taylor]: Taking taylor expansion of y in x
11.153 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
11.154 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.154 * [taylor]: Taking taylor expansion of y in x
11.154 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
11.154 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
11.154 * [taylor]: Taking taylor expansion of 0.5 in x
11.154 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.154 * [taylor]: Taking taylor expansion of -1 in x
11.154 * [taylor]: Taking taylor expansion of y in x
11.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.154 * [taylor]: Taking taylor expansion of x in x
11.154 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
11.154 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
11.154 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.154 * [taylor]: Taking taylor expansion of -1 in x
11.154 * [taylor]: Taking taylor expansion of y in x
11.154 * [taylor]: Taking taylor expansion of y in x
11.154 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
11.154 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.154 * [taylor]: Taking taylor expansion of y in x
11.154 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
11.154 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
11.154 * [taylor]: Taking taylor expansion of 0.5 in x
11.154 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.154 * [taylor]: Taking taylor expansion of -1 in x
11.154 * [taylor]: Taking taylor expansion of y in x
11.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.154 * [taylor]: Taking taylor expansion of x in x
11.156 * [taylor]: Taking taylor expansion of -1 in y
11.157 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y
11.157 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
11.157 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.157 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.157 * [taylor]: Taking taylor expansion of -1 in y
11.157 * [taylor]: Taking taylor expansion of y in y
11.157 * [taylor]: Taking taylor expansion of y in y
11.159 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y
11.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.159 * [taylor]: Taking taylor expansion of y in y
11.159 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
11.159 * [taylor]: Taking taylor expansion of 0.5 in y
11.159 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.159 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.159 * [taylor]: Taking taylor expansion of -1 in y
11.159 * [taylor]: Taking taylor expansion of y in y
11.163 * [taylor]: Taking taylor expansion of 0 in y
11.170 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
11.170 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0
11.170 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y
11.170 * [taylor]: Taking taylor expansion of x in y
11.170 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
11.170 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
11.170 * [taylor]: Taking taylor expansion of 0.5 in y
11.170 * [taylor]: Taking taylor expansion of (log y) in y
11.170 * [taylor]: Taking taylor expansion of y in y
11.171 * [taylor]: Taking taylor expansion of (* y (log y)) in y
11.171 * [taylor]: Taking taylor expansion of y in y
11.171 * [taylor]: Taking taylor expansion of (log y) in y
11.171 * [taylor]: Taking taylor expansion of y in y
11.171 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x
11.171 * [taylor]: Taking taylor expansion of x in x
11.171 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
11.171 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
11.171 * [taylor]: Taking taylor expansion of 0.5 in x
11.171 * [taylor]: Taking taylor expansion of (log y) in x
11.171 * [taylor]: Taking taylor expansion of y in x
11.171 * [taylor]: Taking taylor expansion of (* y (log y)) in x
11.171 * [taylor]: Taking taylor expansion of y in x
11.171 * [taylor]: Taking taylor expansion of (log y) in x
11.171 * [taylor]: Taking taylor expansion of y in x
11.171 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x
11.171 * [taylor]: Taking taylor expansion of x in x
11.171 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
11.171 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
11.171 * [taylor]: Taking taylor expansion of 0.5 in x
11.171 * [taylor]: Taking taylor expansion of (log y) in x
11.171 * [taylor]: Taking taylor expansion of y in x
11.171 * [taylor]: Taking taylor expansion of (* y (log y)) in x
11.171 * [taylor]: Taking taylor expansion of y in x
11.171 * [taylor]: Taking taylor expansion of (log y) in x
11.171 * [taylor]: Taking taylor expansion of y in x
11.172 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y
11.172 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y
11.172 * [taylor]: Taking taylor expansion of (* y (log y)) in y
11.172 * [taylor]: Taking taylor expansion of y in y
11.172 * [taylor]: Taking taylor expansion of (log y) in y
11.172 * [taylor]: Taking taylor expansion of y in y
11.172 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
11.172 * [taylor]: Taking taylor expansion of 0.5 in y
11.172 * [taylor]: Taking taylor expansion of (log y) in y
11.172 * [taylor]: Taking taylor expansion of y in y
11.175 * [taylor]: Taking taylor expansion of 1 in y
11.178 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0
11.178 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
11.178 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.178 * [taylor]: Taking taylor expansion of x in y
11.178 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
11.178 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
11.178 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.178 * [taylor]: Taking taylor expansion of y in y
11.179 * [taylor]: Taking taylor expansion of y in y
11.179 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
11.179 * [taylor]: Taking taylor expansion of 0.5 in y
11.179 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.179 * [taylor]: Taking taylor expansion of y in y
11.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
11.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.180 * [taylor]: Taking taylor expansion of x in x
11.180 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
11.180 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
11.180 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.180 * [taylor]: Taking taylor expansion of y in x
11.180 * [taylor]: Taking taylor expansion of y in x
11.180 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
11.180 * [taylor]: Taking taylor expansion of 0.5 in x
11.180 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.180 * [taylor]: Taking taylor expansion of y in x
11.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x
11.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.181 * [taylor]: Taking taylor expansion of x in x
11.181 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x
11.181 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
11.181 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.181 * [taylor]: Taking taylor expansion of y in x
11.181 * [taylor]: Taking taylor expansion of y in x
11.181 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
11.181 * [taylor]: Taking taylor expansion of 0.5 in x
11.181 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.181 * [taylor]: Taking taylor expansion of y in x
11.181 * [taylor]: Taking taylor expansion of 1 in y
11.182 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y
11.182 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y
11.182 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
11.182 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.182 * [taylor]: Taking taylor expansion of y in y
11.183 * [taylor]: Taking taylor expansion of y in y
11.183 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
11.184 * [taylor]: Taking taylor expansion of 0.5 in y
11.184 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.184 * [taylor]: Taking taylor expansion of y in y
11.192 * [taylor]: Taking taylor expansion of 0 in y
11.195 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0
11.195 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y
11.195 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
11.195 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.195 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.195 * [taylor]: Taking taylor expansion of -1 in y
11.195 * [taylor]: Taking taylor expansion of y in y
11.196 * [taylor]: Taking taylor expansion of y in y
11.197 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y
11.197 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
11.197 * [taylor]: Taking taylor expansion of 0.5 in y
11.197 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.197 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.197 * [taylor]: Taking taylor expansion of -1 in y
11.197 * [taylor]: Taking taylor expansion of y in y
11.198 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.198 * [taylor]: Taking taylor expansion of x in y
11.198 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
11.198 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
11.198 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.198 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.198 * [taylor]: Taking taylor expansion of -1 in x
11.198 * [taylor]: Taking taylor expansion of y in x
11.198 * [taylor]: Taking taylor expansion of y in x
11.198 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
11.198 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
11.198 * [taylor]: Taking taylor expansion of 0.5 in x
11.198 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.198 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.198 * [taylor]: Taking taylor expansion of -1 in x
11.198 * [taylor]: Taking taylor expansion of y in x
11.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.198 * [taylor]: Taking taylor expansion of x in x
11.198 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
11.198 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
11.198 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.198 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.198 * [taylor]: Taking taylor expansion of -1 in x
11.198 * [taylor]: Taking taylor expansion of y in x
11.199 * [taylor]: Taking taylor expansion of y in x
11.199 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
11.199 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
11.199 * [taylor]: Taking taylor expansion of 0.5 in x
11.199 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.199 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.199 * [taylor]: Taking taylor expansion of -1 in x
11.199 * [taylor]: Taking taylor expansion of y in x
11.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.199 * [taylor]: Taking taylor expansion of x in x
11.200 * [taylor]: Taking taylor expansion of -1 in y
11.201 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y
11.201 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
11.201 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.201 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.201 * [taylor]: Taking taylor expansion of -1 in y
11.201 * [taylor]: Taking taylor expansion of y in y
11.201 * [taylor]: Taking taylor expansion of y in y
11.202 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
11.203 * [taylor]: Taking taylor expansion of 0.5 in y
11.203 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.203 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.203 * [taylor]: Taking taylor expansion of -1 in y
11.203 * [taylor]: Taking taylor expansion of y in y
11.206 * [taylor]: Taking taylor expansion of 0 in y
11.212 * * * * [progress]: [ 4 / 4 ] generating series at (2)
11.212 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0
11.212 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z
11.212 * [taylor]: Taking taylor expansion of (+ x y) in z
11.212 * [taylor]: Taking taylor expansion of x in z
11.212 * [taylor]: Taking taylor expansion of y in z
11.212 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z
11.212 * [taylor]: Taking taylor expansion of z in z
11.212 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z
11.212 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
11.212 * [taylor]: Taking taylor expansion of 0.5 in z
11.212 * [taylor]: Taking taylor expansion of (log y) in z
11.212 * [taylor]: Taking taylor expansion of y in z
11.212 * [taylor]: Taking taylor expansion of (* y (log y)) in z
11.212 * [taylor]: Taking taylor expansion of y in z
11.212 * [taylor]: Taking taylor expansion of (log y) in z
11.212 * [taylor]: Taking taylor expansion of y in z
11.212 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y
11.212 * [taylor]: Taking taylor expansion of (+ x y) in y
11.212 * [taylor]: Taking taylor expansion of x in y
11.212 * [taylor]: Taking taylor expansion of y in y
11.212 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y
11.212 * [taylor]: Taking taylor expansion of z in y
11.212 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
11.212 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
11.213 * [taylor]: Taking taylor expansion of 0.5 in y
11.213 * [taylor]: Taking taylor expansion of (log y) in y
11.213 * [taylor]: Taking taylor expansion of y in y
11.213 * [taylor]: Taking taylor expansion of (* y (log y)) in y
11.213 * [taylor]: Taking taylor expansion of y in y
11.213 * [taylor]: Taking taylor expansion of (log y) in y
11.213 * [taylor]: Taking taylor expansion of y in y
11.213 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x
11.213 * [taylor]: Taking taylor expansion of (+ x y) in x
11.213 * [taylor]: Taking taylor expansion of x in x
11.213 * [taylor]: Taking taylor expansion of y in x
11.213 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x
11.213 * [taylor]: Taking taylor expansion of z in x
11.213 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
11.213 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
11.213 * [taylor]: Taking taylor expansion of 0.5 in x
11.213 * [taylor]: Taking taylor expansion of (log y) in x
11.213 * [taylor]: Taking taylor expansion of y in x
11.213 * [taylor]: Taking taylor expansion of (* y (log y)) in x
11.213 * [taylor]: Taking taylor expansion of y in x
11.213 * [taylor]: Taking taylor expansion of (log y) in x
11.213 * [taylor]: Taking taylor expansion of y in x
11.213 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x
11.213 * [taylor]: Taking taylor expansion of (+ x y) in x
11.213 * [taylor]: Taking taylor expansion of x in x
11.213 * [taylor]: Taking taylor expansion of y in x
11.213 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x
11.214 * [taylor]: Taking taylor expansion of z in x
11.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x
11.214 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x
11.214 * [taylor]: Taking taylor expansion of 0.5 in x
11.214 * [taylor]: Taking taylor expansion of (log y) in x
11.214 * [taylor]: Taking taylor expansion of y in x
11.214 * [taylor]: Taking taylor expansion of (* y (log y)) in x
11.214 * [taylor]: Taking taylor expansion of y in x
11.214 * [taylor]: Taking taylor expansion of (log y) in x
11.214 * [taylor]: Taking taylor expansion of y in x
11.214 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y
11.214 * [taylor]: Taking taylor expansion of y in y
11.214 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y
11.214 * [taylor]: Taking taylor expansion of z in y
11.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y
11.214 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y
11.214 * [taylor]: Taking taylor expansion of 0.5 in y
11.214 * [taylor]: Taking taylor expansion of (log y) in y
11.214 * [taylor]: Taking taylor expansion of y in y
11.215 * [taylor]: Taking taylor expansion of (* y (log y)) in y
11.215 * [taylor]: Taking taylor expansion of y in y
11.215 * [taylor]: Taking taylor expansion of (log y) in y
11.215 * [taylor]: Taking taylor expansion of y in y
11.216 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z
11.216 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z
11.216 * [taylor]: Taking taylor expansion of z in z
11.216 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
11.216 * [taylor]: Taking taylor expansion of 0.5 in z
11.216 * [taylor]: Taking taylor expansion of (log y) in z
11.216 * [taylor]: Taking taylor expansion of y in z
11.218 * [taylor]: Taking taylor expansion of 1 in y
11.219 * [taylor]: Taking taylor expansion of 1 in z
11.221 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z
11.221 * [taylor]: Taking taylor expansion of 1 in z
11.221 * [taylor]: Taking taylor expansion of (log y) in z
11.221 * [taylor]: Taking taylor expansion of y in z
11.222 * [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
11.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z
11.222 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
11.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.222 * [taylor]: Taking taylor expansion of y in z
11.222 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.222 * [taylor]: Taking taylor expansion of x in z
11.222 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z
11.222 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z
11.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
11.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.222 * [taylor]: Taking taylor expansion of y in z
11.222 * [taylor]: Taking taylor expansion of y in z
11.222 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z
11.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.222 * [taylor]: Taking taylor expansion of z in z
11.222 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z
11.222 * [taylor]: Taking taylor expansion of 0.5 in z
11.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
11.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.222 * [taylor]: Taking taylor expansion of y in z
11.223 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y
11.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
11.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.223 * [taylor]: Taking taylor expansion of y in y
11.223 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.223 * [taylor]: Taking taylor expansion of x in y
11.223 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y
11.223 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
11.223 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.223 * [taylor]: Taking taylor expansion of y in y
11.223 * [taylor]: Taking taylor expansion of y in y
11.224 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y
11.224 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.224 * [taylor]: Taking taylor expansion of z in y
11.224 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
11.224 * [taylor]: Taking taylor expansion of 0.5 in y
11.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.224 * [taylor]: Taking taylor expansion of y in y
11.225 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x
11.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
11.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.225 * [taylor]: Taking taylor expansion of y in x
11.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.225 * [taylor]: Taking taylor expansion of x in x
11.225 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x
11.225 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
11.225 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.225 * [taylor]: Taking taylor expansion of y in x
11.225 * [taylor]: Taking taylor expansion of y in x
11.225 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x
11.225 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.225 * [taylor]: Taking taylor expansion of z in x
11.225 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
11.225 * [taylor]: Taking taylor expansion of 0.5 in x
11.225 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.225 * [taylor]: Taking taylor expansion of y in x
11.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x
11.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
11.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.226 * [taylor]: Taking taylor expansion of y in x
11.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.226 * [taylor]: Taking taylor expansion of x in x
11.226 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x
11.226 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x
11.226 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.226 * [taylor]: Taking taylor expansion of y in x
11.226 * [taylor]: Taking taylor expansion of y in x
11.226 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x
11.226 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.226 * [taylor]: Taking taylor expansion of z in x
11.226 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x
11.226 * [taylor]: Taking taylor expansion of 0.5 in x
11.226 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
11.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.226 * [taylor]: Taking taylor expansion of y in x
11.227 * [taylor]: Taking taylor expansion of 1 in y
11.228 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y
11.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.228 * [taylor]: Taking taylor expansion of y in y
11.228 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y
11.228 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
11.228 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.228 * [taylor]: Taking taylor expansion of y in y
11.229 * [taylor]: Taking taylor expansion of y in y
11.229 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y
11.229 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.229 * [taylor]: Taking taylor expansion of z in y
11.230 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y
11.230 * [taylor]: Taking taylor expansion of 0.5 in y
11.230 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.230 * [taylor]: Taking taylor expansion of y in y
11.230 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z
11.230 * [taylor]: Taking taylor expansion of (log y) in z
11.230 * [taylor]: Taking taylor expansion of y in z
11.230 * [taylor]: Taking taylor expansion of 1 in z
11.230 * [taylor]: Taking taylor expansion of 1 in z
11.234 * [taylor]: Taking taylor expansion of 0 in y
11.237 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z
11.237 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
11.237 * [taylor]: Taking taylor expansion of 0.5 in z
11.237 * [taylor]: Taking taylor expansion of (log y) in z
11.237 * [taylor]: Taking taylor expansion of y in z
11.237 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.237 * [taylor]: Taking taylor expansion of z in z
11.238 * [taylor]: Taking taylor expansion of 0 in z
11.238 * [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
11.238 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z
11.239 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z
11.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.239 * [taylor]: Taking taylor expansion of z in z
11.239 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z
11.239 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
11.239 * [taylor]: Taking taylor expansion of (/ -1 y) in z
11.239 * [taylor]: Taking taylor expansion of -1 in z
11.239 * [taylor]: Taking taylor expansion of y in z
11.239 * [taylor]: Taking taylor expansion of y in z
11.239 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z
11.239 * [taylor]: Taking taylor expansion of (/ 1 y) in z
11.239 * [taylor]: Taking taylor expansion of y in z
11.239 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z
11.239 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z
11.239 * [taylor]: Taking taylor expansion of 0.5 in z
11.239 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
11.239 * [taylor]: Taking taylor expansion of (/ -1 y) in z
11.239 * [taylor]: Taking taylor expansion of -1 in z
11.239 * [taylor]: Taking taylor expansion of y in z
11.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.239 * [taylor]: Taking taylor expansion of x in z
11.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y
11.239 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y
11.239 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.239 * [taylor]: Taking taylor expansion of z in y
11.239 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
11.239 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.239 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.239 * [taylor]: Taking taylor expansion of -1 in y
11.239 * [taylor]: Taking taylor expansion of y in y
11.240 * [taylor]: Taking taylor expansion of y in y
11.241 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y
11.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.241 * [taylor]: Taking taylor expansion of y in y
11.242 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y
11.242 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
11.242 * [taylor]: Taking taylor expansion of 0.5 in y
11.242 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.242 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.242 * [taylor]: Taking taylor expansion of -1 in y
11.242 * [taylor]: Taking taylor expansion of y in y
11.242 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.242 * [taylor]: Taking taylor expansion of x in y
11.242 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
11.242 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x
11.242 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.242 * [taylor]: Taking taylor expansion of z in x
11.242 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
11.242 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.242 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.243 * [taylor]: Taking taylor expansion of -1 in x
11.243 * [taylor]: Taking taylor expansion of y in x
11.243 * [taylor]: Taking taylor expansion of y in x
11.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
11.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.243 * [taylor]: Taking taylor expansion of y in x
11.243 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
11.243 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
11.243 * [taylor]: Taking taylor expansion of 0.5 in x
11.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.243 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.243 * [taylor]: Taking taylor expansion of -1 in x
11.243 * [taylor]: Taking taylor expansion of y in x
11.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.243 * [taylor]: Taking taylor expansion of x in x
11.243 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x
11.243 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x
11.243 * [taylor]: Taking taylor expansion of (/ 1 z) in x
11.243 * [taylor]: Taking taylor expansion of z in x
11.243 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x
11.243 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.243 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.243 * [taylor]: Taking taylor expansion of -1 in x
11.243 * [taylor]: Taking taylor expansion of y in x
11.243 * [taylor]: Taking taylor expansion of y in x
11.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x
11.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.244 * [taylor]: Taking taylor expansion of y in x
11.244 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x
11.244 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x
11.244 * [taylor]: Taking taylor expansion of 0.5 in x
11.244 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
11.244 * [taylor]: Taking taylor expansion of (/ -1 y) in x
11.244 * [taylor]: Taking taylor expansion of -1 in x
11.244 * [taylor]: Taking taylor expansion of y in x
11.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.244 * [taylor]: Taking taylor expansion of x in x
11.245 * [taylor]: Taking taylor expansion of -1 in y
11.246 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y
11.246 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y
11.246 * [taylor]: Taking taylor expansion of (/ 1 z) in y
11.246 * [taylor]: Taking taylor expansion of z in y
11.246 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
11.246 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.246 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.246 * [taylor]: Taking taylor expansion of -1 in y
11.246 * [taylor]: Taking taylor expansion of y in y
11.247 * [taylor]: Taking taylor expansion of y in y
11.248 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y
11.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.248 * [taylor]: Taking taylor expansion of y in y
11.248 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y
11.248 * [taylor]: Taking taylor expansion of 0.5 in y
11.248 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
11.249 * [taylor]: Taking taylor expansion of (/ -1 y) in y
11.249 * [taylor]: Taking taylor expansion of -1 in y
11.249 * [taylor]: Taking taylor expansion of y in y
11.250 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z
11.250 * [taylor]: Taking taylor expansion of (log -1) in z
11.250 * [taylor]: Taking taylor expansion of -1 in z
11.250 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z
11.250 * [taylor]: Taking taylor expansion of (log y) in z
11.250 * [taylor]: Taking taylor expansion of y in z
11.250 * [taylor]: Taking taylor expansion of 1 in z
11.251 * [taylor]: Taking taylor expansion of -1 in z
11.254 * [taylor]: Taking taylor expansion of 0 in y
11.259 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z
11.259 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z
11.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z
11.259 * [taylor]: Taking taylor expansion of z in z
11.259 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z
11.259 * [taylor]: Taking taylor expansion of 0.5 in z
11.259 * [taylor]: Taking taylor expansion of (log y) in z
11.259 * [taylor]: Taking taylor expansion of y in z
11.259 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z
11.259 * [taylor]: Taking taylor expansion of 0.5 in z
11.259 * [taylor]: Taking taylor expansion of (log -1) in z
11.259 * [taylor]: Taking taylor expansion of -1 in z
11.260 * [taylor]: Taking taylor expansion of 0 in z
11.262 * * * [progress]: simplifying candidates
11.263 * [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))))
  (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)))
  (/ (* (/ (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)
  (+ (* 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 (+ (* 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))))
  (- (+ 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)))
11.267 * * [simplify]: iteration  0 :  172  enodes  (cost  1294 )
11.305 * * [simplify]: iteration  1 :  439  enodes  (cost  1175 )
11.411 * * [simplify]: iteration  2 :  1335  enodes  (cost  1094 )
11.861 * * [simplify]: iteration  done :  5002  enodes  (cost  1063 )
11.862 * [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))
  (+ (* (- x (* (log y) (+ y 0.5))) (- (- x (* (+ y 0.5) (log y))) y)) (* 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) (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))
  (* (- (log y)) (+ y 0.5))
  (- (* 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)
  (* (- (log y)) (+ y 0.5))
  (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)
  (* (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)))
  (+ (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1)))) y)
  (- x (* (log y) (+ y 0.5)))
  (- x (* (log y) (+ y 0.5)))
  (+ x (* (+ y 0.5) (- (log (/ -1 y)) (log -1))))
  (- (+ x y) (* (log y) (+ y 0.5)))
  (+ (- y z) (- x (* y (log y))))
  (- (+ x (* y (- (+ (log (/ -1 y)) 1) (log -1)))) z)
11.862 * * * [progress]: adding candidates to table
12.061 * * [progress]: iteration 2 / 4
12.061 * * * [progress]: picking best candidate
12.070 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- x (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) y) z))>
12.070 * * * [progress]: localizing error
12.084 * * * [progress]: generating rewritten candidates
12.084 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2 1)
12.085 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
12.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
12.097 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
12.114 * * * [progress]: generating series expansions
12.114 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2 1)
12.114 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
12.114 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.114 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.114 * [taylor]: Taking taylor expansion of 1/3 in y
12.114 * [taylor]: Taking taylor expansion of (log y) in y
12.114 * [taylor]: Taking taylor expansion of y in y
12.115 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.115 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.115 * [taylor]: Taking taylor expansion of 1/3 in y
12.115 * [taylor]: Taking taylor expansion of (log y) in y
12.115 * [taylor]: Taking taylor expansion of y in y
12.163 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
12.163 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.163 * [taylor]: Taking taylor expansion of 1/3 in y
12.163 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.163 * [taylor]: Taking taylor expansion of y in y
12.164 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.164 * [taylor]: Taking taylor expansion of 1/3 in y
12.164 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.164 * [taylor]: Taking taylor expansion of y in y
12.220 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
12.220 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.220 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.220 * [taylor]: Taking taylor expansion of -1 in y
12.220 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.221 * [taylor]: Taking taylor expansion of 1/3 in y
12.221 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.221 * [taylor]: Taking taylor expansion of y in y
12.221 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.221 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.221 * [taylor]: Taking taylor expansion of -1 in y
12.222 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.222 * [taylor]: Taking taylor expansion of 1/3 in y
12.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.222 * [taylor]: Taking taylor expansion of y in y
12.289 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
12.289 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
12.289 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.289 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.289 * [taylor]: Taking taylor expansion of 1/3 in y
12.289 * [taylor]: Taking taylor expansion of (log y) in y
12.289 * [taylor]: Taking taylor expansion of y in y
12.290 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.290 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.290 * [taylor]: Taking taylor expansion of 1/3 in y
12.290 * [taylor]: Taking taylor expansion of (log y) in y
12.290 * [taylor]: Taking taylor expansion of y in y
12.342 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
12.342 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.342 * [taylor]: Taking taylor expansion of 1/3 in y
12.342 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.342 * [taylor]: Taking taylor expansion of y in y
12.343 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.343 * [taylor]: Taking taylor expansion of 1/3 in y
12.343 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.343 * [taylor]: Taking taylor expansion of y in y
12.399 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
12.400 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.400 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.400 * [taylor]: Taking taylor expansion of -1 in y
12.401 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.401 * [taylor]: Taking taylor expansion of 1/3 in y
12.401 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.401 * [taylor]: Taking taylor expansion of y in y
12.402 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.402 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.402 * [taylor]: Taking taylor expansion of -1 in y
12.403 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.403 * [taylor]: Taking taylor expansion of 1/3 in y
12.403 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.403 * [taylor]: Taking taylor expansion of y in y
12.473 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
12.473 * [approximate]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in (y) around 0
12.473 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y
12.473 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y
12.473 * [taylor]: Taking taylor expansion of 3 in y
12.473 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y
12.473 * [taylor]: Taking taylor expansion of y in y
12.473 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
12.473 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.473 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.473 * [taylor]: Taking taylor expansion of 1/3 in y
12.473 * [taylor]: Taking taylor expansion of (log y) in y
12.473 * [taylor]: Taking taylor expansion of y in y
12.474 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y
12.474 * [taylor]: Taking taylor expansion of 1.5 in y
12.474 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
12.474 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.474 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.474 * [taylor]: Taking taylor expansion of 1/3 in y
12.474 * [taylor]: Taking taylor expansion of (log y) in y
12.474 * [taylor]: Taking taylor expansion of y in y
12.475 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y
12.475 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y
12.475 * [taylor]: Taking taylor expansion of 3 in y
12.475 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y
12.475 * [taylor]: Taking taylor expansion of y in y
12.475 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
12.475 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.475 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.475 * [taylor]: Taking taylor expansion of 1/3 in y
12.475 * [taylor]: Taking taylor expansion of (log y) in y
12.475 * [taylor]: Taking taylor expansion of y in y
12.476 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y
12.476 * [taylor]: Taking taylor expansion of 1.5 in y
12.476 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
12.476 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
12.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
12.476 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
12.476 * [taylor]: Taking taylor expansion of 1/3 in y
12.476 * [taylor]: Taking taylor expansion of (log y) in y
12.476 * [taylor]: Taking taylor expansion of y in y
12.730 * [approximate]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in (y) around 0
12.730 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y
12.730 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y
12.730 * [taylor]: Taking taylor expansion of 1.5 in y
12.730 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
12.730 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.730 * [taylor]: Taking taylor expansion of 1/3 in y
12.730 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.730 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.730 * [taylor]: Taking taylor expansion of y in y
12.731 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y
12.731 * [taylor]: Taking taylor expansion of 3 in y
12.731 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y
12.731 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
12.731 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.731 * [taylor]: Taking taylor expansion of 1/3 in y
12.731 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.731 * [taylor]: Taking taylor expansion of y in y
12.732 * [taylor]: Taking taylor expansion of y in y
12.732 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y
12.732 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y
12.732 * [taylor]: Taking taylor expansion of 1.5 in y
12.732 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
12.732 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.732 * [taylor]: Taking taylor expansion of 1/3 in y
12.732 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.732 * [taylor]: Taking taylor expansion of y in y
12.733 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y
12.733 * [taylor]: Taking taylor expansion of 3 in y
12.733 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y
12.733 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
12.733 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.733 * [taylor]: Taking taylor expansion of 1/3 in y
12.733 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.733 * [taylor]: Taking taylor expansion of y in y
12.734 * [taylor]: Taking taylor expansion of y in y
12.953 * [approximate]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in (y) around 0
12.953 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y
12.953 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
12.954 * [taylor]: Taking taylor expansion of 1.5 in y
12.954 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
12.954 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.954 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.954 * [taylor]: Taking taylor expansion of -1 in y
12.954 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.954 * [taylor]: Taking taylor expansion of 1/3 in y
12.954 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.954 * [taylor]: Taking taylor expansion of y in y
12.956 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y
12.956 * [taylor]: Taking taylor expansion of 3 in y
12.956 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y
12.956 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
12.956 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.956 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.956 * [taylor]: Taking taylor expansion of -1 in y
12.957 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.957 * [taylor]: Taking taylor expansion of 1/3 in y
12.957 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.957 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.957 * [taylor]: Taking taylor expansion of y in y
12.959 * [taylor]: Taking taylor expansion of y in y
12.959 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y))) in y
12.959 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
12.959 * [taylor]: Taking taylor expansion of 1.5 in y
12.959 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
12.959 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.959 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.959 * [taylor]: Taking taylor expansion of -1 in y
12.960 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.960 * [taylor]: Taking taylor expansion of 1/3 in y
12.960 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.960 * [taylor]: Taking taylor expansion of y in y
12.962 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y
12.962 * [taylor]: Taking taylor expansion of 3 in y
12.962 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y
12.962 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
12.962 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
12.962 * [taylor]: Taking taylor expansion of (cbrt -1) in y
12.962 * [taylor]: Taking taylor expansion of -1 in y
12.962 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
12.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
12.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
12.963 * [taylor]: Taking taylor expansion of 1/3 in y
12.963 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
12.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.963 * [taylor]: Taking taylor expansion of y in y
12.964 * [taylor]: Taking taylor expansion of y in y
13.240 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
13.240 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0
13.240 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
13.241 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
13.241 * [taylor]: Taking taylor expansion of y in y
13.241 * [taylor]: Taking taylor expansion of 0.5 in y
13.241 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
13.241 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
13.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
13.241 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
13.241 * [taylor]: Taking taylor expansion of 1/3 in y
13.241 * [taylor]: Taking taylor expansion of (log y) in y
13.241 * [taylor]: Taking taylor expansion of y in y
13.247 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
13.247 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
13.247 * [taylor]: Taking taylor expansion of y in y
13.247 * [taylor]: Taking taylor expansion of 0.5 in y
13.247 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
13.247 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
13.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
13.247 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
13.247 * [taylor]: Taking taylor expansion of 1/3 in y
13.247 * [taylor]: Taking taylor expansion of (log y) in y
13.247 * [taylor]: Taking taylor expansion of y in y
13.372 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0
13.372 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
13.372 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
13.372 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
13.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
13.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
13.372 * [taylor]: Taking taylor expansion of 1/3 in y
13.372 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
13.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.372 * [taylor]: Taking taylor expansion of y in y
13.373 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
13.373 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.373 * [taylor]: Taking taylor expansion of y in y
13.373 * [taylor]: Taking taylor expansion of 0.5 in y
13.373 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
13.373 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
13.373 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
13.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
13.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
13.373 * [taylor]: Taking taylor expansion of 1/3 in y
13.374 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
13.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.374 * [taylor]: Taking taylor expansion of y in y
13.374 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
13.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.374 * [taylor]: Taking taylor expansion of y in y
13.375 * [taylor]: Taking taylor expansion of 0.5 in y
13.509 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0
13.509 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
13.509 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
13.509 * [taylor]: Taking taylor expansion of 0.5 in y
13.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.509 * [taylor]: Taking taylor expansion of y in y
13.509 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
13.509 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
13.509 * [taylor]: Taking taylor expansion of (cbrt -1) in y
13.509 * [taylor]: Taking taylor expansion of -1 in y
13.510 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
13.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
13.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
13.510 * [taylor]: Taking taylor expansion of 1/3 in y
13.510 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
13.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.510 * [taylor]: Taking taylor expansion of y in y
13.512 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
13.512 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
13.512 * [taylor]: Taking taylor expansion of 0.5 in y
13.512 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.512 * [taylor]: Taking taylor expansion of y in y
13.512 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
13.512 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
13.512 * [taylor]: Taking taylor expansion of (cbrt -1) in y
13.512 * [taylor]: Taking taylor expansion of -1 in y
13.513 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
13.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
13.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
13.513 * [taylor]: Taking taylor expansion of 1/3 in y
13.513 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
13.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y
13.513 * [taylor]: Taking taylor expansion of y in y
13.682 * * * [progress]: simplifying candidates
13.684 * [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 (* (* 2 (log (cbrt y))) (+ y 0.5))) (exp (* (+ y 0.5) (log (cbrt y)))))
  (log (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))
  (exp (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))
  (* (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))))
  (cbrt (+ (* (* 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))))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))
  (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))
  (sqrt (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y)))))
  (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))))
  (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))
  (+ (* (* (* 2 (log (cbrt y))) (+ (pow y 3) (pow 0.5 3))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))))
  (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (- y 0.5))
  (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))))
  (* (- y 0.5) (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))
  (+ (* (* (* 2 (log (cbrt y))) (- (* y y) (* 0.5 0.5))) (- y 0.5)) (* (- y 0.5) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))))
  (* (- y 0.5) (- y 0.5))
  (+ (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3))
  (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (* (+ y 0.5) (log (cbrt y))) (* (+ 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)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (* (+ y 0.5) (log (cbrt y))) (* (+ 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 (* (cbrt y) (cbrt y))))))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt (sqrt y)))))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt 1))))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log (sqrt (cbrt y)))))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (+ y 0.5) (log 1)))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (* (cbrt y) (cbrt y)))) (+ y 0.5)))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt (sqrt y))) (+ y 0.5)))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt 1)) (+ y 0.5)))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (+ y 0.5)))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (sqrt (cbrt y))) (+ y 0.5)))
  (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log 1) (+ y 0.5)))
  (+ (* (* 2 (log (cbrt y))) 0.5) (* (+ y 0.5) (log (cbrt y))))
  (+ (* 0.5 (* 2 (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))
  (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))
  (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))
  (+ (* 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))
13.688 * * [simplify]: iteration  0 :  167  enodes  (cost  1466 )
13.732 * * [simplify]: iteration  1 :  474  enodes  (cost  1331 )
13.897 * * [simplify]: iteration  2 :  1762  enodes  (cost  1090 )
14.507 * * [simplify]: iteration  done :  5000  enodes  (cost  1090 )
14.511 * [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 (* 3 (* (+ y 0.5) (log (cbrt y)))))
  (log (* 3 (* (+ y 0.5) (log (cbrt y)))))
  (exp (* 3 (* (+ y 0.5) (log (cbrt y)))))
  (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))
  (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))
  (pow (* 3 (* (+ y 0.5) (log (cbrt y)))) 3)
  (sqrt (* 3 (* (+ y 0.5) (log (cbrt y)))))
  (sqrt (* 3 (* (+ y 0.5) (log (cbrt y)))))
  (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3))) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))))
  (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* y y) (* 0.5 (- 0.5 y))))
  (+ (* (* (- (* y y) (* 0.5 0.5)) (log (cbrt y))) (+ (* y y) (* 0.5 (- 0.5 y)))) (* (- y 0.5) (* (* 2/3 (log y)) (+ (pow y 3) (pow 0.5 3)))))
  (* (+ (* y y) (* 0.5 (- 0.5 y))) (- y 0.5))
  (+ (* (* (+ (* y y) (* 0.5 (- 0.5 y))) (- (* y y) (* 0.5 0.5))) (* 2/3 (log y))) (* (- y 0.5) (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))))
  (* (+ (* y y) (* 0.5 (- 0.5 y))) (- y 0.5))
  (* (- y 0.5) (+ (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y))) (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))))
  (* (- y 0.5) (- y 0.5))
  (+ (pow (* (+ y 0.5) (* 2/3 (log y))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3))
  (+ (* (- (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* 2/3 (log y)))) (* (+ y 0.5) (log (cbrt y)))) (* 4 (* (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (log (cbrt y))))))
  (* (- (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (log (cbrt y)))) (* 3 (* (+ y 0.5) (log (cbrt y)))))
  (- (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (log (cbrt y))))
  (* (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))) (+ y 0.5))
  (* (+ (log (cbrt (sqrt y))) (* 2/3 (log y))) (+ y 0.5))
  (* (+ y 0.5) (* 2/3 (log y)))
  (* (+ y 0.5) (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y))))
  (* (+ y 0.5) (+ (log (sqrt (cbrt y))) (* 2/3 (log y))))
  (* (+ y 0.5) (* 2/3 (log y)))
  (* (+ (* 2/3 (log y)) (log (cbrt (pow y 2/3)))) (+ y 0.5))
  (* (+ (log (cbrt (sqrt y))) (* 2/3 (log y))) (+ y 0.5))
  (* (+ y 0.5) (* 2/3 (log y)))
  (* (+ y 0.5) (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y))))
  (* (+ y 0.5) (+ (log (sqrt (cbrt y))) (* 2/3 (log y))))
  (* (+ y 0.5) (* 2/3 (log y)))
  (+ (* (+ y 0.5) (log (cbrt y))) (* 0.5 (* 2/3 (log y))))
  (+ (* (+ y 0.5) (log (cbrt y))) (* 0.5 (* 2/3 (log y))))
  (* (+ y 0.5) (log (cbrt y)))
  (log (* (+ y 0.5) (log (cbrt y))))
  (log (* (+ y 0.5) (log (cbrt y))))
  (pow (cbrt y) (+ y 0.5))
  (pow (* (+ y 0.5) (log (cbrt y))) 3)
  (* (cbrt (* (+ y 0.5) (log (cbrt y)))) (cbrt (* (+ y 0.5) (log (cbrt y)))))
  (cbrt (* (+ y 0.5) (log (cbrt y))))
  (pow (* (+ y 0.5) (log (cbrt y))) 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))))
  (* (log (cbrt (pow y 2/3))) (+ y 0.5))
  (* (log (cbrt (cbrt y))) (+ y 0.5))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  0
  (* (+ y 0.5) (log (cbrt y)))
  (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5))
  (* (log (cbrt (cbrt y))) (+ y 0.5))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  0
  (* (+ y 0.5) (log (cbrt y)))
  (* (log (cbrt (pow y 2/3))) (+ y 0.5))
  (* (log (cbrt (cbrt y))) (+ y 0.5))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  (* (+ y 0.5) (log (cbrt (sqrt y))))
  0
  (* (+ y 0.5) (log (cbrt y)))
  (* (* 2 (log (cbrt (cbrt y)))) (+ y 0.5))
  (* (log (cbrt (cbrt y))) (+ y 0.5))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  (* (+ y 0.5) (log (sqrt (cbrt y))))
  0
  (* (+ y 0.5) (log (cbrt y)))
  (* (+ 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)))
  (* (+ 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)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt (- y)) (cbrt -1))
  (* (log (cbrt y)) (+ (* 3 y) 1.5))
  (* (* (- (log y)) -1/3) (+ (* 3 y) 1.5))
  (+ (* (log (* (cbrt (- y)) (cbrt -1))) 1.5) (* 3 (* (log (* (cbrt (- y)) (cbrt -1))) y)))
  (* (+ y 0.5) (log (cbrt y)))
  (* -1/3 (* (- (log y)) (+ y 0.5)))
  (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5))
14.512 * * * [progress]: adding candidates to table
14.836 * * [progress]: iteration 3 / 4
14.836 * * * [progress]: picking best candidate
14.847 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- x (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) y) z))>
14.847 * * * [progress]: localizing error
14.864 * * * [progress]: generating rewritten candidates
14.864 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1)
14.864 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2)
14.868 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
14.879 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
14.892 * * * [progress]: generating series expansions
14.892 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 1)
14.892 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
14.892 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
14.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
14.892 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
14.892 * [taylor]: Taking taylor expansion of 1/3 in y
14.892 * [taylor]: Taking taylor expansion of (log y) in y
14.892 * [taylor]: Taking taylor expansion of y in y
14.893 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
14.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
14.893 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
14.893 * [taylor]: Taking taylor expansion of 1/3 in y
14.893 * [taylor]: Taking taylor expansion of (log y) in y
14.893 * [taylor]: Taking taylor expansion of y in y
14.946 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
14.946 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
14.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
14.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
14.946 * [taylor]: Taking taylor expansion of 1/3 in y
14.946 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
14.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.946 * [taylor]: Taking taylor expansion of y in y
14.947 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
14.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
14.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
14.947 * [taylor]: Taking taylor expansion of 1/3 in y
14.947 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
14.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.947 * [taylor]: Taking taylor expansion of y in y
15.004 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
15.004 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.004 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.004 * [taylor]: Taking taylor expansion of -1 in y
15.005 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.005 * [taylor]: Taking taylor expansion of 1/3 in y
15.005 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.005 * [taylor]: Taking taylor expansion of y in y
15.006 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.006 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.006 * [taylor]: Taking taylor expansion of -1 in y
15.007 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.007 * [taylor]: Taking taylor expansion of 1/3 in y
15.007 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.007 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.007 * [taylor]: Taking taylor expansion of y in y
15.067 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2)
15.067 * [approximate]: Taking taylor expansion of (* 2/3 (log y)) in (y) around 0
15.067 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y
15.067 * [taylor]: Taking taylor expansion of 2/3 in y
15.067 * [taylor]: Taking taylor expansion of (log y) in y
15.068 * [taylor]: Taking taylor expansion of y in y
15.068 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y
15.068 * [taylor]: Taking taylor expansion of 2/3 in y
15.068 * [taylor]: Taking taylor expansion of (log y) in y
15.068 * [taylor]: Taking taylor expansion of y in y
15.113 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in (y) around 0
15.113 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y
15.113 * [taylor]: Taking taylor expansion of 2/3 in y
15.113 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.113 * [taylor]: Taking taylor expansion of y in y
15.114 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y
15.114 * [taylor]: Taking taylor expansion of 2/3 in y
15.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.114 * [taylor]: Taking taylor expansion of y in y
15.162 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in (y) around 0
15.162 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y
15.162 * [taylor]: Taking taylor expansion of 2/3 in y
15.162 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
15.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.162 * [taylor]: Taking taylor expansion of -1 in y
15.162 * [taylor]: Taking taylor expansion of y in y
15.162 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y
15.162 * [taylor]: Taking taylor expansion of 2/3 in y
15.162 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
15.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.162 * [taylor]: Taking taylor expansion of -1 in y
15.162 * [taylor]: Taking taylor expansion of y in y
15.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
15.210 * [approximate]: Taking taylor expansion of (+ (* y (log (pow y 1/3))) (+ (* 0.3333333333333333 (log y)) (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y)))))) in (y) around 0
15.211 * [taylor]: Taking taylor expansion of (+ (* y (log (pow y 1/3))) (+ (* 0.3333333333333333 (log y)) (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y)))))) in y
15.211 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y
15.211 * [taylor]: Taking taylor expansion of y in y
15.211 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
15.211 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
15.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
15.211 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
15.211 * [taylor]: Taking taylor expansion of 1/3 in y
15.211 * [taylor]: Taking taylor expansion of (log y) in y
15.211 * [taylor]: Taking taylor expansion of y in y
15.211 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (log y)) (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y))))) in y
15.211 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (log y)) in y
15.211 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
15.211 * [taylor]: Taking taylor expansion of (log y) in y
15.211 * [taylor]: Taking taylor expansion of y in y
15.212 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y)))) in y
15.212 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow y 1/3))) in y
15.212 * [taylor]: Taking taylor expansion of 0.5 in y
15.212 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
15.212 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
15.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
15.212 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
15.212 * [taylor]: Taking taylor expansion of 1/3 in y
15.212 * [taylor]: Taking taylor expansion of (log y) in y
15.212 * [taylor]: Taking taylor expansion of y in y
15.212 * [taylor]: Taking taylor expansion of (* 2/3 (* y (log y))) in y
15.213 * [taylor]: Taking taylor expansion of 2/3 in y
15.213 * [taylor]: Taking taylor expansion of (* y (log y)) in y
15.213 * [taylor]: Taking taylor expansion of y in y
15.213 * [taylor]: Taking taylor expansion of (log y) in y
15.213 * [taylor]: Taking taylor expansion of y in y
15.213 * [taylor]: Taking taylor expansion of (+ (* y (log (pow y 1/3))) (+ (* 0.3333333333333333 (log y)) (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y)))))) in y
15.213 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y
15.213 * [taylor]: Taking taylor expansion of y in y
15.213 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
15.213 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
15.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
15.213 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
15.213 * [taylor]: Taking taylor expansion of 1/3 in y
15.213 * [taylor]: Taking taylor expansion of (log y) in y
15.213 * [taylor]: Taking taylor expansion of y in y
15.214 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (log y)) (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y))))) in y
15.214 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (log y)) in y
15.214 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
15.214 * [taylor]: Taking taylor expansion of (log y) in y
15.214 * [taylor]: Taking taylor expansion of y in y
15.214 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y)))) in y
15.214 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow y 1/3))) in y
15.214 * [taylor]: Taking taylor expansion of 0.5 in y
15.214 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
15.214 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
15.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
15.214 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
15.214 * [taylor]: Taking taylor expansion of 1/3 in y
15.214 * [taylor]: Taking taylor expansion of (log y) in y
15.214 * [taylor]: Taking taylor expansion of y in y
15.215 * [taylor]: Taking taylor expansion of (* 2/3 (* y (log y))) in y
15.215 * [taylor]: Taking taylor expansion of 2/3 in y
15.215 * [taylor]: Taking taylor expansion of (* y (log y)) in y
15.215 * [taylor]: Taking taylor expansion of y in y
15.215 * [taylor]: Taking taylor expansion of (log y) in y
15.215 * [taylor]: Taking taylor expansion of y in y
15.617 * [approximate]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) y)) (+ (* 0.5 (log (pow (/ 1 y) 1/3))) (+ (/ (log (pow (/ 1 y) 1/3)) y) (* 0.3333333333333333 (log (/ 1 y)))))) in (y) around 0
15.617 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) y)) (+ (* 0.5 (log (pow (/ 1 y) 1/3))) (+ (/ (log (pow (/ 1 y) 1/3)) y) (* 0.3333333333333333 (log (/ 1 y)))))) in y
15.617 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) y)) in y
15.617 * [taylor]: Taking taylor expansion of 2/3 in y
15.617 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
15.617 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.617 * [taylor]: Taking taylor expansion of y in y
15.617 * [taylor]: Taking taylor expansion of y in y
15.618 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ 1 y) 1/3))) (+ (/ (log (pow (/ 1 y) 1/3)) y) (* 0.3333333333333333 (log (/ 1 y))))) in y
15.618 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ 1 y) 1/3))) in y
15.618 * [taylor]: Taking taylor expansion of 0.5 in y
15.618 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
15.618 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.618 * [taylor]: Taking taylor expansion of 1/3 in y
15.618 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.618 * [taylor]: Taking taylor expansion of y in y
15.619 * [taylor]: Taking taylor expansion of (+ (/ (log (pow (/ 1 y) 1/3)) y) (* 0.3333333333333333 (log (/ 1 y)))) in y
15.619 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y
15.619 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
15.619 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.619 * [taylor]: Taking taylor expansion of 1/3 in y
15.619 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.619 * [taylor]: Taking taylor expansion of y in y
15.620 * [taylor]: Taking taylor expansion of y in y
15.620 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (log (/ 1 y))) in y
15.620 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
15.620 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.620 * [taylor]: Taking taylor expansion of y in y
15.621 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) y)) (+ (* 0.5 (log (pow (/ 1 y) 1/3))) (+ (/ (log (pow (/ 1 y) 1/3)) y) (* 0.3333333333333333 (log (/ 1 y)))))) in y
15.621 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) y)) in y
15.621 * [taylor]: Taking taylor expansion of 2/3 in y
15.621 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y
15.621 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.621 * [taylor]: Taking taylor expansion of y in y
15.621 * [taylor]: Taking taylor expansion of y in y
15.622 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ 1 y) 1/3))) (+ (/ (log (pow (/ 1 y) 1/3)) y) (* 0.3333333333333333 (log (/ 1 y))))) in y
15.622 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ 1 y) 1/3))) in y
15.622 * [taylor]: Taking taylor expansion of 0.5 in y
15.622 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
15.622 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.622 * [taylor]: Taking taylor expansion of 1/3 in y
15.622 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.622 * [taylor]: Taking taylor expansion of y in y
15.623 * [taylor]: Taking taylor expansion of (+ (/ (log (pow (/ 1 y) 1/3)) y) (* 0.3333333333333333 (log (/ 1 y)))) in y
15.623 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y
15.623 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
15.623 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.623 * [taylor]: Taking taylor expansion of 1/3 in y
15.623 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.623 * [taylor]: Taking taylor expansion of y in y
15.624 * [taylor]: Taking taylor expansion of y in y
15.624 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (log (/ 1 y))) in y
15.624 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
15.624 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.624 * [taylor]: Taking taylor expansion of y in y
15.967 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (log (/ -1 y))) (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2/3 (/ (log (/ -1 y)) y)))) in (y) around 0
15.967 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (log (/ -1 y))) (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2/3 (/ (log (/ -1 y)) y)))) in y
15.967 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (log (/ -1 y))) (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
15.968 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (log (/ -1 y))) in y
15.968 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
15.968 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
15.968 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.968 * [taylor]: Taking taylor expansion of -1 in y
15.968 * [taylor]: Taking taylor expansion of y in y
15.968 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
15.968 * [taylor]: Taking taylor expansion of 0.5 in y
15.968 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
15.968 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.968 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.968 * [taylor]: Taking taylor expansion of -1 in y
15.969 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.969 * [taylor]: Taking taylor expansion of 1/3 in y
15.969 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.969 * [taylor]: Taking taylor expansion of y in y
15.976 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2/3 (/ (log (/ -1 y)) y))) in y
15.976 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y
15.976 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
15.976 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.976 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.976 * [taylor]: Taking taylor expansion of -1 in y
15.977 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.977 * [taylor]: Taking taylor expansion of 1/3 in y
15.977 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.977 * [taylor]: Taking taylor expansion of y in y
15.978 * [taylor]: Taking taylor expansion of y in y
15.979 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) y)) in y
15.979 * [taylor]: Taking taylor expansion of 2/3 in y
15.979 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
15.979 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
15.979 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.979 * [taylor]: Taking taylor expansion of -1 in y
15.979 * [taylor]: Taking taylor expansion of y in y
15.979 * [taylor]: Taking taylor expansion of y in y
15.981 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (log (/ -1 y))) (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2/3 (/ (log (/ -1 y)) y)))) in y
15.981 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (log (/ -1 y))) (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
15.981 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (log (/ -1 y))) in y
15.981 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
15.981 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
15.981 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.981 * [taylor]: Taking taylor expansion of -1 in y
15.981 * [taylor]: Taking taylor expansion of y in y
15.981 * [taylor]: Taking taylor expansion of (* 0.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
15.982 * [taylor]: Taking taylor expansion of 0.5 in y
15.982 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
15.982 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.982 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.982 * [taylor]: Taking taylor expansion of -1 in y
15.982 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.982 * [taylor]: Taking taylor expansion of 1/3 in y
15.982 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.982 * [taylor]: Taking taylor expansion of y in y
15.984 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) (* 2/3 (/ (log (/ -1 y)) y))) in y
15.984 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y
15.984 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
15.984 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
15.984 * [taylor]: Taking taylor expansion of (cbrt -1) in y
15.984 * [taylor]: Taking taylor expansion of -1 in y
15.985 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
15.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
15.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
15.985 * [taylor]: Taking taylor expansion of 1/3 in y
15.985 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
15.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.985 * [taylor]: Taking taylor expansion of y in y
15.986 * [taylor]: Taking taylor expansion of y in y
15.987 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) y)) in y
15.987 * [taylor]: Taking taylor expansion of 2/3 in y
15.987 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y
15.987 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
15.987 * [taylor]: Taking taylor expansion of (/ -1 y) in y
15.987 * [taylor]: Taking taylor expansion of -1 in y
15.987 * [taylor]: Taking taylor expansion of y in y
15.987 * [taylor]: Taking taylor expansion of y in y
16.410 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
16.410 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0
16.410 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
16.410 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
16.410 * [taylor]: Taking taylor expansion of y in y
16.410 * [taylor]: Taking taylor expansion of 0.5 in y
16.410 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
16.410 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
16.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
16.410 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
16.410 * [taylor]: Taking taylor expansion of 1/3 in y
16.410 * [taylor]: Taking taylor expansion of (log y) in y
16.410 * [taylor]: Taking taylor expansion of y in y
16.411 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
16.411 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
16.411 * [taylor]: Taking taylor expansion of y in y
16.411 * [taylor]: Taking taylor expansion of 0.5 in y
16.411 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
16.411 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
16.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
16.411 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
16.411 * [taylor]: Taking taylor expansion of 1/3 in y
16.411 * [taylor]: Taking taylor expansion of (log y) in y
16.411 * [taylor]: Taking taylor expansion of y in y
16.540 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0
16.541 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
16.541 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
16.541 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.541 * [taylor]: Taking taylor expansion of 1/3 in y
16.541 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.541 * [taylor]: Taking taylor expansion of y in y
16.542 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
16.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.542 * [taylor]: Taking taylor expansion of y in y
16.542 * [taylor]: Taking taylor expansion of 0.5 in y
16.542 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
16.542 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
16.542 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.542 * [taylor]: Taking taylor expansion of 1/3 in y
16.542 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.542 * [taylor]: Taking taylor expansion of y in y
16.543 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
16.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.543 * [taylor]: Taking taylor expansion of y in y
16.543 * [taylor]: Taking taylor expansion of 0.5 in y
16.676 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0
16.676 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
16.676 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
16.676 * [taylor]: Taking taylor expansion of 0.5 in y
16.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.676 * [taylor]: Taking taylor expansion of y in y
16.676 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
16.676 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
16.676 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.676 * [taylor]: Taking taylor expansion of -1 in y
16.677 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.677 * [taylor]: Taking taylor expansion of 1/3 in y
16.677 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.677 * [taylor]: Taking taylor expansion of y in y
16.679 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
16.679 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
16.679 * [taylor]: Taking taylor expansion of 0.5 in y
16.679 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.679 * [taylor]: Taking taylor expansion of y in y
16.679 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
16.679 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
16.679 * [taylor]: Taking taylor expansion of (cbrt -1) in y
16.679 * [taylor]: Taking taylor expansion of -1 in y
16.680 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
16.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
16.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
16.680 * [taylor]: Taking taylor expansion of 1/3 in y
16.680 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
16.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.680 * [taylor]: Taking taylor expansion of y in y
16.849 * * * [progress]: simplifying candidates
16.851 * [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))
  (* 2/3 (log y))
  (+ (log 2/3) (log (log y)))
  (log (* 2/3 (log y)))
  (exp (* 2/3 (log y)))
  (* (* (* 2/3 2/3) 2/3) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y))))
  (cbrt (* 2/3 (log y)))
  (* (* (* 2/3 (log y)) (* 2/3 (log y))) (* 2/3 (log y)))
  (sqrt (* 2/3 (log y)))
  (sqrt (* 2/3 (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* 2/3 (log (* (cbrt y) (cbrt y))))
  (* 2/3 (log (cbrt y)))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log 1))
  (* 2/3 (log y))
  (* (log (* (cbrt y) (cbrt y))) 2/3)
  (* (log (cbrt y)) 2/3)
  (* (log (sqrt y)) 2/3)
  (* (log (sqrt y)) 2/3)
  (* (log 1) 2/3)
  (* (log y) 2/3)
  (* 2/3 1)
  (* 2/3 (* (cbrt (log y)) (cbrt (log y))))
  (* 2/3 (sqrt (log y)))
  (* 2/3 1)
  (* (cbrt 2/3) (log y))
  (* (sqrt 2/3) (log y))
  (* 2/3 (log y))
  (* (exp (* (+ y 0.5) (* 2/3 (log y)))) (exp (* (log (cbrt y)) (+ y 0.5))))
  (log (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5))))
  (exp (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5))))
  (* (cbrt (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) (cbrt (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))))
  (cbrt (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5))))
  (* (* (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5))) (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5))))
  (sqrt (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5))))
  (sqrt (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5))))
  (+ (* (* (+ (pow y 3) (pow 0.5 3)) (* 2/3 (log y))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3)))))
  (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))
  (+ (* (* (+ (pow y 3) (pow 0.5 3)) (* 2/3 (log y))) (- y 0.5)) (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5)))))
  (* (+ (* y y) (- (* 0.5 0.5) (* y 0.5))) (- y 0.5))
  (+ (* (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (- y 0.5) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3)))))
  (* (- y 0.5) (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))
  (+ (* (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y))) (- y 0.5)) (* (- y 0.5) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5)))))
  (* (- y 0.5) (- y 0.5))
  (+ (pow (* (+ y 0.5) (* 2/3 (log y))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3))
  (+ (* (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (* 2/3 (log y)))) (- (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (* (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))))
  (- (* (* (+ y 0.5) (* 2/3 (log y))) (* (+ y 0.5) (* 2/3 (log y)))) (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))))
  (- (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) y))
  (+ (* (+ y 0.5) (* 2/3 (log y))) (* y (log (cbrt y))))
  (+ (* (+ y 0.5) (* 2/3 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (+ y 0.5) (* 2/3 (log (sqrt y)))) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (+ y 0.5) (* (log (cbrt y)) 2/3)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (+ y 0.5) (* (log (sqrt y)) 2/3)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (+ y 0.5) (* (log y) 2/3)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (* 2/3 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (* 2/3 (log (sqrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (* 2/3 (log y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (* (log (cbrt y)) 2/3) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (* (log (sqrt y)) 2/3) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))
  (+ (* (* (log y) 2/3) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))
  (* (log (cbrt y)) (+ y 0.5))
  (+ (log (log (cbrt y))) (log (+ y 0.5)))
  (log (* (log (cbrt y)) (+ y 0.5)))
  (exp (* (log (cbrt y)) (+ y 0.5)))
  (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5)))
  (* (cbrt (* (log (cbrt y)) (+ y 0.5))) (cbrt (* (log (cbrt y)) (+ y 0.5))))
  (cbrt (* (log (cbrt y)) (+ y 0.5)))
  (* (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))
  (sqrt (* (log (cbrt y)) (+ y 0.5)))
  (sqrt (* (log (cbrt y)) (+ y 0.5)))
  (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5)))
  (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5)))
  (* (log (cbrt y)) y)
  (* (log (cbrt y)) 0.5)
  (* y (log (cbrt y)))
  (* 0.5 (log (cbrt y)))
  (* (log (cbrt y)) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5))))
  (* (log (cbrt y)) (sqrt (+ y 0.5)))
  (* (log (cbrt y)) 1)
  (* (log (cbrt y)) 1)
  (* (log y) (+ y 0.5))
  (* (log (cbrt y)) (+ y 0.5))
  (* (cbrt (log (cbrt y))) (+ y 0.5))
  (* (sqrt (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)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* 2/3 (log y))
  (* -2/3 (log (/ 1 y)))
  (* 2/3 (- (log -1) (log (/ -1 y))))
  (+ (* y (log (pow y 1/3))) (+ (* 0.3333333333333333 (log y)) (+ (* 0.5 (log (pow y 1/3))) (* 2/3 (* y (log y))))))
  (- (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.3333333333333333 (log (/ 1 y))) (* 2/3 (* y (log (/ 1 y))))))
  (- (+ (* 2/3 (* (log -1) y)) (+ (* 0.3333333333333333 (log -1)) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)))) (+ (* 2/3 (* y (log (/ -1 y)))) (* 0.3333333333333333 (log (/ -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))
16.856 * * [simplify]: iteration  0 :  216  enodes  (cost  1429 )
16.912 * * [simplify]: iteration  1 :  570  enodes  (cost  1229 )
17.115 * * [simplify]: iteration  2 :  2047  enodes  (cost  1040 )
17.777 * * [simplify]: iteration  done :  5001  enodes  (cost  1040 )
17.778 * [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))
  (* 2/3 (log y))
  (log (* 2/3 (log y)))
  (log (* 2/3 (log y)))
  (pow y 2/3)
  (pow (* (log y) 2/3) 3)
  (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y))))
  (cbrt (* 2/3 (log y)))
  (pow (* (log y) 2/3) 3)
  (sqrt (* 2/3 (log y)))
  (sqrt (* 2/3 (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* (sqrt 2/3) (sqrt (log y)))
  (* 4/9 (log y))
  (* 2/9 (log y))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log (sqrt y)))
  0
  (* 2/3 (log y))
  (* 4/9 (log y))
  (* 2/9 (log y))
  (* 2/3 (log (sqrt y)))
  (* 2/3 (log (sqrt y)))
  0
  (* 2/3 (log y))
  2/3
  (* 2/3 (* (cbrt (log y)) (cbrt (log y))))
  (* 2/3 (sqrt (log y)))
  2/3
  (* (cbrt 2/3) (log y))
  (* (sqrt 2/3) (log y))
  (* 2/3 (log y))
  (pow (exp (+ y 0.5)) (* (log y) 1))
  (log (* (+ y 0.5) (* (log y) 1)))
  (pow (exp (+ y 0.5)) (* (log y) 1))
  (* (cbrt (* (+ y 0.5) (* (log y) 1))) (cbrt (* (+ y 0.5) (* (log y) 1))))
  (cbrt (* (+ y 0.5) (* (log y) 1)))
  (pow (* (+ y 0.5) (* (log y) 1)) 3)
  (sqrt (* (+ y 0.5) (* (log y) 1)))
  (sqrt (* (+ y 0.5) (* (log y) 1)))
  (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* (+ (pow y 3) (pow 0.5 3)) (* 2/3 (log y))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3)))))
  (* (+ (* y y) (* 0.5 (- 0.5 y))) (+ (* y y) (* 0.5 (- 0.5 y))))
  (+ (* (* (+ (pow y 3) (pow 0.5 3)) (* 2/3 (log y))) (- y 0.5)) (* (+ (* y y) (* 0.5 (- 0.5 y))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5)))))
  (* (- y 0.5) (+ (* y y) (* 0.5 (- 0.5 y))))
  (+ (* (- y 0.5) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3)))) (* (+ (* y y) (* 0.5 (- 0.5 y))) (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y)))))
  (* (- y 0.5) (+ (* y y) (* 0.5 (- 0.5 y))))
  (* (- y 0.5) (+ (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (* (- (* y y) (* 0.5 0.5)) (* 2/3 (log y)))))
  (* (- y 0.5) (- y 0.5))
  (+ (pow (* (+ y 0.5) (* 2/3 (log y))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3))
  (+ (* (+ y 0.5) (* (log (cbrt y)) (* (+ y 0.5) (- (log (cbrt y)) (* 2/3 (log y)))))) (* (* (+ y 0.5) (+ y 0.5)) (* 4/9 (* (log y) (log y)))))
  (* (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))) (* (+ y 0.5) (* (log y) 1)))
  (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))
  (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) y))
  (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) y))
  (* 5/3 (* (+ y 0.5) (log (cbrt y))))
  (* (+ y 0.5) (+ (* 2/3 (log (sqrt y))) (log (cbrt y))))
  (* (+ y 0.5) (* (log y) 1))
  (* 5/3 (* (+ y 0.5) (log (cbrt y))))
  (* (+ y 0.5) (+ (* 2/3 (log (sqrt y))) (log (cbrt y))))
  (* (+ y 0.5) (* (log y) 1))
  (* 5/3 (* (+ y 0.5) (log (cbrt y))))
  (* (+ y 0.5) (+ (* 2/3 (log (sqrt y))) (log (cbrt y))))
  (* (+ y 0.5) (* (log y) 1))
  (* 5/3 (* (+ y 0.5) (log (cbrt y))))
  (* (+ y 0.5) (+ (* 2/3 (log (sqrt y))) (log (cbrt y))))
  (* (+ y 0.5) (* (log y) 1))
  (* (+ y 0.5) (log (cbrt y)))
  (log (* (log (cbrt y)) (+ y 0.5)))
  (log (* (log (cbrt y)) (+ y 0.5)))
  (pow (cbrt y) (+ y 0.5))
  (pow (* (+ y 0.5) (log (cbrt y))) 3)
  (* (cbrt (* (log (cbrt y)) (+ y 0.5))) (cbrt (* (log (cbrt y)) (+ y 0.5))))
  (cbrt (* (log (cbrt y)) (+ y 0.5)))
  (pow (* (+ y 0.5) (log (cbrt y))) 3)
  (sqrt (* (log (cbrt y)) (+ y 0.5)))
  (sqrt (* (log (cbrt y)) (+ y 0.5)))
  (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5)))
  (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5)))
  (* (log (cbrt y)) y)
  (* (log (cbrt y)) 0.5)
  (* (log (cbrt y)) y)
  (* (log (cbrt y)) 0.5)
  (* (log (cbrt y)) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5))))
  (* (log (cbrt y)) (sqrt (+ y 0.5)))
  (log (cbrt y))
  (log (cbrt y))
  (* (log y) (+ y 0.5))
  (* (+ y 0.5) (log (cbrt y)))
  (* (cbrt (log (cbrt y))) (+ y 0.5))
  (* (sqrt (log (cbrt y))) (+ y 0.5))
  (* (+ y 0.5) (log (cbrt y)))
  (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3)))
  (* (* (- y 0.5) (log (cbrt y))) (+ y 0.5))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (* 2/3 (log y))
  (* (- (log y)) -2/3)
  (* 2/3 (- (log -1) (log (/ -1 y))))
  (+ (+ (* (log (cbrt y)) y) (* 0.3333333333333333 (log y))) (+ (* (log (cbrt y)) 0.5) (* 2/3 (* y (log y)))))
  (- (* (* -1/3 (- (log y))) (+ y 0.5)) (* (- (log y)) (+ (* 2/3 y) 0.3333333333333333)))
  (+ (+ (* 2/3 (* (log -1) y)) (* 0.3333333333333333 (log -1))) (- (* (log (* (cbrt -1) (cbrt (- y)))) (+ y 0.5)) (* (log (/ -1 y)) (+ (* 2/3 y) 0.3333333333333333))))
  (* (+ y 0.5) (log (cbrt y)))
  (* (* -1/3 (- (log y))) (+ y 0.5))
  (* (log (* (cbrt -1) (cbrt (- y)))) (+ y 0.5))
17.778 * * * [progress]: adding candidates to table
18.123 * * [progress]: iteration 4 / 4
18.123 * * * [progress]: picking best candidate
18.130 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ (- x (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))) y) z))>
18.130 * * * [progress]: localizing error
18.147 * * * [progress]: generating rewritten candidates
18.147 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 2 2 1)
18.148 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1 2 2 1)
18.148 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 2 2 1)
18.149 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
18.163 * * * [progress]: generating series expansions
18.163 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 2 2 1)
18.164 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
18.164 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.164 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.164 * [taylor]: Taking taylor expansion of 1/3 in y
18.164 * [taylor]: Taking taylor expansion of (log y) in y
18.164 * [taylor]: Taking taylor expansion of y in y
18.165 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.165 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.165 * [taylor]: Taking taylor expansion of 1/3 in y
18.165 * [taylor]: Taking taylor expansion of (log y) in y
18.165 * [taylor]: Taking taylor expansion of y in y
18.215 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
18.215 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.215 * [taylor]: Taking taylor expansion of 1/3 in y
18.215 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.215 * [taylor]: Taking taylor expansion of y in y
18.216 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.216 * [taylor]: Taking taylor expansion of 1/3 in y
18.216 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.216 * [taylor]: Taking taylor expansion of y in y
18.276 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
18.276 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.276 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.276 * [taylor]: Taking taylor expansion of -1 in y
18.277 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.277 * [taylor]: Taking taylor expansion of 1/3 in y
18.277 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.277 * [taylor]: Taking taylor expansion of y in y
18.278 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.278 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.278 * [taylor]: Taking taylor expansion of -1 in y
18.278 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.278 * [taylor]: Taking taylor expansion of 1/3 in y
18.278 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.278 * [taylor]: Taking taylor expansion of y in y
18.350 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1 2 2 1)
18.350 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
18.350 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.350 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.350 * [taylor]: Taking taylor expansion of 1/3 in y
18.350 * [taylor]: Taking taylor expansion of (log y) in y
18.350 * [taylor]: Taking taylor expansion of y in y
18.351 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.351 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.351 * [taylor]: Taking taylor expansion of 1/3 in y
18.351 * [taylor]: Taking taylor expansion of (log y) in y
18.351 * [taylor]: Taking taylor expansion of y in y
18.410 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
18.410 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.410 * [taylor]: Taking taylor expansion of 1/3 in y
18.410 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.410 * [taylor]: Taking taylor expansion of y in y
18.411 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.411 * [taylor]: Taking taylor expansion of 1/3 in y
18.411 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.411 * [taylor]: Taking taylor expansion of y in y
18.464 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
18.464 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.464 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.464 * [taylor]: Taking taylor expansion of -1 in y
18.465 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.465 * [taylor]: Taking taylor expansion of 1/3 in y
18.465 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.465 * [taylor]: Taking taylor expansion of y in y
18.466 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.466 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.466 * [taylor]: Taking taylor expansion of -1 in y
18.467 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.467 * [taylor]: Taking taylor expansion of 1/3 in y
18.467 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.467 * [taylor]: Taking taylor expansion of y in y
18.537 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 2 2 1)
18.537 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
18.537 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.537 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.537 * [taylor]: Taking taylor expansion of 1/3 in y
18.537 * [taylor]: Taking taylor expansion of (log y) in y
18.537 * [taylor]: Taking taylor expansion of y in y
18.538 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.538 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.538 * [taylor]: Taking taylor expansion of 1/3 in y
18.538 * [taylor]: Taking taylor expansion of (log y) in y
18.538 * [taylor]: Taking taylor expansion of y in y
18.594 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
18.594 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.594 * [taylor]: Taking taylor expansion of 1/3 in y
18.594 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.594 * [taylor]: Taking taylor expansion of y in y
18.595 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.595 * [taylor]: Taking taylor expansion of 1/3 in y
18.595 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.595 * [taylor]: Taking taylor expansion of y in y
18.652 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
18.652 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.652 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.652 * [taylor]: Taking taylor expansion of -1 in y
18.653 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.653 * [taylor]: Taking taylor expansion of 1/3 in y
18.653 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.653 * [taylor]: Taking taylor expansion of y in y
18.654 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.654 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.654 * [taylor]: Taking taylor expansion of -1 in y
18.655 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.655 * [taylor]: Taking taylor expansion of 1/3 in y
18.655 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.655 * [taylor]: Taking taylor expansion of y in y
18.723 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
18.724 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow (* (+ y 0.5) (log (pow y 1/3))) 1/3)) in (y) around 0
18.724 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow (* (+ y 0.5) (log (pow y 1/3))) 1/3)) in y
18.724 * [taylor]: Taking taylor expansion of (cbrt 3) in y
18.724 * [taylor]: Taking taylor expansion of 3 in y
18.724 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log (pow y 1/3))) 1/3) in y
18.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log (pow y 1/3)))))) in y
18.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log (pow y 1/3))))) in y
18.724 * [taylor]: Taking taylor expansion of 1/3 in y
18.724 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log (pow y 1/3)))) in y
18.724 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
18.724 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
18.724 * [taylor]: Taking taylor expansion of y in y
18.724 * [taylor]: Taking taylor expansion of 0.5 in y
18.724 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
18.724 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.725 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.725 * [taylor]: Taking taylor expansion of 1/3 in y
18.725 * [taylor]: Taking taylor expansion of (log y) in y
18.725 * [taylor]: Taking taylor expansion of y in y
18.726 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow (* (+ y 0.5) (log (pow y 1/3))) 1/3)) in y
18.726 * [taylor]: Taking taylor expansion of (cbrt 3) in y
18.726 * [taylor]: Taking taylor expansion of 3 in y
18.726 * [taylor]: Taking taylor expansion of (pow (* (+ y 0.5) (log (pow y 1/3))) 1/3) in y
18.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ y 0.5) (log (pow y 1/3)))))) in y
18.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ y 0.5) (log (pow y 1/3))))) in y
18.727 * [taylor]: Taking taylor expansion of 1/3 in y
18.727 * [taylor]: Taking taylor expansion of (log (* (+ y 0.5) (log (pow y 1/3)))) in y
18.727 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y
18.727 * [taylor]: Taking taylor expansion of (+ y 0.5) in y
18.727 * [taylor]: Taking taylor expansion of y in y
18.727 * [taylor]: Taking taylor expansion of 0.5 in y
18.727 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
18.727 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
18.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
18.727 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
18.727 * [taylor]: Taking taylor expansion of 1/3 in y
18.727 * [taylor]: Taking taylor expansion of (log y) in y
18.727 * [taylor]: Taking taylor expansion of y in y
18.755 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) 1/3)) in (y) around 0
18.755 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) 1/3)) in y
18.755 * [taylor]: Taking taylor expansion of (cbrt 3) in y
18.755 * [taylor]: Taking taylor expansion of 3 in y
18.756 * [taylor]: Taking taylor expansion of (pow (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) 1/3) in y
18.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))))) in y
18.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)))) in y
18.756 * [taylor]: Taking taylor expansion of 1/3 in y
18.756 * [taylor]: Taking taylor expansion of (log (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in y
18.756 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
18.756 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
18.756 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.756 * [taylor]: Taking taylor expansion of 1/3 in y
18.756 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.756 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.756 * [taylor]: Taking taylor expansion of y in y
18.757 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
18.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.757 * [taylor]: Taking taylor expansion of y in y
18.757 * [taylor]: Taking taylor expansion of 0.5 in y
18.758 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) 1/3)) in y
18.758 * [taylor]: Taking taylor expansion of (cbrt 3) in y
18.758 * [taylor]: Taking taylor expansion of 3 in y
18.759 * [taylor]: Taking taylor expansion of (pow (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) 1/3) in y
18.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))))) in y
18.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)))) in y
18.759 * [taylor]: Taking taylor expansion of 1/3 in y
18.759 * [taylor]: Taking taylor expansion of (log (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5))) in y
18.759 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y
18.759 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
18.759 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.759 * [taylor]: Taking taylor expansion of 1/3 in y
18.759 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.759 * [taylor]: Taking taylor expansion of y in y
18.760 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
18.760 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.760 * [taylor]: Taking taylor expansion of y in y
18.760 * [taylor]: Taking taylor expansion of 0.5 in y
18.784 * [approximate]: Taking taylor expansion of (* (cbrt 3) (pow (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) 1/3)) in (y) around 0
18.784 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) 1/3)) in y
18.784 * [taylor]: Taking taylor expansion of (cbrt 3) in y
18.784 * [taylor]: Taking taylor expansion of 3 in y
18.785 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) 1/3) in y
18.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in y
18.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y
18.785 * [taylor]: Taking taylor expansion of 1/3 in y
18.785 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
18.785 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
18.785 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
18.785 * [taylor]: Taking taylor expansion of 0.5 in y
18.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.785 * [taylor]: Taking taylor expansion of y in y
18.785 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
18.785 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.785 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.785 * [taylor]: Taking taylor expansion of -1 in y
18.786 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.786 * [taylor]: Taking taylor expansion of 1/3 in y
18.786 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.786 * [taylor]: Taking taylor expansion of y in y
18.791 * [taylor]: Taking taylor expansion of (* (cbrt 3) (pow (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) 1/3)) in y
18.791 * [taylor]: Taking taylor expansion of (cbrt 3) in y
18.791 * [taylor]: Taking taylor expansion of 3 in y
18.792 * [taylor]: Taking taylor expansion of (pow (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) 1/3) in y
18.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in y
18.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y
18.792 * [taylor]: Taking taylor expansion of 1/3 in y
18.792 * [taylor]: Taking taylor expansion of (log (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
18.792 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
18.792 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
18.792 * [taylor]: Taking taylor expansion of 0.5 in y
18.792 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.792 * [taylor]: Taking taylor expansion of y in y
18.792 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
18.792 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
18.792 * [taylor]: Taking taylor expansion of (cbrt -1) in y
18.792 * [taylor]: Taking taylor expansion of -1 in y
18.793 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
18.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
18.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
18.793 * [taylor]: Taking taylor expansion of 1/3 in y
18.793 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
18.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.793 * [taylor]: Taking taylor expansion of y in y
19.025 * * * [progress]: simplifying candidates
19.026 * [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))
  (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 (* 3 (* (+ y 0.5) (log (cbrt y))))))
  (exp (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))
  (cbrt 3)
  (cbrt (* (+ y 0.5) (log (cbrt y))))
  (cbrt (* 3 (* (+ (pow y 3) (pow 0.5 3)) (log (cbrt y)))))
  (cbrt (+ (* y y) (- (* 0.5 0.5) (* y 0.5))))
  (cbrt (* 3 (* (- (* y y) (* 0.5 0.5)) (log (cbrt y)))))
  (cbrt (- y 0.5))
  (* (cbrt (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))))
  (cbrt (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))
  (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))
  (sqrt (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))
  (sqrt (cbrt (* 3 (* (+ y 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))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (- (+ (* 0.6666666666666666 (* (* (cbrt 3) y) (pow (* (log (pow y 1/3)) 0.5) 1/3))) (+ (* 0.2222222222222222 (* (* (cbrt 3) (pow y 2)) (pow (* 0.5 (log (pow y 1/3))) 1/3))) (* (cbrt 3) (pow (* 0.5 (log (pow y 1/3))) 1/3)))) (* 1/6 (* (* (cbrt 3) (pow y 2)) (pow (/ (log (pow y 1/3)) (pow 0.5 5)) 1/3))))
  (- (+ (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (log (pow (/ 1 y) -1/3))) (log (/ 1 y))))) (cbrt 3)) y)) (* (exp (* 1/3 (- (log (log (pow (/ 1 y) -1/3))) (log (/ 1 y))))) (cbrt 3))) (* 0.027777777777777776 (/ (* (exp (* 1/3 (- (log (log (pow (/ 1 y) -1/3))) (log (/ 1 y))))) (cbrt 3)) (pow y 2))))
  (- (+ (* (cbrt 3) (exp (* 1/3 (- (log (* -1 (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (log (/ -1 y)))))) (* 0.16666666666666666 (/ (* (cbrt 3) (exp (* 1/3 (- (log (* -1 (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (log (/ -1 y)))))) y))) (* 0.027777777777777776 (/ (* (cbrt 3) (exp (* 1/3 (- (log (* -1 (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (log (/ -1 y)))))) (pow y 2))))
19.029 * * [simplify]: iteration  0 :  113  enodes  (cost  571 )
19.050 * * [simplify]: iteration  1 :  265  enodes  (cost  534 )
19.108 * * [simplify]: iteration  2 :  765  enodes  (cost  486 )
19.481 * * [simplify]: iteration  3 :  2719  enodes  (cost  405 )
20.237 * * [simplify]: iteration  done :  5001  enodes  (cost  405 )
20.238 * [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))
  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))
  (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 (* (log y) (* (+ y 0.5) 1))))
  (exp (cbrt (* (log y) (* (+ y 0.5) 1))))
  (cbrt 3)
  (cbrt (* (+ y 0.5) (log (cbrt y))))
  (cbrt (* (* 1 (log y)) (+ (pow y 3) (pow 0.5 3))))
  (cbrt (+ (* y y) (* 0.5 (- 0.5 y))))
  (cbrt (* (* 1 (log y)) (- (* y y) (* 0.5 0.5))))
  (cbrt (- y 0.5))
  (* (cbrt (cbrt (* (log y) (* (+ y 0.5) 1)))) (cbrt (cbrt (* (log y) (* (+ y 0.5) 1)))))
  (cbrt (cbrt (* (log y) (* (+ y 0.5) 1))))
  (* (log y) (* (+ y 0.5) 1))
  (sqrt (cbrt (* (log y) (* (+ y 0.5) 1))))
  (sqrt (cbrt (* (log y) (* (+ y 0.5) 1))))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (cbrt y)
  (pow (/ 1 y) -1/3)
  (* (cbrt -1) (cbrt (- y)))
  (- (* (cbrt (* (log (cbrt y)) 0.5)) (+ (* (cbrt 3) (+ (* 0.6666666666666666 y) (* 0.2222222222222222 (* y y)))) (cbrt 3))) (* (* (* (cbrt 3) (pow y 2)) (cbrt (/ (log (cbrt y)) (pow 0.5 5)))) 1/6))
  (+ (* (cbrt 3) (cbrt (exp (+ (log y) (log (log (cbrt y))))))) (* (/ (cbrt (exp (+ (log y) (log (log (cbrt y)))))) (/ y (cbrt 3))) (- 0.16666666666666666 (/ 0.027777777777777776 y))))
  (+ (* (* (/ (cbrt 3) y) (cbrt (exp (- (log (- (log (* (cbrt -1) (cbrt (- y)))))) (log (/ -1 y)))))) (- 0.16666666666666666 (/ 0.027777777777777776 y))) (* (cbrt 3) (cbrt (exp (- (log (- (log (* (cbrt -1) (cbrt (- y)))))) (log (/ -1 y)))))))
20.238 * * * [progress]: adding candidates to table
20.478 * [progress]: [Phase 3 of 3] Extracting.
20.478 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (+ (- x (* (+ y 0.5) (log y))) y) z))> #<alt (λ (x y z) (- (+ (- x (* (* (+ y 0.5) (sqrt (log y))) (sqrt (log y)))) y) z))> #<alt (λ (x y z) (- (+ (- x (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))) y) z))> #<alt (λ (x y z) (- (+ (- x (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) y) z))>)
20.479 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x)
20.479 * * * * [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) (sqrt (log y))) (sqrt (log y)))) y) z))> #<alt (λ (x y z) (- (+ (- x (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))) y) z))> #<alt (λ (x y z) (- (+ (- x (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) y) z))>)
20.505 * * * * [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) (sqrt (log y))) (sqrt (log y)))) y) z))> #<alt (λ (x y z) (- (+ (- x (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))) y) z))> #<alt (λ (x y z) (- (+ (- x (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) y) z))>)
20.531 * * * * [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) (sqrt (log y))) (sqrt (log y)))) y) z))> #<alt (λ (x y z) (- (+ (- x (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))) y) z))> #<alt (λ (x y z) (- (+ (- x (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) y) z))>)
20.551 * * * * [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) (sqrt (log y))) (sqrt (log y)))) y) z))> #<alt (λ (x y z) (- (+ (- x (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))) y) z))> #<alt (λ (x y z) (- (+ (- x (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) y) z))>)
20.573 * * * * [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) (sqrt (log y))) (sqrt (log y)))) y) z))> #<alt (λ (x y z) (- (+ (- x (* (* (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y)))))) (cbrt (* 3 (* (+ y 0.5) (log (cbrt y))))))) y) z))> #<alt (λ (x y z) (- (+ (- x (+ (* (+ y 0.5) (* 2/3 (log y))) (* (log (cbrt y)) (+ y 0.5)))) y) z))>)
20.593 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
20.594 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
20.594 * * [simplify]: iteration  0 :  10  enodes  (cost  12 )
20.594 * * [simplify]: iteration  1 :  13  enodes  (cost  12 )
20.595 * * [simplify]: iteration  done :  13  enodes  (cost  12 )
20.595 * [simplify]: Simplified to:
   (- (+ (- x (* (+ y 0.5) (log y))) y) z)
21.636 * [regime-testing]: Baseline error score: 0.11013897088394259
21.637 * [regime-testing]: Oracle error score: 0.04456705251860603
21.638 * [regime-testing]: End program error score: 0.11013897088394259
21.668 * [regime-testing]: Target error score: 0.11156602895361115