3.727 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (+ x (/ (* y (- z t)) a)) 0.025 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.028 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 0.031 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 0.037 * * [simplify]: iteration 4 : 89 enodes (cost 8 ) 0.051 * * [simplify]: iteration 5 : 140 enodes (cost 8 ) 0.070 * * [simplify]: iteration 6 : 186 enodes (cost 8 ) 0.097 * * [simplify]: iteration 7 : 232 enodes (cost 8 ) 0.128 * * [simplify]: iteration 8 : 307 enodes (cost 8 ) 0.172 * * [simplify]: iteration 9 : 398 enodes (cost 8 ) 0.254 * * [simplify]: iteration 10 : 630 enodes (cost 8 ) 0.433 * * [simplify]: iteration 11 : 840 enodes (cost 8 ) 0.712 * * [simplify]: iteration 12 : 967 enodes (cost 8 ) 1.063 * * [simplify]: iteration 13 : 993 enodes (cost 8 ) 1.418 * * [simplify]: iteration done : 993 enodes (cost 8 ) 1.418 * [simplify]: Simplified to: (fma (/ y a) (- z t) x) 1.421 * * [progress]: iteration 1 / 4 1.421 * * * [progress]: picking best candidate 1.424 * * * * [pick]: Picked # 1.424 * * * [progress]: localizing error 1.431 * * * [progress]: generating rewritten candidates 1.431 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.432 * * * [progress]: generating series expansions 1.432 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.432 * [approximate]: Taking taylor expansion of (fma (/ y a) (- z t) x) in (y a z t x) around 0 1.432 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in x 1.432 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.432 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in x 1.432 * [taylor]: Taking taylor expansion of (/ y a) in x 1.432 * [taylor]: Taking taylor expansion of y in x 1.432 * [taylor]: Taking taylor expansion of a in x 1.432 * [taylor]: Taking taylor expansion of (- z t) in x 1.432 * [taylor]: Taking taylor expansion of z in x 1.432 * [taylor]: Taking taylor expansion of t in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.432 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in t 1.432 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.432 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in t 1.432 * [taylor]: Taking taylor expansion of (/ y a) in t 1.432 * [taylor]: Taking taylor expansion of y in t 1.432 * [taylor]: Taking taylor expansion of a in t 1.432 * [taylor]: Taking taylor expansion of (- z t) in t 1.432 * [taylor]: Taking taylor expansion of z in t 1.432 * [taylor]: Taking taylor expansion of t in t 1.432 * [taylor]: Taking taylor expansion of x in t 1.432 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in z 1.432 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.432 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in z 1.432 * [taylor]: Taking taylor expansion of (/ y a) in z 1.432 * [taylor]: Taking taylor expansion of y in z 1.432 * [taylor]: Taking taylor expansion of a in z 1.433 * [taylor]: Taking taylor expansion of (- z t) in z 1.433 * [taylor]: Taking taylor expansion of z in z 1.433 * [taylor]: Taking taylor expansion of t in z 1.433 * [taylor]: Taking taylor expansion of x in z 1.433 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in a 1.433 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.433 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in a 1.433 * [taylor]: Taking taylor expansion of (/ y a) in a 1.433 * [taylor]: Taking taylor expansion of y in a 1.433 * [taylor]: Taking taylor expansion of a in a 1.433 * [taylor]: Taking taylor expansion of (- z t) in a 1.433 * [taylor]: Taking taylor expansion of z in a 1.433 * [taylor]: Taking taylor expansion of t in a 1.433 * [taylor]: Taking taylor expansion of x in a 1.433 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 1.433 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.433 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 1.433 * [taylor]: Taking taylor expansion of (/ y a) in y 1.433 * [taylor]: Taking taylor expansion of y in y 1.433 * [taylor]: Taking taylor expansion of a in y 1.433 * [taylor]: Taking taylor expansion of (- z t) in y 1.433 * [taylor]: Taking taylor expansion of z in y 1.433 * [taylor]: Taking taylor expansion of t in y 1.433 * [taylor]: Taking taylor expansion of x in y 1.433 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 1.433 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.433 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 1.433 * [taylor]: Taking taylor expansion of (/ y a) in y 1.433 * [taylor]: Taking taylor expansion of y in y 1.433 * [taylor]: Taking taylor expansion of a in y 1.433 * [taylor]: Taking taylor expansion of (- z t) in y 1.433 * [taylor]: Taking taylor expansion of z in y 1.433 * [taylor]: Taking taylor expansion of t in y 1.433 * [taylor]: Taking taylor expansion of x in y 1.433 * [taylor]: Taking taylor expansion of x in a 1.434 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in a 1.434 * [taylor]: Taking taylor expansion of (/ z a) in a 1.434 * [taylor]: Taking taylor expansion of z in a 1.434 * [taylor]: Taking taylor expansion of a in a 1.434 * [taylor]: Taking taylor expansion of (/ t a) in a 1.434 * [taylor]: Taking taylor expansion of t in a 1.434 * [taylor]: Taking taylor expansion of a in a 1.434 * [taylor]: Taking taylor expansion of (- z t) in z 1.434 * [taylor]: Taking taylor expansion of z in z 1.434 * [taylor]: Taking taylor expansion of t in z 1.434 * [taylor]: Taking taylor expansion of (- t) in t 1.434 * [taylor]: Taking taylor expansion of t in t 1.435 * [taylor]: Taking taylor expansion of 0 in x 1.435 * [taylor]: Taking taylor expansion of x in z 1.435 * [taylor]: Taking taylor expansion of x in t 1.435 * [taylor]: Taking taylor expansion of x in x 1.435 * [taylor]: Taking taylor expansion of 0 in a 1.437 * [taylor]: Taking taylor expansion of 0 in z 1.437 * [taylor]: Taking taylor expansion of 0 in t 1.437 * [taylor]: Taking taylor expansion of 0 in x 1.437 * [taylor]: Taking taylor expansion of 0 in z 1.437 * [taylor]: Taking taylor expansion of 0 in t 1.437 * [taylor]: Taking taylor expansion of 0 in x 1.438 * [taylor]: Taking taylor expansion of 1 in t 1.438 * [taylor]: Taking taylor expansion of 1 in x 1.438 * [taylor]: Taking taylor expansion of 0 in t 1.438 * [taylor]: Taking taylor expansion of 0 in x 1.438 * [taylor]: Taking taylor expansion of -1 in x 1.438 * [taylor]: Taking taylor expansion of 0 in x 1.439 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in (y a z t x) around 0 1.439 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in x 1.439 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.439 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in x 1.439 * [taylor]: Taking taylor expansion of (/ a y) in x 1.439 * [taylor]: Taking taylor expansion of a in x 1.439 * [taylor]: Taking taylor expansion of y in x 1.439 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 1.439 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.439 * [taylor]: Taking taylor expansion of z in x 1.439 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.439 * [taylor]: Taking taylor expansion of t in x 1.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.439 * [taylor]: Taking taylor expansion of x in x 1.439 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in t 1.440 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.440 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in t 1.440 * [taylor]: Taking taylor expansion of (/ a y) in t 1.440 * [taylor]: Taking taylor expansion of a in t 1.440 * [taylor]: Taking taylor expansion of y in t 1.440 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.440 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.440 * [taylor]: Taking taylor expansion of z in t 1.440 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.440 * [taylor]: Taking taylor expansion of t in t 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.440 * [taylor]: Taking taylor expansion of x in t 1.440 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in z 1.440 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.440 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in z 1.440 * [taylor]: Taking taylor expansion of (/ a y) in z 1.440 * [taylor]: Taking taylor expansion of a in z 1.440 * [taylor]: Taking taylor expansion of y in z 1.440 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.440 * [taylor]: Taking taylor expansion of z in z 1.441 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.441 * [taylor]: Taking taylor expansion of t in z 1.441 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.441 * [taylor]: Taking taylor expansion of x in z 1.441 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in a 1.441 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.441 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in a 1.441 * [taylor]: Taking taylor expansion of (/ a y) in a 1.441 * [taylor]: Taking taylor expansion of a in a 1.441 * [taylor]: Taking taylor expansion of y in a 1.441 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.441 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.441 * [taylor]: Taking taylor expansion of z in a 1.441 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.441 * [taylor]: Taking taylor expansion of t in a 1.441 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.441 * [taylor]: Taking taylor expansion of x in a 1.441 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 1.441 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.441 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 1.441 * [taylor]: Taking taylor expansion of (/ a y) in y 1.441 * [taylor]: Taking taylor expansion of a in y 1.441 * [taylor]: Taking taylor expansion of y in y 1.441 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.441 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.441 * [taylor]: Taking taylor expansion of z in y 1.441 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.441 * [taylor]: Taking taylor expansion of t in y 1.441 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.441 * [taylor]: Taking taylor expansion of x in y 1.441 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 1.442 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.442 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 1.442 * [taylor]: Taking taylor expansion of (/ a y) in y 1.442 * [taylor]: Taking taylor expansion of a in y 1.442 * [taylor]: Taking taylor expansion of y in y 1.442 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.442 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.442 * [taylor]: Taking taylor expansion of z in y 1.442 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.442 * [taylor]: Taking taylor expansion of t in y 1.442 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.442 * [taylor]: Taking taylor expansion of x in y 1.442 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a 1.442 * [taylor]: Taking taylor expansion of (/ a z) in a 1.442 * [taylor]: Taking taylor expansion of a in a 1.442 * [taylor]: Taking taylor expansion of z in a 1.442 * [taylor]: Taking taylor expansion of (/ a t) in a 1.442 * [taylor]: Taking taylor expansion of a in a 1.442 * [taylor]: Taking taylor expansion of t in a 1.443 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.443 * [taylor]: Taking taylor expansion of x in a 1.443 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.443 * [taylor]: Taking taylor expansion of x in z 1.444 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.444 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.444 * [taylor]: Taking taylor expansion of z in z 1.444 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.444 * [taylor]: Taking taylor expansion of t in z 1.444 * [taylor]: Taking taylor expansion of 1 in t 1.446 * [taylor]: Taking taylor expansion of 0 in a 1.446 * [taylor]: Taking taylor expansion of 0 in z 1.446 * [taylor]: Taking taylor expansion of 0 in z 1.447 * [taylor]: Taking taylor expansion of 0 in z 1.447 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.447 * [taylor]: Taking taylor expansion of x in t 1.448 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 1.448 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.448 * [taylor]: Taking taylor expansion of t in t 1.448 * [taylor]: Taking taylor expansion of -1 in x 1.448 * [taylor]: Taking taylor expansion of 1 in x 1.451 * [taylor]: Taking taylor expansion of 0 in a 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.452 * [taylor]: Taking taylor expansion of 0 in z 1.452 * [taylor]: Taking taylor expansion of 0 in t 1.452 * [taylor]: Taking taylor expansion of 0 in t 1.452 * [taylor]: Taking taylor expansion of 0 in t 1.452 * [taylor]: Taking taylor expansion of 0 in t 1.453 * [taylor]: Taking taylor expansion of 0 in t 1.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of 0 in x 1.454 * [taylor]: Taking taylor expansion of 0 in x 1.455 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in (y a z t x) around 0 1.455 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in x 1.455 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.455 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in x 1.455 * [taylor]: Taking taylor expansion of (/ a y) in x 1.455 * [taylor]: Taking taylor expansion of a in x 1.455 * [taylor]: Taking taylor expansion of y in x 1.455 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 1.455 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.455 * [taylor]: Taking taylor expansion of t in x 1.455 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.455 * [taylor]: Taking taylor expansion of z in x 1.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.455 * [taylor]: Taking taylor expansion of -1 in x 1.455 * [taylor]: Taking taylor expansion of x in x 1.456 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in t 1.456 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.456 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in t 1.456 * [taylor]: Taking taylor expansion of (/ a y) in t 1.456 * [taylor]: Taking taylor expansion of a in t 1.456 * [taylor]: Taking taylor expansion of y in t 1.456 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.456 * [taylor]: Taking taylor expansion of t in t 1.456 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.456 * [taylor]: Taking taylor expansion of z in t 1.456 * [taylor]: Taking taylor expansion of (/ -1 x) in t 1.456 * [taylor]: Taking taylor expansion of -1 in t 1.456 * [taylor]: Taking taylor expansion of x in t 1.456 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in z 1.456 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.456 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in z 1.456 * [taylor]: Taking taylor expansion of (/ a y) in z 1.456 * [taylor]: Taking taylor expansion of a in z 1.456 * [taylor]: Taking taylor expansion of y in z 1.456 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.457 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.457 * [taylor]: Taking taylor expansion of t in z 1.457 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.457 * [taylor]: Taking taylor expansion of z in z 1.457 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.457 * [taylor]: Taking taylor expansion of -1 in z 1.457 * [taylor]: Taking taylor expansion of x in z 1.457 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in a 1.457 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.457 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in a 1.457 * [taylor]: Taking taylor expansion of (/ a y) in a 1.457 * [taylor]: Taking taylor expansion of a in a 1.457 * [taylor]: Taking taylor expansion of y in a 1.457 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.457 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.457 * [taylor]: Taking taylor expansion of t in a 1.457 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.457 * [taylor]: Taking taylor expansion of z in a 1.457 * [taylor]: Taking taylor expansion of (/ -1 x) in a 1.457 * [taylor]: Taking taylor expansion of -1 in a 1.457 * [taylor]: Taking taylor expansion of x in a 1.457 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 1.457 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.457 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 1.457 * [taylor]: Taking taylor expansion of (/ a y) in y 1.457 * [taylor]: Taking taylor expansion of a in y 1.457 * [taylor]: Taking taylor expansion of y in y 1.457 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.458 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.458 * [taylor]: Taking taylor expansion of t in y 1.458 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.458 * [taylor]: Taking taylor expansion of z in y 1.458 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.458 * [taylor]: Taking taylor expansion of -1 in y 1.458 * [taylor]: Taking taylor expansion of x in y 1.458 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 1.458 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.458 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 1.458 * [taylor]: Taking taylor expansion of (/ a y) in y 1.458 * [taylor]: Taking taylor expansion of a in y 1.458 * [taylor]: Taking taylor expansion of y in y 1.458 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.458 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.458 * [taylor]: Taking taylor expansion of t in y 1.458 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.458 * [taylor]: Taking taylor expansion of z in y 1.458 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.458 * [taylor]: Taking taylor expansion of -1 in y 1.458 * [taylor]: Taking taylor expansion of x in y 1.458 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a 1.458 * [taylor]: Taking taylor expansion of (/ a t) in a 1.458 * [taylor]: Taking taylor expansion of a in a 1.458 * [taylor]: Taking taylor expansion of t in a 1.458 * [taylor]: Taking taylor expansion of (/ a z) in a 1.458 * [taylor]: Taking taylor expansion of a in a 1.458 * [taylor]: Taking taylor expansion of z in a 1.460 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 1.460 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.460 * [taylor]: Taking taylor expansion of x in a 1.460 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.460 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.460 * [taylor]: Taking taylor expansion of x in z 1.460 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.460 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.460 * [taylor]: Taking taylor expansion of t in z 1.460 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.460 * [taylor]: Taking taylor expansion of z in z 1.461 * [taylor]: Taking taylor expansion of -1 in t 1.463 * [taylor]: Taking taylor expansion of 0 in a 1.463 * [taylor]: Taking taylor expansion of 0 in z 1.463 * [taylor]: Taking taylor expansion of 0 in z 1.464 * [taylor]: Taking taylor expansion of 0 in z 1.464 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 1.464 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.464 * [taylor]: Taking taylor expansion of x in t 1.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.465 * [taylor]: Taking taylor expansion of t in t 1.465 * [taylor]: Taking taylor expansion of 1 in x 1.465 * [taylor]: Taking taylor expansion of -1 in x 1.468 * [taylor]: Taking taylor expansion of 0 in a 1.468 * [taylor]: Taking taylor expansion of 0 in z 1.468 * [taylor]: Taking taylor expansion of 0 in z 1.468 * [taylor]: Taking taylor expansion of 0 in z 1.469 * [taylor]: Taking taylor expansion of 0 in z 1.469 * [taylor]: Taking taylor expansion of 0 in t 1.469 * [taylor]: Taking taylor expansion of 0 in t 1.469 * [taylor]: Taking taylor expansion of 0 in t 1.469 * [taylor]: Taking taylor expansion of 0 in t 1.470 * [taylor]: Taking taylor expansion of 0 in t 1.470 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 0 in x 1.471 * [taylor]: Taking taylor expansion of 0 in x 1.472 * * * [progress]: simplifying candidates 1.472 * [simplify]: Simplifying using # : (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (* (/ y a) (- z t)) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (* (* (fma (/ y a) (- z t) x) (fma (/ y a) (- z t) x)) (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 1.473 * * [simplify]: iteration 0 : 24 enodes (cost 154 ) 1.476 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 1.484 * * [simplify]: iteration 2 : 92 enodes (cost 138 ) 1.497 * * [simplify]: iteration 3 : 221 enodes (cost 123 ) 1.761 * * [simplify]: iteration 4 : 1092 enodes (cost 123 ) 2.173 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 2.173 * [simplify]: Simplified to: (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (/ (* y (- z t)) a) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (pow (fma (/ y a) (- z t) x) 3) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (fma (/ y a) (- z t) x) (fma (/ y a) (- z t) x) (fma (/ y a) (- z t) x) 2.173 * * * [progress]: adding candidates to table 2.205 * * [progress]: iteration 2 / 4 2.205 * * * [progress]: picking best candidate 2.213 * * * * [pick]: Picked # 2.213 * * * [progress]: localizing error 2.221 * * * [progress]: generating rewritten candidates 2.221 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 2.231 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 2.242 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.262 * * * [progress]: generating series expansions 2.262 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 2.262 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y z t a) around 0 2.262 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 2.262 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 2.262 * [taylor]: Taking taylor expansion of y in a 2.262 * [taylor]: Taking taylor expansion of (- z t) in a 2.262 * [taylor]: Taking taylor expansion of z in a 2.262 * [taylor]: Taking taylor expansion of t in a 2.262 * [taylor]: Taking taylor expansion of a in a 2.262 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 2.262 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 2.262 * [taylor]: Taking taylor expansion of y in t 2.262 * [taylor]: Taking taylor expansion of (- z t) in t 2.262 * [taylor]: Taking taylor expansion of z in t 2.262 * [taylor]: Taking taylor expansion of t in t 2.262 * [taylor]: Taking taylor expansion of a in t 2.263 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 2.263 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 2.263 * [taylor]: Taking taylor expansion of y in z 2.263 * [taylor]: Taking taylor expansion of (- z t) in z 2.263 * [taylor]: Taking taylor expansion of z in z 2.263 * [taylor]: Taking taylor expansion of t in z 2.263 * [taylor]: Taking taylor expansion of a in z 2.263 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 2.263 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 2.263 * [taylor]: Taking taylor expansion of y in y 2.263 * [taylor]: Taking taylor expansion of (- z t) in y 2.263 * [taylor]: Taking taylor expansion of z in y 2.263 * [taylor]: Taking taylor expansion of t in y 2.263 * [taylor]: Taking taylor expansion of a in y 2.264 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 2.264 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 2.264 * [taylor]: Taking taylor expansion of y in y 2.264 * [taylor]: Taking taylor expansion of (- z t) in y 2.264 * [taylor]: Taking taylor expansion of z in y 2.264 * [taylor]: Taking taylor expansion of t in y 2.264 * [taylor]: Taking taylor expansion of a in y 2.265 * [taylor]: Taking taylor expansion of (/ (- z t) a) in z 2.265 * [taylor]: Taking taylor expansion of (- z t) in z 2.265 * [taylor]: Taking taylor expansion of z in z 2.265 * [taylor]: Taking taylor expansion of t in z 2.265 * [taylor]: Taking taylor expansion of a in z 2.265 * [taylor]: Taking taylor expansion of (* -1 (/ t a)) in t 2.265 * [taylor]: Taking taylor expansion of -1 in t 2.265 * [taylor]: Taking taylor expansion of (/ t a) in t 2.265 * [taylor]: Taking taylor expansion of t in t 2.265 * [taylor]: Taking taylor expansion of a in t 2.266 * [taylor]: Taking taylor expansion of 0 in z 2.266 * [taylor]: Taking taylor expansion of 0 in t 2.266 * [taylor]: Taking taylor expansion of 0 in a 2.267 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.267 * [taylor]: Taking taylor expansion of a in t 2.267 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.267 * [taylor]: Taking taylor expansion of a in a 2.267 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.267 * [taylor]: Taking taylor expansion of -1 in a 2.267 * [taylor]: Taking taylor expansion of a in a 2.269 * [taylor]: Taking taylor expansion of 0 in z 2.269 * [taylor]: Taking taylor expansion of 0 in t 2.269 * [taylor]: Taking taylor expansion of 0 in a 2.269 * [taylor]: Taking taylor expansion of 0 in t 2.269 * [taylor]: Taking taylor expansion of 0 in a 2.270 * [taylor]: Taking taylor expansion of 0 in t 2.270 * [taylor]: Taking taylor expansion of 0 in a 2.270 * [taylor]: Taking taylor expansion of 0 in a 2.270 * [taylor]: Taking taylor expansion of 0 in a 2.270 * [taylor]: Taking taylor expansion of 0 in a 2.272 * [taylor]: Taking taylor expansion of 0 in z 2.273 * [taylor]: Taking taylor expansion of 0 in t 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in t 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in t 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in t 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.273 * [taylor]: Taking taylor expansion of 0 in a 2.274 * [taylor]: Taking taylor expansion of 0 in a 2.275 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y z t a) around 0 2.275 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 2.275 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 2.275 * [taylor]: Taking taylor expansion of a in a 2.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 2.275 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.275 * [taylor]: Taking taylor expansion of z in a 2.275 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.275 * [taylor]: Taking taylor expansion of t in a 2.275 * [taylor]: Taking taylor expansion of y in a 2.276 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 2.276 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 2.276 * [taylor]: Taking taylor expansion of a in t 2.276 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 2.276 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.276 * [taylor]: Taking taylor expansion of z in t 2.276 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.276 * [taylor]: Taking taylor expansion of t in t 2.276 * [taylor]: Taking taylor expansion of y in t 2.277 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 2.277 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.277 * [taylor]: Taking taylor expansion of a in z 2.277 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.277 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.277 * [taylor]: Taking taylor expansion of z in z 2.277 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.277 * [taylor]: Taking taylor expansion of t in z 2.277 * [taylor]: Taking taylor expansion of y in z 2.277 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 2.277 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 2.277 * [taylor]: Taking taylor expansion of a in y 2.278 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 2.278 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.278 * [taylor]: Taking taylor expansion of z in y 2.278 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.278 * [taylor]: Taking taylor expansion of t in y 2.278 * [taylor]: Taking taylor expansion of y in y 2.278 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 2.278 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 2.278 * [taylor]: Taking taylor expansion of a in y 2.278 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 2.278 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.278 * [taylor]: Taking taylor expansion of z in y 2.278 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.278 * [taylor]: Taking taylor expansion of t in y 2.278 * [taylor]: Taking taylor expansion of y in y 2.278 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.278 * [taylor]: Taking taylor expansion of a in z 2.278 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.278 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.278 * [taylor]: Taking taylor expansion of z in z 2.279 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.279 * [taylor]: Taking taylor expansion of t in z 2.279 * [taylor]: Taking taylor expansion of a in t 2.280 * [taylor]: Taking taylor expansion of 0 in z 2.281 * [taylor]: Taking taylor expansion of (- (/ a t)) in t 2.281 * [taylor]: Taking taylor expansion of (/ a t) in t 2.281 * [taylor]: Taking taylor expansion of a in t 2.281 * [taylor]: Taking taylor expansion of t in t 2.281 * [taylor]: Taking taylor expansion of (- a) in a 2.281 * [taylor]: Taking taylor expansion of a in a 2.281 * [taylor]: Taking taylor expansion of a in a 2.283 * [taylor]: Taking taylor expansion of 0 in z 2.283 * [taylor]: Taking taylor expansion of 0 in t 2.285 * [taylor]: Taking taylor expansion of 0 in t 2.285 * [taylor]: Taking taylor expansion of 0 in a 2.285 * [taylor]: Taking taylor expansion of 0 in a 2.288 * [taylor]: Taking taylor expansion of 0 in z 2.288 * [taylor]: Taking taylor expansion of 0 in t 2.288 * [taylor]: Taking taylor expansion of 0 in t 2.290 * [taylor]: Taking taylor expansion of 0 in t 2.290 * [taylor]: Taking taylor expansion of 0 in a 2.290 * [taylor]: Taking taylor expansion of 0 in a 2.290 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y z t a) around 0 2.290 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 2.290 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 2.290 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 2.290 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.290 * [taylor]: Taking taylor expansion of t in a 2.290 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.290 * [taylor]: Taking taylor expansion of z in a 2.290 * [taylor]: Taking taylor expansion of a in a 2.290 * [taylor]: Taking taylor expansion of y in a 2.291 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 2.291 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 2.291 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 2.291 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.291 * [taylor]: Taking taylor expansion of t in t 2.292 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.292 * [taylor]: Taking taylor expansion of z in t 2.292 * [taylor]: Taking taylor expansion of a in t 2.292 * [taylor]: Taking taylor expansion of y in t 2.292 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 2.292 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.292 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.292 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.292 * [taylor]: Taking taylor expansion of t in z 2.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.292 * [taylor]: Taking taylor expansion of z in z 2.293 * [taylor]: Taking taylor expansion of a in z 2.293 * [taylor]: Taking taylor expansion of y in z 2.293 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 2.293 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 2.293 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 2.293 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.293 * [taylor]: Taking taylor expansion of t in y 2.293 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.293 * [taylor]: Taking taylor expansion of z in y 2.293 * [taylor]: Taking taylor expansion of a in y 2.293 * [taylor]: Taking taylor expansion of y in y 2.294 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 2.294 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 2.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.294 * [taylor]: Taking taylor expansion of t in y 2.294 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.294 * [taylor]: Taking taylor expansion of z in y 2.294 * [taylor]: Taking taylor expansion of a in y 2.294 * [taylor]: Taking taylor expansion of y in y 2.294 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.294 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.294 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.294 * [taylor]: Taking taylor expansion of t in z 2.294 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.294 * [taylor]: Taking taylor expansion of z in z 2.295 * [taylor]: Taking taylor expansion of a in z 2.295 * [taylor]: Taking taylor expansion of (* -1 a) in t 2.295 * [taylor]: Taking taylor expansion of -1 in t 2.295 * [taylor]: Taking taylor expansion of a in t 2.297 * [taylor]: Taking taylor expansion of 0 in z 2.298 * [taylor]: Taking taylor expansion of (/ a t) in t 2.298 * [taylor]: Taking taylor expansion of a in t 2.298 * [taylor]: Taking taylor expansion of t in t 2.298 * [taylor]: Taking taylor expansion of a in a 2.298 * [taylor]: Taking taylor expansion of (* -1 a) in a 2.298 * [taylor]: Taking taylor expansion of -1 in a 2.298 * [taylor]: Taking taylor expansion of a in a 2.300 * [taylor]: Taking taylor expansion of 0 in z 2.300 * [taylor]: Taking taylor expansion of 0 in t 2.302 * [taylor]: Taking taylor expansion of 0 in t 2.302 * [taylor]: Taking taylor expansion of 0 in a 2.302 * [taylor]: Taking taylor expansion of 0 in a 2.305 * [taylor]: Taking taylor expansion of 0 in z 2.305 * [taylor]: Taking taylor expansion of 0 in t 2.305 * [taylor]: Taking taylor expansion of 0 in t 2.307 * [taylor]: Taking taylor expansion of 0 in t 2.307 * [taylor]: Taking taylor expansion of 0 in a 2.307 * [taylor]: Taking taylor expansion of 0 in a 2.307 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 2.307 * [approximate]: Taking taylor expansion of (* y (- z t)) in (y z t) around 0 2.307 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 2.307 * [taylor]: Taking taylor expansion of y in t 2.307 * [taylor]: Taking taylor expansion of (- z t) in t 2.308 * [taylor]: Taking taylor expansion of z in t 2.308 * [taylor]: Taking taylor expansion of t in t 2.308 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 2.308 * [taylor]: Taking taylor expansion of y in z 2.308 * [taylor]: Taking taylor expansion of (- z t) in z 2.308 * [taylor]: Taking taylor expansion of z in z 2.308 * [taylor]: Taking taylor expansion of t in z 2.308 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 2.308 * [taylor]: Taking taylor expansion of y in y 2.308 * [taylor]: Taking taylor expansion of (- z t) in y 2.308 * [taylor]: Taking taylor expansion of z in y 2.308 * [taylor]: Taking taylor expansion of t in y 2.308 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 2.308 * [taylor]: Taking taylor expansion of y in y 2.308 * [taylor]: Taking taylor expansion of (- z t) in y 2.308 * [taylor]: Taking taylor expansion of z in y 2.308 * [taylor]: Taking taylor expansion of t in y 2.308 * [taylor]: Taking taylor expansion of 0 in z 2.308 * [taylor]: Taking taylor expansion of 0 in t 2.309 * [taylor]: Taking taylor expansion of (- z t) in z 2.309 * [taylor]: Taking taylor expansion of z in z 2.309 * [taylor]: Taking taylor expansion of t in z 2.309 * [taylor]: Taking taylor expansion of (- t) in t 2.309 * [taylor]: Taking taylor expansion of t in t 2.309 * [taylor]: Taking taylor expansion of 0 in t 2.310 * [taylor]: Taking taylor expansion of 0 in z 2.310 * [taylor]: Taking taylor expansion of 0 in t 2.311 * [taylor]: Taking taylor expansion of 1 in t 2.311 * [taylor]: Taking taylor expansion of 0 in t 2.312 * [taylor]: Taking taylor expansion of 0 in z 2.312 * [taylor]: Taking taylor expansion of 0 in t 2.312 * [taylor]: Taking taylor expansion of 0 in t 2.313 * [taylor]: Taking taylor expansion of 0 in t 2.313 * [taylor]: Taking taylor expansion of 0 in t 2.313 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in (y z t) around 0 2.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in t 2.313 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 2.313 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.313 * [taylor]: Taking taylor expansion of z in t 2.313 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.313 * [taylor]: Taking taylor expansion of t in t 2.313 * [taylor]: Taking taylor expansion of y in t 2.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in z 2.314 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.314 * [taylor]: Taking taylor expansion of z in z 2.314 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.314 * [taylor]: Taking taylor expansion of t in z 2.314 * [taylor]: Taking taylor expansion of y in z 2.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 2.314 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 2.314 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.314 * [taylor]: Taking taylor expansion of z in y 2.315 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.315 * [taylor]: Taking taylor expansion of t in y 2.315 * [taylor]: Taking taylor expansion of y in y 2.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 t)) y) in y 2.315 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 2.315 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.315 * [taylor]: Taking taylor expansion of z in y 2.315 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.315 * [taylor]: Taking taylor expansion of t in y 2.315 * [taylor]: Taking taylor expansion of y in y 2.315 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.315 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.315 * [taylor]: Taking taylor expansion of z in z 2.315 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.315 * [taylor]: Taking taylor expansion of t in z 2.316 * [taylor]: Taking taylor expansion of 1 in t 2.317 * [taylor]: Taking taylor expansion of 0 in z 2.317 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 2.317 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.317 * [taylor]: Taking taylor expansion of t in t 2.319 * [taylor]: Taking taylor expansion of 0 in z 2.319 * [taylor]: Taking taylor expansion of 0 in t 2.320 * [taylor]: Taking taylor expansion of 0 in t 2.323 * [taylor]: Taking taylor expansion of 0 in z 2.323 * [taylor]: Taking taylor expansion of 0 in t 2.323 * [taylor]: Taking taylor expansion of 0 in t 2.324 * [taylor]: Taking taylor expansion of 0 in t 2.325 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in (y z t) around 0 2.325 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in t 2.325 * [taylor]: Taking taylor expansion of -1 in t 2.325 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in t 2.325 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 2.325 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.325 * [taylor]: Taking taylor expansion of t in t 2.325 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.326 * [taylor]: Taking taylor expansion of z in t 2.326 * [taylor]: Taking taylor expansion of y in t 2.326 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in z 2.326 * [taylor]: Taking taylor expansion of -1 in z 2.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in z 2.326 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.326 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.326 * [taylor]: Taking taylor expansion of t in z 2.326 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.326 * [taylor]: Taking taylor expansion of z in z 2.326 * [taylor]: Taking taylor expansion of y in z 2.327 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 2.327 * [taylor]: Taking taylor expansion of -1 in y 2.327 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 2.327 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 2.327 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.327 * [taylor]: Taking taylor expansion of t in y 2.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.327 * [taylor]: Taking taylor expansion of z in y 2.327 * [taylor]: Taking taylor expansion of y in y 2.327 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 z)) y)) in y 2.327 * [taylor]: Taking taylor expansion of -1 in y 2.327 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 z)) y) in y 2.327 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 2.327 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.327 * [taylor]: Taking taylor expansion of t in y 2.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.327 * [taylor]: Taking taylor expansion of z in y 2.327 * [taylor]: Taking taylor expansion of y in y 2.328 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 z))) in z 2.328 * [taylor]: Taking taylor expansion of -1 in z 2.328 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.328 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.328 * [taylor]: Taking taylor expansion of t in z 2.328 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.328 * [taylor]: Taking taylor expansion of z in z 2.329 * [taylor]: Taking taylor expansion of 1 in t 2.330 * [taylor]: Taking taylor expansion of 0 in z 2.331 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 2.331 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.331 * [taylor]: Taking taylor expansion of t in t 2.334 * [taylor]: Taking taylor expansion of 0 in z 2.334 * [taylor]: Taking taylor expansion of 0 in t 2.338 * [taylor]: Taking taylor expansion of 0 in t 2.341 * [taylor]: Taking taylor expansion of 0 in z 2.341 * [taylor]: Taking taylor expansion of 0 in t 2.341 * [taylor]: Taking taylor expansion of 0 in t 2.343 * [taylor]: Taking taylor expansion of 0 in t 2.344 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.345 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (y z t a x) around 0 2.345 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x 2.345 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x 2.345 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x 2.345 * [taylor]: Taking taylor expansion of (* z y) in x 2.345 * [taylor]: Taking taylor expansion of z in x 2.345 * [taylor]: Taking taylor expansion of y in x 2.345 * [taylor]: Taking taylor expansion of a in x 2.345 * [taylor]: Taking taylor expansion of x in x 2.345 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x 2.345 * [taylor]: Taking taylor expansion of (* t y) in x 2.345 * [taylor]: Taking taylor expansion of t in x 2.345 * [taylor]: Taking taylor expansion of y in x 2.345 * [taylor]: Taking taylor expansion of a in x 2.345 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a 2.345 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a 2.345 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a 2.345 * [taylor]: Taking taylor expansion of (* z y) in a 2.345 * [taylor]: Taking taylor expansion of z in a 2.345 * [taylor]: Taking taylor expansion of y in a 2.345 * [taylor]: Taking taylor expansion of a in a 2.345 * [taylor]: Taking taylor expansion of x in a 2.345 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a 2.345 * [taylor]: Taking taylor expansion of (* t y) in a 2.345 * [taylor]: Taking taylor expansion of t in a 2.345 * [taylor]: Taking taylor expansion of y in a 2.345 * [taylor]: Taking taylor expansion of a in a 2.346 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t 2.346 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t 2.346 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t 2.346 * [taylor]: Taking taylor expansion of (* z y) in t 2.346 * [taylor]: Taking taylor expansion of z in t 2.346 * [taylor]: Taking taylor expansion of y in t 2.346 * [taylor]: Taking taylor expansion of a in t 2.346 * [taylor]: Taking taylor expansion of x in t 2.346 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 2.346 * [taylor]: Taking taylor expansion of (* t y) in t 2.346 * [taylor]: Taking taylor expansion of t in t 2.346 * [taylor]: Taking taylor expansion of y in t 2.346 * [taylor]: Taking taylor expansion of a in t 2.346 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 2.346 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 2.346 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 2.346 * [taylor]: Taking taylor expansion of (* z y) in z 2.346 * [taylor]: Taking taylor expansion of z in z 2.346 * [taylor]: Taking taylor expansion of y in z 2.346 * [taylor]: Taking taylor expansion of a in z 2.347 * [taylor]: Taking taylor expansion of x in z 2.347 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 2.347 * [taylor]: Taking taylor expansion of (* t y) in z 2.347 * [taylor]: Taking taylor expansion of t in z 2.347 * [taylor]: Taking taylor expansion of y in z 2.347 * [taylor]: Taking taylor expansion of a in z 2.347 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 2.347 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 2.347 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 2.347 * [taylor]: Taking taylor expansion of (* z y) in y 2.347 * [taylor]: Taking taylor expansion of z in y 2.347 * [taylor]: Taking taylor expansion of y in y 2.347 * [taylor]: Taking taylor expansion of a in y 2.347 * [taylor]: Taking taylor expansion of x in y 2.347 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 2.347 * [taylor]: Taking taylor expansion of (* t y) in y 2.347 * [taylor]: Taking taylor expansion of t in y 2.347 * [taylor]: Taking taylor expansion of y in y 2.347 * [taylor]: Taking taylor expansion of a in y 2.348 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 2.348 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 2.348 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 2.348 * [taylor]: Taking taylor expansion of (* z y) in y 2.348 * [taylor]: Taking taylor expansion of z in y 2.348 * [taylor]: Taking taylor expansion of y in y 2.348 * [taylor]: Taking taylor expansion of a in y 2.348 * [taylor]: Taking taylor expansion of x in y 2.348 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 2.348 * [taylor]: Taking taylor expansion of (* t y) in y 2.348 * [taylor]: Taking taylor expansion of t in y 2.348 * [taylor]: Taking taylor expansion of y in y 2.348 * [taylor]: Taking taylor expansion of a in y 2.349 * [taylor]: Taking taylor expansion of x in z 2.349 * [taylor]: Taking taylor expansion of x in t 2.349 * [taylor]: Taking taylor expansion of x in a 2.349 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in z 2.349 * [taylor]: Taking taylor expansion of (/ z a) in z 2.349 * [taylor]: Taking taylor expansion of z in z 2.349 * [taylor]: Taking taylor expansion of a in z 2.349 * [taylor]: Taking taylor expansion of (/ t a) in z 2.349 * [taylor]: Taking taylor expansion of t in z 2.349 * [taylor]: Taking taylor expansion of a in z 2.349 * [taylor]: Taking taylor expansion of (- (/ t a)) in t 2.349 * [taylor]: Taking taylor expansion of (/ t a) in t 2.349 * [taylor]: Taking taylor expansion of t in t 2.349 * [taylor]: Taking taylor expansion of a in t 2.349 * [taylor]: Taking taylor expansion of 0 in t 2.349 * [taylor]: Taking taylor expansion of 0 in a 2.349 * [taylor]: Taking taylor expansion of 0 in a 2.349 * [taylor]: Taking taylor expansion of x in x 2.351 * [taylor]: Taking taylor expansion of 0 in z 2.351 * [taylor]: Taking taylor expansion of 0 in t 2.351 * [taylor]: Taking taylor expansion of 0 in a 2.351 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.351 * [taylor]: Taking taylor expansion of a in t 2.351 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.351 * [taylor]: Taking taylor expansion of a in a 2.352 * [taylor]: Taking taylor expansion of 1 in x 2.352 * [taylor]: Taking taylor expansion of 0 in t 2.352 * [taylor]: Taking taylor expansion of 0 in a 2.352 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 2.352 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.352 * [taylor]: Taking taylor expansion of a in a 2.352 * [taylor]: Taking taylor expansion of -1 in x 2.352 * [taylor]: Taking taylor expansion of 0 in a 2.352 * [taylor]: Taking taylor expansion of 0 in a 2.352 * [taylor]: Taking taylor expansion of 0 in x 2.352 * [taylor]: Taking taylor expansion of 0 in x 2.352 * [taylor]: Taking taylor expansion of 0 in x 2.353 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (y z t a x) around 0 2.353 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x 2.353 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 2.353 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 2.353 * [taylor]: Taking taylor expansion of a in x 2.353 * [taylor]: Taking taylor expansion of (* z y) in x 2.353 * [taylor]: Taking taylor expansion of z in x 2.353 * [taylor]: Taking taylor expansion of y in x 2.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.354 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 2.354 * [taylor]: Taking taylor expansion of a in x 2.354 * [taylor]: Taking taylor expansion of (* y t) in x 2.354 * [taylor]: Taking taylor expansion of y in x 2.354 * [taylor]: Taking taylor expansion of t in x 2.354 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a 2.354 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 2.354 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 2.354 * [taylor]: Taking taylor expansion of a in a 2.354 * [taylor]: Taking taylor expansion of (* z y) in a 2.354 * [taylor]: Taking taylor expansion of z in a 2.354 * [taylor]: Taking taylor expansion of y in a 2.354 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.354 * [taylor]: Taking taylor expansion of x in a 2.354 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 2.354 * [taylor]: Taking taylor expansion of a in a 2.354 * [taylor]: Taking taylor expansion of (* y t) in a 2.354 * [taylor]: Taking taylor expansion of y in a 2.354 * [taylor]: Taking taylor expansion of t in a 2.354 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t 2.354 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 2.354 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 2.354 * [taylor]: Taking taylor expansion of a in t 2.354 * [taylor]: Taking taylor expansion of (* z y) in t 2.354 * [taylor]: Taking taylor expansion of z in t 2.354 * [taylor]: Taking taylor expansion of y in t 2.354 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.354 * [taylor]: Taking taylor expansion of x in t 2.355 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 2.355 * [taylor]: Taking taylor expansion of a in t 2.355 * [taylor]: Taking taylor expansion of (* y t) in t 2.355 * [taylor]: Taking taylor expansion of y in t 2.355 * [taylor]: Taking taylor expansion of t in t 2.355 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 2.355 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 2.355 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 2.355 * [taylor]: Taking taylor expansion of a in z 2.355 * [taylor]: Taking taylor expansion of (* z y) in z 2.355 * [taylor]: Taking taylor expansion of z in z 2.355 * [taylor]: Taking taylor expansion of y in z 2.355 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.355 * [taylor]: Taking taylor expansion of x in z 2.355 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 2.355 * [taylor]: Taking taylor expansion of a in z 2.355 * [taylor]: Taking taylor expansion of (* y t) in z 2.355 * [taylor]: Taking taylor expansion of y in z 2.355 * [taylor]: Taking taylor expansion of t in z 2.356 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 2.356 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 2.356 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 2.356 * [taylor]: Taking taylor expansion of a in y 2.356 * [taylor]: Taking taylor expansion of (* z y) in y 2.356 * [taylor]: Taking taylor expansion of z in y 2.356 * [taylor]: Taking taylor expansion of y in y 2.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.356 * [taylor]: Taking taylor expansion of x in y 2.356 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 2.356 * [taylor]: Taking taylor expansion of a in y 2.356 * [taylor]: Taking taylor expansion of (* y t) in y 2.356 * [taylor]: Taking taylor expansion of y in y 2.356 * [taylor]: Taking taylor expansion of t in y 2.356 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 2.356 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 2.356 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 2.356 * [taylor]: Taking taylor expansion of a in y 2.356 * [taylor]: Taking taylor expansion of (* z y) in y 2.356 * [taylor]: Taking taylor expansion of z in y 2.356 * [taylor]: Taking taylor expansion of y in y 2.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.357 * [taylor]: Taking taylor expansion of x in y 2.357 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 2.357 * [taylor]: Taking taylor expansion of a in y 2.357 * [taylor]: Taking taylor expansion of (* y t) in y 2.357 * [taylor]: Taking taylor expansion of y in y 2.357 * [taylor]: Taking taylor expansion of t in y 2.357 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in z 2.357 * [taylor]: Taking taylor expansion of (/ a z) in z 2.357 * [taylor]: Taking taylor expansion of a in z 2.357 * [taylor]: Taking taylor expansion of z in z 2.357 * [taylor]: Taking taylor expansion of (/ a t) in z 2.358 * [taylor]: Taking taylor expansion of a in z 2.358 * [taylor]: Taking taylor expansion of t in z 2.358 * [taylor]: Taking taylor expansion of a in t 2.359 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.359 * [taylor]: Taking taylor expansion of x in z 2.360 * [taylor]: Taking taylor expansion of (- (/ a t)) in t 2.360 * [taylor]: Taking taylor expansion of (/ a t) in t 2.360 * [taylor]: Taking taylor expansion of a in t 2.360 * [taylor]: Taking taylor expansion of t in t 2.360 * [taylor]: Taking taylor expansion of (- a) in a 2.360 * [taylor]: Taking taylor expansion of a in a 2.360 * [taylor]: Taking taylor expansion of 0 in x 2.360 * [taylor]: Taking taylor expansion of a in a 2.360 * [taylor]: Taking taylor expansion of 0 in x 2.362 * [taylor]: Taking taylor expansion of 0 in z 2.362 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.362 * [taylor]: Taking taylor expansion of x in t 2.364 * [taylor]: Taking taylor expansion of 0 in t 2.364 * [taylor]: Taking taylor expansion of 0 in a 2.364 * [taylor]: Taking taylor expansion of 0 in x 2.364 * [taylor]: Taking taylor expansion of 0 in a 2.364 * [taylor]: Taking taylor expansion of 0 in x 2.365 * [taylor]: Taking taylor expansion of -1 in x 2.365 * [taylor]: Taking taylor expansion of 1 in x 2.367 * [taylor]: Taking taylor expansion of 0 in z 2.367 * [taylor]: Taking taylor expansion of 0 in t 2.367 * [taylor]: Taking taylor expansion of 0 in t 2.369 * [taylor]: Taking taylor expansion of 0 in t 2.369 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.369 * [taylor]: Taking taylor expansion of x in a 2.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.369 * [taylor]: Taking taylor expansion of x in x 2.369 * [taylor]: Taking taylor expansion of 0 in a 2.370 * [taylor]: Taking taylor expansion of 0 in x 2.371 * [taylor]: Taking taylor expansion of 0 in a 2.371 * [taylor]: Taking taylor expansion of 0 in x 2.371 * [taylor]: Taking taylor expansion of 0 in a 2.371 * [taylor]: Taking taylor expansion of 0 in x 2.371 * [taylor]: Taking taylor expansion of 0 in x 2.371 * [taylor]: Taking taylor expansion of 0 in x 2.371 * [taylor]: Taking taylor expansion of 0 in x 2.371 * [taylor]: Taking taylor expansion of 0 in x 2.372 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (y z t a x) around 0 2.372 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x 2.372 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 2.372 * [taylor]: Taking taylor expansion of a in x 2.372 * [taylor]: Taking taylor expansion of (* y t) in x 2.372 * [taylor]: Taking taylor expansion of y in x 2.372 * [taylor]: Taking taylor expansion of t in x 2.372 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 2.372 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 2.372 * [taylor]: Taking taylor expansion of a in x 2.372 * [taylor]: Taking taylor expansion of (* z y) in x 2.372 * [taylor]: Taking taylor expansion of z in x 2.372 * [taylor]: Taking taylor expansion of y in x 2.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.372 * [taylor]: Taking taylor expansion of x in x 2.373 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a 2.373 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 2.373 * [taylor]: Taking taylor expansion of a in a 2.373 * [taylor]: Taking taylor expansion of (* y t) in a 2.373 * [taylor]: Taking taylor expansion of y in a 2.373 * [taylor]: Taking taylor expansion of t in a 2.373 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 2.373 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 2.373 * [taylor]: Taking taylor expansion of a in a 2.373 * [taylor]: Taking taylor expansion of (* z y) in a 2.373 * [taylor]: Taking taylor expansion of z in a 2.373 * [taylor]: Taking taylor expansion of y in a 2.373 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.373 * [taylor]: Taking taylor expansion of x in a 2.373 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t 2.373 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 2.373 * [taylor]: Taking taylor expansion of a in t 2.373 * [taylor]: Taking taylor expansion of (* y t) in t 2.373 * [taylor]: Taking taylor expansion of y in t 2.373 * [taylor]: Taking taylor expansion of t in t 2.373 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 2.373 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 2.373 * [taylor]: Taking taylor expansion of a in t 2.373 * [taylor]: Taking taylor expansion of (* z y) in t 2.374 * [taylor]: Taking taylor expansion of z in t 2.374 * [taylor]: Taking taylor expansion of y in t 2.374 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.374 * [taylor]: Taking taylor expansion of x in t 2.374 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 2.374 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 2.374 * [taylor]: Taking taylor expansion of a in z 2.374 * [taylor]: Taking taylor expansion of (* y t) in z 2.374 * [taylor]: Taking taylor expansion of y in z 2.374 * [taylor]: Taking taylor expansion of t in z 2.374 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 2.374 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 2.374 * [taylor]: Taking taylor expansion of a in z 2.374 * [taylor]: Taking taylor expansion of (* z y) in z 2.374 * [taylor]: Taking taylor expansion of z in z 2.374 * [taylor]: Taking taylor expansion of y in z 2.374 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.374 * [taylor]: Taking taylor expansion of x in z 2.374 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 2.374 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 2.374 * [taylor]: Taking taylor expansion of a in y 2.374 * [taylor]: Taking taylor expansion of (* y t) in y 2.374 * [taylor]: Taking taylor expansion of y in y 2.374 * [taylor]: Taking taylor expansion of t in y 2.375 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 2.375 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 2.375 * [taylor]: Taking taylor expansion of a in y 2.375 * [taylor]: Taking taylor expansion of (* z y) in y 2.375 * [taylor]: Taking taylor expansion of z in y 2.375 * [taylor]: Taking taylor expansion of y in y 2.375 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.375 * [taylor]: Taking taylor expansion of x in y 2.375 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 2.375 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 2.375 * [taylor]: Taking taylor expansion of a in y 2.375 * [taylor]: Taking taylor expansion of (* y t) in y 2.375 * [taylor]: Taking taylor expansion of y in y 2.375 * [taylor]: Taking taylor expansion of t in y 2.376 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 2.376 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 2.376 * [taylor]: Taking taylor expansion of a in y 2.376 * [taylor]: Taking taylor expansion of (* z y) in y 2.376 * [taylor]: Taking taylor expansion of z in y 2.376 * [taylor]: Taking taylor expansion of y in y 2.376 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.376 * [taylor]: Taking taylor expansion of x in y 2.376 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in z 2.376 * [taylor]: Taking taylor expansion of (/ a t) in z 2.376 * [taylor]: Taking taylor expansion of a in z 2.376 * [taylor]: Taking taylor expansion of t in z 2.376 * [taylor]: Taking taylor expansion of (/ a z) in z 2.376 * [taylor]: Taking taylor expansion of a in z 2.376 * [taylor]: Taking taylor expansion of z in z 2.376 * [taylor]: Taking taylor expansion of (- a) in t 2.376 * [taylor]: Taking taylor expansion of a in t 2.378 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 2.378 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.378 * [taylor]: Taking taylor expansion of x in z 2.378 * [taylor]: Taking taylor expansion of (/ a t) in t 2.378 * [taylor]: Taking taylor expansion of a in t 2.378 * [taylor]: Taking taylor expansion of t in t 2.379 * [taylor]: Taking taylor expansion of a in a 2.379 * [taylor]: Taking taylor expansion of 0 in x 2.379 * [taylor]: Taking taylor expansion of (- a) in a 2.379 * [taylor]: Taking taylor expansion of a in a 2.379 * [taylor]: Taking taylor expansion of 0 in x 2.381 * [taylor]: Taking taylor expansion of 0 in z 2.381 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 2.381 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.381 * [taylor]: Taking taylor expansion of x in t 2.382 * [taylor]: Taking taylor expansion of 0 in t 2.383 * [taylor]: Taking taylor expansion of 0 in a 2.383 * [taylor]: Taking taylor expansion of 0 in x 2.383 * [taylor]: Taking taylor expansion of 0 in a 2.383 * [taylor]: Taking taylor expansion of 0 in x 2.383 * [taylor]: Taking taylor expansion of 1 in x 2.384 * [taylor]: Taking taylor expansion of -1 in x 2.386 * [taylor]: Taking taylor expansion of 0 in z 2.386 * [taylor]: Taking taylor expansion of 0 in t 2.386 * [taylor]: Taking taylor expansion of 0 in t 2.388 * [taylor]: Taking taylor expansion of 0 in t 2.388 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 2.388 * [taylor]: Taking taylor expansion of (/ 1 x) in a 2.388 * [taylor]: Taking taylor expansion of x in a 2.388 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.388 * [taylor]: Taking taylor expansion of x in x 2.389 * [taylor]: Taking taylor expansion of 0 in a 2.389 * [taylor]: Taking taylor expansion of 0 in x 2.390 * [taylor]: Taking taylor expansion of 0 in a 2.390 * [taylor]: Taking taylor expansion of 0 in x 2.390 * [taylor]: Taking taylor expansion of 0 in a 2.390 * [taylor]: Taking taylor expansion of 0 in x 2.390 * [taylor]: Taking taylor expansion of 0 in x 2.390 * [taylor]: Taking taylor expansion of 0 in x 2.390 * [taylor]: Taking taylor expansion of 0 in x 2.391 * [taylor]: Taking taylor expansion of 0 in x 2.391 * * * [progress]: simplifying candidates 2.393 * [simplify]: Simplifying using # : (expm1 (/ (* y (- z t)) a)) (log1p (/ (* y (- z t)) a)) (- (+ (log y) (log (- z t))) (log a)) (- (log (* y (- z t))) (log a)) (log (/ (* y (- z t)) a)) (exp (/ (* y (- z t)) a)) (/ (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t))) (* (* a a) a)) (/ (* (* (* y (- z t)) (* y (- z t))) (* y (- z t))) (* (* a a) a)) (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a))) (cbrt (/ (* y (- z t)) a)) (* (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (- (* y (- z t))) (- a) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) (/ y 1) (/ (- z t) a) (/ 1 a) (/ a (* y (- z t))) (/ (* y (- z t)) (* (cbrt a) (cbrt a))) (/ (* y (- z t)) (sqrt a)) (/ (* y (- z t)) 1) (/ a (- z t)) (* a (+ (* z z) (+ (* t t) (* z t)))) (* a (+ z t)) (expm1 (* y (- z t))) (log1p (* y (- z t))) (* y (- z t)) (+ (log y) (log (- z t))) (log (* y (- z t))) (exp (* y (- z t))) (* (* (* y y) y) (* (* (- z t) (- z t)) (- z t))) (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t))) (* (* (* y (- z t)) (* y (- z t))) (* y (- z t))) (sqrt (* y (- z t))) (sqrt (* y (- z t))) (* (sqrt y) (sqrt (- z t))) (* (sqrt y) (sqrt (- z t))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* y (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t))))) (* y (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1)))) (* y (fma (- t) 1 (* t 1))) (* y (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* y (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t))))) (* y (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* y (fma (sqrt z) (sqrt z) (- (* t 1)))) (* y (fma (- t) 1 (* t 1))) (* y (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t)))))) (* y (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))) (* y (fma 1 z (- (* (sqrt t) (sqrt t))))) (* y (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t)))) (* y (fma 1 z (- (* t 1)))) (* y (fma (- t) 1 (* t 1))) (* y z) (* y (- t)) (* y z) (* y (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) y) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt t) (sqrt t)))) y) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* t 1))) y) (* (fma (- t) 1 (* t 1)) y) (* (fma (sqrt z) (sqrt z) (- (* (cbrt t) (* (cbrt t) (cbrt t))))) y) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) y) (* (fma (sqrt z) (sqrt z) (- (* (sqrt t) (sqrt t)))) y) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) y) (* (fma (sqrt z) (sqrt z) (- (* t 1))) y) (* (fma (- t) 1 (* t 1)) y) (* (fma 1 z (- (* (cbrt t) (* (cbrt t) (cbrt t))))) y) (* (fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t)))) y) (* (fma 1 z (- (* (sqrt t) (sqrt t)))) y) (* (fma (- (sqrt t)) (sqrt t) (* (sqrt t) (sqrt t))) y) (* (fma 1 z (- (* t 1))) y) (* (fma (- t) 1 (* t 1)) y) (* z y) (* (- t) y) (* z y) (* (- t) y) (* y (* (cbrt (- z t)) (cbrt (- z t)))) (* y (sqrt (- z t))) (* y 1) (* y (+ (sqrt z) (sqrt t))) (* y 1) (* (cbrt y) (- z t)) (* (sqrt y) (- z t)) (* y (- z t)) (* y (- (pow z 3) (pow t 3))) (* y (- (* z z) (* t t))) (expm1 (+ (/ (* y (- z t)) a) x)) (log1p (+ (/ (* y (- z t)) a) x)) (* (exp (/ (* y (- z t)) a)) (exp x)) (log (+ (/ (* y (- z t)) a) x)) (exp (+ (/ (* y (- z t)) a) x)) (* (cbrt (+ (/ (* y (- z t)) a) x)) (cbrt (+ (/ (* y (- z t)) a) x))) (cbrt (+ (/ (* y (- z t)) a) x)) (* (* (+ (/ (* y (- z t)) a) x) (+ (/ (* y (- z t)) a) x)) (+ (/ (* y (- z t)) a) x)) (sqrt (+ (/ (* y (- z t)) a) x)) (sqrt (+ (/ (* y (- z t)) a) x)) (+ (pow (/ (* y (- z t)) a) 3) (pow x 3)) (+ (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (- (* x x) (* (/ (* y (- z t)) a) x))) (- (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (* x x)) (- (/ (* y (- z t)) a) x) (+ (/ (* y (- z t)) a) x) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (* z y) (* t y)) (- (* z y) (* t y)) (- (* z y) (* t y)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 2.398 * * [simplify]: iteration 0 : 170 enodes (cost 1262 ) 2.427 * * [simplify]: iteration 1 : 392 enodes (cost 1061 ) 2.513 * * [simplify]: iteration 2 : 1510 enodes (cost 863 ) 3.051 * * [simplify]: iteration done : 5000 enodes (cost 863 ) 3.051 * [simplify]: Simplified to: (expm1 (/ (* y (- z t)) a)) (log1p (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (log (/ (* y (- z t)) a)) (exp (/ (* y (- z t)) a)) (pow (/ (* y (- z t)) a) 3) (pow (/ (* y (- z t)) a) 3) (* (cbrt (/ (* y (- z t)) a)) (cbrt (/ (* y (- z t)) a))) (cbrt (/ (* y (- z t)) a)) (pow (/ (* y (- z t)) a) 3) (sqrt (/ (* y (- z t)) a)) (sqrt (/ (* y (- z t)) a)) (- (* y (- z t))) (- a) (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)) (/ y (sqrt a)) (/ (- z t) (sqrt a)) y (/ (- z t) a) (/ 1 a) (/ a (* y (- z t))) (/ (* y (- z t)) (* (cbrt a) (cbrt a))) (/ (* y (- z t)) (sqrt a)) (* y (- z t)) (/ a (- z t)) (* a (fma z z (* t (+ z t)))) (* a (+ z t)) (expm1 (* y (- z t))) (log1p (* y (- z t))) (* y (- z t)) (log (* y (- z t))) (log (* y (- z t))) (exp (* y (- z t))) (pow (* y (- z t)) 3) (* (cbrt (* y (- z t))) (cbrt (* y (- z t)))) (cbrt (* y (- z t))) (pow (* y (- z t)) 3) (sqrt (* y (- z t))) (sqrt (* y (- z t))) (* (sqrt y) (sqrt (- z t))) (* (sqrt y) (sqrt (- z t))) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) y) (* (* t 0) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) y) (* (* t 0) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) y) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y z) (* y (- t)) (* y z) (* y (- t)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) y) (* (* t 0) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) y) (* (* t 0) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- t)) y) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y (- z t)) (* (* t 0) y) (* y z) (* y (- t)) (* y z) (* y (- t)) (* y (* (cbrt (- z t)) (cbrt (- z t)))) (* y (sqrt (- z t))) y (* y (+ (sqrt z) (sqrt t))) y (* (cbrt y) (- z t)) (* (sqrt y) (- z t)) (* y (- z t)) (* y (- (pow z 3) (pow t 3))) (* y (- (* z z) (* t t))) (expm1 (+ (/ (* y (- z t)) a) x)) (log1p (+ (/ (* y (- z t)) a) x)) (exp (+ (/ (* y (- z t)) a) x)) (log (+ (/ (* y (- z t)) a) x)) (exp (+ (/ (* y (- z t)) a) x)) (* (cbrt (+ (/ (* y (- z t)) a) x)) (cbrt (+ (/ (* y (- z t)) a) x))) (cbrt (+ (/ (* y (- z t)) a) x)) (pow (+ (/ (* y (- z t)) a) x) 3) (sqrt (+ (/ (* y (- z t)) a) x)) (sqrt (+ (/ (* y (- z t)) a) x)) (+ (pow (/ (* y (- z t)) a) 3) (pow x 3)) (fma (/ (* y (- z t)) a) (/ (* y (- z t)) a) (* x (- x (/ (* y (- z t)) a)))) (- (* (/ (* y (- z t)) a) (/ (* y (- z t)) a)) (* x x)) (- (/ (* y (- z t)) a) x) (+ (/ (* y (- z t)) a) x) (/ (* y (- z t)) a) (/ (* y (- z t)) a) (/ (* y (- z t)) a) (* y (- z t)) (* y (- z t)) (* y (- z t)) (+ (/ (* y (- z t)) a) x) (+ (/ (* y (- z t)) a) x) (+ (/ (* y (- z t)) a) x) 3.052 * * * [progress]: adding candidates to table 3.230 * * [progress]: iteration 3 / 4 3.230 * * * [progress]: picking best candidate 3.238 * * * * [pick]: Picked # 3.238 * * * [progress]: localizing error 3.249 * * * [progress]: generating rewritten candidates 3.249 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 3.283 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 3.289 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 3.290 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 3.296 * * * [progress]: generating series expansions 3.296 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 3.296 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y a z t) around 0 3.296 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 3.296 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 3.296 * [taylor]: Taking taylor expansion of y in t 3.296 * [taylor]: Taking taylor expansion of (- z t) in t 3.296 * [taylor]: Taking taylor expansion of z in t 3.296 * [taylor]: Taking taylor expansion of t in t 3.296 * [taylor]: Taking taylor expansion of a in t 3.297 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 3.297 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 3.297 * [taylor]: Taking taylor expansion of y in z 3.297 * [taylor]: Taking taylor expansion of (- z t) in z 3.297 * [taylor]: Taking taylor expansion of z in z 3.297 * [taylor]: Taking taylor expansion of t in z 3.297 * [taylor]: Taking taylor expansion of a in z 3.297 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 3.297 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 3.297 * [taylor]: Taking taylor expansion of y in a 3.297 * [taylor]: Taking taylor expansion of (- z t) in a 3.297 * [taylor]: Taking taylor expansion of z in a 3.297 * [taylor]: Taking taylor expansion of t in a 3.297 * [taylor]: Taking taylor expansion of a in a 3.297 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 3.297 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 3.297 * [taylor]: Taking taylor expansion of y in y 3.297 * [taylor]: Taking taylor expansion of (- z t) in y 3.297 * [taylor]: Taking taylor expansion of z in y 3.297 * [taylor]: Taking taylor expansion of t in y 3.297 * [taylor]: Taking taylor expansion of a in y 3.298 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 3.298 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 3.298 * [taylor]: Taking taylor expansion of y in y 3.298 * [taylor]: Taking taylor expansion of (- z t) in y 3.298 * [taylor]: Taking taylor expansion of z in y 3.298 * [taylor]: Taking taylor expansion of t in y 3.298 * [taylor]: Taking taylor expansion of a in y 3.299 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a 3.299 * [taylor]: Taking taylor expansion of (- z t) in a 3.299 * [taylor]: Taking taylor expansion of z in a 3.299 * [taylor]: Taking taylor expansion of t in a 3.299 * [taylor]: Taking taylor expansion of a in a 3.299 * [taylor]: Taking taylor expansion of (- z t) in z 3.299 * [taylor]: Taking taylor expansion of z in z 3.299 * [taylor]: Taking taylor expansion of t in z 3.299 * [taylor]: Taking taylor expansion of (- t) in t 3.299 * [taylor]: Taking taylor expansion of t in t 3.301 * [taylor]: Taking taylor expansion of 0 in a 3.302 * [taylor]: Taking taylor expansion of 0 in z 3.302 * [taylor]: Taking taylor expansion of 0 in t 3.302 * [taylor]: Taking taylor expansion of 1 in t 3.304 * [taylor]: Taking taylor expansion of 0 in a 3.304 * [taylor]: Taking taylor expansion of 0 in z 3.304 * [taylor]: Taking taylor expansion of 0 in t 3.305 * [taylor]: Taking taylor expansion of 0 in z 3.305 * [taylor]: Taking taylor expansion of 0 in t 3.305 * [taylor]: Taking taylor expansion of 0 in t 3.305 * [taylor]: Taking taylor expansion of 0 in t 3.306 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y a z t) around 0 3.306 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 3.306 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 3.306 * [taylor]: Taking taylor expansion of a in t 3.306 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 3.306 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.306 * [taylor]: Taking taylor expansion of z in t 3.306 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.306 * [taylor]: Taking taylor expansion of t in t 3.306 * [taylor]: Taking taylor expansion of y in t 3.307 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 3.307 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 3.307 * [taylor]: Taking taylor expansion of a in z 3.307 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.307 * [taylor]: Taking taylor expansion of z in z 3.307 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.307 * [taylor]: Taking taylor expansion of t in z 3.307 * [taylor]: Taking taylor expansion of y in z 3.308 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 3.308 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 3.308 * [taylor]: Taking taylor expansion of a in a 3.308 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 3.308 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.308 * [taylor]: Taking taylor expansion of z in a 3.308 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.308 * [taylor]: Taking taylor expansion of t in a 3.308 * [taylor]: Taking taylor expansion of y in a 3.309 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 3.309 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 3.309 * [taylor]: Taking taylor expansion of a in y 3.309 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.309 * [taylor]: Taking taylor expansion of z in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.309 * [taylor]: Taking taylor expansion of t in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.309 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 3.309 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 3.309 * [taylor]: Taking taylor expansion of a in y 3.309 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.309 * [taylor]: Taking taylor expansion of z in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.309 * [taylor]: Taking taylor expansion of t in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.310 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 3.310 * [taylor]: Taking taylor expansion of a in a 3.310 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 3.310 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.310 * [taylor]: Taking taylor expansion of z in a 3.310 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.310 * [taylor]: Taking taylor expansion of t in a 3.311 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 3.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.311 * [taylor]: Taking taylor expansion of z in z 3.311 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.311 * [taylor]: Taking taylor expansion of t in z 3.312 * [taylor]: Taking taylor expansion of 1 in t 3.313 * [taylor]: Taking taylor expansion of 0 in a 3.313 * [taylor]: Taking taylor expansion of 0 in z 3.314 * [taylor]: Taking taylor expansion of 0 in z 3.315 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 3.315 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.315 * [taylor]: Taking taylor expansion of t in t 3.317 * [taylor]: Taking taylor expansion of 0 in a 3.317 * [taylor]: Taking taylor expansion of 0 in z 3.317 * [taylor]: Taking taylor expansion of 0 in z 3.318 * [taylor]: Taking taylor expansion of 0 in z 3.318 * [taylor]: Taking taylor expansion of 0 in t 3.319 * [taylor]: Taking taylor expansion of 0 in t 3.319 * [taylor]: Taking taylor expansion of 0 in t 3.322 * [taylor]: Taking taylor expansion of 0 in a 3.323 * [taylor]: Taking taylor expansion of 0 in z 3.323 * [taylor]: Taking taylor expansion of 0 in z 3.323 * [taylor]: Taking taylor expansion of 0 in z 3.324 * [taylor]: Taking taylor expansion of 0 in z 3.324 * [taylor]: Taking taylor expansion of 0 in t 3.324 * [taylor]: Taking taylor expansion of 0 in t 3.324 * [taylor]: Taking taylor expansion of 0 in t 3.324 * [taylor]: Taking taylor expansion of 0 in t 3.324 * [taylor]: Taking taylor expansion of 0 in t 3.325 * [taylor]: Taking taylor expansion of 0 in t 3.327 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in (y a z t) around 0 3.327 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in t 3.327 * [taylor]: Taking taylor expansion of -1 in t 3.327 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in t 3.327 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 3.327 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 3.327 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.327 * [taylor]: Taking taylor expansion of t in t 3.327 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.327 * [taylor]: Taking taylor expansion of z in t 3.327 * [taylor]: Taking taylor expansion of a in t 3.327 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in t 3.327 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 3.327 * [taylor]: Taking taylor expansion of (cbrt -1) in t 3.328 * [taylor]: Taking taylor expansion of -1 in t 3.328 * [taylor]: Taking taylor expansion of y in t 3.334 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in z 3.335 * [taylor]: Taking taylor expansion of -1 in z 3.335 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in z 3.335 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 3.335 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.335 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.335 * [taylor]: Taking taylor expansion of t in z 3.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.335 * [taylor]: Taking taylor expansion of z in z 3.335 * [taylor]: Taking taylor expansion of a in z 3.335 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in z 3.335 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 3.335 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.335 * [taylor]: Taking taylor expansion of -1 in z 3.336 * [taylor]: Taking taylor expansion of y in z 3.339 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in a 3.339 * [taylor]: Taking taylor expansion of -1 in a 3.339 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in a 3.339 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 3.339 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 3.339 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.339 * [taylor]: Taking taylor expansion of t in a 3.339 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.339 * [taylor]: Taking taylor expansion of z in a 3.339 * [taylor]: Taking taylor expansion of a in a 3.339 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in a 3.339 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a 3.339 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.339 * [taylor]: Taking taylor expansion of -1 in a 3.340 * [taylor]: Taking taylor expansion of y in a 3.344 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in y 3.344 * [taylor]: Taking taylor expansion of -1 in y 3.344 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in y 3.344 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 3.344 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 3.344 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.344 * [taylor]: Taking taylor expansion of t in y 3.344 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.344 * [taylor]: Taking taylor expansion of z in y 3.344 * [taylor]: Taking taylor expansion of a in y 3.344 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y 3.344 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 3.344 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.344 * [taylor]: Taking taylor expansion of -1 in y 3.345 * [taylor]: Taking taylor expansion of y in y 3.351 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y))) in y 3.351 * [taylor]: Taking taylor expansion of -1 in y 3.351 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) (* (pow (cbrt -1) 3) y)) in y 3.351 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 3.351 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 3.351 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.351 * [taylor]: Taking taylor expansion of t in y 3.351 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.351 * [taylor]: Taking taylor expansion of z in y 3.351 * [taylor]: Taking taylor expansion of a in y 3.351 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y 3.351 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 3.351 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.351 * [taylor]: Taking taylor expansion of -1 in y 3.352 * [taylor]: Taking taylor expansion of y in y 3.358 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 3.358 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 3.358 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.358 * [taylor]: Taking taylor expansion of t in a 3.358 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.358 * [taylor]: Taking taylor expansion of z in a 3.358 * [taylor]: Taking taylor expansion of a in a 3.359 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 3.359 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.359 * [taylor]: Taking taylor expansion of t in z 3.359 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.359 * [taylor]: Taking taylor expansion of z in z 3.359 * [taylor]: Taking taylor expansion of -1 in t 3.364 * [taylor]: Taking taylor expansion of 0 in a 3.364 * [taylor]: Taking taylor expansion of 0 in z 3.365 * [taylor]: Taking taylor expansion of 0 in z 3.366 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.366 * [taylor]: Taking taylor expansion of t in t 3.371 * [taylor]: Taking taylor expansion of 0 in a 3.371 * [taylor]: Taking taylor expansion of 0 in z 3.371 * [taylor]: Taking taylor expansion of 0 in z 3.373 * [taylor]: Taking taylor expansion of 0 in z 3.373 * [taylor]: Taking taylor expansion of 0 in t 3.373 * [taylor]: Taking taylor expansion of 0 in t 3.374 * [taylor]: Taking taylor expansion of 0 in t 3.381 * [taylor]: Taking taylor expansion of 0 in a 3.381 * [taylor]: Taking taylor expansion of 0 in z 3.381 * [taylor]: Taking taylor expansion of 0 in z 3.381 * [taylor]: Taking taylor expansion of 0 in z 3.382 * [taylor]: Taking taylor expansion of 0 in z 3.382 * [taylor]: Taking taylor expansion of 0 in t 3.382 * [taylor]: Taking taylor expansion of 0 in t 3.382 * [taylor]: Taking taylor expansion of 0 in t 3.382 * [taylor]: Taking taylor expansion of 0 in t 3.382 * [taylor]: Taking taylor expansion of 0 in t 3.383 * [taylor]: Taking taylor expansion of 0 in t 3.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 3.384 * [approximate]: Taking taylor expansion of (pow (pow a 2) 1/3) in (a) around 0 3.384 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a 3.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a 3.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a 3.384 * [taylor]: Taking taylor expansion of 1/3 in a 3.384 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a 3.384 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.384 * [taylor]: Taking taylor expansion of a in a 3.385 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a 3.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a 3.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a 3.385 * [taylor]: Taking taylor expansion of 1/3 in a 3.385 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a 3.385 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.385 * [taylor]: Taking taylor expansion of a in a 3.439 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in (a) around 0 3.439 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a 3.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a 3.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a 3.440 * [taylor]: Taking taylor expansion of 1/3 in a 3.440 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a 3.440 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.440 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.440 * [taylor]: Taking taylor expansion of a in a 3.441 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a 3.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a 3.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a 3.441 * [taylor]: Taking taylor expansion of 1/3 in a 3.441 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a 3.441 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.441 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.441 * [taylor]: Taking taylor expansion of a in a 3.499 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow a 2)) 1/3)) in (a) around 0 3.499 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow a 2)) 1/3)) in a 3.499 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 3.499 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.499 * [taylor]: Taking taylor expansion of -1 in a 3.500 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a 3.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a 3.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a 3.500 * [taylor]: Taking taylor expansion of 1/3 in a 3.500 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a 3.500 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.500 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.500 * [taylor]: Taking taylor expansion of a in a 3.501 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow a 2)) 1/3)) in a 3.501 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in a 3.501 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.501 * [taylor]: Taking taylor expansion of -1 in a 3.502 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a 3.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a 3.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a 3.502 * [taylor]: Taking taylor expansion of 1/3 in a 3.502 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a 3.502 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.502 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.502 * [taylor]: Taking taylor expansion of a in a 3.576 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 3.576 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0 3.576 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.576 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.576 * [taylor]: Taking taylor expansion of 1/3 in a 3.576 * [taylor]: Taking taylor expansion of (log a) in a 3.576 * [taylor]: Taking taylor expansion of a in a 3.577 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.577 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.577 * [taylor]: Taking taylor expansion of 1/3 in a 3.577 * [taylor]: Taking taylor expansion of (log a) in a 3.577 * [taylor]: Taking taylor expansion of a in a 3.625 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0 3.625 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.625 * [taylor]: Taking taylor expansion of 1/3 in a 3.625 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.625 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.625 * [taylor]: Taking taylor expansion of a in a 3.626 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.626 * [taylor]: Taking taylor expansion of 1/3 in a 3.626 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.626 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.626 * [taylor]: Taking taylor expansion of a in a 3.683 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0 3.683 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 3.683 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.683 * [taylor]: Taking taylor expansion of -1 in a 3.684 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.684 * [taylor]: Taking taylor expansion of 1/3 in a 3.684 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.684 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.684 * [taylor]: Taking taylor expansion of a in a 3.685 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 3.685 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.685 * [taylor]: Taking taylor expansion of -1 in a 3.685 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.685 * [taylor]: Taking taylor expansion of 1/3 in a 3.685 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.685 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.685 * [taylor]: Taking taylor expansion of a in a 3.753 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 3.753 * [approximate]: Taking taylor expansion of (pow a 1/3) in (a) around 0 3.753 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.753 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.753 * [taylor]: Taking taylor expansion of 1/3 in a 3.753 * [taylor]: Taking taylor expansion of (log a) in a 3.753 * [taylor]: Taking taylor expansion of a in a 3.754 * [taylor]: Taking taylor expansion of (pow a 1/3) in a 3.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log a))) in a 3.754 * [taylor]: Taking taylor expansion of (* 1/3 (log a)) in a 3.754 * [taylor]: Taking taylor expansion of 1/3 in a 3.754 * [taylor]: Taking taylor expansion of (log a) in a 3.754 * [taylor]: Taking taylor expansion of a in a 3.807 * [approximate]: Taking taylor expansion of (pow (/ 1 a) 1/3) in (a) around 0 3.807 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.808 * [taylor]: Taking taylor expansion of 1/3 in a 3.808 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.808 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.808 * [taylor]: Taking taylor expansion of a in a 3.808 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.808 * [taylor]: Taking taylor expansion of 1/3 in a 3.808 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.809 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.809 * [taylor]: Taking taylor expansion of a in a 3.866 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in (a) around 0 3.866 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 3.866 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.866 * [taylor]: Taking taylor expansion of -1 in a 3.867 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.867 * [taylor]: Taking taylor expansion of 1/3 in a 3.867 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.867 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.867 * [taylor]: Taking taylor expansion of a in a 3.868 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 a) 1/3)) in a 3.868 * [taylor]: Taking taylor expansion of (cbrt -1) in a 3.868 * [taylor]: Taking taylor expansion of -1 in a 3.869 * [taylor]: Taking taylor expansion of (pow (/ 1 a) 1/3) in a 3.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 a)))) in a 3.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 a))) in a 3.869 * [taylor]: Taking taylor expansion of 1/3 in a 3.869 * [taylor]: Taking taylor expansion of (log (/ 1 a)) in a 3.869 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.869 * [taylor]: Taking taylor expansion of a in a 3.932 * * * [progress]: simplifying candidates 3.941 * [simplify]: Simplifying using # : (expm1 (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (log1p (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))) (+ (- (log y) (+ (log (cbrt a)) (log (cbrt a)))) (- (log (- z t)) (log (cbrt a)))) (+ (- (log y) (+ (log (cbrt a)) (log (cbrt a)))) (log (/ (- z t) (cbrt a)))) (+ (- (log y) (log (* (cbrt a) (cbrt a)))) (- (log (- z t)) (log (cbrt a)))) (+ (- (log y) (log (* (cbrt a) (cbrt a)))) (log (/ (- z t) (cbrt a)))) (+ (log (/ y (* (cbrt a) (cbrt a)))) (- (log (- z t)) (log (cbrt a)))) (+ (log (/ y (* (cbrt a) (cbrt a)))) (log (/ (- z t) (cbrt a)))) (log (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (exp (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (* (/ (* (* y y) y) (* a a)) (/ (* (* (- z t) (- z t)) (- z t)) a)) (* (/ (* (* y y) y) (* a a)) (* (* (/ (- z t) (cbrt a)) (/ (- z t) (cbrt a))) (/ (- z t) (cbrt a)))) (* (/ (* (* y y) y) (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)))) (/ (* (* (- z t) (- z t)) (- z t)) a)) (* (/ (* (* y y) y) (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)))) (* (* (/ (- z t) (cbrt a)) (/ (- z t) (cbrt a))) (/ (- z t) (cbrt a)))) (* (* (* (/ y (* (cbrt a) (cbrt a))) (/ y (* (cbrt a) (cbrt a)))) (/ y (* (cbrt a) (cbrt a)))) (/ (* (* (- z t) (- z t)) (- z t)) a)) (* (* (* (/ y (* (cbrt a) (cbrt a))) (/ y (* (cbrt a) (cbrt a)))) (/ y (* (cbrt a) (cbrt a)))) (* (* (/ (- z t) (cbrt a)) (/ (- z t) (cbrt a))) (/ (- z t) (cbrt a)))) (* (cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))))) (cbrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (* (* (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))) (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (sqrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (sqrt (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))) (* y (- z t)) (* (* (cbrt a) (cbrt a)) (cbrt a)) (* (sqrt (/ y (* (cbrt a) (cbrt a)))) (sqrt (/ (- z t) (cbrt a)))) (* (sqrt (/ y (* (cbrt a) (cbrt a)))) (sqrt (/ (- z t) (cbrt a)))) (* (sqrt (/ y (* (cbrt a) (cbrt a)))) (/ (sqrt (- z t)) (cbrt (sqrt a)))) (* (sqrt (/ y (* (cbrt a) (cbrt a)))) (/ (sqrt (- z t)) (cbrt (sqrt a)))) (* (sqrt (/ y (* (cbrt a) (cbrt a)))) (/ (sqrt (- z t)) (sqrt (cbrt a)))) (* (sqrt (/ y (* (cbrt a) (cbrt a)))) (/ (sqrt (- z t)) (sqrt (cbrt a)))) (* (/ (sqrt y) (cbrt a)) (sqrt (/ (- z t) (cbrt a)))) (* (/ (sqrt y) (cbrt a)) (sqrt (/ (- z t) (cbrt a)))) (* (/ (sqrt y) (cbrt a)) (/ (sqrt (- z t)) (cbrt (sqrt a)))) (* (/ (sqrt y) (cbrt a)) (/ (sqrt (- z t)) (cbrt (sqrt a)))) (* (/ (sqrt y) (cbrt a)) (/ (sqrt (- z t)) (sqrt (cbrt a)))) (* (/ (sqrt y) (cbrt a)) (/ (sqrt (- z t)) (sqrt (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (* (cbrt (/ (- z t) (cbrt a))) (cbrt (/ (- z t) (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (sqrt (/ (- z t) (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (cbrt (* (cbrt a) (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (cbrt (sqrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (cbrt 1))) (* (/ y (* (cbrt a) (cbrt a))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (* (cbrt (- z t)) (cbrt (- z t))) 1)) (* (/ y (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (cbrt (* (cbrt a) (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (cbrt (sqrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (cbrt 1))) (* (/ y (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (sqrt (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) 1)) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (cbrt (* (cbrt a) (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (cbrt (sqrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (cbrt 1))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (sqrt (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 1)) (* (/ y (* (cbrt a) (cbrt a))) (/ (+ (sqrt z) (sqrt t)) (cbrt (* (cbrt a) (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ (+ (sqrt z) (sqrt t)) (cbrt (sqrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (+ (sqrt z) (sqrt t)) (cbrt 1))) (* (/ y (* (cbrt a) (cbrt a))) (/ (+ (sqrt z) (sqrt t)) (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ (+ (sqrt z) (sqrt t)) (sqrt (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ (+ (sqrt z) (sqrt t)) 1)) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (cbrt (* (cbrt a) (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (cbrt (sqrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (cbrt 1))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 (sqrt (cbrt a)))) (* (/ y (* (cbrt a) (cbrt a))) (/ 1 1)) (* (/ y (* (cbrt a) (cbrt a))) 1) (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (* (cbrt (/ y (* (cbrt a) (cbrt a)))) (/ (- z t) (cbrt a))) (* (sqrt (/ y (* (cbrt a) (cbrt a)))) (/ (- z t) (cbrt a))) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))) (* (/ (sqrt y) (cbrt a)) (/ (- z t) (cbrt a))) (* (/ y (cbrt a)) (/ (- z t) (cbrt a))) (* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))) (* (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a))) (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (* y (/ (- z t) (cbrt a))) (expm1 (* (cbrt a) (cbrt a))) (log1p (* (cbrt a) (cbrt a))) (+ 1/3 1/3) (+ 1 1) (* a a) (* (cbrt a) (cbrt a)) (+ 1 1) (+ (log (cbrt a)) (log (cbrt a))) (log (* (cbrt a) (cbrt a))) (exp (* (cbrt a) (cbrt a))) (* a a) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (* (cbrt a) (cbrt a)))) (cbrt (* (cbrt a) (cbrt a))) (* (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a))) (sqrt (* (cbrt a) (cbrt a))) (sqrt (* (cbrt a) (cbrt a))) (* (cbrt (* (cbrt a) (cbrt a))) (cbrt (* (cbrt a) (cbrt a)))) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (cbrt (sqrt a)) (cbrt (sqrt a))) (* (cbrt (sqrt a)) (cbrt (sqrt a))) (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a)) (* (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (cbrt (cbrt a)) (cbrt (cbrt a)))) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (sqrt (cbrt a)) (sqrt (cbrt a))) (* (sqrt (cbrt a)) (sqrt (cbrt a))) (* 1 1) (* (cbrt a) (cbrt a)) (* (cbrt (sqrt a)) (cbrt (sqrt a))) (* (cbrt (sqrt a)) (cbrt (sqrt a))) (* (cbrt (sqrt a)) (sqrt (cbrt a))) (* (cbrt (sqrt a)) (sqrt (cbrt a))) (* (sqrt (cbrt a)) (cbrt (sqrt a))) (* (sqrt (cbrt a)) (cbrt (sqrt a))) (* (sqrt (cbrt a)) (sqrt (cbrt a))) (* (sqrt (cbrt a)) (sqrt (cbrt a))) (* 2 1/3) (* 2 1) (* (cbrt a) (cbrt (* (cbrt a) (cbrt a)))) (* (cbrt a) (cbrt (sqrt a))) (* (cbrt a) (cbrt 1)) (* (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a)))) (* (cbrt a) (sqrt (cbrt a))) (* (cbrt a) 1) (* (cbrt (cbrt a)) (cbrt a)) (* (cbrt (sqrt a)) (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt (cbrt a)) (cbrt a)) (* (sqrt (cbrt a)) (cbrt a)) (* (cbrt a) (cbrt a)) (expm1 (cbrt a)) (log1p (cbrt a)) (log (cbrt a)) (exp (cbrt a)) (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) (cbrt 1) (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) (* (* (cbrt a) (cbrt a)) (cbrt a)) (sqrt (cbrt a)) (sqrt (cbrt a)) (expm1 (cbrt a)) (log1p (cbrt a)) (log (cbrt a)) (exp (cbrt a)) (cbrt (* (cbrt a) (cbrt a))) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) (cbrt 1) (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) (* (* (cbrt a) (cbrt a)) (cbrt a)) (sqrt (cbrt a)) (sqrt (cbrt a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (pow a 2/3) (pow (/ 1 a) -2/3) (* (pow (cbrt -1) 2) (pow (pow a 2) 1/3)) (pow a 1/3) (pow (/ 1 a) -1/3) (* (pow (* -1 a) 1/3) (cbrt -1)) (pow a 1/3) (pow (/ 1 a) -1/3) (* (pow (* -1 a) 1/3) (cbrt -1)) 3.947 * * [simplify]: iteration 0 : 199 enodes (cost 1895 ) 3.984 * * [simplify]: iteration 1 : 555 enodes (cost 1784 ) 4.142 * * [simplify]: iteration 2 : 2928 enodes (cost 1372 ) 4.973 * * [simplify]: iteration done : 5000 enodes (cost 1364 ) 4.974 * [simplify]: Simplified to: (expm1 (/ (* y (- z t)) (pow (cbrt a) 3))) (log1p (/ (* y (- z t)) (pow (cbrt a) 3))) (/ (* y (- z t)) (pow (cbrt a) 3)) (log (/ (* y (- z t)) (pow (cbrt a) 3))) (log (/ (* y (- z t)) (pow (cbrt a) 3))) (log (/ (* y (- z t)) (pow (cbrt a) 3))) (log (/ (* y (- z t)) (pow (cbrt a) 3))) (log (/ (* y (- z t)) (pow (cbrt a) 3))) (log (/ (* y (- z t)) (pow (cbrt a) 3))) (log (/ (* y (- z t)) (pow (cbrt a) 3))) (exp (/ (* y (- z t)) (pow (cbrt a) 3))) (* (/ (pow (- z t) 3) a) (/ (pow y 3) (* a a))) (* (/ (pow y 3) (* a a)) (pow (/ (- z t) (cbrt a)) 3)) (/ (pow (/ y (pow a 2/3)) 3) (/ a (pow (- z t) 3))) (pow (/ (* y (- z t)) (pow (cbrt a) 3)) 3) (/ (pow (/ y (pow a 2/3)) 3) (/ a (pow (- z t) 3))) (pow (/ (* y (- z t)) (pow (cbrt a) 3)) 3) (* (cbrt (/ (* y (- z t)) (pow (cbrt a) 3))) (cbrt (/ (* y (- z t)) (pow (cbrt a) 3)))) (cbrt (/ (* y (- z t)) (pow (cbrt a) 3))) (pow (/ (* y (- z t)) (pow (cbrt a) 3)) 3) (sqrt (/ (* y (- z t)) (pow (cbrt a) 3))) (sqrt (/ (* y (- z t)) (pow (cbrt a) 3))) (* y (- z t)) (pow (cbrt a) 3) (* (sqrt (/ y (pow a 2/3))) (sqrt (/ (- z t) (cbrt a)))) (* (sqrt (/ y (pow a 2/3))) (sqrt (/ (- z t) (cbrt a)))) (/ (* (sqrt (/ y (pow a 2/3))) (sqrt (- z t))) (cbrt (sqrt a))) (/ (* (sqrt (/ y (pow a 2/3))) (sqrt (- z t))) (cbrt (sqrt a))) (* (sqrt (/ y (pow a 2/3))) (/ (sqrt (- z t)) (sqrt (cbrt a)))) (* (sqrt (/ y (pow a 2/3))) (/ (sqrt (- z t)) (sqrt (cbrt a)))) (* (/ (sqrt y) (cbrt a)) (sqrt (/ (- z t) (cbrt a)))) (* (/ (sqrt y) (cbrt a)) (sqrt (/ (- z t) (cbrt a)))) (* (/ (sqrt y) (cbrt a)) (/ (sqrt (- z t)) (cbrt (sqrt a)))) (* (/ (sqrt y) (cbrt a)) (/ (sqrt (- z t)) (cbrt (sqrt a)))) (/ (* (sqrt y) (sqrt (- z t))) (pow (sqrt (cbrt a)) 3)) (/ (* (sqrt y) (sqrt (- z t))) (pow (sqrt (cbrt a)) 3)) (* (/ y (pow a 2/3)) (* (cbrt (/ (- z t) (cbrt a))) (cbrt (/ (- z t) (cbrt a))))) (/ (* y (sqrt (/ (- z t) (cbrt a)))) (pow a 2/3)) (/ (* (/ y (pow a 2/3)) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (pow a 2/3))) (* (/ y (pow a 2/3)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (cbrt (sqrt a)))) (* (/ y (pow a 2/3)) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (* y (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (pow a 2/3)) (/ (* y (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt (cbrt a)))) (pow a 2/3)) (* (/ y (pow a 2/3)) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (* (sqrt (- z t)) (/ y (pow a 2/3))) (cbrt (pow a 2/3))) (/ (/ (* y (sqrt (- z t))) (pow a 2/3)) (cbrt (sqrt a))) (* (sqrt (- z t)) (/ y (pow a 2/3))) (/ (* y (/ (sqrt (- z t)) (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (pow a 2/3)) (/ (* y (/ (sqrt (- z t)) (sqrt (cbrt a)))) (pow a 2/3)) (* (sqrt (- z t)) (/ y (pow a 2/3))) (/ (/ y (pow a 2/3)) (cbrt (pow a 2/3))) (/ (/ y (cbrt (sqrt a))) (pow a 2/3)) (/ y (pow a 2/3)) (/ (/ y (pow a 2/3)) (* (cbrt (cbrt a)) (cbrt (cbrt a)))) (/ (/ y (sqrt (cbrt a))) (pow a 2/3)) (/ y (pow a 2/3)) (/ (/ (* y (+ (sqrt t) (sqrt z))) (cbrt (pow a 2/3))) (pow a 2/3)) (* (/ y (pow a 2/3)) (/ (+ (sqrt z) (sqrt t)) (cbrt (sqrt a)))) (* (/ y (pow a 2/3)) (+ (sqrt t) (sqrt z))) (/ (* y (/ (+ (sqrt z) (sqrt t)) (* (cbrt (cbrt a)) (cbrt (cbrt a))))) (pow a 2/3)) (* (/ (+ (sqrt z) (sqrt t)) (sqrt (cbrt a))) (/ y (pow a 2/3))) (* (/ y (pow a 2/3)) (+ (sqrt t) (sqrt z))) (/ (/ y (pow a 2/3)) (cbrt (pow a 2/3))) (/ (/ y (cbrt (sqrt a))) (pow a 2/3)) (/ y (pow a 2/3)) (/ (/ y (pow a 2/3)) (* (cbrt (cbrt a)) (cbrt (cbrt a)))) (/ (/ y (sqrt (cbrt a))) (pow a 2/3)) (/ y (pow a 2/3)) (/ y (pow a 2/3)) (* (- z t) (/ y (pow a 2/3))) (/ (* (- z t) (cbrt (/ y (pow a 2/3)))) (cbrt a)) (/ (* (sqrt (/ y (pow a 2/3))) (- z t)) (cbrt a)) (/ (* (cbrt y) (- z t)) (pow a 2/3)) (/ (* (sqrt y) (- z t)) (pow a 2/3)) (* (- z t) (/ y (pow a 2/3))) (/ (* y (- z t)) (pow (cbrt a) 3)) (/ (- z t) (pow (cbrt a) 3)) (* (- z t) (/ y (pow a 2/3))) (* (/ y (cbrt a)) (- z t)) (expm1 (pow a 2/3)) (log1p (pow a 2/3)) 2/3 2 (* a a) (pow a 2/3) 2 (log (pow a 2/3)) (log (pow a 2/3)) (exp (pow a 2/3)) (* a a) (* (cbrt (pow a 2/3)) (cbrt (pow a 2/3))) (cbrt (pow a 2/3)) (pow (pow a 2/3) 3) (fabs (cbrt a)) (fabs (cbrt a)) (* (cbrt (pow a 2/3)) (cbrt (pow a 2/3))) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (cbrt (sqrt a)) (cbrt (sqrt a))) (* (cbrt (sqrt a)) (cbrt (sqrt a))) 1 (pow a 2/3) (* (cbrt (cbrt a)) (pow (cbrt (cbrt a)) 3)) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt a) (cbrt a) 1 (pow a 2/3) (* (cbrt (sqrt a)) (cbrt (sqrt a))) (* (cbrt (sqrt a)) (cbrt (sqrt a))) (* (cbrt (sqrt a)) (sqrt (cbrt a))) (* (cbrt (sqrt a)) (sqrt (cbrt a))) (* (cbrt (sqrt a)) (sqrt (cbrt a))) (* (cbrt (sqrt a)) (sqrt (cbrt a))) (cbrt a) (cbrt a) 2/3 2 (* (cbrt (pow a 2/3)) (cbrt a)) (* (cbrt (sqrt a)) (cbrt a)) (cbrt a) (* (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a)))) (pow (sqrt (cbrt a)) 3) (cbrt a) (* (cbrt (cbrt a)) (cbrt a)) (* (cbrt (sqrt a)) (cbrt a)) (pow a 2/3) (* (cbrt (cbrt a)) (cbrt a)) (pow (sqrt (cbrt a)) 3) (pow a 2/3) (expm1 (cbrt a)) (log1p (cbrt a)) (log (cbrt a)) (exp (cbrt a)) (cbrt (pow a 2/3)) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) 1 (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) (pow (cbrt a) 3) (sqrt (cbrt a)) (sqrt (cbrt a)) (expm1 (cbrt a)) (log1p (cbrt a)) (log (cbrt a)) (exp (cbrt a)) (cbrt (pow a 2/3)) (cbrt (cbrt a)) (cbrt (sqrt a)) (cbrt (sqrt a)) 1 (cbrt a) (* (cbrt (cbrt a)) (cbrt (cbrt a))) (cbrt (cbrt a)) (pow (cbrt a) 3) (sqrt (cbrt a)) (sqrt (cbrt a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (pow a 2/3) (pow (/ 1 a) -2/3) (* (cbrt (* a a)) (pow (cbrt -1) 2)) (cbrt a) (pow (/ 1 a) -1/3) (* (cbrt (- a)) (cbrt -1)) (cbrt a) (pow (/ 1 a) -1/3) (* (cbrt (- a)) (cbrt -1)) 4.977 * * * [progress]: adding candidates to table 5.392 * * [progress]: iteration 4 / 4 5.392 * * * [progress]: picking best candidate 5.397 * * * * [pick]: Picked # 5.397 * * * [progress]: localizing error 5.405 * * * [progress]: generating rewritten candidates 5.405 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 5.414 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 5.419 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.491 * * * [progress]: generating series expansions 5.491 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 5.492 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (y a z t) around 0 5.492 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 5.492 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 5.492 * [taylor]: Taking taylor expansion of y in t 5.492 * [taylor]: Taking taylor expansion of (- z t) in t 5.492 * [taylor]: Taking taylor expansion of z in t 5.492 * [taylor]: Taking taylor expansion of t in t 5.492 * [taylor]: Taking taylor expansion of a in t 5.492 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 5.492 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 5.492 * [taylor]: Taking taylor expansion of y in z 5.492 * [taylor]: Taking taylor expansion of (- z t) in z 5.492 * [taylor]: Taking taylor expansion of z in z 5.492 * [taylor]: Taking taylor expansion of t in z 5.492 * [taylor]: Taking taylor expansion of a in z 5.492 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 5.492 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 5.493 * [taylor]: Taking taylor expansion of y in a 5.493 * [taylor]: Taking taylor expansion of (- z t) in a 5.493 * [taylor]: Taking taylor expansion of z in a 5.493 * [taylor]: Taking taylor expansion of t in a 5.493 * [taylor]: Taking taylor expansion of a in a 5.493 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 5.493 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 5.493 * [taylor]: Taking taylor expansion of y in y 5.493 * [taylor]: Taking taylor expansion of (- z t) in y 5.493 * [taylor]: Taking taylor expansion of z in y 5.493 * [taylor]: Taking taylor expansion of t in y 5.493 * [taylor]: Taking taylor expansion of a in y 5.494 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 5.494 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 5.494 * [taylor]: Taking taylor expansion of y in y 5.494 * [taylor]: Taking taylor expansion of (- z t) in y 5.494 * [taylor]: Taking taylor expansion of z in y 5.494 * [taylor]: Taking taylor expansion of t in y 5.494 * [taylor]: Taking taylor expansion of a in y 5.495 * [taylor]: Taking taylor expansion of (/ (- z t) a) in a 5.495 * [taylor]: Taking taylor expansion of (- z t) in a 5.495 * [taylor]: Taking taylor expansion of z in a 5.495 * [taylor]: Taking taylor expansion of t in a 5.495 * [taylor]: Taking taylor expansion of a in a 5.495 * [taylor]: Taking taylor expansion of (- z t) in z 5.495 * [taylor]: Taking taylor expansion of z in z 5.495 * [taylor]: Taking taylor expansion of t in z 5.495 * [taylor]: Taking taylor expansion of (- t) in t 5.495 * [taylor]: Taking taylor expansion of t in t 5.496 * [taylor]: Taking taylor expansion of 0 in a 5.497 * [taylor]: Taking taylor expansion of 0 in z 5.497 * [taylor]: Taking taylor expansion of 0 in t 5.498 * [taylor]: Taking taylor expansion of 1 in t 5.499 * [taylor]: Taking taylor expansion of 0 in a 5.499 * [taylor]: Taking taylor expansion of 0 in z 5.499 * [taylor]: Taking taylor expansion of 0 in t 5.501 * [taylor]: Taking taylor expansion of 0 in z 5.501 * [taylor]: Taking taylor expansion of 0 in t 5.501 * [taylor]: Taking taylor expansion of 0 in t 5.501 * [taylor]: Taking taylor expansion of 0 in t 5.502 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (y a z t) around 0 5.502 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 5.502 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 5.502 * [taylor]: Taking taylor expansion of a in t 5.502 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 5.502 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.502 * [taylor]: Taking taylor expansion of z in t 5.502 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.502 * [taylor]: Taking taylor expansion of t in t 5.502 * [taylor]: Taking taylor expansion of y in t 5.503 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 5.503 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 5.503 * [taylor]: Taking taylor expansion of a in z 5.503 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.503 * [taylor]: Taking taylor expansion of z in z 5.503 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.503 * [taylor]: Taking taylor expansion of t in z 5.503 * [taylor]: Taking taylor expansion of y in z 5.504 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 5.504 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 5.504 * [taylor]: Taking taylor expansion of a in a 5.504 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 5.504 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.504 * [taylor]: Taking taylor expansion of z in a 5.504 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.504 * [taylor]: Taking taylor expansion of t in a 5.504 * [taylor]: Taking taylor expansion of y in a 5.505 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 5.505 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 5.505 * [taylor]: Taking taylor expansion of a in y 5.505 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 5.505 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.505 * [taylor]: Taking taylor expansion of z in y 5.505 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.505 * [taylor]: Taking taylor expansion of t in y 5.505 * [taylor]: Taking taylor expansion of y in y 5.505 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 5.505 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 5.505 * [taylor]: Taking taylor expansion of a in y 5.505 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 5.505 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.505 * [taylor]: Taking taylor expansion of z in y 5.505 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.505 * [taylor]: Taking taylor expansion of t in y 5.505 * [taylor]: Taking taylor expansion of y in y 5.506 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 5.506 * [taylor]: Taking taylor expansion of a in a 5.506 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 5.506 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.506 * [taylor]: Taking taylor expansion of z in a 5.506 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.506 * [taylor]: Taking taylor expansion of t in a 5.507 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.507 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.507 * [taylor]: Taking taylor expansion of z in z 5.507 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.507 * [taylor]: Taking taylor expansion of t in z 5.507 * [taylor]: Taking taylor expansion of 1 in t 5.513 * [taylor]: Taking taylor expansion of 0 in a 5.513 * [taylor]: Taking taylor expansion of 0 in z 5.514 * [taylor]: Taking taylor expansion of 0 in z 5.515 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 5.515 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.515 * [taylor]: Taking taylor expansion of t in t 5.517 * [taylor]: Taking taylor expansion of 0 in a 5.517 * [taylor]: Taking taylor expansion of 0 in z 5.517 * [taylor]: Taking taylor expansion of 0 in z 5.519 * [taylor]: Taking taylor expansion of 0 in z 5.519 * [taylor]: Taking taylor expansion of 0 in t 5.519 * [taylor]: Taking taylor expansion of 0 in t 5.520 * [taylor]: Taking taylor expansion of 0 in t 5.523 * [taylor]: Taking taylor expansion of 0 in a 5.523 * [taylor]: Taking taylor expansion of 0 in z 5.523 * [taylor]: Taking taylor expansion of 0 in z 5.523 * [taylor]: Taking taylor expansion of 0 in z 5.525 * [taylor]: Taking taylor expansion of 0 in z 5.525 * [taylor]: Taking taylor expansion of 0 in t 5.525 * [taylor]: Taking taylor expansion of 0 in t 5.525 * [taylor]: Taking taylor expansion of 0 in t 5.525 * [taylor]: Taking taylor expansion of 0 in t 5.525 * [taylor]: Taking taylor expansion of 0 in t 5.526 * [taylor]: Taking taylor expansion of 0 in t 5.527 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (y a z t) around 0 5.527 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 5.527 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 5.527 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 5.527 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.527 * [taylor]: Taking taylor expansion of t in t 5.527 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.527 * [taylor]: Taking taylor expansion of z in t 5.528 * [taylor]: Taking taylor expansion of a in t 5.528 * [taylor]: Taking taylor expansion of y in t 5.528 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 5.528 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 5.528 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.528 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.528 * [taylor]: Taking taylor expansion of t in z 5.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.528 * [taylor]: Taking taylor expansion of z in z 5.528 * [taylor]: Taking taylor expansion of a in z 5.528 * [taylor]: Taking taylor expansion of y in z 5.529 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 5.529 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 5.529 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 5.529 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.529 * [taylor]: Taking taylor expansion of t in a 5.529 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.529 * [taylor]: Taking taylor expansion of z in a 5.529 * [taylor]: Taking taylor expansion of a in a 5.529 * [taylor]: Taking taylor expansion of y in a 5.530 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 5.530 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 5.530 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 5.530 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.530 * [taylor]: Taking taylor expansion of t in y 5.530 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.530 * [taylor]: Taking taylor expansion of z in y 5.530 * [taylor]: Taking taylor expansion of a in y 5.530 * [taylor]: Taking taylor expansion of y in y 5.530 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 5.531 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 5.531 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 5.531 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.531 * [taylor]: Taking taylor expansion of t in y 5.531 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.531 * [taylor]: Taking taylor expansion of z in y 5.531 * [taylor]: Taking taylor expansion of a in y 5.531 * [taylor]: Taking taylor expansion of y in y 5.531 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 5.531 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 5.531 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.531 * [taylor]: Taking taylor expansion of t in a 5.531 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.531 * [taylor]: Taking taylor expansion of z in a 5.531 * [taylor]: Taking taylor expansion of a in a 5.532 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.532 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.532 * [taylor]: Taking taylor expansion of t in z 5.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.532 * [taylor]: Taking taylor expansion of z in z 5.533 * [taylor]: Taking taylor expansion of -1 in t 5.534 * [taylor]: Taking taylor expansion of 0 in a 5.534 * [taylor]: Taking taylor expansion of 0 in z 5.535 * [taylor]: Taking taylor expansion of 0 in z 5.536 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.536 * [taylor]: Taking taylor expansion of t in t 5.538 * [taylor]: Taking taylor expansion of 0 in a 5.538 * [taylor]: Taking taylor expansion of 0 in z 5.538 * [taylor]: Taking taylor expansion of 0 in z 5.539 * [taylor]: Taking taylor expansion of 0 in z 5.539 * [taylor]: Taking taylor expansion of 0 in t 5.539 * [taylor]: Taking taylor expansion of 0 in t 5.540 * [taylor]: Taking taylor expansion of 0 in t 5.543 * [taylor]: Taking taylor expansion of 0 in a 5.543 * [taylor]: Taking taylor expansion of 0 in z 5.543 * [taylor]: Taking taylor expansion of 0 in z 5.543 * [taylor]: Taking taylor expansion of 0 in z 5.544 * [taylor]: Taking taylor expansion of 0 in z 5.544 * [taylor]: Taking taylor expansion of 0 in t 5.544 * [taylor]: Taking taylor expansion of 0 in t 5.544 * [taylor]: Taking taylor expansion of 0 in t 5.544 * [taylor]: Taking taylor expansion of 0 in t 5.544 * [taylor]: Taking taylor expansion of 0 in t 5.545 * [taylor]: Taking taylor expansion of 0 in t 5.546 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 5.546 * [approximate]: Taking taylor expansion of (/ a (- z t)) in (a z t) around 0 5.547 * [taylor]: Taking taylor expansion of (/ a (- z t)) in t 5.547 * [taylor]: Taking taylor expansion of a in t 5.547 * [taylor]: Taking taylor expansion of (- z t) in t 5.547 * [taylor]: Taking taylor expansion of z in t 5.547 * [taylor]: Taking taylor expansion of t in t 5.547 * [taylor]: Taking taylor expansion of (/ a (- z t)) in z 5.547 * [taylor]: Taking taylor expansion of a in z 5.547 * [taylor]: Taking taylor expansion of (- z t) in z 5.547 * [taylor]: Taking taylor expansion of z in z 5.547 * [taylor]: Taking taylor expansion of t in z 5.547 * [taylor]: Taking taylor expansion of (/ a (- z t)) in a 5.547 * [taylor]: Taking taylor expansion of a in a 5.547 * [taylor]: Taking taylor expansion of (- z t) in a 5.547 * [taylor]: Taking taylor expansion of z in a 5.547 * [taylor]: Taking taylor expansion of t in a 5.547 * [taylor]: Taking taylor expansion of (/ a (- z t)) in a 5.547 * [taylor]: Taking taylor expansion of a in a 5.547 * [taylor]: Taking taylor expansion of (- z t) in a 5.547 * [taylor]: Taking taylor expansion of z in a 5.547 * [taylor]: Taking taylor expansion of t in a 5.547 * [taylor]: Taking taylor expansion of (/ 1 (- z t)) in z 5.547 * [taylor]: Taking taylor expansion of (- z t) in z 5.547 * [taylor]: Taking taylor expansion of z in z 5.548 * [taylor]: Taking taylor expansion of t in z 5.548 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.548 * [taylor]: Taking taylor expansion of -1 in t 5.548 * [taylor]: Taking taylor expansion of t in t 5.549 * [taylor]: Taking taylor expansion of 0 in z 5.549 * [taylor]: Taking taylor expansion of 0 in t 5.550 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 2))) in t 5.550 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 5.550 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.550 * [taylor]: Taking taylor expansion of t in t 5.553 * [taylor]: Taking taylor expansion of 0 in z 5.553 * [taylor]: Taking taylor expansion of 0 in t 5.553 * [taylor]: Taking taylor expansion of 0 in t 5.553 * [approximate]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in (a z t) around 0 5.553 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in t 5.553 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 5.553 * [taylor]: Taking taylor expansion of a in t 5.553 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 5.553 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.553 * [taylor]: Taking taylor expansion of z in t 5.553 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.553 * [taylor]: Taking taylor expansion of t in t 5.554 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in z 5.554 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 5.554 * [taylor]: Taking taylor expansion of a in z 5.554 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.554 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.554 * [taylor]: Taking taylor expansion of z in z 5.555 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.555 * [taylor]: Taking taylor expansion of t in z 5.555 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in a 5.555 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 5.555 * [taylor]: Taking taylor expansion of a in a 5.555 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 5.555 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.555 * [taylor]: Taking taylor expansion of z in a 5.555 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.555 * [taylor]: Taking taylor expansion of t in a 5.556 * [taylor]: Taking taylor expansion of (/ 1 (* a (- (/ 1 z) (/ 1 t)))) in a 5.556 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 5.556 * [taylor]: Taking taylor expansion of a in a 5.556 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 5.556 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.556 * [taylor]: Taking taylor expansion of z in a 5.556 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.556 * [taylor]: Taking taylor expansion of t in a 5.558 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 t))) in z 5.558 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.558 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.558 * [taylor]: Taking taylor expansion of z in z 5.558 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.558 * [taylor]: Taking taylor expansion of t in z 5.558 * [taylor]: Taking taylor expansion of 1 in t 5.560 * [taylor]: Taking taylor expansion of 0 in z 5.560 * [taylor]: Taking taylor expansion of 0 in t 5.560 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.560 * [taylor]: Taking taylor expansion of t in t 5.563 * [taylor]: Taking taylor expansion of 0 in z 5.563 * [taylor]: Taking taylor expansion of 0 in t 5.563 * [taylor]: Taking taylor expansion of 0 in t 5.563 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in (a z t) around 0 5.563 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in t 5.563 * [taylor]: Taking taylor expansion of -1 in t 5.563 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 5.563 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 5.563 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.563 * [taylor]: Taking taylor expansion of t in t 5.564 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.564 * [taylor]: Taking taylor expansion of z in t 5.564 * [taylor]: Taking taylor expansion of a in t 5.564 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in z 5.564 * [taylor]: Taking taylor expansion of -1 in z 5.564 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 5.564 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.564 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.564 * [taylor]: Taking taylor expansion of t in z 5.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.564 * [taylor]: Taking taylor expansion of z in z 5.564 * [taylor]: Taking taylor expansion of a in z 5.565 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in a 5.565 * [taylor]: Taking taylor expansion of -1 in a 5.565 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 5.565 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 5.565 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.565 * [taylor]: Taking taylor expansion of t in a 5.565 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.565 * [taylor]: Taking taylor expansion of z in a 5.565 * [taylor]: Taking taylor expansion of a in a 5.566 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 t) (/ 1 z)) a)) in a 5.566 * [taylor]: Taking taylor expansion of -1 in a 5.566 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 5.566 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 5.566 * [taylor]: Taking taylor expansion of (/ 1 t) in a 5.566 * [taylor]: Taking taylor expansion of t in a 5.566 * [taylor]: Taking taylor expansion of (/ 1 z) in a 5.566 * [taylor]: Taking taylor expansion of z in a 5.566 * [taylor]: Taking taylor expansion of a in a 5.568 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 t) (/ 1 z))) in z 5.568 * [taylor]: Taking taylor expansion of -1 in z 5.568 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.568 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.568 * [taylor]: Taking taylor expansion of t in z 5.568 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.568 * [taylor]: Taking taylor expansion of z in z 5.569 * [taylor]: Taking taylor expansion of 1 in t 5.570 * [taylor]: Taking taylor expansion of 0 in z 5.570 * [taylor]: Taking taylor expansion of 0 in t 5.571 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.571 * [taylor]: Taking taylor expansion of t in t 5.573 * [taylor]: Taking taylor expansion of 0 in z 5.573 * [taylor]: Taking taylor expansion of 0 in t 5.573 * [taylor]: Taking taylor expansion of 0 in t 5.573 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.574 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in (y a z t x) around 0 5.574 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in x 5.574 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in x 5.574 * [taylor]: Taking taylor expansion of (/ (* z y) a) in x 5.574 * [taylor]: Taking taylor expansion of (* z y) in x 5.574 * [taylor]: Taking taylor expansion of z in x 5.574 * [taylor]: Taking taylor expansion of y in x 5.574 * [taylor]: Taking taylor expansion of a in x 5.574 * [taylor]: Taking taylor expansion of x in x 5.574 * [taylor]: Taking taylor expansion of (/ (* t y) a) in x 5.574 * [taylor]: Taking taylor expansion of (* t y) in x 5.574 * [taylor]: Taking taylor expansion of t in x 5.574 * [taylor]: Taking taylor expansion of y in x 5.574 * [taylor]: Taking taylor expansion of a in x 5.574 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in t 5.574 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in t 5.574 * [taylor]: Taking taylor expansion of (/ (* z y) a) in t 5.574 * [taylor]: Taking taylor expansion of (* z y) in t 5.574 * [taylor]: Taking taylor expansion of z in t 5.574 * [taylor]: Taking taylor expansion of y in t 5.574 * [taylor]: Taking taylor expansion of a in t 5.574 * [taylor]: Taking taylor expansion of x in t 5.574 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 5.574 * [taylor]: Taking taylor expansion of (* t y) in t 5.574 * [taylor]: Taking taylor expansion of t in t 5.574 * [taylor]: Taking taylor expansion of y in t 5.574 * [taylor]: Taking taylor expansion of a in t 5.575 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in z 5.575 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in z 5.575 * [taylor]: Taking taylor expansion of (/ (* z y) a) in z 5.575 * [taylor]: Taking taylor expansion of (* z y) in z 5.575 * [taylor]: Taking taylor expansion of z in z 5.575 * [taylor]: Taking taylor expansion of y in z 5.575 * [taylor]: Taking taylor expansion of a in z 5.575 * [taylor]: Taking taylor expansion of x in z 5.575 * [taylor]: Taking taylor expansion of (/ (* t y) a) in z 5.575 * [taylor]: Taking taylor expansion of (* t y) in z 5.575 * [taylor]: Taking taylor expansion of t in z 5.575 * [taylor]: Taking taylor expansion of y in z 5.575 * [taylor]: Taking taylor expansion of a in z 5.575 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in a 5.575 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in a 5.575 * [taylor]: Taking taylor expansion of (/ (* z y) a) in a 5.575 * [taylor]: Taking taylor expansion of (* z y) in a 5.575 * [taylor]: Taking taylor expansion of z in a 5.575 * [taylor]: Taking taylor expansion of y in a 5.575 * [taylor]: Taking taylor expansion of a in a 5.575 * [taylor]: Taking taylor expansion of x in a 5.575 * [taylor]: Taking taylor expansion of (/ (* t y) a) in a 5.575 * [taylor]: Taking taylor expansion of (* t y) in a 5.575 * [taylor]: Taking taylor expansion of t in a 5.575 * [taylor]: Taking taylor expansion of y in a 5.575 * [taylor]: Taking taylor expansion of a in a 5.575 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 5.576 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 5.576 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 5.576 * [taylor]: Taking taylor expansion of (* z y) in y 5.576 * [taylor]: Taking taylor expansion of z in y 5.576 * [taylor]: Taking taylor expansion of y in y 5.576 * [taylor]: Taking taylor expansion of a in y 5.576 * [taylor]: Taking taylor expansion of x in y 5.576 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 5.576 * [taylor]: Taking taylor expansion of (* t y) in y 5.576 * [taylor]: Taking taylor expansion of t in y 5.576 * [taylor]: Taking taylor expansion of y in y 5.576 * [taylor]: Taking taylor expansion of a in y 5.576 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) a) x) (/ (* t y) a)) in y 5.576 * [taylor]: Taking taylor expansion of (+ (/ (* z y) a) x) in y 5.576 * [taylor]: Taking taylor expansion of (/ (* z y) a) in y 5.576 * [taylor]: Taking taylor expansion of (* z y) in y 5.576 * [taylor]: Taking taylor expansion of z in y 5.576 * [taylor]: Taking taylor expansion of y in y 5.577 * [taylor]: Taking taylor expansion of a in y 5.577 * [taylor]: Taking taylor expansion of x in y 5.577 * [taylor]: Taking taylor expansion of (/ (* t y) a) in y 5.577 * [taylor]: Taking taylor expansion of (* t y) in y 5.577 * [taylor]: Taking taylor expansion of t in y 5.577 * [taylor]: Taking taylor expansion of y in y 5.577 * [taylor]: Taking taylor expansion of a in y 5.577 * [taylor]: Taking taylor expansion of x in a 5.578 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in a 5.578 * [taylor]: Taking taylor expansion of (/ z a) in a 5.578 * [taylor]: Taking taylor expansion of z in a 5.578 * [taylor]: Taking taylor expansion of a in a 5.578 * [taylor]: Taking taylor expansion of (/ t a) in a 5.578 * [taylor]: Taking taylor expansion of t in a 5.578 * [taylor]: Taking taylor expansion of a in a 5.578 * [taylor]: Taking taylor expansion of (- z t) in z 5.578 * [taylor]: Taking taylor expansion of z in z 5.578 * [taylor]: Taking taylor expansion of t in z 5.578 * [taylor]: Taking taylor expansion of (- t) in t 5.578 * [taylor]: Taking taylor expansion of t in t 5.578 * [taylor]: Taking taylor expansion of 0 in x 5.578 * [taylor]: Taking taylor expansion of x in z 5.578 * [taylor]: Taking taylor expansion of x in t 5.578 * [taylor]: Taking taylor expansion of x in x 5.580 * [taylor]: Taking taylor expansion of 0 in a 5.581 * [taylor]: Taking taylor expansion of 0 in z 5.581 * [taylor]: Taking taylor expansion of 0 in t 5.581 * [taylor]: Taking taylor expansion of 0 in x 5.581 * [taylor]: Taking taylor expansion of 0 in z 5.581 * [taylor]: Taking taylor expansion of 0 in t 5.581 * [taylor]: Taking taylor expansion of 0 in x 5.582 * [taylor]: Taking taylor expansion of 1 in t 5.582 * [taylor]: Taking taylor expansion of 1 in x 5.582 * [taylor]: Taking taylor expansion of 0 in t 5.582 * [taylor]: Taking taylor expansion of 0 in x 5.582 * [taylor]: Taking taylor expansion of -1 in x 5.582 * [taylor]: Taking taylor expansion of 0 in x 5.583 * [approximate]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in (y a z t x) around 0 5.583 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in x 5.583 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 5.583 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 5.583 * [taylor]: Taking taylor expansion of a in x 5.583 * [taylor]: Taking taylor expansion of (* z y) in x 5.583 * [taylor]: Taking taylor expansion of z in x 5.583 * [taylor]: Taking taylor expansion of y in x 5.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.583 * [taylor]: Taking taylor expansion of x in x 5.584 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 5.584 * [taylor]: Taking taylor expansion of a in x 5.584 * [taylor]: Taking taylor expansion of (* y t) in x 5.584 * [taylor]: Taking taylor expansion of y in x 5.584 * [taylor]: Taking taylor expansion of t in x 5.584 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in t 5.584 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 5.584 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 5.584 * [taylor]: Taking taylor expansion of a in t 5.584 * [taylor]: Taking taylor expansion of (* z y) in t 5.584 * [taylor]: Taking taylor expansion of z in t 5.584 * [taylor]: Taking taylor expansion of y in t 5.584 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.584 * [taylor]: Taking taylor expansion of x in t 5.584 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 5.584 * [taylor]: Taking taylor expansion of a in t 5.584 * [taylor]: Taking taylor expansion of (* y t) in t 5.584 * [taylor]: Taking taylor expansion of y in t 5.584 * [taylor]: Taking taylor expansion of t in t 5.584 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in z 5.584 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 5.584 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 5.584 * [taylor]: Taking taylor expansion of a in z 5.584 * [taylor]: Taking taylor expansion of (* z y) in z 5.584 * [taylor]: Taking taylor expansion of z in z 5.584 * [taylor]: Taking taylor expansion of y in z 5.585 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.585 * [taylor]: Taking taylor expansion of x in z 5.585 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 5.585 * [taylor]: Taking taylor expansion of a in z 5.585 * [taylor]: Taking taylor expansion of (* y t) in z 5.585 * [taylor]: Taking taylor expansion of y in z 5.585 * [taylor]: Taking taylor expansion of t in z 5.585 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in a 5.585 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 5.585 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 5.585 * [taylor]: Taking taylor expansion of a in a 5.585 * [taylor]: Taking taylor expansion of (* z y) in a 5.585 * [taylor]: Taking taylor expansion of z in a 5.585 * [taylor]: Taking taylor expansion of y in a 5.585 * [taylor]: Taking taylor expansion of (/ 1 x) in a 5.585 * [taylor]: Taking taylor expansion of x in a 5.585 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 5.585 * [taylor]: Taking taylor expansion of a in a 5.585 * [taylor]: Taking taylor expansion of (* y t) in a 5.585 * [taylor]: Taking taylor expansion of y in a 5.585 * [taylor]: Taking taylor expansion of t in a 5.585 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 5.585 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 5.585 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 5.585 * [taylor]: Taking taylor expansion of a in y 5.585 * [taylor]: Taking taylor expansion of (* z y) in y 5.585 * [taylor]: Taking taylor expansion of z in y 5.585 * [taylor]: Taking taylor expansion of y in y 5.586 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.586 * [taylor]: Taking taylor expansion of x in y 5.586 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 5.586 * [taylor]: Taking taylor expansion of a in y 5.586 * [taylor]: Taking taylor expansion of (* y t) in y 5.586 * [taylor]: Taking taylor expansion of y in y 5.586 * [taylor]: Taking taylor expansion of t in y 5.586 * [taylor]: Taking taylor expansion of (- (+ (/ a (* z y)) (/ 1 x)) (/ a (* y t))) in y 5.586 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 5.586 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 5.586 * [taylor]: Taking taylor expansion of a in y 5.586 * [taylor]: Taking taylor expansion of (* z y) in y 5.586 * [taylor]: Taking taylor expansion of z in y 5.586 * [taylor]: Taking taylor expansion of y in y 5.587 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.587 * [taylor]: Taking taylor expansion of x in y 5.587 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 5.587 * [taylor]: Taking taylor expansion of a in y 5.587 * [taylor]: Taking taylor expansion of (* y t) in y 5.587 * [taylor]: Taking taylor expansion of y in y 5.587 * [taylor]: Taking taylor expansion of t in y 5.587 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a 5.587 * [taylor]: Taking taylor expansion of (/ a z) in a 5.587 * [taylor]: Taking taylor expansion of a in a 5.587 * [taylor]: Taking taylor expansion of z in a 5.587 * [taylor]: Taking taylor expansion of (/ a t) in a 5.587 * [taylor]: Taking taylor expansion of a in a 5.587 * [taylor]: Taking taylor expansion of t in a 5.589 * [taylor]: Taking taylor expansion of (/ 1 x) in a 5.589 * [taylor]: Taking taylor expansion of x in a 5.589 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.589 * [taylor]: Taking taylor expansion of x in z 5.589 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 5.589 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.589 * [taylor]: Taking taylor expansion of z in z 5.589 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.589 * [taylor]: Taking taylor expansion of t in z 5.590 * [taylor]: Taking taylor expansion of 1 in t 5.592 * [taylor]: Taking taylor expansion of 0 in a 5.592 * [taylor]: Taking taylor expansion of 0 in z 5.592 * [taylor]: Taking taylor expansion of 0 in z 5.592 * [taylor]: Taking taylor expansion of 0 in z 5.592 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.592 * [taylor]: Taking taylor expansion of x in t 5.593 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 5.593 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.593 * [taylor]: Taking taylor expansion of t in t 5.593 * [taylor]: Taking taylor expansion of -1 in x 5.594 * [taylor]: Taking taylor expansion of 1 in x 5.596 * [taylor]: Taking taylor expansion of 0 in a 5.596 * [taylor]: Taking taylor expansion of 0 in z 5.596 * [taylor]: Taking taylor expansion of 0 in z 5.596 * [taylor]: Taking taylor expansion of 0 in z 5.601 * [taylor]: Taking taylor expansion of 0 in z 5.601 * [taylor]: Taking taylor expansion of 0 in t 5.601 * [taylor]: Taking taylor expansion of 0 in t 5.601 * [taylor]: Taking taylor expansion of 0 in t 5.601 * [taylor]: Taking taylor expansion of 0 in t 5.602 * [taylor]: Taking taylor expansion of 0 in t 5.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.602 * [taylor]: Taking taylor expansion of x in x 5.603 * [taylor]: Taking taylor expansion of 0 in x 5.603 * [taylor]: Taking taylor expansion of 0 in x 5.604 * [approximate]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in (y a z t x) around 0 5.604 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in x 5.604 * [taylor]: Taking taylor expansion of (/ a (* y t)) in x 5.604 * [taylor]: Taking taylor expansion of a in x 5.604 * [taylor]: Taking taylor expansion of (* y t) in x 5.604 * [taylor]: Taking taylor expansion of y in x 5.604 * [taylor]: Taking taylor expansion of t in x 5.604 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in x 5.605 * [taylor]: Taking taylor expansion of (/ a (* z y)) in x 5.605 * [taylor]: Taking taylor expansion of a in x 5.605 * [taylor]: Taking taylor expansion of (* z y) in x 5.605 * [taylor]: Taking taylor expansion of z in x 5.605 * [taylor]: Taking taylor expansion of y in x 5.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.605 * [taylor]: Taking taylor expansion of x in x 5.605 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in t 5.605 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 5.605 * [taylor]: Taking taylor expansion of a in t 5.605 * [taylor]: Taking taylor expansion of (* y t) in t 5.605 * [taylor]: Taking taylor expansion of y in t 5.605 * [taylor]: Taking taylor expansion of t in t 5.605 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in t 5.605 * [taylor]: Taking taylor expansion of (/ a (* z y)) in t 5.605 * [taylor]: Taking taylor expansion of a in t 5.605 * [taylor]: Taking taylor expansion of (* z y) in t 5.605 * [taylor]: Taking taylor expansion of z in t 5.605 * [taylor]: Taking taylor expansion of y in t 5.606 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.606 * [taylor]: Taking taylor expansion of x in t 5.606 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in z 5.606 * [taylor]: Taking taylor expansion of (/ a (* y t)) in z 5.606 * [taylor]: Taking taylor expansion of a in z 5.606 * [taylor]: Taking taylor expansion of (* y t) in z 5.606 * [taylor]: Taking taylor expansion of y in z 5.606 * [taylor]: Taking taylor expansion of t in z 5.606 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in z 5.606 * [taylor]: Taking taylor expansion of (/ a (* z y)) in z 5.606 * [taylor]: Taking taylor expansion of a in z 5.606 * [taylor]: Taking taylor expansion of (* z y) in z 5.606 * [taylor]: Taking taylor expansion of z in z 5.606 * [taylor]: Taking taylor expansion of y in z 5.606 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.606 * [taylor]: Taking taylor expansion of x in z 5.606 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in a 5.606 * [taylor]: Taking taylor expansion of (/ a (* y t)) in a 5.606 * [taylor]: Taking taylor expansion of a in a 5.606 * [taylor]: Taking taylor expansion of (* y t) in a 5.606 * [taylor]: Taking taylor expansion of y in a 5.606 * [taylor]: Taking taylor expansion of t in a 5.606 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in a 5.606 * [taylor]: Taking taylor expansion of (/ a (* z y)) in a 5.606 * [taylor]: Taking taylor expansion of a in a 5.606 * [taylor]: Taking taylor expansion of (* z y) in a 5.606 * [taylor]: Taking taylor expansion of z in a 5.606 * [taylor]: Taking taylor expansion of y in a 5.607 * [taylor]: Taking taylor expansion of (/ 1 x) in a 5.607 * [taylor]: Taking taylor expansion of x in a 5.607 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 5.607 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 5.607 * [taylor]: Taking taylor expansion of a in y 5.607 * [taylor]: Taking taylor expansion of (* y t) in y 5.607 * [taylor]: Taking taylor expansion of y in y 5.607 * [taylor]: Taking taylor expansion of t in y 5.607 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 5.607 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 5.607 * [taylor]: Taking taylor expansion of a in y 5.607 * [taylor]: Taking taylor expansion of (* z y) in y 5.607 * [taylor]: Taking taylor expansion of z in y 5.607 * [taylor]: Taking taylor expansion of y in y 5.607 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.607 * [taylor]: Taking taylor expansion of x in y 5.607 * [taylor]: Taking taylor expansion of (- (/ a (* y t)) (+ (/ a (* z y)) (/ 1 x))) in y 5.607 * [taylor]: Taking taylor expansion of (/ a (* y t)) in y 5.607 * [taylor]: Taking taylor expansion of a in y 5.607 * [taylor]: Taking taylor expansion of (* y t) in y 5.607 * [taylor]: Taking taylor expansion of y in y 5.607 * [taylor]: Taking taylor expansion of t in y 5.608 * [taylor]: Taking taylor expansion of (+ (/ a (* z y)) (/ 1 x)) in y 5.608 * [taylor]: Taking taylor expansion of (/ a (* z y)) in y 5.608 * [taylor]: Taking taylor expansion of a in y 5.608 * [taylor]: Taking taylor expansion of (* z y) in y 5.608 * [taylor]: Taking taylor expansion of z in y 5.608 * [taylor]: Taking taylor expansion of y in y 5.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.608 * [taylor]: Taking taylor expansion of x in y 5.608 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a 5.608 * [taylor]: Taking taylor expansion of (/ a t) in a 5.608 * [taylor]: Taking taylor expansion of a in a 5.609 * [taylor]: Taking taylor expansion of t in a 5.609 * [taylor]: Taking taylor expansion of (/ a z) in a 5.609 * [taylor]: Taking taylor expansion of a in a 5.609 * [taylor]: Taking taylor expansion of z in a 5.610 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 5.610 * [taylor]: Taking taylor expansion of (/ 1 x) in a 5.610 * [taylor]: Taking taylor expansion of x in a 5.610 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 5.610 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.610 * [taylor]: Taking taylor expansion of x in z 5.610 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 5.610 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.610 * [taylor]: Taking taylor expansion of t in z 5.610 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.610 * [taylor]: Taking taylor expansion of z in z 5.611 * [taylor]: Taking taylor expansion of -1 in t 5.613 * [taylor]: Taking taylor expansion of 0 in a 5.613 * [taylor]: Taking taylor expansion of 0 in z 5.613 * [taylor]: Taking taylor expansion of 0 in z 5.614 * [taylor]: Taking taylor expansion of 0 in z 5.614 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 5.614 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.614 * [taylor]: Taking taylor expansion of x in t 5.615 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.615 * [taylor]: Taking taylor expansion of t in t 5.615 * [taylor]: Taking taylor expansion of 1 in x 5.615 * [taylor]: Taking taylor expansion of -1 in x 5.617 * [taylor]: Taking taylor expansion of 0 in a 5.617 * [taylor]: Taking taylor expansion of 0 in z 5.617 * [taylor]: Taking taylor expansion of 0 in z 5.618 * [taylor]: Taking taylor expansion of 0 in z 5.618 * [taylor]: Taking taylor expansion of 0 in z 5.618 * [taylor]: Taking taylor expansion of 0 in t 5.618 * [taylor]: Taking taylor expansion of 0 in t 5.618 * [taylor]: Taking taylor expansion of 0 in t 5.619 * [taylor]: Taking taylor expansion of 0 in t 5.620 * [taylor]: Taking taylor expansion of 0 in t 5.620 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.620 * [taylor]: Taking taylor expansion of x in x 5.621 * [taylor]: Taking taylor expansion of 0 in x 5.621 * [taylor]: Taking taylor expansion of 0 in x 5.622 * * * [progress]: simplifying candidates 5.624 * [simplify]: Simplifying using # : (expm1 (/ y (/ a (- z t)))) (log1p (/ y (/ a (- z t)))) (- (log y) (- (log a) (log (- z t)))) (- (log y) (log (/ a (- z t)))) (log (/ y (/ a (- z t)))) (exp (/ y (/ a (- z t)))) (/ (* (* y y) y) (/ (* (* a a) a) (* (* (- z t) (- z t)) (- z t)))) (/ (* (* y y) y) (* (* (/ a (- z t)) (/ a (- z t))) (/ a (- z t)))) (* (cbrt (/ y (/ a (- z t)))) (cbrt (/ y (/ a (- z t))))) (cbrt (/ y (/ a (- z t)))) (* (* (/ y (/ a (- z t))) (/ y (/ a (- z t)))) (/ y (/ a (- z t)))) (sqrt (/ y (/ a (- z t)))) (sqrt (/ y (/ a (- z t)))) (- y) (- (/ a (- z t))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ (cbrt y) (cbrt (/ a (- z t)))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ a (- z t)))) (/ (cbrt y) (sqrt (/ a (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (cbrt y) (/ (cbrt a) (cbrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))) (/ (cbrt y) (/ (cbrt a) (sqrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) 1)) (/ (cbrt y) (/ (cbrt a) (- z t))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))) (/ (cbrt y) (/ (cbrt a) (- (sqrt z) (sqrt t)))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) 1)) (/ (cbrt y) (/ (cbrt a) (- z t))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (cbrt y) (/ (sqrt a) (cbrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (sqrt (- z t)))) (/ (cbrt y) (/ (sqrt a) (sqrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) 1)) (/ (cbrt y) (/ (sqrt a) (- z t))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (+ (sqrt z) (sqrt t)))) (/ (cbrt y) (/ (sqrt a) (- (sqrt z) (sqrt t)))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) 1)) (/ (cbrt y) (/ (sqrt a) (- z t))) (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt (- z t)) (cbrt (- z t))))) (/ (cbrt y) (/ a (cbrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt (- z t)))) (/ (cbrt y) (/ a (sqrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ 1 1)) (/ (cbrt y) (/ a (- z t))) (/ (* (cbrt y) (cbrt y)) (/ 1 (+ (sqrt z) (sqrt t)))) (/ (cbrt y) (/ a (- (sqrt z) (sqrt t)))) (/ (* (cbrt y) (cbrt y)) (/ 1 1)) (/ (cbrt y) (/ a (- z t))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (/ a (- z t))) (/ (* (cbrt y) (cbrt y)) a) (/ (cbrt y) (/ 1 (- z t))) (/ (* (cbrt y) (cbrt y)) (/ a (- (pow z 3) (pow t 3)))) (/ (cbrt y) (+ (* z z) (+ (* t t) (* z t)))) (/ (* (cbrt y) (cbrt y)) (/ a (- (* z z) (* t t)))) (/ (cbrt y) (+ z t)) (/ (sqrt y) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ (sqrt y) (cbrt (/ a (- z t)))) (/ (sqrt y) (sqrt (/ a (- z t)))) (/ (sqrt y) (sqrt (/ a (- z t)))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (sqrt y) (/ (cbrt a) (cbrt (- z t)))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))) (/ (sqrt y) (/ (cbrt a) (sqrt (- z t)))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) 1)) (/ (sqrt y) (/ (cbrt a) (- z t))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))) (/ (sqrt y) (/ (cbrt a) (- (sqrt z) (sqrt t)))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) 1)) (/ (sqrt y) (/ (cbrt a) (- z t))) (/ (sqrt y) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (sqrt y) (/ (sqrt a) (cbrt (- z t)))) (/ (sqrt y) (/ (sqrt a) (sqrt (- z t)))) (/ (sqrt y) (/ (sqrt a) (sqrt (- z t)))) (/ (sqrt y) (/ (sqrt a) 1)) (/ (sqrt y) (/ (sqrt a) (- z t))) (/ (sqrt y) (/ (sqrt a) (+ (sqrt z) (sqrt t)))) (/ (sqrt y) (/ (sqrt a) (- (sqrt z) (sqrt t)))) (/ (sqrt y) (/ (sqrt a) 1)) (/ (sqrt y) (/ (sqrt a) (- z t))) (/ (sqrt y) (/ 1 (* (cbrt (- z t)) (cbrt (- z t))))) (/ (sqrt y) (/ a (cbrt (- z t)))) (/ (sqrt y) (/ 1 (sqrt (- z t)))) (/ (sqrt y) (/ a (sqrt (- z t)))) (/ (sqrt y) (/ 1 1)) (/ (sqrt y) (/ a (- z t))) (/ (sqrt y) (/ 1 (+ (sqrt z) (sqrt t)))) (/ (sqrt y) (/ a (- (sqrt z) (sqrt t)))) (/ (sqrt y) (/ 1 1)) (/ (sqrt y) (/ a (- z t))) (/ (sqrt y) 1) (/ (sqrt y) (/ a (- z t))) (/ (sqrt y) a) (/ (sqrt y) (/ 1 (- z t))) (/ (sqrt y) (/ a (- (pow z 3) (pow t 3)))) (/ (sqrt y) (+ (* z z) (+ (* t t) (* z t)))) (/ (sqrt y) (/ a (- (* z z) (* t t)))) (/ (sqrt y) (+ z t)) (/ 1 (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ y (cbrt (/ a (- z t)))) (/ 1 (sqrt (/ a (- z t)))) (/ y (sqrt (/ a (- z t)))) (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ (cbrt a) (cbrt (- z t)))) (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))) (/ y (/ (cbrt a) (sqrt (- z t)))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ y (/ (cbrt a) (- z t))) (/ 1 (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))) (/ y (/ (cbrt a) (- (sqrt z) (sqrt t)))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ y (/ (cbrt a) (- z t))) (/ 1 (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ (sqrt a) (cbrt (- z t)))) (/ 1 (/ (sqrt a) (sqrt (- z t)))) (/ y (/ (sqrt a) (sqrt (- z t)))) (/ 1 (/ (sqrt a) 1)) (/ y (/ (sqrt a) (- z t))) (/ 1 (/ (sqrt a) (+ (sqrt z) (sqrt t)))) (/ y (/ (sqrt a) (- (sqrt z) (sqrt t)))) (/ 1 (/ (sqrt a) 1)) (/ y (/ (sqrt a) (- z t))) (/ 1 (/ 1 (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ a (cbrt (- z t)))) (/ 1 (/ 1 (sqrt (- z t)))) (/ y (/ a (sqrt (- z t)))) (/ 1 (/ 1 1)) (/ y (/ a (- z t))) (/ 1 (/ 1 (+ (sqrt z) (sqrt t)))) (/ y (/ a (- (sqrt z) (sqrt t)))) (/ 1 (/ 1 1)) (/ y (/ a (- z t))) (/ 1 1) (/ y (/ a (- z t))) (/ 1 a) (/ y (/ 1 (- z t))) (/ 1 (/ a (- (pow z 3) (pow t 3)))) (/ y (+ (* z z) (+ (* t t) (* z t)))) (/ 1 (/ a (- (* z z) (* t t)))) (/ y (+ z t)) (/ 1 (/ a (- z t))) (/ (/ a (- z t)) y) (/ y (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ y (sqrt (/ a (- z t)))) (/ y (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))) (/ y (/ (* (cbrt a) (cbrt a)) 1)) (/ y (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))) (/ y (/ (* (cbrt a) (cbrt a)) 1)) (/ y (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ (sqrt a) (sqrt (- z t)))) (/ y (/ (sqrt a) 1)) (/ y (/ (sqrt a) (+ (sqrt z) (sqrt t)))) (/ y (/ (sqrt a) 1)) (/ y (/ 1 (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ 1 (sqrt (- z t)))) (/ y (/ 1 1)) (/ y (/ 1 (+ (sqrt z) (sqrt t)))) (/ y (/ 1 1)) (/ y 1) (/ y a) (/ y (/ a (- (pow z 3) (pow t 3)))) (/ y (/ a (- (* z z) (* t t)))) (/ (/ a (- z t)) (cbrt y)) (/ (/ a (- z t)) (sqrt y)) (/ (/ a (- z t)) y) (/ y a) (expm1 (/ a (- z t))) (log1p (/ a (- z t))) (- (log a) (log (- z t))) (log (/ a (- z t))) (exp (/ a (- z t))) (/ (* (* a a) a) (* (* (- z t) (- z t)) (- z t))) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))) (cbrt (/ a (- z t))) (* (* (/ a (- z t)) (/ a (- z t))) (/ a (- z t))) (sqrt (/ a (- z t))) (sqrt (/ a (- z t))) (- a) (- (- z t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (cbrt a) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))) (/ (cbrt a) (sqrt (- z t))) (/ (* (cbrt a) (cbrt a)) 1) (/ (cbrt a) (- z t)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))) (/ (cbrt a) (- (sqrt z) (sqrt t))) (/ (* (cbrt a) (cbrt a)) 1) (/ (cbrt a) (- z t)) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (sqrt a) (cbrt (- z t))) (/ (sqrt a) (sqrt (- z t))) (/ (sqrt a) (sqrt (- z t))) (/ (sqrt a) 1) (/ (sqrt a) (- z t)) (/ (sqrt a) (+ (sqrt z) (sqrt t))) (/ (sqrt a) (- (sqrt z) (sqrt t))) (/ (sqrt a) 1) (/ (sqrt a) (- z t)) (/ 1 (* (cbrt (- z t)) (cbrt (- z t)))) (/ a (cbrt (- z t))) (/ 1 (sqrt (- z t))) (/ a (sqrt (- z t))) (/ 1 1) (/ a (- z t)) (/ 1 (+ (sqrt z) (sqrt t))) (/ a (- (sqrt z) (sqrt t))) (/ 1 1) (/ a (- z t)) (/ 1 (- z t)) (/ (- z t) a) (/ a (* (cbrt (- z t)) (cbrt (- z t)))) (/ a (sqrt (- z t))) (/ a 1) (/ a (+ (sqrt z) (sqrt t))) (/ a 1) (/ (- z t) (cbrt a)) (/ (- z t) (sqrt a)) (/ (- z t) a) (/ a (- (pow z 3) (pow t 3))) (/ a (- (* z z) (* t t))) (expm1 (+ (/ y (/ a (- z t))) x)) (log1p (+ (/ y (/ a (- z t))) x)) (* (exp (/ y (/ a (- z t)))) (exp x)) (log (+ (/ y (/ a (- z t))) x)) (exp (+ (/ y (/ a (- z t))) x)) (* (cbrt (+ (/ y (/ a (- z t))) x)) (cbrt (+ (/ y (/ a (- z t))) x))) (cbrt (+ (/ y (/ a (- z t))) x)) (* (* (+ (/ y (/ a (- z t))) x) (+ (/ y (/ a (- z t))) x)) (+ (/ y (/ a (- z t))) x)) (sqrt (+ (/ y (/ a (- z t))) x)) (sqrt (+ (/ y (/ a (- z t))) x)) (+ (pow (/ y (/ a (- z t))) 3) (pow x 3)) (+ (* (/ y (/ a (- z t))) (/ y (/ a (- z t)))) (- (* x x) (* (/ y (/ a (- z t))) x))) (- (* (/ y (/ a (- z t))) (/ y (/ a (- z t)))) (* x x)) (- (/ y (/ a (- z t))) x) (+ (/ y (/ a (- z t))) x) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) 0 0 0 (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 5.631 * * [simplify]: iteration 0 : 251 enodes (cost 2339 ) 5.673 * * [simplify]: iteration 1 : 566 enodes (cost 2186 ) 5.795 * * [simplify]: iteration 2 : 2349 enodes (cost 2093 ) 6.320 * * [simplify]: iteration done : 5001 enodes (cost 2093 ) 6.321 * [simplify]: Simplified to: (expm1 (/ y (/ a (- z t)))) (log1p (/ y (/ a (- z t)))) (log (/ y (/ a (- z t)))) (log (/ y (/ a (- z t)))) (log (/ y (/ a (- z t)))) (exp (/ y (/ a (- z t)))) (pow (/ y (/ a (- z t))) 3) (pow (/ y (/ a (- z t))) 3) (* (cbrt (/ y (/ a (- z t)))) (cbrt (/ y (/ a (- z t))))) (cbrt (/ y (/ a (- z t)))) (pow (/ y (/ a (- z t))) 3) (sqrt (/ y (/ a (- z t)))) (sqrt (/ y (/ a (- z t)))) (- y) (- (/ a (- z t))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ (cbrt y) (cbrt (/ a (- z t)))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ a (- z t)))) (/ (cbrt y) (sqrt (/ a (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (cbrt y) (/ (cbrt a) (cbrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))) (/ (cbrt y) (/ (cbrt a) (sqrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (cbrt y) (/ (cbrt a) (- z t))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))) (/ (cbrt y) (/ (cbrt a) (- (sqrt z) (sqrt t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (cbrt y) (/ (cbrt a) (- z t))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (cbrt y) (/ (sqrt a) (cbrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (sqrt (- z t)))) (/ (cbrt y) (/ (sqrt a) (sqrt (- z t)))) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (cbrt y) (/ (sqrt a) (- z t))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt a) (+ (sqrt z) (sqrt t)))) (/ (cbrt y) (/ (sqrt a) (- (sqrt z) (sqrt t)))) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (cbrt y) (/ (sqrt a) (- z t))) (* (* (cbrt y) (cbrt y)) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (cbrt y) (/ a (cbrt (- z t)))) (* (* (cbrt y) (cbrt y)) (sqrt (- z t))) (/ (cbrt y) (/ a (sqrt (- z t)))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ a (- z t))) (* (* (cbrt y) (cbrt y)) (+ (sqrt z) (sqrt t))) (/ (cbrt y) (/ a (- (sqrt z) (sqrt t)))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ a (- z t))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ a (- z t))) (/ (* (cbrt y) (cbrt y)) a) (* (- z t) (cbrt y)) (/ (* (cbrt y) (cbrt y)) (/ a (- (pow z 3) (pow t 3)))) (/ (cbrt y) (fma z z (* t (+ z t)))) (/ (* (cbrt y) (cbrt y)) (/ a (- (* z z) (* t t)))) (/ (cbrt y) (+ z t)) (/ (sqrt y) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ (sqrt y) (cbrt (/ a (- z t)))) (/ (sqrt y) (sqrt (/ a (- z t)))) (/ (sqrt y) (sqrt (/ a (- z t)))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (sqrt y) (/ (cbrt a) (cbrt (- z t)))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))) (/ (sqrt y) (/ (cbrt a) (sqrt (- z t)))) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (sqrt y) (/ (cbrt a) (- z t))) (/ (sqrt y) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))) (/ (sqrt y) (/ (cbrt a) (- (sqrt z) (sqrt t)))) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (sqrt y) (/ (cbrt a) (- z t))) (/ (sqrt y) (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))) (/ (sqrt y) (/ (sqrt a) (cbrt (- z t)))) (/ (sqrt y) (/ (sqrt a) (sqrt (- z t)))) (/ (sqrt y) (/ (sqrt a) (sqrt (- z t)))) (/ (sqrt y) (sqrt a)) (/ (sqrt y) (/ (sqrt a) (- z t))) (/ (sqrt y) (/ (sqrt a) (+ (sqrt z) (sqrt t)))) (/ (sqrt y) (/ (sqrt a) (- (sqrt z) (sqrt t)))) (/ (sqrt y) (sqrt a)) (/ (sqrt y) (/ (sqrt a) (- z t))) (* (sqrt y) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (sqrt y) (/ a (cbrt (- z t)))) (* (sqrt y) (sqrt (- z t))) (/ (sqrt y) (/ a (sqrt (- z t)))) (sqrt y) (/ (sqrt y) (/ a (- z t))) (* (sqrt y) (+ (sqrt z) (sqrt t))) (/ (sqrt y) (/ a (- (sqrt z) (sqrt t)))) (sqrt y) (/ (sqrt y) (/ a (- z t))) (sqrt y) (/ (sqrt y) (/ a (- z t))) (/ (sqrt y) a) (* (sqrt y) (- z t)) (/ (sqrt y) (/ a (- (pow z 3) (pow t 3)))) (/ (sqrt y) (fma z z (* t (+ z t)))) (/ (sqrt y) (/ a (- (* z z) (* t t)))) (/ (sqrt y) (+ z t)) (/ 1 (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ y (cbrt (/ a (- z t)))) (/ 1 (sqrt (/ a (- z t)))) (/ y (sqrt (/ a (- z t)))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a))) (/ y (/ (cbrt a) (cbrt (- z t)))) (/ (sqrt (- z t)) (* (cbrt a) (cbrt a))) (/ y (/ (cbrt a) (sqrt (- z t)))) (/ 1 (* (cbrt a) (cbrt a))) (/ y (/ (cbrt a) (- z t))) (/ (+ (sqrt z) (sqrt t)) (* (cbrt a) (cbrt a))) (/ y (/ (cbrt a) (- (sqrt z) (sqrt t)))) (/ 1 (* (cbrt a) (cbrt a))) (/ y (/ (cbrt a) (- z t))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a)) (/ y (/ (sqrt a) (cbrt (- z t)))) (/ (sqrt (- z t)) (sqrt a)) (/ y (/ (sqrt a) (sqrt (- z t)))) (/ 1 (sqrt a)) (/ y (/ (sqrt a) (- z t))) (/ (+ (sqrt z) (sqrt t)) (sqrt a)) (/ y (/ (sqrt a) (- (sqrt z) (sqrt t)))) (/ 1 (sqrt a)) (/ y (/ (sqrt a) (- z t))) (* (cbrt (- z t)) (cbrt (- z t))) (/ y (/ a (cbrt (- z t)))) (sqrt (- z t)) (/ y (/ a (sqrt (- z t)))) 1 (* (/ y a) (- z t)) (+ (sqrt z) (sqrt t)) (/ y (/ a (- (sqrt z) (sqrt t)))) 1 (* (/ y a) (- z t)) 1 (* (/ y a) (- z t)) (/ 1 a) (* y (- z t)) (/ 1 (/ a (- (pow z 3) (pow t 3)))) (/ y (fma z z (* t (+ z t)))) (/ 1 (/ a (- (* z z) (* t t)))) (/ y (+ z t)) (/ 1 (/ a (- z t))) (/ (/ a (- z t)) y) (/ y (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t))))) (/ y (sqrt (/ a (- z t)))) (/ y (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ (* (cbrt a) (cbrt a)) (sqrt (- z t)))) (/ y (* (cbrt a) (cbrt a))) (/ y (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t)))) (/ y (* (cbrt a) (cbrt a))) (/ y (/ (sqrt a) (* (cbrt (- z t)) (cbrt (- z t))))) (/ y (/ (sqrt a) (sqrt (- z t)))) (/ y (sqrt a)) (/ y (/ (sqrt a) (+ (sqrt z) (sqrt t)))) (/ y (sqrt a)) (* y (* (cbrt (- z t)) (cbrt (- z t)))) (* y (sqrt (- z t))) y (* y (+ (sqrt z) (sqrt t))) y y (/ y a) (/ y (/ a (- (pow z 3) (pow t 3)))) (/ y (/ a (- (* z z) (* t t)))) (/ (/ a (- z t)) (cbrt y)) (/ (/ a (- z t)) (sqrt y)) (/ (/ a (- z t)) y) (/ y a) (expm1 (/ a (- z t))) (log1p (/ a (- z t))) (log (/ a (- z t))) (log (/ a (- z t))) (exp (/ a (- z t))) (pow (/ a (- z t)) 3) (* (cbrt (/ a (- z t))) (cbrt (/ a (- z t)))) (cbrt (/ a (- z t))) (pow (/ a (- z t)) 3) (sqrt (/ a (- z t))) (sqrt (/ a (- z t))) (- a) (- (- z t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- z t)) (cbrt (- z t)))) (/ (cbrt a) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (sqrt (- z t))) (/ (cbrt a) (sqrt (- z t))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- z t)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt z) (sqrt t))) (/ (cbrt a) (- (sqrt z) (sqrt t))) (* (cbrt a) (cbrt a)) (/ (cbrt a) (- z t)) (/ (/ (sqrt a) (cbrt (- z t))) (cbrt (- z t))) (/ (sqrt a) (cbrt (- z t))) (/ (sqrt a) (sqrt (- z t))) (/ (sqrt a) (sqrt (- z t))) (sqrt a) (/ (sqrt a) (- z t)) (/ (sqrt a) (+ (sqrt z) (sqrt t))) (/ (sqrt a) (- (sqrt z) (sqrt t))) (sqrt a) (/ (sqrt a) (- z t)) (/ 1 (* (cbrt (- z t)) (cbrt (- z t)))) (/ a (cbrt (- z t))) (/ 1 (sqrt (- z t))) (/ a (sqrt (- z t))) 1 (/ a (- z t)) (/ 1 (+ (sqrt z) (sqrt t))) (/ a (- (sqrt z) (sqrt t))) 1 (/ a (- z t)) (/ 1 (- z t)) (/ (- z t) a) (/ a (* (cbrt (- z t)) (cbrt (- z t)))) (/ a (sqrt (- z t))) a (/ a (+ (sqrt z) (sqrt t))) a (/ (- z t) (cbrt a)) (/ (- z t) (sqrt a)) (/ (- z t) a) (/ a (- (pow z 3) (pow t 3))) (/ a (- (* z z) (* t t))) (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (pow (fma (/ y a) (- z t) x) 3) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (+ (pow (/ y (/ a (- z t))) 3) (pow x 3)) (fma (/ y (/ a (- z t))) (/ y (/ a (- z t))) (* x (- x (/ y (/ a (- z t)))))) (* (- (/ y (/ a (- z t))) x) (fma (/ y a) (- z t) x)) (- (/ y (/ a (- z t))) x) (fma (/ y a) (- z t) x) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) 0 0 0 (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 6.322 * * * [progress]: adding candidates to table 6.951 * [progress]: [Phase 3 of 3] Extracting. 6.951 * * [regime]: Finding splitpoints for: (# # # # # #) 6.952 * * * [regime-changes]: Trying 8 branch expressions: ((- z t) (* y (- z t)) (/ (* y (- z t)) a) a t z y x) 6.952 * * * * [regimes]: Trying to branch on (- z t) from (# # # # # #) 6.996 * * * * [regimes]: Trying to branch on (* y (- z t)) from (# # # # # #) 7.031 * * * * [regimes]: Trying to branch on (/ (* y (- z t)) a) from (# # # # # #) 7.066 * * * * [regimes]: Trying to branch on a from (# # # # # #) 7.103 * * * * [regimes]: Trying to branch on t from (# # # # # #) 7.139 * * * * [regimes]: Trying to branch on z from (# # # # # #) 7.178 * * * * [regimes]: Trying to branch on y from (# # # # # #) 7.214 * * * * [regimes]: Trying to branch on x from (# # # # # #) 7.241 * * * [regime]: Found split indices: #