28.655 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.035 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.037 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.040 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.053 * * [simplify]: iteration 3 : 183 enodes (cost 12 ) 0.144 * * [simplify]: iteration 4 : 542 enodes (cost 11 ) 0.554 * * [simplify]: iteration 5 : 1069 enodes (cost 11 ) 1.479 * * [simplify]: iteration 6 : 1713 enodes (cost 11 ) 3.722 * * [simplify]: iteration 7 : 2387 enodes (cost 11 ) 5.562 * * [simplify]: iteration 8 : 2611 enodes (cost 11 ) 7.037 * * [simplify]: iteration 9 : 2729 enodes (cost 11 ) 8.720 * * [simplify]: iteration 10 : 3049 enodes (cost 11 ) 10.822 * * [simplify]: iteration 11 : 3261 enodes (cost 11 ) 12.553 * * [simplify]: iteration 12 : 3450 enodes (cost 11 ) 14.562 * * [simplify]: iteration 13 : 3675 enodes (cost 11 ) 17.077 * * [simplify]: iteration 14 : 3932 enodes (cost 11 ) 19.580 * * [simplify]: iteration 15 : 3978 enodes (cost 11 ) 21.796 * * [simplify]: iteration 16 : 3998 enodes (cost 11 ) 24.266 * * [simplify]: iteration done : 3998 enodes (cost 11 ) 24.266 * [simplify]: Simplified to: (- x (- (fma (log y) (+ y 0.5) z) y)) 24.270 * * [progress]: iteration 1 / 4 24.270 * * * [progress]: picking best candidate 24.274 * * * * [pick]: Picked # 24.274 * * * [progress]: localizing error 24.283 * * * [progress]: generating rewritten candidates 24.283 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 24.284 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 24.291 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 24.304 * * * [progress]: generating series expansions 24.305 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 24.305 * [approximate]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in (y z) around 0 24.305 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in z 24.305 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.305 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in z 24.305 * [taylor]: Taking taylor expansion of (log y) in z 24.305 * [taylor]: Taking taylor expansion of y in z 24.305 * [taylor]: Taking taylor expansion of (+ y 0.5) in z 24.305 * [taylor]: Taking taylor expansion of y in z 24.305 * [taylor]: Taking taylor expansion of 0.5 in z 24.305 * [taylor]: Taking taylor expansion of z in z 24.305 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 24.305 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.305 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 24.305 * [taylor]: Taking taylor expansion of (log y) in y 24.305 * [taylor]: Taking taylor expansion of y in y 24.306 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.306 * [taylor]: Taking taylor expansion of y in y 24.306 * [taylor]: Taking taylor expansion of 0.5 in y 24.306 * [taylor]: Taking taylor expansion of z in y 24.306 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 24.306 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.306 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 24.306 * [taylor]: Taking taylor expansion of (log y) in y 24.306 * [taylor]: Taking taylor expansion of y in y 24.306 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.306 * [taylor]: Taking taylor expansion of y in y 24.306 * [taylor]: Taking taylor expansion of 0.5 in y 24.307 * [taylor]: Taking taylor expansion of z in y 24.307 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 24.307 * [taylor]: Taking taylor expansion of z in z 24.307 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.307 * [taylor]: Taking taylor expansion of 0.5 in z 24.307 * [taylor]: Taking taylor expansion of (log y) in z 24.307 * [taylor]: Taking taylor expansion of y in z 24.309 * [taylor]: Taking taylor expansion of (log y) in z 24.309 * [taylor]: Taking taylor expansion of y in z 24.311 * [approximate]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in (y z) around 0 24.311 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in z 24.312 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.312 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in z 24.312 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 24.312 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.312 * [taylor]: Taking taylor expansion of y in z 24.312 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in z 24.312 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.312 * [taylor]: Taking taylor expansion of y in z 24.312 * [taylor]: Taking taylor expansion of 0.5 in z 24.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.312 * [taylor]: Taking taylor expansion of z in z 24.312 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 24.312 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.312 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.312 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.312 * [taylor]: Taking taylor expansion of y in y 24.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.313 * [taylor]: Taking taylor expansion of y in y 24.313 * [taylor]: Taking taylor expansion of 0.5 in y 24.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.313 * [taylor]: Taking taylor expansion of z in y 24.313 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 24.314 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.314 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.314 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.314 * [taylor]: Taking taylor expansion of y in y 24.314 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.314 * [taylor]: Taking taylor expansion of y in y 24.314 * [taylor]: Taking taylor expansion of 0.5 in y 24.315 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.315 * [taylor]: Taking taylor expansion of z in y 24.315 * [taylor]: Taking taylor expansion of (- (log y)) in z 24.315 * [taylor]: Taking taylor expansion of (log y) in z 24.315 * [taylor]: Taking taylor expansion of y in z 24.318 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (log y))) in z 24.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.318 * [taylor]: Taking taylor expansion of z in z 24.318 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.318 * [taylor]: Taking taylor expansion of 0.5 in z 24.318 * [taylor]: Taking taylor expansion of (log y) in z 24.318 * [taylor]: Taking taylor expansion of y in z 24.323 * [taylor]: Taking taylor expansion of 0 in z 24.324 * [approximate]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in (y z) around 0 24.324 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in z 24.324 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.324 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in z 24.324 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 24.324 * [taylor]: Taking taylor expansion of (/ -1 y) in z 24.324 * [taylor]: Taking taylor expansion of -1 in z 24.324 * [taylor]: Taking taylor expansion of y in z 24.324 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in z 24.324 * [taylor]: Taking taylor expansion of 0.5 in z 24.324 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.324 * [taylor]: Taking taylor expansion of y in z 24.324 * [taylor]: Taking taylor expansion of (/ -1 z) in z 24.324 * [taylor]: Taking taylor expansion of -1 in z 24.324 * [taylor]: Taking taylor expansion of z in z 24.325 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 24.325 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.325 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 24.325 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.325 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.325 * [taylor]: Taking taylor expansion of -1 in y 24.325 * [taylor]: Taking taylor expansion of y in y 24.326 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.326 * [taylor]: Taking taylor expansion of 0.5 in y 24.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.326 * [taylor]: Taking taylor expansion of y in y 24.326 * [taylor]: Taking taylor expansion of (/ -1 z) in y 24.326 * [taylor]: Taking taylor expansion of -1 in y 24.326 * [taylor]: Taking taylor expansion of z in y 24.326 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 24.326 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.326 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 24.326 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.326 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.326 * [taylor]: Taking taylor expansion of -1 in y 24.326 * [taylor]: Taking taylor expansion of y in y 24.327 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.327 * [taylor]: Taking taylor expansion of 0.5 in y 24.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.327 * [taylor]: Taking taylor expansion of y in y 24.327 * [taylor]: Taking taylor expansion of (/ -1 z) in y 24.327 * [taylor]: Taking taylor expansion of -1 in y 24.327 * [taylor]: Taking taylor expansion of z in y 24.329 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 24.329 * [taylor]: Taking taylor expansion of (log y) in z 24.329 * [taylor]: Taking taylor expansion of y in z 24.329 * [taylor]: Taking taylor expansion of (log -1) in z 24.329 * [taylor]: Taking taylor expansion of -1 in z 24.334 * [taylor]: Taking taylor expansion of (- (* 0.5 (log -1)) (+ (/ 1 z) (* 0.5 (log y)))) in z 24.334 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 24.334 * [taylor]: Taking taylor expansion of 0.5 in z 24.334 * [taylor]: Taking taylor expansion of (log -1) in z 24.334 * [taylor]: Taking taylor expansion of -1 in z 24.334 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 24.334 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.334 * [taylor]: Taking taylor expansion of z in z 24.334 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.334 * [taylor]: Taking taylor expansion of 0.5 in z 24.334 * [taylor]: Taking taylor expansion of (log y) in z 24.334 * [taylor]: Taking taylor expansion of y in z 24.341 * [taylor]: Taking taylor expansion of 0 in z 24.345 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 24.345 * [approximate]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in (y z) around 0 24.345 * [taylor]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in z 24.345 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in z 24.345 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.346 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in z 24.346 * [taylor]: Taking taylor expansion of (log y) in z 24.346 * [taylor]: Taking taylor expansion of y in z 24.346 * [taylor]: Taking taylor expansion of (+ y 0.5) in z 24.346 * [taylor]: Taking taylor expansion of y in z 24.346 * [taylor]: Taking taylor expansion of 0.5 in z 24.346 * [taylor]: Taking taylor expansion of z in z 24.346 * [taylor]: Taking taylor expansion of y in z 24.346 * [taylor]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in y 24.346 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 24.346 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.346 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 24.346 * [taylor]: Taking taylor expansion of (log y) in y 24.346 * [taylor]: Taking taylor expansion of y in y 24.346 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.346 * [taylor]: Taking taylor expansion of y in y 24.346 * [taylor]: Taking taylor expansion of 0.5 in y 24.346 * [taylor]: Taking taylor expansion of z in y 24.346 * [taylor]: Taking taylor expansion of y in y 24.346 * [taylor]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in y 24.346 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 24.347 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.347 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 24.347 * [taylor]: Taking taylor expansion of (log y) in y 24.347 * [taylor]: Taking taylor expansion of y in y 24.347 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.347 * [taylor]: Taking taylor expansion of y in y 24.347 * [taylor]: Taking taylor expansion of 0.5 in y 24.347 * [taylor]: Taking taylor expansion of z in y 24.347 * [taylor]: Taking taylor expansion of y in y 24.348 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 24.348 * [taylor]: Taking taylor expansion of z in z 24.348 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.348 * [taylor]: Taking taylor expansion of 0.5 in z 24.348 * [taylor]: Taking taylor expansion of (log y) in z 24.348 * [taylor]: Taking taylor expansion of y in z 24.350 * [taylor]: Taking taylor expansion of (- (log y) 1) in z 24.350 * [taylor]: Taking taylor expansion of (log y) in z 24.350 * [taylor]: Taking taylor expansion of y in z 24.350 * [taylor]: Taking taylor expansion of 1 in z 24.352 * [approximate]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in (y z) around 0 24.352 * [taylor]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in z 24.352 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in z 24.352 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.353 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in z 24.353 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 24.353 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.353 * [taylor]: Taking taylor expansion of y in z 24.353 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in z 24.353 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.353 * [taylor]: Taking taylor expansion of y in z 24.353 * [taylor]: Taking taylor expansion of 0.5 in z 24.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.353 * [taylor]: Taking taylor expansion of z in z 24.353 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.353 * [taylor]: Taking taylor expansion of y in z 24.353 * [taylor]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in y 24.353 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 24.353 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.353 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.353 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.353 * [taylor]: Taking taylor expansion of y in y 24.354 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.354 * [taylor]: Taking taylor expansion of y in y 24.354 * [taylor]: Taking taylor expansion of 0.5 in y 24.354 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.354 * [taylor]: Taking taylor expansion of z in y 24.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.354 * [taylor]: Taking taylor expansion of y in y 24.355 * [taylor]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in y 24.355 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 24.355 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.355 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.355 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.355 * [taylor]: Taking taylor expansion of y in y 24.356 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.356 * [taylor]: Taking taylor expansion of y in y 24.356 * [taylor]: Taking taylor expansion of 0.5 in y 24.356 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.356 * [taylor]: Taking taylor expansion of z in y 24.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.356 * [taylor]: Taking taylor expansion of y in y 24.357 * [taylor]: Taking taylor expansion of (- (+ (log y) 1)) in z 24.357 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 24.357 * [taylor]: Taking taylor expansion of (log y) in z 24.357 * [taylor]: Taking taylor expansion of y in z 24.357 * [taylor]: Taking taylor expansion of 1 in z 24.361 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (log y))) in z 24.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.361 * [taylor]: Taking taylor expansion of z in z 24.361 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.361 * [taylor]: Taking taylor expansion of 0.5 in z 24.361 * [taylor]: Taking taylor expansion of (log y) in z 24.361 * [taylor]: Taking taylor expansion of y in z 24.367 * [taylor]: Taking taylor expansion of 0 in z 24.368 * [approximate]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in (y z) around 0 24.368 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in z 24.368 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in z 24.368 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.368 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in z 24.368 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 24.368 * [taylor]: Taking taylor expansion of (/ -1 y) in z 24.368 * [taylor]: Taking taylor expansion of -1 in z 24.368 * [taylor]: Taking taylor expansion of y in z 24.368 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in z 24.368 * [taylor]: Taking taylor expansion of 0.5 in z 24.368 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.368 * [taylor]: Taking taylor expansion of y in z 24.368 * [taylor]: Taking taylor expansion of (/ -1 z) in z 24.368 * [taylor]: Taking taylor expansion of -1 in z 24.368 * [taylor]: Taking taylor expansion of z in z 24.369 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.369 * [taylor]: Taking taylor expansion of y in z 24.369 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in y 24.369 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 24.369 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.369 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 24.369 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.369 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.369 * [taylor]: Taking taylor expansion of -1 in y 24.369 * [taylor]: Taking taylor expansion of y in y 24.370 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.370 * [taylor]: Taking taylor expansion of 0.5 in y 24.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.370 * [taylor]: Taking taylor expansion of y in y 24.370 * [taylor]: Taking taylor expansion of (/ -1 z) in y 24.370 * [taylor]: Taking taylor expansion of -1 in y 24.370 * [taylor]: Taking taylor expansion of z in y 24.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.370 * [taylor]: Taking taylor expansion of y in y 24.370 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in y 24.370 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 24.371 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.371 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 24.371 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.371 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.371 * [taylor]: Taking taylor expansion of -1 in y 24.371 * [taylor]: Taking taylor expansion of y in y 24.371 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.371 * [taylor]: Taking taylor expansion of 0.5 in y 24.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.371 * [taylor]: Taking taylor expansion of y in y 24.372 * [taylor]: Taking taylor expansion of (/ -1 z) in y 24.372 * [taylor]: Taking taylor expansion of -1 in y 24.372 * [taylor]: Taking taylor expansion of z in y 24.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.372 * [taylor]: Taking taylor expansion of y in y 24.374 * [taylor]: Taking taylor expansion of (- (+ (log y) 1) (log -1)) in z 24.374 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 24.374 * [taylor]: Taking taylor expansion of (log y) in z 24.374 * [taylor]: Taking taylor expansion of y in z 24.374 * [taylor]: Taking taylor expansion of 1 in z 24.374 * [taylor]: Taking taylor expansion of (log -1) in z 24.374 * [taylor]: Taking taylor expansion of -1 in z 24.384 * [taylor]: Taking taylor expansion of (- (* 0.5 (log -1)) (+ (/ 1 z) (* 0.5 (log y)))) in z 24.384 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 24.384 * [taylor]: Taking taylor expansion of 0.5 in z 24.384 * [taylor]: Taking taylor expansion of (log -1) in z 24.384 * [taylor]: Taking taylor expansion of -1 in z 24.384 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 24.384 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.384 * [taylor]: Taking taylor expansion of z in z 24.385 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.385 * [taylor]: Taking taylor expansion of 0.5 in z 24.385 * [taylor]: Taking taylor expansion of (log y) in z 24.385 * [taylor]: Taking taylor expansion of y in z 24.392 * [taylor]: Taking taylor expansion of 0 in z 24.396 * * * * [progress]: [ 3 / 3 ] generating series at (2) 24.396 * [approximate]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in (x y z) around 0 24.396 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in z 24.396 * [taylor]: Taking taylor expansion of (+ x y) in z 24.396 * [taylor]: Taking taylor expansion of x in z 24.396 * [taylor]: Taking taylor expansion of y in z 24.396 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in z 24.396 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.396 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in z 24.396 * [taylor]: Taking taylor expansion of (log y) in z 24.396 * [taylor]: Taking taylor expansion of y in z 24.396 * [taylor]: Taking taylor expansion of (+ y 0.5) in z 24.396 * [taylor]: Taking taylor expansion of y in z 24.396 * [taylor]: Taking taylor expansion of 0.5 in z 24.396 * [taylor]: Taking taylor expansion of z in z 24.396 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in y 24.396 * [taylor]: Taking taylor expansion of (+ x y) in y 24.396 * [taylor]: Taking taylor expansion of x in y 24.396 * [taylor]: Taking taylor expansion of y in y 24.396 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 24.397 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.397 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 24.397 * [taylor]: Taking taylor expansion of (log y) in y 24.397 * [taylor]: Taking taylor expansion of y in y 24.397 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.397 * [taylor]: Taking taylor expansion of y in y 24.397 * [taylor]: Taking taylor expansion of 0.5 in y 24.397 * [taylor]: Taking taylor expansion of z in y 24.397 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in x 24.397 * [taylor]: Taking taylor expansion of (+ x y) in x 24.397 * [taylor]: Taking taylor expansion of x in x 24.397 * [taylor]: Taking taylor expansion of y in x 24.397 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in x 24.397 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.397 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in x 24.397 * [taylor]: Taking taylor expansion of (log y) in x 24.397 * [taylor]: Taking taylor expansion of y in x 24.398 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 24.398 * [taylor]: Taking taylor expansion of y in x 24.398 * [taylor]: Taking taylor expansion of 0.5 in x 24.398 * [taylor]: Taking taylor expansion of z in x 24.398 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in x 24.398 * [taylor]: Taking taylor expansion of (+ x y) in x 24.398 * [taylor]: Taking taylor expansion of x in x 24.398 * [taylor]: Taking taylor expansion of y in x 24.398 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in x 24.398 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 24.398 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in x 24.398 * [taylor]: Taking taylor expansion of (log y) in x 24.398 * [taylor]: Taking taylor expansion of y in x 24.398 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 24.398 * [taylor]: Taking taylor expansion of y in x 24.398 * [taylor]: Taking taylor expansion of 0.5 in x 24.398 * [taylor]: Taking taylor expansion of z in x 24.398 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 24.398 * [taylor]: Taking taylor expansion of y in y 24.398 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 24.398 * [taylor]: Taking taylor expansion of z in y 24.399 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 24.399 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 24.399 * [taylor]: Taking taylor expansion of 0.5 in y 24.399 * [taylor]: Taking taylor expansion of (log y) in y 24.399 * [taylor]: Taking taylor expansion of y in y 24.399 * [taylor]: Taking taylor expansion of (* y (log y)) in y 24.399 * [taylor]: Taking taylor expansion of y in y 24.399 * [taylor]: Taking taylor expansion of (log y) in y 24.399 * [taylor]: Taking taylor expansion of y in y 24.400 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 24.400 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 24.400 * [taylor]: Taking taylor expansion of z in z 24.400 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.400 * [taylor]: Taking taylor expansion of 0.5 in z 24.400 * [taylor]: Taking taylor expansion of (log y) in z 24.400 * [taylor]: Taking taylor expansion of y in z 24.402 * [taylor]: Taking taylor expansion of 1 in y 24.403 * [taylor]: Taking taylor expansion of 1 in z 24.405 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 24.405 * [taylor]: Taking taylor expansion of 1 in z 24.405 * [taylor]: Taking taylor expansion of (log y) in z 24.405 * [taylor]: Taking taylor expansion of y in z 24.406 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in (x y z) around 0 24.406 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in z 24.406 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 24.406 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.406 * [taylor]: Taking taylor expansion of y in z 24.406 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.406 * [taylor]: Taking taylor expansion of x in z 24.406 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in z 24.406 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.406 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in z 24.406 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 24.406 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.406 * [taylor]: Taking taylor expansion of y in z 24.406 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in z 24.407 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.407 * [taylor]: Taking taylor expansion of y in z 24.407 * [taylor]: Taking taylor expansion of 0.5 in z 24.407 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.407 * [taylor]: Taking taylor expansion of z in z 24.407 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in y 24.407 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 24.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.407 * [taylor]: Taking taylor expansion of y in y 24.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.407 * [taylor]: Taking taylor expansion of x in y 24.407 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 24.408 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.408 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 24.408 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.408 * [taylor]: Taking taylor expansion of y in y 24.408 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.408 * [taylor]: Taking taylor expansion of y in y 24.409 * [taylor]: Taking taylor expansion of 0.5 in y 24.409 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.409 * [taylor]: Taking taylor expansion of z in y 24.409 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in x 24.409 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 24.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.409 * [taylor]: Taking taylor expansion of y in x 24.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.409 * [taylor]: Taking taylor expansion of x in x 24.409 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in x 24.409 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.409 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in x 24.409 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.409 * [taylor]: Taking taylor expansion of y in x 24.409 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in x 24.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.409 * [taylor]: Taking taylor expansion of y in x 24.409 * [taylor]: Taking taylor expansion of 0.5 in x 24.409 * [taylor]: Taking taylor expansion of (/ 1 z) in x 24.410 * [taylor]: Taking taylor expansion of z in x 24.410 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in x 24.410 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 24.410 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.410 * [taylor]: Taking taylor expansion of y in x 24.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.410 * [taylor]: Taking taylor expansion of x in x 24.410 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in x 24.410 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 24.410 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in x 24.410 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.410 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.410 * [taylor]: Taking taylor expansion of y in x 24.411 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in x 24.411 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.411 * [taylor]: Taking taylor expansion of y in x 24.411 * [taylor]: Taking taylor expansion of 0.5 in x 24.411 * [taylor]: Taking taylor expansion of (/ 1 z) in x 24.411 * [taylor]: Taking taylor expansion of z in x 24.411 * [taylor]: Taking taylor expansion of 1 in y 24.413 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 24.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.413 * [taylor]: Taking taylor expansion of y in y 24.413 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 24.413 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 24.413 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.413 * [taylor]: Taking taylor expansion of y in y 24.414 * [taylor]: Taking taylor expansion of y in y 24.414 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 24.414 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.414 * [taylor]: Taking taylor expansion of z in y 24.414 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 24.414 * [taylor]: Taking taylor expansion of 0.5 in y 24.414 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.415 * [taylor]: Taking taylor expansion of y in y 24.415 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 24.415 * [taylor]: Taking taylor expansion of (log y) in z 24.415 * [taylor]: Taking taylor expansion of y in z 24.415 * [taylor]: Taking taylor expansion of 1 in z 24.415 * [taylor]: Taking taylor expansion of 1 in z 24.418 * [taylor]: Taking taylor expansion of 0 in y 24.421 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 24.421 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.421 * [taylor]: Taking taylor expansion of 0.5 in z 24.421 * [taylor]: Taking taylor expansion of (log y) in z 24.421 * [taylor]: Taking taylor expansion of y in z 24.421 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.421 * [taylor]: Taking taylor expansion of z in z 24.422 * [taylor]: Taking taylor expansion of 0 in z 24.423 * [approximate]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in (x y z) around 0 24.423 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in z 24.423 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in z 24.423 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in z 24.423 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.423 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in z 24.423 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 24.423 * [taylor]: Taking taylor expansion of (/ -1 y) in z 24.423 * [taylor]: Taking taylor expansion of -1 in z 24.423 * [taylor]: Taking taylor expansion of y in z 24.423 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in z 24.423 * [taylor]: Taking taylor expansion of 0.5 in z 24.423 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.424 * [taylor]: Taking taylor expansion of y in z 24.424 * [taylor]: Taking taylor expansion of (/ -1 z) in z 24.424 * [taylor]: Taking taylor expansion of -1 in z 24.424 * [taylor]: Taking taylor expansion of z in z 24.424 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 24.424 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.424 * [taylor]: Taking taylor expansion of y in z 24.424 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.424 * [taylor]: Taking taylor expansion of x in z 24.424 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in y 24.424 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in y 24.424 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 24.424 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.424 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 24.424 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.424 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.424 * [taylor]: Taking taylor expansion of -1 in y 24.425 * [taylor]: Taking taylor expansion of y in y 24.425 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 24.425 * [taylor]: Taking taylor expansion of 0.5 in y 24.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.425 * [taylor]: Taking taylor expansion of y in y 24.425 * [taylor]: Taking taylor expansion of (/ -1 z) in y 24.426 * [taylor]: Taking taylor expansion of -1 in y 24.426 * [taylor]: Taking taylor expansion of z in y 24.426 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 24.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.426 * [taylor]: Taking taylor expansion of y in y 24.426 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.426 * [taylor]: Taking taylor expansion of x in y 24.426 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in x 24.426 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in x 24.426 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in x 24.426 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.426 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in x 24.426 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 24.426 * [taylor]: Taking taylor expansion of (/ -1 y) in x 24.426 * [taylor]: Taking taylor expansion of -1 in x 24.426 * [taylor]: Taking taylor expansion of y in x 24.426 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 24.426 * [taylor]: Taking taylor expansion of 0.5 in x 24.426 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.426 * [taylor]: Taking taylor expansion of y in x 24.426 * [taylor]: Taking taylor expansion of (/ -1 z) in x 24.426 * [taylor]: Taking taylor expansion of -1 in x 24.426 * [taylor]: Taking taylor expansion of z in x 24.427 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 24.427 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.427 * [taylor]: Taking taylor expansion of y in x 24.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.427 * [taylor]: Taking taylor expansion of x in x 24.427 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in x 24.427 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in x 24.427 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in x 24.427 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 24.427 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in x 24.427 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 24.427 * [taylor]: Taking taylor expansion of (/ -1 y) in x 24.427 * [taylor]: Taking taylor expansion of -1 in x 24.427 * [taylor]: Taking taylor expansion of y in x 24.427 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 24.427 * [taylor]: Taking taylor expansion of 0.5 in x 24.427 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.427 * [taylor]: Taking taylor expansion of y in x 24.427 * [taylor]: Taking taylor expansion of (/ -1 z) in x 24.427 * [taylor]: Taking taylor expansion of -1 in x 24.427 * [taylor]: Taking taylor expansion of z in x 24.428 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 24.428 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.428 * [taylor]: Taking taylor expansion of y in x 24.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.428 * [taylor]: Taking taylor expansion of x in x 24.429 * [taylor]: Taking taylor expansion of -1 in y 24.430 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 24.430 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 24.430 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.430 * [taylor]: Taking taylor expansion of z in y 24.430 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 24.430 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.430 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.430 * [taylor]: Taking taylor expansion of -1 in y 24.430 * [taylor]: Taking taylor expansion of y in y 24.431 * [taylor]: Taking taylor expansion of y in y 24.432 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 24.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.432 * [taylor]: Taking taylor expansion of y in y 24.433 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 24.433 * [taylor]: Taking taylor expansion of 0.5 in y 24.433 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 24.433 * [taylor]: Taking taylor expansion of (/ -1 y) in y 24.433 * [taylor]: Taking taylor expansion of -1 in y 24.433 * [taylor]: Taking taylor expansion of y in y 24.434 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 24.434 * [taylor]: Taking taylor expansion of (log -1) in z 24.434 * [taylor]: Taking taylor expansion of -1 in z 24.435 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 24.435 * [taylor]: Taking taylor expansion of (log y) in z 24.435 * [taylor]: Taking taylor expansion of y in z 24.435 * [taylor]: Taking taylor expansion of 1 in z 24.435 * [taylor]: Taking taylor expansion of -1 in z 24.438 * [taylor]: Taking taylor expansion of 0 in y 24.443 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 24.443 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 24.443 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.443 * [taylor]: Taking taylor expansion of z in z 24.443 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 24.443 * [taylor]: Taking taylor expansion of 0.5 in z 24.443 * [taylor]: Taking taylor expansion of (log y) in z 24.443 * [taylor]: Taking taylor expansion of y in z 24.443 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 24.443 * [taylor]: Taking taylor expansion of 0.5 in z 24.443 * [taylor]: Taking taylor expansion of (log -1) in z 24.443 * [taylor]: Taking taylor expansion of -1 in z 24.444 * [taylor]: Taking taylor expansion of 0 in z 24.446 * * * [progress]: simplifying candidates 24.448 * [simplify]: Simplifying using # : (expm1 (fma (log y) (+ y 0.5) z)) (log1p (fma (log y) (+ y 0.5) z)) (* (log y) (+ y 0.5)) (log (fma (log y) (+ y 0.5) z)) (exp (fma (log y) (+ y 0.5) z)) (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (* (* (fma (log y) (+ y 0.5) z) (fma (log y) (+ y 0.5) z)) (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- (* y 1))) (fma (- y) 1 (* y 1)) (fma (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (- (* y 1))) (fma (- y) 1 (* y 1)) (fma 1 (fma (log y) (+ y 0.5) z) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) (fma 1 (fma (log y) (+ y 0.5) z) (- (* (sqrt y) (sqrt y)))) (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) (fma 1 (fma (log y) (+ y 0.5) z) (- (* y 1))) (fma (- y) 1 (* y 1)) (expm1 (- (fma (log y) (+ y 0.5) z) y)) (log1p (- (fma (log y) (+ y 0.5) z) y)) (- y) (- y) (- y) (/ (exp (fma (log y) (+ y 0.5) z)) (exp y)) (log (- (fma (log y) (+ y 0.5) z) y)) (exp (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))) (cbrt (- (fma (log y) (+ y 0.5) z) y)) (* (* (- (fma (log y) (+ y 0.5) z) y) (- (fma (log y) (+ y 0.5) z) y)) (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y)) (- (pow (fma (log y) (+ y 0.5) z) 3) (pow y 3)) (+ (* (fma (log y) (+ y 0.5) z) (fma (log y) (+ y 0.5) z)) (+ (* y y) (* (fma (log y) (+ y 0.5) z) y))) (- y) (- (* (fma (log y) (+ y 0.5) z) (fma (log y) (+ y 0.5) z)) (* y y)) (+ (fma (log y) (+ y 0.5) z) y) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (- (fma (log y) (+ y 0.5) z) y) (- z y) (- y) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))))) (fma (- (cbrt (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y))))) (fma (- (sqrt (- (fma (log y) (+ y 0.5) z) y))) (sqrt (- (fma (log y) (+ y 0.5) z) y)) (* (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- (fma (log y) (+ y 0.5) z) y) 1))) (fma (- (- (fma (log y) (+ y 0.5) z) y)) 1 (* (- (fma (log y) (+ y 0.5) z) y) 1)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))))) (fma (- (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- (fma (log y) (+ y 0.5) z) y) 1))) (fma (- (- (fma (log y) (+ y 0.5) z) y)) 1 (* (- (fma (log y) (+ y 0.5) z) y) 1)) (fma (sqrt x) (sqrt x) (- (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))))) (fma (- (cbrt (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y))))) (fma (- (sqrt (- (fma (log y) (+ y 0.5) z) y))) (sqrt (- (fma (log y) (+ y 0.5) z) y)) (* (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y)))) (fma (sqrt x) (sqrt x) (- (* (- (fma (log y) (+ y 0.5) z) y) 1))) (fma (- (- (fma (log y) (+ y 0.5) z) y)) 1 (* (- (fma (log y) (+ y 0.5) z) y) 1)) (fma (sqrt x) (sqrt x) (- (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))))) (fma (- (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (fma (sqrt x) (sqrt x) (- (* (- (fma (log y) (+ y 0.5) z) y) 1))) (fma (- (- (fma (log y) (+ y 0.5) z) y)) 1 (* (- (fma (log y) (+ y 0.5) z) y) 1)) (fma 1 x (- (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))))) (fma (- (cbrt (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))))) (fma 1 x (- (* (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y))))) (fma (- (sqrt (- (fma (log y) (+ y 0.5) z) y))) (sqrt (- (fma (log y) (+ y 0.5) z) y)) (* (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y)))) (fma 1 x (- (* (- (fma (log y) (+ y 0.5) z) y) 1))) (fma (- (- (fma (log y) (+ y 0.5) z) y)) 1 (* (- (fma (log y) (+ y 0.5) z) y) 1)) (fma 1 x (- (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))))) (fma (- (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (fma 1 x (- (* (- (fma (log y) (+ y 0.5) z) y) 1))) (fma (- (- (fma (log y) (+ y 0.5) z) y)) 1 (* (- (fma (log y) (+ y 0.5) z) y) 1)) (expm1 (- x (- (fma (log y) (+ y 0.5) z) y))) (log1p (- x (- (fma (log y) (+ y 0.5) z) y))) (- (- (fma (log y) (+ y 0.5) z) y)) (- (- (fma (log y) (+ y 0.5) z) y)) (- (- (fma (log y) (+ y 0.5) z) y)) (/ (exp x) (/ (exp (fma (log y) (+ y 0.5) z)) (exp y))) (/ (exp x) (exp (- (fma (log y) (+ y 0.5) z) y))) (log (- x (- (fma (log y) (+ y 0.5) z) y))) (exp (- x (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- x (- (fma (log y) (+ y 0.5) z) y))) (cbrt (- x (- (fma (log y) (+ y 0.5) z) y)))) (cbrt (- x (- (fma (log y) (+ y 0.5) z) y))) (* (* (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y))) (- x (- (fma (log y) (+ y 0.5) z) y))) (sqrt (- x (- (fma (log y) (+ y 0.5) z) y))) (sqrt (- x (- (fma (log y) (+ y 0.5) z) y))) (- (pow x 3) (pow (- (fma (log y) (+ y 0.5) z) y) 3)) (+ (* x x) (+ (* (- (fma (log y) (+ y 0.5) z) y) (- (fma (log y) (+ y 0.5) z) y)) (* x (- (fma (log y) (+ y 0.5) z) y)))) (- (- (fma (log y) (+ y 0.5) z) y)) (- (* x x) (* (- (fma (log y) (+ y 0.5) z) y) (- (fma (log y) (+ y 0.5) z) y))) (+ x (- (fma (log y) (+ y 0.5) z) y)) (+ (sqrt x) (sqrt (- (fma (log y) (+ y 0.5) z) y))) (- (sqrt x) (sqrt (- (fma (log y) (+ y 0.5) z) y))) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (- x (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- (* (sqrt y) (sqrt y))))) (- x (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- (* y 1)))) (- x (fma (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (- x (fma (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (- (* (sqrt y) (sqrt y))))) (- x (fma (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (- (* y 1)))) (- x (fma 1 (fma (log y) (+ y 0.5) z) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (- x (fma 1 (fma (log y) (+ y 0.5) z) (- (* (sqrt y) (sqrt y))))) (- x (fma 1 (fma (log y) (+ y 0.5) z) (- (* y 1)))) (- x (fma (log y) (+ y 0.5) z)) (- x (* (log y) (+ y 0.5))) (- x (fma (log y) (+ y 0.5) z)) (- x (fma (log y) (+ y 0.5) z)) (- (- (fma (log y) (+ y 0.5) z) y)) (+ z (+ (* 0.5 (log y)) (* y (log y)))) (- z (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (+ (* (log -1) y) z)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ z (+ (* 0.5 (log y)) (* y (log y)))) y) (- z (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ (* 0.5 (log -1)) (+ (* (log -1) y) z)) (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (- (+ 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))) 24.454 * * [simplify]: iteration 0 : 170 enodes (cost 2426 ) 24.496 * * [simplify]: iteration 1 : 402 enodes (cost 1917 ) 24.657 * * [simplify]: iteration 2 : 1151 enodes (cost 1689 ) 25.207 * * [simplify]: iteration done : 5000 enodes (cost 1590 ) 25.208 * [simplify]: Simplified to: (expm1 (fma (log y) (+ y 0.5) z)) (log1p (fma (log y) (+ y 0.5) z)) (* (log y) (+ y 0.5)) (log (fma (log y) (+ y 0.5) z)) (exp (fma (log y) (+ y 0.5) z)) (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (pow (fma (log y) (+ y 0.5) z) 3) (sqrt (fma (log y) (+ y 0.5) z)) (sqrt (fma (log y) (+ y 0.5) z)) (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- y)) (- y y) (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- y)) (- y y) (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- y)) (- y y) (- (fma (+ y 0.5) (log y) z) y) (- y y) (- (fma (+ y 0.5) (log y) z) y) (- y y) (- (fma (+ y 0.5) (log y) z) y) (- y y) (- (fma (+ y 0.5) (log y) z) y) (- y y) (- (fma (+ y 0.5) (log y) z) y) (- y y) (- (fma (+ y 0.5) (log y) z) y) (- y y) (expm1 (- (fma (log y) (+ y 0.5) z) y)) (log1p (- (fma (log y) (+ y 0.5) z) y)) (- y) (- y) (- y) (exp (- (fma (log y) (+ y 0.5) z) y)) (log (- (fma (log y) (+ y 0.5) z) y)) (exp (- (fma (log y) (+ y 0.5) z) y)) (* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y))) (cbrt (- (fma (log y) (+ y 0.5) z) y)) (pow (- (fma (log y) (+ y 0.5) z) y) 3) (sqrt (- (fma (log y) (+ y 0.5) z) y)) (sqrt (- (fma (log y) (+ y 0.5) z) y)) (- (pow (fma (log y) (+ y 0.5) z) 3) (pow y 3)) (+ (* y y) (* (fma (+ y 0.5) (log y) z) (+ (fma (log y) (+ y 0.5) z) y))) (- y) (- (* (fma (log y) (+ y 0.5) z) (fma (log y) (+ y 0.5) z)) (* y y)) (+ (fma (log y) (+ y 0.5) z) y) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (- (fma (+ y 0.5) (log y) z) y) (- z y) (- y) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))))) (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (- (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (- (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (- x (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (* (- (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)) (+ (- (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y))) (+ (sqrt (fma (log y) (+ y 0.5) z)) (sqrt y)))) (- x (- (fma (log y) (+ y 0.5) z) y)) (* (- (fma (+ y 0.5) (log y) z) y) (+ -1 1)) (expm1 (- x (- (fma (log y) (+ y 0.5) z) y))) (log1p (- x (- (fma (log y) (+ y 0.5) z) y))) (- (- (fma (log y) (+ y 0.5) z) y)) (- (- (fma (log y) (+ y 0.5) z) y)) (- (- (fma (log y) (+ y 0.5) z) y)) (exp (- x (- (fma (log y) (+ y 0.5) z) y))) (exp (- x (- (fma (log y) (+ y 0.5) z) y))) (log (- x (- (fma (log y) (+ y 0.5) z) y))) (exp (- x (- (fma (log y) (+ y 0.5) z) y))) (* (cbrt (- x (- (fma (log y) (+ y 0.5) z) y))) (cbrt (- x (- (fma (log y) (+ y 0.5) z) y)))) (cbrt (- x (- (fma (log y) (+ y 0.5) z) y))) (pow (- x (- (fma (log y) (+ y 0.5) z) y)) 3) (sqrt (- x (- (fma (log y) (+ y 0.5) z) y))) (sqrt (- x (- (fma (log y) (+ y 0.5) z) y))) (- (pow x 3) (pow (- (fma (log y) (+ y 0.5) z) y) 3)) (fma x x (* (- (fma (log y) (+ y 0.5) z) y) (+ x (- (fma (log y) (+ y 0.5) z) y)))) (- (- (fma (log y) (+ y 0.5) z) y)) (- (* x x) (* (- (fma (log y) (+ y 0.5) z) y) (- (fma (log y) (+ y 0.5) z) y))) (+ x (- (fma (log y) (+ y 0.5) z) y)) (+ (sqrt x) (sqrt (- (fma (log y) (+ y 0.5) z) y))) (- (sqrt x) (sqrt (- (fma (log y) (+ y 0.5) z) y))) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- y))) (- x (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- y))) (- x (fma (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z))) (cbrt (fma (log y) (+ y 0.5) z)) (- y))) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (- (fma (log y) (+ y 0.5) z) y)) (- x (fma (log y) (+ y 0.5) z)) (- x (* (log y) (+ y 0.5))) (- x (fma (log y) (+ y 0.5) z)) (- x (fma (log y) (+ y 0.5) z)) (- (- (fma (log y) (+ y 0.5) z) y)) (fma (+ y 0.5) (log y) z) (- z (* (- (log y)) (+ y 0.5))) (- (+ (* (log -1) (+ y 0.5)) z) (* (log (/ -1 y)) (+ y 0.5))) (- (fma (+ y 0.5) (log y) z) y) (- (fma (+ y 0.5) (log y) z) y) (+ (* (log -1) (+ y 0.5)) (- z (+ (* (log (/ -1 y)) (+ y 0.5)) y))) (- (+ x y) (* (+ y 0.5) (log y))) (- (+ x (fma y (- (log y)) y)) z) (- (+ x (fma y (log (/ -1 y)) y)) (fma (log -1) y z)) 25.208 * * * [progress]: adding candidates to table 25.445 * * [progress]: iteration 2 / 4 25.445 * * * [progress]: picking best candidate 25.466 * * * * [pick]: Picked # 25.466 * * * [progress]: localizing error 25.476 * * * [progress]: generating rewritten candidates 25.476 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 25.487 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 25.497 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 25.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 25.571 * * * [progress]: generating series expansions 25.571 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 25.571 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 25.572 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 25.572 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 25.572 * [taylor]: Taking taylor expansion of y in y 25.572 * [taylor]: Taking taylor expansion of 0.5 in y 25.572 * [taylor]: Taking taylor expansion of (log y) in y 25.572 * [taylor]: Taking taylor expansion of y in y 25.572 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 25.572 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 25.572 * [taylor]: Taking taylor expansion of y in y 25.572 * [taylor]: Taking taylor expansion of 0.5 in y 25.572 * [taylor]: Taking taylor expansion of (log y) in y 25.572 * [taylor]: Taking taylor expansion of y in y 25.644 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 25.644 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 25.644 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.644 * [taylor]: Taking taylor expansion of y in y 25.645 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 25.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.645 * [taylor]: Taking taylor expansion of y in y 25.645 * [taylor]: Taking taylor expansion of 0.5 in y 25.645 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 25.645 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.645 * [taylor]: Taking taylor expansion of y in y 25.646 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 25.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.646 * [taylor]: Taking taylor expansion of y in y 25.646 * [taylor]: Taking taylor expansion of 0.5 in y 25.722 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 25.723 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 25.723 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 25.723 * [taylor]: Taking taylor expansion of 0.5 in y 25.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.723 * [taylor]: Taking taylor expansion of y in y 25.723 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.723 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.723 * [taylor]: Taking taylor expansion of -1 in y 25.723 * [taylor]: Taking taylor expansion of y in y 25.724 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 25.724 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 25.724 * [taylor]: Taking taylor expansion of 0.5 in y 25.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.724 * [taylor]: Taking taylor expansion of y in y 25.724 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.724 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.724 * [taylor]: Taking taylor expansion of -1 in y 25.724 * [taylor]: Taking taylor expansion of y in y 25.816 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 25.816 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 25.816 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 25.816 * [taylor]: Taking taylor expansion of (+ x y) in y 25.816 * [taylor]: Taking taylor expansion of x in y 25.816 * [taylor]: Taking taylor expansion of y in y 25.816 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 25.816 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 25.816 * [taylor]: Taking taylor expansion of 0.5 in y 25.816 * [taylor]: Taking taylor expansion of (log y) in y 25.816 * [taylor]: Taking taylor expansion of y in y 25.817 * [taylor]: Taking taylor expansion of (* y (log y)) in y 25.817 * [taylor]: Taking taylor expansion of y in y 25.817 * [taylor]: Taking taylor expansion of (log y) in y 25.817 * [taylor]: Taking taylor expansion of y in y 25.817 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 25.817 * [taylor]: Taking taylor expansion of (+ x y) in x 25.817 * [taylor]: Taking taylor expansion of x in x 25.817 * [taylor]: Taking taylor expansion of y in x 25.817 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 25.817 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 25.817 * [taylor]: Taking taylor expansion of 0.5 in x 25.817 * [taylor]: Taking taylor expansion of (log y) in x 25.817 * [taylor]: Taking taylor expansion of y in x 25.817 * [taylor]: Taking taylor expansion of (* y (log y)) in x 25.817 * [taylor]: Taking taylor expansion of y in x 25.817 * [taylor]: Taking taylor expansion of (log y) in x 25.817 * [taylor]: Taking taylor expansion of y in x 25.817 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 25.817 * [taylor]: Taking taylor expansion of (+ x y) in x 25.817 * [taylor]: Taking taylor expansion of x in x 25.817 * [taylor]: Taking taylor expansion of y in x 25.817 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 25.817 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 25.817 * [taylor]: Taking taylor expansion of 0.5 in x 25.817 * [taylor]: Taking taylor expansion of (log y) in x 25.817 * [taylor]: Taking taylor expansion of y in x 25.818 * [taylor]: Taking taylor expansion of (* y (log y)) in x 25.818 * [taylor]: Taking taylor expansion of y in x 25.818 * [taylor]: Taking taylor expansion of (log y) in x 25.818 * [taylor]: Taking taylor expansion of y in x 25.818 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 25.818 * [taylor]: Taking taylor expansion of y in y 25.818 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 25.818 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 25.818 * [taylor]: Taking taylor expansion of 0.5 in y 25.818 * [taylor]: Taking taylor expansion of (log y) in y 25.818 * [taylor]: Taking taylor expansion of y in y 25.819 * [taylor]: Taking taylor expansion of (* y (log y)) in y 25.819 * [taylor]: Taking taylor expansion of y in y 25.819 * [taylor]: Taking taylor expansion of (log y) in y 25.819 * [taylor]: Taking taylor expansion of y in y 25.822 * [taylor]: Taking taylor expansion of 1 in y 25.826 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 25.826 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 25.826 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 25.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.826 * [taylor]: Taking taylor expansion of y in y 25.826 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.826 * [taylor]: Taking taylor expansion of x in y 25.826 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 25.826 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 25.826 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.826 * [taylor]: Taking taylor expansion of y in y 25.827 * [taylor]: Taking taylor expansion of y in y 25.827 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 25.828 * [taylor]: Taking taylor expansion of 0.5 in y 25.828 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.828 * [taylor]: Taking taylor expansion of y in y 25.828 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 25.828 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 25.828 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.828 * [taylor]: Taking taylor expansion of y in x 25.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.828 * [taylor]: Taking taylor expansion of x in x 25.829 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 25.829 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 25.829 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.829 * [taylor]: Taking taylor expansion of y in x 25.829 * [taylor]: Taking taylor expansion of y in x 25.829 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 25.829 * [taylor]: Taking taylor expansion of 0.5 in x 25.829 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.829 * [taylor]: Taking taylor expansion of y in x 25.829 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 25.829 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 25.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.829 * [taylor]: Taking taylor expansion of y in x 25.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.829 * [taylor]: Taking taylor expansion of x in x 25.829 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 25.829 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 25.829 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.829 * [taylor]: Taking taylor expansion of y in x 25.830 * [taylor]: Taking taylor expansion of y in x 25.830 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 25.830 * [taylor]: Taking taylor expansion of 0.5 in x 25.830 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.830 * [taylor]: Taking taylor expansion of y in x 25.830 * [taylor]: Taking taylor expansion of 1 in y 25.831 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 25.831 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.831 * [taylor]: Taking taylor expansion of y in y 25.832 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 25.832 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 25.832 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.832 * [taylor]: Taking taylor expansion of y in y 25.832 * [taylor]: Taking taylor expansion of y in y 25.833 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 25.833 * [taylor]: Taking taylor expansion of 0.5 in y 25.833 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.833 * [taylor]: Taking taylor expansion of y in y 25.837 * [taylor]: Taking taylor expansion of 0 in y 25.840 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 25.840 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 25.840 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 25.840 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.840 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.840 * [taylor]: Taking taylor expansion of -1 in y 25.840 * [taylor]: Taking taylor expansion of y in y 25.841 * [taylor]: Taking taylor expansion of y in y 25.842 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 25.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.842 * [taylor]: Taking taylor expansion of y in y 25.843 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 25.843 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 25.843 * [taylor]: Taking taylor expansion of 0.5 in y 25.843 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.843 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.843 * [taylor]: Taking taylor expansion of -1 in y 25.843 * [taylor]: Taking taylor expansion of y in y 25.843 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.843 * [taylor]: Taking taylor expansion of x in y 25.844 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 25.844 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 25.844 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.844 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.844 * [taylor]: Taking taylor expansion of -1 in x 25.844 * [taylor]: Taking taylor expansion of y in x 25.844 * [taylor]: Taking taylor expansion of y in x 25.844 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 25.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.844 * [taylor]: Taking taylor expansion of y in x 25.844 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 25.844 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 25.844 * [taylor]: Taking taylor expansion of 0.5 in x 25.844 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.844 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.844 * [taylor]: Taking taylor expansion of -1 in x 25.844 * [taylor]: Taking taylor expansion of y in x 25.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.844 * [taylor]: Taking taylor expansion of x in x 25.844 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 25.844 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 25.844 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.844 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.845 * [taylor]: Taking taylor expansion of -1 in x 25.845 * [taylor]: Taking taylor expansion of y in x 25.845 * [taylor]: Taking taylor expansion of y in x 25.845 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 25.845 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.845 * [taylor]: Taking taylor expansion of y in x 25.845 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 25.845 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 25.845 * [taylor]: Taking taylor expansion of 0.5 in x 25.845 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.845 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.845 * [taylor]: Taking taylor expansion of -1 in x 25.845 * [taylor]: Taking taylor expansion of y in x 25.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.845 * [taylor]: Taking taylor expansion of x in x 25.846 * [taylor]: Taking taylor expansion of -1 in y 25.847 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 25.847 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 25.847 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.847 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.847 * [taylor]: Taking taylor expansion of -1 in y 25.847 * [taylor]: Taking taylor expansion of y in y 25.848 * [taylor]: Taking taylor expansion of y in y 25.849 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 25.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.850 * [taylor]: Taking taylor expansion of y in y 25.850 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 25.850 * [taylor]: Taking taylor expansion of 0.5 in y 25.850 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.850 * [taylor]: Taking taylor expansion of -1 in y 25.850 * [taylor]: Taking taylor expansion of y in y 25.855 * [taylor]: Taking taylor expansion of 0 in y 25.862 * * * * [progress]: [ 3 / 4 ] generating series at (2) 25.862 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 25.862 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 25.862 * [taylor]: Taking taylor expansion of (+ x y) in z 25.862 * [taylor]: Taking taylor expansion of x in z 25.863 * [taylor]: Taking taylor expansion of y in z 25.863 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 25.863 * [taylor]: Taking taylor expansion of z in z 25.863 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 25.863 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 25.863 * [taylor]: Taking taylor expansion of 0.5 in z 25.863 * [taylor]: Taking taylor expansion of (log y) in z 25.863 * [taylor]: Taking taylor expansion of y in z 25.863 * [taylor]: Taking taylor expansion of (* y (log y)) in z 25.863 * [taylor]: Taking taylor expansion of y in z 25.863 * [taylor]: Taking taylor expansion of (log y) in z 25.863 * [taylor]: Taking taylor expansion of y in z 25.863 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 25.863 * [taylor]: Taking taylor expansion of (+ x y) in y 25.863 * [taylor]: Taking taylor expansion of x in y 25.863 * [taylor]: Taking taylor expansion of y in y 25.863 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 25.863 * [taylor]: Taking taylor expansion of z in y 25.863 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 25.863 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 25.863 * [taylor]: Taking taylor expansion of 0.5 in y 25.863 * [taylor]: Taking taylor expansion of (log y) in y 25.863 * [taylor]: Taking taylor expansion of y in y 25.863 * [taylor]: Taking taylor expansion of (* y (log y)) in y 25.863 * [taylor]: Taking taylor expansion of y in y 25.863 * [taylor]: Taking taylor expansion of (log y) in y 25.863 * [taylor]: Taking taylor expansion of y in y 25.864 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 25.864 * [taylor]: Taking taylor expansion of (+ x y) in x 25.864 * [taylor]: Taking taylor expansion of x in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.864 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 25.864 * [taylor]: Taking taylor expansion of z in x 25.864 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 25.864 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 25.864 * [taylor]: Taking taylor expansion of 0.5 in x 25.864 * [taylor]: Taking taylor expansion of (log y) in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.864 * [taylor]: Taking taylor expansion of (* y (log y)) in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.864 * [taylor]: Taking taylor expansion of (log y) in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.864 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 25.864 * [taylor]: Taking taylor expansion of (+ x y) in x 25.864 * [taylor]: Taking taylor expansion of x in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.864 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 25.864 * [taylor]: Taking taylor expansion of z in x 25.864 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 25.864 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 25.864 * [taylor]: Taking taylor expansion of 0.5 in x 25.864 * [taylor]: Taking taylor expansion of (log y) in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.864 * [taylor]: Taking taylor expansion of (* y (log y)) in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.864 * [taylor]: Taking taylor expansion of (log y) in x 25.864 * [taylor]: Taking taylor expansion of y in x 25.865 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 25.865 * [taylor]: Taking taylor expansion of y in y 25.865 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 25.865 * [taylor]: Taking taylor expansion of z in y 25.865 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 25.865 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 25.865 * [taylor]: Taking taylor expansion of 0.5 in y 25.865 * [taylor]: Taking taylor expansion of (log y) in y 25.865 * [taylor]: Taking taylor expansion of y in y 25.866 * [taylor]: Taking taylor expansion of (* y (log y)) in y 25.866 * [taylor]: Taking taylor expansion of y in y 25.866 * [taylor]: Taking taylor expansion of (log y) in y 25.866 * [taylor]: Taking taylor expansion of y in y 25.867 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 25.867 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 25.867 * [taylor]: Taking taylor expansion of z in z 25.867 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 25.867 * [taylor]: Taking taylor expansion of 0.5 in z 25.867 * [taylor]: Taking taylor expansion of (log y) in z 25.867 * [taylor]: Taking taylor expansion of y in z 25.870 * [taylor]: Taking taylor expansion of 1 in y 25.870 * [taylor]: Taking taylor expansion of 1 in z 25.873 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 25.873 * [taylor]: Taking taylor expansion of 1 in z 25.873 * [taylor]: Taking taylor expansion of (log y) in z 25.873 * [taylor]: Taking taylor expansion of y in z 25.874 * [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 25.874 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 25.874 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 25.874 * [taylor]: Taking taylor expansion of (/ 1 y) in z 25.874 * [taylor]: Taking taylor expansion of y in z 25.874 * [taylor]: Taking taylor expansion of (/ 1 x) in z 25.874 * [taylor]: Taking taylor expansion of x in z 25.874 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 25.874 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 25.874 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 25.874 * [taylor]: Taking taylor expansion of (/ 1 y) in z 25.874 * [taylor]: Taking taylor expansion of y in z 25.874 * [taylor]: Taking taylor expansion of y in z 25.874 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 25.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.874 * [taylor]: Taking taylor expansion of z in z 25.875 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 25.875 * [taylor]: Taking taylor expansion of 0.5 in z 25.875 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 25.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z 25.875 * [taylor]: Taking taylor expansion of y in z 25.875 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 25.875 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 25.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.875 * [taylor]: Taking taylor expansion of y in y 25.875 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.875 * [taylor]: Taking taylor expansion of x in y 25.875 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 25.875 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 25.875 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.875 * [taylor]: Taking taylor expansion of y in y 25.876 * [taylor]: Taking taylor expansion of y in y 25.876 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 25.877 * [taylor]: Taking taylor expansion of (/ 1 z) in y 25.877 * [taylor]: Taking taylor expansion of z in y 25.877 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 25.877 * [taylor]: Taking taylor expansion of 0.5 in y 25.877 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.877 * [taylor]: Taking taylor expansion of y in y 25.877 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 25.877 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 25.877 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.877 * [taylor]: Taking taylor expansion of y in x 25.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.877 * [taylor]: Taking taylor expansion of x in x 25.878 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 25.878 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 25.878 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.878 * [taylor]: Taking taylor expansion of y in x 25.878 * [taylor]: Taking taylor expansion of y in x 25.878 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 25.878 * [taylor]: Taking taylor expansion of (/ 1 z) in x 25.878 * [taylor]: Taking taylor expansion of z in x 25.878 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 25.878 * [taylor]: Taking taylor expansion of 0.5 in x 25.878 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.878 * [taylor]: Taking taylor expansion of y in x 25.878 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 25.878 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 25.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.878 * [taylor]: Taking taylor expansion of y in x 25.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.878 * [taylor]: Taking taylor expansion of x in x 25.879 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 25.879 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 25.879 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.879 * [taylor]: Taking taylor expansion of y in x 25.879 * [taylor]: Taking taylor expansion of y in x 25.879 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 25.879 * [taylor]: Taking taylor expansion of (/ 1 z) in x 25.879 * [taylor]: Taking taylor expansion of z in x 25.879 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 25.879 * [taylor]: Taking taylor expansion of 0.5 in x 25.879 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.879 * [taylor]: Taking taylor expansion of y in x 25.880 * [taylor]: Taking taylor expansion of 1 in y 25.881 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 25.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.881 * [taylor]: Taking taylor expansion of y in y 25.881 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 25.881 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 25.881 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.881 * [taylor]: Taking taylor expansion of y in y 25.882 * [taylor]: Taking taylor expansion of y in y 25.883 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 25.883 * [taylor]: Taking taylor expansion of (/ 1 z) in y 25.883 * [taylor]: Taking taylor expansion of z in y 25.883 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 25.883 * [taylor]: Taking taylor expansion of 0.5 in y 25.883 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.883 * [taylor]: Taking taylor expansion of y in y 25.883 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 25.883 * [taylor]: Taking taylor expansion of (log y) in z 25.883 * [taylor]: Taking taylor expansion of y in z 25.884 * [taylor]: Taking taylor expansion of 1 in z 25.884 * [taylor]: Taking taylor expansion of 1 in z 25.887 * [taylor]: Taking taylor expansion of 0 in y 25.890 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 25.890 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 25.890 * [taylor]: Taking taylor expansion of 0.5 in z 25.890 * [taylor]: Taking taylor expansion of (log y) in z 25.890 * [taylor]: Taking taylor expansion of y in z 25.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.890 * [taylor]: Taking taylor expansion of z in z 25.891 * [taylor]: Taking taylor expansion of 0 in z 25.892 * [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 25.892 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 25.892 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 25.892 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.892 * [taylor]: Taking taylor expansion of z in z 25.892 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 25.892 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 25.892 * [taylor]: Taking taylor expansion of (/ -1 y) in z 25.892 * [taylor]: Taking taylor expansion of -1 in z 25.892 * [taylor]: Taking taylor expansion of y in z 25.892 * [taylor]: Taking taylor expansion of y in z 25.893 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 25.893 * [taylor]: Taking taylor expansion of (/ 1 y) in z 25.893 * [taylor]: Taking taylor expansion of y in z 25.893 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 25.893 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 25.893 * [taylor]: Taking taylor expansion of 0.5 in z 25.893 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 25.893 * [taylor]: Taking taylor expansion of (/ -1 y) in z 25.893 * [taylor]: Taking taylor expansion of -1 in z 25.893 * [taylor]: Taking taylor expansion of y in z 25.893 * [taylor]: Taking taylor expansion of (/ 1 x) in z 25.893 * [taylor]: Taking taylor expansion of x in z 25.893 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 25.893 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 25.893 * [taylor]: Taking taylor expansion of (/ 1 z) in y 25.893 * [taylor]: Taking taylor expansion of z in y 25.893 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 25.893 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.893 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.893 * [taylor]: Taking taylor expansion of -1 in y 25.893 * [taylor]: Taking taylor expansion of y in y 25.894 * [taylor]: Taking taylor expansion of y in y 25.895 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 25.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.895 * [taylor]: Taking taylor expansion of y in y 25.895 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 25.895 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 25.895 * [taylor]: Taking taylor expansion of 0.5 in y 25.895 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.895 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.896 * [taylor]: Taking taylor expansion of -1 in y 25.896 * [taylor]: Taking taylor expansion of y in y 25.896 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.896 * [taylor]: Taking taylor expansion of x in y 25.896 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 25.896 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 25.896 * [taylor]: Taking taylor expansion of (/ 1 z) in x 25.896 * [taylor]: Taking taylor expansion of z in x 25.896 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 25.896 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.896 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.896 * [taylor]: Taking taylor expansion of -1 in x 25.896 * [taylor]: Taking taylor expansion of y in x 25.896 * [taylor]: Taking taylor expansion of y in x 25.896 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 25.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.896 * [taylor]: Taking taylor expansion of y in x 25.897 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 25.897 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 25.897 * [taylor]: Taking taylor expansion of 0.5 in x 25.897 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.897 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.897 * [taylor]: Taking taylor expansion of -1 in x 25.897 * [taylor]: Taking taylor expansion of y in x 25.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.897 * [taylor]: Taking taylor expansion of x in x 25.902 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 25.902 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 25.902 * [taylor]: Taking taylor expansion of (/ 1 z) in x 25.902 * [taylor]: Taking taylor expansion of z in x 25.902 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 25.902 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.902 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.902 * [taylor]: Taking taylor expansion of -1 in x 25.902 * [taylor]: Taking taylor expansion of y in x 25.902 * [taylor]: Taking taylor expansion of y in x 25.903 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 25.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.903 * [taylor]: Taking taylor expansion of y in x 25.903 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 25.903 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 25.903 * [taylor]: Taking taylor expansion of 0.5 in x 25.903 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.903 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.903 * [taylor]: Taking taylor expansion of -1 in x 25.903 * [taylor]: Taking taylor expansion of y in x 25.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.903 * [taylor]: Taking taylor expansion of x in x 25.904 * [taylor]: Taking taylor expansion of -1 in y 25.905 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 25.906 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 25.906 * [taylor]: Taking taylor expansion of (/ 1 z) in y 25.906 * [taylor]: Taking taylor expansion of z in y 25.906 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 25.906 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.906 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.906 * [taylor]: Taking taylor expansion of -1 in y 25.906 * [taylor]: Taking taylor expansion of y in y 25.906 * [taylor]: Taking taylor expansion of y in y 25.908 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 25.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.908 * [taylor]: Taking taylor expansion of y in y 25.908 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 25.908 * [taylor]: Taking taylor expansion of 0.5 in y 25.908 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.908 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.908 * [taylor]: Taking taylor expansion of -1 in y 25.908 * [taylor]: Taking taylor expansion of y in y 25.910 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 25.910 * [taylor]: Taking taylor expansion of (log -1) in z 25.910 * [taylor]: Taking taylor expansion of -1 in z 25.910 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 25.910 * [taylor]: Taking taylor expansion of (log y) in z 25.910 * [taylor]: Taking taylor expansion of y in z 25.910 * [taylor]: Taking taylor expansion of 1 in z 25.910 * [taylor]: Taking taylor expansion of -1 in z 25.914 * [taylor]: Taking taylor expansion of 0 in y 25.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 25.919 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 25.919 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.919 * [taylor]: Taking taylor expansion of z in z 25.919 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 25.919 * [taylor]: Taking taylor expansion of 0.5 in z 25.919 * [taylor]: Taking taylor expansion of (log y) in z 25.919 * [taylor]: Taking taylor expansion of y in z 25.919 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 25.919 * [taylor]: Taking taylor expansion of 0.5 in z 25.919 * [taylor]: Taking taylor expansion of (log -1) in z 25.919 * [taylor]: Taking taylor expansion of -1 in z 25.920 * [taylor]: Taking taylor expansion of 0 in z 25.922 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 25.922 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 25.922 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 25.922 * [taylor]: Taking taylor expansion of x in y 25.922 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 25.922 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 25.922 * [taylor]: Taking taylor expansion of 0.5 in y 25.922 * [taylor]: Taking taylor expansion of (log y) in y 25.922 * [taylor]: Taking taylor expansion of y in y 25.923 * [taylor]: Taking taylor expansion of (* y (log y)) in y 25.923 * [taylor]: Taking taylor expansion of y in y 25.923 * [taylor]: Taking taylor expansion of (log y) in y 25.923 * [taylor]: Taking taylor expansion of y in y 25.923 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 25.923 * [taylor]: Taking taylor expansion of x in x 25.923 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 25.923 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 25.923 * [taylor]: Taking taylor expansion of 0.5 in x 25.923 * [taylor]: Taking taylor expansion of (log y) in x 25.923 * [taylor]: Taking taylor expansion of y in x 25.923 * [taylor]: Taking taylor expansion of (* y (log y)) in x 25.923 * [taylor]: Taking taylor expansion of y in x 25.923 * [taylor]: Taking taylor expansion of (log y) in x 25.923 * [taylor]: Taking taylor expansion of y in x 25.923 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 25.923 * [taylor]: Taking taylor expansion of x in x 25.923 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 25.923 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 25.923 * [taylor]: Taking taylor expansion of 0.5 in x 25.923 * [taylor]: Taking taylor expansion of (log y) in x 25.923 * [taylor]: Taking taylor expansion of y in x 25.923 * [taylor]: Taking taylor expansion of (* y (log y)) in x 25.923 * [taylor]: Taking taylor expansion of y in x 25.924 * [taylor]: Taking taylor expansion of (log y) in x 25.924 * [taylor]: Taking taylor expansion of y in x 25.924 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 25.924 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 25.924 * [taylor]: Taking taylor expansion of (* y (log y)) in y 25.924 * [taylor]: Taking taylor expansion of y in y 25.924 * [taylor]: Taking taylor expansion of (log y) in y 25.924 * [taylor]: Taking taylor expansion of y in y 25.924 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 25.925 * [taylor]: Taking taylor expansion of 0.5 in y 25.925 * [taylor]: Taking taylor expansion of (log y) in y 25.925 * [taylor]: Taking taylor expansion of y in y 25.928 * [taylor]: Taking taylor expansion of 1 in y 25.931 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 25.931 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 25.931 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.931 * [taylor]: Taking taylor expansion of x in y 25.931 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 25.931 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 25.931 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.931 * [taylor]: Taking taylor expansion of y in y 25.932 * [taylor]: Taking taylor expansion of y in y 25.932 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 25.932 * [taylor]: Taking taylor expansion of 0.5 in y 25.932 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.932 * [taylor]: Taking taylor expansion of y in y 25.933 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 25.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.933 * [taylor]: Taking taylor expansion of x in x 25.933 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 25.933 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 25.933 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.933 * [taylor]: Taking taylor expansion of y in x 25.933 * [taylor]: Taking taylor expansion of y in x 25.933 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 25.933 * [taylor]: Taking taylor expansion of 0.5 in x 25.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.934 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.934 * [taylor]: Taking taylor expansion of y in x 25.934 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 25.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.934 * [taylor]: Taking taylor expansion of x in x 25.934 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 25.934 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 25.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.934 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.934 * [taylor]: Taking taylor expansion of y in x 25.934 * [taylor]: Taking taylor expansion of y in x 25.934 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 25.934 * [taylor]: Taking taylor expansion of 0.5 in x 25.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 25.934 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.934 * [taylor]: Taking taylor expansion of y in x 25.935 * [taylor]: Taking taylor expansion of 1 in y 25.936 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 25.936 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 25.936 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 25.936 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.936 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.936 * [taylor]: Taking taylor expansion of y in y 25.936 * [taylor]: Taking taylor expansion of y in y 25.937 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 25.937 * [taylor]: Taking taylor expansion of 0.5 in y 25.937 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.937 * [taylor]: Taking taylor expansion of y in y 25.941 * [taylor]: Taking taylor expansion of 0 in y 25.943 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 25.943 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 25.943 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 25.943 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.943 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.943 * [taylor]: Taking taylor expansion of -1 in y 25.943 * [taylor]: Taking taylor expansion of y in y 25.944 * [taylor]: Taking taylor expansion of y in y 25.945 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 25.945 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 25.945 * [taylor]: Taking taylor expansion of 0.5 in y 25.946 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.946 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.946 * [taylor]: Taking taylor expansion of -1 in y 25.946 * [taylor]: Taking taylor expansion of y in y 25.946 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.946 * [taylor]: Taking taylor expansion of x in y 25.946 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 25.946 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 25.946 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.946 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.946 * [taylor]: Taking taylor expansion of -1 in x 25.946 * [taylor]: Taking taylor expansion of y in x 25.946 * [taylor]: Taking taylor expansion of y in x 25.946 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 25.946 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 25.946 * [taylor]: Taking taylor expansion of 0.5 in x 25.947 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.947 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.947 * [taylor]: Taking taylor expansion of -1 in x 25.947 * [taylor]: Taking taylor expansion of y in x 25.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.947 * [taylor]: Taking taylor expansion of x in x 25.947 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 25.947 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 25.947 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.947 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.947 * [taylor]: Taking taylor expansion of -1 in x 25.947 * [taylor]: Taking taylor expansion of y in x 25.947 * [taylor]: Taking taylor expansion of y in x 25.947 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 25.947 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 25.947 * [taylor]: Taking taylor expansion of 0.5 in x 25.947 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 25.947 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.947 * [taylor]: Taking taylor expansion of -1 in x 25.947 * [taylor]: Taking taylor expansion of y in x 25.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.947 * [taylor]: Taking taylor expansion of x in x 25.949 * [taylor]: Taking taylor expansion of -1 in y 25.949 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 25.949 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 25.949 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.949 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.949 * [taylor]: Taking taylor expansion of -1 in y 25.949 * [taylor]: Taking taylor expansion of y in y 25.950 * [taylor]: Taking taylor expansion of y in y 25.952 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 25.952 * [taylor]: Taking taylor expansion of 0.5 in y 25.952 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 25.952 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.952 * [taylor]: Taking taylor expansion of -1 in y 25.952 * [taylor]: Taking taylor expansion of y in y 25.956 * [taylor]: Taking taylor expansion of 0 in y 25.961 * * * [progress]: simplifying candidates 25.963 * [simplify]: Simplifying using # : (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ 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)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) 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) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) y) (+ (- (* (+ y 0.5) (log y))) y) (+ (- (* (+ y 0.5) (log y))) y) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* z 1))) (fma (- z) 1 (* z 1)) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma 1 (+ (- x (* (+ y 0.5) (log y))) y) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log1p (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- z) (- z) (- z) (- z) (/ (* (/ (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) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma (sqrt x) (sqrt x) (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (fma 1 x (- (* (log y) (+ y 0.5)))) (fma (- (log y)) (+ y 0.5) (* (log y) (+ y 0.5))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log y))) (- (* (+ y 0.5) (log 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))) (+ (* 0.5 (log y)) (* y (log y))) (- (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ (* 0.5 (log -1)) (* (log -1) y)) (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ y (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y)))))) (- (+ x (+ (* y (log (/ -1 y))) (+ y (* 0.5 (log (/ -1 y)))))) (+ (* (log -1) y) (* 0.5 (log -1)))) (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) (- (+ x (+ y (* y (log (/ 1 y))))) z) (- (+ x (+ (* y (log (/ -1 y))) y)) (+ z (* (log -1) y))) (- x (+ (* 0.5 (log y)) (* y (log y)))) (+ x (+ (* 0.5 (log (/ 1 y))) (* y (log (/ 1 y))))) (- (+ x (+ (* y (log (/ -1 y))) (* 0.5 (log (/ -1 y))))) (+ (* (log -1) y) (* 0.5 (log -1)))) 25.970 * * [simplify]: iteration 0 : 212 enodes (cost 1986 ) 26.018 * * [simplify]: iteration 1 : 531 enodes (cost 1749 ) 26.226 * * [simplify]: iteration 2 : 1676 enodes (cost 1552 ) 26.804 * * [simplify]: iteration done : 5001 enodes (cost 1523 ) 26.805 * [simplify]: Simplified to: (expm1 (* (+ y 0.5) (log y))) (log1p (* (+ y 0.5) (log y))) (* (+ y 0.5) (log y)) (log (* (+ y 0.5) (log y))) (log (* (+ y 0.5) (log y))) (pow y (+ y 0.5)) (pow (* (+ y 0.5) (log y)) 3) (* (cbrt (* (+ y 0.5) (log y))) (cbrt (* (+ y 0.5) (log y)))) (cbrt (* (+ y 0.5) (log y))) (pow (* (+ y 0.5) (log y)) 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 (* (+ y 0.5) (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 (* (+ y 0.5) (log y)) (+ 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)) (* (+ 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)) (expm1 (+ (- x (* (+ y 0.5) (log y))) y)) (log1p (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (/ (exp (+ x y)) (pow y (+ y 0.5))) (log (+ (- x (* (+ y 0.5) (log y))) y)) (/ (exp (+ x y)) (pow y (+ y 0.5))) (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (sqrt (+ (- x (* (+ y 0.5) (log y))) y)) (+ (pow (- x (* (+ y 0.5) (log y))) 3) (pow y 3)) (- (* y y) (* (fma (log y) (- (+ y 0.5)) x) (- (fma (+ y 0.5) (log y) y) x))) (* (- x (fma (+ y 0.5) (log y) y)) (+ y (fma (log y) (- (+ y 0.5)) x))) (- x (fma (+ y 0.5) (log y) y)) (+ y (fma (log y) (- (+ y 0.5)) x)) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (+ (* (+ y 0.5) (+ (- (log y)) (log y))) y) (- y (* (log y) (+ y 0.5))) (- y (* (log y) (+ y 0.5))) (- (* (+ y 0.5) (log y)) y) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (- z z) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (- z z) (fma (* (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (cbrt (+ (- x (* (+ y 0.5) (log y))) y))) (cbrt (+ (- x (* (+ y 0.5) (log y))) y)) (- z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- z z) (expm1 (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (log1p (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- z) (- z) (- z) (- z) (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 (+ (fma (log y) (- (+ y 0.5)) x) (- 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)) (fma (+ (- x (* (+ y 0.5) (log y))) y) (+ (- x (* (+ y 0.5) (log y))) y) (* 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)) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (+ (fma (log y) (- (+ y 0.5)) x) (- y z)) (- y z) (+ (- (* (+ y 0.5) (log y)) y) z) (- z) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (log y) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (log y) (- (+ y 0.5)) x) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (log y) (- (+ y 0.5)) x) (* (+ y 0.5) (+ (- (log y)) (log y))) (expm1 (- x (* (+ y 0.5) (log y)))) (log1p (- x (* (+ y 0.5) (log y)))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (- (* (log y) (+ y 0.5))) (/ (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 (* (log y) (+ y 0.5))) 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)) (fma (* (+ y 0.5) (log y)) (fma (log y) (+ y 0.5) x) (* x x)) (- (* (log y) (+ y 0.5))) (* (fma (log y) (- (+ y 0.5)) x) (fma (log y) (+ y 0.5) x)) (fma (log y) (+ y 0.5) x) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (log (sqrt y)) (+ y 0.5))) (- x 0) (- (* (log y) (+ y 0.5))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (- (log -1) (log (/ -1 y)))) (+ y (fma (log y) (- (+ y 0.5)) x)) (+ y (fma (log y) (- (+ y 0.5)) x)) (+ y (+ (* (+ y 0.5) (- (log (/ -1 y)) (log -1))) x)) (+ y (fma (log y) (- (+ y 0.5)) x)) (- (+ x (fma y (- (log y)) y)) z) (- (+ (fma y (log (/ -1 y)) y) x) (fma (log -1) y z)) (fma (log y) (- (+ y 0.5)) x) (fma (log y) (- (+ y 0.5)) x) (+ (* (+ y 0.5) (- (log (/ -1 y)) (log -1))) x) 26.806 * * * [progress]: adding candidates to table 27.126 * * [progress]: iteration 3 / 4 27.126 * * * [progress]: picking best candidate 27.140 * * * * [pick]: Picked # 27.140 * * * [progress]: localizing error 27.155 * * * [progress]: generating rewritten candidates 27.155 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 27.156 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 27.156 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 27.172 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 27.185 * * * [progress]: generating series expansions 27.185 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 27.185 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 27.185 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.185 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.185 * [taylor]: Taking taylor expansion of 1/3 in y 27.185 * [taylor]: Taking taylor expansion of (log y) in y 27.185 * [taylor]: Taking taylor expansion of y in y 27.186 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.186 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.186 * [taylor]: Taking taylor expansion of 1/3 in y 27.186 * [taylor]: Taking taylor expansion of (log y) in y 27.186 * [taylor]: Taking taylor expansion of y in y 27.240 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 27.240 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.240 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.240 * [taylor]: Taking taylor expansion of 1/3 in y 27.240 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.240 * [taylor]: Taking taylor expansion of y in y 27.242 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.242 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.242 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.242 * [taylor]: Taking taylor expansion of 1/3 in y 27.242 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.242 * [taylor]: Taking taylor expansion of y in y 27.302 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 27.302 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.302 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.302 * [taylor]: Taking taylor expansion of -1 in y 27.303 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.303 * [taylor]: Taking taylor expansion of 1/3 in y 27.303 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.303 * [taylor]: Taking taylor expansion of y in y 27.304 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.304 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.304 * [taylor]: Taking taylor expansion of -1 in y 27.304 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.305 * [taylor]: Taking taylor expansion of 1/3 in y 27.305 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.305 * [taylor]: Taking taylor expansion of y in y 27.376 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1) 27.376 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 27.376 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.376 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.376 * [taylor]: Taking taylor expansion of 1/3 in y 27.376 * [taylor]: Taking taylor expansion of (log y) in y 27.376 * [taylor]: Taking taylor expansion of y in y 27.377 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.377 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.377 * [taylor]: Taking taylor expansion of 1/3 in y 27.377 * [taylor]: Taking taylor expansion of (log y) in y 27.377 * [taylor]: Taking taylor expansion of y in y 27.428 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 27.428 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.428 * [taylor]: Taking taylor expansion of 1/3 in y 27.428 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.428 * [taylor]: Taking taylor expansion of y in y 27.429 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.429 * [taylor]: Taking taylor expansion of 1/3 in y 27.429 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.429 * [taylor]: Taking taylor expansion of y in y 27.490 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 27.490 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.490 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.490 * [taylor]: Taking taylor expansion of -1 in y 27.491 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.491 * [taylor]: Taking taylor expansion of 1/3 in y 27.491 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.491 * [taylor]: Taking taylor expansion of y in y 27.492 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.492 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.492 * [taylor]: Taking taylor expansion of -1 in y 27.493 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.493 * [taylor]: Taking taylor expansion of 1/3 in y 27.493 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.493 * [taylor]: Taking taylor expansion of y in y 27.564 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 27.565 * [approximate]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 27.565 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 27.565 * [taylor]: Taking taylor expansion of x in y 27.565 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 27.565 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 27.565 * [taylor]: Taking taylor expansion of 3 in y 27.565 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 27.565 * [taylor]: Taking taylor expansion of y in y 27.565 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.565 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.565 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.565 * [taylor]: Taking taylor expansion of 1/3 in y 27.565 * [taylor]: Taking taylor expansion of (log y) in y 27.565 * [taylor]: Taking taylor expansion of y in y 27.566 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 27.566 * [taylor]: Taking taylor expansion of 1.5 in y 27.566 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.566 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.566 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.566 * [taylor]: Taking taylor expansion of 1/3 in y 27.566 * [taylor]: Taking taylor expansion of (log y) in y 27.566 * [taylor]: Taking taylor expansion of y in y 27.567 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 27.567 * [taylor]: Taking taylor expansion of x in x 27.567 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 27.567 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 27.567 * [taylor]: Taking taylor expansion of 3 in x 27.567 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 27.567 * [taylor]: Taking taylor expansion of y in x 27.567 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.567 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.567 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.567 * [taylor]: Taking taylor expansion of 1/3 in x 27.567 * [taylor]: Taking taylor expansion of (log y) in x 27.567 * [taylor]: Taking taylor expansion of y in x 27.567 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 27.567 * [taylor]: Taking taylor expansion of 1.5 in x 27.567 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.567 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.567 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.567 * [taylor]: Taking taylor expansion of 1/3 in x 27.567 * [taylor]: Taking taylor expansion of (log y) in x 27.567 * [taylor]: Taking taylor expansion of y in x 27.568 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 27.568 * [taylor]: Taking taylor expansion of x in x 27.568 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 27.568 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 27.568 * [taylor]: Taking taylor expansion of 3 in x 27.568 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 27.568 * [taylor]: Taking taylor expansion of y in x 27.568 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.568 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.568 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.568 * [taylor]: Taking taylor expansion of 1/3 in x 27.568 * [taylor]: Taking taylor expansion of (log y) in x 27.568 * [taylor]: Taking taylor expansion of y in x 27.568 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 27.568 * [taylor]: Taking taylor expansion of 1.5 in x 27.568 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.568 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.568 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.568 * [taylor]: Taking taylor expansion of 1/3 in x 27.568 * [taylor]: Taking taylor expansion of (log y) in x 27.568 * [taylor]: Taking taylor expansion of y in x 27.569 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 27.569 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 27.569 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 27.569 * [taylor]: Taking taylor expansion of 3 in y 27.569 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 27.569 * [taylor]: Taking taylor expansion of y in y 27.569 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.569 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.569 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.569 * [taylor]: Taking taylor expansion of 1/3 in y 27.569 * [taylor]: Taking taylor expansion of (log y) in y 27.569 * [taylor]: Taking taylor expansion of y in y 27.570 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 27.570 * [taylor]: Taking taylor expansion of 1.5 in y 27.570 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.570 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.570 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.570 * [taylor]: Taking taylor expansion of 1/3 in y 27.570 * [taylor]: Taking taylor expansion of (log y) in y 27.571 * [taylor]: Taking taylor expansion of y in y 27.578 * [taylor]: Taking taylor expansion of 1 in y 27.584 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 27.584 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 27.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.584 * [taylor]: Taking taylor expansion of x in y 27.584 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 27.584 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 27.584 * [taylor]: Taking taylor expansion of 1.5 in y 27.584 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.584 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.585 * [taylor]: Taking taylor expansion of 1/3 in y 27.585 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.585 * [taylor]: Taking taylor expansion of y in y 27.586 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 27.586 * [taylor]: Taking taylor expansion of 3 in y 27.586 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 27.586 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.586 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.586 * [taylor]: Taking taylor expansion of 1/3 in y 27.586 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.586 * [taylor]: Taking taylor expansion of y in y 27.587 * [taylor]: Taking taylor expansion of y in y 27.587 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 27.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.587 * [taylor]: Taking taylor expansion of x in x 27.588 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 27.588 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 27.588 * [taylor]: Taking taylor expansion of 1.5 in x 27.588 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.588 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.588 * [taylor]: Taking taylor expansion of 1/3 in x 27.588 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.588 * [taylor]: Taking taylor expansion of y in x 27.588 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 27.588 * [taylor]: Taking taylor expansion of 3 in x 27.588 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 27.588 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.588 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.588 * [taylor]: Taking taylor expansion of 1/3 in x 27.588 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.588 * [taylor]: Taking taylor expansion of y in x 27.588 * [taylor]: Taking taylor expansion of y in x 27.589 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 27.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.589 * [taylor]: Taking taylor expansion of x in x 27.589 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 27.589 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 27.589 * [taylor]: Taking taylor expansion of 1.5 in x 27.589 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.589 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.589 * [taylor]: Taking taylor expansion of 1/3 in x 27.589 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.589 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.589 * [taylor]: Taking taylor expansion of y in x 27.590 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 27.590 * [taylor]: Taking taylor expansion of 3 in x 27.590 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 27.590 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.590 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.590 * [taylor]: Taking taylor expansion of 1/3 in x 27.590 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.590 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.590 * [taylor]: Taking taylor expansion of y in x 27.590 * [taylor]: Taking taylor expansion of y in x 27.591 * [taylor]: Taking taylor expansion of 1 in y 27.592 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 27.592 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 27.592 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 27.592 * [taylor]: Taking taylor expansion of 1.5 in y 27.592 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.592 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.592 * [taylor]: Taking taylor expansion of 1/3 in y 27.592 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.592 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.592 * [taylor]: Taking taylor expansion of y in y 27.593 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 27.593 * [taylor]: Taking taylor expansion of 3 in y 27.593 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 27.593 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.593 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.594 * [taylor]: Taking taylor expansion of 1/3 in y 27.594 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.594 * [taylor]: Taking taylor expansion of y in y 27.595 * [taylor]: Taking taylor expansion of y in y 27.602 * [taylor]: Taking taylor expansion of 0 in y 27.607 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in (x y) around 0 27.607 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 27.607 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 27.607 * [taylor]: Taking taylor expansion of 3 in y 27.607 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 27.607 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.607 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.607 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.607 * [taylor]: Taking taylor expansion of -1 in y 27.608 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.608 * [taylor]: Taking taylor expansion of 1/3 in y 27.608 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.608 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.608 * [taylor]: Taking taylor expansion of y in y 27.610 * [taylor]: Taking taylor expansion of y in y 27.611 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 27.611 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.611 * [taylor]: Taking taylor expansion of x in y 27.611 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.611 * [taylor]: Taking taylor expansion of 1.5 in y 27.611 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.611 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.611 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.611 * [taylor]: Taking taylor expansion of -1 in y 27.612 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.612 * [taylor]: Taking taylor expansion of 1/3 in y 27.612 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.612 * [taylor]: Taking taylor expansion of y in y 27.614 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 27.614 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 27.614 * [taylor]: Taking taylor expansion of 3 in x 27.614 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 27.614 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.614 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.614 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.614 * [taylor]: Taking taylor expansion of -1 in x 27.615 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.615 * [taylor]: Taking taylor expansion of 1/3 in x 27.615 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.615 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.615 * [taylor]: Taking taylor expansion of y in x 27.616 * [taylor]: Taking taylor expansion of y in x 27.616 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 27.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.616 * [taylor]: Taking taylor expansion of x in x 27.617 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 27.617 * [taylor]: Taking taylor expansion of 1.5 in x 27.617 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.617 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.617 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.617 * [taylor]: Taking taylor expansion of -1 in x 27.618 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.618 * [taylor]: Taking taylor expansion of 1/3 in x 27.618 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.618 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.623 * [taylor]: Taking taylor expansion of y in x 27.625 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 27.625 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 27.625 * [taylor]: Taking taylor expansion of 3 in x 27.625 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 27.625 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.625 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.625 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.625 * [taylor]: Taking taylor expansion of -1 in x 27.626 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.626 * [taylor]: Taking taylor expansion of 1/3 in x 27.626 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.626 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.626 * [taylor]: Taking taylor expansion of y in x 27.627 * [taylor]: Taking taylor expansion of y in x 27.628 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 27.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.628 * [taylor]: Taking taylor expansion of x in x 27.628 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 27.628 * [taylor]: Taking taylor expansion of 1.5 in x 27.628 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.628 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.628 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.628 * [taylor]: Taking taylor expansion of -1 in x 27.629 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.629 * [taylor]: Taking taylor expansion of 1/3 in x 27.629 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.629 * [taylor]: Taking taylor expansion of y in x 27.631 * [taylor]: Taking taylor expansion of -1 in y 27.634 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 27.634 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 27.634 * [taylor]: Taking taylor expansion of 3 in y 27.634 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 27.634 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.634 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.634 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.634 * [taylor]: Taking taylor expansion of -1 in y 27.635 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.635 * [taylor]: Taking taylor expansion of 1/3 in y 27.635 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.635 * [taylor]: Taking taylor expansion of y in y 27.637 * [taylor]: Taking taylor expansion of y in y 27.637 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.638 * [taylor]: Taking taylor expansion of 1.5 in y 27.638 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.638 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.638 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.638 * [taylor]: Taking taylor expansion of -1 in y 27.638 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.638 * [taylor]: Taking taylor expansion of 1/3 in y 27.638 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.638 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.638 * [taylor]: Taking taylor expansion of y in y 27.650 * [taylor]: Taking taylor expansion of 0 in y 27.659 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 27.659 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 27.659 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 27.659 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 27.659 * [taylor]: Taking taylor expansion of y in y 27.659 * [taylor]: Taking taylor expansion of 0.5 in y 27.659 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.659 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.659 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.659 * [taylor]: Taking taylor expansion of 1/3 in y 27.659 * [taylor]: Taking taylor expansion of (log y) in y 27.659 * [taylor]: Taking taylor expansion of y in y 27.660 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 27.660 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 27.660 * [taylor]: Taking taylor expansion of y in y 27.660 * [taylor]: Taking taylor expansion of 0.5 in y 27.660 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.660 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.660 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.660 * [taylor]: Taking taylor expansion of 1/3 in y 27.660 * [taylor]: Taking taylor expansion of (log y) in y 27.660 * [taylor]: Taking taylor expansion of y in y 27.798 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 27.798 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 27.798 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.798 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.798 * [taylor]: Taking taylor expansion of 1/3 in y 27.798 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.798 * [taylor]: Taking taylor expansion of y in y 27.800 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 27.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.800 * [taylor]: Taking taylor expansion of y in y 27.800 * [taylor]: Taking taylor expansion of 0.5 in y 27.800 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 27.800 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.800 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.800 * [taylor]: Taking taylor expansion of 1/3 in y 27.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.800 * [taylor]: Taking taylor expansion of y in y 27.801 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 27.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.801 * [taylor]: Taking taylor expansion of y in y 27.801 * [taylor]: Taking taylor expansion of 0.5 in y 27.935 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 27.935 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.935 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 27.935 * [taylor]: Taking taylor expansion of 0.5 in y 27.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.935 * [taylor]: Taking taylor expansion of y in y 27.935 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.935 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.935 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.935 * [taylor]: Taking taylor expansion of -1 in y 27.936 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.936 * [taylor]: Taking taylor expansion of 1/3 in y 27.936 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.936 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.936 * [taylor]: Taking taylor expansion of y in y 27.938 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.938 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 27.938 * [taylor]: Taking taylor expansion of 0.5 in y 27.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.938 * [taylor]: Taking taylor expansion of y in y 27.938 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.938 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.938 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.938 * [taylor]: Taking taylor expansion of -1 in y 27.939 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.939 * [taylor]: Taking taylor expansion of 1/3 in y 27.939 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.939 * [taylor]: Taking taylor expansion of y in y 28.121 * * * [progress]: simplifying candidates 28.123 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (fma (* (cbrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (cbrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (cbrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (fma (sqrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (sqrt (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (fma 1 (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- (* (+ y 0.5) (log (cbrt y))))) (fma (- (+ y 0.5)) (log (cbrt y)) (* (+ y 0.5) (log (cbrt y)))) (expm1 (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (log1p (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (/ (/ (exp x) (exp (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (log (cbrt y)) (+ y 0.5)))) (/ (exp (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (exp (* (log (cbrt y)) (+ y 0.5)))) (log (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (exp (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (* (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))))) (cbrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (* (* (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (sqrt (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5)))) (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (pow x 3) (pow (* (* 2 (log (cbrt y))) (+ y 0.5)) 3)) (- y 0.5)) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (+ (* x x) (+ (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5))) (* x (* (* 2 (log (cbrt y))) (+ y 0.5))))) (- y 0.5)) (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (+ (* y y) (- (* 0.5 0.5) (* y 0.5)))) (- (* (- (* x x) (* (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* 2 (log (cbrt y))) (+ y 0.5)))) (- y 0.5)) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (+ x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- y 0.5)) (- (pow (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3)) (+ (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (+ (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (* 2 (log (cbrt y))) (+ y 0.5)))) (* (* (log (cbrt y)) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5)))) (+ (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) y)) (- (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (* y (log (cbrt y)))) (- (fma (- (+ y 0.5)) (* 2 (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt y))))) (* (log (cbrt y)) (+ y 0.5))) (- (fma (- (+ y 0.5)) (* 2 (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt y))))) (* (log (cbrt y)) (+ y 0.5))) (- (fma (- (+ y 0.5)) (* 2 (log (cbrt y))) (* (+ y 0.5) (* 2 (log (cbrt y))))) (* (log (cbrt y)) (+ y 0.5))) (- (- (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (- (* (* 2 (log (cbrt y))) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (expm1 (* (log (cbrt y)) (+ y 0.5))) (log1p (* (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)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- x (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- x (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)))) (+ (* y (log (pow y 1/3))) (* 0.5 (log (pow y 1/3)))) (+ (* y (log (pow (/ 1 y) -1/3))) (* 0.5 (log (pow (/ 1 y) -1/3)))) (+ (* 0.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)) 28.135 * * [simplify]: iteration 0 : 176 enodes (cost 1674 ) 28.173 * * [simplify]: iteration 1 : 498 enodes (cost 1486 ) 28.372 * * [simplify]: iteration 2 : 2062 enodes (cost 1228 ) 28.997 * * [simplify]: iteration done : 5000 enodes (cost 1228 ) 28.998 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (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)) (expm1 (cbrt y)) (log1p (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)) (fma (* (cbrt (- x (* (+ y 0.5) (* 2/3 (log y))))) (cbrt (- x (* (+ y 0.5) (* 2/3 (log y)))))) (cbrt (- x (* (+ y 0.5) (* 2/3 (log y))))) (- (* (log (cbrt y)) (+ y 0.5)))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (- x (* (+ y 0.5) (* (log (cbrt y)) 3))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (- x (* (+ y 0.5) (* (log (cbrt y)) 3))) (* (+ y 0.5) (+ (- (log (cbrt y))) (log (cbrt y)))) (expm1 (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (log1p (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (- (* (log (cbrt y)) (+ y 0.5))) (exp (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (exp (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (log (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (exp (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (* (cbrt (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (cbrt (- x (* (+ y 0.5) (* (log (cbrt y)) 3))))) (cbrt (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (pow (- x (* (+ y 0.5) (* (log (cbrt y)) 3))) 3) (sqrt (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (sqrt (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (fma (fma y y (* 0.5 (- 0.5 y))) (- (pow x 3) (pow (* (+ y 0.5) (* 2/3 (log y))) 3)) (* (* (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x)) (log (cbrt y))) (- (+ (pow y 3) (pow 0.5 3))))) (* (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x)) (fma y y (* 0.5 (- 0.5 y)))) (fma (- y 0.5) (- (pow x 3) (pow (* (+ y 0.5) (* 2/3 (log y))) 3)) (* (- (* (log (cbrt y)) (- (* y y) (* 0.5 0.5)))) (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x)))) (* (fma (* (+ y 0.5) (* 2/3 (log y))) (fma (* 2/3 (log y)) (+ y 0.5) x) (* x x)) (- y 0.5)) (- (* (* (fma y y (* 0.5 (- 0.5 y))) (fma (* 2/3 (log y)) (+ y 0.5) x)) (- x (* (+ y 0.5) (* 2/3 (log y))))) (* (* (log (cbrt y)) (+ (pow y 3) (pow 0.5 3))) (fma (* 2/3 (log y)) (+ y 0.5) x))) (* (fma y y (* 0.5 (- 0.5 y))) (fma (* 2/3 (log y)) (+ y 0.5) x)) (fma (- y 0.5) (* (- x (* (+ y 0.5) (* 2/3 (log y)))) (fma (* 2/3 (log y)) (+ y 0.5) x)) (* (- (fma (* 2/3 (log y)) (+ y 0.5) x)) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))))) (* (- y 0.5) (fma (* 2/3 (log y)) (+ y 0.5) x)) (- (pow (- x (* (+ y 0.5) (* 2/3 (log y)))) 3) (pow (* (+ y 0.5) (log (cbrt y))) 3)) (fma (- x (* (+ y 0.5) (* 2/3 (log y)))) (- x (* (+ y 0.5) (* 2/3 (log y)))) (* (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (* (+ y 0.5) (log (cbrt y))))) (- (* (log (cbrt y)) (+ y 0.5))) (* (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (* (+ y 0.5) (* (log (cbrt y)) 3)))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (fma (* 2/3 (log y)) (+ y 0.5) (* y (log (cbrt y))))) (- x (fma (* 2/3 (log y)) (+ y 0.5) (* y (log (cbrt y))))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (+ y 0.5) (log (cbrt y)))) (- (* (+ y 0.5) (* (log (cbrt y)) 3))) (- (* (+ y 0.5) (* (log (cbrt y)) 3))) (* (+ y 0.5) (* (log (cbrt y)) 3)) (- (* (log (cbrt y)) (+ y 0.5))) (expm1 (* (log (cbrt y)) (+ y 0.5))) (log1p (* (log (cbrt y)) (+ y 0.5))) (* (+ 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))) (* y (log (cbrt y))) (* 0.5 (log (cbrt y))) (* 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)) (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))) (* (log (cbrt y)) (- (* y y) (* 0.5 0.5))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (* (- (log y)) -1/3) (+ (* 3 y) 1.5))) (- x (fma 1.5 (log (* (cbrt (- y)) (cbrt -1))) (* (* y (log (* (cbrt (- y)) (cbrt -1)))) 3))) (* (+ y 0.5) (log (cbrt y))) (* (+ y 0.5) (* (- (log y)) -1/3)) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 28.999 * * * [progress]: adding candidates to table 29.369 * * [progress]: iteration 4 / 4 29.369 * * * [progress]: picking best candidate 29.380 * * * * [pick]: Picked # 29.380 * * * [progress]: localizing error 29.392 * * * [progress]: generating rewritten candidates 29.393 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 29.393 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 29.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 29.415 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 29.419 * * * [progress]: generating series expansions 29.419 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 29.419 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 29.419 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 29.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 29.419 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 29.419 * [taylor]: Taking taylor expansion of 1/3 in y 29.420 * [taylor]: Taking taylor expansion of (log y) in y 29.420 * [taylor]: Taking taylor expansion of y in y 29.421 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 29.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 29.421 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 29.421 * [taylor]: Taking taylor expansion of 1/3 in y 29.421 * [taylor]: Taking taylor expansion of (log y) in y 29.421 * [taylor]: Taking taylor expansion of y in y 29.471 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 29.471 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.471 * [taylor]: Taking taylor expansion of 1/3 in y 29.472 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.472 * [taylor]: Taking taylor expansion of y in y 29.473 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.473 * [taylor]: Taking taylor expansion of 1/3 in y 29.473 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.473 * [taylor]: Taking taylor expansion of y in y 29.533 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 29.533 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 29.533 * [taylor]: Taking taylor expansion of (cbrt -1) in y 29.533 * [taylor]: Taking taylor expansion of -1 in y 29.534 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.534 * [taylor]: Taking taylor expansion of 1/3 in y 29.534 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.534 * [taylor]: Taking taylor expansion of y in y 29.535 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 29.535 * [taylor]: Taking taylor expansion of (cbrt -1) in y 29.535 * [taylor]: Taking taylor expansion of -1 in y 29.536 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.536 * [taylor]: Taking taylor expansion of 1/3 in y 29.536 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.536 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.536 * [taylor]: Taking taylor expansion of y in y 29.610 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 29.610 * [approximate]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in (y) around 0 29.610 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 29.610 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 29.610 * [taylor]: Taking taylor expansion of (* 3 y) in y 29.610 * [taylor]: Taking taylor expansion of 3 in y 29.610 * [taylor]: Taking taylor expansion of y in y 29.610 * [taylor]: Taking taylor expansion of 1.5 in y 29.610 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 29.610 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 29.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 29.610 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 29.610 * [taylor]: Taking taylor expansion of 1/3 in y 29.610 * [taylor]: Taking taylor expansion of (log y) in y 29.610 * [taylor]: Taking taylor expansion of y in y 29.611 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 29.611 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 29.611 * [taylor]: Taking taylor expansion of (* 3 y) in y 29.611 * [taylor]: Taking taylor expansion of 3 in y 29.611 * [taylor]: Taking taylor expansion of y in y 29.611 * [taylor]: Taking taylor expansion of 1.5 in y 29.611 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 29.611 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 29.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 29.611 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 29.611 * [taylor]: Taking taylor expansion of 1/3 in y 29.611 * [taylor]: Taking taylor expansion of (log y) in y 29.611 * [taylor]: Taking taylor expansion of y in y 29.752 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in (y) around 0 29.752 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 29.752 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 29.752 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.752 * [taylor]: Taking taylor expansion of 1/3 in y 29.752 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.752 * [taylor]: Taking taylor expansion of y in y 29.753 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 29.753 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 29.753 * [taylor]: Taking taylor expansion of 3 in y 29.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.753 * [taylor]: Taking taylor expansion of y in y 29.754 * [taylor]: Taking taylor expansion of 1.5 in y 29.754 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 29.754 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 29.754 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.754 * [taylor]: Taking taylor expansion of 1/3 in y 29.754 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.754 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.754 * [taylor]: Taking taylor expansion of y in y 29.755 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 29.755 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 29.755 * [taylor]: Taking taylor expansion of 3 in y 29.755 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.755 * [taylor]: Taking taylor expansion of y in y 29.755 * [taylor]: Taking taylor expansion of 1.5 in y 29.894 * [approximate]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 29.894 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 29.894 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 29.894 * [taylor]: Taking taylor expansion of 1.5 in y 29.894 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 29.895 * [taylor]: Taking taylor expansion of 3 in y 29.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.895 * [taylor]: Taking taylor expansion of y in y 29.895 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 29.895 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 29.895 * [taylor]: Taking taylor expansion of (cbrt -1) in y 29.895 * [taylor]: Taking taylor expansion of -1 in y 29.896 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.896 * [taylor]: Taking taylor expansion of 1/3 in y 29.896 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.896 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.896 * [taylor]: Taking taylor expansion of y in y 29.904 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 29.904 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 29.904 * [taylor]: Taking taylor expansion of 1.5 in y 29.904 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 29.904 * [taylor]: Taking taylor expansion of 3 in y 29.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.904 * [taylor]: Taking taylor expansion of y in y 29.904 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 29.904 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 29.904 * [taylor]: Taking taylor expansion of (cbrt -1) in y 29.904 * [taylor]: Taking taylor expansion of -1 in y 29.905 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 29.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 29.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 29.905 * [taylor]: Taking taylor expansion of 1/3 in y 29.905 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 29.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.905 * [taylor]: Taking taylor expansion of y in y 30.094 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 30.094 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in (x y) around 0 30.094 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 30.094 * [taylor]: Taking taylor expansion of (+ x y) in y 30.094 * [taylor]: Taking taylor expansion of x in y 30.094 * [taylor]: Taking taylor expansion of y in y 30.094 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 30.094 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 30.094 * [taylor]: Taking taylor expansion of 3 in y 30.094 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 30.094 * [taylor]: Taking taylor expansion of y in y 30.094 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 30.094 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 30.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 30.094 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 30.094 * [taylor]: Taking taylor expansion of 1/3 in y 30.094 * [taylor]: Taking taylor expansion of (log y) in y 30.094 * [taylor]: Taking taylor expansion of y in y 30.095 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 30.095 * [taylor]: Taking taylor expansion of 1.5 in y 30.095 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 30.095 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 30.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 30.095 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 30.095 * [taylor]: Taking taylor expansion of 1/3 in y 30.095 * [taylor]: Taking taylor expansion of (log y) in y 30.095 * [taylor]: Taking taylor expansion of y in y 30.096 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 30.096 * [taylor]: Taking taylor expansion of (+ x y) in x 30.096 * [taylor]: Taking taylor expansion of x in x 30.096 * [taylor]: Taking taylor expansion of y in x 30.096 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 30.096 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 30.096 * [taylor]: Taking taylor expansion of 3 in x 30.096 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 30.096 * [taylor]: Taking taylor expansion of y in x 30.096 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 30.096 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 30.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 30.096 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 30.096 * [taylor]: Taking taylor expansion of 1/3 in x 30.096 * [taylor]: Taking taylor expansion of (log y) in x 30.096 * [taylor]: Taking taylor expansion of y in x 30.096 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 30.096 * [taylor]: Taking taylor expansion of 1.5 in x 30.096 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 30.096 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 30.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 30.096 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 30.096 * [taylor]: Taking taylor expansion of 1/3 in x 30.096 * [taylor]: Taking taylor expansion of (log y) in x 30.096 * [taylor]: Taking taylor expansion of y in x 30.097 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 30.097 * [taylor]: Taking taylor expansion of (+ x y) in x 30.097 * [taylor]: Taking taylor expansion of x in x 30.097 * [taylor]: Taking taylor expansion of y in x 30.097 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 30.097 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 30.097 * [taylor]: Taking taylor expansion of 3 in x 30.097 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 30.097 * [taylor]: Taking taylor expansion of y in x 30.097 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 30.097 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 30.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 30.097 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 30.097 * [taylor]: Taking taylor expansion of 1/3 in x 30.097 * [taylor]: Taking taylor expansion of (log y) in x 30.097 * [taylor]: Taking taylor expansion of y in x 30.097 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 30.097 * [taylor]: Taking taylor expansion of 1.5 in x 30.097 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 30.097 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 30.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 30.097 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 30.097 * [taylor]: Taking taylor expansion of 1/3 in x 30.097 * [taylor]: Taking taylor expansion of (log y) in x 30.097 * [taylor]: Taking taylor expansion of y in x 30.098 * [taylor]: Taking taylor expansion of (- y (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 30.098 * [taylor]: Taking taylor expansion of y in y 30.098 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 30.098 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 30.098 * [taylor]: Taking taylor expansion of 3 in y 30.098 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 30.098 * [taylor]: Taking taylor expansion of y in y 30.098 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 30.098 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 30.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 30.098 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 30.098 * [taylor]: Taking taylor expansion of 1/3 in y 30.098 * [taylor]: Taking taylor expansion of (log y) in y 30.098 * [taylor]: Taking taylor expansion of y in y 30.099 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 30.099 * [taylor]: Taking taylor expansion of 1.5 in y 30.099 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 30.099 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 30.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 30.099 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 30.099 * [taylor]: Taking taylor expansion of 1/3 in y 30.099 * [taylor]: Taking taylor expansion of (log y) in y 30.100 * [taylor]: Taking taylor expansion of y in y 30.107 * [taylor]: Taking taylor expansion of 1 in y 30.113 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in (x y) around 0 30.113 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 30.113 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 30.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.113 * [taylor]: Taking taylor expansion of y in y 30.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y 30.114 * [taylor]: Taking taylor expansion of x in y 30.114 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 30.114 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 30.114 * [taylor]: Taking taylor expansion of 1.5 in y 30.114 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 30.114 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.114 * [taylor]: Taking taylor expansion of 1/3 in y 30.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.114 * [taylor]: Taking taylor expansion of y in y 30.115 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 30.115 * [taylor]: Taking taylor expansion of 3 in y 30.115 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 30.115 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 30.115 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.115 * [taylor]: Taking taylor expansion of 1/3 in y 30.115 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.115 * [taylor]: Taking taylor expansion of y in y 30.116 * [taylor]: Taking taylor expansion of y in y 30.116 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 30.116 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 30.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.116 * [taylor]: Taking taylor expansion of y in x 30.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.116 * [taylor]: Taking taylor expansion of x in x 30.117 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 30.117 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 30.117 * [taylor]: Taking taylor expansion of 1.5 in x 30.117 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 30.117 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.117 * [taylor]: Taking taylor expansion of 1/3 in x 30.117 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.117 * [taylor]: Taking taylor expansion of y in x 30.117 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 30.117 * [taylor]: Taking taylor expansion of 3 in x 30.117 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 30.117 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 30.117 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.117 * [taylor]: Taking taylor expansion of 1/3 in x 30.117 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.117 * [taylor]: Taking taylor expansion of y in x 30.118 * [taylor]: Taking taylor expansion of y in x 30.118 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in x 30.118 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 30.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.118 * [taylor]: Taking taylor expansion of y in x 30.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.118 * [taylor]: Taking taylor expansion of x in x 30.119 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 30.119 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 30.119 * [taylor]: Taking taylor expansion of 1.5 in x 30.119 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 30.119 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.119 * [taylor]: Taking taylor expansion of 1/3 in x 30.119 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.119 * [taylor]: Taking taylor expansion of y in x 30.119 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 30.119 * [taylor]: Taking taylor expansion of 3 in x 30.119 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 30.119 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 30.119 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.119 * [taylor]: Taking taylor expansion of 1/3 in x 30.119 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.119 * [taylor]: Taking taylor expansion of y in x 30.120 * [taylor]: Taking taylor expansion of y in x 30.120 * [taylor]: Taking taylor expansion of 1 in y 30.122 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 30.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.122 * [taylor]: Taking taylor expansion of y in y 30.122 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 30.122 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 30.122 * [taylor]: Taking taylor expansion of 1.5 in y 30.122 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 30.122 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.123 * [taylor]: Taking taylor expansion of 1/3 in y 30.123 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.123 * [taylor]: Taking taylor expansion of y in y 30.124 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 30.124 * [taylor]: Taking taylor expansion of 3 in y 30.124 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 30.124 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 30.124 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.124 * [taylor]: Taking taylor expansion of 1/3 in y 30.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.124 * [taylor]: Taking taylor expansion of y in y 30.125 * [taylor]: Taking taylor expansion of y in y 30.132 * [taylor]: Taking taylor expansion of 0 in y 30.138 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in (x y) around 0 30.138 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in y 30.138 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 30.138 * [taylor]: Taking taylor expansion of 3 in y 30.138 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 30.138 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 30.138 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 30.138 * [taylor]: Taking taylor expansion of (cbrt -1) in y 30.138 * [taylor]: Taking taylor expansion of -1 in y 30.139 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.139 * [taylor]: Taking taylor expansion of 1/3 in y 30.139 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.139 * [taylor]: Taking taylor expansion of y in y 30.141 * [taylor]: Taking taylor expansion of y in y 30.141 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 30.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.141 * [taylor]: Taking taylor expansion of y in y 30.141 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 30.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y 30.142 * [taylor]: Taking taylor expansion of x in y 30.142 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 30.142 * [taylor]: Taking taylor expansion of 1.5 in y 30.142 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 30.142 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 30.142 * [taylor]: Taking taylor expansion of (cbrt -1) in y 30.142 * [taylor]: Taking taylor expansion of -1 in y 30.142 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.142 * [taylor]: Taking taylor expansion of 1/3 in y 30.143 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.143 * [taylor]: Taking taylor expansion of y in y 30.144 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in x 30.144 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 30.144 * [taylor]: Taking taylor expansion of 3 in x 30.144 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 30.145 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 30.145 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 30.145 * [taylor]: Taking taylor expansion of (cbrt -1) in x 30.145 * [taylor]: Taking taylor expansion of -1 in x 30.145 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.146 * [taylor]: Taking taylor expansion of 1/3 in x 30.146 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.146 * [taylor]: Taking taylor expansion of y in x 30.147 * [taylor]: Taking taylor expansion of y in x 30.147 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 30.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.147 * [taylor]: Taking taylor expansion of y in x 30.147 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 30.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.147 * [taylor]: Taking taylor expansion of x in x 30.148 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 30.148 * [taylor]: Taking taylor expansion of 1.5 in x 30.148 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 30.148 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 30.148 * [taylor]: Taking taylor expansion of (cbrt -1) in x 30.148 * [taylor]: Taking taylor expansion of -1 in x 30.148 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.149 * [taylor]: Taking taylor expansion of 1/3 in x 30.149 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.149 * [taylor]: Taking taylor expansion of y in x 30.150 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))))) in x 30.150 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 30.150 * [taylor]: Taking taylor expansion of 3 in x 30.150 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 30.150 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 30.150 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 30.150 * [taylor]: Taking taylor expansion of (cbrt -1) in x 30.150 * [taylor]: Taking taylor expansion of -1 in x 30.151 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.151 * [taylor]: Taking taylor expansion of 1/3 in x 30.151 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.151 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.151 * [taylor]: Taking taylor expansion of y in x 30.152 * [taylor]: Taking taylor expansion of y in x 30.153 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 30.153 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.153 * [taylor]: Taking taylor expansion of y in x 30.153 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 30.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.153 * [taylor]: Taking taylor expansion of x in x 30.153 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 30.153 * [taylor]: Taking taylor expansion of 1.5 in x 30.153 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 30.153 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 30.153 * [taylor]: Taking taylor expansion of (cbrt -1) in x 30.153 * [taylor]: Taking taylor expansion of -1 in x 30.154 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 30.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 30.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 30.154 * [taylor]: Taking taylor expansion of 1/3 in x 30.154 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 30.154 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.154 * [taylor]: Taking taylor expansion of y in x 30.156 * [taylor]: Taking taylor expansion of -1 in y 30.160 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) (+ (/ 1 y) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 30.160 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 30.160 * [taylor]: Taking taylor expansion of 3 in y 30.160 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 30.160 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 30.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 30.160 * [taylor]: Taking taylor expansion of (cbrt -1) in y 30.160 * [taylor]: Taking taylor expansion of -1 in y 30.161 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.161 * [taylor]: Taking taylor expansion of 1/3 in y 30.161 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.161 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.161 * [taylor]: Taking taylor expansion of y in y 30.163 * [taylor]: Taking taylor expansion of y in y 30.163 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 30.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.163 * [taylor]: Taking taylor expansion of y in y 30.164 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 30.164 * [taylor]: Taking taylor expansion of 1.5 in y 30.164 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 30.164 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 30.164 * [taylor]: Taking taylor expansion of (cbrt -1) in y 30.164 * [taylor]: Taking taylor expansion of -1 in y 30.165 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 30.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 30.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 30.165 * [taylor]: Taking taylor expansion of 1/3 in y 30.165 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 30.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.165 * [taylor]: Taking taylor expansion of y in y 30.184 * [taylor]: Taking taylor expansion of 0 in y 30.193 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 30.193 * [approximate]: Taking taylor expansion of (+ (* 3 y) 1.5) in (y) around 0 30.193 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 30.193 * [taylor]: Taking taylor expansion of (* 3 y) in y 30.193 * [taylor]: Taking taylor expansion of 3 in y 30.193 * [taylor]: Taking taylor expansion of y in y 30.193 * [taylor]: Taking taylor expansion of 1.5 in y 30.193 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 30.193 * [taylor]: Taking taylor expansion of (* 3 y) in y 30.193 * [taylor]: Taking taylor expansion of 3 in y 30.193 * [taylor]: Taking taylor expansion of y in y 30.193 * [taylor]: Taking taylor expansion of 1.5 in y 30.201 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in (y) around 0 30.201 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 30.201 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 30.201 * [taylor]: Taking taylor expansion of 3 in y 30.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.201 * [taylor]: Taking taylor expansion of y in y 30.202 * [taylor]: Taking taylor expansion of 1.5 in y 30.202 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 30.202 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 30.202 * [taylor]: Taking taylor expansion of 3 in y 30.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.202 * [taylor]: Taking taylor expansion of y in y 30.202 * [taylor]: Taking taylor expansion of 1.5 in y 30.213 * [approximate]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in (y) around 0 30.213 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 30.213 * [taylor]: Taking taylor expansion of 1.5 in y 30.213 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 30.213 * [taylor]: Taking taylor expansion of 3 in y 30.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.213 * [taylor]: Taking taylor expansion of y in y 30.213 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 30.213 * [taylor]: Taking taylor expansion of 1.5 in y 30.213 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 30.213 * [taylor]: Taking taylor expansion of 3 in y 30.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.213 * [taylor]: Taking taylor expansion of y in y 30.227 * * * [progress]: simplifying candidates 30.228 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (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)) (expm1 (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (log1p (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (log (cbrt y)) (+ 1.5 (* 3 y))) (+ (log (log (cbrt y))) (log (+ 1.5 (* 3 y)))) (log (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (exp (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (+ 1.5 (* 3 y)) (+ 1.5 (* 3 y))) (+ 1.5 (* 3 y)))) (* (cbrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (cbrt (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (cbrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (* (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (sqrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (sqrt (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (* (sqrt (log (cbrt y))) (sqrt (+ 1.5 (* 3 y)))) (* (sqrt (log (cbrt y))) (sqrt (+ 1.5 (* 3 y)))) (* (log (cbrt y)) 1.5) (* (log (cbrt y)) (* 3 y)) (* 1.5 (log (cbrt y))) (* (* 3 y) (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ 1.5 (* 3 y))) (cbrt (+ 1.5 (* 3 y))))) (* (log (cbrt y)) (sqrt (+ 1.5 (* 3 y)))) (* (log (cbrt y)) 1) (* (log y) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (cbrt (log (cbrt y))) (+ 1.5 (* 3 y))) (* (sqrt (log (cbrt y))) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ 1.5 (* 3 y))) (* (log (cbrt y)) (+ (pow 1.5 3) (pow (* 3 y) 3))) (* (log (cbrt y)) (- (* 1.5 1.5) (* (* 3 y) (* 3 y)))) (expm1 (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (log1p (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (* (/ (exp x) (exp (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (exp y)) (* (exp (- x (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (exp y)) (log (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (exp (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (* (cbrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (cbrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y))) (cbrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (* (* (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y)) (+ (pow (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) 3) (pow y 3)) (+ (* (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (- (* y y) (* (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y))) (- (* (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) (- x (* (log (cbrt y)) (+ 1.5 (* 3 y))))) (* y y)) (- (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (- x (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (fma (- (+ 1.5 (* 3 y))) (log (cbrt y)) (* (+ 1.5 (* 3 y)) (log (cbrt y)))) y) (+ (fma (- (+ 1.5 (* 3 y))) (log (cbrt y)) (* (+ 1.5 (* 3 y)) (log (cbrt y)))) y) (+ (fma (- (+ 1.5 (* 3 y))) (log (cbrt y)) (* (+ 1.5 (* 3 y)) (log (cbrt y)))) y) (+ (- (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (+ (- (* (log (cbrt y)) (+ 1.5 (* 3 y)))) y) (- (* (log (cbrt y)) (+ 1.5 (* 3 y))) y) (expm1 (+ 1.5 (* 3 y))) (log1p (+ 1.5 (* 3 y))) (* (exp 1.5) (exp (* 3 y))) (log (+ 1.5 (* 3 y))) (exp (+ 1.5 (* 3 y))) (* (cbrt (+ 1.5 (* 3 y))) (cbrt (+ 1.5 (* 3 y)))) (cbrt (+ 1.5 (* 3 y))) (* (* (+ 1.5 (* 3 y)) (+ 1.5 (* 3 y))) (+ 1.5 (* 3 y))) (sqrt (+ 1.5 (* 3 y))) (sqrt (+ 1.5 (* 3 y))) (+ (pow 1.5 3) (pow (* 3 y) 3)) (+ (* 1.5 1.5) (- (* (* 3 y) (* 3 y)) (* 1.5 (* 3 y)))) (- (* 1.5 1.5) (* (* 3 y) (* 3 y))) (- 1.5 (* 3 y)) (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))) (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) (- (+ x y) (+ (* 3 (* y (log (pow (/ 1 y) -1/3)))) (* 1.5 (log (pow (/ 1 y) -1/3))))) (- (+ x y) (+ (* 1.5 (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 3 (* (log (* (pow (* -1 y) 1/3) (cbrt -1))) y)))) (+ (* 3 y) 1.5) (+ (* 3 y) 1.5) (+ (* 3 y) 1.5) 30.232 * * [simplify]: iteration 0 : 138 enodes (cost 1066 ) 30.268 * * [simplify]: iteration 1 : 372 enodes (cost 941 ) 30.392 * * [simplify]: iteration 2 : 1225 enodes (cost 844 ) 31.042 * * [simplify]: iteration done : 5000 enodes (cost 807 ) 31.043 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (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)) (expm1 (* (fma 3 y 1.5) (log (cbrt y)))) (log1p (* (fma 3 y 1.5) (log (cbrt y)))) (* (fma 3 y 1.5) (log (cbrt y))) (log (* (fma 3 y 1.5) (log (cbrt y)))) (log (* (fma 3 y 1.5) (log (cbrt y)))) (pow (cbrt y) (fma 3 y 1.5)) (pow (* (fma 3 y 1.5) (log (cbrt y))) 3) (* (cbrt (* (fma 3 y 1.5) (log (cbrt y)))) (cbrt (* (fma 3 y 1.5) (log (cbrt y))))) (cbrt (* (fma 3 y 1.5) (log (cbrt y)))) (pow (* (fma 3 y 1.5) (log (cbrt y))) 3) (sqrt (* (fma 3 y 1.5) (log (cbrt y)))) (sqrt (* (fma 3 y 1.5) (log (cbrt y)))) (* (sqrt (log (cbrt y))) (sqrt (fma 3 y 1.5))) (* (sqrt (log (cbrt y))) (sqrt (fma 3 y 1.5))) (* 1.5 (log (cbrt y))) (* (log (cbrt y)) (* 3 y)) (* 1.5 (log (cbrt y))) (* (log (cbrt y)) (* 3 y)) (* (* (cbrt (fma 3 y 1.5)) (cbrt (fma 3 y 1.5))) (log (cbrt y))) (* (log (cbrt y)) (sqrt (fma 3 y 1.5))) (log (cbrt y)) (* (fma 3 y 1.5) (log y)) (* (fma 3 y 1.5) (log (cbrt y))) (* (fma 3 y 1.5) (cbrt (log (cbrt y)))) (* (sqrt (log (cbrt y))) (fma 3 y 1.5)) (* (fma 3 y 1.5) (log (cbrt y))) (* (log (cbrt y)) (fma 27 (pow y 3) (pow 1.5 3))) (* (log (cbrt y)) (fma 1.5 1.5 (* -9 (* y y)))) (expm1 (+ y (- x (* (fma 3 y 1.5) (log (cbrt y)))))) (log1p (+ y (- x (* (fma 3 y 1.5) (log (cbrt y)))))) (/ (exp (+ x y)) (pow (cbrt y) (fma 3 y 1.5))) (/ (exp (+ x y)) (pow (cbrt y) (fma 3 y 1.5))) (log (+ y (- x (* (fma 3 y 1.5) (log (cbrt y)))))) (/ (exp (+ x y)) (pow (cbrt y) (fma 3 y 1.5))) (* (cbrt (+ y (- x (* (fma 3 y 1.5) (log (cbrt y)))))) (cbrt (+ y (- x (* (fma 3 y 1.5) (log (cbrt y))))))) (cbrt (+ y (- x (* (fma 3 y 1.5) (log (cbrt y)))))) (pow (+ y (- x (* (fma 3 y 1.5) (log (cbrt y))))) 3) (sqrt (+ y (- x (* (fma 3 y 1.5) (log (cbrt y)))))) (sqrt (+ y (- x (* (fma 3 y 1.5) (log (cbrt y)))))) (+ (pow (- x (* (fma 3 y 1.5) (log (cbrt y)))) 3) (pow y 3)) (+ (* (- x (* (fma 3 y 1.5) (log (cbrt y)))) (- x (fma (fma 3 y 1.5) (log (cbrt y)) y))) (* y y)) (* (+ y (- x (* (fma 3 y 1.5) (log (cbrt y))))) (- x (fma (fma 3 y 1.5) (log (cbrt y)) y))) (- x (fma (fma 3 y 1.5) (log (cbrt y)) y)) (+ y (- x (* (fma 3 y 1.5) (log (cbrt y))))) (- y (* (fma 3 y 1.5) (+ (log (cbrt y)) (- (log (cbrt y)))))) (- y (* (fma 3 y 1.5) (+ (log (cbrt y)) (- (log (cbrt y)))))) (- y (* (fma 3 y 1.5) (+ (log (cbrt y)) (- (log (cbrt y)))))) (- y (* (fma 3 y 1.5) (log (cbrt y)))) (- y (* (fma 3 y 1.5) (log (cbrt y)))) (fma (log (cbrt y)) (fma 3 y 1.5) (- y)) (expm1 (fma 3 y 1.5)) (log1p (fma 3 y 1.5)) (exp (fma 3 y 1.5)) (log (fma 3 y 1.5)) (exp (fma 3 y 1.5)) (* (cbrt (fma 3 y 1.5)) (cbrt (fma 3 y 1.5))) (cbrt (fma 3 y 1.5)) (pow (fma 3 y 1.5) 3) (sqrt (fma 3 y 1.5)) (sqrt (fma 3 y 1.5)) (fma 27 (pow y 3) (pow 1.5 3)) (fma 1.5 1.5 (* (* 3 y) (- (* 3 y) 1.5))) (fma 1.5 1.5 (* -9 (* y y))) (- 1.5 (* 3 y)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* (fma 3 y 1.5) (log (cbrt y))) (* (* (- (log y)) -1/3) (fma 3 y 1.5)) (* (log (* (cbrt -1) (cbrt (- y)))) (fma 3 y 1.5)) (+ y (- x (* (fma 3 y 1.5) (log (cbrt y))))) (- (+ x y) (* (* (- (log y)) -1/3) (fma 3 y 1.5))) (- (+ x y) (* (log (* (cbrt -1) (cbrt (- y)))) (fma 3 y 1.5))) (fma 3 y 1.5) (fma 3 y 1.5) (fma 3 y 1.5) 31.044 * * * [progress]: adding candidates to table 31.361 * [progress]: [Phase 3 of 3] Extracting. 31.361 * * [regime]: Finding splitpoints for: (# # # # # #) 31.362 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 31.362 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # # #) 31.397 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # # #) 31.431 * * * * [regimes]: Trying to branch on z from (# # # # # #) 31.460 * * * * [regimes]: Trying to branch on y from (# # # # # #) 31.487 * * * * [regimes]: Trying to branch on x from (# # # # # #) 31.516 * * * [regime]: Found split indices: #