18.467 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.117 * * * [progress]: [2/2] Setting up program. 0.122 * [progress]: [Phase 2 of 3] Improving. 0.122 * [simplify]: Simplifying using # : (- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) 0.124 * * [simplify]: iteration 0 : 20 enodes (cost 7 ) 0.125 * * [simplify]: iteration 1 : 33 enodes (cost 7 ) 0.126 * * [simplify]: iteration 2 : 49 enodes (cost 7 ) 0.128 * * [simplify]: iteration 3 : 71 enodes (cost 7 ) 0.129 * * [simplify]: iteration 4 : 93 enodes (cost 7 ) 0.131 * * [simplify]: iteration 5 : 180 enodes (cost 7 ) 0.132 * * [simplify]: iteration 6 : 232 enodes (cost 7 ) 0.135 * * [simplify]: iteration 7 : 411 enodes (cost 7 ) 0.139 * * [simplify]: iteration 8 : 628 enodes (cost 7 ) 0.145 * * [simplify]: iteration 9 : 935 enodes (cost 7 ) 0.150 * * [simplify]: iteration 10 : 1028 enodes (cost 7 ) 0.158 * * [simplify]: iteration 11 : 1354 enodes (cost 7 ) 0.181 * * [simplify]: iteration 12 : 3968 enodes (cost 7 ) 0.355 * * [simplify]: iteration 13 : 5002 enodes (cost 7 ) 0.356 * [simplify]: Simplified to: (- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) 0.357 * * [progress]: iteration 1 / 4 0.357 * * * [progress]: picking best candidate 0.365 * * * * [pick]: Picked # 0.365 * * * [progress]: localizing error 0.381 * * * [progress]: generating rewritten candidates 0.381 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.386 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.392 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.399 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2) 0.406 * * * [progress]: generating series expansions 0.406 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.406 * [approximate]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in (y z) around 0 0.406 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 0.406 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 0.406 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 0.406 * [taylor]: Taking taylor expansion of y in z 0.406 * [taylor]: Taking taylor expansion of (exp z) in z 0.406 * [taylor]: Taking taylor expansion of z in z 0.406 * [taylor]: Taking taylor expansion of 1.0 in z 0.406 * [taylor]: Taking taylor expansion of y in z 0.406 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 0.406 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 0.406 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 0.406 * [taylor]: Taking taylor expansion of y in y 0.406 * [taylor]: Taking taylor expansion of (exp z) in y 0.406 * [taylor]: Taking taylor expansion of z in y 0.406 * [taylor]: Taking taylor expansion of 1.0 in y 0.406 * [taylor]: Taking taylor expansion of y in y 0.406 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 0.406 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 0.406 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 0.406 * [taylor]: Taking taylor expansion of y in y 0.406 * [taylor]: Taking taylor expansion of (exp z) in y 0.406 * [taylor]: Taking taylor expansion of z in y 0.406 * [taylor]: Taking taylor expansion of 1.0 in y 0.406 * [taylor]: Taking taylor expansion of y in y 0.407 * [taylor]: Taking taylor expansion of 1.0 in z 0.408 * [taylor]: Taking taylor expansion of (- (exp z) 1) in z 0.408 * [taylor]: Taking taylor expansion of (exp z) in z 0.408 * [taylor]: Taking taylor expansion of z in z 0.408 * [taylor]: Taking taylor expansion of 1 in z 0.411 * [taylor]: Taking taylor expansion of 0 in z 0.414 * [taylor]: Taking taylor expansion of 0 in z 0.416 * [approximate]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in (y z) around 0 0.416 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 0.416 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 0.416 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 0.416 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.416 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.416 * [taylor]: Taking taylor expansion of z in z 0.416 * [taylor]: Taking taylor expansion of y in z 0.416 * [taylor]: Taking taylor expansion of 1.0 in z 0.416 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.416 * [taylor]: Taking taylor expansion of y in z 0.417 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 0.417 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 0.417 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.417 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.417 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.417 * [taylor]: Taking taylor expansion of z in y 0.417 * [taylor]: Taking taylor expansion of y in y 0.417 * [taylor]: Taking taylor expansion of 1.0 in y 0.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.417 * [taylor]: Taking taylor expansion of y in y 0.417 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 0.417 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 0.417 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.417 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.417 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.417 * [taylor]: Taking taylor expansion of z in y 0.417 * [taylor]: Taking taylor expansion of y in y 0.417 * [taylor]: Taking taylor expansion of 1.0 in y 0.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.417 * [taylor]: Taking taylor expansion of y in y 0.418 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.418 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.418 * [taylor]: Taking taylor expansion of z in z 0.418 * [taylor]: Taking taylor expansion of 1 in z 0.421 * [taylor]: Taking taylor expansion of 1.0 in z 0.424 * [taylor]: Taking taylor expansion of 0 in z 0.431 * [taylor]: Taking taylor expansion of 0 in z 0.431 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in (y z) around 0 0.431 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in z 0.431 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 0.431 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.431 * [taylor]: Taking taylor expansion of y in z 0.431 * [taylor]: Taking taylor expansion of 1.0 in z 0.431 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z 0.431 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.431 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.431 * [taylor]: Taking taylor expansion of -1 in z 0.431 * [taylor]: Taking taylor expansion of z in z 0.432 * [taylor]: Taking taylor expansion of y in z 0.432 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.432 * [taylor]: Taking taylor expansion of y in y 0.432 * [taylor]: Taking taylor expansion of 1.0 in y 0.432 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.432 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.432 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.432 * [taylor]: Taking taylor expansion of -1 in y 0.432 * [taylor]: Taking taylor expansion of z in y 0.432 * [taylor]: Taking taylor expansion of y in y 0.432 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.432 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of 1.0 in y 0.433 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.433 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.433 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.433 * [taylor]: Taking taylor expansion of -1 in y 0.433 * [taylor]: Taking taylor expansion of z in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.433 * [taylor]: Taking taylor expansion of 1 in z 0.433 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.433 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.433 * [taylor]: Taking taylor expansion of -1 in z 0.433 * [taylor]: Taking taylor expansion of z in z 0.436 * [taylor]: Taking taylor expansion of 1.0 in z 0.439 * [taylor]: Taking taylor expansion of 0 in z 0.443 * [taylor]: Taking taylor expansion of 0 in z 0.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.443 * [approximate]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in (y z) around 0 0.443 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z 0.443 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 0.443 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 0.443 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 0.443 * [taylor]: Taking taylor expansion of y in z 0.443 * [taylor]: Taking taylor expansion of (exp z) in z 0.443 * [taylor]: Taking taylor expansion of z in z 0.443 * [taylor]: Taking taylor expansion of 1.0 in z 0.443 * [taylor]: Taking taylor expansion of y in z 0.444 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 0.444 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 0.444 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 0.444 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.444 * [taylor]: Taking taylor expansion of (exp z) in y 0.444 * [taylor]: Taking taylor expansion of z in y 0.444 * [taylor]: Taking taylor expansion of 1.0 in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.445 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 0.445 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 0.445 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 0.445 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 0.445 * [taylor]: Taking taylor expansion of y in y 0.445 * [taylor]: Taking taylor expansion of (exp z) in y 0.445 * [taylor]: Taking taylor expansion of z in y 0.445 * [taylor]: Taking taylor expansion of 1.0 in y 0.445 * [taylor]: Taking taylor expansion of y in y 0.446 * [taylor]: Taking taylor expansion of (log 1.0) in z 0.446 * [taylor]: Taking taylor expansion of 1.0 in z 0.448 * [taylor]: Taking taylor expansion of (- (* 1.0 (exp z)) 1.0) in z 0.448 * [taylor]: Taking taylor expansion of (* 1.0 (exp z)) in z 0.448 * [taylor]: Taking taylor expansion of 1.0 in z 0.448 * [taylor]: Taking taylor expansion of (exp z) in z 0.448 * [taylor]: Taking taylor expansion of z in z 0.448 * [taylor]: Taking taylor expansion of 1.0 in z 0.453 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))))) in z 0.453 * [taylor]: Taking taylor expansion of 1/2 in z 0.453 * [taylor]: Taking taylor expansion of (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2)))) in z 0.453 * [taylor]: Taking taylor expansion of (* 2 (/ (exp z) (pow 1.0 2))) in z 0.453 * [taylor]: Taking taylor expansion of 2 in z 0.453 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 2)) in z 0.453 * [taylor]: Taking taylor expansion of (exp z) in z 0.453 * [taylor]: Taking taylor expansion of z in z 0.453 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 0.453 * [taylor]: Taking taylor expansion of 1.0 in z 0.454 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))) in z 0.454 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 2)) in z 0.454 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 0.454 * [taylor]: Taking taylor expansion of 1.0 in z 0.455 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 2)) in z 0.455 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 0.455 * [taylor]: Taking taylor expansion of (exp z) in z 0.455 * [taylor]: Taking taylor expansion of z in z 0.455 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 0.455 * [taylor]: Taking taylor expansion of 1.0 in z 0.465 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))))) in z 0.465 * [taylor]: Taking taylor expansion of 1/6 in z 0.466 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3))))) in z 0.466 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) in z 0.466 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) in z 0.466 * [taylor]: Taking taylor expansion of 2 in z 0.466 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (pow 1.0 3)) in z 0.466 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z 0.466 * [taylor]: Taking taylor expansion of (exp z) in z 0.466 * [taylor]: Taking taylor expansion of z in z 0.466 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.466 * [taylor]: Taking taylor expansion of 1.0 in z 0.467 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0) in z 0.467 * [taylor]: Taking taylor expansion of (* 6 (/ (exp z) (pow 1.0 3))) in z 0.467 * [taylor]: Taking taylor expansion of 6 in z 0.467 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 3)) in z 0.467 * [taylor]: Taking taylor expansion of (exp z) in z 0.467 * [taylor]: Taking taylor expansion of z in z 0.467 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.467 * [taylor]: Taking taylor expansion of 1.0 in z 0.468 * [taylor]: Taking taylor expansion of 1.0 in z 0.468 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))) in z 0.468 * [taylor]: Taking taylor expansion of (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) in z 0.468 * [taylor]: Taking taylor expansion of 6 in z 0.468 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 3)) in z 0.468 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 0.468 * [taylor]: Taking taylor expansion of (exp z) in z 0.468 * [taylor]: Taking taylor expansion of z in z 0.468 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.468 * [taylor]: Taking taylor expansion of 1.0 in z 0.469 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow 1.0 3))) in z 0.469 * [taylor]: Taking taylor expansion of 2 in z 0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 3)) in z 0.469 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.469 * [taylor]: Taking taylor expansion of 1.0 in z 0.473 * [approximate]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in (y z) around 0 0.473 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z 0.473 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 0.473 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 0.473 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 0.473 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.473 * [taylor]: Taking taylor expansion of z in z 0.474 * [taylor]: Taking taylor expansion of y in z 0.474 * [taylor]: Taking taylor expansion of 1.0 in z 0.474 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.474 * [taylor]: Taking taylor expansion of y in z 0.474 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 0.474 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 0.474 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 0.474 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.474 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.474 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.474 * [taylor]: Taking taylor expansion of z in y 0.474 * [taylor]: Taking taylor expansion of y in y 0.474 * [taylor]: Taking taylor expansion of 1.0 in y 0.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.474 * [taylor]: Taking taylor expansion of y in y 0.475 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 0.475 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 0.475 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 0.475 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.475 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.475 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.475 * [taylor]: Taking taylor expansion of z in y 0.475 * [taylor]: Taking taylor expansion of y in y 0.475 * [taylor]: Taking taylor expansion of 1.0 in y 0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.475 * [taylor]: Taking taylor expansion of y in y 0.476 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z 0.476 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z 0.476 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.476 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.476 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.476 * [taylor]: Taking taylor expansion of z in z 0.476 * [taylor]: Taking taylor expansion of 1 in z 0.477 * [taylor]: Taking taylor expansion of (log y) in z 0.477 * [taylor]: Taking taylor expansion of y in z 0.480 * [taylor]: Taking taylor expansion of (/ 1.0 (- (exp (/ 1 z)) 1)) in z 0.480 * [taylor]: Taking taylor expansion of 1.0 in z 0.480 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.480 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.480 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.480 * [taylor]: Taking taylor expansion of z in z 0.481 * [taylor]: Taking taylor expansion of 1 in z 0.488 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- (exp (/ 1 z)) 1) 2)) in z 0.488 * [taylor]: Taking taylor expansion of -0.5 in z 0.488 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z 0.488 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.488 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.488 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.488 * [taylor]: Taking taylor expansion of z in z 0.488 * [taylor]: Taking taylor expansion of 1 in z 0.489 * [approximate]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in (y z) around 0 0.489 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in z 0.489 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in z 0.489 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.489 * [taylor]: Taking taylor expansion of y in z 0.489 * [taylor]: Taking taylor expansion of 1.0 in z 0.489 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z 0.489 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.489 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.489 * [taylor]: Taking taylor expansion of -1 in z 0.489 * [taylor]: Taking taylor expansion of z in z 0.490 * [taylor]: Taking taylor expansion of y in z 0.490 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y 0.490 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y 0.490 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.490 * [taylor]: Taking taylor expansion of y in y 0.490 * [taylor]: Taking taylor expansion of 1.0 in y 0.490 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.490 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.490 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.490 * [taylor]: Taking taylor expansion of -1 in y 0.490 * [taylor]: Taking taylor expansion of z in y 0.490 * [taylor]: Taking taylor expansion of y in y 0.491 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y 0.491 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y 0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.491 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.491 * [taylor]: Taking taylor expansion of y in y 0.491 * [taylor]: Taking taylor expansion of 1.0 in y 0.491 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.491 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.491 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.491 * [taylor]: Taking taylor expansion of -1 in y 0.491 * [taylor]: Taking taylor expansion of z in y 0.491 * [taylor]: Taking taylor expansion of y in y 0.492 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z 0.492 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z 0.492 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.492 * [taylor]: Taking taylor expansion of 1 in z 0.492 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.492 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.492 * [taylor]: Taking taylor expansion of -1 in z 0.492 * [taylor]: Taking taylor expansion of z in z 0.493 * [taylor]: Taking taylor expansion of (log y) in z 0.493 * [taylor]: Taking taylor expansion of y in z 0.496 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1 (exp (/ -1 z)))) in z 0.496 * [taylor]: Taking taylor expansion of 1.0 in z 0.496 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.496 * [taylor]: Taking taylor expansion of 1 in z 0.496 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.496 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.496 * [taylor]: Taking taylor expansion of -1 in z 0.496 * [taylor]: Taking taylor expansion of z in z 0.503 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- 1 (exp (/ -1 z))) 2)) in z 0.503 * [taylor]: Taking taylor expansion of -0.5 in z 0.503 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z 0.503 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.503 * [taylor]: Taking taylor expansion of 1 in z 0.503 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.503 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.503 * [taylor]: Taking taylor expansion of -1 in z 0.503 * [taylor]: Taking taylor expansion of z in z 0.504 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.505 * [approximate]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in (y z t) around 0 0.505 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in t 0.505 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in t 0.505 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in t 0.505 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in t 0.505 * [taylor]: Taking taylor expansion of (* y (exp z)) in t 0.505 * [taylor]: Taking taylor expansion of y in t 0.505 * [taylor]: Taking taylor expansion of (exp z) in t 0.505 * [taylor]: Taking taylor expansion of z in t 0.505 * [taylor]: Taking taylor expansion of 1.0 in t 0.505 * [taylor]: Taking taylor expansion of y in t 0.505 * [taylor]: Taking taylor expansion of t in t 0.505 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in z 0.505 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z 0.505 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 0.505 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 0.505 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 0.505 * [taylor]: Taking taylor expansion of y in z 0.505 * [taylor]: Taking taylor expansion of (exp z) in z 0.505 * [taylor]: Taking taylor expansion of z in z 0.505 * [taylor]: Taking taylor expansion of 1.0 in z 0.505 * [taylor]: Taking taylor expansion of y in z 0.506 * [taylor]: Taking taylor expansion of t in z 0.506 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in y 0.506 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 0.506 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 0.506 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 0.506 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 0.506 * [taylor]: Taking taylor expansion of y in y 0.506 * [taylor]: Taking taylor expansion of (exp z) in y 0.506 * [taylor]: Taking taylor expansion of z in y 0.506 * [taylor]: Taking taylor expansion of 1.0 in y 0.506 * [taylor]: Taking taylor expansion of y in y 0.507 * [taylor]: Taking taylor expansion of t in y 0.508 * [taylor]: Taking taylor expansion of (/ (log (- (+ (* y (exp z)) 1.0) y)) t) in y 0.508 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 0.508 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 0.508 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 0.508 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 0.508 * [taylor]: Taking taylor expansion of y in y 0.508 * [taylor]: Taking taylor expansion of (exp z) in y 0.508 * [taylor]: Taking taylor expansion of z in y 0.508 * [taylor]: Taking taylor expansion of 1.0 in y 0.508 * [taylor]: Taking taylor expansion of y in y 0.509 * [taylor]: Taking taylor expansion of t in y 0.509 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in z 0.509 * [taylor]: Taking taylor expansion of (log 1.0) in z 0.509 * [taylor]: Taking taylor expansion of 1.0 in z 0.509 * [taylor]: Taking taylor expansion of t in z 0.510 * [taylor]: Taking taylor expansion of (/ (log 1.0) t) in t 0.510 * [taylor]: Taking taylor expansion of (log 1.0) in t 0.510 * [taylor]: Taking taylor expansion of 1.0 in t 0.510 * [taylor]: Taking taylor expansion of t in t 0.513 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (exp z) t)) (* 1.0 (/ 1 t))) in z 0.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ (exp z) t)) in z 0.513 * [taylor]: Taking taylor expansion of 1.0 in z 0.513 * [taylor]: Taking taylor expansion of (/ (exp z) t) in z 0.513 * [taylor]: Taking taylor expansion of (exp z) in z 0.513 * [taylor]: Taking taylor expansion of z in z 0.513 * [taylor]: Taking taylor expansion of t in z 0.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in z 0.513 * [taylor]: Taking taylor expansion of 1.0 in z 0.513 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.513 * [taylor]: Taking taylor expansion of t in z 0.513 * [taylor]: Taking taylor expansion of 0 in t 0.517 * [taylor]: Taking taylor expansion of 0 in t 0.523 * [taylor]: Taking taylor expansion of (- (/ (exp z) (* t (pow 1.0 2))) (+ (* 1/2 (/ 1 (* t (pow 1.0 2)))) (* 1/2 (/ (pow (exp z) 2) (* t (pow 1.0 2)))))) in z 0.523 * [taylor]: Taking taylor expansion of (/ (exp z) (* t (pow 1.0 2))) in z 0.523 * [taylor]: Taking taylor expansion of (exp z) in z 0.523 * [taylor]: Taking taylor expansion of z in z 0.523 * [taylor]: Taking taylor expansion of (* t (pow 1.0 2)) in z 0.523 * [taylor]: Taking taylor expansion of t in z 0.523 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 0.523 * [taylor]: Taking taylor expansion of 1.0 in z 0.524 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* t (pow 1.0 2)))) (* 1/2 (/ (pow (exp z) 2) (* t (pow 1.0 2))))) in z 0.524 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* t (pow 1.0 2)))) in z 0.524 * [taylor]: Taking taylor expansion of 1/2 in z 0.524 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow 1.0 2))) in z 0.524 * [taylor]: Taking taylor expansion of (* t (pow 1.0 2)) in z 0.524 * [taylor]: Taking taylor expansion of t in z 0.524 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 0.524 * [taylor]: Taking taylor expansion of 1.0 in z 0.524 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow (exp z) 2) (* t (pow 1.0 2)))) in z 0.524 * [taylor]: Taking taylor expansion of 1/2 in z 0.524 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (* t (pow 1.0 2))) in z 0.524 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 0.524 * [taylor]: Taking taylor expansion of (exp z) in z 0.524 * [taylor]: Taking taylor expansion of z in z 0.524 * [taylor]: Taking taylor expansion of (* t (pow 1.0 2)) in z 0.524 * [taylor]: Taking taylor expansion of t in z 0.524 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 0.524 * [taylor]: Taking taylor expansion of 1.0 in z 0.525 * [taylor]: Taking taylor expansion of 0 in t 0.526 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.526 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.526 * [taylor]: Taking taylor expansion of t in t 0.529 * [taylor]: Taking taylor expansion of 0 in t 0.540 * [taylor]: Taking taylor expansion of (- (+ (/ (exp z) (* t (pow 1.0 3))) (+ (* 1/3 (/ (pow (exp z) 3) (* t (pow 1.0 3)))) (* 0.16666666666666666 (/ 1 t)))) (+ (* 1/3 (/ 1 (* t (pow 1.0 3)))) (/ (pow (exp z) 2) (* t (pow 1.0 3))))) in z 0.540 * [taylor]: Taking taylor expansion of (+ (/ (exp z) (* t (pow 1.0 3))) (+ (* 1/3 (/ (pow (exp z) 3) (* t (pow 1.0 3)))) (* 0.16666666666666666 (/ 1 t)))) in z 0.540 * [taylor]: Taking taylor expansion of (/ (exp z) (* t (pow 1.0 3))) in z 0.540 * [taylor]: Taking taylor expansion of (exp z) in z 0.540 * [taylor]: Taking taylor expansion of z in z 0.540 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z 0.540 * [taylor]: Taking taylor expansion of t in z 0.540 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.540 * [taylor]: Taking taylor expansion of 1.0 in z 0.541 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (pow (exp z) 3) (* t (pow 1.0 3)))) (* 0.16666666666666666 (/ 1 t))) in z 0.541 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow (exp z) 3) (* t (pow 1.0 3)))) in z 0.541 * [taylor]: Taking taylor expansion of 1/3 in z 0.541 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (* t (pow 1.0 3))) in z 0.541 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z 0.541 * [taylor]: Taking taylor expansion of (exp z) in z 0.541 * [taylor]: Taking taylor expansion of z in z 0.541 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z 0.541 * [taylor]: Taking taylor expansion of t in z 0.541 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.541 * [taylor]: Taking taylor expansion of 1.0 in z 0.542 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ 1 t)) in z 0.542 * [taylor]: Taking taylor expansion of 0.16666666666666666 in z 0.542 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.542 * [taylor]: Taking taylor expansion of t in z 0.542 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (* t (pow 1.0 3)))) (/ (pow (exp z) 2) (* t (pow 1.0 3)))) in z 0.542 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (* t (pow 1.0 3)))) in z 0.542 * [taylor]: Taking taylor expansion of 1/3 in z 0.542 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow 1.0 3))) in z 0.542 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z 0.542 * [taylor]: Taking taylor expansion of t in z 0.542 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.542 * [taylor]: Taking taylor expansion of 1.0 in z 0.543 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (* t (pow 1.0 3))) in z 0.543 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 0.543 * [taylor]: Taking taylor expansion of (exp z) in z 0.543 * [taylor]: Taking taylor expansion of z in z 0.543 * [taylor]: Taking taylor expansion of (* t (pow 1.0 3)) in z 0.543 * [taylor]: Taking taylor expansion of t in z 0.543 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 0.543 * [taylor]: Taking taylor expansion of 1.0 in z 0.544 * [taylor]: Taking taylor expansion of (* 0.16666666666666674 (/ 1 t)) in t 0.544 * [taylor]: Taking taylor expansion of 0.16666666666666674 in t 0.544 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.544 * [taylor]: Taking taylor expansion of t in t 0.546 * [approximate]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in (y z t) around 0 0.546 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in t 0.546 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in t 0.546 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in t 0.546 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in t 0.546 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in t 0.546 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t 0.546 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.546 * [taylor]: Taking taylor expansion of z in t 0.546 * [taylor]: Taking taylor expansion of y in t 0.546 * [taylor]: Taking taylor expansion of 1.0 in t 0.546 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.546 * [taylor]: Taking taylor expansion of y in t 0.546 * [taylor]: Taking taylor expansion of t in t 0.546 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in z 0.546 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z 0.546 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 0.546 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 0.546 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 0.546 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.546 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.546 * [taylor]: Taking taylor expansion of z in z 0.547 * [taylor]: Taking taylor expansion of y in z 0.547 * [taylor]: Taking taylor expansion of 1.0 in z 0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.547 * [taylor]: Taking taylor expansion of y in z 0.547 * [taylor]: Taking taylor expansion of t in z 0.547 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in y 0.547 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 0.547 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 0.547 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 0.547 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.547 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.547 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.547 * [taylor]: Taking taylor expansion of z in y 0.547 * [taylor]: Taking taylor expansion of y in y 0.547 * [taylor]: Taking taylor expansion of 1.0 in y 0.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.547 * [taylor]: Taking taylor expansion of y in y 0.548 * [taylor]: Taking taylor expansion of t in y 0.548 * [taylor]: Taking taylor expansion of (* (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) t) in y 0.548 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 0.548 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 0.548 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 0.548 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.548 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.548 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.548 * [taylor]: Taking taylor expansion of z in y 0.548 * [taylor]: Taking taylor expansion of y in y 0.548 * [taylor]: Taking taylor expansion of 1.0 in y 0.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.548 * [taylor]: Taking taylor expansion of y in y 0.549 * [taylor]: Taking taylor expansion of t in y 0.549 * [taylor]: Taking taylor expansion of (* t (- (log (- (exp (/ 1 z)) 1)) (log y))) in z 0.549 * [taylor]: Taking taylor expansion of t in z 0.549 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z 0.549 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z 0.549 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.549 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.549 * [taylor]: Taking taylor expansion of z in z 0.550 * [taylor]: Taking taylor expansion of 1 in z 0.550 * [taylor]: Taking taylor expansion of (log y) in z 0.550 * [taylor]: Taking taylor expansion of y in z 0.550 * [taylor]: Taking taylor expansion of (* t (- (log (- (exp (/ 1 z)) 1)) (log y))) in t 0.550 * [taylor]: Taking taylor expansion of t in t 0.550 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in t 0.550 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in t 0.550 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t 0.550 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t 0.550 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.550 * [taylor]: Taking taylor expansion of z in t 0.550 * [taylor]: Taking taylor expansion of 1 in t 0.551 * [taylor]: Taking taylor expansion of (log y) in t 0.551 * [taylor]: Taking taylor expansion of y in t 0.555 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- (exp (/ 1 z)) 1))) in z 0.555 * [taylor]: Taking taylor expansion of 1.0 in z 0.555 * [taylor]: Taking taylor expansion of (/ t (- (exp (/ 1 z)) 1)) in z 0.555 * [taylor]: Taking taylor expansion of t in z 0.555 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.555 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.555 * [taylor]: Taking taylor expansion of z in z 0.555 * [taylor]: Taking taylor expansion of 1 in z 0.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- (exp (/ 1 z)) 1))) in t 0.556 * [taylor]: Taking taylor expansion of 1.0 in t 0.556 * [taylor]: Taking taylor expansion of (/ t (- (exp (/ 1 z)) 1)) in t 0.556 * [taylor]: Taking taylor expansion of t in t 0.556 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t 0.556 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t 0.556 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.556 * [taylor]: Taking taylor expansion of z in t 0.556 * [taylor]: Taking taylor expansion of 1 in t 0.558 * [taylor]: Taking taylor expansion of 0 in t 0.566 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2)))) in z 0.566 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2))) in z 0.566 * [taylor]: Taking taylor expansion of 0.5 in z 0.566 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 2)) in z 0.566 * [taylor]: Taking taylor expansion of t in z 0.566 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z 0.566 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.566 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.566 * [taylor]: Taking taylor expansion of z in z 0.567 * [taylor]: Taking taylor expansion of 1 in z 0.567 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2)))) in t 0.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- (exp (/ 1 z)) 1) 2))) in t 0.567 * [taylor]: Taking taylor expansion of 0.5 in t 0.567 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 2)) in t 0.567 * [taylor]: Taking taylor expansion of t in t 0.567 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in t 0.567 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t 0.567 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t 0.567 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.567 * [taylor]: Taking taylor expansion of z in t 0.568 * [taylor]: Taking taylor expansion of 1 in t 0.569 * [taylor]: Taking taylor expansion of 0 in t 0.572 * [taylor]: Taking taylor expansion of 0 in t 0.583 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ t (- (exp (/ 1 z)) 1))) (* 0.3333333333333333 (/ t (pow (- (exp (/ 1 z)) 1) 3)))) in z 0.583 * [taylor]: Taking taylor expansion of (* 1/6 (/ t (- (exp (/ 1 z)) 1))) in z 0.583 * [taylor]: Taking taylor expansion of 1/6 in z 0.583 * [taylor]: Taking taylor expansion of (/ t (- (exp (/ 1 z)) 1)) in z 0.583 * [taylor]: Taking taylor expansion of t in z 0.583 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.583 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.583 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.583 * [taylor]: Taking taylor expansion of z in z 0.583 * [taylor]: Taking taylor expansion of 1 in z 0.584 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- (exp (/ 1 z)) 1) 3))) in z 0.584 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 0.584 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 3)) in z 0.584 * [taylor]: Taking taylor expansion of t in z 0.584 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 3) in z 0.584 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 0.584 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.584 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.584 * [taylor]: Taking taylor expansion of z in z 0.584 * [taylor]: Taking taylor expansion of 1 in z 0.585 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ t (- (exp (/ 1 z)) 1))) (* 0.3333333333333333 (/ t (pow (- (exp (/ 1 z)) 1) 3)))) in t 0.585 * [taylor]: Taking taylor expansion of (* 1/6 (/ t (- (exp (/ 1 z)) 1))) in t 0.585 * [taylor]: Taking taylor expansion of 1/6 in t 0.585 * [taylor]: Taking taylor expansion of (/ t (- (exp (/ 1 z)) 1)) in t 0.585 * [taylor]: Taking taylor expansion of t in t 0.585 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t 0.585 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t 0.585 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.585 * [taylor]: Taking taylor expansion of z in t 0.585 * [taylor]: Taking taylor expansion of 1 in t 0.586 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- (exp (/ 1 z)) 1) 3))) in t 0.586 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 0.586 * [taylor]: Taking taylor expansion of (/ t (pow (- (exp (/ 1 z)) 1) 3)) in t 0.586 * [taylor]: Taking taylor expansion of t in t 0.586 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 3) in t 0.586 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t 0.586 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t 0.586 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.586 * [taylor]: Taking taylor expansion of z in t 0.586 * [taylor]: Taking taylor expansion of 1 in t 0.589 * [taylor]: Taking taylor expansion of 0 in t 0.591 * [taylor]: Taking taylor expansion of 0 in t 0.597 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ t (- (exp (/ 1 z)) 1))) (* 1/6 (/ t y))) in t 0.597 * [taylor]: Taking taylor expansion of (* 1/6 (/ t (- (exp (/ 1 z)) 1))) in t 0.597 * [taylor]: Taking taylor expansion of 1/6 in t 0.597 * [taylor]: Taking taylor expansion of (/ t (- (exp (/ 1 z)) 1)) in t 0.597 * [taylor]: Taking taylor expansion of t in t 0.597 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in t 0.598 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in t 0.598 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.598 * [taylor]: Taking taylor expansion of z in t 0.598 * [taylor]: Taking taylor expansion of 1 in t 0.598 * [taylor]: Taking taylor expansion of (* 1/6 (/ t y)) in t 0.598 * [taylor]: Taking taylor expansion of 1/6 in t 0.598 * [taylor]: Taking taylor expansion of (/ t y) in t 0.598 * [taylor]: Taking taylor expansion of t in t 0.598 * [taylor]: Taking taylor expansion of y in t 0.601 * [approximate]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in (y z t) around 0 0.601 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in t 0.601 * [taylor]: Taking taylor expansion of -1 in t 0.601 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in t 0.601 * [taylor]: Taking taylor expansion of t in t 0.601 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in t 0.601 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in t 0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in t 0.601 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.601 * [taylor]: Taking taylor expansion of y in t 0.601 * [taylor]: Taking taylor expansion of 1.0 in t 0.601 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in t 0.601 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t 0.601 * [taylor]: Taking taylor expansion of (/ -1 z) in t 0.601 * [taylor]: Taking taylor expansion of -1 in t 0.601 * [taylor]: Taking taylor expansion of z in t 0.601 * [taylor]: Taking taylor expansion of y in t 0.602 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in z 0.602 * [taylor]: Taking taylor expansion of -1 in z 0.602 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in z 0.602 * [taylor]: Taking taylor expansion of t in z 0.602 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in z 0.602 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in z 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 0.602 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.602 * [taylor]: Taking taylor expansion of y in z 0.602 * [taylor]: Taking taylor expansion of 1.0 in z 0.602 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z 0.602 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.602 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.602 * [taylor]: Taking taylor expansion of -1 in z 0.602 * [taylor]: Taking taylor expansion of z in z 0.603 * [taylor]: Taking taylor expansion of y in z 0.603 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in y 0.603 * [taylor]: Taking taylor expansion of -1 in y 0.603 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in y 0.603 * [taylor]: Taking taylor expansion of t in y 0.603 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y 0.603 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.603 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of 1.0 in y 0.604 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.604 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.604 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.604 * [taylor]: Taking taylor expansion of -1 in y 0.604 * [taylor]: Taking taylor expansion of z in y 0.604 * [taylor]: Taking taylor expansion of y in y 0.605 * [taylor]: Taking taylor expansion of (* -1 (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))))) in y 0.605 * [taylor]: Taking taylor expansion of -1 in y 0.605 * [taylor]: Taking taylor expansion of (* t (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)))) in y 0.605 * [taylor]: Taking taylor expansion of t in y 0.605 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y))) in y 0.605 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0) (/ (exp (/ -1 z)) y)) in y 0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.605 * [taylor]: Taking taylor expansion of y in y 0.605 * [taylor]: Taking taylor expansion of 1.0 in y 0.605 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.606 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.606 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.606 * [taylor]: Taking taylor expansion of -1 in y 0.606 * [taylor]: Taking taylor expansion of z in y 0.606 * [taylor]: Taking taylor expansion of y in y 0.611 * [taylor]: Taking taylor expansion of (* -1 (* t (- (log (- 1 (exp (/ -1 z)))) (log y)))) in z 0.611 * [taylor]: Taking taylor expansion of -1 in z 0.611 * [taylor]: Taking taylor expansion of (* t (- (log (- 1 (exp (/ -1 z)))) (log y))) in z 0.611 * [taylor]: Taking taylor expansion of t in z 0.611 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z 0.611 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z 0.611 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.611 * [taylor]: Taking taylor expansion of 1 in z 0.611 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.611 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.611 * [taylor]: Taking taylor expansion of -1 in z 0.611 * [taylor]: Taking taylor expansion of z in z 0.612 * [taylor]: Taking taylor expansion of (log y) in z 0.612 * [taylor]: Taking taylor expansion of y in z 0.613 * [taylor]: Taking taylor expansion of (* -1 (* t (- (log (- 1 (exp (/ -1 z)))) (log y)))) in t 0.613 * [taylor]: Taking taylor expansion of -1 in t 0.613 * [taylor]: Taking taylor expansion of (* t (- (log (- 1 (exp (/ -1 z)))) (log y))) in t 0.613 * [taylor]: Taking taylor expansion of t in t 0.613 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in t 0.613 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in t 0.613 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t 0.613 * [taylor]: Taking taylor expansion of 1 in t 0.613 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t 0.613 * [taylor]: Taking taylor expansion of (/ -1 z) in t 0.613 * [taylor]: Taking taylor expansion of -1 in t 0.613 * [taylor]: Taking taylor expansion of z in t 0.613 * [taylor]: Taking taylor expansion of (log y) in t 0.613 * [taylor]: Taking taylor expansion of y in t 0.618 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ t (- 1 (exp (/ -1 z)))))) in z 0.618 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- 1 (exp (/ -1 z))))) in z 0.618 * [taylor]: Taking taylor expansion of 1.0 in z 0.618 * [taylor]: Taking taylor expansion of (/ t (- 1 (exp (/ -1 z)))) in z 0.618 * [taylor]: Taking taylor expansion of t in z 0.618 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.618 * [taylor]: Taking taylor expansion of 1 in z 0.618 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.618 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.618 * [taylor]: Taking taylor expansion of -1 in z 0.618 * [taylor]: Taking taylor expansion of z in z 0.619 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ t (- 1 (exp (/ -1 z)))))) in t 0.619 * [taylor]: Taking taylor expansion of (* 1.0 (/ t (- 1 (exp (/ -1 z))))) in t 0.619 * [taylor]: Taking taylor expansion of 1.0 in t 0.619 * [taylor]: Taking taylor expansion of (/ t (- 1 (exp (/ -1 z)))) in t 0.619 * [taylor]: Taking taylor expansion of t in t 0.619 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t 0.619 * [taylor]: Taking taylor expansion of 1 in t 0.619 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t 0.619 * [taylor]: Taking taylor expansion of (/ -1 z) in t 0.619 * [taylor]: Taking taylor expansion of -1 in t 0.619 * [taylor]: Taking taylor expansion of z in t 0.622 * [taylor]: Taking taylor expansion of 0 in t 0.630 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- 1 (exp (/ -1 z))) 2))) in z 0.630 * [taylor]: Taking taylor expansion of 0.5 in z 0.630 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 2)) in z 0.630 * [taylor]: Taking taylor expansion of t in z 0.630 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z 0.630 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.630 * [taylor]: Taking taylor expansion of 1 in z 0.630 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.630 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.630 * [taylor]: Taking taylor expansion of -1 in z 0.630 * [taylor]: Taking taylor expansion of z in z 0.631 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow (- 1 (exp (/ -1 z))) 2))) in t 0.631 * [taylor]: Taking taylor expansion of 0.5 in t 0.631 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 2)) in t 0.631 * [taylor]: Taking taylor expansion of t in t 0.631 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in t 0.631 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t 0.631 * [taylor]: Taking taylor expansion of 1 in t 0.631 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t 0.631 * [taylor]: Taking taylor expansion of (/ -1 z) in t 0.631 * [taylor]: Taking taylor expansion of -1 in t 0.631 * [taylor]: Taking taylor expansion of z in t 0.633 * [taylor]: Taking taylor expansion of 0 in t 0.637 * [taylor]: Taking taylor expansion of 0 in t 0.648 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) (* 1/6 (/ t (- 1 (exp (/ -1 z))))))) in z 0.649 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) (* 1/6 (/ t (- 1 (exp (/ -1 z)))))) in z 0.649 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) in z 0.649 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 0.649 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 3)) in z 0.649 * [taylor]: Taking taylor expansion of t in z 0.649 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 3) in z 0.649 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.649 * [taylor]: Taking taylor expansion of 1 in z 0.649 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.649 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.649 * [taylor]: Taking taylor expansion of -1 in z 0.649 * [taylor]: Taking taylor expansion of z in z 0.649 * [taylor]: Taking taylor expansion of (* 1/6 (/ t (- 1 (exp (/ -1 z))))) in z 0.649 * [taylor]: Taking taylor expansion of 1/6 in z 0.649 * [taylor]: Taking taylor expansion of (/ t (- 1 (exp (/ -1 z)))) in z 0.649 * [taylor]: Taking taylor expansion of t in z 0.649 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 0.649 * [taylor]: Taking taylor expansion of 1 in z 0.649 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.649 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.650 * [taylor]: Taking taylor expansion of -1 in z 0.650 * [taylor]: Taking taylor expansion of z in z 0.651 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) (* 1/6 (/ t (- 1 (exp (/ -1 z))))))) in t 0.651 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) (* 1/6 (/ t (- 1 (exp (/ -1 z)))))) in t 0.651 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (pow (- 1 (exp (/ -1 z))) 3))) in t 0.651 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 0.651 * [taylor]: Taking taylor expansion of (/ t (pow (- 1 (exp (/ -1 z))) 3)) in t 0.651 * [taylor]: Taking taylor expansion of t in t 0.651 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 3) in t 0.651 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t 0.651 * [taylor]: Taking taylor expansion of 1 in t 0.651 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t 0.651 * [taylor]: Taking taylor expansion of (/ -1 z) in t 0.651 * [taylor]: Taking taylor expansion of -1 in t 0.651 * [taylor]: Taking taylor expansion of z in t 0.651 * [taylor]: Taking taylor expansion of (* 1/6 (/ t (- 1 (exp (/ -1 z))))) in t 0.651 * [taylor]: Taking taylor expansion of 1/6 in t 0.651 * [taylor]: Taking taylor expansion of (/ t (- 1 (exp (/ -1 z)))) in t 0.651 * [taylor]: Taking taylor expansion of t in t 0.651 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t 0.651 * [taylor]: Taking taylor expansion of 1 in t 0.651 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t 0.651 * [taylor]: Taking taylor expansion of (/ -1 z) in t 0.651 * [taylor]: Taking taylor expansion of -1 in t 0.651 * [taylor]: Taking taylor expansion of z in t 0.653 * [taylor]: Taking taylor expansion of 0 in t 0.654 * [taylor]: Taking taylor expansion of 0 in t 0.659 * [taylor]: Taking taylor expansion of (- (* 1/6 (/ t y)) (* 1/6 (/ t (- 1 (exp (/ -1 z)))))) in t 0.659 * [taylor]: Taking taylor expansion of (* 1/6 (/ t y)) in t 0.659 * [taylor]: Taking taylor expansion of 1/6 in t 0.659 * [taylor]: Taking taylor expansion of (/ t y) in t 0.659 * [taylor]: Taking taylor expansion of t in t 0.660 * [taylor]: Taking taylor expansion of y in t 0.660 * [taylor]: Taking taylor expansion of (* 1/6 (/ t (- 1 (exp (/ -1 z))))) in t 0.660 * [taylor]: Taking taylor expansion of 1/6 in t 0.660 * [taylor]: Taking taylor expansion of (/ t (- 1 (exp (/ -1 z)))) in t 0.660 * [taylor]: Taking taylor expansion of t in t 0.660 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in t 0.660 * [taylor]: Taking taylor expansion of 1 in t 0.660 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in t 0.660 * [taylor]: Taking taylor expansion of (/ -1 z) in t 0.660 * [taylor]: Taking taylor expansion of -1 in t 0.660 * [taylor]: Taking taylor expansion of z in t 0.661 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2) 0.661 * [approximate]: Taking taylor expansion of (* (exp z) y) in (y z) around 0 0.661 * [taylor]: Taking taylor expansion of (* (exp z) y) in z 0.661 * [taylor]: Taking taylor expansion of (exp z) in z 0.661 * [taylor]: Taking taylor expansion of z in z 0.661 * [taylor]: Taking taylor expansion of y in z 0.661 * [taylor]: Taking taylor expansion of (* (exp z) y) in y 0.661 * [taylor]: Taking taylor expansion of (exp z) in y 0.661 * [taylor]: Taking taylor expansion of z in y 0.661 * [taylor]: Taking taylor expansion of y in y 0.661 * [taylor]: Taking taylor expansion of (* (exp z) y) in y 0.661 * [taylor]: Taking taylor expansion of (exp z) in y 0.661 * [taylor]: Taking taylor expansion of z in y 0.661 * [taylor]: Taking taylor expansion of y in y 0.661 * [taylor]: Taking taylor expansion of 0 in z 0.662 * [taylor]: Taking taylor expansion of (exp z) in z 0.662 * [taylor]: Taking taylor expansion of z in z 0.663 * [taylor]: Taking taylor expansion of 0 in z 0.665 * [taylor]: Taking taylor expansion of 0 in z 0.666 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in (y z) around 0 0.666 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 0.666 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.666 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.666 * [taylor]: Taking taylor expansion of z in z 0.667 * [taylor]: Taking taylor expansion of y in z 0.667 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.667 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.667 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.667 * [taylor]: Taking taylor expansion of z in y 0.667 * [taylor]: Taking taylor expansion of y in y 0.667 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 0.667 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 0.667 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.667 * [taylor]: Taking taylor expansion of z in y 0.667 * [taylor]: Taking taylor expansion of y in y 0.667 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 0.667 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.667 * [taylor]: Taking taylor expansion of z in z 0.669 * [taylor]: Taking taylor expansion of 0 in z 0.670 * [taylor]: Taking taylor expansion of 0 in z 0.672 * [taylor]: Taking taylor expansion of 0 in z 0.672 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in (y z) around 0 0.673 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in z 0.673 * [taylor]: Taking taylor expansion of -1 in z 0.673 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in z 0.673 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.673 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.673 * [taylor]: Taking taylor expansion of -1 in z 0.673 * [taylor]: Taking taylor expansion of z in z 0.673 * [taylor]: Taking taylor expansion of y in z 0.673 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in y 0.673 * [taylor]: Taking taylor expansion of -1 in y 0.673 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.673 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.673 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.673 * [taylor]: Taking taylor expansion of -1 in y 0.673 * [taylor]: Taking taylor expansion of z in y 0.673 * [taylor]: Taking taylor expansion of y in y 0.673 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ -1 z)) y)) in y 0.673 * [taylor]: Taking taylor expansion of -1 in y 0.673 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 z)) y) in y 0.673 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 0.673 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.673 * [taylor]: Taking taylor expansion of -1 in y 0.673 * [taylor]: Taking taylor expansion of z in y 0.673 * [taylor]: Taking taylor expansion of y in y 0.673 * [taylor]: Taking taylor expansion of (* -1 (exp (/ -1 z))) in z 0.674 * [taylor]: Taking taylor expansion of -1 in z 0.674 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 0.674 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.674 * [taylor]: Taking taylor expansion of -1 in z 0.674 * [taylor]: Taking taylor expansion of z in z 0.675 * [taylor]: Taking taylor expansion of 0 in z 0.678 * [taylor]: Taking taylor expansion of 0 in z 0.681 * [taylor]: Taking taylor expansion of 0 in z 0.681 * * * [progress]: simplifying candidates 0.683 * [simplify]: Simplifying using # : (* (/ (exp 1.0) (exp y)) (exp (* y (exp z)))) (* (exp (- 1.0 y)) (exp (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z)))) (exp (+ (- 1.0 y) (* y (exp z)))) (* (cbrt (+ (- 1.0 y) (* y (exp z)))) (cbrt (+ (- 1.0 y) (* y (exp z))))) (cbrt (+ (- 1.0 y) (* y (exp z)))) (* (* (+ (- 1.0 y) (* y (exp z))) (+ (- 1.0 y) (* y (exp z)))) (+ (- 1.0 y) (* y (exp z)))) (sqrt (+ (- 1.0 y) (* y (exp z)))) (sqrt (+ (- 1.0 y) (* y (exp z)))) (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3)) (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z))))) (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z)))) (- (- 1.0 y) (* y (exp z))) (+ (neg y) (* y (exp z))) (+ (neg y) (* y (exp z))) (- y (* y (exp z))) (log (* (cbrt (+ (- 1.0 y) (* y (exp z)))) (cbrt (+ (- 1.0 y) (* y (exp z)))))) (log (cbrt (+ (- 1.0 y) (* y (exp z))))) (log (sqrt (+ (- 1.0 y) (* y (exp z))))) (log (sqrt (+ (- 1.0 y) (* y (exp z))))) (log 1) (log (+ (- 1.0 y) (* y (exp z)))) (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z)))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))) (log (- (- 1.0 y) (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z)))) (log (log (+ (- 1.0 y) (* y (exp z))))) (exp (log (+ (- 1.0 y) (* y (exp z))))) (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (* (* (log (+ (- 1.0 y) (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z))))) (log (+ (- 1.0 y) (* y (exp z))))) (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (- (log (log (+ (- 1.0 y) (* y (exp z))))) (log t)) (log (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (exp (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (/ (* (* (log (+ (- 1.0 y) (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z))))) (log (+ (- 1.0 y) (* y (exp z))))) (* (* t t) t)) (* (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))) (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (* (* (/ (log (+ (- 1.0 y) (* y (exp z)))) t) (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (neg (log (+ (- 1.0 y) (* y (exp z))))) (neg t) (/ (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))) t) (/ (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z)))))) t) (/ (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))) t) (/ (log (- (- 1.0 y) (* y (exp z)))) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t)) (/ 1 (sqrt t)) (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t)) (/ 1 1) (/ (log (+ (- 1.0 y) (* y (exp z)))) t) (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (* (cbrt t) (cbrt t))) (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t)) (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (sqrt t)) (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t)) (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) 1) (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) t) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (* (cbrt t) (cbrt t))) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t)) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t)) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t)) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) 1) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t)) (/ 1 (sqrt t)) (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t)) (/ 1 1) (/ (log (+ (- 1.0 y) (* y (exp z)))) t) (/ 1 t) (/ t (log (+ (- 1.0 y) (* y (exp z))))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t)) (/ (log (+ (- 1.0 y) (* y (exp z)))) 1) (/ t (log (+ (- 1.0 y) (* y (exp z))))) (/ t (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (/ t (sqrt (log (+ (- 1.0 y) (* y (exp z)))))) (/ t (log (+ (- 1.0 y) (* y (exp z))))) (* y (exp z)) (+ (log y) z) (log (* y (exp z))) (exp (* y (exp z))) (* (* (* y y) y) (* (* (exp z) (exp z)) (exp z))) (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))) (* (* (* y (exp z)) (* y (exp z))) (* y (exp z))) (sqrt (* y (exp z))) (sqrt (* y (exp z))) (* (sqrt y) (sqrt (exp z))) (* (sqrt y) (sqrt (exp z))) (* y (* (cbrt (exp z)) (cbrt (exp z)))) (* y (sqrt (exp z))) (* y 1) (* (cbrt y) (exp z)) (* (sqrt y) (exp z)) (* y (exp z)) (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) 1.0)) (- (+ (* y (exp z)) 1.0) y) (- (+ (* (exp z) y) 1.0) y) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (+ (log (- (exp z) 1)) (* 1.0 (/ 1 (* (- (exp z) 1) y)))) (+ (log (/ 1 y)) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (pow y 2)))))) (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (pow y 2)))) (log (/ -1 y))))) (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.16666666666666674 (/ (pow y 3) t)))) (- (+ (/ (log (- (exp z) 1)) t) (* 1.0 (/ 1 (* (- (exp z) 1) (* t y))))) (+ (/ (log (/ 1 y)) t) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (* t (pow y 2))))))) (- (/ (log (- 1 (exp z))) t) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) (* y t)))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (* (pow y 2) t)))) (/ (log (/ -1 y)) t)))) (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) y)) (* y (exp z)) (* y (exp z)) 0.688 * * [simplify]: iteration 0 : 455 enodes (cost 792 ) 0.696 * * [simplify]: iteration 1 : 1756 enodes (cost 732 ) 0.725 * * [simplify]: iteration 2 : 5001 enodes (cost 725 ) 0.730 * [simplify]: Simplified to: (exp (+ (- 1.0 y) (* y (exp z)))) (exp (+ (- 1.0 y) (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z)))) (exp (+ (- 1.0 y) (* y (exp z)))) (* (cbrt (+ (- 1.0 y) (* y (exp z)))) (cbrt (+ (- 1.0 y) (* y (exp z))))) (cbrt (+ (- 1.0 y) (* y (exp z)))) (pow (+ (- 1.0 y) (* y (exp z))) 3) (sqrt (+ (- 1.0 y) (* y (exp z)))) (sqrt (+ (- 1.0 y) (* y (exp z)))) (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3)) (+ (* (* y (exp z)) (- (* y (exp z)) (- 1.0 y))) (* (- 1.0 y) (- 1.0 y))) (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z)))) (- (- 1.0 y) (* y (exp z))) (* (- (exp z) 1) y) (* (- (exp z) 1) y) (* (- 1 (exp z)) y) (* 2 (log (cbrt (+ (- 1.0 y) (* y (exp z)))))) (log (cbrt (+ (- 1.0 y) (* y (exp z))))) (log (sqrt (+ (- 1.0 y) (* y (exp z))))) (log (sqrt (+ (- 1.0 y) (* y (exp z))))) 0 (log (+ (- 1.0 y) (* y (exp z)))) (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z)))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))) (log (- (- 1.0 y) (* y (exp z)))) (log (+ (- 1.0 y) (* y (exp z)))) (log (log (+ (- 1.0 y) (* y (exp z))))) (+ (- 1.0 y) (* y (exp z))) (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (pow (log (+ (- 1.0 y) (* y (exp z)))) 3) (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (log (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (log (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (exp (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3) (* (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t))) (cbrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (pow (/ (log (+ (- 1.0 y) (* y (exp z)))) t) 3) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (sqrt (/ (log (+ (- 1.0 y) (* y (exp z)))) t)) (neg (log (+ (- 1.0 y) (* y (exp z))))) (neg t) (/ (log (+ (pow (- 1.0 y) 3) (pow (* y (exp z)) 3))) t) (/ (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* y (exp z)) (* y (exp z))) (* (- 1.0 y) (* y (exp z)))))) t) (/ (log (- (* (- 1.0 y) (- 1.0 y)) (* (* y (exp z)) (* y (exp z))))) t) (/ (log (- (- 1.0 y) (* y (exp z)))) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t)) (/ 1 (sqrt t)) (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t)) 1 (/ (log (+ (- 1.0 y) (* y (exp z)))) t) (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (* (cbrt t) (cbrt t))) (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t)) (/ (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (sqrt t)) (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t)) (* (cbrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (/ (cbrt (log (+ (- 1.0 y) (* y (exp z))))) t) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (* (cbrt t) (cbrt t))) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (cbrt t)) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t)) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (sqrt t)) (sqrt (log (+ (- 1.0 y) (* y (exp z))))) (/ (sqrt (log (+ (- 1.0 y) (* y (exp z))))) t) (/ 1 (* (cbrt t) (cbrt t))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (cbrt t)) (/ 1 (sqrt t)) (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t)) 1 (/ (log (+ (- 1.0 y) (* y (exp z)))) t) (/ 1 t) (/ t (log (+ (- 1.0 y) (* y (exp z))))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (* (cbrt t) (cbrt t))) (/ (log (+ (- 1.0 y) (* y (exp z)))) (sqrt t)) (log (+ (- 1.0 y) (* y (exp z)))) (/ t (log (+ (- 1.0 y) (* y (exp z))))) (/ t (cbrt (log (+ (- 1.0 y) (* y (exp z)))))) (/ t (sqrt (log (+ (- 1.0 y) (* y (exp z)))))) (/ t (log (+ (- 1.0 y) (* y (exp z))))) (* y (exp z)) (+ z (log y)) (+ z (log y)) (exp (* y (exp z))) (pow (* y (exp z)) 3) (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))) (pow (* y (exp z)) 3) (sqrt (* y (exp z))) (sqrt (* y (exp z))) (* (sqrt y) (sqrt (exp z))) (* (sqrt y) (sqrt (exp z))) (* y (* (cbrt (exp z)) (cbrt (exp z)))) (* y (sqrt (exp z))) y (* (cbrt y) (exp z)) (* (sqrt y) (exp z)) (* y (exp z)) (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z))) (+ (- 1.0 y) (* y (exp z))) (+ (- 1.0 y) (* y (exp z))) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (/ (/ 1.0 y) (- (exp z) 1)) (- (- (/ (/ 0.5 (pow y 2)) (pow (- (exp z) 1) 2)) (log y)) (log (- (exp z) 1)))) (- (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (log (/ -1 y)))) (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2))) (+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.16666666666666674 (/ (pow y 3) t)))) (- (/ (/ 1.0 (* (- (exp z) 1) t)) y) (- (- (+ (/ (/ 0.5 (* (pow (- (exp z) 1) 2) t)) (pow y 2)) 0) (/ (log y) t)) (/ (log (- (exp z) 1)) t))) (- (- (/ (log (- 1 (exp z))) t) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) (* y t)))) (/ (log (/ -1 y)) t))) (/ (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2)) t)) (* y (+ (* 1/2 (pow z 2)) (+ z 1))) (* y (exp z)) (* y (exp z)) 0.730 * * * [progress]: adding candidates to table 1.107 * * [progress]: iteration 2 / 4 1.107 * * * [progress]: picking best candidate 1.138 * * * * [pick]: Picked # 1.138 * * * [progress]: localizing error 1.151 * * * [progress]: generating rewritten candidates 1.151 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.159 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.165 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1) 1.166 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 2) 1.168 * * * [progress]: generating series expansions 1.168 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.169 * [approximate]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in (y z) around 0 1.169 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 1.169 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 1.169 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 1.169 * [taylor]: Taking taylor expansion of y in z 1.169 * [taylor]: Taking taylor expansion of (exp z) in z 1.169 * [taylor]: Taking taylor expansion of z in z 1.169 * [taylor]: Taking taylor expansion of 1.0 in z 1.169 * [taylor]: Taking taylor expansion of y in z 1.169 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 1.169 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 1.169 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 1.169 * [taylor]: Taking taylor expansion of y in y 1.169 * [taylor]: Taking taylor expansion of (exp z) in y 1.169 * [taylor]: Taking taylor expansion of z in y 1.169 * [taylor]: Taking taylor expansion of 1.0 in y 1.169 * [taylor]: Taking taylor expansion of y in y 1.169 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 1.169 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 1.169 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 1.169 * [taylor]: Taking taylor expansion of y in y 1.169 * [taylor]: Taking taylor expansion of (exp z) in y 1.169 * [taylor]: Taking taylor expansion of z in y 1.169 * [taylor]: Taking taylor expansion of 1.0 in y 1.169 * [taylor]: Taking taylor expansion of y in y 1.172 * [taylor]: Taking taylor expansion of 1.0 in z 1.174 * [taylor]: Taking taylor expansion of (- (exp z) 1) in z 1.174 * [taylor]: Taking taylor expansion of (exp z) in z 1.174 * [taylor]: Taking taylor expansion of z in z 1.174 * [taylor]: Taking taylor expansion of 1 in z 1.176 * [taylor]: Taking taylor expansion of 0 in z 1.179 * [taylor]: Taking taylor expansion of 0 in z 1.181 * [approximate]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in (y z) around 0 1.181 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 1.181 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 1.181 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 1.181 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.181 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.181 * [taylor]: Taking taylor expansion of z in z 1.182 * [taylor]: Taking taylor expansion of y in z 1.182 * [taylor]: Taking taylor expansion of 1.0 in z 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.182 * [taylor]: Taking taylor expansion of y in z 1.182 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 1.182 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 1.182 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 1.182 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.182 * [taylor]: Taking taylor expansion of z in y 1.182 * [taylor]: Taking taylor expansion of y in y 1.182 * [taylor]: Taking taylor expansion of 1.0 in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.182 * [taylor]: Taking taylor expansion of y in y 1.182 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 1.182 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 1.182 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 1.182 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.182 * [taylor]: Taking taylor expansion of z in y 1.182 * [taylor]: Taking taylor expansion of y in y 1.182 * [taylor]: Taking taylor expansion of 1.0 in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.183 * [taylor]: Taking taylor expansion of y in y 1.183 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 1.183 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.183 * [taylor]: Taking taylor expansion of z in z 1.183 * [taylor]: Taking taylor expansion of 1 in z 1.186 * [taylor]: Taking taylor expansion of 1.0 in z 1.190 * [taylor]: Taking taylor expansion of 0 in z 1.193 * [taylor]: Taking taylor expansion of 0 in z 1.194 * [approximate]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in (y z) around 0 1.194 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z 1.194 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z 1.194 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z 1.194 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 1.194 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.194 * [taylor]: Taking taylor expansion of -1 in z 1.195 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.195 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.195 * [taylor]: Taking taylor expansion of -1 in z 1.195 * [taylor]: Taking taylor expansion of z in z 1.195 * [taylor]: Taking taylor expansion of y in z 1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.198 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.198 * [taylor]: Taking taylor expansion of y in z 1.198 * [taylor]: Taking taylor expansion of 1.0 in z 1.198 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 1.198 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 1.198 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 1.198 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.198 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.198 * [taylor]: Taking taylor expansion of -1 in y 1.199 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 1.199 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.199 * [taylor]: Taking taylor expansion of -1 in y 1.199 * [taylor]: Taking taylor expansion of z in y 1.199 * [taylor]: Taking taylor expansion of y in y 1.202 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.202 * [taylor]: Taking taylor expansion of y in y 1.202 * [taylor]: Taking taylor expansion of 1.0 in y 1.202 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 1.202 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 1.202 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 1.202 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.202 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.203 * [taylor]: Taking taylor expansion of -1 in y 1.203 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 1.203 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.203 * [taylor]: Taking taylor expansion of -1 in y 1.203 * [taylor]: Taking taylor expansion of z in y 1.203 * [taylor]: Taking taylor expansion of y in y 1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.206 * [taylor]: Taking taylor expansion of y in y 1.207 * [taylor]: Taking taylor expansion of 1.0 in y 1.207 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 1.207 * [taylor]: Taking taylor expansion of 1 in z 1.207 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.207 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.207 * [taylor]: Taking taylor expansion of -1 in z 1.207 * [taylor]: Taking taylor expansion of z in z 1.211 * [taylor]: Taking taylor expansion of 1.0 in z 1.217 * [taylor]: Taking taylor expansion of 0 in z 1.223 * [taylor]: Taking taylor expansion of 0 in z 1.223 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.224 * [approximate]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in (y z) around 0 1.224 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z 1.224 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 1.224 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 1.224 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 1.224 * [taylor]: Taking taylor expansion of y in z 1.224 * [taylor]: Taking taylor expansion of (exp z) in z 1.224 * [taylor]: Taking taylor expansion of z in z 1.224 * [taylor]: Taking taylor expansion of 1.0 in z 1.224 * [taylor]: Taking taylor expansion of y in z 1.224 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 1.224 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 1.224 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 1.224 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 1.224 * [taylor]: Taking taylor expansion of y in y 1.224 * [taylor]: Taking taylor expansion of (exp z) in y 1.224 * [taylor]: Taking taylor expansion of z in y 1.224 * [taylor]: Taking taylor expansion of 1.0 in y 1.224 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 1.225 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 1.225 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 1.225 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 1.225 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of (exp z) in y 1.226 * [taylor]: Taking taylor expansion of z in y 1.226 * [taylor]: Taking taylor expansion of 1.0 in y 1.226 * [taylor]: Taking taylor expansion of y in y 1.227 * [taylor]: Taking taylor expansion of (log 1.0) in z 1.227 * [taylor]: Taking taylor expansion of 1.0 in z 1.229 * [taylor]: Taking taylor expansion of (- (* 1.0 (exp z)) 1.0) in z 1.229 * [taylor]: Taking taylor expansion of (* 1.0 (exp z)) in z 1.229 * [taylor]: Taking taylor expansion of 1.0 in z 1.229 * [taylor]: Taking taylor expansion of (exp z) in z 1.229 * [taylor]: Taking taylor expansion of z in z 1.229 * [taylor]: Taking taylor expansion of 1.0 in z 1.234 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))))) in z 1.234 * [taylor]: Taking taylor expansion of 1/2 in z 1.234 * [taylor]: Taking taylor expansion of (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2)))) in z 1.234 * [taylor]: Taking taylor expansion of (* 2 (/ (exp z) (pow 1.0 2))) in z 1.234 * [taylor]: Taking taylor expansion of 2 in z 1.234 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 2)) in z 1.234 * [taylor]: Taking taylor expansion of (exp z) in z 1.234 * [taylor]: Taking taylor expansion of z in z 1.234 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 1.234 * [taylor]: Taking taylor expansion of 1.0 in z 1.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))) in z 1.234 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 2)) in z 1.234 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 1.234 * [taylor]: Taking taylor expansion of 1.0 in z 1.235 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 2)) in z 1.235 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 1.235 * [taylor]: Taking taylor expansion of (exp z) in z 1.235 * [taylor]: Taking taylor expansion of z in z 1.235 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 1.235 * [taylor]: Taking taylor expansion of 1.0 in z 1.246 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))))) in z 1.246 * [taylor]: Taking taylor expansion of 1/6 in z 1.246 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3))))) in z 1.246 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) in z 1.246 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) in z 1.246 * [taylor]: Taking taylor expansion of 2 in z 1.246 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (pow 1.0 3)) in z 1.246 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z 1.246 * [taylor]: Taking taylor expansion of (exp z) in z 1.246 * [taylor]: Taking taylor expansion of z in z 1.246 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 1.246 * [taylor]: Taking taylor expansion of 1.0 in z 1.248 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0) in z 1.248 * [taylor]: Taking taylor expansion of (* 6 (/ (exp z) (pow 1.0 3))) in z 1.248 * [taylor]: Taking taylor expansion of 6 in z 1.248 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 3)) in z 1.248 * [taylor]: Taking taylor expansion of (exp z) in z 1.248 * [taylor]: Taking taylor expansion of z in z 1.248 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 1.248 * [taylor]: Taking taylor expansion of 1.0 in z 1.249 * [taylor]: Taking taylor expansion of 1.0 in z 1.249 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))) in z 1.249 * [taylor]: Taking taylor expansion of (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) in z 1.249 * [taylor]: Taking taylor expansion of 6 in z 1.249 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 3)) in z 1.249 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 1.249 * [taylor]: Taking taylor expansion of (exp z) in z 1.249 * [taylor]: Taking taylor expansion of z in z 1.249 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 1.249 * [taylor]: Taking taylor expansion of 1.0 in z 1.250 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow 1.0 3))) in z 1.250 * [taylor]: Taking taylor expansion of 2 in z 1.250 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 3)) in z 1.250 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 1.250 * [taylor]: Taking taylor expansion of 1.0 in z 1.254 * [approximate]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in (y z) around 0 1.254 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z 1.254 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 1.254 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 1.254 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 1.254 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.254 * [taylor]: Taking taylor expansion of z in z 1.255 * [taylor]: Taking taylor expansion of y in z 1.257 * [taylor]: Taking taylor expansion of 1.0 in z 1.257 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.257 * [taylor]: Taking taylor expansion of y in z 1.258 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 1.258 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 1.258 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 1.258 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 1.258 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 1.258 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.258 * [taylor]: Taking taylor expansion of z in y 1.258 * [taylor]: Taking taylor expansion of y in y 1.258 * [taylor]: Taking taylor expansion of 1.0 in y 1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.258 * [taylor]: Taking taylor expansion of y in y 1.259 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 1.259 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 1.259 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 1.259 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 1.259 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 1.259 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.259 * [taylor]: Taking taylor expansion of z in y 1.259 * [taylor]: Taking taylor expansion of y in y 1.259 * [taylor]: Taking taylor expansion of 1.0 in y 1.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.259 * [taylor]: Taking taylor expansion of y in y 1.260 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z 1.260 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z 1.260 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 1.260 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.260 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.260 * [taylor]: Taking taylor expansion of z in z 1.260 * [taylor]: Taking taylor expansion of 1 in z 1.261 * [taylor]: Taking taylor expansion of (log y) in z 1.261 * [taylor]: Taking taylor expansion of y in z 1.264 * [taylor]: Taking taylor expansion of (/ 1.0 (- (exp (/ 1 z)) 1)) in z 1.264 * [taylor]: Taking taylor expansion of 1.0 in z 1.264 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 1.264 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.264 * [taylor]: Taking taylor expansion of z in z 1.265 * [taylor]: Taking taylor expansion of 1 in z 1.272 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- (exp (/ 1 z)) 1) 2)) in z 1.272 * [taylor]: Taking taylor expansion of -0.5 in z 1.272 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z 1.272 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 1.272 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.272 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.272 * [taylor]: Taking taylor expansion of z in z 1.272 * [taylor]: Taking taylor expansion of 1 in z 1.274 * [approximate]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in (y z) around 0 1.274 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in z 1.274 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z 1.274 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z 1.274 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z 1.274 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 1.274 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.274 * [taylor]: Taking taylor expansion of -1 in z 1.274 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.274 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.274 * [taylor]: Taking taylor expansion of -1 in z 1.274 * [taylor]: Taking taylor expansion of z in z 1.275 * [taylor]: Taking taylor expansion of y in z 1.278 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.278 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.278 * [taylor]: Taking taylor expansion of y in z 1.278 * [taylor]: Taking taylor expansion of 1.0 in z 1.278 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y 1.278 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 1.278 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 1.278 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 1.278 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.278 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.278 * [taylor]: Taking taylor expansion of -1 in y 1.279 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 1.279 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.279 * [taylor]: Taking taylor expansion of -1 in y 1.279 * [taylor]: Taking taylor expansion of z in y 1.279 * [taylor]: Taking taylor expansion of y in y 1.282 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.282 * [taylor]: Taking taylor expansion of y in y 1.282 * [taylor]: Taking taylor expansion of 1.0 in y 1.283 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y 1.283 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 1.283 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 1.283 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 1.283 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.283 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.283 * [taylor]: Taking taylor expansion of -1 in y 1.283 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 1.283 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.283 * [taylor]: Taking taylor expansion of -1 in y 1.283 * [taylor]: Taking taylor expansion of z in y 1.284 * [taylor]: Taking taylor expansion of y in y 1.287 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.287 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.287 * [taylor]: Taking taylor expansion of y in y 1.287 * [taylor]: Taking taylor expansion of 1.0 in y 1.288 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z 1.288 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z 1.288 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 1.288 * [taylor]: Taking taylor expansion of 1 in z 1.288 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.288 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.288 * [taylor]: Taking taylor expansion of -1 in z 1.288 * [taylor]: Taking taylor expansion of z in z 1.288 * [taylor]: Taking taylor expansion of (log y) in z 1.289 * [taylor]: Taking taylor expansion of y in z 1.293 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1 (exp (/ -1 z)))) in z 1.293 * [taylor]: Taking taylor expansion of 1.0 in z 1.293 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 1.293 * [taylor]: Taking taylor expansion of 1 in z 1.294 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.294 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.294 * [taylor]: Taking taylor expansion of -1 in z 1.294 * [taylor]: Taking taylor expansion of z in z 1.303 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- 1 (exp (/ -1 z))) 2)) in z 1.304 * [taylor]: Taking taylor expansion of -0.5 in z 1.304 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z 1.304 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 1.304 * [taylor]: Taking taylor expansion of 1 in z 1.304 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.304 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.304 * [taylor]: Taking taylor expansion of -1 in z 1.304 * [taylor]: Taking taylor expansion of z in z 1.305 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1) 1.305 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.305 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.305 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.305 * [taylor]: Taking taylor expansion of 1/3 in y 1.305 * [taylor]: Taking taylor expansion of (log y) in y 1.305 * [taylor]: Taking taylor expansion of y in y 1.306 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.306 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.306 * [taylor]: Taking taylor expansion of 1/3 in y 1.306 * [taylor]: Taking taylor expansion of (log y) in y 1.306 * [taylor]: Taking taylor expansion of y in y 1.329 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.329 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.329 * [taylor]: Taking taylor expansion of 1/3 in y 1.329 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.329 * [taylor]: Taking taylor expansion of y in y 1.330 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.330 * [taylor]: Taking taylor expansion of 1/3 in y 1.330 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.360 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.360 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.360 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.360 * [taylor]: Taking taylor expansion of -1 in y 1.361 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.361 * [taylor]: Taking taylor expansion of 1/3 in y 1.361 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.361 * [taylor]: Taking taylor expansion of y in y 1.362 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.362 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.362 * [taylor]: Taking taylor expansion of -1 in y 1.363 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.363 * [taylor]: Taking taylor expansion of 1/3 in y 1.363 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.401 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 2) 1.401 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.401 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.401 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.401 * [taylor]: Taking taylor expansion of 1/3 in y 1.401 * [taylor]: Taking taylor expansion of (log y) in y 1.401 * [taylor]: Taking taylor expansion of y in y 1.401 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.401 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.401 * [taylor]: Taking taylor expansion of 1/3 in y 1.401 * [taylor]: Taking taylor expansion of (log y) in y 1.401 * [taylor]: Taking taylor expansion of y in y 1.427 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.427 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.428 * [taylor]: Taking taylor expansion of 1/3 in y 1.428 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.428 * [taylor]: Taking taylor expansion of y in y 1.428 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.428 * [taylor]: Taking taylor expansion of 1/3 in y 1.428 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.455 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.455 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.455 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.455 * [taylor]: Taking taylor expansion of -1 in y 1.456 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.456 * [taylor]: Taking taylor expansion of 1/3 in y 1.456 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.456 * [taylor]: Taking taylor expansion of y in y 1.457 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.457 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.457 * [taylor]: Taking taylor expansion of -1 in y 1.458 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.458 * [taylor]: Taking taylor expansion of 1/3 in y 1.458 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.458 * [taylor]: Taking taylor expansion of y in y 1.495 * * * [progress]: simplifying candidates 1.496 * [simplify]: Simplifying using # : (* (/ (exp 1.0) (exp y)) (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (* (exp (- 1.0 y)) (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (exp (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (* (* (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3)) (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (- y (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (log (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))) (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log 1) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (exp (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (* (* (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) 1.0)) (- (+ (* y (exp z)) 1.0) y) (- (+ (* (exp z) y) 1.0) y) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (+ (log (- (exp z) 1)) (* 1.0 (/ 1 (* (- (exp z) 1) y)))) (+ (log (/ 1 y)) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (pow y 2)))))) (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (pow y 2)))) (log (/ -1 y))))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 1.501 * * [simplify]: iteration 0 : 293 enodes (cost 601 ) 1.506 * * [simplify]: iteration 1 : 1052 enodes (cost 526 ) 1.529 * * [simplify]: iteration 2 : 5001 enodes (cost 488 ) 1.537 * [simplify]: Simplified to: (exp (- 1.0 (+ (* (neg (pow (pow y 1/3) 3)) (exp z)) y))) (exp (- 1.0 (+ (* (neg (pow (pow y 1/3) 3)) (exp z)) y))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (exp (- 1.0 (+ (* (neg (pow (pow y 1/3) 3)) (exp z)) y))) (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (pow (- (- 1.0 y) (* (neg (pow (pow y 1/3) 3)) (exp z))) 3) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3)) (+ (+ (* (- 1.0 y) (- 1.0 y)) (* y (neg (* (exp z) (- 1.0 y))))) (* (exp (+ z z)) (pow (pow y 2/3) 3))) (+ (+ (* (neg (pow y 2)) (exp (+ z z))) (* (- 1.0 y) 1.0)) (* (- 1.0 y) (* -1 y))) (- (+ (* (neg (exp z)) y) 1.0) y) (* (- (exp z) 1) y) (* (- (exp z) 1) y) (* (- 1 (exp z)) y) (* 2 (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))) (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) 0 (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (- (+ (* (exp z) y) 1.0) y) (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (pow (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))) 3) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z))) (- (+ (* (exp z) y) 1.0) y) (- (+ (* (exp z) y) 1.0) y) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (/ (/ 1.0 y) (- (exp z) 1)) (- (- (/ (/ 0.5 (pow y 2)) (pow (- (exp z) 1) 2)) (log y)) (log (- (exp z) 1)))) (- (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (log (/ -1 y)))) (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 1.538 * * * [progress]: adding candidates to table 1.846 * * [progress]: iteration 3 / 4 1.846 * * * [progress]: picking best candidate 1.913 * * * * [pick]: Picked # 1.913 * * * [progress]: localizing error 1.931 * * * [progress]: generating rewritten candidates 1.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.940 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.948 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1 2) 1.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 2 1 1 2) 1.952 * * * [progress]: generating series expansions 1.952 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.952 * [approximate]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in (y z) around 0 1.952 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 1.952 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 1.952 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 1.953 * [taylor]: Taking taylor expansion of y in z 1.953 * [taylor]: Taking taylor expansion of (exp z) in z 1.953 * [taylor]: Taking taylor expansion of z in z 1.953 * [taylor]: Taking taylor expansion of 1.0 in z 1.953 * [taylor]: Taking taylor expansion of y in z 1.953 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 1.953 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 1.953 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 1.953 * [taylor]: Taking taylor expansion of y in y 1.953 * [taylor]: Taking taylor expansion of (exp z) in y 1.953 * [taylor]: Taking taylor expansion of z in y 1.953 * [taylor]: Taking taylor expansion of 1.0 in y 1.953 * [taylor]: Taking taylor expansion of y in y 1.953 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 1.953 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 1.953 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 1.953 * [taylor]: Taking taylor expansion of y in y 1.953 * [taylor]: Taking taylor expansion of (exp z) in y 1.953 * [taylor]: Taking taylor expansion of z in y 1.953 * [taylor]: Taking taylor expansion of 1.0 in y 1.953 * [taylor]: Taking taylor expansion of y in y 1.954 * [taylor]: Taking taylor expansion of 1.0 in z 1.955 * [taylor]: Taking taylor expansion of (- (exp z) 1) in z 1.955 * [taylor]: Taking taylor expansion of (exp z) in z 1.955 * [taylor]: Taking taylor expansion of z in z 1.955 * [taylor]: Taking taylor expansion of 1 in z 1.958 * [taylor]: Taking taylor expansion of 0 in z 1.961 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [approximate]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in (y z) around 0 1.963 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 1.963 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 1.963 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 1.963 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.963 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.963 * [taylor]: Taking taylor expansion of z in z 1.963 * [taylor]: Taking taylor expansion of y in z 1.963 * [taylor]: Taking taylor expansion of 1.0 in z 1.963 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.963 * [taylor]: Taking taylor expansion of y in z 1.963 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 1.964 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 1.964 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 1.964 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 1.964 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.964 * [taylor]: Taking taylor expansion of z in y 1.964 * [taylor]: Taking taylor expansion of y in y 1.964 * [taylor]: Taking taylor expansion of 1.0 in y 1.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.964 * [taylor]: Taking taylor expansion of y in y 1.964 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 1.964 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 1.964 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 1.964 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 1.964 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.964 * [taylor]: Taking taylor expansion of z in y 1.964 * [taylor]: Taking taylor expansion of y in y 1.964 * [taylor]: Taking taylor expansion of 1.0 in y 1.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.964 * [taylor]: Taking taylor expansion of y in y 1.965 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 1.965 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 1.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.965 * [taylor]: Taking taylor expansion of z in z 1.965 * [taylor]: Taking taylor expansion of 1 in z 1.968 * [taylor]: Taking taylor expansion of 1.0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [taylor]: Taking taylor expansion of 0 in z 1.976 * [approximate]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in (y z) around 0 1.976 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z 1.976 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z 1.976 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z 1.976 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 1.976 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.976 * [taylor]: Taking taylor expansion of -1 in z 1.977 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.977 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.977 * [taylor]: Taking taylor expansion of -1 in z 1.977 * [taylor]: Taking taylor expansion of z in z 1.977 * [taylor]: Taking taylor expansion of y in z 1.980 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.980 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.980 * [taylor]: Taking taylor expansion of y in z 1.980 * [taylor]: Taking taylor expansion of 1.0 in z 1.980 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 1.980 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 1.980 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 1.980 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.980 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.980 * [taylor]: Taking taylor expansion of -1 in y 1.981 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 1.981 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.981 * [taylor]: Taking taylor expansion of -1 in y 1.981 * [taylor]: Taking taylor expansion of z in y 1.981 * [taylor]: Taking taylor expansion of y in y 1.984 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.984 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.984 * [taylor]: Taking taylor expansion of y in y 1.984 * [taylor]: Taking taylor expansion of 1.0 in y 1.984 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 1.984 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 1.984 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 1.984 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.984 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.984 * [taylor]: Taking taylor expansion of -1 in y 1.985 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 1.985 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.985 * [taylor]: Taking taylor expansion of -1 in y 1.985 * [taylor]: Taking taylor expansion of z in y 1.985 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.988 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of 1.0 in y 1.989 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 1.989 * [taylor]: Taking taylor expansion of 1 in z 1.989 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 1.989 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.989 * [taylor]: Taking taylor expansion of -1 in z 1.989 * [taylor]: Taking taylor expansion of z in z 1.996 * [taylor]: Taking taylor expansion of 1.0 in z 2.002 * [taylor]: Taking taylor expansion of 0 in z 2.009 * [taylor]: Taking taylor expansion of 0 in z 2.009 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 2.010 * [approximate]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in (y z) around 0 2.010 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z 2.010 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 2.010 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 2.010 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 2.010 * [taylor]: Taking taylor expansion of y in z 2.010 * [taylor]: Taking taylor expansion of (exp z) in z 2.010 * [taylor]: Taking taylor expansion of z in z 2.010 * [taylor]: Taking taylor expansion of 1.0 in z 2.010 * [taylor]: Taking taylor expansion of y in z 2.010 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 2.010 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 2.010 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 2.010 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 2.010 * [taylor]: Taking taylor expansion of y in y 2.010 * [taylor]: Taking taylor expansion of (exp z) in y 2.010 * [taylor]: Taking taylor expansion of z in y 2.010 * [taylor]: Taking taylor expansion of 1.0 in y 2.010 * [taylor]: Taking taylor expansion of y in y 2.011 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 2.011 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 2.012 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 2.012 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 2.012 * [taylor]: Taking taylor expansion of y in y 2.012 * [taylor]: Taking taylor expansion of (exp z) in y 2.012 * [taylor]: Taking taylor expansion of z in y 2.012 * [taylor]: Taking taylor expansion of 1.0 in y 2.012 * [taylor]: Taking taylor expansion of y in y 2.013 * [taylor]: Taking taylor expansion of (log 1.0) in z 2.013 * [taylor]: Taking taylor expansion of 1.0 in z 2.015 * [taylor]: Taking taylor expansion of (- (* 1.0 (exp z)) 1.0) in z 2.015 * [taylor]: Taking taylor expansion of (* 1.0 (exp z)) in z 2.015 * [taylor]: Taking taylor expansion of 1.0 in z 2.015 * [taylor]: Taking taylor expansion of (exp z) in z 2.015 * [taylor]: Taking taylor expansion of z in z 2.015 * [taylor]: Taking taylor expansion of 1.0 in z 2.020 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))))) in z 2.020 * [taylor]: Taking taylor expansion of 1/2 in z 2.020 * [taylor]: Taking taylor expansion of (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2)))) in z 2.020 * [taylor]: Taking taylor expansion of (* 2 (/ (exp z) (pow 1.0 2))) in z 2.020 * [taylor]: Taking taylor expansion of 2 in z 2.020 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 2)) in z 2.020 * [taylor]: Taking taylor expansion of (exp z) in z 2.020 * [taylor]: Taking taylor expansion of z in z 2.020 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 2.020 * [taylor]: Taking taylor expansion of 1.0 in z 2.021 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))) in z 2.021 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 2)) in z 2.021 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 2.021 * [taylor]: Taking taylor expansion of 1.0 in z 2.021 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 2)) in z 2.021 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 2.021 * [taylor]: Taking taylor expansion of (exp z) in z 2.021 * [taylor]: Taking taylor expansion of z in z 2.021 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 2.021 * [taylor]: Taking taylor expansion of 1.0 in z 2.032 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))))) in z 2.032 * [taylor]: Taking taylor expansion of 1/6 in z 2.032 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3))))) in z 2.032 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) in z 2.032 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) in z 2.032 * [taylor]: Taking taylor expansion of 2 in z 2.032 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (pow 1.0 3)) in z 2.032 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z 2.032 * [taylor]: Taking taylor expansion of (exp z) in z 2.032 * [taylor]: Taking taylor expansion of z in z 2.032 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.032 * [taylor]: Taking taylor expansion of 1.0 in z 2.033 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0) in z 2.034 * [taylor]: Taking taylor expansion of (* 6 (/ (exp z) (pow 1.0 3))) in z 2.034 * [taylor]: Taking taylor expansion of 6 in z 2.034 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 3)) in z 2.034 * [taylor]: Taking taylor expansion of (exp z) in z 2.034 * [taylor]: Taking taylor expansion of z in z 2.034 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.034 * [taylor]: Taking taylor expansion of 1.0 in z 2.034 * [taylor]: Taking taylor expansion of 1.0 in z 2.034 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))) in z 2.034 * [taylor]: Taking taylor expansion of (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) in z 2.034 * [taylor]: Taking taylor expansion of 6 in z 2.035 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 3)) in z 2.035 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 2.035 * [taylor]: Taking taylor expansion of (exp z) in z 2.035 * [taylor]: Taking taylor expansion of z in z 2.035 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.035 * [taylor]: Taking taylor expansion of 1.0 in z 2.036 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow 1.0 3))) in z 2.036 * [taylor]: Taking taylor expansion of 2 in z 2.036 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 3)) in z 2.036 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.036 * [taylor]: Taking taylor expansion of 1.0 in z 2.040 * [approximate]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in (y z) around 0 2.040 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z 2.040 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 2.040 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 2.040 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 2.040 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 2.040 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.040 * [taylor]: Taking taylor expansion of z in z 2.041 * [taylor]: Taking taylor expansion of y in z 2.041 * [taylor]: Taking taylor expansion of 1.0 in z 2.041 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.041 * [taylor]: Taking taylor expansion of y in z 2.041 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 2.041 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 2.041 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 2.041 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 2.041 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 2.041 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.041 * [taylor]: Taking taylor expansion of z in y 2.041 * [taylor]: Taking taylor expansion of y in y 2.041 * [taylor]: Taking taylor expansion of 1.0 in y 2.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.041 * [taylor]: Taking taylor expansion of y in y 2.042 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 2.042 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 2.042 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 2.042 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 2.042 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 2.042 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.042 * [taylor]: Taking taylor expansion of z in y 2.042 * [taylor]: Taking taylor expansion of y in y 2.042 * [taylor]: Taking taylor expansion of 1.0 in y 2.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.042 * [taylor]: Taking taylor expansion of y in y 2.043 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z 2.043 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z 2.043 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 2.043 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 2.043 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.043 * [taylor]: Taking taylor expansion of z in z 2.044 * [taylor]: Taking taylor expansion of 1 in z 2.044 * [taylor]: Taking taylor expansion of (log y) in z 2.044 * [taylor]: Taking taylor expansion of y in z 2.048 * [taylor]: Taking taylor expansion of (/ 1.0 (- (exp (/ 1 z)) 1)) in z 2.048 * [taylor]: Taking taylor expansion of 1.0 in z 2.048 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 2.048 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 2.048 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.048 * [taylor]: Taking taylor expansion of z in z 2.048 * [taylor]: Taking taylor expansion of 1 in z 2.055 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- (exp (/ 1 z)) 1) 2)) in z 2.055 * [taylor]: Taking taylor expansion of -0.5 in z 2.055 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z 2.055 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 2.055 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 2.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.055 * [taylor]: Taking taylor expansion of z in z 2.055 * [taylor]: Taking taylor expansion of 1 in z 2.057 * [approximate]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in (y z) around 0 2.057 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in z 2.057 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z 2.057 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z 2.057 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z 2.057 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 2.057 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.057 * [taylor]: Taking taylor expansion of -1 in z 2.058 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 2.058 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.058 * [taylor]: Taking taylor expansion of -1 in z 2.058 * [taylor]: Taking taylor expansion of z in z 2.058 * [taylor]: Taking taylor expansion of y in z 2.061 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 2.061 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.061 * [taylor]: Taking taylor expansion of y in z 2.061 * [taylor]: Taking taylor expansion of 1.0 in z 2.062 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y 2.062 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 2.062 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 2.062 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 2.062 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 2.062 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.062 * [taylor]: Taking taylor expansion of -1 in y 2.063 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 2.063 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.063 * [taylor]: Taking taylor expansion of -1 in y 2.063 * [taylor]: Taking taylor expansion of z in y 2.063 * [taylor]: Taking taylor expansion of y in y 2.066 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.066 * [taylor]: Taking taylor expansion of y in y 2.066 * [taylor]: Taking taylor expansion of 1.0 in y 2.066 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y 2.066 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 2.066 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 2.066 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 2.066 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 2.067 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.067 * [taylor]: Taking taylor expansion of -1 in y 2.067 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 2.067 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.067 * [taylor]: Taking taylor expansion of -1 in y 2.067 * [taylor]: Taking taylor expansion of z in y 2.067 * [taylor]: Taking taylor expansion of y in y 2.070 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.070 * [taylor]: Taking taylor expansion of y in y 2.071 * [taylor]: Taking taylor expansion of 1.0 in y 2.071 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z 2.071 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z 2.071 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 2.071 * [taylor]: Taking taylor expansion of 1 in z 2.071 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 2.071 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.071 * [taylor]: Taking taylor expansion of -1 in z 2.071 * [taylor]: Taking taylor expansion of z in z 2.072 * [taylor]: Taking taylor expansion of (log y) in z 2.072 * [taylor]: Taking taylor expansion of y in z 2.077 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1 (exp (/ -1 z)))) in z 2.077 * [taylor]: Taking taylor expansion of 1.0 in z 2.077 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 2.077 * [taylor]: Taking taylor expansion of 1 in z 2.077 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 2.077 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.077 * [taylor]: Taking taylor expansion of -1 in z 2.077 * [taylor]: Taking taylor expansion of z in z 2.091 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- 1 (exp (/ -1 z))) 2)) in z 2.092 * [taylor]: Taking taylor expansion of -0.5 in z 2.092 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z 2.092 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 2.092 * [taylor]: Taking taylor expansion of 1 in z 2.092 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 2.092 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.092 * [taylor]: Taking taylor expansion of -1 in z 2.092 * [taylor]: Taking taylor expansion of z in z 2.093 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1 2) 2.093 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 2.093 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.093 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.093 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.093 * [taylor]: Taking taylor expansion of 1/9 in y 2.093 * [taylor]: Taking taylor expansion of (log y) in y 2.093 * [taylor]: Taking taylor expansion of y in y 2.094 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.094 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.094 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.094 * [taylor]: Taking taylor expansion of 1/9 in y 2.094 * [taylor]: Taking taylor expansion of (log y) in y 2.094 * [taylor]: Taking taylor expansion of y in y 2.116 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 2.116 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.116 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.116 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.116 * [taylor]: Taking taylor expansion of 1/9 in y 2.116 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.116 * [taylor]: Taking taylor expansion of y in y 2.117 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.117 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.117 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.117 * [taylor]: Taking taylor expansion of 1/9 in y 2.117 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.117 * [taylor]: Taking taylor expansion of y in y 2.143 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 2.143 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.143 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.143 * [taylor]: Taking taylor expansion of 1/3 in y 2.143 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.143 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.143 * [taylor]: Taking taylor expansion of -1 in y 2.147 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.147 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.147 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.147 * [taylor]: Taking taylor expansion of 1/9 in y 2.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.147 * [taylor]: Taking taylor expansion of y in y 2.148 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.148 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.148 * [taylor]: Taking taylor expansion of 1/3 in y 2.148 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.148 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.148 * [taylor]: Taking taylor expansion of -1 in y 2.152 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.152 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.152 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.152 * [taylor]: Taking taylor expansion of 1/9 in y 2.152 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.152 * [taylor]: Taking taylor expansion of y in y 2.219 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 2 1 1 2) 2.219 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 2.219 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.219 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.219 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.219 * [taylor]: Taking taylor expansion of 1/9 in y 2.219 * [taylor]: Taking taylor expansion of (log y) in y 2.219 * [taylor]: Taking taylor expansion of y in y 2.220 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.220 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.220 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.220 * [taylor]: Taking taylor expansion of 1/9 in y 2.220 * [taylor]: Taking taylor expansion of (log y) in y 2.220 * [taylor]: Taking taylor expansion of y in y 2.248 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 2.248 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.248 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.248 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.248 * [taylor]: Taking taylor expansion of 1/9 in y 2.248 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.248 * [taylor]: Taking taylor expansion of y in y 2.249 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.249 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.249 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.249 * [taylor]: Taking taylor expansion of 1/9 in y 2.249 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.249 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.249 * [taylor]: Taking taylor expansion of y in y 2.275 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 2.275 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.275 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.275 * [taylor]: Taking taylor expansion of 1/3 in y 2.275 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.275 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.275 * [taylor]: Taking taylor expansion of -1 in y 2.278 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.278 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.279 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.279 * [taylor]: Taking taylor expansion of 1/9 in y 2.279 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.279 * [taylor]: Taking taylor expansion of y in y 2.279 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 2.279 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 2.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 2.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 2.279 * [taylor]: Taking taylor expansion of 1/3 in y 2.279 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 2.279 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.280 * [taylor]: Taking taylor expansion of -1 in y 2.283 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 2.283 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 2.283 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 2.283 * [taylor]: Taking taylor expansion of 1/9 in y 2.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.283 * [taylor]: Taking taylor expansion of y in y 2.351 * * * [progress]: simplifying candidates 2.352 * [simplify]: Simplifying using # : (* (/ (exp 1.0) (exp y)) (exp (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (* (exp (- 1.0 y)) (exp (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (exp (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (* (* (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) 3)) (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (- y (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (log (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))))) (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log 1) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (exp (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (* (* (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) 1.0)) (- (+ (* y (exp z)) 1.0) y) (- (+ (* (exp z) y) 1.0) y) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (+ (log (- (exp z) 1)) (* 1.0 (/ 1 (* (- (exp z) 1) y)))) (+ (log (/ 1 y)) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (pow y 2)))))) (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (pow y 2)))) (log (/ -1 y))))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) 2.358 * * [simplify]: iteration 0 : 309 enodes (cost 986 ) 2.363 * * [simplify]: iteration 1 : 1092 enodes (cost 868 ) 2.387 * * [simplify]: iteration 2 : 5002 enodes (cost 794 ) 2.391 * [simplify]: Simplified to: (* (exp 1.0) (exp (- (* (* (* (cbrt y) (cbrt y)) (exp z)) (pow (cbrt (cbrt y)) 3)) y))) (* (exp 1.0) (exp (- (* (* (* (cbrt y) (cbrt y)) (exp z)) (pow (cbrt (cbrt y)) 3)) y))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (* (exp 1.0) (exp (- (* (* (* (cbrt y) (cbrt y)) (exp z)) (pow (cbrt (cbrt y)) 3)) y))) (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (pow (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) 3) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) 3)) (+ (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (exp z)) (pow (cbrt (cbrt y)) 3)) (neg (- 1.0 y))) (* (* (* (cbrt y) (cbrt y)) (exp z)) (pow (cbrt (cbrt y)) 3))) (* (- 1.0 y) 1.0)) (* (- 1.0 y) (* -1 y))) (+ (+ (* (* (pow (* (cbrt (cbrt y)) (cbrt (cbrt y))) 3) (exp (+ z z))) (* (neg y) (cbrt y))) (* (- 1.0 y) 1.0)) (* (- 1.0 y) (* -1 y))) (- (+ (* (neg (* (* (cbrt y) (cbrt y)) (exp z))) (cbrt y)) 1.0) y) (* (- (exp z) 1) y) (* (- (exp z) 1) y) (* (- 1 (exp z)) y) (* 2 (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))))) (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) 0 (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (- (+ (* (exp z) y) 1.0) y) (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (pow (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z))))) 3) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (exp z)))))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z))) (- (+ (* (exp z) y) 1.0) y) (- (+ (* (exp z) y) 1.0) y) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (/ (/ 1.0 y) (- (exp z) 1)) (- (- (/ (/ 0.5 (pow y 2)) (pow (- (exp z) 1) 2)) (log y)) (log (- (exp z) 1)))) (- (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (log (/ -1 y)))) (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) 2.391 * * * [progress]: adding candidates to table 2.783 * * [progress]: iteration 4 / 4 2.783 * * * [progress]: picking best candidate 2.850 * * * * [pick]: Picked # 2.850 * * * [progress]: localizing error 2.875 * * * [progress]: generating rewritten candidates 2.875 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 2.889 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 2.898 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2 1 1 2 1 1) 2.903 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 2 1 2) 2.905 * * * [progress]: generating series expansions 2.905 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 2.906 * [approximate]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in (y z) around 0 2.906 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 2.906 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 2.906 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 2.906 * [taylor]: Taking taylor expansion of y in z 2.906 * [taylor]: Taking taylor expansion of (exp z) in z 2.906 * [taylor]: Taking taylor expansion of z in z 2.906 * [taylor]: Taking taylor expansion of 1.0 in z 2.906 * [taylor]: Taking taylor expansion of y in z 2.906 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 2.906 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 2.906 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 2.906 * [taylor]: Taking taylor expansion of y in y 2.906 * [taylor]: Taking taylor expansion of (exp z) in y 2.906 * [taylor]: Taking taylor expansion of z in y 2.906 * [taylor]: Taking taylor expansion of 1.0 in y 2.906 * [taylor]: Taking taylor expansion of y in y 2.906 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 2.906 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 2.906 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 2.906 * [taylor]: Taking taylor expansion of y in y 2.906 * [taylor]: Taking taylor expansion of (exp z) in y 2.906 * [taylor]: Taking taylor expansion of z in y 2.906 * [taylor]: Taking taylor expansion of 1.0 in y 2.906 * [taylor]: Taking taylor expansion of y in y 2.907 * [taylor]: Taking taylor expansion of 1.0 in z 2.909 * [taylor]: Taking taylor expansion of (- (exp z) 1) in z 2.909 * [taylor]: Taking taylor expansion of (exp z) in z 2.909 * [taylor]: Taking taylor expansion of z in z 2.909 * [taylor]: Taking taylor expansion of 1 in z 2.911 * [taylor]: Taking taylor expansion of 0 in z 2.915 * [taylor]: Taking taylor expansion of 0 in z 2.917 * [approximate]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in (y z) around 0 2.917 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 2.917 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 2.917 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 2.917 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 2.917 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.917 * [taylor]: Taking taylor expansion of z in z 2.917 * [taylor]: Taking taylor expansion of y in z 2.917 * [taylor]: Taking taylor expansion of 1.0 in z 2.917 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.917 * [taylor]: Taking taylor expansion of y in z 2.917 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 2.917 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 2.917 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 2.917 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 2.917 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.917 * [taylor]: Taking taylor expansion of z in y 2.917 * [taylor]: Taking taylor expansion of y in y 2.917 * [taylor]: Taking taylor expansion of 1.0 in y 2.917 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.918 * [taylor]: Taking taylor expansion of y in y 2.918 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 2.918 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 2.918 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 2.918 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 2.918 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.918 * [taylor]: Taking taylor expansion of z in y 2.918 * [taylor]: Taking taylor expansion of y in y 2.918 * [taylor]: Taking taylor expansion of 1.0 in y 2.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.918 * [taylor]: Taking taylor expansion of y in y 2.919 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 2.919 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 2.919 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.919 * [taylor]: Taking taylor expansion of z in z 2.919 * [taylor]: Taking taylor expansion of 1 in z 2.922 * [taylor]: Taking taylor expansion of 1.0 in z 2.925 * [taylor]: Taking taylor expansion of 0 in z 2.929 * [taylor]: Taking taylor expansion of 0 in z 2.930 * [approximate]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in (y z) around 0 2.930 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z 2.930 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z 2.930 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z 2.930 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 2.930 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.930 * [taylor]: Taking taylor expansion of -1 in z 2.931 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 2.931 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.931 * [taylor]: Taking taylor expansion of -1 in z 2.931 * [taylor]: Taking taylor expansion of z in z 2.931 * [taylor]: Taking taylor expansion of y in z 2.934 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 2.934 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.934 * [taylor]: Taking taylor expansion of y in z 2.934 * [taylor]: Taking taylor expansion of 1.0 in z 2.935 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 2.935 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 2.935 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 2.935 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 2.935 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.935 * [taylor]: Taking taylor expansion of -1 in y 2.935 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 2.935 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.935 * [taylor]: Taking taylor expansion of -1 in y 2.935 * [taylor]: Taking taylor expansion of z in y 2.935 * [taylor]: Taking taylor expansion of y in y 2.938 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.938 * [taylor]: Taking taylor expansion of y in y 2.939 * [taylor]: Taking taylor expansion of 1.0 in y 2.939 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 2.939 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 2.939 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 2.939 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 2.939 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.939 * [taylor]: Taking taylor expansion of -1 in y 2.940 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 2.940 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.940 * [taylor]: Taking taylor expansion of -1 in y 2.940 * [taylor]: Taking taylor expansion of z in y 2.940 * [taylor]: Taking taylor expansion of y in y 2.943 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 2.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.943 * [taylor]: Taking taylor expansion of y in y 2.943 * [taylor]: Taking taylor expansion of 1.0 in y 2.943 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 2.943 * [taylor]: Taking taylor expansion of 1 in z 2.943 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 2.943 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.943 * [taylor]: Taking taylor expansion of -1 in z 2.943 * [taylor]: Taking taylor expansion of z in z 2.947 * [taylor]: Taking taylor expansion of 1.0 in z 2.953 * [taylor]: Taking taylor expansion of 0 in z 2.960 * [taylor]: Taking taylor expansion of 0 in z 2.960 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 2.961 * [approximate]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in (y z) around 0 2.961 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in z 2.961 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in z 2.961 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in z 2.961 * [taylor]: Taking taylor expansion of (* y (exp z)) in z 2.961 * [taylor]: Taking taylor expansion of y in z 2.961 * [taylor]: Taking taylor expansion of (exp z) in z 2.961 * [taylor]: Taking taylor expansion of z in z 2.961 * [taylor]: Taking taylor expansion of 1.0 in z 2.961 * [taylor]: Taking taylor expansion of y in z 2.961 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 2.961 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 2.961 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 2.961 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 2.961 * [taylor]: Taking taylor expansion of y in y 2.961 * [taylor]: Taking taylor expansion of (exp z) in y 2.961 * [taylor]: Taking taylor expansion of z in y 2.961 * [taylor]: Taking taylor expansion of 1.0 in y 2.962 * [taylor]: Taking taylor expansion of y in y 2.963 * [taylor]: Taking taylor expansion of (log (- (+ (* y (exp z)) 1.0) y)) in y 2.963 * [taylor]: Taking taylor expansion of (- (+ (* y (exp z)) 1.0) y) in y 2.963 * [taylor]: Taking taylor expansion of (+ (* y (exp z)) 1.0) in y 2.963 * [taylor]: Taking taylor expansion of (* y (exp z)) in y 2.963 * [taylor]: Taking taylor expansion of y in y 2.963 * [taylor]: Taking taylor expansion of (exp z) in y 2.963 * [taylor]: Taking taylor expansion of z in y 2.963 * [taylor]: Taking taylor expansion of 1.0 in y 2.963 * [taylor]: Taking taylor expansion of y in y 2.964 * [taylor]: Taking taylor expansion of (log 1.0) in z 2.964 * [taylor]: Taking taylor expansion of 1.0 in z 2.966 * [taylor]: Taking taylor expansion of (- (* 1.0 (exp z)) 1.0) in z 2.966 * [taylor]: Taking taylor expansion of (* 1.0 (exp z)) in z 2.966 * [taylor]: Taking taylor expansion of 1.0 in z 2.966 * [taylor]: Taking taylor expansion of (exp z) in z 2.966 * [taylor]: Taking taylor expansion of z in z 2.966 * [taylor]: Taking taylor expansion of 1.0 in z 2.972 * [taylor]: Taking taylor expansion of (* 1/2 (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))))) in z 2.972 * [taylor]: Taking taylor expansion of 1/2 in z 2.972 * [taylor]: Taking taylor expansion of (- (* 2 (/ (exp z) (pow 1.0 2))) (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2)))) in z 2.972 * [taylor]: Taking taylor expansion of (* 2 (/ (exp z) (pow 1.0 2))) in z 2.972 * [taylor]: Taking taylor expansion of 2 in z 2.972 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 2)) in z 2.972 * [taylor]: Taking taylor expansion of (exp z) in z 2.972 * [taylor]: Taking taylor expansion of z in z 2.972 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 2.972 * [taylor]: Taking taylor expansion of 1.0 in z 2.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow 1.0 2)) (/ (pow (exp z) 2) (pow 1.0 2))) in z 2.973 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 2)) in z 2.973 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 2.973 * [taylor]: Taking taylor expansion of 1.0 in z 2.973 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 2)) in z 2.973 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 2.973 * [taylor]: Taking taylor expansion of (exp z) in z 2.973 * [taylor]: Taking taylor expansion of z in z 2.973 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 2.973 * [taylor]: Taking taylor expansion of 1.0 in z 2.991 * [taylor]: Taking taylor expansion of (* 1/6 (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))))) in z 2.991 * [taylor]: Taking taylor expansion of 1/6 in z 2.991 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3))))) in z 2.991 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0)) in z 2.991 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (exp z) 3) (pow 1.0 3))) in z 2.991 * [taylor]: Taking taylor expansion of 2 in z 2.991 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 3) (pow 1.0 3)) in z 2.991 * [taylor]: Taking taylor expansion of (pow (exp z) 3) in z 2.991 * [taylor]: Taking taylor expansion of (exp z) in z 2.991 * [taylor]: Taking taylor expansion of z in z 2.991 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.991 * [taylor]: Taking taylor expansion of 1.0 in z 2.993 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (exp z) (pow 1.0 3))) 1.0) in z 2.993 * [taylor]: Taking taylor expansion of (* 6 (/ (exp z) (pow 1.0 3))) in z 2.993 * [taylor]: Taking taylor expansion of 6 in z 2.993 * [taylor]: Taking taylor expansion of (/ (exp z) (pow 1.0 3)) in z 2.993 * [taylor]: Taking taylor expansion of (exp z) in z 2.993 * [taylor]: Taking taylor expansion of z in z 2.993 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.993 * [taylor]: Taking taylor expansion of 1.0 in z 2.994 * [taylor]: Taking taylor expansion of 1.0 in z 2.994 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) (* 2 (/ 1 (pow 1.0 3)))) in z 2.994 * [taylor]: Taking taylor expansion of (* 6 (/ (pow (exp z) 2) (pow 1.0 3))) in z 2.994 * [taylor]: Taking taylor expansion of 6 in z 2.994 * [taylor]: Taking taylor expansion of (/ (pow (exp z) 2) (pow 1.0 3)) in z 2.994 * [taylor]: Taking taylor expansion of (pow (exp z) 2) in z 2.994 * [taylor]: Taking taylor expansion of (exp z) in z 2.994 * [taylor]: Taking taylor expansion of z in z 2.994 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.994 * [taylor]: Taking taylor expansion of 1.0 in z 2.995 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow 1.0 3))) in z 2.995 * [taylor]: Taking taylor expansion of 2 in z 2.995 * [taylor]: Taking taylor expansion of (/ 1 (pow 1.0 3)) in z 2.995 * [taylor]: Taking taylor expansion of (pow 1.0 3) in z 2.995 * [taylor]: Taking taylor expansion of 1.0 in z 2.999 * [approximate]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in (y z) around 0 3.000 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in z 3.000 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in z 3.000 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in z 3.000 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in z 3.000 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 3.000 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.000 * [taylor]: Taking taylor expansion of z in z 3.000 * [taylor]: Taking taylor expansion of y in z 3.000 * [taylor]: Taking taylor expansion of 1.0 in z 3.000 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.000 * [taylor]: Taking taylor expansion of y in z 3.000 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 3.000 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 3.000 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 3.001 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 3.001 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 3.001 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.001 * [taylor]: Taking taylor expansion of z in y 3.001 * [taylor]: Taking taylor expansion of y in y 3.001 * [taylor]: Taking taylor expansion of 1.0 in y 3.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.001 * [taylor]: Taking taylor expansion of y in y 3.001 * [taylor]: Taking taylor expansion of (log (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y))) in y 3.002 * [taylor]: Taking taylor expansion of (- (+ (/ (exp (/ 1 z)) y) 1.0) (/ 1 y)) in y 3.002 * [taylor]: Taking taylor expansion of (+ (/ (exp (/ 1 z)) y) 1.0) in y 3.002 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 z)) y) in y 3.002 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in y 3.002 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.002 * [taylor]: Taking taylor expansion of z in y 3.002 * [taylor]: Taking taylor expansion of y in y 3.002 * [taylor]: Taking taylor expansion of 1.0 in y 3.002 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.002 * [taylor]: Taking taylor expansion of y in y 3.003 * [taylor]: Taking taylor expansion of (- (log (- (exp (/ 1 z)) 1)) (log y)) in z 3.003 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 z)) 1)) in z 3.003 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 3.003 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 3.003 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.003 * [taylor]: Taking taylor expansion of z in z 3.003 * [taylor]: Taking taylor expansion of 1 in z 3.003 * [taylor]: Taking taylor expansion of (log y) in z 3.004 * [taylor]: Taking taylor expansion of y in z 3.007 * [taylor]: Taking taylor expansion of (/ 1.0 (- (exp (/ 1 z)) 1)) in z 3.007 * [taylor]: Taking taylor expansion of 1.0 in z 3.007 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 3.007 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 3.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.007 * [taylor]: Taking taylor expansion of z in z 3.008 * [taylor]: Taking taylor expansion of 1 in z 3.015 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- (exp (/ 1 z)) 1) 2)) in z 3.015 * [taylor]: Taking taylor expansion of -0.5 in z 3.015 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 z)) 1) 2) in z 3.015 * [taylor]: Taking taylor expansion of (- (exp (/ 1 z)) 1) in z 3.015 * [taylor]: Taking taylor expansion of (exp (/ 1 z)) in z 3.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.015 * [taylor]: Taking taylor expansion of z in z 3.015 * [taylor]: Taking taylor expansion of 1 in z 3.017 * [approximate]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in (y z) around 0 3.017 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in z 3.017 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in z 3.017 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in z 3.017 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in z 3.017 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 3.017 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.017 * [taylor]: Taking taylor expansion of -1 in z 3.018 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 3.018 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.018 * [taylor]: Taking taylor expansion of -1 in z 3.018 * [taylor]: Taking taylor expansion of z in z 3.019 * [taylor]: Taking taylor expansion of y in z 3.022 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 3.022 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.022 * [taylor]: Taking taylor expansion of y in z 3.022 * [taylor]: Taking taylor expansion of 1.0 in z 3.022 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y 3.022 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 3.022 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 3.022 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 3.022 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 3.022 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.022 * [taylor]: Taking taylor expansion of -1 in y 3.023 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 3.023 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.023 * [taylor]: Taking taylor expansion of -1 in y 3.023 * [taylor]: Taking taylor expansion of z in y 3.023 * [taylor]: Taking taylor expansion of y in y 3.026 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 3.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.026 * [taylor]: Taking taylor expansion of y in y 3.026 * [taylor]: Taking taylor expansion of 1.0 in y 3.027 * [taylor]: Taking taylor expansion of (log (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0))) in y 3.027 * [taylor]: Taking taylor expansion of (+ (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) (+ (/ 1 y) 1.0)) in y 3.027 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (exp (/ -1 z))) y) in y 3.027 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (exp (/ -1 z))) in y 3.027 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 3.027 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.027 * [taylor]: Taking taylor expansion of -1 in y 3.027 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in y 3.027 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.027 * [taylor]: Taking taylor expansion of -1 in y 3.028 * [taylor]: Taking taylor expansion of z in y 3.028 * [taylor]: Taking taylor expansion of y in y 3.031 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 3.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.031 * [taylor]: Taking taylor expansion of y in y 3.031 * [taylor]: Taking taylor expansion of 1.0 in y 3.032 * [taylor]: Taking taylor expansion of (- (log (- 1 (exp (/ -1 z)))) (log y)) in z 3.032 * [taylor]: Taking taylor expansion of (log (- 1 (exp (/ -1 z)))) in z 3.032 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 3.032 * [taylor]: Taking taylor expansion of 1 in z 3.032 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 3.032 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.032 * [taylor]: Taking taylor expansion of -1 in z 3.032 * [taylor]: Taking taylor expansion of z in z 3.032 * [taylor]: Taking taylor expansion of (log y) in z 3.032 * [taylor]: Taking taylor expansion of y in z 3.037 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1 (exp (/ -1 z)))) in z 3.037 * [taylor]: Taking taylor expansion of 1.0 in z 3.037 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 3.037 * [taylor]: Taking taylor expansion of 1 in z 3.037 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 3.037 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.037 * [taylor]: Taking taylor expansion of -1 in z 3.037 * [taylor]: Taking taylor expansion of z in z 3.047 * [taylor]: Taking taylor expansion of (/ -0.5 (pow (- 1 (exp (/ -1 z))) 2)) in z 3.047 * [taylor]: Taking taylor expansion of -0.5 in z 3.047 * [taylor]: Taking taylor expansion of (pow (- 1 (exp (/ -1 z))) 2) in z 3.047 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 z))) in z 3.047 * [taylor]: Taking taylor expansion of 1 in z 3.047 * [taylor]: Taking taylor expansion of (exp (/ -1 z)) in z 3.047 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.047 * [taylor]: Taking taylor expansion of -1 in z 3.047 * [taylor]: Taking taylor expansion of z in z 3.048 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2 1 1 2 1 1) 3.049 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0 3.049 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 3.049 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 3.049 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 3.049 * [taylor]: Taking taylor expansion of 1/9 in y 3.049 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 3.049 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.049 * [taylor]: Taking taylor expansion of y in y 3.050 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 3.050 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 3.050 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 3.050 * [taylor]: Taking taylor expansion of 1/9 in y 3.050 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 3.050 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.050 * [taylor]: Taking taylor expansion of y in y 3.084 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0 3.084 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.084 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.084 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.084 * [taylor]: Taking taylor expansion of 1/9 in y 3.084 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.084 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.084 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.084 * [taylor]: Taking taylor expansion of y in y 3.085 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.085 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.085 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.086 * [taylor]: Taking taylor expansion of 1/9 in y 3.086 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.086 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.086 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.086 * [taylor]: Taking taylor expansion of y in y 3.116 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in (y) around 0 3.116 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in y 3.116 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 3.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 3.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 3.116 * [taylor]: Taking taylor expansion of 1/3 in y 3.116 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 3.116 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.116 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.116 * [taylor]: Taking taylor expansion of -1 in y 3.122 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.122 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.122 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.122 * [taylor]: Taking taylor expansion of 1/9 in y 3.122 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.122 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.123 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.123 * [taylor]: Taking taylor expansion of y in y 3.124 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in y 3.124 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 3.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 3.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 3.124 * [taylor]: Taking taylor expansion of 1/3 in y 3.124 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 3.124 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.124 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.124 * [taylor]: Taking taylor expansion of -1 in y 3.130 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.130 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.130 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.130 * [taylor]: Taking taylor expansion of 1/9 in y 3.130 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.130 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.130 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.130 * [taylor]: Taking taylor expansion of y in y 3.215 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 2 1 2) 3.215 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 3.215 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 3.215 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 3.215 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 3.215 * [taylor]: Taking taylor expansion of 1/9 in y 3.215 * [taylor]: Taking taylor expansion of (log y) in y 3.215 * [taylor]: Taking taylor expansion of y in y 3.216 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 3.216 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 3.216 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 3.216 * [taylor]: Taking taylor expansion of 1/9 in y 3.216 * [taylor]: Taking taylor expansion of (log y) in y 3.216 * [taylor]: Taking taylor expansion of y in y 3.246 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 3.246 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.246 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.246 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.246 * [taylor]: Taking taylor expansion of 1/9 in y 3.246 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.246 * [taylor]: Taking taylor expansion of y in y 3.247 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.247 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.247 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.247 * [taylor]: Taking taylor expansion of 1/9 in y 3.247 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.247 * [taylor]: Taking taylor expansion of y in y 3.274 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 3.274 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 3.274 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 3.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 3.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 3.274 * [taylor]: Taking taylor expansion of 1/3 in y 3.274 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 3.274 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.274 * [taylor]: Taking taylor expansion of -1 in y 3.278 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.278 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.278 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.278 * [taylor]: Taking taylor expansion of 1/9 in y 3.278 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.278 * [taylor]: Taking taylor expansion of y in y 3.279 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 3.279 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 3.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 3.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 3.279 * [taylor]: Taking taylor expansion of 1/3 in y 3.279 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 3.279 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.279 * [taylor]: Taking taylor expansion of -1 in y 3.283 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.283 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.283 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.283 * [taylor]: Taking taylor expansion of 1/9 in y 3.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.283 * [taylor]: Taking taylor expansion of y in y 3.353 * * * [progress]: simplifying candidates 3.354 * [simplify]: Simplifying using # : (* (/ (exp 1.0) (exp y)) (exp (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (* (exp (- 1.0 y)) (exp (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (exp (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (* (* (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) 3)) (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (+ (neg y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (- y (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (log (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))))) (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log 1) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (exp (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (* (* (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (+ (* 1/2 (* (pow z 2) y)) (+ (* z y) 1.0)) (- (+ (* y (exp z)) 1.0) y) (- (+ (* (exp z) y) 1.0) y) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (+ (log (- (exp z) 1)) (* 1.0 (/ 1 (* (- (exp z) 1) y)))) (+ (log (/ 1 y)) (* 0.5 (/ 1 (* (pow (- (exp z) 1) 2) (pow y 2)))))) (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (+ (* 0.5 (/ 1 (* (pow (- 1 (exp z)) 2) (pow y 2)))) (log (/ -1 y))))) (pow y 2/9) (pow (/ 1 y) -2/9) (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow y 2) 1/9)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) 3.361 * * [simplify]: iteration 0 : 348 enodes (cost 1290 ) 3.366 * * [simplify]: iteration 1 : 1198 enodes (cost 1152 ) 3.392 * * [simplify]: iteration 2 : 5001 enodes (cost 1143 ) 3.397 * [simplify]: Simplified to: (exp (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (exp (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (exp (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (* (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (pow (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) 3) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) 3)) (+ (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (- (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (- 1.0 y))) (* (- 1.0 y) (- 1.0 y))) (+ (+ (* (* (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (* (neg y) (cbrt y))) (* (- 1.0 y) 1.0)) (* (- 1.0 y) (* -1 y))) (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (- (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) y) (- (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) y) (- y (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (* 2 (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))))) (log (cbrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (sqrt (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) 0 (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (+ (pow (- 1.0 y) 3) (pow (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) 3))) (log (+ (* (- 1.0 y) (- 1.0 y)) (- (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (* (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))))) (log (- (* (- 1.0 y) (- 1.0 y)) (* (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (- (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) (log (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))) (* (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))))) (cbrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (pow (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z))))) 3) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (sqrt (log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))))) (cbrt (cbrt y))) (exp z)))))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt y)) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (+ 1.0 (* y (+ (* 1/2 (pow z 2)) z))) (- (+ (* (exp z) y) 1.0) y) (- (+ (* (exp z) y) 1.0) y) (+ (* 1.0 (* z y)) (+ (* 0.16666666666666666 (pow y 3)) (log 1.0))) (- (/ (/ 1.0 y) (- (exp z) 1)) (- (- (/ (/ 0.5 (pow y 2)) (pow (- (exp z) 1) 2)) (log y)) (log (- (exp z) 1)))) (- (- (log (- 1 (exp z))) (+ (* 1.0 (/ 1 (* (- 1 (exp z)) y))) (log (/ -1 y)))) (/ (/ 0.5 (pow y 2)) (pow (- 1 (exp z)) 2))) (pow y 2/9) (pow (/ 1 y) -2/9) (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow y 2) 1/9)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) 3.398 * * * [progress]: adding candidates to table 3.812 * [progress]: [Phase 3 of 3] Extracting. 3.812 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 3.824 * * * [regime-changes]: Trying 7 branch expressions: ((exp z) (+ (- 1.0 y) (* y (exp z))) (log (+ (- 1.0 y) (* y (exp z)))) t z y x) 3.824 * * * * [regimes]: Trying to branch on (exp z) from (# # # # # # # # # # #) 3.938 * * * * [regimes]: Trying to branch on (exp z) from (# # # # # # # # #) 4.040 * * * * [regimes]: Trying to branch on (+ (- 1.0 y) (* y (exp z))) from (# # # # # # # # # # #) 4.158 * * * * [regimes]: Trying to branch on (log (+ (- 1.0 y) (* y (exp z)))) from (# # # # # # # # # # #) 4.282 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # # #) 4.430 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 4.559 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 4.692 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 4.827 * * * [regime]: Found split indices: #