46.115 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.034 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.037 * [simplify]: Simplifying using # : (- (+ (- x (* (+ y 0.5) (log y))) y) z) 0.038 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 0.039 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 0.042 * * [simplify]: iteration 2 : 62 enodes (cost 12 ) 0.053 * * [simplify]: iteration 3 : 183 enodes (cost 12 ) 0.140 * * [simplify]: iteration 4 : 540 enodes (cost 11 ) 0.377 * * [simplify]: iteration 5 : 1053 enodes (cost 11 ) 1.101 * * [simplify]: iteration 6 : 1697 enodes (cost 11 ) 2.619 * * [simplify]: iteration 7 : 2346 enodes (cost 11 ) 3.829 * * [simplify]: iteration 8 : 2565 enodes (cost 11 ) 5.306 * * [simplify]: iteration 9 : 2683 enodes (cost 11 ) 6.819 * * [simplify]: iteration 10 : 2914 enodes (cost 11 ) 8.363 * * [simplify]: iteration 11 : 3128 enodes (cost 11 ) 9.980 * * [simplify]: iteration 12 : 3316 enodes (cost 11 ) 11.916 * * [simplify]: iteration 13 : 3550 enodes (cost 11 ) 14.295 * * [simplify]: iteration 14 : 3786 enodes (cost 11 ) 16.512 * * [simplify]: iteration 15 : 3832 enodes (cost 11 ) 18.881 * * [simplify]: iteration 16 : 3852 enodes (cost 11 ) 21.276 * * [simplify]: iteration done : 3852 enodes (cost 11 ) 21.276 * [simplify]: Simplified to: (- x (- (fma (log y) (+ y 0.5) z) y)) 21.279 * * [progress]: iteration 1 / 4 21.280 * * * [progress]: picking best candidate 21.284 * * * * [pick]: Picked # 21.284 * * * [progress]: localizing error 21.300 * * * [progress]: generating rewritten candidates 21.300 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 21.300 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 21.304 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 21.318 * * * [progress]: generating series expansions 21.318 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 21.319 * [approximate]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in (y z) around 0 21.319 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in z 21.319 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.319 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in z 21.319 * [taylor]: Taking taylor expansion of (log y) in z 21.319 * [taylor]: Taking taylor expansion of y in z 21.319 * [taylor]: Taking taylor expansion of (+ y 0.5) in z 21.319 * [taylor]: Taking taylor expansion of y in z 21.319 * [taylor]: Taking taylor expansion of 0.5 in z 21.319 * [taylor]: Taking taylor expansion of z in z 21.319 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 21.319 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.319 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 21.319 * [taylor]: Taking taylor expansion of (log y) in y 21.319 * [taylor]: Taking taylor expansion of y in y 21.320 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.320 * [taylor]: Taking taylor expansion of y in y 21.320 * [taylor]: Taking taylor expansion of 0.5 in y 21.320 * [taylor]: Taking taylor expansion of z in y 21.320 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 21.320 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.320 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 21.320 * [taylor]: Taking taylor expansion of (log y) in y 21.320 * [taylor]: Taking taylor expansion of y in y 21.321 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.321 * [taylor]: Taking taylor expansion of y in y 21.321 * [taylor]: Taking taylor expansion of 0.5 in y 21.321 * [taylor]: Taking taylor expansion of z in y 21.322 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 21.322 * [taylor]: Taking taylor expansion of z in z 21.322 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.322 * [taylor]: Taking taylor expansion of 0.5 in z 21.322 * [taylor]: Taking taylor expansion of (log y) in z 21.322 * [taylor]: Taking taylor expansion of y in z 21.324 * [taylor]: Taking taylor expansion of (log y) in z 21.324 * [taylor]: Taking taylor expansion of y in z 21.326 * [approximate]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in (y z) around 0 21.326 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in z 21.326 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.326 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in z 21.326 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 21.326 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.326 * [taylor]: Taking taylor expansion of y in z 21.326 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in z 21.326 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.326 * [taylor]: Taking taylor expansion of y in z 21.326 * [taylor]: Taking taylor expansion of 0.5 in z 21.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.327 * [taylor]: Taking taylor expansion of z in z 21.327 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 21.327 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.327 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 21.327 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.327 * [taylor]: Taking taylor expansion of y in y 21.328 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.328 * [taylor]: Taking taylor expansion of y in y 21.328 * [taylor]: Taking taylor expansion of 0.5 in y 21.328 * [taylor]: Taking taylor expansion of (/ 1 z) in y 21.328 * [taylor]: Taking taylor expansion of z in y 21.329 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 21.329 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.329 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 21.329 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.329 * [taylor]: Taking taylor expansion of y in y 21.329 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.330 * [taylor]: Taking taylor expansion of y in y 21.330 * [taylor]: Taking taylor expansion of 0.5 in y 21.330 * [taylor]: Taking taylor expansion of (/ 1 z) in y 21.330 * [taylor]: Taking taylor expansion of z in y 21.331 * [taylor]: Taking taylor expansion of (- (log y)) in z 21.331 * [taylor]: Taking taylor expansion of (log y) in z 21.331 * [taylor]: Taking taylor expansion of y in z 21.334 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (log y))) in z 21.334 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.334 * [taylor]: Taking taylor expansion of z in z 21.334 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.334 * [taylor]: Taking taylor expansion of 0.5 in z 21.335 * [taylor]: Taking taylor expansion of (log y) in z 21.335 * [taylor]: Taking taylor expansion of y in z 21.339 * [taylor]: Taking taylor expansion of 0 in z 21.341 * [approximate]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in (y z) around 0 21.341 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in z 21.341 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.341 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in z 21.341 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 21.341 * [taylor]: Taking taylor expansion of (/ -1 y) in z 21.341 * [taylor]: Taking taylor expansion of -1 in z 21.341 * [taylor]: Taking taylor expansion of y in z 21.341 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in z 21.341 * [taylor]: Taking taylor expansion of 0.5 in z 21.341 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.341 * [taylor]: Taking taylor expansion of y in z 21.341 * [taylor]: Taking taylor expansion of (/ -1 z) in z 21.341 * [taylor]: Taking taylor expansion of -1 in z 21.341 * [taylor]: Taking taylor expansion of z in z 21.342 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 21.342 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.342 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 21.342 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.342 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.342 * [taylor]: Taking taylor expansion of -1 in y 21.342 * [taylor]: Taking taylor expansion of y in y 21.343 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.343 * [taylor]: Taking taylor expansion of 0.5 in y 21.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.343 * [taylor]: Taking taylor expansion of y in y 21.343 * [taylor]: Taking taylor expansion of (/ -1 z) in y 21.343 * [taylor]: Taking taylor expansion of -1 in y 21.343 * [taylor]: Taking taylor expansion of z in y 21.343 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 21.344 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.344 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 21.344 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.344 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.344 * [taylor]: Taking taylor expansion of -1 in y 21.344 * [taylor]: Taking taylor expansion of y in y 21.344 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.345 * [taylor]: Taking taylor expansion of 0.5 in y 21.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.345 * [taylor]: Taking taylor expansion of y in y 21.345 * [taylor]: Taking taylor expansion of (/ -1 z) in y 21.345 * [taylor]: Taking taylor expansion of -1 in y 21.345 * [taylor]: Taking taylor expansion of z in y 21.347 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 21.347 * [taylor]: Taking taylor expansion of (log y) in z 21.347 * [taylor]: Taking taylor expansion of y in z 21.348 * [taylor]: Taking taylor expansion of (log -1) in z 21.348 * [taylor]: Taking taylor expansion of -1 in z 21.352 * [taylor]: Taking taylor expansion of (- (* 0.5 (log -1)) (+ (/ 1 z) (* 0.5 (log y)))) in z 21.353 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 21.353 * [taylor]: Taking taylor expansion of 0.5 in z 21.353 * [taylor]: Taking taylor expansion of (log -1) in z 21.353 * [taylor]: Taking taylor expansion of -1 in z 21.353 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 21.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.353 * [taylor]: Taking taylor expansion of z in z 21.353 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.353 * [taylor]: Taking taylor expansion of 0.5 in z 21.353 * [taylor]: Taking taylor expansion of (log y) in z 21.353 * [taylor]: Taking taylor expansion of y in z 21.361 * [taylor]: Taking taylor expansion of 0 in z 21.365 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 21.366 * [approximate]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in (y z) around 0 21.366 * [taylor]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in z 21.366 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in z 21.366 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.366 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in z 21.366 * [taylor]: Taking taylor expansion of (log y) in z 21.366 * [taylor]: Taking taylor expansion of y in z 21.366 * [taylor]: Taking taylor expansion of (+ y 0.5) in z 21.366 * [taylor]: Taking taylor expansion of y in z 21.366 * [taylor]: Taking taylor expansion of 0.5 in z 21.366 * [taylor]: Taking taylor expansion of z in z 21.366 * [taylor]: Taking taylor expansion of y in z 21.366 * [taylor]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in y 21.366 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 21.366 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.366 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 21.366 * [taylor]: Taking taylor expansion of (log y) in y 21.366 * [taylor]: Taking taylor expansion of y in y 21.367 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.367 * [taylor]: Taking taylor expansion of y in y 21.367 * [taylor]: Taking taylor expansion of 0.5 in y 21.367 * [taylor]: Taking taylor expansion of z in y 21.367 * [taylor]: Taking taylor expansion of y in y 21.367 * [taylor]: Taking taylor expansion of (- (fma (log y) (+ y 0.5) z) y) in y 21.367 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 21.367 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.367 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 21.367 * [taylor]: Taking taylor expansion of (log y) in y 21.367 * [taylor]: Taking taylor expansion of y in y 21.367 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.368 * [taylor]: Taking taylor expansion of y in y 21.368 * [taylor]: Taking taylor expansion of 0.5 in y 21.368 * [taylor]: Taking taylor expansion of z in y 21.368 * [taylor]: Taking taylor expansion of y in y 21.369 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 21.369 * [taylor]: Taking taylor expansion of z in z 21.369 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.369 * [taylor]: Taking taylor expansion of 0.5 in z 21.369 * [taylor]: Taking taylor expansion of (log y) in z 21.369 * [taylor]: Taking taylor expansion of y in z 21.371 * [taylor]: Taking taylor expansion of (- (log y) 1) in z 21.371 * [taylor]: Taking taylor expansion of (log y) in z 21.371 * [taylor]: Taking taylor expansion of y in z 21.371 * [taylor]: Taking taylor expansion of 1 in z 21.373 * [approximate]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in (y z) around 0 21.373 * [taylor]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in z 21.374 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in z 21.374 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.374 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in z 21.374 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 21.374 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.374 * [taylor]: Taking taylor expansion of y in z 21.374 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in z 21.374 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.374 * [taylor]: Taking taylor expansion of y in z 21.374 * [taylor]: Taking taylor expansion of 0.5 in z 21.374 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.374 * [taylor]: Taking taylor expansion of z in z 21.374 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.374 * [taylor]: Taking taylor expansion of y in z 21.375 * [taylor]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in y 21.375 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 21.375 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.375 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 21.375 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.375 * [taylor]: Taking taylor expansion of y in y 21.375 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.376 * [taylor]: Taking taylor expansion of y in y 21.376 * [taylor]: Taking taylor expansion of 0.5 in y 21.376 * [taylor]: Taking taylor expansion of (/ 1 z) in y 21.376 * [taylor]: Taking taylor expansion of z in y 21.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.376 * [taylor]: Taking taylor expansion of y in y 21.376 * [taylor]: Taking taylor expansion of (- (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) (/ 1 y)) in y 21.376 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 21.376 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.377 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 21.377 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.377 * [taylor]: Taking taylor expansion of y in y 21.377 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.377 * [taylor]: Taking taylor expansion of y in y 21.378 * [taylor]: Taking taylor expansion of 0.5 in y 21.378 * [taylor]: Taking taylor expansion of (/ 1 z) in y 21.378 * [taylor]: Taking taylor expansion of z in y 21.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.378 * [taylor]: Taking taylor expansion of y in y 21.379 * [taylor]: Taking taylor expansion of (- (+ (log y) 1)) in z 21.379 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 21.379 * [taylor]: Taking taylor expansion of (log y) in z 21.379 * [taylor]: Taking taylor expansion of y in z 21.379 * [taylor]: Taking taylor expansion of 1 in z 21.383 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (log y))) in z 21.383 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.383 * [taylor]: Taking taylor expansion of z in z 21.384 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.384 * [taylor]: Taking taylor expansion of 0.5 in z 21.384 * [taylor]: Taking taylor expansion of (log y) in z 21.384 * [taylor]: Taking taylor expansion of y in z 21.390 * [taylor]: Taking taylor expansion of 0 in z 21.391 * [approximate]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in (y z) around 0 21.391 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in z 21.391 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in z 21.391 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.391 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in z 21.391 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 21.391 * [taylor]: Taking taylor expansion of (/ -1 y) in z 21.391 * [taylor]: Taking taylor expansion of -1 in z 21.391 * [taylor]: Taking taylor expansion of y in z 21.391 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in z 21.392 * [taylor]: Taking taylor expansion of 0.5 in z 21.392 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.392 * [taylor]: Taking taylor expansion of y in z 21.392 * [taylor]: Taking taylor expansion of (/ -1 z) in z 21.392 * [taylor]: Taking taylor expansion of -1 in z 21.392 * [taylor]: Taking taylor expansion of z in z 21.392 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.392 * [taylor]: Taking taylor expansion of y in z 21.392 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in y 21.392 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 21.392 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.392 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 21.392 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.392 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.392 * [taylor]: Taking taylor expansion of -1 in y 21.392 * [taylor]: Taking taylor expansion of y in y 21.393 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.393 * [taylor]: Taking taylor expansion of 0.5 in y 21.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.393 * [taylor]: Taking taylor expansion of y in y 21.393 * [taylor]: Taking taylor expansion of (/ -1 z) in y 21.393 * [taylor]: Taking taylor expansion of -1 in y 21.394 * [taylor]: Taking taylor expansion of z in y 21.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.394 * [taylor]: Taking taylor expansion of y in y 21.394 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (/ 1 y)) in y 21.394 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 21.394 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.394 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 21.394 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.394 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.394 * [taylor]: Taking taylor expansion of -1 in y 21.394 * [taylor]: Taking taylor expansion of y in y 21.395 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.395 * [taylor]: Taking taylor expansion of 0.5 in y 21.395 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.395 * [taylor]: Taking taylor expansion of y in y 21.395 * [taylor]: Taking taylor expansion of (/ -1 z) in y 21.395 * [taylor]: Taking taylor expansion of -1 in y 21.395 * [taylor]: Taking taylor expansion of z in y 21.395 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.395 * [taylor]: Taking taylor expansion of y in y 21.403 * [taylor]: Taking taylor expansion of (- (+ (log y) 1) (log -1)) in z 21.403 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 21.403 * [taylor]: Taking taylor expansion of (log y) in z 21.403 * [taylor]: Taking taylor expansion of y in z 21.403 * [taylor]: Taking taylor expansion of 1 in z 21.403 * [taylor]: Taking taylor expansion of (log -1) in z 21.403 * [taylor]: Taking taylor expansion of -1 in z 21.409 * [taylor]: Taking taylor expansion of (- (* 0.5 (log -1)) (+ (/ 1 z) (* 0.5 (log y)))) in z 21.409 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 21.409 * [taylor]: Taking taylor expansion of 0.5 in z 21.409 * [taylor]: Taking taylor expansion of (log -1) in z 21.409 * [taylor]: Taking taylor expansion of -1 in z 21.409 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 21.409 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.409 * [taylor]: Taking taylor expansion of z in z 21.410 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.410 * [taylor]: Taking taylor expansion of 0.5 in z 21.410 * [taylor]: Taking taylor expansion of (log y) in z 21.410 * [taylor]: Taking taylor expansion of y in z 21.418 * [taylor]: Taking taylor expansion of 0 in z 21.422 * * * * [progress]: [ 3 / 3 ] generating series at (2) 21.422 * [approximate]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in (x y z) around 0 21.422 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in z 21.422 * [taylor]: Taking taylor expansion of (+ x y) in z 21.422 * [taylor]: Taking taylor expansion of x in z 21.422 * [taylor]: Taking taylor expansion of y in z 21.422 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in z 21.423 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.423 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in z 21.423 * [taylor]: Taking taylor expansion of (log y) in z 21.423 * [taylor]: Taking taylor expansion of y in z 21.423 * [taylor]: Taking taylor expansion of (+ y 0.5) in z 21.423 * [taylor]: Taking taylor expansion of y in z 21.423 * [taylor]: Taking taylor expansion of 0.5 in z 21.423 * [taylor]: Taking taylor expansion of z in z 21.423 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in y 21.423 * [taylor]: Taking taylor expansion of (+ x y) in y 21.423 * [taylor]: Taking taylor expansion of x in y 21.423 * [taylor]: Taking taylor expansion of y in y 21.423 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in y 21.423 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.423 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in y 21.423 * [taylor]: Taking taylor expansion of (log y) in y 21.423 * [taylor]: Taking taylor expansion of y in y 21.423 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 21.423 * [taylor]: Taking taylor expansion of y in y 21.424 * [taylor]: Taking taylor expansion of 0.5 in y 21.424 * [taylor]: Taking taylor expansion of z in y 21.424 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in x 21.424 * [taylor]: Taking taylor expansion of (+ x y) in x 21.424 * [taylor]: Taking taylor expansion of x in x 21.424 * [taylor]: Taking taylor expansion of y in x 21.424 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in x 21.424 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.424 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in x 21.424 * [taylor]: Taking taylor expansion of (log y) in x 21.424 * [taylor]: Taking taylor expansion of y in x 21.424 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 21.424 * [taylor]: Taking taylor expansion of y in x 21.424 * [taylor]: Taking taylor expansion of 0.5 in x 21.424 * [taylor]: Taking taylor expansion of z in x 21.424 * [taylor]: Taking taylor expansion of (- (+ x y) (fma (log y) (+ y 0.5) z)) in x 21.424 * [taylor]: Taking taylor expansion of (+ x y) in x 21.424 * [taylor]: Taking taylor expansion of x in x 21.424 * [taylor]: Taking taylor expansion of y in x 21.424 * [taylor]: Taking taylor expansion of (fma (log y) (+ y 0.5) z) in x 21.424 * [taylor]: Rewrote expression to (+ (* (log y) (+ y 0.5)) z) 21.424 * [taylor]: Taking taylor expansion of (* (log y) (+ y 0.5)) in x 21.424 * [taylor]: Taking taylor expansion of (log y) in x 21.424 * [taylor]: Taking taylor expansion of y in x 21.424 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 21.424 * [taylor]: Taking taylor expansion of y in x 21.424 * [taylor]: Taking taylor expansion of 0.5 in x 21.424 * [taylor]: Taking taylor expansion of z in x 21.425 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 21.425 * [taylor]: Taking taylor expansion of y in y 21.425 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 21.425 * [taylor]: Taking taylor expansion of z in y 21.425 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 21.425 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 21.425 * [taylor]: Taking taylor expansion of 0.5 in y 21.425 * [taylor]: Taking taylor expansion of (log y) in y 21.425 * [taylor]: Taking taylor expansion of y in y 21.425 * [taylor]: Taking taylor expansion of (* y (log y)) in y 21.425 * [taylor]: Taking taylor expansion of y in y 21.425 * [taylor]: Taking taylor expansion of (log y) in y 21.425 * [taylor]: Taking taylor expansion of y in y 21.427 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 21.427 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 21.427 * [taylor]: Taking taylor expansion of z in z 21.427 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.427 * [taylor]: Taking taylor expansion of 0.5 in z 21.427 * [taylor]: Taking taylor expansion of (log y) in z 21.427 * [taylor]: Taking taylor expansion of y in z 21.429 * [taylor]: Taking taylor expansion of 1 in y 21.429 * [taylor]: Taking taylor expansion of 1 in z 21.432 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 21.432 * [taylor]: Taking taylor expansion of 1 in z 21.432 * [taylor]: Taking taylor expansion of (log y) in z 21.432 * [taylor]: Taking taylor expansion of y in z 21.432 * [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 21.432 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in z 21.433 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 21.433 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.433 * [taylor]: Taking taylor expansion of y in z 21.433 * [taylor]: Taking taylor expansion of (/ 1 x) in z 21.433 * [taylor]: Taking taylor expansion of x in z 21.433 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in z 21.433 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.433 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in z 21.433 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 21.433 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.433 * [taylor]: Taking taylor expansion of y in z 21.433 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in z 21.433 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.433 * [taylor]: Taking taylor expansion of y in z 21.433 * [taylor]: Taking taylor expansion of 0.5 in z 21.433 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.433 * [taylor]: Taking taylor expansion of z in z 21.433 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in y 21.433 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 21.434 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.434 * [taylor]: Taking taylor expansion of y in y 21.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.434 * [taylor]: Taking taylor expansion of x in y 21.434 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in y 21.434 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.434 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 21.434 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.434 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.434 * [taylor]: Taking taylor expansion of y in y 21.435 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 21.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.435 * [taylor]: Taking taylor expansion of y in y 21.435 * [taylor]: Taking taylor expansion of 0.5 in y 21.435 * [taylor]: Taking taylor expansion of (/ 1 z) in y 21.435 * [taylor]: Taking taylor expansion of z in y 21.435 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in x 21.435 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.435 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.435 * [taylor]: Taking taylor expansion of y in x 21.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.435 * [taylor]: Taking taylor expansion of x in x 21.436 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in x 21.436 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.436 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in x 21.436 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 21.436 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.436 * [taylor]: Taking taylor expansion of y in x 21.436 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in x 21.436 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.436 * [taylor]: Taking taylor expansion of y in x 21.436 * [taylor]: Taking taylor expansion of 0.5 in x 21.436 * [taylor]: Taking taylor expansion of (/ 1 z) in x 21.436 * [taylor]: Taking taylor expansion of z in x 21.436 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z))) in x 21.436 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.436 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.436 * [taylor]: Taking taylor expansion of y in x 21.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.436 * [taylor]: Taking taylor expansion of x in x 21.436 * [taylor]: Taking taylor expansion of (fma (log (/ 1 y)) (+ (/ 1 y) 0.5) (/ 1 z)) in x 21.437 * [taylor]: Rewrote expression to (+ (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) (/ 1 z)) 21.437 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in x 21.437 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 21.437 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.437 * [taylor]: Taking taylor expansion of y in x 21.437 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in x 21.437 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.437 * [taylor]: Taking taylor expansion of y in x 21.437 * [taylor]: Taking taylor expansion of 0.5 in x 21.437 * [taylor]: Taking taylor expansion of (/ 1 z) in x 21.437 * [taylor]: Taking taylor expansion of z in x 21.437 * [taylor]: Taking taylor expansion of 1 in y 21.439 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 21.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.439 * [taylor]: Taking taylor expansion of y in y 21.439 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 21.439 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 21.439 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.439 * [taylor]: Taking taylor expansion of y in y 21.440 * [taylor]: Taking taylor expansion of y in y 21.440 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 21.440 * [taylor]: Taking taylor expansion of (/ 1 z) in y 21.440 * [taylor]: Taking taylor expansion of z in y 21.440 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 21.440 * [taylor]: Taking taylor expansion of 0.5 in y 21.440 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 21.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.441 * [taylor]: Taking taylor expansion of y in y 21.441 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 21.441 * [taylor]: Taking taylor expansion of (log y) in z 21.441 * [taylor]: Taking taylor expansion of y in z 21.441 * [taylor]: Taking taylor expansion of 1 in z 21.441 * [taylor]: Taking taylor expansion of 1 in z 21.444 * [taylor]: Taking taylor expansion of 0 in y 21.447 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 21.447 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.447 * [taylor]: Taking taylor expansion of 0.5 in z 21.447 * [taylor]: Taking taylor expansion of (log y) in z 21.447 * [taylor]: Taking taylor expansion of y in z 21.448 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.448 * [taylor]: Taking taylor expansion of z in z 21.449 * [taylor]: Taking taylor expansion of 0 in z 21.449 * [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 21.450 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in z 21.450 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in z 21.450 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in z 21.450 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.450 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in z 21.450 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 21.450 * [taylor]: Taking taylor expansion of (/ -1 y) in z 21.450 * [taylor]: Taking taylor expansion of -1 in z 21.450 * [taylor]: Taking taylor expansion of y in z 21.450 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in z 21.450 * [taylor]: Taking taylor expansion of 0.5 in z 21.450 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.450 * [taylor]: Taking taylor expansion of y in z 21.450 * [taylor]: Taking taylor expansion of (/ -1 z) in z 21.450 * [taylor]: Taking taylor expansion of -1 in z 21.450 * [taylor]: Taking taylor expansion of z in z 21.450 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 21.450 * [taylor]: Taking taylor expansion of (/ 1 y) in z 21.450 * [taylor]: Taking taylor expansion of y in z 21.450 * [taylor]: Taking taylor expansion of (/ 1 x) in z 21.450 * [taylor]: Taking taylor expansion of x in z 21.451 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in y 21.451 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in y 21.451 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in y 21.451 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.451 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in y 21.451 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.451 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.451 * [taylor]: Taking taylor expansion of -1 in y 21.451 * [taylor]: Taking taylor expansion of y in y 21.451 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 21.451 * [taylor]: Taking taylor expansion of 0.5 in y 21.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.452 * [taylor]: Taking taylor expansion of y in y 21.452 * [taylor]: Taking taylor expansion of (/ -1 z) in y 21.452 * [taylor]: Taking taylor expansion of -1 in y 21.452 * [taylor]: Taking taylor expansion of z in y 21.452 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 21.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.452 * [taylor]: Taking taylor expansion of y in y 21.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y 21.452 * [taylor]: Taking taylor expansion of x in y 21.452 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in x 21.452 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in x 21.452 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in x 21.452 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.452 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in x 21.453 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 21.453 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.453 * [taylor]: Taking taylor expansion of -1 in x 21.453 * [taylor]: Taking taylor expansion of y in x 21.453 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 21.453 * [taylor]: Taking taylor expansion of 0.5 in x 21.453 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.453 * [taylor]: Taking taylor expansion of y in x 21.453 * [taylor]: Taking taylor expansion of (/ -1 z) in x 21.453 * [taylor]: Taking taylor expansion of -1 in x 21.453 * [taylor]: Taking taylor expansion of z in x 21.453 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.453 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.453 * [taylor]: Taking taylor expansion of y in x 21.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.453 * [taylor]: Taking taylor expansion of x in x 21.453 * [taylor]: Taking taylor expansion of (- (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x)))) in x 21.453 * [taylor]: Taking taylor expansion of (+ (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) (+ (/ 1 y) (/ 1 x))) in x 21.453 * [taylor]: Taking taylor expansion of (fma (log (/ -1 y)) (- 0.5 (/ 1 y)) (/ -1 z)) in x 21.453 * [taylor]: Rewrote expression to (+ (* (log (/ -1 y)) (- 0.5 (/ 1 y))) (/ -1 z)) 21.453 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (- 0.5 (/ 1 y))) in x 21.453 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 21.453 * [taylor]: Taking taylor expansion of (/ -1 y) in x 21.453 * [taylor]: Taking taylor expansion of -1 in x 21.453 * [taylor]: Taking taylor expansion of y in x 21.454 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 21.454 * [taylor]: Taking taylor expansion of 0.5 in x 21.454 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.454 * [taylor]: Taking taylor expansion of y in x 21.454 * [taylor]: Taking taylor expansion of (/ -1 z) in x 21.454 * [taylor]: Taking taylor expansion of -1 in x 21.454 * [taylor]: Taking taylor expansion of z in x 21.454 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 21.454 * [taylor]: Taking taylor expansion of (/ 1 y) in x 21.454 * [taylor]: Taking taylor expansion of y in x 21.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.454 * [taylor]: Taking taylor expansion of x in x 21.455 * [taylor]: Taking taylor expansion of -1 in y 21.456 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 21.456 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 21.456 * [taylor]: Taking taylor expansion of (/ 1 z) in y 21.456 * [taylor]: Taking taylor expansion of z in y 21.456 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 21.456 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.456 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.456 * [taylor]: Taking taylor expansion of -1 in y 21.456 * [taylor]: Taking taylor expansion of y in y 21.457 * [taylor]: Taking taylor expansion of y in y 21.459 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 21.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.459 * [taylor]: Taking taylor expansion of y in y 21.459 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 21.459 * [taylor]: Taking taylor expansion of 0.5 in y 21.459 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 21.459 * [taylor]: Taking taylor expansion of (/ -1 y) in y 21.459 * [taylor]: Taking taylor expansion of -1 in y 21.459 * [taylor]: Taking taylor expansion of y in y 21.461 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 21.461 * [taylor]: Taking taylor expansion of (log -1) in z 21.461 * [taylor]: Taking taylor expansion of -1 in z 21.461 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 21.461 * [taylor]: Taking taylor expansion of (log y) in z 21.461 * [taylor]: Taking taylor expansion of y in z 21.461 * [taylor]: Taking taylor expansion of 1 in z 21.461 * [taylor]: Taking taylor expansion of -1 in z 21.464 * [taylor]: Taking taylor expansion of 0 in y 21.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 21.469 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 21.469 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.469 * [taylor]: Taking taylor expansion of z in z 21.470 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 21.470 * [taylor]: Taking taylor expansion of 0.5 in z 21.470 * [taylor]: Taking taylor expansion of (log y) in z 21.470 * [taylor]: Taking taylor expansion of y in z 21.470 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 21.470 * [taylor]: Taking taylor expansion of 0.5 in z 21.470 * [taylor]: Taking taylor expansion of (log -1) in z 21.470 * [taylor]: Taking taylor expansion of -1 in z 21.471 * [taylor]: Taking taylor expansion of 0 in z 21.472 * * * [progress]: simplifying candidates 21.474 * [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))) 21.481 * * [simplify]: iteration 0 : 170 enodes (cost 2426 ) 21.521 * * [simplify]: iteration 1 : 394 enodes (cost 1917 ) 21.690 * * [simplify]: iteration 2 : 1139 enodes (cost 1689 ) 22.138 * * [simplify]: iteration done : 5000 enodes (cost 1590 ) 22.139 * [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)) (- (* (* (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) (- (* (* (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) (- (* (* (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) (fma (* (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) (- (- (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) (- (- (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)))) (fma (* (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)) 22.139 * * * [progress]: adding candidates to table 22.393 * * [progress]: iteration 2 / 4 22.393 * * * [progress]: picking best candidate 22.416 * * * * [pick]: Picked # 22.416 * * * [progress]: localizing error 22.427 * * * [progress]: generating rewritten candidates 22.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 22.441 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 22.452 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 22.522 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 22.529 * * * [progress]: generating series expansions 22.529 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 22.530 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log y)) in (y) around 0 22.530 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 22.530 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 22.530 * [taylor]: Taking taylor expansion of y in y 22.530 * [taylor]: Taking taylor expansion of 0.5 in y 22.530 * [taylor]: Taking taylor expansion of (log y) in y 22.530 * [taylor]: Taking taylor expansion of y in y 22.530 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log y)) in y 22.530 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 22.530 * [taylor]: Taking taylor expansion of y in y 22.530 * [taylor]: Taking taylor expansion of 0.5 in y 22.530 * [taylor]: Taking taylor expansion of (log y) in y 22.530 * [taylor]: Taking taylor expansion of y in y 22.611 * [approximate]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in (y) around 0 22.611 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 22.611 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.611 * [taylor]: Taking taylor expansion of y in y 22.612 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 22.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.612 * [taylor]: Taking taylor expansion of y in y 22.612 * [taylor]: Taking taylor expansion of 0.5 in y 22.612 * [taylor]: Taking taylor expansion of (* (log (/ 1 y)) (+ (/ 1 y) 0.5)) in y 22.612 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.612 * [taylor]: Taking taylor expansion of y in y 22.613 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 22.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.613 * [taylor]: Taking taylor expansion of y in y 22.613 * [taylor]: Taking taylor expansion of 0.5 in y 22.697 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in (y) around 0 22.697 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 22.697 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 22.697 * [taylor]: Taking taylor expansion of 0.5 in y 22.697 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.697 * [taylor]: Taking taylor expansion of y in y 22.698 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.698 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.698 * [taylor]: Taking taylor expansion of -1 in y 22.698 * [taylor]: Taking taylor expansion of y in y 22.699 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (/ -1 y))) in y 22.699 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 22.699 * [taylor]: Taking taylor expansion of 0.5 in y 22.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.699 * [taylor]: Taking taylor expansion of y in y 22.699 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.699 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.699 * [taylor]: Taking taylor expansion of -1 in y 22.699 * [taylor]: Taking taylor expansion of y in y 22.797 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 22.797 * [approximate]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 22.797 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in y 22.797 * [taylor]: Taking taylor expansion of (+ x y) in y 22.797 * [taylor]: Taking taylor expansion of x in y 22.797 * [taylor]: Taking taylor expansion of y in y 22.797 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 22.797 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 22.797 * [taylor]: Taking taylor expansion of 0.5 in y 22.798 * [taylor]: Taking taylor expansion of (log y) in y 22.798 * [taylor]: Taking taylor expansion of y in y 22.798 * [taylor]: Taking taylor expansion of (* y (log y)) in y 22.798 * [taylor]: Taking taylor expansion of y in y 22.798 * [taylor]: Taking taylor expansion of (log y) in y 22.798 * [taylor]: Taking taylor expansion of y in y 22.798 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 22.798 * [taylor]: Taking taylor expansion of (+ x y) in x 22.798 * [taylor]: Taking taylor expansion of x in x 22.798 * [taylor]: Taking taylor expansion of y in x 22.798 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 22.798 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 22.798 * [taylor]: Taking taylor expansion of 0.5 in x 22.798 * [taylor]: Taking taylor expansion of (log y) in x 22.799 * [taylor]: Taking taylor expansion of y in x 22.799 * [taylor]: Taking taylor expansion of (* y (log y)) in x 22.799 * [taylor]: Taking taylor expansion of y in x 22.799 * [taylor]: Taking taylor expansion of (log y) in x 22.799 * [taylor]: Taking taylor expansion of y in x 22.799 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 0.5 (log y)) (* y (log y)))) in x 22.799 * [taylor]: Taking taylor expansion of (+ x y) in x 22.799 * [taylor]: Taking taylor expansion of x in x 22.799 * [taylor]: Taking taylor expansion of y in x 22.799 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 22.799 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 22.799 * [taylor]: Taking taylor expansion of 0.5 in x 22.799 * [taylor]: Taking taylor expansion of (log y) in x 22.799 * [taylor]: Taking taylor expansion of y in x 22.799 * [taylor]: Taking taylor expansion of (* y (log y)) in x 22.799 * [taylor]: Taking taylor expansion of y in x 22.799 * [taylor]: Taking taylor expansion of (log y) in x 22.799 * [taylor]: Taking taylor expansion of y in x 22.799 * [taylor]: Taking taylor expansion of (- y (+ (* 0.5 (log y)) (* y (log y)))) in y 22.799 * [taylor]: Taking taylor expansion of y in y 22.799 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 22.799 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 22.799 * [taylor]: Taking taylor expansion of 0.5 in y 22.800 * [taylor]: Taking taylor expansion of (log y) in y 22.800 * [taylor]: Taking taylor expansion of y in y 22.800 * [taylor]: Taking taylor expansion of (* y (log y)) in y 22.800 * [taylor]: Taking taylor expansion of y in y 22.800 * [taylor]: Taking taylor expansion of (log y) in y 22.800 * [taylor]: Taking taylor expansion of y in y 22.804 * [taylor]: Taking taylor expansion of 1 in y 22.808 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 22.808 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 22.808 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 22.808 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.808 * [taylor]: Taking taylor expansion of y in y 22.808 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.809 * [taylor]: Taking taylor expansion of x in y 22.809 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 22.809 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 22.809 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.809 * [taylor]: Taking taylor expansion of y in y 22.809 * [taylor]: Taking taylor expansion of y in y 22.810 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 22.810 * [taylor]: Taking taylor expansion of 0.5 in y 22.810 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.810 * [taylor]: Taking taylor expansion of y in y 22.811 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 22.811 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 22.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.811 * [taylor]: Taking taylor expansion of y in x 22.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.811 * [taylor]: Taking taylor expansion of x in x 22.811 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 22.811 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 22.811 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.811 * [taylor]: Taking taylor expansion of y in x 22.812 * [taylor]: Taking taylor expansion of y in x 22.812 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 22.812 * [taylor]: Taking taylor expansion of 0.5 in x 22.812 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.812 * [taylor]: Taking taylor expansion of y in x 22.812 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 22.812 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 22.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.812 * [taylor]: Taking taylor expansion of y in x 22.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.812 * [taylor]: Taking taylor expansion of x in x 22.812 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 22.813 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 22.813 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.813 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.813 * [taylor]: Taking taylor expansion of y in x 22.813 * [taylor]: Taking taylor expansion of y in x 22.813 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 22.813 * [taylor]: Taking taylor expansion of 0.5 in x 22.813 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.813 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.813 * [taylor]: Taking taylor expansion of y in x 22.814 * [taylor]: Taking taylor expansion of 1 in y 22.815 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 22.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.815 * [taylor]: Taking taylor expansion of y in y 22.815 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 22.815 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 22.815 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.815 * [taylor]: Taking taylor expansion of y in y 22.816 * [taylor]: Taking taylor expansion of y in y 22.817 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 22.817 * [taylor]: Taking taylor expansion of 0.5 in y 22.817 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.817 * [taylor]: Taking taylor expansion of y in y 22.821 * [taylor]: Taking taylor expansion of 0 in y 22.825 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in (x y) around 0 22.825 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 22.825 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 22.825 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.825 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.825 * [taylor]: Taking taylor expansion of -1 in y 22.825 * [taylor]: Taking taylor expansion of y in y 22.826 * [taylor]: Taking taylor expansion of y in y 22.828 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 22.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.828 * [taylor]: Taking taylor expansion of y in y 22.828 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 22.828 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 22.828 * [taylor]: Taking taylor expansion of 0.5 in y 22.828 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.829 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.829 * [taylor]: Taking taylor expansion of -1 in y 22.829 * [taylor]: Taking taylor expansion of y in y 22.829 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.829 * [taylor]: Taking taylor expansion of x in y 22.829 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 22.829 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 22.829 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.829 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.829 * [taylor]: Taking taylor expansion of -1 in x 22.829 * [taylor]: Taking taylor expansion of y in x 22.829 * [taylor]: Taking taylor expansion of y in x 22.830 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 22.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.830 * [taylor]: Taking taylor expansion of y in x 22.830 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 22.830 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 22.830 * [taylor]: Taking taylor expansion of 0.5 in x 22.830 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.830 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.830 * [taylor]: Taking taylor expansion of -1 in x 22.830 * [taylor]: Taking taylor expansion of y in x 22.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.830 * [taylor]: Taking taylor expansion of x in x 22.830 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 22.830 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 22.830 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.830 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.830 * [taylor]: Taking taylor expansion of -1 in x 22.830 * [taylor]: Taking taylor expansion of y in x 22.830 * [taylor]: Taking taylor expansion of y in x 22.830 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 22.831 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.831 * [taylor]: Taking taylor expansion of y in x 22.831 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 22.831 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 22.831 * [taylor]: Taking taylor expansion of 0.5 in x 22.831 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.831 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.831 * [taylor]: Taking taylor expansion of -1 in x 22.831 * [taylor]: Taking taylor expansion of y in x 22.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.831 * [taylor]: Taking taylor expansion of x in x 22.832 * [taylor]: Taking taylor expansion of -1 in y 22.834 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 22.834 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 22.834 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.834 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.834 * [taylor]: Taking taylor expansion of -1 in y 22.834 * [taylor]: Taking taylor expansion of y in y 22.835 * [taylor]: Taking taylor expansion of y in y 22.836 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 22.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.836 * [taylor]: Taking taylor expansion of y in y 22.837 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 22.837 * [taylor]: Taking taylor expansion of 0.5 in y 22.837 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.837 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.837 * [taylor]: Taking taylor expansion of -1 in y 22.837 * [taylor]: Taking taylor expansion of y in y 22.842 * [taylor]: Taking taylor expansion of 0 in y 22.850 * * * * [progress]: [ 3 / 4 ] generating series at (2) 22.850 * [approximate]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in (x y z) around 0 22.850 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in z 22.850 * [taylor]: Taking taylor expansion of (+ x y) in z 22.850 * [taylor]: Taking taylor expansion of x in z 22.850 * [taylor]: Taking taylor expansion of y in z 22.850 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in z 22.850 * [taylor]: Taking taylor expansion of z in z 22.850 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in z 22.850 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 22.850 * [taylor]: Taking taylor expansion of 0.5 in z 22.850 * [taylor]: Taking taylor expansion of (log y) in z 22.850 * [taylor]: Taking taylor expansion of y in z 22.851 * [taylor]: Taking taylor expansion of (* y (log y)) in z 22.851 * [taylor]: Taking taylor expansion of y in z 22.851 * [taylor]: Taking taylor expansion of (log y) in z 22.851 * [taylor]: Taking taylor expansion of y in z 22.851 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 22.851 * [taylor]: Taking taylor expansion of (+ x y) in y 22.851 * [taylor]: Taking taylor expansion of x in y 22.851 * [taylor]: Taking taylor expansion of y in y 22.851 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 22.851 * [taylor]: Taking taylor expansion of z in y 22.851 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 22.851 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 22.851 * [taylor]: Taking taylor expansion of 0.5 in y 22.851 * [taylor]: Taking taylor expansion of (log y) in y 22.851 * [taylor]: Taking taylor expansion of y in y 22.851 * [taylor]: Taking taylor expansion of (* y (log y)) in y 22.851 * [taylor]: Taking taylor expansion of y in y 22.851 * [taylor]: Taking taylor expansion of (log y) in y 22.851 * [taylor]: Taking taylor expansion of y in y 22.852 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 22.852 * [taylor]: Taking taylor expansion of (+ x y) in x 22.852 * [taylor]: Taking taylor expansion of x in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.852 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 22.852 * [taylor]: Taking taylor expansion of z in x 22.852 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 22.852 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 22.852 * [taylor]: Taking taylor expansion of 0.5 in x 22.852 * [taylor]: Taking taylor expansion of (log y) in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.852 * [taylor]: Taking taylor expansion of (* y (log y)) in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.852 * [taylor]: Taking taylor expansion of (log y) in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.852 * [taylor]: Taking taylor expansion of (- (+ x y) (+ z (+ (* 0.5 (log y)) (* y (log y))))) in x 22.852 * [taylor]: Taking taylor expansion of (+ x y) in x 22.852 * [taylor]: Taking taylor expansion of x in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.852 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in x 22.852 * [taylor]: Taking taylor expansion of z in x 22.852 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 22.852 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 22.852 * [taylor]: Taking taylor expansion of 0.5 in x 22.852 * [taylor]: Taking taylor expansion of (log y) in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.852 * [taylor]: Taking taylor expansion of (* y (log y)) in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.852 * [taylor]: Taking taylor expansion of (log y) in x 22.852 * [taylor]: Taking taylor expansion of y in x 22.853 * [taylor]: Taking taylor expansion of (- y (+ z (+ (* 0.5 (log y)) (* y (log y))))) in y 22.853 * [taylor]: Taking taylor expansion of y in y 22.853 * [taylor]: Taking taylor expansion of (+ z (+ (* 0.5 (log y)) (* y (log y)))) in y 22.853 * [taylor]: Taking taylor expansion of z in y 22.853 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 22.853 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 22.853 * [taylor]: Taking taylor expansion of 0.5 in y 22.853 * [taylor]: Taking taylor expansion of (log y) in y 22.853 * [taylor]: Taking taylor expansion of y in y 22.854 * [taylor]: Taking taylor expansion of (* y (log y)) in y 22.854 * [taylor]: Taking taylor expansion of y in y 22.854 * [taylor]: Taking taylor expansion of (log y) in y 22.854 * [taylor]: Taking taylor expansion of y in y 22.855 * [taylor]: Taking taylor expansion of (- (+ z (* 0.5 (log y)))) in z 22.855 * [taylor]: Taking taylor expansion of (+ z (* 0.5 (log y))) in z 22.855 * [taylor]: Taking taylor expansion of z in z 22.855 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 22.855 * [taylor]: Taking taylor expansion of 0.5 in z 22.855 * [taylor]: Taking taylor expansion of (log y) in z 22.855 * [taylor]: Taking taylor expansion of y in z 22.859 * [taylor]: Taking taylor expansion of 1 in y 22.859 * [taylor]: Taking taylor expansion of 1 in z 22.862 * [taylor]: Taking taylor expansion of (- 1 (log y)) in z 22.862 * [taylor]: Taking taylor expansion of 1 in z 22.862 * [taylor]: Taking taylor expansion of (log y) in z 22.862 * [taylor]: Taking taylor expansion of y in z 22.863 * [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 22.863 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in z 22.863 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 22.863 * [taylor]: Taking taylor expansion of (/ 1 y) in z 22.863 * [taylor]: Taking taylor expansion of y in z 22.863 * [taylor]: Taking taylor expansion of (/ 1 x) in z 22.863 * [taylor]: Taking taylor expansion of x in z 22.863 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in z 22.863 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in z 22.863 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 22.863 * [taylor]: Taking taylor expansion of (/ 1 y) in z 22.863 * [taylor]: Taking taylor expansion of y in z 22.863 * [taylor]: Taking taylor expansion of y in z 22.863 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in z 22.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 22.863 * [taylor]: Taking taylor expansion of z in z 22.864 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in z 22.864 * [taylor]: Taking taylor expansion of 0.5 in z 22.864 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 22.864 * [taylor]: Taking taylor expansion of (/ 1 y) in z 22.864 * [taylor]: Taking taylor expansion of y in z 22.864 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 22.864 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 22.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.864 * [taylor]: Taking taylor expansion of y in y 22.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.864 * [taylor]: Taking taylor expansion of x in y 22.864 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 22.864 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 22.864 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.864 * [taylor]: Taking taylor expansion of y in y 22.865 * [taylor]: Taking taylor expansion of y in y 22.866 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 22.866 * [taylor]: Taking taylor expansion of (/ 1 z) in y 22.866 * [taylor]: Taking taylor expansion of z in y 22.866 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 22.866 * [taylor]: Taking taylor expansion of 0.5 in y 22.866 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.866 * [taylor]: Taking taylor expansion of y in y 22.867 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 22.867 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 22.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.867 * [taylor]: Taking taylor expansion of y in x 22.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.867 * [taylor]: Taking taylor expansion of x in x 22.867 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 22.868 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 22.868 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.868 * [taylor]: Taking taylor expansion of y in x 22.868 * [taylor]: Taking taylor expansion of y in x 22.868 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 22.868 * [taylor]: Taking taylor expansion of (/ 1 z) in x 22.868 * [taylor]: Taking taylor expansion of z in x 22.868 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 22.868 * [taylor]: Taking taylor expansion of 0.5 in x 22.868 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.868 * [taylor]: Taking taylor expansion of y in x 22.868 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in x 22.868 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 22.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.868 * [taylor]: Taking taylor expansion of y in x 22.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.868 * [taylor]: Taking taylor expansion of x in x 22.868 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in x 22.869 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 22.869 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.869 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.869 * [taylor]: Taking taylor expansion of y in x 22.869 * [taylor]: Taking taylor expansion of y in x 22.869 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in x 22.869 * [taylor]: Taking taylor expansion of (/ 1 z) in x 22.869 * [taylor]: Taking taylor expansion of z in x 22.869 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 22.869 * [taylor]: Taking taylor expansion of 0.5 in x 22.869 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.869 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.869 * [taylor]: Taking taylor expansion of y in x 22.870 * [taylor]: Taking taylor expansion of 1 in y 22.878 * [taylor]: Taking taylor expansion of (- (/ 1 y) (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y)))))) in y 22.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.878 * [taylor]: Taking taylor expansion of y in y 22.879 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (+ (/ 1 z) (* 0.5 (log (/ 1 y))))) in y 22.879 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 22.879 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.879 * [taylor]: Taking taylor expansion of y in y 22.879 * [taylor]: Taking taylor expansion of y in y 22.880 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log (/ 1 y)))) in y 22.880 * [taylor]: Taking taylor expansion of (/ 1 z) in y 22.880 * [taylor]: Taking taylor expansion of z in y 22.880 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 22.880 * [taylor]: Taking taylor expansion of 0.5 in y 22.880 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.880 * [taylor]: Taking taylor expansion of y in y 22.881 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 22.881 * [taylor]: Taking taylor expansion of (log y) in z 22.881 * [taylor]: Taking taylor expansion of y in z 22.881 * [taylor]: Taking taylor expansion of 1 in z 22.881 * [taylor]: Taking taylor expansion of 1 in z 22.885 * [taylor]: Taking taylor expansion of 0 in y 22.888 * [taylor]: Taking taylor expansion of (- (* 0.5 (log y)) (/ 1 z)) in z 22.889 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 22.889 * [taylor]: Taking taylor expansion of 0.5 in z 22.889 * [taylor]: Taking taylor expansion of (log y) in z 22.889 * [taylor]: Taking taylor expansion of y in z 22.889 * [taylor]: Taking taylor expansion of (/ 1 z) in z 22.889 * [taylor]: Taking taylor expansion of z in z 22.890 * [taylor]: Taking taylor expansion of 0 in z 22.891 * [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 22.891 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in z 22.891 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in z 22.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z 22.891 * [taylor]: Taking taylor expansion of z in z 22.891 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in z 22.891 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 22.891 * [taylor]: Taking taylor expansion of (/ -1 y) in z 22.891 * [taylor]: Taking taylor expansion of -1 in z 22.891 * [taylor]: Taking taylor expansion of y in z 22.891 * [taylor]: Taking taylor expansion of y in z 22.892 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in z 22.892 * [taylor]: Taking taylor expansion of (/ 1 y) in z 22.892 * [taylor]: Taking taylor expansion of y in z 22.892 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in z 22.892 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in z 22.892 * [taylor]: Taking taylor expansion of 0.5 in z 22.892 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 22.892 * [taylor]: Taking taylor expansion of (/ -1 y) in z 22.892 * [taylor]: Taking taylor expansion of -1 in z 22.892 * [taylor]: Taking taylor expansion of y in z 22.892 * [taylor]: Taking taylor expansion of (/ 1 x) in z 22.892 * [taylor]: Taking taylor expansion of x in z 22.892 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in y 22.892 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 22.892 * [taylor]: Taking taylor expansion of (/ 1 z) in y 22.892 * [taylor]: Taking taylor expansion of z in y 22.892 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 22.892 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.892 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.892 * [taylor]: Taking taylor expansion of -1 in y 22.892 * [taylor]: Taking taylor expansion of y in y 22.893 * [taylor]: Taking taylor expansion of y in y 22.894 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 22.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.895 * [taylor]: Taking taylor expansion of y in y 22.895 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 22.895 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 22.895 * [taylor]: Taking taylor expansion of 0.5 in y 22.895 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.895 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.895 * [taylor]: Taking taylor expansion of -1 in y 22.895 * [taylor]: Taking taylor expansion of y in y 22.896 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.896 * [taylor]: Taking taylor expansion of x in y 22.896 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 22.896 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 22.896 * [taylor]: Taking taylor expansion of (/ 1 z) in x 22.896 * [taylor]: Taking taylor expansion of z in x 22.896 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 22.896 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.896 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.896 * [taylor]: Taking taylor expansion of -1 in x 22.896 * [taylor]: Taking taylor expansion of y in x 22.896 * [taylor]: Taking taylor expansion of y in x 22.896 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 22.896 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.896 * [taylor]: Taking taylor expansion of y in x 22.896 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 22.896 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 22.896 * [taylor]: Taking taylor expansion of 0.5 in x 22.896 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.896 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.896 * [taylor]: Taking taylor expansion of -1 in x 22.896 * [taylor]: Taking taylor expansion of y in x 22.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.896 * [taylor]: Taking taylor expansion of x in x 22.897 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x)))) in x 22.897 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in x 22.897 * [taylor]: Taking taylor expansion of (/ 1 z) in x 22.897 * [taylor]: Taking taylor expansion of z in x 22.897 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 22.897 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.897 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.897 * [taylor]: Taking taylor expansion of -1 in x 22.897 * [taylor]: Taking taylor expansion of y in x 22.897 * [taylor]: Taking taylor expansion of y in x 22.897 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 22.897 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.897 * [taylor]: Taking taylor expansion of y in x 22.897 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 22.897 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 22.897 * [taylor]: Taking taylor expansion of 0.5 in x 22.897 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.897 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.897 * [taylor]: Taking taylor expansion of -1 in x 22.897 * [taylor]: Taking taylor expansion of y in x 22.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.897 * [taylor]: Taking taylor expansion of x in x 22.899 * [taylor]: Taking taylor expansion of -1 in y 22.900 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) y)) (+ (/ 1 y) (* 0.5 (log (/ -1 y))))) in y 22.900 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) y)) in y 22.901 * [taylor]: Taking taylor expansion of (/ 1 z) in y 22.901 * [taylor]: Taking taylor expansion of z in y 22.901 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 22.901 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.901 * [taylor]: Taking taylor expansion of -1 in y 22.901 * [taylor]: Taking taylor expansion of y in y 22.901 * [taylor]: Taking taylor expansion of y in y 22.903 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 0.5 (log (/ -1 y)))) in y 22.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.903 * [taylor]: Taking taylor expansion of y in y 22.904 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 22.904 * [taylor]: Taking taylor expansion of 0.5 in y 22.904 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.904 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.904 * [taylor]: Taking taylor expansion of -1 in y 22.904 * [taylor]: Taking taylor expansion of y in y 22.906 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log y) 1)) in z 22.906 * [taylor]: Taking taylor expansion of (log -1) in z 22.906 * [taylor]: Taking taylor expansion of -1 in z 22.906 * [taylor]: Taking taylor expansion of (+ (log y) 1) in z 22.906 * [taylor]: Taking taylor expansion of (log y) in z 22.906 * [taylor]: Taking taylor expansion of y in z 22.906 * [taylor]: Taking taylor expansion of 1 in z 22.906 * [taylor]: Taking taylor expansion of -1 in z 22.910 * [taylor]: Taking taylor expansion of 0 in y 22.916 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 0.5 (log y))) (* 0.5 (log -1))) in z 22.916 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 0.5 (log y))) in z 22.916 * [taylor]: Taking taylor expansion of (/ 1 z) in z 22.916 * [taylor]: Taking taylor expansion of z in z 22.916 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in z 22.916 * [taylor]: Taking taylor expansion of 0.5 in z 22.916 * [taylor]: Taking taylor expansion of (log y) in z 22.916 * [taylor]: Taking taylor expansion of y in z 22.917 * [taylor]: Taking taylor expansion of (* 0.5 (log -1)) in z 22.917 * [taylor]: Taking taylor expansion of 0.5 in z 22.917 * [taylor]: Taking taylor expansion of (log -1) in z 22.917 * [taylor]: Taking taylor expansion of -1 in z 22.918 * [taylor]: Taking taylor expansion of 0 in z 22.920 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 22.920 * [approximate]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in (x y) around 0 22.920 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in y 22.920 * [taylor]: Taking taylor expansion of x in y 22.920 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in y 22.920 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 22.920 * [taylor]: Taking taylor expansion of 0.5 in y 22.920 * [taylor]: Taking taylor expansion of (log y) in y 22.920 * [taylor]: Taking taylor expansion of y in y 22.920 * [taylor]: Taking taylor expansion of (* y (log y)) in y 22.920 * [taylor]: Taking taylor expansion of y in y 22.920 * [taylor]: Taking taylor expansion of (log y) in y 22.920 * [taylor]: Taking taylor expansion of y in y 22.921 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 22.921 * [taylor]: Taking taylor expansion of x in x 22.921 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 22.921 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 22.921 * [taylor]: Taking taylor expansion of 0.5 in x 22.921 * [taylor]: Taking taylor expansion of (log y) in x 22.921 * [taylor]: Taking taylor expansion of y in x 22.921 * [taylor]: Taking taylor expansion of (* y (log y)) in x 22.921 * [taylor]: Taking taylor expansion of y in x 22.921 * [taylor]: Taking taylor expansion of (log y) in x 22.921 * [taylor]: Taking taylor expansion of y in x 22.921 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 (log y)) (* y (log y)))) in x 22.921 * [taylor]: Taking taylor expansion of x in x 22.921 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log y)) (* y (log y))) in x 22.921 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in x 22.921 * [taylor]: Taking taylor expansion of 0.5 in x 22.921 * [taylor]: Taking taylor expansion of (log y) in x 22.921 * [taylor]: Taking taylor expansion of y in x 22.921 * [taylor]: Taking taylor expansion of (* y (log y)) in x 22.921 * [taylor]: Taking taylor expansion of y in x 22.921 * [taylor]: Taking taylor expansion of (log y) in x 22.921 * [taylor]: Taking taylor expansion of y in x 22.922 * [taylor]: Taking taylor expansion of (- (+ (* y (log y)) (* 0.5 (log y)))) in y 22.922 * [taylor]: Taking taylor expansion of (+ (* y (log y)) (* 0.5 (log y))) in y 22.922 * [taylor]: Taking taylor expansion of (* y (log y)) in y 22.922 * [taylor]: Taking taylor expansion of y in y 22.922 * [taylor]: Taking taylor expansion of (log y) in y 22.922 * [taylor]: Taking taylor expansion of y in y 22.923 * [taylor]: Taking taylor expansion of (* 0.5 (log y)) in y 22.923 * [taylor]: Taking taylor expansion of 0.5 in y 22.923 * [taylor]: Taking taylor expansion of (log y) in y 22.923 * [taylor]: Taking taylor expansion of y in y 22.926 * [taylor]: Taking taylor expansion of 1 in y 22.930 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in (x y) around 0 22.931 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 22.931 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.931 * [taylor]: Taking taylor expansion of x in y 22.931 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 22.931 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 22.931 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.931 * [taylor]: Taking taylor expansion of y in y 22.931 * [taylor]: Taking taylor expansion of y in y 22.932 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 22.932 * [taylor]: Taking taylor expansion of 0.5 in y 22.932 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.932 * [taylor]: Taking taylor expansion of y in y 22.933 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 22.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.933 * [taylor]: Taking taylor expansion of x in x 22.933 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 22.933 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 22.933 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.933 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.933 * [taylor]: Taking taylor expansion of y in x 22.934 * [taylor]: Taking taylor expansion of y in x 22.934 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 22.934 * [taylor]: Taking taylor expansion of 0.5 in x 22.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.934 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.934 * [taylor]: Taking taylor expansion of y in x 22.934 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in x 22.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.934 * [taylor]: Taking taylor expansion of x in x 22.934 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in x 22.934 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in x 22.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.934 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.934 * [taylor]: Taking taylor expansion of y in x 22.934 * [taylor]: Taking taylor expansion of y in x 22.934 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in x 22.934 * [taylor]: Taking taylor expansion of 0.5 in x 22.934 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 22.935 * [taylor]: Taking taylor expansion of (/ 1 y) in x 22.935 * [taylor]: Taking taylor expansion of y in x 22.935 * [taylor]: Taking taylor expansion of 1 in y 22.936 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y))))) in y 22.936 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) y) (* 0.5 (log (/ 1 y)))) in y 22.936 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) y) in y 22.936 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.936 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.936 * [taylor]: Taking taylor expansion of y in y 22.937 * [taylor]: Taking taylor expansion of y in y 22.938 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 y))) in y 22.938 * [taylor]: Taking taylor expansion of 0.5 in y 22.938 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 22.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 22.938 * [taylor]: Taking taylor expansion of y in y 22.942 * [taylor]: Taking taylor expansion of 0 in y 22.945 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in (x y) around 0 22.945 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in y 22.945 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 22.945 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.945 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.945 * [taylor]: Taking taylor expansion of -1 in y 22.945 * [taylor]: Taking taylor expansion of y in y 22.946 * [taylor]: Taking taylor expansion of y in y 22.947 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in y 22.948 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 22.948 * [taylor]: Taking taylor expansion of 0.5 in y 22.948 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.948 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.948 * [taylor]: Taking taylor expansion of -1 in y 22.948 * [taylor]: Taking taylor expansion of y in y 22.948 * [taylor]: Taking taylor expansion of (/ 1 x) in y 22.948 * [taylor]: Taking taylor expansion of x in y 22.948 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 22.948 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 22.948 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.948 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.949 * [taylor]: Taking taylor expansion of -1 in x 22.949 * [taylor]: Taking taylor expansion of y in x 22.949 * [taylor]: Taking taylor expansion of y in x 22.949 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 22.949 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 22.949 * [taylor]: Taking taylor expansion of 0.5 in x 22.949 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.949 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.949 * [taylor]: Taking taylor expansion of -1 in x 22.949 * [taylor]: Taking taylor expansion of y in x 22.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.949 * [taylor]: Taking taylor expansion of x in x 22.949 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (+ (* 0.5 (log (/ -1 y))) (/ 1 x))) in x 22.949 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in x 22.949 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.949 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.949 * [taylor]: Taking taylor expansion of -1 in x 22.949 * [taylor]: Taking taylor expansion of y in x 22.949 * [taylor]: Taking taylor expansion of y in x 22.949 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (/ -1 y))) (/ 1 x)) in x 22.950 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in x 22.950 * [taylor]: Taking taylor expansion of 0.5 in x 22.950 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 22.950 * [taylor]: Taking taylor expansion of (/ -1 y) in x 22.950 * [taylor]: Taking taylor expansion of -1 in x 22.950 * [taylor]: Taking taylor expansion of y in x 22.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 22.950 * [taylor]: Taking taylor expansion of x in x 22.951 * [taylor]: Taking taylor expansion of -1 in y 22.952 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 y)) y) (* 0.5 (log (/ -1 y)))) in y 22.952 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) y) in y 22.952 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.952 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.952 * [taylor]: Taking taylor expansion of -1 in y 22.952 * [taylor]: Taking taylor expansion of y in y 22.953 * [taylor]: Taking taylor expansion of y in y 22.955 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 y))) in y 22.955 * [taylor]: Taking taylor expansion of 0.5 in y 22.955 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 22.955 * [taylor]: Taking taylor expansion of (/ -1 y) in y 22.955 * [taylor]: Taking taylor expansion of -1 in y 22.955 * [taylor]: Taking taylor expansion of y in y 22.959 * [taylor]: Taking taylor expansion of 0 in y 22.966 * * * [progress]: simplifying candidates 22.968 * [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)))) 22.975 * * [simplify]: iteration 0 : 212 enodes (cost 1986 ) 23.025 * * [simplify]: iteration 1 : 527 enodes (cost 1749 ) 23.237 * * [simplify]: iteration 2 : 1669 enodes (cost 1552 ) 23.823 * * [simplify]: iteration done : 5001 enodes (cost 1523 ) 23.824 * [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 (+ y 0.5) (- (log y)) x) (- (fma (+ y 0.5) (log y) y) x))) (* (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5))))) (- x (fma (+ y 0.5) (log y) y)) (+ x (- y (* (log y) (+ y 0.5)))) (+ (* (+ 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) (- (* (* (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) (- (* (* (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) (- (* (* (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) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) y) z)) (- z z) (- x (+ (- (* (+ y 0.5) (log y)) 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 (- (+ (- x (* (+ y 0.5) (log y))) y) z) 3) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (sqrt (- (+ (- x (* (+ y 0.5) (log y))) y) z)) (- (pow (+ (- x (* (+ y 0.5) (log y))) y) 3) (pow z 3)) (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)) (- 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)))) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (+ y 0.5) (- (log y)) x) (* (+ y 0.5) (+ (- (log y)) (log y))) (fma (+ y 0.5) (- (log y)) 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 (* (+ y 0.5) (log y))) 3) (sqrt (- x (* (+ y 0.5) (log y)))) (sqrt (- x (* (+ y 0.5) (log y)))) (- (pow x 3) (pow (* (+ y 0.5) (log y)) 3)) (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 (+ y 0.5) (- (log y)) x)) (fma (log y) (+ y 0.5) x) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- x (* (* 2 (log (cbrt y))) (+ y 0.5))) (- x (* (+ y 0.5) (log (sqrt y)))) (- x 0) (- (* (log y) (+ y 0.5))) (* (+ y 0.5) (log y)) (* (+ y 0.5) (log y)) (* (+ y 0.5) (- (log -1) (log (/ -1 y)))) (+ x (- y (* (log y) (+ y 0.5)))) (+ x (- y (* (log y) (+ y 0.5)))) (+ y (+ (* (+ y 0.5) (- (log (/ -1 y)) (log -1))) x)) (+ x (- y (* (log y) (+ y 0.5)))) (- (+ x (fma y (- (log y)) y)) z) (- (+ (fma y (log (/ -1 y)) y) x) (fma (log -1) y z)) (fma (+ y 0.5) (- (log y)) x) (fma (+ y 0.5) (- (log y)) x) (+ (* (+ y 0.5) (- (log (/ -1 y)) (log -1))) x) 23.825 * * * [progress]: adding candidates to table 24.182 * * [progress]: iteration 3 / 4 24.182 * * * [progress]: picking best candidate 24.197 * * * * [pick]: Picked # 24.197 * * * [progress]: localizing error 24.213 * * * [progress]: generating rewritten candidates 24.213 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 24.214 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 24.215 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 24.231 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 24.244 * * * [progress]: generating series expansions 24.244 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 24.244 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 24.245 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.245 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.245 * [taylor]: Taking taylor expansion of 1/3 in y 24.245 * [taylor]: Taking taylor expansion of (log y) in y 24.245 * [taylor]: Taking taylor expansion of y in y 24.246 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.246 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.246 * [taylor]: Taking taylor expansion of 1/3 in y 24.246 * [taylor]: Taking taylor expansion of (log y) in y 24.246 * [taylor]: Taking taylor expansion of y in y 24.305 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 24.305 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.305 * [taylor]: Taking taylor expansion of 1/3 in y 24.305 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.306 * [taylor]: Taking taylor expansion of y in y 24.307 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.307 * [taylor]: Taking taylor expansion of 1/3 in y 24.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.307 * [taylor]: Taking taylor expansion of y in y 24.373 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 24.373 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.373 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.373 * [taylor]: Taking taylor expansion of -1 in y 24.374 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.374 * [taylor]: Taking taylor expansion of 1/3 in y 24.374 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.374 * [taylor]: Taking taylor expansion of y in y 24.375 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.376 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.376 * [taylor]: Taking taylor expansion of -1 in y 24.376 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.377 * [taylor]: Taking taylor expansion of 1/3 in y 24.377 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.377 * [taylor]: Taking taylor expansion of y in y 24.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1) 24.456 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 24.456 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.456 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.456 * [taylor]: Taking taylor expansion of 1/3 in y 24.456 * [taylor]: Taking taylor expansion of (log y) in y 24.456 * [taylor]: Taking taylor expansion of y in y 24.457 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.457 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.457 * [taylor]: Taking taylor expansion of 1/3 in y 24.457 * [taylor]: Taking taylor expansion of (log y) in y 24.457 * [taylor]: Taking taylor expansion of y in y 24.512 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 24.512 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.513 * [taylor]: Taking taylor expansion of 1/3 in y 24.513 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.513 * [taylor]: Taking taylor expansion of y in y 24.514 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.514 * [taylor]: Taking taylor expansion of 1/3 in y 24.514 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.514 * [taylor]: Taking taylor expansion of y in y 24.580 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 24.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.580 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.580 * [taylor]: Taking taylor expansion of -1 in y 24.581 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.582 * [taylor]: Taking taylor expansion of 1/3 in y 24.582 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.582 * [taylor]: Taking taylor expansion of y in y 24.583 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.583 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.583 * [taylor]: Taking taylor expansion of -1 in y 24.584 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.584 * [taylor]: Taking taylor expansion of 1/3 in y 24.584 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.584 * [taylor]: Taking taylor expansion of y in y 24.663 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 24.664 * [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 24.664 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 24.664 * [taylor]: Taking taylor expansion of x in y 24.664 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 24.664 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 24.664 * [taylor]: Taking taylor expansion of 3 in y 24.664 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 24.664 * [taylor]: Taking taylor expansion of y in y 24.664 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 24.664 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.664 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.664 * [taylor]: Taking taylor expansion of 1/3 in y 24.664 * [taylor]: Taking taylor expansion of (log y) in y 24.664 * [taylor]: Taking taylor expansion of y in y 24.665 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 24.665 * [taylor]: Taking taylor expansion of 1.5 in y 24.665 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 24.665 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.665 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.666 * [taylor]: Taking taylor expansion of 1/3 in y 24.666 * [taylor]: Taking taylor expansion of (log y) in y 24.666 * [taylor]: Taking taylor expansion of y in y 24.666 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 24.666 * [taylor]: Taking taylor expansion of x in x 24.667 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 24.667 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 24.667 * [taylor]: Taking taylor expansion of 3 in x 24.667 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 24.667 * [taylor]: Taking taylor expansion of y in x 24.667 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 24.667 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 24.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 24.667 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 24.667 * [taylor]: Taking taylor expansion of 1/3 in x 24.667 * [taylor]: Taking taylor expansion of (log y) in x 24.667 * [taylor]: Taking taylor expansion of y in x 24.667 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 24.667 * [taylor]: Taking taylor expansion of 1.5 in x 24.667 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 24.667 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 24.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 24.667 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 24.667 * [taylor]: Taking taylor expansion of 1/3 in x 24.667 * [taylor]: Taking taylor expansion of (log y) in x 24.667 * [taylor]: Taking taylor expansion of y in x 24.667 * [taylor]: Taking taylor expansion of (- x (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 24.667 * [taylor]: Taking taylor expansion of x in x 24.667 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 24.667 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 24.667 * [taylor]: Taking taylor expansion of 3 in x 24.667 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 24.667 * [taylor]: Taking taylor expansion of y in x 24.667 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 24.667 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 24.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 24.667 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 24.667 * [taylor]: Taking taylor expansion of 1/3 in x 24.667 * [taylor]: Taking taylor expansion of (log y) in x 24.667 * [taylor]: Taking taylor expansion of y in x 24.668 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 24.668 * [taylor]: Taking taylor expansion of 1.5 in x 24.668 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 24.668 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 24.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 24.668 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 24.668 * [taylor]: Taking taylor expansion of 1/3 in x 24.668 * [taylor]: Taking taylor expansion of (log y) in x 24.668 * [taylor]: Taking taylor expansion of y in x 24.669 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 24.669 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 24.669 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 24.669 * [taylor]: Taking taylor expansion of 3 in y 24.669 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 24.669 * [taylor]: Taking taylor expansion of y in y 24.669 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 24.669 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.669 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.669 * [taylor]: Taking taylor expansion of 1/3 in y 24.669 * [taylor]: Taking taylor expansion of (log y) in y 24.669 * [taylor]: Taking taylor expansion of y in y 24.670 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 24.670 * [taylor]: Taking taylor expansion of 1.5 in y 24.670 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 24.670 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.670 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.670 * [taylor]: Taking taylor expansion of 1/3 in y 24.670 * [taylor]: Taking taylor expansion of (log y) in y 24.670 * [taylor]: Taking taylor expansion of y in y 24.678 * [taylor]: Taking taylor expansion of 1 in y 24.686 * [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 24.686 * [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 24.686 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.686 * [taylor]: Taking taylor expansion of x in y 24.686 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 24.686 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 24.686 * [taylor]: Taking taylor expansion of 1.5 in y 24.686 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 24.686 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.687 * [taylor]: Taking taylor expansion of 1/3 in y 24.687 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.687 * [taylor]: Taking taylor expansion of y in y 24.688 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 24.688 * [taylor]: Taking taylor expansion of 3 in y 24.688 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 24.688 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 24.688 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.688 * [taylor]: Taking taylor expansion of 1/3 in y 24.688 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.688 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.688 * [taylor]: Taking taylor expansion of y in y 24.689 * [taylor]: Taking taylor expansion of y in y 24.690 * [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 24.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.690 * [taylor]: Taking taylor expansion of x in x 24.690 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 24.690 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 24.690 * [taylor]: Taking taylor expansion of 1.5 in x 24.690 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 24.690 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.690 * [taylor]: Taking taylor expansion of 1/3 in x 24.690 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.690 * [taylor]: Taking taylor expansion of y in x 24.691 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 24.691 * [taylor]: Taking taylor expansion of 3 in x 24.691 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 24.691 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 24.691 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.691 * [taylor]: Taking taylor expansion of 1/3 in x 24.691 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.691 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.691 * [taylor]: Taking taylor expansion of y in x 24.691 * [taylor]: Taking taylor expansion of y in x 24.691 * [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 24.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.691 * [taylor]: Taking taylor expansion of x in x 24.692 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 24.692 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 24.692 * [taylor]: Taking taylor expansion of 1.5 in x 24.692 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 24.692 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.692 * [taylor]: Taking taylor expansion of 1/3 in x 24.692 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.692 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.692 * [taylor]: Taking taylor expansion of y in x 24.692 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 24.692 * [taylor]: Taking taylor expansion of 3 in x 24.692 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 24.692 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 24.692 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.692 * [taylor]: Taking taylor expansion of 1/3 in x 24.692 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.692 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.692 * [taylor]: Taking taylor expansion of y in x 24.693 * [taylor]: Taking taylor expansion of y in x 24.693 * [taylor]: Taking taylor expansion of 1 in y 24.695 * [taylor]: Taking taylor expansion of (- (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y)))) in y 24.695 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 24.695 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 24.695 * [taylor]: Taking taylor expansion of 1.5 in y 24.695 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 24.695 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.695 * [taylor]: Taking taylor expansion of 1/3 in y 24.695 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.695 * [taylor]: Taking taylor expansion of y in y 24.697 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 24.697 * [taylor]: Taking taylor expansion of 3 in y 24.697 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 24.697 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 24.697 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.697 * [taylor]: Taking taylor expansion of 1/3 in y 24.697 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.697 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.697 * [taylor]: Taking taylor expansion of y in y 24.698 * [taylor]: Taking taylor expansion of y in y 24.706 * [taylor]: Taking taylor expansion of 0 in y 24.713 * [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 24.713 * [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 24.713 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 24.713 * [taylor]: Taking taylor expansion of 3 in y 24.713 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 24.713 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 24.713 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.713 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.713 * [taylor]: Taking taylor expansion of -1 in y 24.714 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.714 * [taylor]: Taking taylor expansion of 1/3 in y 24.714 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.714 * [taylor]: Taking taylor expansion of y in y 24.716 * [taylor]: Taking taylor expansion of y in y 24.717 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 24.717 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.717 * [taylor]: Taking taylor expansion of x in y 24.717 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 24.717 * [taylor]: Taking taylor expansion of 1.5 in y 24.717 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 24.717 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.717 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.717 * [taylor]: Taking taylor expansion of -1 in y 24.718 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.718 * [taylor]: Taking taylor expansion of 1/3 in y 24.718 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.718 * [taylor]: Taking taylor expansion of y in y 24.727 * [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 24.727 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 24.727 * [taylor]: Taking taylor expansion of 3 in x 24.727 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 24.727 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 24.727 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 24.727 * [taylor]: Taking taylor expansion of (cbrt -1) in x 24.727 * [taylor]: Taking taylor expansion of -1 in x 24.728 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.728 * [taylor]: Taking taylor expansion of 1/3 in x 24.729 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.729 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.729 * [taylor]: Taking taylor expansion of y in x 24.730 * [taylor]: Taking taylor expansion of y in x 24.730 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 24.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.731 * [taylor]: Taking taylor expansion of x in x 24.731 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 24.731 * [taylor]: Taking taylor expansion of 1.5 in x 24.731 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 24.731 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 24.731 * [taylor]: Taking taylor expansion of (cbrt -1) in x 24.731 * [taylor]: Taking taylor expansion of -1 in x 24.732 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.732 * [taylor]: Taking taylor expansion of 1/3 in x 24.732 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.732 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.732 * [taylor]: Taking taylor expansion of y in x 24.733 * [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 24.733 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 24.733 * [taylor]: Taking taylor expansion of 3 in x 24.733 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 24.733 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 24.733 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 24.733 * [taylor]: Taking taylor expansion of (cbrt -1) in x 24.734 * [taylor]: Taking taylor expansion of -1 in x 24.734 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.734 * [taylor]: Taking taylor expansion of 1/3 in x 24.734 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.734 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.735 * [taylor]: Taking taylor expansion of y in x 24.736 * [taylor]: Taking taylor expansion of y in x 24.736 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 24.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.736 * [taylor]: Taking taylor expansion of x in x 24.737 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 24.737 * [taylor]: Taking taylor expansion of 1.5 in x 24.737 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 24.737 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 24.737 * [taylor]: Taking taylor expansion of (cbrt -1) in x 24.737 * [taylor]: Taking taylor expansion of -1 in x 24.738 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 24.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 24.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 24.738 * [taylor]: Taking taylor expansion of 1/3 in x 24.738 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 24.738 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.738 * [taylor]: Taking taylor expansion of y in x 24.740 * [taylor]: Taking taylor expansion of -1 in y 24.743 * [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 24.743 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 24.743 * [taylor]: Taking taylor expansion of 3 in y 24.743 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 24.743 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 24.743 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.743 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.743 * [taylor]: Taking taylor expansion of -1 in y 24.744 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.744 * [taylor]: Taking taylor expansion of 1/3 in y 24.744 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.744 * [taylor]: Taking taylor expansion of y in y 24.746 * [taylor]: Taking taylor expansion of y in y 24.747 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 24.747 * [taylor]: Taking taylor expansion of 1.5 in y 24.747 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 24.747 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 24.747 * [taylor]: Taking taylor expansion of (cbrt -1) in y 24.747 * [taylor]: Taking taylor expansion of -1 in y 24.748 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.748 * [taylor]: Taking taylor expansion of 1/3 in y 24.748 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.748 * [taylor]: Taking taylor expansion of y in y 24.760 * [taylor]: Taking taylor expansion of 0 in y 24.769 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 24.769 * [approximate]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in (y) around 0 24.769 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 24.769 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.769 * [taylor]: Taking taylor expansion of y in y 24.769 * [taylor]: Taking taylor expansion of 0.5 in y 24.769 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 24.769 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.769 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.769 * [taylor]: Taking taylor expansion of 1/3 in y 24.769 * [taylor]: Taking taylor expansion of (log y) in y 24.769 * [taylor]: Taking taylor expansion of y in y 24.770 * [taylor]: Taking taylor expansion of (* (+ y 0.5) (log (pow y 1/3))) in y 24.770 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 24.770 * [taylor]: Taking taylor expansion of y in y 24.770 * [taylor]: Taking taylor expansion of 0.5 in y 24.770 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 24.770 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 24.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 24.770 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 24.770 * [taylor]: Taking taylor expansion of 1/3 in y 24.770 * [taylor]: Taking taylor expansion of (log y) in y 24.770 * [taylor]: Taking taylor expansion of y in y 24.926 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in (y) around 0 24.926 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 24.926 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 24.926 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.926 * [taylor]: Taking taylor expansion of 1/3 in y 24.926 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.926 * [taylor]: Taking taylor expansion of y in y 24.927 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.927 * [taylor]: Taking taylor expansion of y in y 24.928 * [taylor]: Taking taylor expansion of 0.5 in y 24.928 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (/ 1 y) 0.5)) in y 24.928 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 24.928 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 24.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 24.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 24.928 * [taylor]: Taking taylor expansion of 1/3 in y 24.928 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 24.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.928 * [taylor]: Taking taylor expansion of y in y 24.929 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 24.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.929 * [taylor]: Taking taylor expansion of y in y 24.930 * [taylor]: Taking taylor expansion of 0.5 in y 25.081 * [approximate]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 25.081 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 25.081 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 25.081 * [taylor]: Taking taylor expansion of 0.5 in y 25.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.081 * [taylor]: Taking taylor expansion of y in y 25.081 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 25.081 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 25.081 * [taylor]: Taking taylor expansion of (cbrt -1) in y 25.081 * [taylor]: Taking taylor expansion of -1 in y 25.083 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 25.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 25.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 25.083 * [taylor]: Taking taylor expansion of 1/3 in y 25.083 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.083 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.083 * [taylor]: Taking taylor expansion of y in y 25.085 * [taylor]: Taking taylor expansion of (* (- 0.5 (/ 1 y)) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 25.085 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 25.085 * [taylor]: Taking taylor expansion of 0.5 in y 25.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.085 * [taylor]: Taking taylor expansion of y in y 25.085 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 25.085 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 25.085 * [taylor]: Taking taylor expansion of (cbrt -1) in y 25.085 * [taylor]: Taking taylor expansion of -1 in y 25.086 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 25.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 25.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 25.086 * [taylor]: Taking taylor expansion of 1/3 in y 25.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 25.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.087 * [taylor]: Taking taylor expansion of y in y 25.290 * * * [progress]: simplifying candidates 25.291 * [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)) 25.297 * * [simplify]: iteration 0 : 176 enodes (cost 1674 ) 25.339 * * [simplify]: iteration 1 : 498 enodes (cost 1486 ) 25.546 * * [simplify]: iteration 2 : 2053 enodes (cost 1228 ) 26.183 * * [simplify]: iteration done : 5000 enodes (cost 1228 ) 26.184 * [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)) (* (- (* (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 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)) (- (* (- (* y y) (* 0.5 0.5)) (* (log (cbrt y)) (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)) (* (- (* (log (cbrt y)) (- (* y y) (* 0.5 0.5)))) (fma (* 2/3 (log y)) (+ y 0.5) x))) (* (- y 0.5) (fma (* 2/3 (log y)) (+ y 0.5) x)) (- (pow (- x (* (+ y 0.5) (* 2/3 (log y)))) 3) (pow (* (log (cbrt y)) (+ y 0.5)) 3)) (fma (* (log (cbrt y)) (+ y 0.5)) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (* (- x (* (+ y 0.5) (* 2/3 (log y)))) (- x (* (+ y 0.5) (* 2/3 (log y)))))) (- (* (log (cbrt y)) (+ y 0.5))) (* (- x (* (+ y 0.5) (* (log (cbrt y)) 3))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y)))))) (- x (* (+ y 0.5) (- (* 2/3 (log y)) (log (cbrt y))))) (- x (fma (* 2/3 (log y)) (+ y 0.5) (* (log (cbrt y)) y))) (- x (fma (* 2/3 (log y)) (+ y 0.5) (* (log (cbrt y)) y))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (* (* 2/3 (log y)) (+ (- (+ y 0.5)) (+ y 0.5))) (* (log (cbrt y)) (+ y 0.5))) (- (* (+ 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))) (* (log (cbrt y)) (+ y 0.5)) (log (* (log (cbrt y)) (+ y 0.5))) (log (* (log (cbrt y)) (+ y 0.5))) (pow (cbrt y) (+ y 0.5)) (pow (* (log (cbrt y)) (+ y 0.5)) 3) (* (cbrt (* (log (cbrt y)) (+ y 0.5))) (cbrt (* (log (cbrt y)) (+ y 0.5)))) (cbrt (* (log (cbrt y)) (+ y 0.5))) (pow (* (log (cbrt y)) (+ y 0.5)) 3) (sqrt (* (log (cbrt y)) (+ y 0.5))) (sqrt (* (log (cbrt y)) (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* (sqrt (log (cbrt y))) (sqrt (+ y 0.5))) (* (log (cbrt y)) y) (* (log (cbrt y)) 0.5) (* (log (cbrt y)) y) (* (log (cbrt y)) 0.5) (* (log (cbrt y)) (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* (log (cbrt y)) (sqrt (+ y 0.5))) (log (cbrt y)) (log (cbrt y)) (* (log y) (+ y 0.5)) (* (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))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (* (- (log y)) -1/3) (+ 1.5 (* 3 y)))) (- x (fma 1.5 (log (* (cbrt (- y)) (cbrt -1))) (* (* y (log (* (cbrt (- y)) (cbrt -1)))) 3))) (* (log (cbrt y)) (+ y 0.5)) (* (+ y 0.5) (* (- (log y)) -1/3)) (* (log (* (cbrt (- y)) (cbrt -1))) (+ y 0.5)) 26.185 * * * [progress]: adding candidates to table 26.581 * * [progress]: iteration 4 / 4 26.581 * * * [progress]: picking best candidate 26.593 * * * * [pick]: Picked # 26.593 * * * [progress]: localizing error 26.607 * * * [progress]: generating rewritten candidates 26.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 26.607 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 26.619 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 26.630 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 26.635 * * * [progress]: generating series expansions 26.635 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 26.635 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 26.635 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 26.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 26.635 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 26.635 * [taylor]: Taking taylor expansion of 1/3 in y 26.635 * [taylor]: Taking taylor expansion of (log y) in y 26.635 * [taylor]: Taking taylor expansion of y in y 26.637 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 26.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 26.637 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 26.637 * [taylor]: Taking taylor expansion of 1/3 in y 26.637 * [taylor]: Taking taylor expansion of (log y) in y 26.637 * [taylor]: Taking taylor expansion of y in y 26.699 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 26.699 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 26.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 26.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 26.699 * [taylor]: Taking taylor expansion of 1/3 in y 26.699 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 26.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.699 * [taylor]: Taking taylor expansion of y in y 26.701 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 26.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 26.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 26.701 * [taylor]: Taking taylor expansion of 1/3 in y 26.701 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 26.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.701 * [taylor]: Taking taylor expansion of y in y 26.768 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 26.768 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 26.768 * [taylor]: Taking taylor expansion of (cbrt -1) in y 26.768 * [taylor]: Taking taylor expansion of -1 in y 26.769 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 26.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 26.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 26.769 * [taylor]: Taking taylor expansion of 1/3 in y 26.769 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 26.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.769 * [taylor]: Taking taylor expansion of y in y 26.771 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 26.771 * [taylor]: Taking taylor expansion of (cbrt -1) in y 26.771 * [taylor]: Taking taylor expansion of -1 in y 26.772 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 26.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 26.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 26.772 * [taylor]: Taking taylor expansion of 1/3 in y 26.772 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 26.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.772 * [taylor]: Taking taylor expansion of y in y 26.854 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 26.854 * [approximate]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in (y) around 0 26.854 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 26.854 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 26.854 * [taylor]: Taking taylor expansion of (* 3 y) in y 26.854 * [taylor]: Taking taylor expansion of 3 in y 26.854 * [taylor]: Taking taylor expansion of y in y 26.854 * [taylor]: Taking taylor expansion of 1.5 in y 26.855 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 26.855 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 26.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 26.855 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 26.855 * [taylor]: Taking taylor expansion of 1/3 in y 26.855 * [taylor]: Taking taylor expansion of (log y) in y 26.855 * [taylor]: Taking taylor expansion of y in y 26.856 * [taylor]: Taking taylor expansion of (* (+ (* 3 y) 1.5) (log (pow y 1/3))) in y 26.856 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 26.856 * [taylor]: Taking taylor expansion of (* 3 y) in y 26.856 * [taylor]: Taking taylor expansion of 3 in y 26.856 * [taylor]: Taking taylor expansion of y in y 26.856 * [taylor]: Taking taylor expansion of 1.5 in y 26.856 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 26.856 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 26.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 26.856 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 26.856 * [taylor]: Taking taylor expansion of 1/3 in y 26.856 * [taylor]: Taking taylor expansion of (log y) in y 26.856 * [taylor]: Taking taylor expansion of y in y 27.009 * [approximate]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in (y) around 0 27.009 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 27.009 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.009 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.009 * [taylor]: Taking taylor expansion of 1/3 in y 27.009 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.009 * [taylor]: Taking taylor expansion of y in y 27.011 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 27.011 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.011 * [taylor]: Taking taylor expansion of 3 in y 27.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.011 * [taylor]: Taking taylor expansion of y in y 27.011 * [taylor]: Taking taylor expansion of 1.5 in y 27.011 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 y) 1/3)) (+ (* 3 (/ 1 y)) 1.5)) in y 27.011 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.011 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.011 * [taylor]: Taking taylor expansion of 1/3 in y 27.011 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.011 * [taylor]: Taking taylor expansion of y in y 27.013 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 27.013 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.013 * [taylor]: Taking taylor expansion of 3 in y 27.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.013 * [taylor]: Taking taylor expansion of y in y 27.013 * [taylor]: Taking taylor expansion of 1.5 in y 27.177 * [approximate]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in (y) around 0 27.177 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.177 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 27.177 * [taylor]: Taking taylor expansion of 1.5 in y 27.177 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.177 * [taylor]: Taking taylor expansion of 3 in y 27.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.177 * [taylor]: Taking taylor expansion of y in y 27.177 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.177 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.177 * [taylor]: Taking taylor expansion of -1 in y 27.178 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.178 * [taylor]: Taking taylor expansion of 1/3 in y 27.178 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.179 * [taylor]: Taking taylor expansion of y in y 27.181 * [taylor]: Taking taylor expansion of (* (- 1.5 (* 3 (/ 1 y))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.181 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 27.181 * [taylor]: Taking taylor expansion of 1.5 in y 27.181 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.181 * [taylor]: Taking taylor expansion of 3 in y 27.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.181 * [taylor]: Taking taylor expansion of y in y 27.181 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.181 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.181 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.181 * [taylor]: Taking taylor expansion of -1 in y 27.182 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.182 * [taylor]: Taking taylor expansion of 1/3 in y 27.182 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.182 * [taylor]: Taking taylor expansion of y in y 27.392 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 27.392 * [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 27.392 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 27.393 * [taylor]: Taking taylor expansion of (+ x y) in y 27.393 * [taylor]: Taking taylor expansion of x in y 27.393 * [taylor]: Taking taylor expansion of y in y 27.393 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 27.393 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 27.393 * [taylor]: Taking taylor expansion of 3 in y 27.393 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 27.393 * [taylor]: Taking taylor expansion of y in y 27.393 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.393 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.393 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.393 * [taylor]: Taking taylor expansion of 1/3 in y 27.393 * [taylor]: Taking taylor expansion of (log y) in y 27.393 * [taylor]: Taking taylor expansion of y in y 27.394 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 27.394 * [taylor]: Taking taylor expansion of 1.5 in y 27.394 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.394 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.394 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.394 * [taylor]: Taking taylor expansion of 1/3 in y 27.394 * [taylor]: Taking taylor expansion of (log y) in y 27.394 * [taylor]: Taking taylor expansion of y in y 27.395 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 27.395 * [taylor]: Taking taylor expansion of (+ x y) in x 27.395 * [taylor]: Taking taylor expansion of x in x 27.395 * [taylor]: Taking taylor expansion of y in x 27.395 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 27.395 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 27.395 * [taylor]: Taking taylor expansion of 3 in x 27.395 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 27.395 * [taylor]: Taking taylor expansion of y in x 27.395 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.395 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.395 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.395 * [taylor]: Taking taylor expansion of 1/3 in x 27.395 * [taylor]: Taking taylor expansion of (log y) in x 27.395 * [taylor]: Taking taylor expansion of y in x 27.395 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 27.395 * [taylor]: Taking taylor expansion of 1.5 in x 27.395 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.395 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.396 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.396 * [taylor]: Taking taylor expansion of 1/3 in x 27.396 * [taylor]: Taking taylor expansion of (log y) in x 27.396 * [taylor]: Taking taylor expansion of y in x 27.396 * [taylor]: Taking taylor expansion of (- (+ x y) (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in x 27.396 * [taylor]: Taking taylor expansion of (+ x y) in x 27.396 * [taylor]: Taking taylor expansion of x in x 27.396 * [taylor]: Taking taylor expansion of y in x 27.396 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in x 27.396 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in x 27.396 * [taylor]: Taking taylor expansion of 3 in x 27.396 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in x 27.396 * [taylor]: Taking taylor expansion of y in x 27.396 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.396 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.396 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.396 * [taylor]: Taking taylor expansion of 1/3 in x 27.396 * [taylor]: Taking taylor expansion of (log y) in x 27.396 * [taylor]: Taking taylor expansion of y in x 27.396 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in x 27.396 * [taylor]: Taking taylor expansion of 1.5 in x 27.396 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 27.396 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 27.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 27.396 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 27.396 * [taylor]: Taking taylor expansion of 1/3 in x 27.396 * [taylor]: Taking taylor expansion of (log y) in x 27.396 * [taylor]: Taking taylor expansion of y in x 27.397 * [taylor]: Taking taylor expansion of (- y (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3))))) in y 27.397 * [taylor]: Taking taylor expansion of y in y 27.397 * [taylor]: Taking taylor expansion of (+ (* 3 (* y (log (pow y 1/3)))) (* 1.5 (log (pow y 1/3)))) in y 27.397 * [taylor]: Taking taylor expansion of (* 3 (* y (log (pow y 1/3)))) in y 27.397 * [taylor]: Taking taylor expansion of 3 in y 27.397 * [taylor]: Taking taylor expansion of (* y (log (pow y 1/3))) in y 27.398 * [taylor]: Taking taylor expansion of y in y 27.398 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.398 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.398 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.398 * [taylor]: Taking taylor expansion of 1/3 in y 27.398 * [taylor]: Taking taylor expansion of (log y) in y 27.398 * [taylor]: Taking taylor expansion of y in y 27.399 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow y 1/3))) in y 27.399 * [taylor]: Taking taylor expansion of 1.5 in y 27.399 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 27.399 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 27.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 27.399 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 27.399 * [taylor]: Taking taylor expansion of 1/3 in y 27.399 * [taylor]: Taking taylor expansion of (log y) in y 27.399 * [taylor]: Taking taylor expansion of y in y 27.408 * [taylor]: Taking taylor expansion of 1 in y 27.416 * [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 27.416 * [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 27.416 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 27.416 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.416 * [taylor]: Taking taylor expansion of y in y 27.416 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.417 * [taylor]: Taking taylor expansion of x in y 27.417 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 27.417 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 27.417 * [taylor]: Taking taylor expansion of 1.5 in y 27.417 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.417 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.417 * [taylor]: Taking taylor expansion of 1/3 in y 27.417 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.417 * [taylor]: Taking taylor expansion of y in y 27.418 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 27.418 * [taylor]: Taking taylor expansion of 3 in y 27.418 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 27.418 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.418 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.418 * [taylor]: Taking taylor expansion of 1/3 in y 27.418 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.418 * [taylor]: Taking taylor expansion of y in y 27.420 * [taylor]: Taking taylor expansion of y in y 27.420 * [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 27.420 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 27.420 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.420 * [taylor]: Taking taylor expansion of y in x 27.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.420 * [taylor]: Taking taylor expansion of x in x 27.420 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 27.420 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 27.420 * [taylor]: Taking taylor expansion of 1.5 in x 27.420 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.420 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.420 * [taylor]: Taking taylor expansion of 1/3 in x 27.420 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.420 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.420 * [taylor]: Taking taylor expansion of y in x 27.421 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 27.421 * [taylor]: Taking taylor expansion of 3 in x 27.421 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 27.421 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.421 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.421 * [taylor]: Taking taylor expansion of 1/3 in x 27.421 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.421 * [taylor]: Taking taylor expansion of y in x 27.421 * [taylor]: Taking taylor expansion of y in x 27.421 * [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 27.421 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 27.421 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.421 * [taylor]: Taking taylor expansion of y in x 27.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.421 * [taylor]: Taking taylor expansion of x in x 27.422 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in x 27.422 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in x 27.422 * [taylor]: Taking taylor expansion of 1.5 in x 27.422 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.422 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.422 * [taylor]: Taking taylor expansion of 1/3 in x 27.422 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.422 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.422 * [taylor]: Taking taylor expansion of y in x 27.422 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in x 27.422 * [taylor]: Taking taylor expansion of 3 in x 27.423 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in x 27.423 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 27.423 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.423 * [taylor]: Taking taylor expansion of 1/3 in x 27.423 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.423 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.423 * [taylor]: Taking taylor expansion of y in x 27.423 * [taylor]: Taking taylor expansion of y in x 27.424 * [taylor]: Taking taylor expansion of 1 in y 27.426 * [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 27.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.426 * [taylor]: Taking taylor expansion of y in y 27.426 * [taylor]: Taking taylor expansion of (+ (* 1.5 (log (pow (/ 1 y) 1/3))) (* 3 (/ (log (pow (/ 1 y) 1/3)) y))) in y 27.426 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 y) 1/3))) in y 27.426 * [taylor]: Taking taylor expansion of 1.5 in y 27.426 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 27.426 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.426 * [taylor]: Taking taylor expansion of 1/3 in y 27.426 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.426 * [taylor]: Taking taylor expansion of y in y 27.428 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) y)) in y 27.428 * [taylor]: Taking taylor expansion of 3 in y 27.428 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) y) in y 27.428 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 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 y in y 27.444 * [taylor]: Taking taylor expansion of 0 in y 27.450 * [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 27.450 * [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 27.450 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 27.451 * [taylor]: Taking taylor expansion of 3 in y 27.451 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 27.451 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.451 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.451 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.451 * [taylor]: Taking taylor expansion of -1 in y 27.452 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.452 * [taylor]: Taking taylor expansion of 1/3 in y 27.452 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.452 * [taylor]: Taking taylor expansion of y in y 27.454 * [taylor]: Taking taylor expansion of y in y 27.454 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 27.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.455 * [taylor]: Taking taylor expansion of y in y 27.455 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 27.455 * [taylor]: Taking taylor expansion of (/ 1 x) in y 27.455 * [taylor]: Taking taylor expansion of x in y 27.455 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.455 * [taylor]: Taking taylor expansion of 1.5 in y 27.455 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.455 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.455 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.455 * [taylor]: Taking taylor expansion of -1 in y 27.456 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.456 * [taylor]: Taking taylor expansion of 1/3 in y 27.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.456 * [taylor]: Taking taylor expansion of y in y 27.459 * [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 27.459 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 27.459 * [taylor]: Taking taylor expansion of 3 in x 27.459 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 27.459 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.459 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.459 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.459 * [taylor]: Taking taylor expansion of -1 in x 27.460 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.460 * [taylor]: Taking taylor expansion of 1/3 in x 27.460 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.460 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.460 * [taylor]: Taking taylor expansion of y in x 27.461 * [taylor]: Taking taylor expansion of y in x 27.462 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 27.462 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.462 * [taylor]: Taking taylor expansion of y in x 27.462 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 27.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.462 * [taylor]: Taking taylor expansion of x in x 27.462 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 27.462 * [taylor]: Taking taylor expansion of 1.5 in x 27.462 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.463 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.463 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.463 * [taylor]: Taking taylor expansion of -1 in x 27.463 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.464 * [taylor]: Taking taylor expansion of 1/3 in x 27.464 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.464 * [taylor]: Taking taylor expansion of y in x 27.465 * [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 27.465 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in x 27.465 * [taylor]: Taking taylor expansion of 3 in x 27.465 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in x 27.465 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.465 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.465 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.465 * [taylor]: Taking taylor expansion of -1 in x 27.466 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.466 * [taylor]: Taking taylor expansion of 1/3 in x 27.466 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.466 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.466 * [taylor]: Taking taylor expansion of y in x 27.467 * [taylor]: Taking taylor expansion of y in x 27.468 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 27.468 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.468 * [taylor]: Taking taylor expansion of y in x 27.468 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 27.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.468 * [taylor]: Taking taylor expansion of x in x 27.469 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 27.469 * [taylor]: Taking taylor expansion of 1.5 in x 27.469 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 27.469 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 27.469 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.469 * [taylor]: Taking taylor expansion of -1 in x 27.470 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 27.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 27.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 27.470 * [taylor]: Taking taylor expansion of 1/3 in x 27.470 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 27.470 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.470 * [taylor]: Taking taylor expansion of y in x 27.472 * [taylor]: Taking taylor expansion of -1 in y 27.477 * [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 27.477 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y)) in y 27.477 * [taylor]: Taking taylor expansion of 3 in y 27.477 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) y) in y 27.477 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.477 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.477 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.477 * [taylor]: Taking taylor expansion of -1 in y 27.478 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.478 * [taylor]: Taking taylor expansion of 1/3 in y 27.478 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.478 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.478 * [taylor]: Taking taylor expansion of y in y 27.480 * [taylor]: Taking taylor expansion of y in y 27.481 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 27.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.481 * [taylor]: Taking taylor expansion of y in y 27.482 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 27.482 * [taylor]: Taking taylor expansion of 1.5 in y 27.482 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 27.482 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 27.482 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.482 * [taylor]: Taking taylor expansion of -1 in y 27.483 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 27.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 27.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 27.483 * [taylor]: Taking taylor expansion of 1/3 in y 27.483 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 27.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.483 * [taylor]: Taking taylor expansion of y in y 27.498 * [taylor]: Taking taylor expansion of 0 in y 27.509 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 27.509 * [approximate]: Taking taylor expansion of (+ (* 3 y) 1.5) in (y) around 0 27.509 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 27.509 * [taylor]: Taking taylor expansion of (* 3 y) in y 27.509 * [taylor]: Taking taylor expansion of 3 in y 27.509 * [taylor]: Taking taylor expansion of y in y 27.509 * [taylor]: Taking taylor expansion of 1.5 in y 27.509 * [taylor]: Taking taylor expansion of (+ (* 3 y) 1.5) in y 27.509 * [taylor]: Taking taylor expansion of (* 3 y) in y 27.509 * [taylor]: Taking taylor expansion of 3 in y 27.509 * [taylor]: Taking taylor expansion of y in y 27.509 * [taylor]: Taking taylor expansion of 1.5 in y 27.518 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in (y) around 0 27.518 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 27.518 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.518 * [taylor]: Taking taylor expansion of 3 in y 27.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.518 * [taylor]: Taking taylor expansion of y in y 27.518 * [taylor]: Taking taylor expansion of 1.5 in y 27.518 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 y)) 1.5) in y 27.518 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.518 * [taylor]: Taking taylor expansion of 3 in y 27.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.518 * [taylor]: Taking taylor expansion of y in y 27.519 * [taylor]: Taking taylor expansion of 1.5 in y 27.531 * [approximate]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in (y) around 0 27.531 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 27.531 * [taylor]: Taking taylor expansion of 1.5 in y 27.532 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.532 * [taylor]: Taking taylor expansion of 3 in y 27.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.532 * [taylor]: Taking taylor expansion of y in y 27.532 * [taylor]: Taking taylor expansion of (- 1.5 (* 3 (/ 1 y))) in y 27.532 * [taylor]: Taking taylor expansion of 1.5 in y 27.532 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 27.532 * [taylor]: Taking taylor expansion of 3 in y 27.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.532 * [taylor]: Taking taylor expansion of y in y 27.553 * * * [progress]: simplifying candidates 27.554 * [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)) (+ (* 3 y) 1.5))) (log1p (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (+ (log (log (cbrt y))) (log (+ (* 3 y) 1.5))) (log (* (log (cbrt y)) (+ (* 3 y) 1.5))) (exp (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (+ (* 3 y) 1.5) (+ (* 3 y) 1.5)) (+ (* 3 y) 1.5))) (* (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (cbrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (* (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (log (cbrt y)) (+ (* 3 y) 1.5))) (sqrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (sqrt (* (log (cbrt y)) (+ (* 3 y) 1.5))) (* (sqrt (log (cbrt y))) (sqrt (+ (* 3 y) 1.5))) (* (sqrt (log (cbrt y))) (sqrt (+ (* 3 y) 1.5))) (* (log (cbrt y)) (* 3 y)) (* (log (cbrt y)) 1.5) (* (* 3 y) (log (cbrt y))) (* 1.5 (log (cbrt y))) (* (log (cbrt y)) (* (cbrt (+ (* 3 y) 1.5)) (cbrt (+ (* 3 y) 1.5)))) (* (log (cbrt y)) (sqrt (+ (* 3 y) 1.5))) (* (log (cbrt y)) 1) (* (log y) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (cbrt (log (cbrt y))) (+ (* 3 y) 1.5)) (* (sqrt (log (cbrt y))) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (* 3 y) 1.5)) (* (log (cbrt y)) (+ (pow (* 3 y) 3) (pow 1.5 3))) (* (log (cbrt y)) (- (* (* 3 y) (* 3 y)) (* 1.5 1.5))) (expm1 (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (log1p (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (* (/ (exp x) (exp (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (exp y)) (* (exp (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (exp y)) (log (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (exp (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (* (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y))) (cbrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (* (* (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (sqrt (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y)) (+ (pow (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) 3) (pow y 3)) (+ (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (- (* y y) (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y))) (- (* (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) (- x (* (log (cbrt y)) (+ (* 3 y) 1.5)))) (* y y)) (- (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- x (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (fma (- (+ (* 3 y) 1.5)) (log (cbrt y)) (* (+ (* 3 y) 1.5) (log (cbrt y)))) y) (+ (fma (- (+ (* 3 y) 1.5)) (log (cbrt y)) (* (+ (* 3 y) 1.5) (log (cbrt y)))) y) (+ (fma (- (+ (* 3 y) 1.5)) (log (cbrt y)) (* (+ (* 3 y) 1.5) (log (cbrt y)))) y) (+ (- (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (+ (- (* (log (cbrt y)) (+ (* 3 y) 1.5))) y) (- (* (log (cbrt y)) (+ (* 3 y) 1.5)) y) (expm1 (+ (* 3 y) 1.5)) (log1p (+ (* 3 y) 1.5)) (* (exp (* 3 y)) (exp 1.5)) (log (+ (* 3 y) 1.5)) (exp (+ (* 3 y) 1.5)) (* (cbrt (+ (* 3 y) 1.5)) (cbrt (+ (* 3 y) 1.5))) (cbrt (+ (* 3 y) 1.5)) (* (* (+ (* 3 y) 1.5) (+ (* 3 y) 1.5)) (+ (* 3 y) 1.5)) (sqrt (+ (* 3 y) 1.5)) (sqrt (+ (* 3 y) 1.5)) (+ (pow (* 3 y) 3) (pow 1.5 3)) (+ (* (* 3 y) (* 3 y)) (- (* 1.5 1.5) (* (* 3 y) 1.5))) (- (* (* 3 y) (* 3 y)) (* 1.5 1.5)) (- (* 3 y) 1.5) (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) 27.558 * * [simplify]: iteration 0 : 137 enodes (cost 1066 ) 27.587 * * [simplify]: iteration 1 : 373 enodes (cost 942 ) 27.714 * * [simplify]: iteration 2 : 1214 enodes (cost 846 ) 28.378 * * [simplify]: iteration done : 5000 enodes (cost 809 ) 28.379 * [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))) (* (log (cbrt y)) (* 3 y)) (* 1.5 (log (cbrt y))) (* (log (cbrt y)) (* 3 y)) (* 1.5 (log (cbrt y))) (* (* (log (cbrt y)) (cbrt (fma 3 y 1.5))) (cbrt (fma 3 y 1.5))) (* (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)) (- (* 9 (* y y)) (* 1.5 1.5))) (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 9 (* y y) (* 1.5 (- 1.5 (* 3 y)))) (- (* 9 (* y y)) (* 1.5 1.5)) (- (* 3 y) 1.5) (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) 28.379 * * * [progress]: adding candidates to table 28.672 * [progress]: [Phase 3 of 3] Extracting. 28.672 * * [regime]: Finding splitpoints for: (# # # # # #) 28.673 * * * [regime-changes]: Trying 5 branch expressions: ((+ (- x (* (+ y 0.5) (log y))) y) (- (+ (- x (* (+ y 0.5) (log y))) y) z) z y x) 28.673 * * * * [regimes]: Trying to branch on (+ (- x (* (+ y 0.5) (log y))) y) from (# # # # # #) 28.707 * * * * [regimes]: Trying to branch on (- (+ (- x (* (+ y 0.5) (log y))) y) z) from (# # # # # #) 28.738 * * * * [regimes]: Trying to branch on z from (# # # # # #) 28.766 * * * * [regimes]: Trying to branch on y from (# # # # # #) 28.795 * * * * [regimes]: Trying to branch on x from (# # # # # #) 28.822 * * * [regime]: Found split indices: #