10.373 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.043 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.044 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.046 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.049 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 0.053 * * [simplify]: iteration 4 : 53 enodes (cost 9 ) 0.058 * * [simplify]: iteration 5 : 64 enodes (cost 9 ) 0.065 * * [simplify]: iteration 6 : 84 enodes (cost 9 ) 0.074 * * [simplify]: iteration 7 : 116 enodes (cost 9 ) 0.091 * * [simplify]: iteration 8 : 160 enodes (cost 9 ) 0.112 * * [simplify]: iteration 9 : 170 enodes (cost 9 ) 0.136 * * [simplify]: iteration 10 : 197 enodes (cost 9 ) 0.168 * * [simplify]: iteration 11 : 247 enodes (cost 9 ) 0.215 * * [simplify]: iteration 12 : 268 enodes (cost 9 ) 0.271 * * [simplify]: iteration done : 268 enodes (cost 9 ) 0.271 * [simplify]: Simplified to: (- (+ x (cos y)) (* z (sin y))) 0.271 * * [progress]: iteration 1 / 4 0.271 * * * [progress]: picking best candidate 0.273 * * * * [pick]: Picked # 0.273 * * * [progress]: localizing error 0.282 * * * [progress]: generating rewritten candidates 0.282 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.286 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.309 * * * [progress]: generating series expansions 0.309 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.309 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.309 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.309 * [taylor]: Taking taylor expansion of (sin y) in y 0.309 * [taylor]: Taking taylor expansion of y in y 0.309 * [taylor]: Taking taylor expansion of z in y 0.309 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.309 * [taylor]: Taking taylor expansion of (sin y) in z 0.309 * [taylor]: Taking taylor expansion of y in z 0.309 * [taylor]: Taking taylor expansion of z in z 0.309 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.309 * [taylor]: Taking taylor expansion of (sin y) in z 0.309 * [taylor]: Taking taylor expansion of y in z 0.309 * [taylor]: Taking taylor expansion of z in z 0.309 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [taylor]: Taking taylor expansion of (sin y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.314 * [taylor]: Taking taylor expansion of 0 in y 0.317 * [taylor]: Taking taylor expansion of 0 in y 0.324 * [taylor]: Taking taylor expansion of 0 in y 0.324 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.324 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.324 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.324 * [taylor]: Taking taylor expansion of y in y 0.325 * [taylor]: Taking taylor expansion of z in y 0.325 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.325 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.325 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.325 * [taylor]: Taking taylor expansion of y in z 0.325 * [taylor]: Taking taylor expansion of z in z 0.325 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.325 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.325 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.325 * [taylor]: Taking taylor expansion of y in z 0.325 * [taylor]: Taking taylor expansion of z in z 0.326 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.326 * [taylor]: Taking taylor expansion of y in y 0.328 * [taylor]: Taking taylor expansion of 0 in y 0.331 * [taylor]: Taking taylor expansion of 0 in y 0.335 * [taylor]: Taking taylor expansion of 0 in y 0.335 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.335 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.335 * [taylor]: Taking taylor expansion of -1 in y 0.335 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.335 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.335 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.335 * [taylor]: Taking taylor expansion of -1 in y 0.335 * [taylor]: Taking taylor expansion of y in y 0.335 * [taylor]: Taking taylor expansion of z in y 0.336 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.336 * [taylor]: Taking taylor expansion of -1 in z 0.336 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.336 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.336 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.336 * [taylor]: Taking taylor expansion of -1 in z 0.336 * [taylor]: Taking taylor expansion of y in z 0.336 * [taylor]: Taking taylor expansion of z in z 0.336 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.336 * [taylor]: Taking taylor expansion of -1 in z 0.336 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.336 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.336 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.336 * [taylor]: Taking taylor expansion of -1 in z 0.336 * [taylor]: Taking taylor expansion of y in z 0.336 * [taylor]: Taking taylor expansion of z in z 0.336 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.336 * [taylor]: Taking taylor expansion of -1 in y 0.336 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.336 * [taylor]: Taking taylor expansion of -1 in y 0.336 * [taylor]: Taking taylor expansion of y in y 0.339 * [taylor]: Taking taylor expansion of 0 in y 0.343 * [taylor]: Taking taylor expansion of 0 in y 0.348 * [taylor]: Taking taylor expansion of 0 in y 0.348 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.348 * [approximate]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in (x y z) around 0 0.348 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in z 0.348 * [taylor]: Taking taylor expansion of (+ x (cos y)) in z 0.348 * [taylor]: Taking taylor expansion of x in z 0.348 * [taylor]: Taking taylor expansion of (cos y) in z 0.348 * [taylor]: Taking taylor expansion of y in z 0.348 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.348 * [taylor]: Taking taylor expansion of (sin y) in z 0.348 * [taylor]: Taking taylor expansion of y in z 0.348 * [taylor]: Taking taylor expansion of z in z 0.348 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in y 0.348 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 0.348 * [taylor]: Taking taylor expansion of x in y 0.348 * [taylor]: Taking taylor expansion of (cos y) in y 0.348 * [taylor]: Taking taylor expansion of y in y 0.348 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.348 * [taylor]: Taking taylor expansion of (sin y) in y 0.348 * [taylor]: Taking taylor expansion of y in y 0.348 * [taylor]: Taking taylor expansion of z in y 0.348 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.348 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.348 * [taylor]: Taking taylor expansion of (cos y) in x 0.348 * [taylor]: Taking taylor expansion of y in x 0.348 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.348 * [taylor]: Taking taylor expansion of (sin y) in x 0.348 * [taylor]: Taking taylor expansion of y in x 0.348 * [taylor]: Taking taylor expansion of z in x 0.349 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.349 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.349 * [taylor]: Taking taylor expansion of x in x 0.349 * [taylor]: Taking taylor expansion of (cos y) in x 0.349 * [taylor]: Taking taylor expansion of y in x 0.349 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.349 * [taylor]: Taking taylor expansion of (sin y) in x 0.349 * [taylor]: Taking taylor expansion of y in x 0.349 * [taylor]: Taking taylor expansion of z in x 0.349 * [taylor]: Taking taylor expansion of (- (cos y) (* (sin y) z)) in y 0.349 * [taylor]: Taking taylor expansion of (cos y) in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.349 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.349 * [taylor]: Taking taylor expansion of (sin y) in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.349 * [taylor]: Taking taylor expansion of z in y 0.350 * [taylor]: Taking taylor expansion of 1 in z 0.354 * [taylor]: Taking taylor expansion of 1 in y 0.354 * [taylor]: Taking taylor expansion of 1 in z 0.355 * [taylor]: Taking taylor expansion of (- z) in z 0.355 * [taylor]: Taking taylor expansion of z in z 0.360 * [taylor]: Taking taylor expansion of 0 in y 0.360 * [taylor]: Taking taylor expansion of 0 in z 0.360 * [taylor]: Taking taylor expansion of 0 in z 0.362 * [taylor]: Taking taylor expansion of -1/2 in z 0.362 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.362 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z 0.362 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 0.362 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.362 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.362 * [taylor]: Taking taylor expansion of y in z 0.362 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.362 * [taylor]: Taking taylor expansion of x in z 0.362 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.362 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.362 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.362 * [taylor]: Taking taylor expansion of y in z 0.362 * [taylor]: Taking taylor expansion of z in z 0.363 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y 0.363 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 0.363 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.363 * [taylor]: Taking taylor expansion of y in y 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.363 * [taylor]: Taking taylor expansion of x in y 0.363 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.363 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.363 * [taylor]: Taking taylor expansion of y in y 0.363 * [taylor]: Taking taylor expansion of z in y 0.363 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.363 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.364 * [taylor]: Taking taylor expansion of y in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.364 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.364 * [taylor]: Taking taylor expansion of y in x 0.364 * [taylor]: Taking taylor expansion of z in x 0.364 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.364 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.364 * [taylor]: Taking taylor expansion of y in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.365 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.365 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.365 * [taylor]: Taking taylor expansion of y in x 0.365 * [taylor]: Taking taylor expansion of z in x 0.366 * [taylor]: Taking taylor expansion of 1 in y 0.366 * [taylor]: Taking taylor expansion of 1 in z 0.367 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y 0.367 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.367 * [taylor]: Taking taylor expansion of y in y 0.367 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.367 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.367 * [taylor]: Taking taylor expansion of y in y 0.367 * [taylor]: Taking taylor expansion of z in y 0.367 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z 0.367 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.368 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.368 * [taylor]: Taking taylor expansion of y in z 0.368 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.368 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.368 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.368 * [taylor]: Taking taylor expansion of y in z 0.368 * [taylor]: Taking taylor expansion of z in z 0.368 * [taylor]: Taking taylor expansion of 0 in z 0.373 * [taylor]: Taking taylor expansion of 0 in y 0.373 * [taylor]: Taking taylor expansion of 0 in z 0.374 * [taylor]: Taking taylor expansion of 0 in z 0.374 * [taylor]: Taking taylor expansion of 0 in z 0.377 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0 0.377 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z 0.377 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.377 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.377 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.377 * [taylor]: Taking taylor expansion of -1 in z 0.377 * [taylor]: Taking taylor expansion of y in z 0.377 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.377 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.377 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.377 * [taylor]: Taking taylor expansion of -1 in z 0.377 * [taylor]: Taking taylor expansion of y in z 0.377 * [taylor]: Taking taylor expansion of z in z 0.377 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.377 * [taylor]: Taking taylor expansion of x in z 0.377 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y 0.377 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.378 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.378 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.378 * [taylor]: Taking taylor expansion of -1 in y 0.378 * [taylor]: Taking taylor expansion of y in y 0.378 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.378 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.378 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.378 * [taylor]: Taking taylor expansion of -1 in y 0.378 * [taylor]: Taking taylor expansion of y in y 0.378 * [taylor]: Taking taylor expansion of z in y 0.378 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.378 * [taylor]: Taking taylor expansion of x in y 0.378 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.378 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.378 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.378 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.378 * [taylor]: Taking taylor expansion of -1 in x 0.378 * [taylor]: Taking taylor expansion of y in x 0.379 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.379 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.379 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.379 * [taylor]: Taking taylor expansion of -1 in x 0.379 * [taylor]: Taking taylor expansion of y in x 0.379 * [taylor]: Taking taylor expansion of z in x 0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.379 * [taylor]: Taking taylor expansion of x in x 0.379 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.379 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.379 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.379 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.379 * [taylor]: Taking taylor expansion of -1 in x 0.379 * [taylor]: Taking taylor expansion of y in x 0.379 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.379 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.379 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.379 * [taylor]: Taking taylor expansion of -1 in x 0.379 * [taylor]: Taking taylor expansion of y in x 0.379 * [taylor]: Taking taylor expansion of z in x 0.380 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.380 * [taylor]: Taking taylor expansion of x in x 0.380 * [taylor]: Taking taylor expansion of -1 in y 0.380 * [taylor]: Taking taylor expansion of -1 in z 0.382 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.382 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.382 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.382 * [taylor]: Taking taylor expansion of -1 in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.382 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.382 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.382 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.382 * [taylor]: Taking taylor expansion of -1 in y 0.382 * [taylor]: Taking taylor expansion of y in y 0.383 * [taylor]: Taking taylor expansion of z in y 0.383 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.383 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.383 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.383 * [taylor]: Taking taylor expansion of -1 in z 0.383 * [taylor]: Taking taylor expansion of y in z 0.383 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.383 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.383 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.383 * [taylor]: Taking taylor expansion of -1 in z 0.383 * [taylor]: Taking taylor expansion of y in z 0.383 * [taylor]: Taking taylor expansion of z in z 0.383 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in y 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.391 * * * [progress]: simplifying candidates 0.392 * [simplify]: Simplifying using # : (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (fma (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y)))) (cbrt (+ x (cos y))) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (fma (sqrt (+ x (cos y))) (sqrt (+ x (cos y))) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (fma 1 (+ x (cos y)) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (fma 1 (+ x (cos y)) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (expm1 (- (+ x (cos y)) (* z (sin y)))) (log1p (- (+ x (cos y)) (* z (sin y)))) (- (* z (sin y))) (- (* z (sin y))) (- (* z (sin y))) (- (* z (sin y))) (/ (* (exp x) (exp (cos y))) (exp (* z (sin y)))) (/ (exp (+ x (cos y))) (exp (* z (sin y)))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (+ x (cos y)) (+ x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (+ x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* (sin y) z)) (- (+ x (cos y)) (* (sin y) z)) 0.394 * * [simplify]: iteration 0 : 82 enodes (cost 511 ) 0.410 * * [simplify]: iteration 1 : 186 enodes (cost 491 ) 0.443 * * [simplify]: iteration 2 : 617 enodes (cost 443 ) 0.654 * * [simplify]: iteration 3 : 2895 enodes (cost 428 ) 1.706 * * [simplify]: iteration done : 5000 enodes (cost 428 ) 1.707 * [simplify]: Simplified to: (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (fma (sin y) (- z) (pow (cbrt (+ x (cos y))) 3)) (* (sin y) (* 0 z)) (+ x (- (cos y) (* z (sin y)))) (* (sin y) (* 0 z)) (+ x (- (cos y) (* z (sin y)))) (* (sin y) (* 0 z)) (+ x (- (cos y) (* z (sin y)))) (* (sin y) (* 0 z)) (expm1 (- (+ x (cos y)) (* z (sin y)))) (log1p (- (+ x (cos y)) (* z (sin y)))) (- (* (sin y) z)) (- (* (sin y) z)) (- (* (sin y) z)) (- (* (sin y) z)) (exp (- (+ x (cos y)) (* (sin y) z))) (exp (- (+ x (cos y)) (* (sin y) z))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* (sin y) z))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (pow (- (+ x (cos y)) (* (sin y) z)) 3) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* z (sin y)) (fma (sin y) z (+ (cos y) x)) (* (+ x (cos y)) (+ x (cos y)))) (- (* (sin y) z)) (* (fma (sin y) z (+ (cos y) x)) (- (+ (cos y) x) (* z (sin y)))) (+ (fma (sin y) z (cos y)) x) (- (cos y) (* z (sin y))) (- (* (sin y) z)) (* z y) (* z (sin y)) (* z (sin y)) (fma -1/2 (pow y 2) (+ x 1)) (+ x (- (cos y) (* z (sin y)))) (+ x (- (cos y) (* z (sin y)))) 1.707 * * * [progress]: adding candidates to table 1.813 * * [progress]: iteration 2 / 4 1.813 * * * [progress]: picking best candidate 1.828 * * * * [pick]: Picked # 1.828 * * * [progress]: localizing error 1.841 * * * [progress]: generating rewritten candidates 1.841 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.843 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.844 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.846 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.853 * * * [progress]: generating series expansions 1.853 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.854 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 1.854 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 1.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 1.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 1.854 * [taylor]: Taking taylor expansion of 1/3 in y 1.854 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 1.854 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.854 * [taylor]: Taking taylor expansion of (sin y) in y 1.854 * [taylor]: Taking taylor expansion of y in y 1.854 * [taylor]: Taking taylor expansion of z in y 1.855 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.855 * [taylor]: Taking taylor expansion of 1/3 in z 1.855 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.855 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.855 * [taylor]: Taking taylor expansion of (sin y) in z 1.855 * [taylor]: Taking taylor expansion of y in z 1.855 * [taylor]: Taking taylor expansion of z in z 1.857 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.857 * [taylor]: Taking taylor expansion of 1/3 in z 1.857 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.857 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.857 * [taylor]: Taking taylor expansion of (sin y) in z 1.857 * [taylor]: Taking taylor expansion of y in z 1.858 * [taylor]: Taking taylor expansion of z in z 1.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 1.860 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 1.860 * [taylor]: Taking taylor expansion of 1/3 in y 1.860 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 1.860 * [taylor]: Taking taylor expansion of (log z) in y 1.860 * [taylor]: Taking taylor expansion of z in y 1.860 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.860 * [taylor]: Taking taylor expansion of (sin y) in y 1.860 * [taylor]: Taking taylor expansion of y in y 1.865 * [taylor]: Taking taylor expansion of 0 in y 1.877 * [taylor]: Taking taylor expansion of 0 in y 1.889 * [taylor]: Taking taylor expansion of 0 in y 1.905 * [taylor]: Taking taylor expansion of 0 in y 1.906 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 1.906 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 1.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 1.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 1.906 * [taylor]: Taking taylor expansion of 1/3 in y 1.906 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 1.906 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 1.906 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.906 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.906 * [taylor]: Taking taylor expansion of y in y 1.906 * [taylor]: Taking taylor expansion of z in y 1.906 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.906 * [taylor]: Taking taylor expansion of 1/3 in z 1.906 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.906 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.906 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.906 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.906 * [taylor]: Taking taylor expansion of y in z 1.907 * [taylor]: Taking taylor expansion of z in z 1.907 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.907 * [taylor]: Taking taylor expansion of 1/3 in z 1.907 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.907 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.907 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.907 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.907 * [taylor]: Taking taylor expansion of y in z 1.907 * [taylor]: Taking taylor expansion of z in z 1.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 1.908 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 1.908 * [taylor]: Taking taylor expansion of 1/3 in y 1.908 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 1.908 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.908 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.908 * [taylor]: Taking taylor expansion of y in y 1.909 * [taylor]: Taking taylor expansion of (log z) in y 1.909 * [taylor]: Taking taylor expansion of z in y 1.913 * [taylor]: Taking taylor expansion of 0 in y 1.921 * [taylor]: Taking taylor expansion of 0 in y 1.932 * [taylor]: Taking taylor expansion of 0 in y 1.932 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 1.932 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 1.932 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.932 * [taylor]: Taking taylor expansion of -1 in y 1.933 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 1.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 1.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 1.933 * [taylor]: Taking taylor expansion of 1/3 in y 1.933 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 1.933 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 1.933 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.933 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.933 * [taylor]: Taking taylor expansion of -1 in y 1.933 * [taylor]: Taking taylor expansion of y in y 1.933 * [taylor]: Taking taylor expansion of z in y 1.934 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.934 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.934 * [taylor]: Taking taylor expansion of -1 in z 1.934 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.934 * [taylor]: Taking taylor expansion of 1/3 in z 1.935 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.935 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.935 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.935 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.935 * [taylor]: Taking taylor expansion of -1 in z 1.935 * [taylor]: Taking taylor expansion of y in z 1.935 * [taylor]: Taking taylor expansion of z in z 1.935 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.935 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.935 * [taylor]: Taking taylor expansion of -1 in z 1.936 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.936 * [taylor]: Taking taylor expansion of 1/3 in z 1.936 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.936 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.936 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.936 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.936 * [taylor]: Taking taylor expansion of -1 in z 1.936 * [taylor]: Taking taylor expansion of y in z 1.936 * [taylor]: Taking taylor expansion of z in z 1.937 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 1.937 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.937 * [taylor]: Taking taylor expansion of -1 in y 1.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 1.938 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 1.938 * [taylor]: Taking taylor expansion of 1/3 in y 1.938 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 1.938 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.938 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.938 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.938 * [taylor]: Taking taylor expansion of -1 in y 1.938 * [taylor]: Taking taylor expansion of y in y 1.939 * [taylor]: Taking taylor expansion of (log z) in y 1.939 * [taylor]: Taking taylor expansion of z in y 1.944 * [taylor]: Taking taylor expansion of 0 in y 1.953 * [taylor]: Taking taylor expansion of 0 in y 1.972 * [taylor]: Taking taylor expansion of 0 in y 1.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.973 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 1.973 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 1.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 1.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 1.973 * [taylor]: Taking taylor expansion of 1/3 in y 1.973 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 1.973 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.973 * [taylor]: Taking taylor expansion of (sin y) in y 1.973 * [taylor]: Taking taylor expansion of y in y 1.973 * [taylor]: Taking taylor expansion of z in y 1.974 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.974 * [taylor]: Taking taylor expansion of 1/3 in z 1.974 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.974 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.974 * [taylor]: Taking taylor expansion of (sin y) in z 1.974 * [taylor]: Taking taylor expansion of y in z 1.975 * [taylor]: Taking taylor expansion of z in z 1.977 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.977 * [taylor]: Taking taylor expansion of 1/3 in z 1.977 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.977 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.977 * [taylor]: Taking taylor expansion of (sin y) in z 1.977 * [taylor]: Taking taylor expansion of y in z 1.977 * [taylor]: Taking taylor expansion of z in z 1.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 1.979 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 1.979 * [taylor]: Taking taylor expansion of 1/3 in y 1.979 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 1.979 * [taylor]: Taking taylor expansion of (log z) in y 1.979 * [taylor]: Taking taylor expansion of z in y 1.979 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.979 * [taylor]: Taking taylor expansion of (sin y) in y 1.979 * [taylor]: Taking taylor expansion of y in y 1.984 * [taylor]: Taking taylor expansion of 0 in y 1.992 * [taylor]: Taking taylor expansion of 0 in y 2.004 * [taylor]: Taking taylor expansion of 0 in y 2.021 * [taylor]: Taking taylor expansion of 0 in y 2.022 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 2.022 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 2.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 2.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 2.022 * [taylor]: Taking taylor expansion of 1/3 in y 2.022 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 2.022 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 2.022 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.022 * [taylor]: Taking taylor expansion of y in y 2.022 * [taylor]: Taking taylor expansion of z in y 2.022 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 2.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 2.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 2.022 * [taylor]: Taking taylor expansion of 1/3 in z 2.022 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 2.022 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 2.022 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.022 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.022 * [taylor]: Taking taylor expansion of y in z 2.022 * [taylor]: Taking taylor expansion of z in z 2.023 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 2.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 2.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 2.023 * [taylor]: Taking taylor expansion of 1/3 in z 2.023 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 2.023 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 2.023 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.023 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.023 * [taylor]: Taking taylor expansion of y in z 2.023 * [taylor]: Taking taylor expansion of z in z 2.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 2.024 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 2.024 * [taylor]: Taking taylor expansion of 1/3 in y 2.024 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 2.024 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.024 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.024 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.024 * [taylor]: Taking taylor expansion of y in y 2.024 * [taylor]: Taking taylor expansion of (log z) in y 2.025 * [taylor]: Taking taylor expansion of z in y 2.029 * [taylor]: Taking taylor expansion of 0 in y 2.036 * [taylor]: Taking taylor expansion of 0 in y 2.052 * [taylor]: Taking taylor expansion of 0 in y 2.053 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 2.053 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 2.053 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.053 * [taylor]: Taking taylor expansion of -1 in y 2.053 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 2.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 2.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 2.053 * [taylor]: Taking taylor expansion of 1/3 in y 2.053 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 2.053 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 2.053 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.053 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.053 * [taylor]: Taking taylor expansion of -1 in y 2.053 * [taylor]: Taking taylor expansion of y in y 2.054 * [taylor]: Taking taylor expansion of z in y 2.054 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 2.054 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.054 * [taylor]: Taking taylor expansion of -1 in z 2.055 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 2.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 2.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 2.055 * [taylor]: Taking taylor expansion of 1/3 in z 2.055 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 2.055 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 2.055 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.055 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.055 * [taylor]: Taking taylor expansion of -1 in z 2.055 * [taylor]: Taking taylor expansion of y in z 2.055 * [taylor]: Taking taylor expansion of z in z 2.056 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 2.056 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.056 * [taylor]: Taking taylor expansion of -1 in z 2.056 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 2.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 2.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 2.056 * [taylor]: Taking taylor expansion of 1/3 in z 2.056 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 2.056 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 2.056 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.057 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.057 * [taylor]: Taking taylor expansion of -1 in z 2.057 * [taylor]: Taking taylor expansion of y in z 2.057 * [taylor]: Taking taylor expansion of z in z 2.058 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 2.058 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.058 * [taylor]: Taking taylor expansion of -1 in y 2.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 2.058 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 2.058 * [taylor]: Taking taylor expansion of 1/3 in y 2.058 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 2.059 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.059 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.059 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.059 * [taylor]: Taking taylor expansion of -1 in y 2.059 * [taylor]: Taking taylor expansion of y in y 2.059 * [taylor]: Taking taylor expansion of (log z) in y 2.059 * [taylor]: Taking taylor expansion of z in y 2.064 * [taylor]: Taking taylor expansion of 0 in y 2.074 * [taylor]: Taking taylor expansion of 0 in y 2.087 * [taylor]: Taking taylor expansion of 0 in y 2.088 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 2.088 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 2.088 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 2.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 2.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 2.088 * [taylor]: Taking taylor expansion of 1/3 in y 2.088 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 2.088 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 2.088 * [taylor]: Taking taylor expansion of (sin y) in y 2.088 * [taylor]: Taking taylor expansion of y in y 2.088 * [taylor]: Taking taylor expansion of z in y 2.089 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 2.089 * [taylor]: Taking taylor expansion of 1/3 in z 2.089 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 2.089 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 2.089 * [taylor]: Taking taylor expansion of (sin y) in z 2.089 * [taylor]: Taking taylor expansion of y in z 2.089 * [taylor]: Taking taylor expansion of z in z 2.092 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 2.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 2.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 2.092 * [taylor]: Taking taylor expansion of 1/3 in z 2.092 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 2.092 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 2.092 * [taylor]: Taking taylor expansion of (sin y) in z 2.092 * [taylor]: Taking taylor expansion of y in z 2.092 * [taylor]: Taking taylor expansion of z in z 2.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 2.094 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 2.094 * [taylor]: Taking taylor expansion of 1/3 in y 2.094 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 2.094 * [taylor]: Taking taylor expansion of (log z) in y 2.094 * [taylor]: Taking taylor expansion of z in y 2.094 * [taylor]: Taking taylor expansion of (log (sin y)) in y 2.094 * [taylor]: Taking taylor expansion of (sin y) in y 2.094 * [taylor]: Taking taylor expansion of y in y 2.099 * [taylor]: Taking taylor expansion of 0 in y 2.107 * [taylor]: Taking taylor expansion of 0 in y 2.119 * [taylor]: Taking taylor expansion of 0 in y 2.140 * [taylor]: Taking taylor expansion of 0 in y 2.141 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 2.141 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 2.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 2.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 2.141 * [taylor]: Taking taylor expansion of 1/3 in y 2.141 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 2.141 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 2.141 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.141 * [taylor]: Taking taylor expansion of y in y 2.141 * [taylor]: Taking taylor expansion of z in y 2.142 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 2.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 2.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 2.142 * [taylor]: Taking taylor expansion of 1/3 in z 2.142 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 2.142 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 2.142 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.142 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.142 * [taylor]: Taking taylor expansion of y in z 2.142 * [taylor]: Taking taylor expansion of z in z 2.142 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 2.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 2.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 2.142 * [taylor]: Taking taylor expansion of 1/3 in z 2.142 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 2.142 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 2.143 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.143 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.143 * [taylor]: Taking taylor expansion of y in z 2.143 * [taylor]: Taking taylor expansion of z in z 2.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 2.143 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 2.143 * [taylor]: Taking taylor expansion of 1/3 in y 2.143 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 2.143 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.143 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.143 * [taylor]: Taking taylor expansion of y in y 2.144 * [taylor]: Taking taylor expansion of (log z) in y 2.144 * [taylor]: Taking taylor expansion of z in y 2.148 * [taylor]: Taking taylor expansion of 0 in y 2.156 * [taylor]: Taking taylor expansion of 0 in y 2.167 * [taylor]: Taking taylor expansion of 0 in y 2.167 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 2.167 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 2.167 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.167 * [taylor]: Taking taylor expansion of -1 in y 2.168 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 2.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 2.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 2.168 * [taylor]: Taking taylor expansion of 1/3 in y 2.168 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 2.168 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 2.168 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.168 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.168 * [taylor]: Taking taylor expansion of -1 in y 2.168 * [taylor]: Taking taylor expansion of y in y 2.168 * [taylor]: Taking taylor expansion of z in y 2.168 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 2.168 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.168 * [taylor]: Taking taylor expansion of -1 in z 2.169 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 2.169 * [taylor]: Taking taylor expansion of 1/3 in z 2.169 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 2.169 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 2.169 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.169 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.169 * [taylor]: Taking taylor expansion of -1 in z 2.169 * [taylor]: Taking taylor expansion of y in z 2.169 * [taylor]: Taking taylor expansion of z in z 2.170 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 2.170 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.170 * [taylor]: Taking taylor expansion of -1 in z 2.171 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 2.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 2.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 2.171 * [taylor]: Taking taylor expansion of 1/3 in z 2.171 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 2.171 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 2.171 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.171 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.171 * [taylor]: Taking taylor expansion of -1 in z 2.171 * [taylor]: Taking taylor expansion of y in z 2.171 * [taylor]: Taking taylor expansion of z in z 2.172 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 2.172 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.172 * [taylor]: Taking taylor expansion of -1 in y 2.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 2.173 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 2.173 * [taylor]: Taking taylor expansion of 1/3 in y 2.173 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 2.173 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.173 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.173 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.173 * [taylor]: Taking taylor expansion of -1 in y 2.173 * [taylor]: Taking taylor expansion of y in y 2.173 * [taylor]: Taking taylor expansion of (log z) in y 2.173 * [taylor]: Taking taylor expansion of z in y 2.179 * [taylor]: Taking taylor expansion of 0 in y 2.188 * [taylor]: Taking taylor expansion of 0 in y 2.202 * [taylor]: Taking taylor expansion of 0 in y 2.203 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.203 * [approximate]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in (z y) around 0 2.203 * [taylor]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in y 2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin y) 2) (pow z 2))))) in y 2.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin y) 2) (pow z 2)))) in y 2.203 * [taylor]: Taking taylor expansion of 1/3 in y 2.203 * [taylor]: Taking taylor expansion of (log (* (pow (sin y) 2) (pow z 2))) in y 2.203 * [taylor]: Taking taylor expansion of (* (pow (sin y) 2) (pow z 2)) in y 2.203 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 2.203 * [taylor]: Taking taylor expansion of (sin y) in y 2.203 * [taylor]: Taking taylor expansion of y in y 2.204 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.204 * [taylor]: Taking taylor expansion of z in y 2.205 * [taylor]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in z 2.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin y) 2) (pow z 2))))) in z 2.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin y) 2) (pow z 2)))) in z 2.205 * [taylor]: Taking taylor expansion of 1/3 in z 2.205 * [taylor]: Taking taylor expansion of (log (* (pow (sin y) 2) (pow z 2))) in z 2.205 * [taylor]: Taking taylor expansion of (* (pow (sin y) 2) (pow z 2)) in z 2.205 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 2.205 * [taylor]: Taking taylor expansion of (sin y) in z 2.205 * [taylor]: Taking taylor expansion of y in z 2.205 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.205 * [taylor]: Taking taylor expansion of z in z 2.206 * [taylor]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in z 2.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin y) 2) (pow z 2))))) in z 2.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin y) 2) (pow z 2)))) in z 2.206 * [taylor]: Taking taylor expansion of 1/3 in z 2.206 * [taylor]: Taking taylor expansion of (log (* (pow (sin y) 2) (pow z 2))) in z 2.206 * [taylor]: Taking taylor expansion of (* (pow (sin y) 2) (pow z 2)) in z 2.206 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 2.206 * [taylor]: Taking taylor expansion of (sin y) in z 2.206 * [taylor]: Taking taylor expansion of y in z 2.206 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.206 * [taylor]: Taking taylor expansion of z in z 2.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2))))) in y 2.207 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2)))) in y 2.207 * [taylor]: Taking taylor expansion of 1/3 in y 2.207 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow (sin y) 2))) in y 2.207 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.207 * [taylor]: Taking taylor expansion of 2 in y 2.207 * [taylor]: Taking taylor expansion of (log z) in y 2.207 * [taylor]: Taking taylor expansion of z in y 2.207 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 2.207 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 2.207 * [taylor]: Taking taylor expansion of (sin y) in y 2.207 * [taylor]: Taking taylor expansion of y in y 2.218 * [taylor]: Taking taylor expansion of 0 in y 2.227 * [taylor]: Taking taylor expansion of 0 in y 2.241 * [taylor]: Taking taylor expansion of 0 in y 2.260 * [taylor]: Taking taylor expansion of 0 in y 2.260 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0 2.260 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in y 2.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in y 2.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in y 2.260 * [taylor]: Taking taylor expansion of 1/3 in y 2.260 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in y 2.260 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in y 2.260 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 2.260 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.260 * [taylor]: Taking taylor expansion of y in y 2.261 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.261 * [taylor]: Taking taylor expansion of z in y 2.261 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z 2.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z 2.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z 2.262 * [taylor]: Taking taylor expansion of 1/3 in z 2.262 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z 2.262 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z 2.262 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 2.262 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.262 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.262 * [taylor]: Taking taylor expansion of y in z 2.262 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.262 * [taylor]: Taking taylor expansion of z in z 2.263 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z 2.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z 2.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z 2.263 * [taylor]: Taking taylor expansion of 1/3 in z 2.263 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z 2.263 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z 2.263 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 2.263 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.263 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.263 * [taylor]: Taking taylor expansion of y in z 2.263 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.263 * [taylor]: Taking taylor expansion of z in z 2.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))))) in y 2.264 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z)))) in y 2.264 * [taylor]: Taking taylor expansion of 1/3 in y 2.264 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))) in y 2.265 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 2.265 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 2.265 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.265 * [taylor]: Taking taylor expansion of y in y 2.265 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.265 * [taylor]: Taking taylor expansion of 2 in y 2.265 * [taylor]: Taking taylor expansion of (log z) in y 2.265 * [taylor]: Taking taylor expansion of z in y 2.270 * [taylor]: Taking taylor expansion of 0 in y 2.279 * [taylor]: Taking taylor expansion of 0 in y 2.293 * [taylor]: Taking taylor expansion of 0 in y 2.294 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in (z y) around 0 2.294 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in y 2.294 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.294 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.294 * [taylor]: Taking taylor expansion of -1 in y 2.295 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in y 2.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in y 2.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in y 2.295 * [taylor]: Taking taylor expansion of 1/3 in y 2.295 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in y 2.295 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in y 2.295 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 2.295 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.295 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.295 * [taylor]: Taking taylor expansion of -1 in y 2.295 * [taylor]: Taking taylor expansion of y in y 2.295 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.295 * [taylor]: Taking taylor expansion of z in y 2.296 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in z 2.296 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.296 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.296 * [taylor]: Taking taylor expansion of -1 in z 2.302 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z 2.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z 2.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z 2.302 * [taylor]: Taking taylor expansion of 1/3 in z 2.302 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z 2.302 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z 2.302 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 2.302 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.302 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.302 * [taylor]: Taking taylor expansion of -1 in z 2.302 * [taylor]: Taking taylor expansion of y in z 2.302 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.302 * [taylor]: Taking taylor expansion of z in z 2.303 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in z 2.303 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.304 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.304 * [taylor]: Taking taylor expansion of -1 in z 2.304 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z 2.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z 2.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z 2.304 * [taylor]: Taking taylor expansion of 1/3 in z 2.304 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z 2.304 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z 2.304 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 2.304 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.304 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.304 * [taylor]: Taking taylor expansion of -1 in z 2.304 * [taylor]: Taking taylor expansion of y in z 2.305 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.305 * [taylor]: Taking taylor expansion of z in z 2.307 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))))) in y 2.307 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 2.307 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.307 * [taylor]: Taking taylor expansion of -1 in y 2.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))))) in y 2.308 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))) in y 2.308 * [taylor]: Taking taylor expansion of 1/3 in y 2.308 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))) in y 2.308 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 2.308 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 2.308 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.308 * [taylor]: Taking taylor expansion of -1 in y 2.308 * [taylor]: Taking taylor expansion of y in y 2.309 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 2.309 * [taylor]: Taking taylor expansion of 2 in y 2.309 * [taylor]: Taking taylor expansion of (log z) in y 2.309 * [taylor]: Taking taylor expansion of z in y 2.317 * [taylor]: Taking taylor expansion of 0 in y 2.330 * [taylor]: Taking taylor expansion of 0 in y 2.348 * [taylor]: Taking taylor expansion of 0 in y 2.349 * * * [progress]: simplifying candidates 2.350 * [simplify]: Simplifying using # : (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (log1p (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (+ 1/3 1/3) (+ 1 1) (* (* z (sin y)) (* z (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (+ 1 1) (+ (log (cbrt (* z (sin y)))) (log (cbrt (* z (sin y))))) (log (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (exp (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (* z (sin y)) (* z (sin y))) (* (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))) (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (cbrt z) (cbrt z)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* 1 1) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* 2 1/3) (* 2 1) (* (cbrt (* z (sin y))) (cbrt z)) (* (cbrt (* z (sin y))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))) (* (cbrt (* z (sin y))) (sqrt (cbrt (* z (sin y))))) (* (cbrt (* z (sin y))) 1) (* (cbrt (sin y)) (cbrt (* z (sin y)))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (* (sqrt (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (* 2 (log z)) (* 2 (log y))))) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log z)) (* 2 (log y))))) (pow y 2)))) (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ 1 z)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ -1 z))))))) 2.353 * * [simplify]: iteration 0 : 91 enodes (cost 850 ) 2.368 * * [simplify]: iteration 1 : 197 enodes (cost 773 ) 2.413 * * [simplify]: iteration 2 : 628 enodes (cost 691 ) 2.638 * * [simplify]: iteration 3 : 2617 enodes (cost 595 ) 3.717 * * [simplify]: iteration done : 5001 enodes (cost 595 ) 3.717 * [simplify]: Simplified to: (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (pow (sqrt (cbrt (* z (sin y)))) 4)) (log1p (pow (sqrt (cbrt (* z (sin y)))) 4)) 2/3 2 (pow (cbrt (* z (sin y))) 6) (pow (sqrt (cbrt (* z (sin y)))) 4) 2 (* 2 (log (cbrt (* z (sin y))))) (* 2 (log (cbrt (* z (sin y))))) (exp (pow (sqrt (cbrt (* z (sin y)))) 4)) (pow (cbrt (* z (sin y))) 6) (* (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)) (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4))) (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)) (pow (cbrt (* z (sin y))) 6) (fabs (cbrt (* z (sin y)))) (fabs (cbrt (* z (sin y)))) (* (cbrt z) (cbrt z)) (* (cbrt (sin y)) (cbrt (sin y))) (pow (cbrt (cbrt (* z (sin y)))) 4) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (* z (sin y))) (cbrt (* z (sin y))) 1 (pow (sqrt (cbrt (* z (sin y)))) 4) (cbrt (* z (sin y))) (cbrt (* z (sin y))) 2/3 2 (* (cbrt (* z (sin y))) (cbrt z)) (* (pow (cbrt (cbrt (* z (sin y)))) 4) (cbrt (cbrt (* z (sin y))))) (pow (sqrt (cbrt (* z (sin y)))) 3) (cbrt (* z (sin y))) (* (cbrt (sin y)) (cbrt (* z (sin y)))) (pow (cbrt (cbrt (* z (sin y)))) 4) (pow (sqrt (cbrt (* z (sin y)))) 3) (pow (sqrt (cbrt (* z (sin y)))) 4) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log z) (log y))))) (cbrt (exp (+ (log z) (log (sin y))))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 z))))) (cbrt -1)) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log z) (log y))))) (cbrt (exp (+ (log z) (log (sin y))))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 z))))) (cbrt -1)) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log z) (log y))))) (cbrt (exp (+ (log z) (log (sin y))))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 z))))) (cbrt -1)) (fma -1/9 (* y (* y (* (pow y 2/3) (pow z 2/3)))) (* (pow y 2/3) (pow z 2/3))) (* (exp (* 2/3 (log (sin y)))) (pow z 2/3)) (* (pow (cbrt -1) 2) (cbrt (exp (* 2 (- (log (sin y)) (log (/ -1 z))))))) 3.718 * * * [progress]: adding candidates to table 3.971 * * [progress]: iteration 3 / 4 3.971 * * * [progress]: picking best candidate 3.984 * * * * [pick]: Picked # 3.984 * * * [progress]: localizing error 4.001 * * * [progress]: generating rewritten candidates 4.001 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.003 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 4.004 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 4.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 4.006 * * * [progress]: generating series expansions 4.006 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.006 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 4.006 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 4.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 4.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 4.006 * [taylor]: Taking taylor expansion of 1/3 in y 4.006 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 4.006 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 4.006 * [taylor]: Taking taylor expansion of (sin y) in y 4.006 * [taylor]: Taking taylor expansion of y in y 4.006 * [taylor]: Taking taylor expansion of z in y 4.007 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 4.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 4.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 4.008 * [taylor]: Taking taylor expansion of 1/3 in z 4.008 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 4.008 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 4.008 * [taylor]: Taking taylor expansion of (sin y) in z 4.008 * [taylor]: Taking taylor expansion of y in z 4.008 * [taylor]: Taking taylor expansion of z in z 4.010 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 4.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 4.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 4.010 * [taylor]: Taking taylor expansion of 1/3 in z 4.010 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 4.010 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 4.010 * [taylor]: Taking taylor expansion of (sin y) in z 4.010 * [taylor]: Taking taylor expansion of y in z 4.010 * [taylor]: Taking taylor expansion of z in z 4.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 4.012 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 4.012 * [taylor]: Taking taylor expansion of 1/3 in y 4.012 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 4.012 * [taylor]: Taking taylor expansion of (log z) in y 4.012 * [taylor]: Taking taylor expansion of z in y 4.012 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.012 * [taylor]: Taking taylor expansion of (sin y) in y 4.012 * [taylor]: Taking taylor expansion of y in y 4.018 * [taylor]: Taking taylor expansion of 0 in y 4.029 * [taylor]: Taking taylor expansion of 0 in y 4.042 * [taylor]: Taking taylor expansion of 0 in y 4.058 * [taylor]: Taking taylor expansion of 0 in y 4.059 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 4.059 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 4.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 4.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 4.059 * [taylor]: Taking taylor expansion of 1/3 in y 4.059 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 4.059 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 4.059 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.059 * [taylor]: Taking taylor expansion of y in y 4.059 * [taylor]: Taking taylor expansion of z in y 4.059 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 4.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 4.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 4.060 * [taylor]: Taking taylor expansion of 1/3 in z 4.060 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 4.060 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 4.060 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.060 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.060 * [taylor]: Taking taylor expansion of y in z 4.060 * [taylor]: Taking taylor expansion of z in z 4.060 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 4.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 4.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 4.060 * [taylor]: Taking taylor expansion of 1/3 in z 4.060 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 4.060 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 4.060 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.060 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.060 * [taylor]: Taking taylor expansion of y in z 4.061 * [taylor]: Taking taylor expansion of z in z 4.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 4.061 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 4.061 * [taylor]: Taking taylor expansion of 1/3 in y 4.061 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 4.061 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.061 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.061 * [taylor]: Taking taylor expansion of y in y 4.062 * [taylor]: Taking taylor expansion of (log z) in y 4.062 * [taylor]: Taking taylor expansion of z in y 4.066 * [taylor]: Taking taylor expansion of 0 in y 4.073 * [taylor]: Taking taylor expansion of 0 in y 4.084 * [taylor]: Taking taylor expansion of 0 in y 4.085 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 4.085 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 4.085 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.085 * [taylor]: Taking taylor expansion of -1 in y 4.086 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 4.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 4.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 4.086 * [taylor]: Taking taylor expansion of 1/3 in y 4.086 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 4.086 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 4.086 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.086 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.086 * [taylor]: Taking taylor expansion of -1 in y 4.086 * [taylor]: Taking taylor expansion of y in y 4.086 * [taylor]: Taking taylor expansion of z in y 4.086 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 4.086 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.086 * [taylor]: Taking taylor expansion of -1 in z 4.087 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 4.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 4.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 4.087 * [taylor]: Taking taylor expansion of 1/3 in z 4.087 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 4.087 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 4.087 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.087 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.087 * [taylor]: Taking taylor expansion of -1 in z 4.087 * [taylor]: Taking taylor expansion of y in z 4.087 * [taylor]: Taking taylor expansion of z in z 4.088 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 4.088 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.088 * [taylor]: Taking taylor expansion of -1 in z 4.089 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 4.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 4.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 4.089 * [taylor]: Taking taylor expansion of 1/3 in z 4.089 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 4.089 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 4.089 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.089 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.089 * [taylor]: Taking taylor expansion of -1 in z 4.089 * [taylor]: Taking taylor expansion of y in z 4.089 * [taylor]: Taking taylor expansion of z in z 4.090 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 4.090 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.090 * [taylor]: Taking taylor expansion of -1 in y 4.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 4.091 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 4.091 * [taylor]: Taking taylor expansion of 1/3 in y 4.091 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 4.091 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.091 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.091 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.091 * [taylor]: Taking taylor expansion of -1 in y 4.091 * [taylor]: Taking taylor expansion of y in y 4.091 * [taylor]: Taking taylor expansion of (log z) in y 4.091 * [taylor]: Taking taylor expansion of z in y 4.097 * [taylor]: Taking taylor expansion of 0 in y 4.106 * [taylor]: Taking taylor expansion of 0 in y 4.125 * [taylor]: Taking taylor expansion of 0 in y 4.126 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 4.126 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 4.126 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 4.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 4.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 4.126 * [taylor]: Taking taylor expansion of 1/3 in y 4.126 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 4.126 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 4.126 * [taylor]: Taking taylor expansion of (sin y) in y 4.126 * [taylor]: Taking taylor expansion of y in y 4.126 * [taylor]: Taking taylor expansion of z in y 4.127 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 4.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 4.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 4.127 * [taylor]: Taking taylor expansion of 1/3 in z 4.127 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 4.127 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 4.127 * [taylor]: Taking taylor expansion of (sin y) in z 4.127 * [taylor]: Taking taylor expansion of y in z 4.127 * [taylor]: Taking taylor expansion of z in z 4.129 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 4.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 4.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 4.129 * [taylor]: Taking taylor expansion of 1/3 in z 4.129 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 4.129 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 4.129 * [taylor]: Taking taylor expansion of (sin y) in z 4.130 * [taylor]: Taking taylor expansion of y in z 4.130 * [taylor]: Taking taylor expansion of z in z 4.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 4.132 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 4.132 * [taylor]: Taking taylor expansion of 1/3 in y 4.132 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 4.132 * [taylor]: Taking taylor expansion of (log z) in y 4.132 * [taylor]: Taking taylor expansion of z in y 4.132 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.132 * [taylor]: Taking taylor expansion of (sin y) in y 4.132 * [taylor]: Taking taylor expansion of y in y 4.137 * [taylor]: Taking taylor expansion of 0 in y 4.145 * [taylor]: Taking taylor expansion of 0 in y 4.157 * [taylor]: Taking taylor expansion of 0 in y 4.174 * [taylor]: Taking taylor expansion of 0 in y 4.175 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 4.175 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 4.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 4.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 4.175 * [taylor]: Taking taylor expansion of 1/3 in y 4.175 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 4.175 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 4.175 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.175 * [taylor]: Taking taylor expansion of y in y 4.175 * [taylor]: Taking taylor expansion of z in y 4.175 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 4.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 4.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 4.176 * [taylor]: Taking taylor expansion of 1/3 in z 4.176 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 4.176 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 4.176 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.176 * [taylor]: Taking taylor expansion of y in z 4.176 * [taylor]: Taking taylor expansion of z in z 4.176 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 4.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 4.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 4.176 * [taylor]: Taking taylor expansion of 1/3 in z 4.176 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 4.176 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 4.177 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.177 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.177 * [taylor]: Taking taylor expansion of y in z 4.177 * [taylor]: Taking taylor expansion of z in z 4.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 4.177 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 4.177 * [taylor]: Taking taylor expansion of 1/3 in y 4.177 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 4.177 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.177 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.177 * [taylor]: Taking taylor expansion of y in y 4.178 * [taylor]: Taking taylor expansion of (log z) in y 4.178 * [taylor]: Taking taylor expansion of z in y 4.182 * [taylor]: Taking taylor expansion of 0 in y 4.190 * [taylor]: Taking taylor expansion of 0 in y 4.206 * [taylor]: Taking taylor expansion of 0 in y 4.207 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 4.207 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 4.207 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.207 * [taylor]: Taking taylor expansion of -1 in y 4.208 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 4.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 4.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 4.208 * [taylor]: Taking taylor expansion of 1/3 in y 4.208 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 4.208 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 4.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.208 * [taylor]: Taking taylor expansion of -1 in y 4.208 * [taylor]: Taking taylor expansion of y in y 4.208 * [taylor]: Taking taylor expansion of z in y 4.208 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 4.209 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.209 * [taylor]: Taking taylor expansion of -1 in z 4.209 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 4.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 4.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 4.209 * [taylor]: Taking taylor expansion of 1/3 in z 4.209 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 4.209 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 4.209 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.209 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.209 * [taylor]: Taking taylor expansion of -1 in z 4.209 * [taylor]: Taking taylor expansion of y in z 4.209 * [taylor]: Taking taylor expansion of z in z 4.210 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 4.210 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.210 * [taylor]: Taking taylor expansion of -1 in z 4.211 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 4.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 4.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 4.211 * [taylor]: Taking taylor expansion of 1/3 in z 4.211 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 4.211 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 4.211 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.211 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.211 * [taylor]: Taking taylor expansion of -1 in z 4.211 * [taylor]: Taking taylor expansion of y in z 4.211 * [taylor]: Taking taylor expansion of z in z 4.212 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 4.212 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.212 * [taylor]: Taking taylor expansion of -1 in y 4.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 4.213 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 4.213 * [taylor]: Taking taylor expansion of 1/3 in y 4.213 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 4.213 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.213 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.213 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.213 * [taylor]: Taking taylor expansion of -1 in y 4.213 * [taylor]: Taking taylor expansion of y in y 4.213 * [taylor]: Taking taylor expansion of (log z) in y 4.214 * [taylor]: Taking taylor expansion of z in y 4.219 * [taylor]: Taking taylor expansion of 0 in y 4.228 * [taylor]: Taking taylor expansion of 0 in y 4.242 * [taylor]: Taking taylor expansion of 0 in y 4.243 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 4.243 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 4.243 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.243 * [taylor]: Taking taylor expansion of 1/3 in y 4.243 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.243 * [taylor]: Taking taylor expansion of (sin y) in y 4.243 * [taylor]: Taking taylor expansion of y in y 4.244 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.244 * [taylor]: Taking taylor expansion of 1/3 in y 4.244 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.244 * [taylor]: Taking taylor expansion of (sin y) in y 4.244 * [taylor]: Taking taylor expansion of y in y 4.268 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 4.268 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.268 * [taylor]: Taking taylor expansion of 1/3 in y 4.268 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.268 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.268 * [taylor]: Taking taylor expansion of y in y 4.269 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.269 * [taylor]: Taking taylor expansion of 1/3 in y 4.269 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.269 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.269 * [taylor]: Taking taylor expansion of y in y 4.306 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 4.306 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.306 * [taylor]: Taking taylor expansion of 1/3 in y 4.306 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.306 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.306 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.306 * [taylor]: Taking taylor expansion of -1 in y 4.306 * [taylor]: Taking taylor expansion of y in y 4.307 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.307 * [taylor]: Taking taylor expansion of 1/3 in y 4.307 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.307 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.307 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.307 * [taylor]: Taking taylor expansion of -1 in y 4.307 * [taylor]: Taking taylor expansion of y in y 4.338 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 4.339 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 4.339 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 4.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 4.339 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 4.339 * [taylor]: Taking taylor expansion of 1/3 in z 4.339 * [taylor]: Taking taylor expansion of (log z) in z 4.339 * [taylor]: Taking taylor expansion of z in z 4.339 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 4.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 4.339 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 4.339 * [taylor]: Taking taylor expansion of 1/3 in z 4.339 * [taylor]: Taking taylor expansion of (log z) in z 4.339 * [taylor]: Taking taylor expansion of z in z 4.392 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 4.392 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.392 * [taylor]: Taking taylor expansion of 1/3 in z 4.392 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.392 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.392 * [taylor]: Taking taylor expansion of z in z 4.393 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.393 * [taylor]: Taking taylor expansion of 1/3 in z 4.393 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.393 * [taylor]: Taking taylor expansion of z in z 4.449 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 4.449 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 4.449 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.449 * [taylor]: Taking taylor expansion of -1 in z 4.451 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.451 * [taylor]: Taking taylor expansion of 1/3 in z 4.451 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.451 * [taylor]: Taking taylor expansion of z in z 4.451 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 4.451 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.452 * [taylor]: Taking taylor expansion of -1 in z 4.452 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 4.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 4.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 4.452 * [taylor]: Taking taylor expansion of 1/3 in z 4.452 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.452 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.452 * [taylor]: Taking taylor expansion of z in z 4.520 * * * [progress]: simplifying candidates 4.521 * [simplify]: Simplifying using # : (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 4.523 * * [simplify]: iteration 0 : 87 enodes (cost 421 ) 4.536 * * [simplify]: iteration 1 : 168 enodes (cost 408 ) 4.563 * * [simplify]: iteration 2 : 362 enodes (cost 371 ) 4.651 * * [simplify]: iteration 3 : 1151 enodes (cost 335 ) 5.073 * * [simplify]: iteration 4 : 4647 enodes (cost 318 ) 6.491 * * [simplify]: iteration done : 5000 enodes (cost 318 ) 6.491 * [simplify]: Simplified to: (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* (fma (pow y 2) -1/18 1) (cbrt (* z y))) (cbrt (* z (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z)))) (* (fma (pow y 2) -1/18 1) (cbrt (* z y))) (cbrt (* z (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z)))) (fma (cbrt (pow y 13)) -1/3240 (fma -1/18 (cbrt (pow y 7)) (cbrt y))) (cbrt (sin y)) (cbrt (sin y)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) 6.491 * * * [progress]: adding candidates to table 6.711 * * [progress]: iteration 4 / 4 6.711 * * * [progress]: picking best candidate 6.721 * * * * [pick]: Picked # 6.721 * * * [progress]: localizing error 6.738 * * * [progress]: generating rewritten candidates 6.738 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.740 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2) 6.740 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 6.741 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1) 6.742 * * * [progress]: generating series expansions 6.742 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.743 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 6.743 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 6.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 6.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 6.743 * [taylor]: Taking taylor expansion of 1/3 in y 6.743 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 6.743 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 6.743 * [taylor]: Taking taylor expansion of (sin y) in y 6.743 * [taylor]: Taking taylor expansion of y in y 6.743 * [taylor]: Taking taylor expansion of z in y 6.744 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 6.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 6.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 6.744 * [taylor]: Taking taylor expansion of 1/3 in z 6.744 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 6.744 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 6.744 * [taylor]: Taking taylor expansion of (sin y) in z 6.744 * [taylor]: Taking taylor expansion of y in z 6.744 * [taylor]: Taking taylor expansion of z in z 6.746 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 6.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 6.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 6.746 * [taylor]: Taking taylor expansion of 1/3 in z 6.746 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 6.746 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 6.746 * [taylor]: Taking taylor expansion of (sin y) in z 6.746 * [taylor]: Taking taylor expansion of y in z 6.746 * [taylor]: Taking taylor expansion of z in z 6.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 6.752 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 6.752 * [taylor]: Taking taylor expansion of 1/3 in y 6.752 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 6.752 * [taylor]: Taking taylor expansion of (log z) in y 6.752 * [taylor]: Taking taylor expansion of z in y 6.752 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.752 * [taylor]: Taking taylor expansion of (sin y) in y 6.752 * [taylor]: Taking taylor expansion of y in y 6.758 * [taylor]: Taking taylor expansion of 0 in y 6.767 * [taylor]: Taking taylor expansion of 0 in y 6.779 * [taylor]: Taking taylor expansion of 0 in y 6.795 * [taylor]: Taking taylor expansion of 0 in y 6.796 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 6.796 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 6.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 6.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 6.796 * [taylor]: Taking taylor expansion of 1/3 in y 6.796 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 6.796 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 6.796 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.796 * [taylor]: Taking taylor expansion of y in y 6.796 * [taylor]: Taking taylor expansion of z in y 6.796 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 6.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 6.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 6.796 * [taylor]: Taking taylor expansion of 1/3 in z 6.796 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 6.796 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 6.796 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 6.796 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.797 * [taylor]: Taking taylor expansion of y in z 6.797 * [taylor]: Taking taylor expansion of z in z 6.797 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 6.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 6.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 6.797 * [taylor]: Taking taylor expansion of 1/3 in z 6.797 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 6.797 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 6.797 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 6.797 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.797 * [taylor]: Taking taylor expansion of y in z 6.797 * [taylor]: Taking taylor expansion of z in z 6.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 6.798 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 6.798 * [taylor]: Taking taylor expansion of 1/3 in y 6.798 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 6.798 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.798 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.798 * [taylor]: Taking taylor expansion of y in y 6.799 * [taylor]: Taking taylor expansion of (log z) in y 6.799 * [taylor]: Taking taylor expansion of z in y 6.803 * [taylor]: Taking taylor expansion of 0 in y 6.811 * [taylor]: Taking taylor expansion of 0 in y 6.822 * [taylor]: Taking taylor expansion of 0 in y 6.822 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 6.822 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 6.822 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.822 * [taylor]: Taking taylor expansion of -1 in y 6.823 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 6.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 6.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 6.823 * [taylor]: Taking taylor expansion of 1/3 in y 6.823 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 6.823 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 6.823 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.823 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.823 * [taylor]: Taking taylor expansion of -1 in y 6.823 * [taylor]: Taking taylor expansion of y in y 6.824 * [taylor]: Taking taylor expansion of z in y 6.824 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 6.824 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.824 * [taylor]: Taking taylor expansion of -1 in z 6.825 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 6.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 6.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 6.825 * [taylor]: Taking taylor expansion of 1/3 in z 6.825 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 6.825 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 6.825 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 6.825 * [taylor]: Taking taylor expansion of (/ -1 y) in z 6.825 * [taylor]: Taking taylor expansion of -1 in z 6.825 * [taylor]: Taking taylor expansion of y in z 6.825 * [taylor]: Taking taylor expansion of z in z 6.826 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 6.826 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.826 * [taylor]: Taking taylor expansion of -1 in z 6.826 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 6.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 6.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 6.827 * [taylor]: Taking taylor expansion of 1/3 in z 6.827 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 6.827 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 6.827 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 6.827 * [taylor]: Taking taylor expansion of (/ -1 y) in z 6.827 * [taylor]: Taking taylor expansion of -1 in z 6.827 * [taylor]: Taking taylor expansion of y in z 6.827 * [taylor]: Taking taylor expansion of z in z 6.828 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 6.828 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.828 * [taylor]: Taking taylor expansion of -1 in y 6.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 6.829 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 6.829 * [taylor]: Taking taylor expansion of 1/3 in y 6.829 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 6.829 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.829 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.829 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.829 * [taylor]: Taking taylor expansion of -1 in y 6.829 * [taylor]: Taking taylor expansion of y in y 6.829 * [taylor]: Taking taylor expansion of (log z) in y 6.829 * [taylor]: Taking taylor expansion of z in y 6.840 * [taylor]: Taking taylor expansion of 0 in y 6.849 * [taylor]: Taking taylor expansion of 0 in y 6.863 * [taylor]: Taking taylor expansion of 0 in y 6.864 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2) 6.864 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.864 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.864 * [taylor]: Taking taylor expansion of 1/3 in y 6.864 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.864 * [taylor]: Taking taylor expansion of (sin y) in y 6.864 * [taylor]: Taking taylor expansion of y in y 6.865 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.865 * [taylor]: Taking taylor expansion of 1/3 in y 6.865 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.865 * [taylor]: Taking taylor expansion of (sin y) in y 6.865 * [taylor]: Taking taylor expansion of y in y 6.889 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.889 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.889 * [taylor]: Taking taylor expansion of 1/3 in y 6.889 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.889 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.889 * [taylor]: Taking taylor expansion of y in y 6.890 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.890 * [taylor]: Taking taylor expansion of 1/3 in y 6.890 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.890 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.890 * [taylor]: Taking taylor expansion of y in y 6.928 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.928 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.928 * [taylor]: Taking taylor expansion of 1/3 in y 6.928 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.928 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.928 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.928 * [taylor]: Taking taylor expansion of -1 in y 6.928 * [taylor]: Taking taylor expansion of y in y 6.929 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.929 * [taylor]: Taking taylor expansion of 1/3 in y 6.929 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.929 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.929 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.929 * [taylor]: Taking taylor expansion of -1 in y 6.929 * [taylor]: Taking taylor expansion of y in y 6.960 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 6.960 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.960 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.960 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.960 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.960 * [taylor]: Taking taylor expansion of 1/3 in y 6.960 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.960 * [taylor]: Taking taylor expansion of (sin y) in y 6.960 * [taylor]: Taking taylor expansion of y in y 6.961 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.961 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.961 * [taylor]: Taking taylor expansion of 1/3 in y 6.961 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.961 * [taylor]: Taking taylor expansion of (sin y) in y 6.961 * [taylor]: Taking taylor expansion of y in y 6.985 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.985 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.985 * [taylor]: Taking taylor expansion of 1/3 in y 6.985 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.985 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.985 * [taylor]: Taking taylor expansion of y in y 6.985 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.985 * [taylor]: Taking taylor expansion of 1/3 in y 6.985 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.985 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.985 * [taylor]: Taking taylor expansion of y in y 7.024 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 7.024 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 7.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 7.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 7.024 * [taylor]: Taking taylor expansion of 1/3 in y 7.024 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.024 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.024 * [taylor]: Taking taylor expansion of -1 in y 7.024 * [taylor]: Taking taylor expansion of y in y 7.024 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 7.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 7.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 7.024 * [taylor]: Taking taylor expansion of 1/3 in y 7.024 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.024 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.024 * [taylor]: Taking taylor expansion of -1 in y 7.024 * [taylor]: Taking taylor expansion of y in y 7.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1) 7.057 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 7.057 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.057 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.057 * [taylor]: Taking taylor expansion of 1/3 in z 7.057 * [taylor]: Taking taylor expansion of (log z) in z 7.057 * [taylor]: Taking taylor expansion of z in z 7.058 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 7.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 7.058 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 7.058 * [taylor]: Taking taylor expansion of 1/3 in z 7.058 * [taylor]: Taking taylor expansion of (log z) in z 7.058 * [taylor]: Taking taylor expansion of z in z 7.111 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 7.111 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.111 * [taylor]: Taking taylor expansion of 1/3 in z 7.111 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.111 * [taylor]: Taking taylor expansion of z in z 7.112 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.112 * [taylor]: Taking taylor expansion of 1/3 in z 7.112 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.112 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.112 * [taylor]: Taking taylor expansion of z in z 7.169 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 7.169 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.169 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.169 * [taylor]: Taking taylor expansion of -1 in z 7.170 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.170 * [taylor]: Taking taylor expansion of 1/3 in z 7.170 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.170 * [taylor]: Taking taylor expansion of z in z 7.170 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 7.170 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.170 * [taylor]: Taking taylor expansion of -1 in z 7.171 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 7.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 7.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 7.171 * [taylor]: Taking taylor expansion of 1/3 in z 7.171 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 7.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.171 * [taylor]: Taking taylor expansion of z in z 7.238 * * * [progress]: simplifying candidates 7.239 * [simplify]: Simplifying using # : (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 7.241 * * [simplify]: iteration 0 : 87 enodes (cost 396 ) 7.254 * * [simplify]: iteration 1 : 168 enodes (cost 377 ) 7.281 * * [simplify]: iteration 2 : 362 enodes (cost 342 ) 7.368 * * [simplify]: iteration 3 : 1151 enodes (cost 318 ) 7.794 * * [simplify]: iteration 4 : 4647 enodes (cost 308 ) 9.398 * * [simplify]: iteration done : 5000 enodes (cost 308 ) 9.398 * [simplify]: Simplified to: (expm1 (cbrt (* z (sin y)))) (log1p (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* (fma (pow y 2) -1/18 1) (cbrt (* z y))) (cbrt (* z (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z)))) (fma (cbrt (pow y 13)) -1/3240 (fma -1/18 (cbrt (pow y 7)) (cbrt y))) (cbrt (sin y)) (cbrt (sin y)) (fma (cbrt (pow y 13)) -1/3240 (fma -1/18 (cbrt (pow y 7)) (cbrt y))) (cbrt (sin y)) (cbrt (sin y)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) 9.399 * * * [progress]: adding candidates to table 9.617 * [progress]: [Phase 3 of 3] Extracting. 9.617 * * [regime]: Finding splitpoints for: (# # # # # # #) 9.620 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 9.620 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 9.650 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 9.682 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 9.711 * * * [regime]: Found split indices: #